qual to c?
False
Let h be (-26)/(-8) - (-30)/40. Suppose 2 = -h*z - 2. Which is greater: z or -6/13?
-6/13
Let s(v) = v**2 + 12*v - 1. Let w be s(-11). Let q = w + 8. Which is bigger: -3 or q?
-3
Let x = 25 + -27. Which is greater: x or 1/4?
1/4
Let t be (9/(-6))/((-6)/20). Suppose -2*b = 5*y + 11, t*b - 14 - 26 = y. Let x be 13/b - (0 + 1). Is 0 at least as big as x?
False
Let v(n) = n**2 - 9*n + 10. Let r be v(5). Is r != -13?
True
Let k(v) = v**2 - 6*v + 7. Let z be k(5). Suppose -z*d = 3*d + 45. Let b be ((-6)/d)/(1/(-3)). Which is smaller: b or -2/3?
b
Let r = 126 - 237. Let i be r/117 - 2/(-2). Let z = -70 + 70. Is z != i?
True
Let y = -19 + 21. Suppose 0 = 3*l - h + 3, -4*h - y = 2*l - 0*l. Let j = 2 + -4. Does l = j?
False
Let x = -6.11 + 0.11. Let z = x + 7. Does -1/3 = z?
False
Let q = -2 + 6. Is -0.3 != q?
True
Let r be -1 + 6/(-7 - -1). Which is smaller: r or -3?
-3
Let c = -9.3 - 0. Is c at most 0?
True
Suppose -7*v + 170 = 9. Is 22 greater than v?
False
Let w be 137/4*(-224)/9540. Let k = w + 2/477. Is k < -1/2?
True
Let y be (-8)/(-36) + 178/9. Suppose -3*g = -5*m + 24 - 9, 4*g = -3*m - y. Which is smaller: m or -1/5?
-1/5
Let o = 23.8 - 34. Let w = o - -11. Let h = w - -0.2. Do h and -1/4 have the same value?
False
Suppose -2*u + 6 = u. Let q be 10/(-75)*(u - -16). Does q = -3?
False
Let b(p) = p**2 + 4*p - 2. Let i be b(-5). Suppose -i*m + 8 - 2 = 0. Suppose 2*a + 0*k - m*k = 0, -5*a + 2*k = 0. Are a and 2 equal?
False
Let j = 15 - 10. Is j greater than 5?
False
Let f be (2/96)/((6/(-8))/1). Which is smaller: 0 or f?
f
Let z = 8 + -5.6. Let c = z - 2. Let u = 0.6 - c. Is u >= 1?
False
Let n = -1.1 - -6.1. Is n > -4?
True
Let j(m) = m - 6. Let p be j(6). Let i be 3 + 3 - (0 + 1). Suppose 1 = -l + f, i*l - f - 1 + 2 = p. Which is bigger: 4/7 or l?
4/7
Let t be (-1)/((-1)/(-12)*2). Let i(f) = f - 3. Let r be i(-2). Is r less than or equal to t?
False
Let q = -146/77 - -24/11. Suppose k + 2 = -5*i, -i - 4*k + 0*k = 8. Which is greater: i or q?
q
Let k = -106 - -105. Which is smaller: k or 33?
k
Let n = 4 + -3. Let k be (2 + -2)/((-1)/n). Let y be k/(3*4/(-6)). Are 1/4 and y non-equal?
True
Let w = 1.7 + 0.3. Let k = w - 1.4. Let m = 0.4 - k. Which is bigger: -1 or m?
m
Let m = -5.05 + 0.05. Let f = 4 + m. Let h = -1.1 - f. Is -0.1 smaller than h?
False
Let o = 38 + -36. Which is greater: o or -9?
o
Let f = -0.39 + 0.31. Is f greater than -2?
True
Let b be (-20)/35 + 50/14. Let l be 0/(4/(-2)) - -2. Let y be 0/(b - 1) - l. Is -4/7 bigger than y?
True
Suppose 0 = y + 4*j + 11, -3*y - j = 2*y - 2. Suppose i = 2*z - 4*i + 14, -5 = -3*z + i. Suppose -p = -z*p + 2. Is y less than or equal to p?
True
Let s = -24 - -18. Which is smaller: 0 or s?
s
Let v = 31 + -36. Let r = 31 - 94/3. Which is smaller: v or r?
v
Let v be (-1 + 0 + 2)/1. Which is smaller: v or 2?
v
Suppose -4*b + 6 = -2*b. Which is bigger: b or 20/11?
b
Suppose -5*y = -3*u + 70, -2*u - 5*y + 3*y + 36 = 0. Do 20 and u have the same value?
True
Suppose -3*d + 12 = 0, 0 = -2*t + d + 4*d - 52. Let l = t - -16. Are l and -1 non-equal?
True
Let i = -1.44 + 1. Let c = -0.04 - i. Let n(k) = -k**2 + 7*k - 6. Let u be n(6). Is u at most as big as c?
True
Suppose 3*o + 180 = -r + 57, o = 3*r + 389. Is r >= -130?
True
Let q = 0.3 + -0.18. Let w = 0.02 - q. Let n = -179/5 + 36. Is w < n?
True
Let n be (-1)/(20/22 + -1). Let q = n - 8. Let a be (-1 + 1)/(-2*1). Is a >= q?
False
Let u = 25/68 + -2/17. Let h = 1/12 - u. Let q = -2 - -1. Is h at least q?
True
Let o = 2 - -2. Let i = -0.2 + -0.7. Let u = i + 1. Do o and u have the same value?
False
Let y(c) = -c**3 + c**2 - c + 1. Let n be y(2). Suppose -5*i = r + 49, -i + 20 = -5*i + 4*r. Let b = n - i. Is 4 smaller than b?
False
Let t be 4/14 - 3557/28. Let h = -126 - t. Let c = -1 + 0.9. Is c less than h?
True
Let g = -385 - -88. Let t = g + 6833/23. Is 1 > t?
True
Let v = -7 - -7.9. Let l = -1 + v. Is l at least as big as 16?
False
Let j = 49 - 47.88. Let q = -0.12 + j. Which is greater: 2/5 or q?
q
Let n be (14/(-4))/(1/2). Let f = 7 + n. Suppose f + 3 = -3*u. Is u smaller than 1/8?
True
Let u be (-5)/25 - 45/(-250). Is -1 >= u?
False
Let y be ((-2)/(10/(-7)))/(36/10). Is 0 at most as big as y?
True
Suppose 9*b + 10 = 4*b. Suppose 2 = -2*y - 2. Is b at least as big as y?
True
Let l(d) = d**3 - 6*d**2 + 7*d - 6. Let g be l(5). Is g smaller than 2?
False
Let w(x) = -x**3 - 10*x**2 - 9*x - 6. Let y be w(-7). Let v be 5/(y/4)*-3. Let p = -21 - -23. Which is smaller: v or p?
v
Let r be (-6)/(-4)*(-12)/45. Let z(u) = -u**3 - 5*u**2 - 5*u - 4. Let c be z(-4). Which is smaller: r or c?
r
Let q(c) = 3*c - 1. Let n be q(2). Suppose n*o - 4 = 3*o. Is o at most as big as 2?
True
Let c = -2 + 21/2. Which is greater: 8 or c?
c
Let t = -0.077 - 0.523. Is t <= -0.2?
True
Let r = 12.09 - 12. Let u = 7.09 - r. Is u less than -2/5?
False
Let k(w) = w + 5. Suppose 2 = -4*o - 22. Let y be k(o). Is y bigger than -1?
False
Let h = -8 - -7.86. Let p = 3.14 + h. Is p less than or equal to 2/7?
False
Let r be (2/3)/(1 + 1). Let p = -3 + 5. Suppose 0 = 3*h + 6, -p*l - h = -2*h + 4. Is r != l?
True
Let m = -8 + 13. Suppose 3*j - m*r = 1, 5*j + 1 = 4*r + 7. Suppose 0*y = j*y + 8. Is y at most as big as -4?
True
Let c be (5/(20/6))/9. Let o be (6/(-42))/(2/4). Is c at most as big as o?
False
Let v = -1 - -3. Suppose -1 = v*c - 3. Which is greater: 3 or c?
3
Let r(s) = s - 4. Let b be r(3). Do -3 and b have different values?
True
Let p = -0.1 - -0.3. Let i = p + 0. Let f = 25 - 99/4. Is f bigger than i?
True
Let q = 1.2 + -1.1. Does q = 27?
False
Let b be (-11 + 13)/((-5)/7). Is -3 smaller than b?
True
Let z be (-1)/(320/(-84) - -4). Which is greater: -6 or z?
z
Let c = 21 + -56. Is c < -36?
False
Suppose -4*u + 13 - 5 = 0. Suppose -y - u*j = y - 4, 4*y = 4*j + 16. Which is smaller: 5 or y?
y
Let d = -23 + 31. Let s be (2*-3 - 2) + 1. Let a be 6/(-2) + d + s. Do a and -1 have the same value?
False
Suppose -5*m - 5 = 5*g, -2*m + 2*g + 13 = -1. Suppose m*r = -r - 84. Is r less than -21?
False
Suppose 0 = -y + 2 - 1. Suppose 0 = -3*o + 6*o + 48. Let n be (o/20)/((-6)/5). Which is bigger: n or y?
y
Let a(d) = -d**2 + 7*d - 5. Suppose 3*q - 17 = -2. Let b be a(q). Suppose -1 = 2*w - 9. Do w and b have different values?
True
Suppose -4*p = -5*r - 27, 5*r - 1 = -4*p - 4. Suppose 3*h - 1 = -5*l, p*h - 4*l + 20 = -h. Suppose i + 2*i = -6. Is i at most h?
False
Suppose -x - 1 = -2*x. Let l = 0 - x. Which is smaller: l or -2?
-2
Let l be (44/(-2) - 2)*-1. Suppose 0*j = -4*j - l. Let u be ((-1)/(-6))/((-2)/j). Is u > 2?
False
Let m be 8/(-6)*(-2)/12. Suppose 2*z + 0*c - 19 = 3*c, 2*c = -5*z. Suppose -z + 3 = -d. Are d and m nonequal?
True
Let p(c) = c - 3. Let w be p(8). Suppose -w*g = -3*g - 8. Is g greater than or equal to -0.2?
True
Suppose 5*h = 4*l - 14 - 11, 0 = 2*l - 10. Is 0 <= h?
False
Let o(a) = a**3 - 5*a**2 + 4*a - 9. Let j be o(4). Is -8 > j?
True
Suppose -3 = 5*a + 7. Which is smaller: -4 or a?
-4
Let q = 1/55 - -87/1265. Suppose t + 3 = -6*z + 4*z, 3*t = 5*z - 20. Which is bigger: q or z?
z
Let o = -2/17 - 13/34. Is 16 smaller than o?
False
Let n = -4 - -3. Which is smaller: -2/17 or n?
n
Suppose -3*n - 19 = 5*r, -3*r = 2*r + 5*n + 15. Is -3 >= r?
True
Let q be 1*-1 + (-1)/1. Let o be -10 - (4 + q + 0). Let i be 2*(o/9 + 1). Which is bigger: i or -1?
i
Let m(r) = -15*r. Let j be m(-1). Let k = -8 + j. Let c be k/3 + 1/(-3). Which is bigger: c or 4?
4
Let l be (-4)/(-14) - 60/14. Let q be -4 - -1 - (-1)/(-8)*4. Is l < q?
True
Let l(y) = -2*y - 10. Let w be l(-14). Is 18 greater than w?
False
Let n be -16 + (12/(-2))/3. Is -19 >= n?
False
Let y(b) = -b**2 - b + 4. Let q be y(0). Is 5 < q?
False
Suppose 3*f = 4*f - 3. Let h be 1 + 1 - 0/(-1). Suppose f*x - 4*x - 2 = u, -h*u = 4*x - 2. Which is smaller: u or -6?
-6
Let t be 0 + (-135)/6 + 3. Let j(u) = u**3 - 5*u**2 - 2*u - 4. Let f be j(6). Let d = t + f. Are 0.1 and d equal?
False
Suppose -g = -8*g + 28. Is g at least 3?
True
Let z = -3.2 - -3.1. Which is bigger: -2/21 or z?
-2/21
Let k(z) = -2 + 2 - 2 + z. Let j be k(4). Suppose 5*m - 4 - 6 = 0. Is m not equal to j?
False
Let u = 0.05 + 0. Let c = -0.05 - u. Let t = c + 0.7. Which is bigger: 1 or t?
1
Suppose -3*h = -2*s - 30, -4*s = 2*h + h - 48. Is 12 at lea