30 + 6. Suppose 0 = -2*c + x - 40 - r, 5*c + 114 = -4*x. Are -24 and c nonequal?
True
Let h = -996 - -2091. Let f be (-1 - h/(-1091))*(-4)/8. Which is greater: 1 or f?
1
Suppose 0 = -16*m + 20*m. Suppose -4*w - 9*w + 2314 = m. Is 178 less than w?
False
Let a(o) = -2*o + 7. Let l be a(5). Let z(f) = f**3 + 2*f**2 - 2. Let m be z(l). Suppose -17*y + 11 = -19*y + 9*q, 3 = -3*q. Is y > m?
True
Let f = -28266 - -28386. Let w be -1*(118 - 0)/(-1). Which is greater: f or w?
f
Let b = -388 + 388.1. Let i(j) = j**2 - 4*j - 5. Let z be i(-5). Let y be ((-20)/z)/((6/(-20))/(-1)). Which is smaller: b or y?
y
Suppose 0 = -2*o + 55 + 109. Suppose -112 = -2*f - o. Which is greater: f or 18?
18
Let l = -319741 + 2558011/8. Suppose -y = 3 - 12. Is y at least l?
False
Let h = -288 - -287.96. Let m be (-472)/26 - (-6)/39. Let j be (5 - 2)/m*3. Which is smaller: h or j?
j
Let g = 486 - 474. Let c be (g/(-27))/(-8*3/18). Is c bigger than 0.04?
True
Suppose 98*p - 150 = 93*p. Let s(a) = a**2 - 6*a - 110. Let t be s(p). Do t and 610 have the same value?
True
Suppose -160*t + 112*t - 84912 = 0. Is -1769 less than or equal to t?
True
Suppose 2*n - 2*o = -92, 15*n - 17*n + 5*o = 71. Let f = 0.24 - -0.06. Is f bigger than n?
True
Let j = -645 + 3368. Is -1 equal to j?
False
Let c = -96/2359 - -857307/21240436. Which is bigger: c or -1?
c
Let w be 91154/(-35) + 3*5/(-25). Are -2607 and w equal?
False
Suppose 5*p + 96 = -64. Let u = p + 35. Let o be ((-50)/75)/(u/(18/(-20))). Is o < -6?
False
Let z = -101/29 - 2800/87. Is 7 smaller than z?
False
Let f be ((-15)/7)/((-5491)/2023). Which is greater: f or 19?
19
Let v = 2350 + -2696. Are 0.5 and v unequal?
True
Let i be ((-200)/10 - 1212)/(2/(-6)). Which is smaller: i or 3695?
3695
Let b be (-94)/(-188)*(-1784)/74. Is -12 greater than or equal to b?
True
Let y(f) = -3*f**2 - 34*f - 11. Let w be y(-11). Suppose 257 + 287 = 4*g. Let m be 252/g - 3/2. Which is greater: w or m?
m
Let i be 1 - -2 - -3*1/3. Let x(p) = -103 + 2*p**3 - 11*p**2 + 2*p**3 + 105 + 6*p - p**3. Let k be x(i). Which is bigger: k or 41?
k
Let n = 13685 - 15727. Which is smaller: -0.1 or n?
n
Suppose 2*q + 0 = -a - 9, 3*q + 9 = -3*a. Let o = 14 + -10. Suppose -5*l + 10 = 2*j, o*j - 7 = -a*l - 1. Which is smaller: l or -2?
-2
Let d(h) = -h - 7. Let z be d(-11). Suppose 0 = 17*m - z*m - 273. Which is smaller: 17 or m?
17
Let h be (-1)/(-3)*(-3 - -26). Let b = -2745 - -2753. Which is greater: b or h?
b
Suppose -6620*a + 6608*a + 12 = 0. Which is smaller: a or 23/259?
23/259
Let l be ((-279)/(-602) - (1 + 1)) + 1. Let t = 3/86 - l. Suppose 0 = -0*j - 4*j. Which is bigger: j or t?
t
Suppose -7*j = 465 + 872. Let x = j - -190. Is 3/154 >= x?
True
Let p = -427 + 432. Suppose -262 = p*t - m, 3*m - 58 = 13*t - 12*t. Is t smaller than -155/3?
True
Suppose -24*s + 36 = -30*s. Let u(g) = -8*g + 1. Suppose -4*x - 3 + 7 = 0. Let j be u(x). Is j >= s?
False
Suppose -5*x - 24*x + 7*x = 0. Let p = -383/6 - -63. Is p greater than x?
False
Let i = -198.28 + 196. Let z = i + 2.6. Are z and 0.1 unequal?
True
Suppose -13920 = 77*y - 48*y. Does y = 1?
False
Let s = -51.238 + 0.238. Let d = -51.21 - s. Which is smaller: -1/3 or d?
-1/3
Let f be 2/(-930)*12149 - (-13)/(-1755)*9. Is f at most as big as -25?
True
Let p = 50 + 34. Let q be ((-22)/(-14) + 1)/(18/p). Let u be (5/2)/(1/q*-3). Are -17/2 and u non-equal?
True
Let b be (4 + -2 - 860)/(202/3333). Is -14157 at most b?
True
Let f = -0.075 + -76.925. Let u = -26 - f. Let z = -50 + u. Are z and 1/7 equal?
False
Let t = 0.21 + 14.79. Let r = 30 - -52. Let s = 80 - r. Which is smaller: s or t?
s
Let n be (-5 - 84/(-15)) + 7/5. Suppose -2*f - 2*f + 3*y + 39 = 0, -4*f + 42 = -n*y. Which is bigger: 1 or f?
f
Let f = 0.467 + -210.467. Let i = f + 209.8. Which is smaller: -3/37 or i?
i
Let p = -345.7 - -344.5. Which is smaller: 97 or p?
p
Suppose 44*l = 30*l - 14. Let y(w) = -w**2 - 2*w + 4. Let m be y(0). Let x be (-1)/(-139)*m/(-2). Which is smaller: x or l?
l
Let x(w) = 2*w**2 + 3*w**2 + 2 + 4 + 89*w - 85*w. Suppose 2*v + 3 = -1. Let q be x(v). Is 20 > q?
True
Let z = -8 - -30. Let d be ((-475)/(-495) - 0) + (-4)/z. Let n = d - 1/9. Is n equal to 7?
False
Suppose -160866 = -194*a + 32*a. Is 996 less than a?
False
Suppose -9*s + 14*s = 25, -4*s = -5*v + 3000. Which is greater: v or 605?
605
Suppose 0 = -2848*q + 2840*q. Which is greater: -6/163 or q?
q
Let s = -51 - -51. Suppose s*u - 21 = -u. Let c be (-30)/(-21) + -1 + (-72)/u. Is -3 at least c?
True
Let q = -36597.52 - -36494. Is q <= -1?
True
Let u(y) = 17*y - 83. Let z be u(5). Let j = z - 6. Which is smaller: j or -9?
-9
Let c = 477 + -603. Let q be ((-3)/(-9))/((-6)/c). Are q and 7 equal?
True
Let k be 1/(12/8)*3. Let b = 103 - 104. Let r be ((-126)/(-168))/(0 - b/(-12)). Is k less than or equal to r?
False
Let z = -35.9 - 1.3. Let i = 37.1 + z. Which is greater: i or -255?
i
Suppose 526*s - 519*s = 0. Which is smaller: 16 or s?
s
Let j = 22.2 + -27.22. Let u = j + 2.02. Is 13 != u?
True
Suppose -5*s - t = 24, -4*t = 3 + 13. Let u be (4/2)/(s/(-6)). Suppose 15 = -u*p, -3*w - 1 = -3*p - 13. Are -3 and w nonequal?
True
Let v be ((-3328)/(-152) - 15) + (-1 - -5 - 11). Is 853 != v?
True
Let n be ((-78)/(-52))/((-158)/(-152) - 1). Suppose -n = -u - 2*a, 0 = -u + 3*u - 5*a - 103. Which is greater: u or 42?
u
Let f(l) = -30*l - 14. Let j be f(2). Let q be j/(-35) + (-36)/90. Let g = 89/56 - q. Which is smaller: 2/11 or g?
g
Let t = 4939 + -4939. Which is bigger: t or 3/6200?
3/6200
Let y = -3189 + 3188. Which is greater: y or -2/1137?
-2/1137
Let r(k) = 6*k - 167. Let c be r(-27). Let h = 307 + c. Which is bigger: -6 or h?
-6
Let b = 105978 - 105978.1. Let h = -16/29 + 251/87. Is b at most as big as h?
True
Suppose 0 = -209*r + 161*r + 144. Do 3066 and r have the same value?
False
Let o be 15 - (0 + -1*(2 + -1)). Suppose 4*b - 68 = -o. Let p = 16 - 4. Do b and p have the same value?
False
Let h = 0.92 + 0.14. Let z = 0.56 - h. Let g = 1.39 + -1.5. Which is bigger: z or g?
g
Suppose 0 = 16*n - 63*n + 6711 - 2199. Which is smaller: n or 1812/19?
1812/19
Let q = 19 - 12. Let d(n) = -n**2 + 4*n + 6. Let r be d(q). Let z(v) = v**3 + 4*v**2 - 3*v - 4. Let y be z(-5). Does y = r?
False
Suppose 17729 + 117545 = -239*n. Is -567 greater than n?
False
Let l = 67 - 52. Let a be 10/((-6)/4*10/l). Let g be (-6)/33 + a/(-55). Which is smaller: -2/107 or g?
-2/107
Suppose -j = 3*j + 12, 0 = -x - j. Suppose 2*a + 3 = 2*l + 9, x = 3*l + 3*a. Is -2/77 at most l?
False
Let b = 0.08 - 0.18. Let c = -15571 + 15578. Which is smaller: b or c?
b
Suppose -3 = -2*r - r, 0 = -j + r - 13. Let v be (0 - 6)/j*2. Is v at least 9/11?
True
Let n be 53/50 + 1/(-2). Let q be 0/(1/((-1)/((-7)/(-7)))). Is q less than or equal to n?
True
Suppose 0 = -2803*m + 2837*m + 38964. Is m less than or equal to -8030/7?
False
Suppose 4*q - 47 = 13. Let r(d) = d**3 - 14*d**2 - 15*d + 5. Let i be r(q). Let x be (-2)/12 + (-114)/(-36). Are i and x nonequal?
True
Suppose -61*o = 86*o + 43*o + 18050. Is -103 greater than o?
False
Suppose 268 + 6676 = -0*i - 32*i. Which is bigger: -218 or i?
i
Suppose 4*a + 3*m = 14 + 114, 2*a - 4*m = 64. Let n be ((-2232)/a)/9*1*-4. Which is smaller: n or 30?
30
Let z be 1/((-50)/(-364)) - (-173 + 180). Are z and 2 equal?
False
Let q = 4.355 + -541.055. Let p = q - -536. Let a = 0.2 + 0. Which is bigger: p or a?
a
Let u(j) = -j**3 + 7*j**2 + 3*j - 26. Let y be u(7). Let c be (-180)/(-75) + 2/y - 2. Suppose 0 = 3*a - 3*p - 54, c = 3*a + 2*p + 2*p - 40. Is 15 <= a?
True
Suppose 215*g - 117*g - 46060 = 0. Which is smaller: 467 or g?
467
Suppose -38*m + 13*m = -100. Let g be (56/(-5082))/((m - 6)*1). Suppose 0*l + 4 = 4*l. Which is smaller: g or l?
g
Let u(w) = w**3 - 5*w**2 - w - 2. Let q be u(6). Let m be (-4 + -5)/(6/q). Suppose 1120 = 2*h + 13*h - 43*h. Which is smaller: h or m?
m
Suppose o = 5*f - 89, 0 = 2*o + 6*f - f + 178. Let p = o + 194. Is 105 smaller than p?
False
Let q be (8/(-138) + 0)*((-747)/72 - -10). Which is smaller: q or 21?
q
Let f = 5663 - 4813. Is f >= -3?
True
Let o = 9405 - 3348177/356. Are o and 1 unequal?
True
Let h = 38816 - 77748438/2003. Which is smaller: h or 1?
h
Let c be (-438)/120 + 255/75. Which is greater: 7/93 or c?
7/93
Let h be (2 - 14/21)/(10/(-5925)). Let x = h +