 h = 10413 + -10419.919. Let s = h - 0.081. Does s = 5/6?
False
Suppose 3719 - 866 = 9*r. Which is smaller: 306 or r?
306
Suppose -2*g + 2*y = 48, -5*g - 3*y - 96 = -g. Which is smaller: g or -32?
-32
Suppose 0 = -3*f - a + 19 + 44, -2*f = a - 43. Let q be (75/f - 3) + 70/(-8). Let b = -15 - -5. Which is bigger: b or q?
q
Suppose 11 = -9*t + 47. Let h be 50/(-15) + t - 4/6. Suppose h = -89*i + 88*i + 2. Is 2 at most i?
True
Let t be (3/18)/(58/(-18)). Suppose 2*n - 4*b - 14 = 0, 20 = 3*n + 2*n - 5*b. Is n >= t?
True
Suppose 2*t - 26 = 4*s, 0 = 3*t - 5*s + s - 29. Suppose 4*c - 26 = -t*m, -2*c + 5 + 9 = m. Let z be 1*6 - 1/(-1). Which is bigger: z or c?
c
Suppose 3*w - 4 + 7 = 4*q, 3*w + 3 = 5*q. Let p be ((-3)/2*2)/(0 + w). Suppose -p*s + 23 - 62 = 0. Which is smaller: s or -100/7?
-100/7
Suppose -23*g + 203 = 6*g. Let t be 2/g - (1940/28 + -9). Is -61 at least as big as t?
False
Suppose 180*h - 4*u + 36 = 185*h, -2*h - 4*u + 36 = 0. Is -5/136 equal to h?
False
Let s be (472/16)/((-2)/(-8)). Suppose -4*f + s = -82. Suppose 58 + f = 4*z. Do z and 27 have the same value?
True
Let o(w) = w**2 + 6*w + 2. Let p be o(-6). Let a = -18 - -23. Suppose j + 6 = 5*u, 4 - 52 = -a*j - u. Which is greater: j or p?
j
Suppose 4*p + 5*w - 428 = 3*p, -25 = 5*w. Let t be (((-30)/4)/5)/((-3)/908). Is p > t?
False
Let p(d) = -2*d**3 - 13*d**2 + 14*d + 53. Let s be p(-7). Suppose -2*a = 2*t + a - 126, s*t - 220 = 2*a. Which is smaller: t or -3?
-3
Let i be 4 + 0 + (5238/(-8))/(-9). Does 78 = i?
False
Let z(m) = -m**2 + m - 1. Let p be z(1). Let d = 50109 - 8167768/163. Which is bigger: p or d?
d
Let z(q) be the second derivative of -q**3/6 - 5*q**2 - 23*q. Let c be z(-10). Let a be 4 - (2 - (-156)/75). Is a smaller than c?
True
Let x be 33/((-2904)/138985) + -10*3/6. Which is smaller: x or -1?
x
Let y = 6673 - 6673. Which is greater: y or -9/254?
y
Suppose 24*m - 11*m = 195. Suppose -m*h + 78 = -117. Which is smaller: h or -10?
-10
Suppose -113*g + 114*g + 27 = 2*x, -4*x + 3*g = -53. Let h be (-399)/x*12/(-27). Let c = -6 + 18. Is h at least c?
True
Let u be (1/23)/(153/(-3213)). Which is smaller: u or -2?
-2
Let y = -23 - 17. Let r be ((-3)/(-6))/((-14)/4). Let w = -11/21 + r. Which is smaller: y or w?
y
Let r(i) = 3*i**2 - 5*i + 4. Let q be r(4). Let h(o) = -3*o - 18. Let k be h(-7). Suppose k*n - 99 = 2*d, -4*n + 165 = n - 3*d. Is n greater than q?
True
Suppose -2*m = 16*f - 18*f - 46, 5*f = -4*m + 128. Let b be 284/126 - 3/m. Which is bigger: 2 or b?
b
Let r be 24/(-18)*(-183)/(-235826). Is 2/15 not equal to r?
True
Let t be 3/2*11/((-99)/(-240)). Let l = t + -40. Let f be 5/(-3)*(-4)/(-20). Which is smaller: l or f?
f
Let y = 183 - 181. Let k be y*3/(9/87). Which is greater: 57 or k?
k
Suppose -71 = -3*z + f, -5*z + 2*f + 32 = -88. Suppose -z*c + 17*c = 24*c. Is -41 at least c?
False
Let g = 20.9 - 2243.9. Is 2 equal to g?
False
Suppose -4*i + 80 = -0*i. Let m = -12 + i. Suppose 35 = m*o - 13*o. Is 0.1 less than o?
False
Let b = -341 + 10915/32. Suppose 32 = 3*s + 116. Let a = s + 27. Is b greater than or equal to a?
True
Let n(l) = l - 20. Let u be n(-10). Let x be -2 - (-11)/((-55)/u). Let s(f) = f**2 - 16. Let o be s(x). Which is smaller: o or -2/43?
-2/43
Let p = 388.98 + -563. Let y = p + 174. Which is smaller: -0.04 or y?
-0.04
Suppose 14*l + 11*l - 5740 = -115. Is 219 > l?
False
Let d = -79 - -251. Let n(t) = -2*t**2 + 322*t - 4207. Let m be n(146). Which is bigger: m or d?
m
Let x(h) = -26*h + 1174. Let l be x(44). Which is bigger: -14 or l?
l
Let j = -1674 - 3463. Which is smaller: j or -5138?
-5138
Let o = -3368 - -3368. Which is bigger: 8/155 or o?
8/155
Suppose 2*v = -2*w + 31426, 4*w - 57896 - 4893 = 5*v. Is 15705 not equal to w?
True
Suppose 123*r + 48 = -76 + 1. Let g = 201/650 + -7/26. Which is smaller: g or r?
r
Suppose -20*k - 8 = -18*k - 2*f, 3*k + 8 = 2*f. Let t be (-9)/15*(313/77 + -4). Which is smaller: k or t?
t
Let r = -1.7594 - -2.1294. Which is bigger: 12 or r?
12
Let o = -28588 - -28588.1. Is o > -15993/2?
True
Let c = -2.66 - -0.71. Let b = 0.05 - c. Let z = -1384.6 + 1385. Which is smaller: b or z?
z
Suppose -8*f + 84 = -11*f. Let b be f/(-35) - 12/15. Let v be 20/6*(-18)/(-285). Which is greater: b or v?
v
Let o be (-3)/(-5) - (3 - (-36)/10). Let f be (10/255)/((-1)/o*1). Let p = f + 5/51. Is p bigger than 5?
False
Let x(q) = -1 - 22 - 2*q - 4*q. Suppose 0 = 3*o + 2*o - 3*i + 14, 4*i = 5*o + 12. Let s be x(o). Which is smaller: -1/41 or s?
-1/41
Suppose 2*b + 12 = 0, 5*o + 0*o - 5*b = 175. Is 16 <= o?
True
Suppose -51 = d - 39. Let v be d/(-42)*(-49)/(-14). Which is greater: v or -4/77?
v
Let f be (-426)/6783 + (-20)/170. Let l = f + -2/19. Are -8 and l non-equal?
True
Let i = 96.12 + -96.22. Is -75/19 less than or equal to i?
True
Let z be 2 + (256/(-34))/4. Let i be (5/((-425)/(-10)))/((-5)/(-12)). Let d = z + i. Which is greater: d or 0?
d
Let l be (-14)/3*(2 - (2 + -3)). Let v be (-10)/(-8) + -1 - l/(-120). Is -0.01 at most as big as v?
True
Let w = -133.09 - 0.91. Let p = w - -146.3. Let y = -12.2 + p. Which is greater: y or 1?
1
Let r(z) = -z**3 + z**2 - 2*z - 59. Let i be r(0). Let v = i - -56. Let a be v/2 + ((-109)/(-70) - 0). Do 0 and a have different values?
True
Let n = -57.74 + 2.54. Let b = n - -55.2. Let c = 41.076 - 41. Is c smaller than b?
False
Let s be 1392/(-8) + 1 + (2 - 0). Is s <= -172?
False
Let v(r) = -r**2 - 22*r + 1864. Let p be v(-56). Which is bigger: -2 or p?
-2
Let y = 1545.348 + -1545. Which is bigger: y or -11?
y
Let l = 3.0298 + -4.1298. Which is smaller: 463 or l?
l
Let l = 13930 + -54411/4. Is 327 < l?
True
Let s be (-4)/(-38) - ((-9314280)/4104 + (-12)/9). Is s at least as big as 2271?
True
Let a be 42930/530 - (0 - (-2)/12). Which is smaller: a or -3/5?
-3/5
Let j be 3/(-12) - (-10 + 3151/4). Is -3109/4 at most j?
False
Suppose 2*f + 16 = 3*g, -2*g = -27*f + 24*f - 19. Suppose 2*k - 3 - 1 = 0. Suppose h - 1 = k. Which is greater: f or h?
h
Suppose 111 = 24*t - 21*t. Let q = 39 - t. Suppose -2*r = 4*u - 8, 4*u - r + 2 = -q. Is u > -2/19?
True
Let t = 551 + -551.83. Which is smaller: t or 0?
t
Suppose -98*w - 270893 = -1424549. Is 11772 >= w?
True
Suppose 31*g - 35*g + 16 = 0. Suppose -87 = -g*v + 105. Let c = v + -73. Which is bigger: c or -1?
-1
Suppose 4*n - 27 = -5*k, 0*k - 3 = 2*k - 3*n. Suppose 7 + 8 = -k*u. Which is smaller: u or -2/29?
u
Let r = 7941 - 7941. Is 6/1325 at least as big as r?
True
Suppose -11*a + 305 = -10*a. Suppose -220 - a = 7*h. Let l = h + 76. Is l greater than or equal to -1/13?
True
Let b = 1/17144 + 12129/379893896. Which is greater: -1 or b?
b
Let m be -1232 - 23/((-138)/(-12)). Does -1232 = m?
False
Let z be ((-2)/(-4))/(5/10). Let s = -1085773/38 + 28573. Are s and z nonequal?
True
Suppose -3*q + 2*l - 99 = 116, -2*l - 385 = 5*q. Is q at least as big as -90?
True
Suppose 6 = -j, -42 - 126 = -3*z + 18*j. Which is bigger: 555/26 or z?
555/26
Suppose 5*h - 3*t = -0*t + 7184, 0 = -5*h + 2*t + 7186. Let c = h + -199876/139. Which is greater: 0 or c?
c
Let h be ((-18)/1860)/(4/(-10)*-3). Let c = -0.59 - -0.59. Is c greater than h?
True
Suppose -5*a = -15, -r - r + a - 3 = 0. Suppose r*l - 18 = 2*l. Let x = l + 5. Which is bigger: -3 or x?
-3
Suppose 0 = d + 3*k, k = -k. Suppose -4*o - 18 - 22 = d. Suppose -4*v = -0*v + 44. Does o = v?
False
Let y(q) = 2*q**2 + 17*q - 67. Let i = -68 + 53. Let u be y(i). Is 128 != u?
False
Let r be 366 + ((-3)/(-9) - 55/(-33)). Which is smaller: r or 1847/5?
r
Let n = 398.663 + 2.537. Let m = 369 - n. Let q = m - -32. Which is smaller: q or 7/6?
q
Let d(b) = -b**3 + 4*b**2 + 4*b + 6. Let q be d(5). Let f = 42490 - 297972/7. Let s = 215188/2779 + f. Which is smaller: q or s?
s
Let f(a) be the second derivative of a**4/12 + a**3 - 5*a**2/2 - 4*a + 4. Let t be f(-6). Which is bigger: -29/5 or t?
t
Suppose q + 164 = -2*q + 5*z, -2*q + 3*z = 111. Let b be q/(-168) - 3563/8. Are -445 and b unequal?
False
Let m(p) = 5*p**2 + 7*p + 12. Let z be m(-3). Suppose 3*j = -5*o + z, 3*j + 33 = 5*o + 7*j. Which is smaller: o or 69/8?
69/8
Let m be (-19)/((-437)/138) - 2*229. Which is smaller: m or -453?
-453
Let k = 434868 - 434874. Suppose 51 + 49 = -4*l. Which is bigger: l or k?
k
Let w(i) = -i**3 - 20*i**2 - 30*i - 208. Let n be w(-19). Let v = -