r -1204?
-1204
Let k = 115.75 + -0.75. Let c = -114.6 + k. Which is smaller: c or 31?
c
Let c(m) = 2*m**2 - 2*m - 1. Let o be c(-1). Let n(b) = -b**3 - 10*b**2 + 89*b - 104. Let w be n(-16). Which is bigger: w or o?
w
Suppose 5*l - 2*p = 100, 0 = -l + 4*l - 2*p - 60. Suppose l*n + 20 = 24*n. Suppose n*h + 0 = -125. Is h < -28?
False
Let n = 36 + -23. Let x(k) = -n*k + 17*k - 17 - 3*k. Let w be x(9). Is w greater than -7?
False
Let s = -4392 + 4392. Is -54/145 not equal to s?
True
Let r be 3/(-7) - 1220/(-854). Let x = -48727/109 - -447. Let w = -181/1962 - x. Is w less than or equal to r?
True
Let m = 8319 - 8459. Is m at least -149?
True
Let f be (17 - 20)/(-2 + -1) - (-33)/(-24). Which is smaller: f or -2/49?
f
Suppose 2*d - 40*g = -36*g - 470, 5*d - 2*g = -1215. Suppose 0 = 2*p + 7 - 17, -4*z = 4*p + 960. Is d >= z?
True
Let b = -85.71 - -37.71. Which is smaller: -29 or b?
b
Let z(r) = r**2 - 47*r + 133. Suppose -2*w - 7 = -5*g - 95, 176 = 4*w + 4*g. Let q be z(w). Which is bigger: 102 or q?
102
Let v(n) = n**3 + 15*n**2 - 168*n - 101. Let o be v(-23). Which is smaller: o or -468?
o
Let b = 10030 - 10029. Is 7/1434 <= b?
True
Let d = -342.9879 - -343. Let z = 16.0879 + d. Which is bigger: z or 2?
z
Let a = 20 + -10. Suppose 1 = 3*x - w + 21, 0 = -2*x - 4*w + a. Is 2 not equal to x?
True
Let k = -124.2 + 388.66. Let c = -265 + k. Which is greater: -4 or c?
c
Let k be 1*499 - (-22 - (24 + -41)). Is 495 not equal to k?
True
Suppose 177*n = -161*n - 1329354. Which is bigger: -15731/4 or n?
-15731/4
Let x(n) = -4907*n - 512. Let k be x(1). Is k bigger than -5418?
False
Suppose 27*a = -209*a + 16284. Is a <= 78?
True
Let g(h) = 825*h - 2. Let t be g(1). Suppose -6*u + t = -221. Which is greater: 2/7 or u?
u
Let q(z) = -z + 6. Let v be q(4). Let t be v - 1*(-4 - 2). Suppose t*x = 19*x. Which is bigger: x or 2/225?
2/225
Let o = 0.37 - -0.03. Let a = 0.4 + o. Let u = 9 + -15. Which is smaller: u or a?
u
Let o be -1*(1 + (2 - (-1 + 9))). Let m be 1*o - (46 + -19). Which is greater: -23 or m?
m
Let j be (-2)/(((-207)/(-36))/23). Which is smaller: j or 2/211?
j
Suppose 0 = -7*l + 3*l + 3*n - 43, -2*n = 6. Let s = l + 29. Let m be (-15)/(2 + (0 + -6 - -3)). Which is smaller: m or s?
m
Suppose 2*q - 16 = -5*x, -5*q + 19 = 8*x - 6*x. Which is greater: 0.3192 or q?
q
Suppose -z + 152 = 4*x + 3*z, -4*z = 5*x - 190. Suppose 9*k + 2 = x. Suppose r - 5 = k. Is 9 less than r?
False
Let i be (-4)/(-30) - (29391/1170 + -13 - 12). Which is smaller: -7 or i?
-7
Suppose -68*d - 25 = -73*d. Suppose 19 = j - d*b + 2*b, b = j - 17. Let z = -19 + j. Is -19/6 at least z?
False
Let f(l) = -35*l**3 + 9*l**2 - 4*l - 21. Let r be f(2). Do r and -0.4 have the same value?
False
Suppose 5*q - 20 = -3*a, 7 = 343*q - 341*q + a. Which is bigger: -80/183 or q?
q
Let x be (-11)/(2/3 - -1). Suppose -8 - 30 = 3*y + b, -2*y = -5*b + 14. Let j(s) = s**2 - 152. Let z be j(y). Is z at least x?
False
Let h be (2 - 2)/(-41 + 40). Let q be -2 + 2*5/(340/26). Is h smaller than q?
False
Let u = -531.92 - -532. Which is smaller: u or -128?
-128
Let m = -64 + 67. Suppose m*i = -o - o + 6855, i + 10299 = 3*o. Let z = o - 655510/191. Is z < 1?
True
Let u be (-4)/70 + 161/(242305/703824). Which is smaller: u or 469?
u
Suppose 7 = 3*d - 53. Let f be (-4)/(-6) + 14896/d. Let a = 746 - f. Which is smaller: a or -1?
-1
Suppose 4*u + u + 2*q - 80 = 0, -4*u + 4*q + 92 = 0. Suppose g + u = 43. Let x = -55052 - -165157/3. Which is greater: x or g?
g
Let s = -878 + 1562. Let w = s - 649. Which is greater: w or -1/4?
w
Let b(i) = -i**2 - 23*i - 121. Let c(x) = -x**2 - 23*x - 116. Let f(q) = 3*b(q) - 4*c(q). Let m be f(-6). Does 1/1506 = m?
False
Suppose 0 = 2*q + 45 + 75. Let b be -5 - (-8)/q*-264. Is b at most as big as 29?
False
Let a = 7501/1342 - 141/22. Are a and 0 equal?
False
Suppose -2*r - q - 91 = 0, -3*r = -q + 2*q + 136. Let v be 8/(-5) + 36/r. Which is smaller: v or 3?
v
Let y be 4/(6/90*3). Let j = -2690/9 - -5353/18. Are y and j equal?
False
Suppose -13*w + 24 = -7*w. Let d be w/(-20) - (16/(-5) - -3). Is d smaller than -4/37?
False
Let m be 3/(-1) + (-2)/((-16)/104). Suppose 0*l - 130 = -m*l. Is l at most 14?
True
Let x(v) = -6*v - 4. Let j be x(-1). Suppose i = j*m, -52 = -3*i - 2*i - 3*m. Suppose 4*q - 2*o = i, -q + 4*o + 1 = -15. Do q and -12/19 have the same value?
False
Let v(r) = -3*r**3 + 2*r**2 - 3*r - 5. Let m be v(-3). Suppose -m = 5*q - 728. Which is smaller: q or 123?
123
Suppose 22*g - 37*g - 51*g - 66 = 0. Let w(j) = 6*j + 3. Let v be w(7). Which is smaller: g or v?
g
Let k be (-2)/(-5) - 32/(-20). Let g be (2 + -4)/(-8 + k). Let n = -2/31141 - -124594/467115. Is n not equal to g?
True
Suppose -5*s - 1 = -16. Let w be (-8 - 11792/(-1464))/(3 + 1). Let y = w + 17513/4026. Is y bigger than s?
True
Let a = 0.468 + 0.212. Let w = 19.32 + a. Is -6 >= w?
False
Let z = -1927 + 1928. Which is smaller: z or 43/27?
z
Suppose w - 5*q = -w + 1106, 5*w - 2807 = 2*q. Suppose -6*k - 113 + w = 0. Let b = 1349/18 - k. Which is smaller: 0 or b?
b
Let o be (-198)/4*(-12035)/15. Let z = -4997939/126 + o. Let n = z + -148/3. Is n smaller than 0?
True
Let t = -82 - -83. Let c be (t - (-2179)/(-727)) + -11 + 13. Is c at least -1?
True
Let l = -5 + 9. Let u = l + 19. Let w = 8 - u. Is -2/5 less than w?
False
Let h(x) = 2*x**2 + x. Let q be h(4). Let j be -3*(-3 + 124/q). Let v = 1/322 + 639/1610. Which is bigger: j or v?
v
Let b be 17/(-3) + (-83)/((-1411)/136). Let k = -6 - -1. Let n = k + 8. Is b < n?
True
Let f = -3915 + 4278. Do 365 and f have the same value?
False
Let v be -1 - 2 - (3 - 4) - -2. Suppose v = 5*b - 2*y - y - 16, -23 = -4*b - y. Let w be 2 - 6 - (-5 + -4 + b). Is w bigger than 6/19?
False
Let l = 527528 + -527682. Let s = 25/586 + -269635/1758. Which is smaller: l or s?
l
Suppose 92957 = -68*r + 16389. Is r != -1127?
True
Suppose 0 = 8*a + 41*a + 89376. Which is smaller: -1823 or a?
a
Let a = -338701/9 + 37461. Let x = 172 + a. Let p = 0 - 0. Is p > x?
True
Suppose 3*s + 9 = -z + 4*z, -2*s - z + 6 = 0. Let g be -1*5/190*1/19. Is g greater than s?
False
Suppose -2*h + 190 = -266. Suppose -5412*l = -5392*l - 4560. Is l equal to h?
True
Suppose -6*j = 6*j - 7128. Suppose 27*d + j = 30*d. Is d >= 198?
True
Let y = 108 - 363. Let r = -266 - y. Is -6 less than r?
False
Let k be 2/8*(-24)/6. Let b be (242/77)/(9/(-63)). Is b less than or equal to k?
True
Let x(i) = 9*i + 146. Let n be x(-13). Suppose 2*j - 713 = -n*j. Let g be (22/4)/((-2)/(-8)). Are g and j non-equal?
True
Let l be 4*(5 + -31 + 4). Suppose -8*b + 2*c - 180 = -6*b, 0 = -2*c + 8. Is b <= l?
False
Let j(o) = 15*o + 9. Let v be j(1). Does v = 583?
False
Let c = -1 + 4. Suppose 4*l + 5*f = 8*l - 2, -l + 3*f = c. Let m be 1*l/(-5)*180/252. Are -1/3 and m nonequal?
True
Let m = 2965.7 - 2966. Which is smaller: 823 or m?
m
Suppose 4*v = -4*h + 3204, 4*v + 118*h = 121*h + 3162. Do 794 and v have the same value?
False
Let b be 12*(-14)/(-126)*3/(-2). Which is smaller: -29/48 or b?
b
Suppose -244*x - 95643 - 4807 - 121102 = 0. Which is bigger: x or -906?
-906
Suppose -9*o + 15*o = -u + 6, -3*o = 4*u - 3. Which is smaller: o or -24/871?
-24/871
Suppose 2*o - 54 = 2*t, 4*t = 3*o - 32 - 73. Let i be (-12)/t*8*2/(-12). Which is smaller: 2 or i?
i
Let m be 45 + 1 - (5 + (4 - 5)). Let n be 4/(24/m) - 6. Which is smaller: -2/591 or n?
-2/591
Let b be (-8)/14 + (-3510)/(-189). Let w be 80/b*3/(-44). Is w < -0.1?
True
Suppose -3*x = -6, 0 = 3*t - 9*x + 12*x - 1869. Does 2 = t?
False
Let l(a) = -2*a + 2089. Let m be l(-15). Is m >= 2118?
True
Let b = 14 + -11. Suppose -4*l = b*l - 231. Let s = -34 + l. Which is greater: 2 or s?
2
Let z(r) = -14*r**2 - 911*r - 145. Let g be z(-63). Which is smaller: g or 1683?
g
Let y be 15232/(-3047) - 23/138*-30. Which is smaller: y or 0?
0
Let z be 65 - 72 - 660/(-95). Is z > 1/120?
False
Let l = -26947.8 - -26928. Which is bigger: l or 48?
48
Let x be -22 + 2 + 7*(-3)/(-105). Are x and -21 unequal?
True
Let t = -1827 - -1826. Which is smaller: t or 1/4192?
t
Let d = -2 + -2. Let j be (d/(-675))/((-4)/(-10)). Suppose -2*s = -3*i + 12, 13*s = i + 14*s + 6. Which is smaller: i or j?
i
Suppose -4*t = 5*p + 15498, 0 = 3*t - 2*p + 9213 + 2445. Is -3881 at least t?
True
Suppose 0 = 3*w + 5*x + 1421, -x = 2*w 