+ -4.964. Let i = 0.22 - 0.15. Let v = i - -0.93. Which is greater: a or v?
v
Suppose -192 = -21*b - 27*b. Let y be (-6)/b*-4 + 73600/(-12275). Is y <= 1?
True
Let o be 18/(-10) - 25285/(-10075). Let p(f) = -f**3 + 5*f**2 + 5*f + 6. Let s be p(6). Which is greater: o or s?
o
Suppose v + 9 = 2*j, 0 = -2*v - 3*j - 2*j - 9. Let w(r) = 26 + 2*r + 4 + 5. Let c be w(-22). Which is smaller: v or c?
c
Let p(k) = 26*k - 156. Let b be p(6). Suppose b = z + 6*z + 1680. Which is bigger: -239 or z?
-239
Let i be (-1 + 25)*34/102 + -7. Is -3/919 smaller than i?
True
Let b = -1980 - -1980. Let h be -41*8/(-1155) - 4/14. Is b >= h?
True
Suppose 0 = 8*g - 44 + 28. Suppose 2*x + 92 = -g*a, -4*x = 2*a - 5*x + 89. Suppose v = 3*u - v + 134, -2*v + 90 = -2*u. Is u less than or equal to a?
False
Let n(g) = -21*g. Let d be (12 + -14)*2/4. Let i be n(d). Let r = 20 - i. Which is smaller: r or -1/10?
r
Let x = -40660 + 38011. Is x not equal to -2649?
False
Let w = 46 + -42. Let i be (w/(-240))/(71/(-613)). Let g = 3/284 - i. Which is smaller: 0.3 or g?
g
Suppose 34*w + 546 = 48*w. Suppose -21 - w = 6*r. Let f = 10 - 22. Which is bigger: r or f?
r
Let q(d) = -59*d - 2768. Let u be q(-46). Which is greater: 2/27 or u?
2/27
Suppose -107 - 396 = a + 2*j, -5*a - 2494 = 3*j. Let z = 250984/505 + a. Which is greater: 1 or z?
1
Suppose 18 - 16 = w. Let k(q) = q**3 - 3*q**2 + 4. Let f be k(w). Suppose f = 4*x - 7 + 3. Is -1/11 at least x?
False
Suppose q = 23*g - 19*g - 1202, 3*q - g = -3562. Is -1186 greater than q?
False
Suppose 5*m - 3*c + 5 = 0, 7*m + 11 = 5*m + 3*c. Suppose -d + 55 = 3*g, -m*g = 10*d - 9*d - 36. Is g at least 17?
True
Let x = -166 - -210. Let i = 182 - x. Is 137 <= i?
True
Suppose h - 1605 = -3*r - 20917, -h = r + 6436. Is -6439 less than r?
True
Let j = 689 + -689. Let y be j*(-1)/5 - (-4)/322. Is y equal to -1?
False
Let i = -15 - -24. Let a be (1/i)/(2/6). Suppose 68*y + 672*y = 11840. Which is smaller: y or a?
a
Suppose -3*m - 5*p - 43 = 10, 5*m = -5*p - 95. Let s = m + 25. Suppose -s*z - 4 = z + l, -2*l = -2. Which is smaller: -2/35 or z?
z
Let s(h) = -h**2 + 2*h + 50. Let t be s(7). Let r be (3 + (-48)/t)/(126/(-2415)). Is r less than 2/3?
False
Suppose 6*o + 0*o = 30. Suppose 5*q - 65 = -o*b, -20*b = -2*q - 15*b + 61. Which is bigger: 4 or q?
q
Let y(r) = -222*r**3 - r**2 + 6*r + 12. Let b be y(-2). Is b < 1772?
False
Let m(d) = -34*d**2 - 2581*d - 158. Let l be m(-78). Do -5694 and l have the same value?
False
Let v be 167598/(-34668) + 5 + 3/(36/(-2)). Are v and 1 nonequal?
True
Suppose -2*w - 10 = -7*w. Suppose -n - w + 39 = 0. Let z(y) = 6*y**2 - 537*y + 305. Let o be z(89). Is o <= n?
False
Let r = 0.54 - 1.1. Let u = r + 0.53. Let v = u - 0.57. Is 1 < v?
False
Let u = -89 - -87. Let v = -466 - -473.9. Are u and v non-equal?
True
Let s(b) = 5*b**2 - 41*b + 10. Let f be s(8). Suppose 2*y - 68 = q, -2*y = 3*q - f*q + 88. Does q = -79?
False
Suppose -4*t = -2*n - 3542, -11*n = t - 9*n - 878. Which is greater: 890 or t?
890
Let x = -138 + 97. Let g = -42 - x. Let b(h) = 5*h**2 - h - 2. Let r be b(g). Which is bigger: r or -1/7?
r
Let f be 4755/(-20)*224/21. Does f = -2535?
False
Let u(l) = l**2 + 17*l - 5. Let m be u(-18). Suppose 28*j = m + 43. Is j bigger than 7?
False
Let u = -742.5 - -740.7. Do u and 35 have different values?
True
Let s = -3662 - -3658. Is 0.005 less than s?
False
Let k = -2258 + 1261. Which is smaller: k or -999?
-999
Let c = 790522 + -792893265/1003. Let d = c - -17/59. Let q be (-21)/(-6) + 3/(-2). Which is smaller: d or q?
d
Suppose 10*k = 2*k. Suppose -f + 9 = 4*i - 0, k = 3*i - 5*f + 22. Does 2 = i?
False
Suppose 4*w + 0*f + 2*f = -20, 0 = -3*w + 4*f - 26. Let i be (0 - (-55)/(-9)) + -8*(-8)/(-576). Which is smaller: i or w?
i
Let q = 307.45 - 258.54. Which is bigger: q or 3?
q
Let r be (-14)/(-2) + ((-25500)/80)/51. Let u = -0.02 + -0.08. Does u = r?
False
Let c = 221 + -381. Let q = c + 172. Does q = 12?
True
Let m(p) = 22*p + 20. Let h(g) = -7*g - 7. Let k(s) = -10*h(s) - 3*m(s). Let z be k(-11). Let l be (z/(-51))/(98/(-6)). Are l and 1 unequal?
True
Let d(u) = -14*u**2 + 3*u + 3. Let t be d(6). Let z = -2406/5 - t. Suppose -3*f + 465*v - 470*v + 44 = 0, -24 = -f - 3*v. Are f and z nonequal?
True
Let m be (-4)/8*(-13236)/22. Let l = -301 + m. Let n be (-14)/(-10) - 321/(-535). Are n and l nonequal?
True
Let m = -37455 + 38206. Which is smaller: 772 or m?
m
Suppose 2*h - 5 = 1. Suppose -q + 30 = 5*f + q, 0 = -h*f - q + 18. Suppose 2*w + f = -4*w. Do -2/43 and w have different values?
True
Suppose -6*h = 58*h + 18432. Which is greater: -2021/7 or h?
h
Suppose -6*f = -4*w - 206, -4*f - 4*w - 63 = -227. Which is bigger: f or 462?
462
Let o = 1/920 - 14461/3147320. Which is greater: o or 1?
1
Let l = -5637/364 + 108/7. Let x = 125108 + -125108. Is x greater than l?
True
Let t be (1140/(-37506)*1/2)/1. Does t = -1/4?
False
Let c = 0.135 + -5.785. Let v = 2.75 + c. Which is greater: v or -1/2?
-1/2
Let b be (-2284)/530 - (-272)/340. Which is smaller: -1/2 or b?
b
Let y(t) = t**3 - 5*t**2 + 20*t - 17. Let f be y(1). Which is smaller: 1/907 or f?
f
Suppose 5*h + 45 = -130. Let c be -2 - (130/(-14) + (-10)/h). Is -0.17 at most c?
True
Let a = 65 + -14. Let z = a + -52. Is z less than or equal to 0.13?
True
Let x(q) = -q**3 + 32*q**2 - 83*q - 122. Let h be x(20). Is h > 3020?
False
Let u = -74 - -188. Let a be ((-41)/(-5))/((-2)/u). Let x = -469 - a. Which is greater: -3 or x?
x
Suppose -2603 + 455 = -4*y + 4*r, -y - 5*r + 513 = 0. Suppose 739 + y = -12*j. Is -107 greater than or equal to j?
False
Let s be -2 - (1 - 1) - -48. Suppose b = 3*b - s. Suppose 66*i - 242 = 55*i. Is i at most as big as b?
True
Let m = 11267 - 11267.1. Which is greater: m or 93.61?
93.61
Let v = -23 - -45/2. Let n = -13967/132 + 1285/12. Which is smaller: n or v?
v
Suppose 7*o - 1310 = 11*o - 5*n, 2*o - n + 658 = 0. Let f = 332 + o. Is 21/26 less than f?
True
Let l = -1.38 + -162.62. Let a = l - -166. Suppose -9 = -3*y + 63. Which is smaller: a or y?
a
Suppose 742*u + 7650 = 793*u. Which is smaller: 75 or u?
75
Let h be (3 + (-30)/(-12))*16. Let a be (-4)/(-22) - 38/h. Is a at most as big as 0.052?
True
Let d be (-8 - 4/12)*(-72)/15. Which is greater: d or 45?
45
Let x = -15464 - -15300. Which is smaller: x or -166?
-166
Suppose -2*m + 7*m = -210. Suppose 0 = -7*o - 278 + 1237. Suppose 5*b = -o - 73. Do b and m have the same value?
True
Let j(u) = -2 + 0*u + 20 - 2*u + 0. Let k be j(8). Suppose -k*w = -w - 2. Is 0 at least w?
False
Let p be ((-18)/8)/((-21)/56) - 5. Which is bigger: p or 2/9323?
p
Let j(a) = -5*a**2 + 230*a. Let h be j(48). Let z = h + 482. Suppose 0 = 4*l - 0*l - 4. Are z and l nonequal?
True
Suppose 13*f - 38*f - 5875 = 0. Let k = -234 - f. Is 2/319 <= k?
True
Let q be 27/(-24)*-4 - 3/6. Let y be 45/10 - 1/(-2). Suppose -16 = 5*s + 4*m, 2*m + y = q*s + 23. Are s and -3 nonequal?
True
Let l = 1861 - 1779.3. Let f = -82 + l. Let h = 4 + -3.4. Is f >= h?
False
Let w = 71/3 - 24. Suppose 5*t = 4*p + 115, 3*t - p - 52 = -2*p. Let z = t + -19. Which is smaller: w or z?
w
Let t(u) = -235*u + 1385. Let d be t(6). Let i be -16*(1 - 2)*-2. Let x = -57 - i. Is x bigger than d?
False
Let f be (-44)/(-286) - 24/(-13). Suppose 60 - 48 = f*t. Suppose -3 = -4*z - 19, -r + 21 = -4*z. Is t equal to r?
False
Let m be ((-12)/(-5))/(-6) - (-196)/(-10). Let o be (-183)/(-12) + 5/m + -3. Let q be (22/30)/(2 + (-28)/o). Is -2 at least as big as q?
True
Let t be 472/110 + 700/875. Do t and -1 have the same value?
False
Let x = -14261 - -14268. Are 1289 and x equal?
False
Let b(s) = 6*s - 29. Let a be b(-16). Let k = 6437 - 6563. Is k at least a?
False
Let t = 993 + -698. Let a = t - 447. Let x be 1/2*a/(-14). Which is smaller: x or 6?
x
Let q = 34793 + -314125/9. Are q and -111 equal?
False
Let x be (-4)/(-6) - 32/(-6). Suppose -7*v + 5*v - 5*d = 1, -2*v - 3*d = -1. Suppose v*s + 16 = -5*p, -3*s + 2 = 2*s + 2*p. Which is smaller: x or s?
s
Suppose 4*k + 24 = -4*i, k + 0*k = 2*i. Let m(t) be the second derivative of -t**4/6 - 7*t**3/6 - 4*t**2 + 12*t - 6. Let l be m(k). Is l bigger than -11?
False
Let u(d) = 529*d - 107555. Let r be u(204). Suppose -761 = -2*m - 39. Are r and m unequal?
False
Suppose 2*j = 2, -74*n + 78*n = -3*j + 14363. Is 3590 greater 