?
False
Let s(a) = a**2 - 3*a - 5. Let k be s(-3). Let h(p) = -p**3 + 12*p**2 + 14*p - 11. Let f be h(k). Which is smaller: f or 4/11?
4/11
Let b(d) = -d + 18. Let p be b(11). Let x(f) = -f - 1. Let o be x(-3). Let n = p - o. Does n = 2/7?
False
Let n = 5 + -3. Suppose -9*y + 4*y + 10 = 0. Suppose n*c + 0*c + 10 = 0, y*u + 5*c = -23. Which is bigger: -14 or u?
u
Suppose 2*u + 14 = -n - 3*u, -32 = -4*n + 2*u. Let m be 84/32 - 6/(-16). Suppose -6*o = -m*o - n. Is o <= 1/2?
False
Suppose 114*q - 27 = 105*q. Let x(p) = 2*p**2 - 3*p + 3. Let z be x(2). Which is smaller: z or q?
q
Let i = 183 - 123. Suppose -5*a = -n - 15, 0 = 3*n + a + i + 33. Is n bigger than -29?
False
Let i be (-3 + 3 + (5 - 3))/2. Let q(y) = -y**3 - 5*y**2 + 6*y. Let s(a) = a**3 + 8*a**2 - 9*a - 6. Let h be s(-9). Let n be q(h). Are i and n non-equal?
True
Suppose 3*y - 2 = -2*m - 10, -2*m = 5*y + 8. Let d be 2*(14/m + 3). Let b = 4 + -5. Is b greater than d?
False
Let i(k) = 3*k + 12. Let g(h) = -h - 10. Let j be g(-5). Let y be i(j). Let s be y/2 + 0 + 3. Is s bigger than 2?
False
Suppose -4*g = -8*g - 24. Let r be (3 + -5)*(-2 - g)/(-2). Which is smaller: -1 or r?
-1
Let m = 1211/1650 - 1/150. Is 0 > m?
False
Let c = -300 - -6302/21. Is c at most -35?
False
Let y = -10 - -14. Let g be (-12)/(-24) - 50/y. Let i be (-1)/(-2)*g/20. Which is greater: i or 1?
1
Suppose 6 + 3 = 3*u. Let q(i) = i**2 + i. Let t be q(-2). Let w = t + u. Is w bigger than 5?
False
Let i be ((-164)/12874)/(1/2). Which is greater: i or 1?
1
Let r be 2 + (-4)/(-12)*393. Is 133 at most r?
True
Let p(d) = d**3 + 11*d**2 + 8*d + 3. Let w be p(-10). Let u = w + -43. Is u < -19?
True
Suppose -2*y + 12 = f, 4*f - 26 = -y + 4*y. Suppose -6*o = -f*o. Is o at least as big as -4/7?
True
Let x be (-14)/175 - (-4398)/600. Which is smaller: 6 or x?
6
Let s be (-93)/21 + 5 - 33/21. Is s < 7/16?
True
Let w be (-44)/(-36) + 0 - (-6)/(-27). Which is smaller: w or 15/16?
15/16
Suppose -2*m = -2*p - 16, 2*p + 2*p = 3*m - 27. Suppose -3 - m = 4*r. Let t be 153/(-162) - 1/r. Which is smaller: -2 or t?
-2
Suppose 3*b + 3*l - 24 = 0, 2*b = -5*l + 4*l + 11. Which is smaller: 12 or b?
b
Let y = 3.0847 + -0.0847. Which is smaller: y or 0.5?
0.5
Suppose 0 = -5*o - 0*m + m + 74, o + 6 = -5*m. Which is smaller: o or 5?
5
Let i be ((-45)/(-30))/((-27)/(-4)). Let s = 4/9 + i. Which is smaller: 3/4 or s?
s
Let b = 39 - 50. Let a be (b/(-1))/(4 - 9 - -4). Let r = -16 - -6. Which is smaller: r or a?
a
Let m be 63/(-63)*(2 + 3/13). Which is greater: m or -1?
-1
Let n = -30 + 28. Let b be 0/((-3)/((-3)/(-2))). Let w(c) = -c**2 + c - 2. Let g be w(b). Is g >= n?
True
Let y be (-164)/(-1476) + (-25)/(-18). Which is greater: 47 or y?
47
Let d be (4/10)/((-9)/(-810)). Suppose -d = 4*n - 0*n. Is -17/2 at least as big as n?
True
Let n = -757 - -756.2. Which is smaller: 0.025 or n?
n
Let d be (3/(-2) + 2)/(80/(-40)). Do d and 13 have different values?
True
Suppose 21 = a + 6*a. Let q(t) = 6*t**2 + a*t**3 - 3*t**3 - t + 1 - t**3 - t**2. Let f be q(4). Which is greater: 12 or f?
f
Let s = -71 + 66.7. Let j = s - -4. Let d = 2.3 + j. Which is smaller: 7 or d?
d
Let r = -3 - -3. Let d = -72/5 + 14. Is d smaller than r?
True
Let z = 168/1403 - 2/23. Is -1/3 equal to z?
False
Let t = -29 + 29.37. Let d = t - 1.17. Is 0.3 less than or equal to d?
False
Let l(q) = -2*q**2 + 13*q - 5. Suppose 0*a = 4*a - 24. Let w be l(a). Is -2/129 at least w?
False
Let j = 0.9 + -0.96. Let p = 0.04 - j. Let t = -0.3 - 0.2. Are p and t non-equal?
True
Suppose -5 = -4*g + 3. Suppose 0 = 2*o - 5*h + 3*h + 16, -2*h - 4 = 3*o. Let j be g*(-1)/o*1. Which is greater: j or -3?
j
Let z be ((-98)/56)/((-2)/8). Which is bigger: z or -17?
z
Suppose -2*m + 457 = 5*c, -206 - 250 = -5*c - m. Let a = -384 - -349. Let k be (2/(-5))/(c/a). Which is bigger: 1 or k?
1
Let n = -347/5 + 69. Let p = -47 + 47. Which is smaller: n or p?
n
Suppose 14*k = 15*k + 5*o - 18, -2*k = 3*o - 8. Which is smaller: k or -13/5?
-13/5
Let i = 0.9288 + 0.0712. Which is smaller: 404 or i?
i
Suppose -369*f + 374*f + 20 = 0. Is -91 < f?
True
Let y be (-301)/583*72/(-28). Let h = -132/53 - y. Which is bigger: h or -3?
-3
Let a be (-21)/90 + 2/5. Let o = 5.33 - 5.28. Which is greater: a or o?
a
Suppose 4*z + 5 = 53. Suppose x = 3*g + 8, -3*g + 36 = 3*x - 0*g. Is x smaller than z?
True
Let z be 65/(-10)*-1*1. Let h = z + -7. Let i = 41 - 42. Which is smaller: i or h?
i
Let j = -34 + 69. Let w be 189/j - (-6)/(-15). Which is greater: w or 4?
w
Let b be (1 - -3) + -1 + -3. Suppose 6*d - d + 2*m = -15, -d - m - 6 = b. Is 2 < d?
False
Suppose 3*v - c - 4 = 0, -v = 5*c - 9*c - 16. Which is greater: -3/50 or v?
v
Let q = 150.21 + -150.5. Is q at least 0.4?
False
Let n(d) = -64*d**2 + 4*d - 4. Let t be n(1). Let p be (-10)/5 + (-188)/t. Let f = -83/80 + p. Is f < -1/4?
False
Let h be (-1)/(-3 - (-30)/9). Let a(r) = 3*r**2 + 1. Let x be a(-1). Suppose 0 = x*i + 12 + 4. Which is bigger: i or h?
h
Let j(y) = y + 5. Let w be j(12). Suppose w*n - 11 = 57. Is 25/9 greater than or equal to n?
False
Suppose -s + 1383 = 4*z, 4*z - 5*z = -2*s - 339. Is z != 345?
False
Let h = 2.65 - 3.65. Is 15 > h?
True
Suppose 167 = 2*g - 0*g - 3*p, g + 2*p = 66. Which is smaller: -1 or g?
-1
Suppose -4*k + 5 = -259. Let y = k - 67. Is -9/14 greater than or equal to y?
True
Let m(z) = z**3 - 14*z**2 - 17*z - 39. Let c be m(16). Let v = c - 1811/9. Which is smaller: v or 2/15?
v
Let p = 323/10 + -149/5. Is -0.9 greater than or equal to p?
False
Let a be (-11)/22*(-1)/(-3). Let y = a + -1/3. Let o = 24 + -24.5. Is y greater than o?
False
Let a = -0.087 - 8.013. Let j = a + 8. Let i = 0.11 + j. Which is smaller: -0.1 or i?
-0.1
Suppose 3*x = -5*u + 5*x - 18, 4*x = -2*u + 12. Let w be (u/(-6))/(2/90). Is 15 less than w?
False
Let k = 54 - 52. Suppose -k*j - 4*b + 20 - 8 = 0, -2*b = -2*j. Do 0.02 and j have different values?
True
Let s be (-2 + -1 - 0) + -3 + 22. Suppose -2*f + 1 + 5 = 0. Let q(p) = -p**3 + 5*p**2 - 2. Let l be q(f). Is s less than l?
False
Suppose -2*w + 3*w - 90 = 0. Suppose 0 = -5*i - f - 75, -5*i = -0*f + 4*f + w. Which is smaller: i or -12?
i
Let h be 12*4/(-6)*(-1)/2. Suppose 10*u - 9*u = 5*w, 0 = -h*w. Which is bigger: 5/13 or u?
5/13
Let o be (-63926)/(-282) - (-10)/(-15). Let g = o - 226. Is 0 greater than g?
False
Let q = 1317 - 1306.11. Let f = q + -11. Let l = -0.8 + 1. Is f bigger than l?
False
Let f = 150 - 52. Let d be (-4 + f/25)*-1. Let s be 2/(-3)*3/2. Which is bigger: d or s?
d
Let x(o) = -2*o - 2. Let w be x(-4). Suppose 7 = -w*y + 1. Let u be -1 + 1/(-2)*y. Which is greater: 5 or u?
5
Let p = 78341/19 + -4111. Which is smaller: p or 12?
12
Suppose -y = -2 + 3. Let i = 121797/698 - 349/2. Let m = i - 325/4188. Is m at least y?
True
Suppose -24*n = -17*n. Let c be (8 - 5)/(1 + 6). Which is smaller: n or c?
n
Let m be (-4791)/105*(-2 + (-15)/(-6)). Let p = 191/10 + m. Which is smaller: -3 or p?
p
Let d be 2/(4/(-1))*0. Let o be -1 + 3 + 0 + (-3 - 1). Let k be -4 + (4/(-7))/(o/7). Is d less than or equal to k?
False
Let w = -14 - -25. Let d = -18 + 11. Let f = 17 + d. Which is smaller: w or f?
f
Let g = 126 + -125.9. Which is greater: g or 289?
289
Suppose 126 = -3*c + 2*c. Let x be 220/18 + 28/c. Are 11 and x unequal?
True
Suppose 1643*s = 1635*s. Which is bigger: s or 7/34?
7/34
Suppose -4*p + 7*p + 6 = 0, -j = 2*p. Suppose -17 = -j*k + 11. Let b = 18 - 11. Are k and b equal?
True
Let h(u) = -u**2 + 7*u - 11. Let c be h(3). Which is bigger: c or -272?
c
Let o = 778 + -732. Is 31 > o?
False
Let f(x) = 3*x**3 - x + 22. Let j be f(0). Which is smaller: j or 23?
j
Let w = 64.263 + 1.637. Let z = w - 66. Do z and 11 have different values?
True
Let f = 9 + -7. Suppose -f*g = 4 - 10. Let o be (5 - g) + (-13)/8. Which is bigger: o or 0?
o
Let c = -36 + 92. Let r = 57 - c. Is r equal to 1?
True
Let k = -31 + 59. Suppose 23*x = k*x. Suppose -5*u + 12*u + 14 = x. Which is bigger: -6/7 or u?
-6/7
Let f be (0 - 2)*4 + 0. Let b be (-43)/f - 1 - 4. Is b at most -1?
False
Let h(r) = -2*r**2 + 24*r + 17. Let t be h(13). Let s = -21 - -21.1. Is s > t?
True
Let q = 696 + -794. Is q at least 0.1?
False
Let i = 0.11 - 0.1. Let a = -49 - -52. Which is smaller: i or a?
i
Suppose 20 = -4*n + 4*q - 76, 0 = -2*q - 4. Is -28 smaller than 