 be w(12). Is b <= -1/2?
False
Suppose 8*z - 2*z = 0. Is z bigger than 1/7?
False
Let h be (-1*(-2)/52)/((-9)/(-4)). Do 1 and h have different values?
True
Let l(g) = g**3 - 3*g**2 + 3*g - 2. Let w be l(2). Let h(y) = -y - 8. Suppose 0 = -3*x - 7 - 14. Let t be h(x). Which is smaller: w or t?
t
Let b(p) = -4*p**2 - 4*p + 6 + p**2 + 2*p**2 - 2. Let l be b(-5). Which is bigger: l or -3/13?
-3/13
Suppose -1 = 2*j + 31. Let t be 0*4/(j/(-4)). Which is smaller: 4 or t?
t
Suppose 4*v - 108 = -u, -5*v + 5*u + 135 = 2*u. Which is greater: 28 or v?
28
Let i(x) = -x**3 + x**2 + x. Let v be i(0). Suppose -6 + 2 = -4*a. Let w = a + v. Which is greater: w or -2/9?
w
Let r = 16.4 - 0.4. Let g = 9 - r. Is 0.2 at least as big as g?
True
Suppose 0 = -4*z + 38 - 6. Let q(b) = -b**3 - b - 5. Let i be q(0). Let y be z/(-15) + (-1)/i. Is y < 0.2?
True
Let h be 3/3*-1 - 0. Is h greater than or equal to -3/62?
False
Let x = 8.07 + -8. Let a = x - -0.03. Is a at least as big as -3/4?
True
Let s be (15/(15/(-4)))/(1*22). Let u(z) = z + 1. Let x be u(1). Suppose x*g = -g. Is s <= g?
True
Let b = 6 + -8. Let x be ((-4)/10)/(b/(-10)). Is x bigger than -1?
False
Let i = 53 + -47. Let b = -6 - -11. Let s = i - b. Which is bigger: 1/2 or s?
s
Let x(p) = -3*p + 4. Let w = 11 - 7. Let s be x(w). Which is smaller: s or -7?
s
Let m(t) = -t + 2. Let g be m(-2). Let i be 54/440 - g/(-10). Let d = i - 1/44. Is 1 < d?
False
Let m be 965/10 - (-1)/2. Suppose y = -m + 14. Let n = y - -582/7. Which is smaller: n or -1?
-1
Let d = -0.15 - -2.15. Which is bigger: 1/10 or d?
d
Let s(l) = l**3 - 22*l**2 + 26*l - 46. Let y be s(21). Do 59 and y have the same value?
True
Let c = -13 + 12. Do 3/55 and c have the same value?
False
Let l(k) = k**3 + 9*k**2 - 9*k + 9. Let t be l(-10). Which is greater: -2 or t?
t
Let z(c) = -c**2. Let v be z(1). Let x be 2 - (-4)/(272/(-132)). Let d = 1/17 + x. Which is greater: d or v?
d
Let l(q) = q**2 + 3*q + 4. Let f be l(-6). Let h be 6/21 + f/(-28). Which is smaller: h or -2?
-2
Let i(d) = 3*d**2 - 7*d + 3. Let k be i(3). Suppose q + k = 4*q. Do 1/4 and q have the same value?
False
Let u be (2/1 + -4)/8. Which is greater: u or 77?
77
Suppose -8*l - 30 = -3*l. Let q(i) = 5*i - 2. Let s be q(-2). Let w be 6/(-20)*s/9. Is w greater than or equal to l?
True
Let m be ((-5388)/(-18))/(4/3). Let a = -229 + m. Is a != -5?
True
Suppose 0 = -2*a + 5*z - 4, -a - 10 = 4*a + 4*z. Which is greater: a or -3/4?
-3/4
Let f be ((-3)/78)/((-1)/4). Let y = -0.02 + -0.98. Is f bigger than y?
True
Let a = -11 + 14. Suppose -4*o = 12, 2*l - 5*o = -4 - a. Let x = 3 + l. Is 0.1 at least x?
True
Let r be (-1 + -1)/(80/(-10))*2. Is r not equal to -60?
True
Let s be 155/(-8)*(-1)/((-10)/4). Is -9 less than or equal to s?
True
Let c = 75 - 105. Let t be (-602)/c - 4/10. Let z = t - 18. Is -1 greater than or equal to z?
False
Suppose 2*o + 0*u + 70 = 5*u, 158 = -5*o + 4*u. Is o greater than or equal to -30?
True
Suppose 29 = -5*q + 6*q. Which is bigger: 30 or q?
30
Let d(i) = i**2 - 3*i + 1. Let b be d(1). Is b at most as big as 2?
True
Let s = 5.05 - 5. Let f = s - -0.25. Is f bigger than 1?
False
Suppose 5*p + 85 - 220 = 0. Let v = -16 + p. Suppose w - 5*w = b + 13, -5*w + 4*b = v. Which is bigger: w or -4?
w
Suppose 0 = -5*c + 3*h + 385, h + 17 = -2*c + 171. Let m be (-784)/c + 2/11. Which is greater: -9 or m?
-9
Let d = 0.7 + -1. Let l = -0.2 - d. Is 2/21 < l?
True
Let t(v) = -v**2 - 8*v - 1. Let z be t(-9). Let s be -2*(-17)/z - -3. Which is greater: -4 or s?
s
Let q = -9 + 8. Which is bigger: q or 1?
1
Let x be (-3)/2*(-4)/(-22). Let h be (-308)/(-17) + (-4)/34. Let a = h - 19. Which is greater: a or x?
x
Let y = 2/75431 - -52198210/1584051. Let j = -98/3 + y. Which is bigger: 0.11 or j?
j
Let z be 9/(27/12) + -102. Is z at least as big as -97?
False
Suppose 4*i - 8 = -0*i. Let c(l) = 3 - 1 + 2 + i*l. Let n be c(-3). Is n >= -1?
False
Let l(c) = -6*c + 12 + 5*c - 2. Suppose -11 = -2*i + i - 4*w, 18 = 3*i - 3*w. Let h be l(i). Is h >= 3?
True
Let p = -0.1 - -4.1. Which is smaller: p or 2/9?
2/9
Let f = 17 - 29. Let y = 11 + f. Which is greater: 1/14 or y?
1/14
Let v = -51.23 - -51. Let g = 9.97 + -10. Let f = g - v. Is f > -0.1?
True
Let p = -18 + 17.6. Is 1/6 greater than or equal to p?
True
Suppose 7 = 2*h + 3. Let m be ((-28)/(-6) - h) + 1. Is 3 <= m?
True
Let g be -1*((-8)/2 + 5). Are -2/35 and g non-equal?
True
Let y = 53 + -87. Let h be (-5 + 3)*(-2)/y. Which is smaller: -1/2 or h?
-1/2
Suppose 2*x - 6 + 2 = 0. Which is bigger: x or 12/5?
12/5
Let u = 1 + -2.2. Let g = 3.8 - u. Is 1 <= g?
True
Suppose -3*k - 24 = -4*m, 5*m + 4*k + 0 = -1. Let o be (-22)/(-6) - (-1)/3. Which is bigger: o or m?
o
Suppose -5*p = -18 + 43. Let l = p + 2. Which is smaller: l or -1?
l
Let s be 3/3 + (2 - -1). Suppose 2*u = s*u. Which is smaller: u or -2/7?
-2/7
Let q = 5 - 2. Suppose -q*m = -0*m. Let v be (1*-4 - -2) + m. Is -1 less than v?
False
Suppose -p = -2*b - 0*p + 47, 79 = 4*b + 3*p. Let k = -89/4 + b. Is k < 1/4?
True
Suppose 0 = -4*o + 9*o + 8*o. Which is greater: o or -7/9?
o
Suppose 9 = 3*s - 0. Suppose 16 = -s*r + 13. Let j = -169/77 - -16/7. Which is bigger: j or r?
j
Suppose -5*u + 8*u = -4*u. Is u at most 21?
True
Let o(a) = -6*a**3. Let r be o(-1). Let y be 12/18 - (-2)/r. Which is smaller: y or 6?
y
Let u = -27.944 - 0.056. Let i = u - -27. Which is smaller: i or -1/4?
i
Let k(d) = -d**3 + 7*d**2 - 3*d + 4. Let s be k(6). Let z be (-6)/(-20) - 11/s. Which is bigger: z or 0?
0
Let w = -70/317 + -19135/6657. Let g = w - -17/7. Let y(c) = c**3 + 5*c**2 - 5*c + 4. Let j be y(-6). Which is smaller: j or g?
j
Let w = 39/4 - 10. Let s = -2 + 6. Suppose 8 = 2*y, -16 = -s*f - 7*y + 2*y. Is w less than or equal to f?
False
Let b be (-595)/102 + ((-1)/6 - 0). Is 3 > b?
True
Let z(b) = b + 6. Let j(y) = -2*y - 12. Let a(n) = -3*j(n) - 7*z(n). Let l be a(-5). Let d = 39 + -116/3. Is d equal to l?
False
Let u(x) = x**3 + 27*x**2 - 53*x + 146. Let t be u(-29). Let k = -4 - -2. Is t < k?
False
Let t = 7 + -1. Let u be (56/t)/(1/(-3)). Let a = -227/8 - u. Is a at least -1?
True
Let t(p) = -22*p**3 + p. Let f be t(-1). Let o be (-1224)/f*(-42)/33. Let n = o - 74. Is n smaller than -1?
False
Suppose 21 = 5*b + 2*n, 4*b + 0*n + 2*n = 18. Suppose -3*k = -5*w + 40, -3*w = 2*k + b*k + 10. Is w less than or equal to 5?
True
Let y(z) = z**3 - 7*z**2 + 3*z - 14. Let v be y(7). Is v equal to 8?
False
Let y = 15 + -15. Let r be y/2 + (-6)/(-15). Is 0.2 equal to r?
False
Let u(j) = -3 + 4*j + 0*j**2 - 3*j**2 + 4*j**2. Let v be u(-5). Let g be 4/(-6)*3 + v. Are g and -1 equal?
False
Let w be 21/12*9/(-21). Which is smaller: -2 or w?
-2
Let z(a) = -a**2 + 7*a + 6. Let h be z(7). Let v be h - -2*(-1)/2. Suppose v*o - 21 = -56. Is o equal to -6?
False
Let s(c) = -2*c**3 + 6*c**2 + 3*c + 6. Let v be s(-4). Let n = 8068/37 - v. Which is bigger: n or -1?
n
Let i be (3 - 0)/(15/20). Which is smaller: i or 34/7?
i
Let m(a) = -a**2 + 2*a + 11. Let l be m(0). Let s = l - 13. Are 1 and s non-equal?
True
Let u(h) = 2*h + 1. Let i(q) = -q**3 - 5*q**2 + 7*q + 8. Let a be i(-6). Let x be u(a). Suppose 0*n - 5 = x*n. Is n at least as big as 1?
False
Suppose 0*j = 2*d - 3*j + 21, 0 = -d + 4*j - 18. Which is smaller: -0.1 or d?
d
Let a(u) = 3*u + 5. Let b be a(-3). Let p = b + -6. Is p > -11?
True
Suppose 0 = -c - 32 + 31. Does c = 1/15?
False
Let v = 2 + 13. Is v less than or equal to 15?
True
Let k(b) = -2*b**2 + 1. Suppose -4*i = -2*i + 2. Let n = i - 0. Let c be k(n). Is c less than -1?
False
Suppose 0 = -n - 0*n + 5. Let s be n*10*31/(-7). Let i = s + 221. Is 1 >= i?
True
Suppose 2*g - 23 - 71 = -2*h, h + 57 = g. Suppose g = 4*s + 20. Suppose -3*o - s = o. Which is smaller: o or -3/5?
o
Let u be (-26)/(-20) + 3/(-3). Let z(a) = a**2 - 5*a + 6. Let h be z(4). Suppose 3*g + h*g - 5 = 0. Is u at most as big as g?
True
Let n be 1/16*(-1 + -1). Is -1 <= n?
True
Let d = -5 + 4. Which is bigger: -1/5 or d?
-1/5
Let b = 0.95 - 1. Let y = b + 5.05. Let v = y - 4. Is 1 equal to v?
True
Let w be ((-26)/(-6))/(-1 + 0). Which is smaller: -3 or w?
w
Let p be 3/(-2)*(-4)/(-6). Let o be (-3)/(-4)*(3 - p). Let w be (3 - 0)*(-2)/o. Do w and 0 have the same value?
False
Let w = -2/13 - -21/52. Let a(x) = x**2 + 2*x. Let k be a(-3). Su