394 = 0. Suppose -c + k*h + 29 - 70 = 0, 3*c = -2*h - 191. Let o(v) = -v**3 + 3*v**2 - 2*v - 2. Let s be o(5). Does s = c?
False
Suppose 0 = 23*o + 676 - 147. Is -21 >= o?
True
Suppose -2*g - 2*g = -80. Let r = 14 - g. Let k be 3*-5*(205/15 - 13). Which is greater: k or r?
r
Let u be 22863/99 - 44/(-132). Which is bigger: u or 232?
232
Let n be 34/18 + (-12)/(-108). Let z be n/(32/168)*-2. Is -11 bigger than z?
True
Let n be 24688/24 + -1 + 4 - (-6)/(-6). Is n greater than 1031?
False
Suppose 5*c - 58 = -4*j - 21, 2*j + 4 = 2*c. Suppose 0 = -2*b - j - 5. Suppose 24*l - 22*l = -3*q - 36, 6*l = -q - 12. Is l at least as big as b?
True
Let v(x) = 79*x + 870. Let t be v(-11). Do 1/337 and t have the same value?
False
Let a = 4238 - 4237.1. Let q = 0 + 0. Let x = a + q. Is x greater than -4?
True
Let q be 3689/196 - 7 - (3 - 2). Which is smaller: q or 10?
10
Let r = 0.7309 + 6.2691. Is -44.4 greater than r?
False
Let p be -77*(-1 + (-12)/(-14)). Suppose -15*q = 5*h - p*q + 290, 177 = -3*h - 3*q. Which is smaller: -53 or h?
h
Suppose 0 = -4*x + 91 + 77. Suppose -k + 15 = m, -x = -3*k + 5*m - 7*m. Is 54/5 at most as big as k?
True
Suppose 51*n - 41831 = -16715 + 30984. Which is bigger: n or 1098?
n
Let k(b) = -b**2 + 4*b + 2. Let j(z) = -4*z**2 + 11*z + 7. Let m(h) = -2*j(h) + 7*k(h). Let a be m(0). Suppose 0 = -a*q - 2*q. Which is smaller: -2/3 or q?
-2/3
Let a = 87 + -95. Let l be a/14*26747/(-18). Let d = 848 - l. Are d and 2 equal?
False
Suppose 5*n - 3*y = -219 - 217, 4*y = -12. Are n and -47 unequal?
True
Suppose 0 = b - 5*i + 19, 0*i + 3*i = -3*b + 15. Let g be b/4 - 162/8. Let r = -2180 - -2160. Is r at most g?
True
Let s be -2 + ((-246)/9)/((-84)/(-18) - 5). Is s at most 5?
False
Let b be -22 - ((-247455)/104)/15. Do 137 and b have different values?
True
Suppose 0 = q - 4*p + 35, 4*p = -2*q - 0*p - 46. Let d be ((-90)/54)/(51/q - -2). Is -10 smaller than d?
False
Let j = -1012.3 + 1056. Let l = j - 42.7. Which is smaller: l or 22?
l
Let p = 14010/247 + -1560/19. Is -24 at least p?
True
Let g = -14746 - -14708. Is -34 at least as big as g?
True
Let k be (-249)/(-415) - 3/5. Which is smaller: k or -3/362?
-3/362
Let h = -2198 + 2196. Is h > -0.0143?
False
Let v = 3.9 - 6. Let t = v + -24.9. Let m = -11 - t. Which is bigger: m or -2/7?
m
Let m be (-30225)/(-600) + 3/(-8). Let f = -104 + 623/6. Is m less than f?
False
Let o = 51263/21202420 + -1/8108. Let j = -436/645905 + o. Which is bigger: j or 1?
1
Let u be 477 + (2 - 1)/(6 + 184/(-32)). Which is smaller: u or 479?
479
Let d(x) = 25*x - 76. Let c be d(9). Let k = 2236/15 - c. Let n be 2 + 4*(-1)/2. Are k and n equal?
False
Let o(t) = 20 - 16*t**2 - 6*t**2 + 0*t**2 - t + t**3. Let u be o(22). Let b be (-3)/(-9)*u - -1. Is b smaller than 0.7?
True
Let m be 535/(-60) - 12/144 - -9. Are m and -9/1826 unequal?
True
Suppose 3*d = -5*l + l + 41, 5*d = -3*l + 28. Let t = -21 - l. Let b = t + 31. Which is smaller: -3 or b?
-3
Let g be 15 + (-238)/294*18. Do g and 33 have the same value?
False
Let k = 53 + -45. Suppose -2*u - 4 = -4*r + k, -3*u = -2*r + 6. Which is smaller: -18/23 or u?
-18/23
Let h be ((-6)/5)/((-21)/130). Let j(o) = -o**3 + 22*o**2 + 363*o + 6. Let a be j(33). Which is bigger: h or a?
h
Let m be 20/(-60) - 4760/(-6). Let a = -792 + m. Which is bigger: a or -6?
a
Let q = -463.8 + 463.7. Which is smaller: q or 217?
q
Let o be (6/(-24))/((-1404)/(-352) - 4). Is o <= -2?
False
Let n = 14532083/2523410954 - 15249784678069415839/10353138781454590. Let m = 518/74597 - n. Let q = m + -1473. Is 0 greater than or equal to q?
True
Let z = -139215 + 2927273804/21027. Is z at most -1?
False
Let y = -6 + 15. Suppose 0*f + 3*i + y = -5*f, -i = 2*f + 3. Let k be (4/(-22))/((-26)/130). Is k > f?
True
Let j(v) = v**3 - 3*v**2 - 17*v - 6. Let s be j(6). Let z be s + (-93)/(-81)*6. Is 8 at most as big as z?
False
Let u be (-520)/(-2184)*18/(-20)*(-7)/6. Are u and 143.1 equal?
False
Suppose 25961 = 77*k + 61998 + 69530. Is -1372 smaller than k?
True
Let n = 20897 - 8985. Which is greater: n or -0.1?
n
Suppose 13650 = -13*d - 8*d. Let z = -649 - d. Is z at most as big as 1/4?
False
Let d(l) = -4*l**2 - 20*l - 14. Suppose 28 = -7*p + 5*p + 5*b, 5*b = -5*p. Let a be d(p). Which is bigger: a or 36/17?
36/17
Let t be (-850)/425*(1 - (-238)/4). Is t not equal to -849/7?
True
Let m = -57/2 - -30. Let p be (30/25)/(-5 - 26/(-5)). Suppose x = 2*j + 11, -p = -4*x + j + 3. Is m <= x?
False
Let t = 282 + -4149. Which is smaller: 2/5 or t?
t
Let x be (2 - (-14)/(-8))/((-10608)/(-1122)). Which is greater: 1 or x?
1
Suppose -3*n + 4*g = 13, g + 9 = n - 2*n. Let k = -3595 + 3604. Which is smaller: n or k?
n
Suppose -3*g - 269 = -q, -164*g - 1076 = -4*q - 167*g. Suppose 0 = 262*f - q*f - 203. Which is bigger: f or -31?
f
Suppose 15*l = -3*l + 180. Let i = 1010 + -6998/7. Is l at least as big as i?
False
Let n(b) = b + 2. Let l be n(6). Let d be (35/10)/(l/(-158)). Let y = d - -69. Which is smaller: y or 0?
y
Let a = 35 + 697. Which is greater: a or 730?
a
Let m = 15032 + -17618. Is m bigger than -2586?
False
Let f = -2252851/542 - -8313/2. Is f greater than or equal to 0.1?
False
Suppose -37*k = -44*k - 1764. Let g be (48/k)/(8 - 2). Are -1 and g non-equal?
True
Let l = 9547 - 9550. Is -20.69 less than or equal to l?
True
Let w(r) = 11*r - r - 25 + 3*r**2 + 3*r - 2*r**2. Let t be w(-16). Let c = 33 - t. Which is bigger: 5 or c?
c
Let l(k) = 3*k**2 + 6*k + 1. Let g be l(-4). Suppose -352*w + 459*w = 1819. Is g < w?
False
Let v = -1283/12 - -1779413/16644. Which is greater: v or 1?
1
Suppose -5*a + 3*p = -76 - 218, -4*p = -5*a + 297. Suppose -18*s = -20*s + 116. Which is greater: s or a?
s
Let q = -42 + 50. Suppose 3*u - 4*s - q = 0, 3*u - 10 = 8*u + 5*s. Suppose 2*v = 1 + 1. Which is smaller: u or v?
u
Let r(d) = 2*d + 9. Let p be r(-12). Let b(w) = w**2 - 10*w - 29. Let o be b(13). Let i be 4*((-246)/(-180))/((-4)/o). Which is smaller: p or i?
p
Let s = 4027/9 + -447. Let k = -123731 - -123725. Which is smaller: s or k?
k
Let f = -603012/5 - -119882. Are f and -721 nonequal?
True
Let n = 35/2 + -18. Let u be 24463/28560 + 2/(-7). Let d = u - 7/16. Which is smaller: n or d?
n
Let i be 32/192 + (1595/6 - 2). Is 228 less than i?
True
Suppose u - 5*u + 4 = 4*q, -5 = -4*q - 5*u. Let i be ((-8)/180 + q)*-10. Let w = -289 - -289. Which is greater: i or w?
i
Let s(r) = r + 6. Let h be s(-11). Let v = -4 - h. Let o = 2908 - 177392/61. Is v less than or equal to o?
False
Suppose 8 = -m - m, 0 = -3*d - 3*m - 15. Let f be (-1644)/14174 + ((-3)/(-5))/(3876/680). Do d and f have different values?
True
Let t = -32567 + 16511485/507. Are t and 0 nonequal?
True
Let c(p) = -5 - 6 - 6 - 6 + 3*p. Suppose 6*d = 5*d - 4*w - 14, 2*w = 5*d - 40. Let o be c(d). Which is smaller: -6 or o?
-6
Let s(i) = i**3 - 12*i**2 - 2*i - 144. Let u be s(13). Which is smaller: u or 1/31450?
u
Let p = -12 + 7. Suppose 38*q + 14*q - 156 = 0. Suppose -4*x - 12 + 24 = -3*z, 0 = q*x - 5*z - 20. Which is smaller: x or p?
p
Let y = 277 + -270. Let d be 76/60*6 - y. Which is smaller: -26 or d?
-26
Suppose 39*t + 204 = 90*t. Suppose -g + t = -3*u, -5*u + 15*g - 18*g - 2 = 0. Let q be 8/2*(-1)/(-9). Which is bigger: q or u?
q
Let z = -32634 + 24997651/766. Is 1 greater than or equal to z?
True
Let r = 1163 - 4094. Which is smaller: r or -2930?
r
Let i = 64.208 + -60.408. Let f = -17/44 - -7/11. Which is bigger: f or i?
i
Let g be 48/(-45) + (-2)/(-3). Let t = -0.709 + 1.814. Let j = 5.605 - t. Which is bigger: j or g?
j
Let s = -1/2603 + 5209/7809. Which is smaller: -4/125 or s?
-4/125
Let o = -24 + 20. Let l be (2/5 - (-193)/55) + o. Let b be ((-1)/2)/(3/6). Which is greater: b or l?
l
Let m(l) = 25*l - 2799. Let w be m(112). Is w less than or equal to -2/367?
False
Suppose 1 - 2 = g, 4*k - 5*g - 29 = 0. Suppose -2*d + 7 = m - 19, 4*d + 4*m = 56. Let v = k - d. Which is smaller: -0.02 or v?
v
Let o be (-18)/315 + (-66)/70. Let b(r) = -r**2 + 4*r + 3. Let c be b(5). Is o >= c?
True
Suppose -163*d - 11920 = -183*d. Is 599 != d?
True
Let v(t) = t**2 - 15*t - 76. Let l be v(-4). Which is smaller: l or -17/1215?
-17/1215
Suppose 123*y = 138*y - 12495. Let n be ((-4)/(-7))/(306/y). Which is bigger: -0.3 or n?
n
Let z be 13/(52/(-168))*(-12)/9. Let b = -76 + z. Is b at 