13 = 0. Let m be l - (-2 - (-14)/(-2)). Which is greater: x or m?
m
Let z = 28544/1515 - 1087608/167155. Let u = z + -1/993. Let s = -64489 - -64501. Which is bigger: u or s?
u
Suppose 0 = -170*g + 175*g - 2*w - 5060, w - 1012 = -g. Which is greater: g or 1011?
g
Let a be (-622)/8*3*(-5)/7095. Let c = 3/172 + a. Let y = 12.6 - 13. Which is greater: y or c?
c
Let u(a) = 841*a - 840*a - a**2 - 31 + 173. Let p be u(13). Is -2 >= p?
True
Let l(v) = v**3 - v + 2. Let b(t) = 7*t**2 - 6*t - 4. Let d(s) = -b(s) + l(s). Let g be d(6). Which is greater: g or 1?
1
Let d(l) = -41*l**3 + 8*l**2 + 13*l - 85. Let i be d(4). Is i != -2530?
True
Suppose -2 = -2*a + 3*a. Let z = 12/1253 + 2144/299467. Let d = z - 1219/1434. Which is smaller: d or a?
a
Let s = 43063 - 40399. Is 2667 > s?
True
Let z = 0.067 - -0.007. Let f = 2.974 - z. Let h = -2.75 + f. Which is smaller: -2/3 or h?
-2/3
Let x = 109 + 59. Let k = 162 - x. Is -0.6 less than k?
False
Suppose -2*u + 7 + 1 = 0. Suppose 23*k = 20*k - 3*t + 144, 3*t = -5*k + 244. Suppose -5*s = 5*x - k, -x + 2*s = -6 - u. Which is greater: 11 or x?
11
Let j = -29/78 + 1/26. Let d = 129 - 140.2. Which is greater: j or d?
j
Let p be (34241/2118)/((-4)/33). Is p at most -134?
False
Suppose 2*r + 2*w + w - 27 = 0, 0 = -5*r - 4*w + 78. Suppose -3*d = -4*d + r. Let n = -30 + d. Are n and -12 nonequal?
False
Suppose 3*d + 4*r + 22 - 18 = 0, d - 5*r = 5. Is d at least -1/1736?
True
Let w = 14 - -36. Let l = w - 41. Let r = l + 19. Which is bigger: r or 27?
r
Let g(q) be the third derivative of q**6/120 - q**5/12 + 7*q**4/24 - q**3/6 + 3*q**2. Let s be g(3). Let a be (-6)/(5/55*s). Which is smaller: a or -34?
-34
Suppose -5*q = -4*m - 2596, -2*q = 6*m - 5*m - 1041. Let d = -309 + q. Is d > 211?
False
Suppose -51 = 4*p + 5*c, -7*c = 2*p - 2*c + 33. Let b = 5 - 3. Suppose 0 = 5*z + 4*y + 58, 2*z + b*y - 13 + 37 = 0. Is p equal to z?
False
Suppose -t - 4 = t. Let o be ((-88)/18)/(-4 - t). Let j = -1991 - -1994. Is j > o?
True
Let s(r) = -2*r + 6. Let d be s(4). Suppose 3 = -3*p - f - 26, -4*p - 7 = -5*f. Let a be d + (135/(-80))/(6/p). Which is bigger: a or -6?
a
Let i = 1.22423 + -2.22423. Let d = -20.04 - -22. Do d and i have the same value?
False
Suppose 22*k - 21*k = 38. Suppose 13*t - 11*t + k = 0. Let z(r) = -r - 29. Let d be z(t). Which is smaller: d or -37/4?
d
Let f = 711 - 720. Which is bigger: f or 0.33?
0.33
Let m = 31147 - 30362. Which is bigger: 0.04 or m?
m
Let k(m) = -10*m + 2. Let t be k(1). Let v be t - (-18)/12*2. Let n(l) = -l**3 + 7*l**2 - 8*l + 5. Let f be n(6). Do f and v have different values?
True
Let i(h) = -191*h + 1398. Let l be i(7). Which is bigger: l or 2/37?
l
Let c = -78 - -74. Let x be (3/2)/((-6)/8) - -1. Which is smaller: x or c?
c
Let l = 1797 + 48. Which is smaller: -1/2 or l?
-1/2
Let p(s) = -71*s**3 - 4*s**2 + 12*s + 15. Let x be p(-5). Let m be 135/x*4/(-27). Is m smaller than -1?
False
Let d(o) = 3*o**3 + 23*o**2 + 6*o - 30. Let i be d(-7). Which is smaller: i or 301/12?
301/12
Let j(z) = 60*z - 528. Let n be j(10). Let c be (-1 + 0)*-3 + -1. Which is greater: c or n?
n
Let i(n) = 10*n + 70. Let f be i(-8). Let l(q) = -q**3 - 11*q**2 - 13*q - 30. Let c be l(f). Does c = 2/695?
False
Let i be 3*((-35)/(-12) - (28 + -25)). Is i >= -0.867?
True
Let j = -65.488 - -2.656. Let v = -63.1 - j. Is -1 at least v?
False
Let q = -0.32429 + 1.02429. Are 604 and q unequal?
True
Let d be (-8)/(-16) + (-11865)/23738. Let s = d - -12/4565. Let n = -1356/26455 - s. Is n > 0?
False
Suppose -130*i - 105 + 6 = -141*i. Which is bigger: i or 179/21?
i
Let k = 545 - 500. Suppose k*q - 3 = 48*q. Is q less than or equal to 1/148?
True
Let d be -10 - (71 + -68)*(-2)/4. Is -3/5 bigger than d?
True
Let y = -42 + 23. Let z be 18/(-6) - (-4)/32*-122. Is z less than or equal to y?
False
Let i = 79 - 53. Suppose 3*h - 23 = -i. Which is smaller: h or -19/9?
-19/9
Let n = -6.72704 + 0.09604. Let g = -6.92 - n. Do g and -2 have different values?
True
Let w be (2 - 5) + (-21 - -22) - 0/3. Let j = 3/25 + 37/25. Is j at most w?
False
Let y = 13.11 - 0.11. Let s = -3.07 - -137.07. Let n = s + -133.7. Which is smaller: n or y?
n
Let x(c) = -319*c - 4745. Let b be x(-40). Which is greater: 8014 or b?
b
Let r be (7 - 63) + (2 - 2). Let z be (-39)/273*28 - (630/4)/3. Is r at most z?
False
Suppose -20 = 5*q, -3*v + 33 = -2*v - 2*q. Is v < 0.2?
False
Let k = 712.7 - 711.8. Is -138 != k?
True
Let d be -36 - (3 - 154/44)*(-2 - -24). Let q(k) = -2*k**2 - k + 4. Let b be q(-4). Is d < b?
True
Suppose 65*v - 31293 - 7867 + 3605 = 0. Which is smaller: 0.3 or v?
0.3
Let v(c) = -c**2 - 8*c - 11. Let i = -43 - -39. Let g be v(i). Suppose 2*p + 6 = 4*p, 3*p = -g*n + 29. Do 3 and n have different values?
True
Let v be 2222*(-4)/8 + (-1)/(-1). Which is bigger: -2221/2 or v?
v
Let x = -96 - -57. Let d(k) = -3*k**2 + 40*k - 18. Let v be d(17). Let s = 166 + v. Is x at least s?
True
Let u = -153 + 257. Let q = u - 104.01. Is -8 <= q?
True
Let b = 0.27 + -0.03. Let c = 1.56 + b. Let g = c - 1.6. Which is smaller: -10 or g?
-10
Let q be 52/(-6)*((-26)/104)/((-3)/1116). Which is greater: -802 or q?
-802
Let h = 22 - 41. Suppose 0 = 4*u + 2*i - 862, 4*u - 351 = -4*i + 513. Suppose -216*a = -u*a + 21. Is h >= a?
True
Let p be (-6)/1 - (-5283)/45. Which is smaller: 0.1 or p?
0.1
Suppose -3*w = -p + 1094, -p = -4*w - 1101 + 6. Is p not equal to 1092?
True
Let h(l) = -l**2 - 7*l + 170. Let v be (-191)/11 - 212/(-583). Let f be h(v). Which is smaller: f or 1/209?
f
Let b be (12735/28980 - 9/21)/((-73)/(-6)). Do b and 1 have different values?
True
Let j = 9.282 + 6.718. Is -10.6 less than j?
True
Let c = -402 + 599. Let k = -196.9 + c. Which is bigger: k or -38/17?
k
Suppose 0 = -2*d + 3*p - 11, 4*d + 4*p - 29 = -1. Suppose 9*x - d = 8*x. Let i be 25/(5 + -2 - x). Which is smaller: 2/3 or i?
2/3
Let k = -187 + 181.74. Let m = -9.26 - k. Which is smaller: m or -49?
-49
Suppose -12*o - 40 = -32*o. Suppose i - o*n = 11, -21*i + 20*i = -n - 7. Which is smaller: 27/11 or i?
27/11
Let f be 3 - (15 + -6) - 3855/5. Which is smaller: -776 or f?
f
Suppose -8 = b - 4*i - 5, 17 = 3*b + i. Let u be ((-14)/2107)/(b/(-2) - -3). Which is bigger: 1 or u?
1
Let l be (-42)/(-110) - (-4)/(-22). Let a(b) = b**2 - 7*b + 10. Let s = -7 + 12. Let x be a(s). Which is greater: x or l?
l
Let h be (-4)/(-30) - (1/((-60)/(-10484)) - -7). Which is smaller: h or -181?
h
Suppose 0 = 4*s - 5*n - 170, 0*n + 118 = 3*s + n. Suppose -s*m + 26 = -14*m. Which is bigger: 3/146 or m?
m
Let h(m) = -8*m - 3. Let u be h(16). Suppose -20*g = -37*g - 2244. Is g at most u?
True
Let p be (-168)/(-32) - (-2)/(-8). Let y(t) = -t - 6 - p + 3 - 2. Let d be y(-6). Is d less than or equal to -2?
True
Let d = -35 - -24. Let k = -8 - d. Let s = 1/41 - -448/123. Which is greater: s or k?
s
Let h be (-9)/((-18)/8) + -60. Let y = h + 52. Let w be (y/6)/(12/9). Does 0.37 = w?
False
Let y = -2015 + 2013.197. Let a = 0.197 - y. Which is greater: -19 or a?
a
Let u(q) = 2*q**3 + q**2 - 3*q - 130. Let j be u(-9). Which is smaller: j or -1479?
j
Let w = -13253 - -13523. Are -1/4 and w equal?
False
Let y = 4.9 + -74.9. Let v = -155.6 + 224. Let o = y + v. Are -0.1 and o equal?
False
Let g = 11225/3 - 29119/6. Let i = -20627/18 - g. Is -35 at most as big as i?
True
Let q = -96.1 + 13.1. Let p = -108 - q. Let x = p - 6. Which is bigger: 1/3 or x?
1/3
Let r(v) = v**3 - 14*v**2 + 12*v - 6. Let h be r(13). Let q be ((-72972)/(-5154) + -5)/((-21)/h). Let f = -1/2577 + q. Do 9 and f have the same value?
False
Suppose 10*o = 12*o - 146. Suppose 0 = 62*z - o*z. Which is smaller: z or -19/17?
-19/17
Let b = -0.095 - -0.08. Let g(t) = t**3 + 8*t**2 + 5*t - 42. Let m be (27/(-6) - -4)/((-1)/(-12)). Let x be g(m). Is b at least x?
False
Suppose -79*u - 654066 = -31*u + 78*u. Is -5192 at least u?
False
Let d = -3930 + 3522.6. Let r = -408 - d. Is 0.01 > r?
True
Suppose 2*x - 5208 = -4*r, 4*x - 1039 = r + 9359. Let i be ((-46)/5)/(52/x). Is -458 at least i?
True
Let f = 7 - 17. Let m be 704/(-5) + 1/(-15)*3. Let w = m + 140. Which is greater: w or f?
w
Let y(h) = 2*h**2 + 18*h - 27. Let g be y(-14). Suppose -4*b - 8*i + 76 = -4*i, -5*b = -i - g. Is 16 greater than or equal to b?
False
Let l(n) = -2*n**3 + 25*n**2 + 49*n - 83. Let y be