. Is r at least d?
False
Let i = 473.84 + -472. Let n = -11 + 11.16. Let x = n + i. Which is greater: -0.06 or x?
x
Suppose -2*u - 20 = -2*n, -2*n - n + 31 = -2*u. Let i = -12 + n. Let s be i/1*(-19)/(-38). Is 6/11 greater than s?
True
Suppose -5*z = 5*b + 355, 61 = -b + 2*z - 5*z. Let a = 106 + b. Let o = 29 - a. Which is smaller: -6 or o?
-6
Suppose 3*i + 5682 = 3*c, -150*c = -151*c - 3*i + 1874. Is 1889 < c?
False
Let y = -28 + -8. Let p = 36 + y. Which is smaller: -14/11 or p?
-14/11
Let y be 11 - (39 + -9 - 8). Suppose -43 = 5*v + 22. Is v > y?
False
Suppose 3*h - 2*c - 6 = 0, 2*h - c - 3*c = -4. Suppose 15 = -3*f, -5*g = -4*g - f - h. Which is smaller: -1/26 or g?
g
Let l = -397.3 - -395. Is l > -0.1?
False
Let t be -6 + -1 + 4 + -3. Let w be (-146)/12 - t/36. Is w greater than -12?
False
Let a(d) = 4*d**3 + 4*d**2 - d - 3. Let r be a(-3). Is r not equal to -145/2?
True
Let d = -50 - -47. Which is smaller: -2 or d?
d
Let c = 213 - 214.07. Let b = c + 1. Which is bigger: b or 0.2?
0.2
Let z(b) = b**3 - 9*b - 6. Let i be z(-3). Let g be i/15 + 392/805. Is g not equal to 0.2?
True
Suppose 0 = 5*c - 3*q - 0*q, 5*c = q. Suppose -r + 5*r + 44 = c. Let g = -13 - r. Is g smaller than 1?
True
Let u(x) = -11*x - 21. Let h be u(-3). Let i be (60 + -1)/(5 + 0). Is i at least as big as h?
False
Suppose 0 = k + 4*k. Suppose -3*l - 29 = 3*g - 2*g, k = -g + 5*l + 11. Let a be (168/(-9))/(-7)*(-45)/10. Which is smaller: g or a?
g
Let p be 0 + -1 - (-12)/(-1). Let y(r) = -r - 10. Let w be y(p). Which is bigger: w or 30/7?
30/7
Let p = 231.9 + -232. Which is bigger: 4.97 or p?
4.97
Let d = 14 - 9. Suppose -5*n + t - 27 = 59, -34 = 3*n - d*t. Let q be 10/(-4) - n/9. Is q >= 0.1?
False
Suppose -2*y = 26*y. Is y at least -4/263?
True
Let q(g) = -g**3 + 27*g**2 + 3*g + 9. Let v be q(27). Which is smaller: 539/6 or v?
539/6
Let n(r) = r**3 - 15*r**2 - 15*r - 15. Let m be n(16). Which is smaller: -8 or m?
-8
Let r = 3/52 + -4/13. Let o be ((-6)/5)/((-5)/150). Suppose -o + 11 = -5*u. Are u and r nonequal?
True
Let f(y) = -3*y**3 - 2*y**2 + y + 1. Let s be f(4). Is -218 equal to s?
False
Let a be -10*(-9 + 495/54). Let x = 6 + -4. Is a <= x?
True
Let u(d) = 42*d + 6. Let h be u(3). Is h != -0.2?
True
Let p = -36 + 35.8. Let g be 165/(-84) - (0 - 2). Let x = g + 3/14. Is x greater than p?
True
Let j = -411.042 - -412. Let f = j + 0.042. Let i(t) = t**3 - 5*t**2 + 4*t + 5. Let a be i(4). Are a and f equal?
False
Let a = 1/14 + -4/7. Let p = 3.48 - 0.08. Is a >= p?
False
Let s = -286 - -285. Do s and -8 have the same value?
False
Let p be 0 - (5 + -4 - 1). Let j = 168590221772/8265 + -20398091. Let x = -2/285 - j. Which is smaller: x or p?
p
Suppose 4*f - 37 = 7. Let w(s) = -20 + s**2 + 9 + f - 13*s. Let t be w(13). Is t greater than or equal to -1/18?
True
Let r be 16/20*(-21680)/(-32). Which is greater: 541 or r?
r
Let u = 17 - 15.2. Let i = 2 - u. Let m = -3.7 - -8.7. Which is smaller: m or i?
i
Suppose 4*l - 2 = 2*l. Let y(a) = a - 4. Let t be y(3). Let i be -3*(3/9 - t). Which is greater: i or l?
l
Let x be 1/42*(-1032)/16. Let n = -11/14 - x. Let d(h) = h**3 + h**2 - 2*h + 1. Let f be d(1). Is n >= f?
False
Let k = 3 - -3. Let t = k - 0. Suppose 2*n = t*n - 4. Which is bigger: 1/12 or n?
n
Suppose 0*x - 8*x = -16. Suppose -2*l = 5*f + 10, -6 = -l + x*f + f. Is l <= 0.13?
True
Let z(p) = p**3 - p**2 - 12*p + 1. Let t be z(0). Which is smaller: t or 2/1677?
2/1677
Let q be 9/(-6)*(3 - 5). Suppose q*o - 5 = -23. Let z be 0/(3/(o/8)). Are z and -2 unequal?
True
Let g = -2 - 0. Let p = -350.9 - -350. Which is greater: g or p?
p
Let j = 13.65 - 13. Let g = 1 - j. Let t = 0.05 - g. Is t smaller than -0.2?
True
Let j(v) = -10*v - 34. Let g(b) = 3*b + 11. Let o(s) = -11*g(s) - 4*j(s). Let n(l) = 10*l + 23. Let p(z) = 5*n(z) - 7*o(z). Let u be p(-9). Is u greater than 2?
False
Suppose d + 0*d + 36 = 0. Let m = d + 24. Let g be (-2)/36*(-18)/m. Are -0.1 and g nonequal?
True
Suppose -12 = -85*v + 89*v. Is -18/7 > v?
True
Let g be 502/(-1757) - (0 - 9/7). Is 136 <= g?
False
Let d = 76 - 76. Suppose t = -0*t + 3. Suppose -j + 2 = t. Is j not equal to d?
True
Let g(d) = d**2 + 7*d + 2. Let y be g(-7). Let z(j) = j**2 - 5*j + 6. Let p be z(4). Suppose 0*q = p*q - 4. Is y at least as big as q?
True
Let r be 36 - 40 - (-473)/118. Does 1 = r?
False
Let y(v) = -3*v - 74. Let n be y(-20). Which is smaller: n or -55/4?
n
Let r(v) = -v**3 + v**2 + 2*v - 1. Let k be r(2). Let i be (0 + k)*(1 + 0). Let b = i + 0. Is b less than 1/5?
True
Suppose -11*x - 1426 = 35*x. Let l be -27 - (1 + (2 - 0)). Is x less than l?
True
Let a = -326/1479 - 38/51. Are a and -1 unequal?
True
Let a = 129 - 123.3. Let x = 4.3 - a. Is 1/3 >= x?
True
Let t(z) = z**3 + 4*z**2 + 9*z + 12. Let x be t(-2). Which is greater: 11/6 or x?
x
Let s(o) = 4*o + 92. Let z be s(0). Which is greater: -1 or z?
z
Let r(n) = 2*n**3 + 13*n**2 + 2*n - 26. Let p be r(-5). Is 5 bigger than p?
False
Let n = 0.014 + 6.786. Let x = 7 - n. Let z = -9 - -4. Is z at least x?
False
Let t = 5.99 + -6.5. Let a = -0.61 - t. Is a not equal to -0.23?
True
Let t be 5 - 23*(2 - (-18)/(-10)). Let m be -2 + 4 - 3 - -1. Which is bigger: t or m?
t
Let u = 1 + -1. Let c(s) = -s**2 + s. Let q be c(-3). Let y = q - -12. Is y at least u?
True
Suppose -u + 2*v - 6 = 0, -5*u + 5*v - 35 = -5. Let m(o) = o**3 + 3*o**2 - o - 3. Let h be m(-3). Let c = h - u. Is c equal to 6?
True
Let t = -4 + -5. Let h = -25 + 15. Let b = t - h. Is b less than 1/8?
False
Let m = 200.3 - 215. Let n = m + 14.5. Is 0.05 <= n?
False
Suppose -55*m = -57*m + 3*y - 11, 9 = -3*m + 2*y. Is -5 bigger than m?
False
Let j = 601 - 771. Which is smaller: -0.1 or j?
j
Let v = 21/275 - 19439/2475. Let b = 1537/198 + v. Which is greater: b or -1?
b
Let p be ((-28)/30)/((-704)/4524) + -6. Is -1 at least p?
False
Let t = 127/6 - 623/30. Is 6 >= t?
True
Let r = -204.3 - -204. Which is smaller: -145 or r?
-145
Let x be -14*1/(-2) - 7. Which is smaller: 2/167 or x?
x
Let a = 52139/11 + -4744. Which is smaller: a or -3?
a
Let h(n) = n**2 + 15*n + 32. Let p be h(-5). Which is smaller: p or -37/2?
-37/2
Let j(k) = k**3 - 12*k**2 - k + 13. Let a be j(12). Let g be (-2)/a + -6 + 10. Suppose p + p = g. Which is smaller: p or -10?
-10
Let u be 3 - 4 - (-8 - 42). Suppose 10*k + 41 = -u. Is k less than 4?
True
Let b = -343 - -310. Is -2 <= b?
False
Suppose 1 = -7*m - 6. Let f = m - 5. Is 2 at least f?
True
Let t = -31 - -82. Let b = -14 - -64. Which is greater: t or b?
t
Let k = -0.3 + 0.5. Let d = -0.16 + k. Let o = 30 - 32. Is o bigger than d?
False
Let h(j) = -2*j - 323 - j**2 - 3*j + 344 - 8*j. Let o be h(-15). Let q be (-19)/3 - (-6)/(-9). Is o at most q?
True
Suppose 74 = -6*x + 224. Is 25 at most as big as x?
True
Let s = -72 + 40. Let z = -32.2 - s. Let a(g) = g**3 + 6*g**2 + 3. Let t be a(-6). Is z less than or equal to t?
True
Suppose 10*c + 82 + 948 = 0. Which is smaller: c or -102?
c
Suppose 2*t + 23 - 169 = 0. Which is smaller: t or 78?
t
Let s be (-94)/(-8) + 2 + (-21)/(-84). Let d = -28 - -42. Is d at most as big as s?
True
Let o(k) = -k**2 + 25*k - 47. Let j be o(23). Let h be (1 - 3)/j - -3. Let x be 2/(-4)*(-1 - 1). Is x greater than h?
False
Let p = 15 - 8. Let n(q) = -22*q - 186. Let u be n(-9). Which is smaller: u or p?
p
Let v be (1 + (-15)/12)*127639. Let d = -477497627/14964 - v. Let c = 10/129 + d. Is -1 less than c?
True
Suppose -3 = -o, 2*o - 4*o = -3*t - 21. Let j(l) = -l**3 - 3*l**2 + 8*l - 10. Let b be j(t). Which is smaller: 5/16 or b?
b
Let k be (0 - (-7 + 3)) + -6. Let m(p) = p**2 + 12*p - 5. Let o(i) = -i**2 + 1. Let f(z) = m(z) + 3*o(z). Let w be f(6). Does k = w?
True
Let d = 10534/165 - 318/5. Is 1 less than d?
False
Let u(r) = -r - 6. Let q be u(-6). Let p = -18 - -22. Suppose -p*g + 1 = 5. Are q and g nonequal?
True
Let n(h) = -2*h + 6. Suppose 3*g - 4*j = 24, 4*j + 4 = g - 3*g. Let d(f) = f**3 - 3*f**2 - 2*f - 5. Let w be d(g). Let v be n(w). Is 4/9 >= v?
True
Let a be (10 - (-1810)/(-180))/((-6)/44). Do a and 0 have different values?
True
Let o be (25/2)/(-5)*-2. Suppose 2*s = -s, 0 = -f + o*s - 9. Which is greater: -10 or f?
f
Suppose 0 = 4*k + 4*q - 4, 4*k = -k + 2*q - 16. Let t = 4 + k. Let b(w) = -2*w. Let r be b(t). Which is smaller: -6 or r?
-6
Suppose s