-86?
u
Let c = 779 + -29607/38. Which is bigger: 0 or c?
0
Suppose 37*k - 330 = 26*k. Let w be k/(-43)*174/261. Is -1 equal to w?
False
Let z = -373 + 348. Let d be ((-30)/z)/((-3)/(-10)). Which is smaller: d or 19/4?
d
Let l = 259.82 - 257.82. Do l and 0.1009 have the same value?
False
Let a be (-4)/(-30) + 644/(-3795). Suppose 2*t = -2*s + 10, 3*t - 5*s + 5 = 4*t. Let q = -4 + t. Which is greater: a or q?
q
Let s = 3774 + -3780. Which is smaller: -106 or s?
-106
Let h = -2488/19 + 131. Let z = 32 - 27. Suppose x - 5*g = 11, x + 4*g = -2 - z. Are h and x non-equal?
True
Suppose 0 = -3*a + 4 + 8, y + 5*a = 23. Let f be (-1)/(3 - (-1 + y)). Let m be (-26)/(-130)*(-2)/(-1). Is m smaller than f?
False
Let c = 1164522 - 31483345/27. Let p = c + 1528. Do -1 and p have the same value?
False
Suppose 5*s - 4*w + 218 = 7*s, -3*w - 327 = -3*s. Suppose 2*m - 111 = -s. Let l = 6344/19 + -334. Which is smaller: m or l?
l
Let r = 2109 + -2107.3. Which is smaller: r or 22/3?
r
Let a = 314 + -349. Let q be a/175 + 319/(-5). Which is smaller: q or -62?
q
Let j = 43 + -28. Let i(s) = 16*s**2 - 3*s + 1. Let p be i(1). Let y = p - j. Which is bigger: -9/7 or y?
y
Let x = 18.181 + -18.1. Let c = -18.019 - x. Let w = -4.1 - c. Is -0.3 equal to w?
False
Let l(n) = 184*n**2 + 2*n + 40. Let x be l(-6). Let z = x - 419066/63. Is z at least as big as -1?
True
Let z = 6 - 3. Suppose 2*y = z*y - 2. Let l = -13 + 11. Which is greater: l or y?
y
Let o be (-6482)/(-9) - (-10)/(-45). Let q be 4/(o/(-33)) + 1/3. Is -1 bigger than q?
False
Let x = -1 - -2. Suppose 0 = 74*g - 27*g + 6627. Let m be ((-176)/(-40) - 5)/(g/10). Is m greater than x?
False
Suppose -4354*x + 4347*x - 7 = 0. Is -4/267 less than x?
False
Let w = -7125 + 5693. Is 3 < w?
False
Let p = 3.4 - 114.4. Let d = p - -114.9. Is -0.2 at least as big as d?
False
Suppose 0 = o - 342 + 361. Suppose 3*m + 47 + 10 = 0. Is o at least as big as m?
True
Let a = 4541 + -4168. Is 1118/3 not equal to a?
True
Let z be (-134)/(-28) - 2/7. Let h = -106.809 - -106.3. Let t = h - -0.509. Do t and z have the same value?
False
Let x = -33 + 45. Suppose y + 5*z = 4*y - 9, -4*y = 5*z - x. Let b be (-42)/(-105) - y/((-360)/(-46)). Is b <= 1?
True
Let o = 4680.903 - 4681. Which is bigger: 0.17 or o?
0.17
Suppose -18*c + 65063 - 13133 = 0. Is c greater than or equal to 2883?
True
Let j = -3681/187 + 212/11. Let r = -129/272 - j. Let h be (1 + -2)*(-4)/14. Is r != h?
True
Let t = 20.973 - 20.7. Let a = 0.173 - t. Which is greater: a or -18.8?
a
Let z = -958.2 - -10.2. Let d = 947.813 + z. Which is bigger: -3 or d?
d
Let y = 6/29705 - -2812/8703565. Is 0 != y?
True
Let b = 26 + -9. Suppose b + 108 = -5*x. Is -28 greater than or equal to x?
False
Let w = 6.46 - 6.28. Let j = -15 - -8. Which is smaller: w or j?
j
Let c be (97/(-4850))/(3 + 39/(-15)). Which is smaller: c or -133?
-133
Let w = -22 - -28. Suppose -6*x + y = -5*x - 7, 3*x - 13 = y. Suppose 7*n - w*n = x. Which is bigger: 3/2 or n?
n
Let t = -8641 + 8638. Is t != -975?
True
Let f = -42795 - -25571. Is f at most -17224?
True
Let s be -11 - (84/(-10) - 3). Which is greater: s or 1/74?
s
Let g = -65 + 63. Let q be (-79 + 6)/((6/3)/g). Which is smaller: q or 74?
q
Let m = -84.79 + 46.28. Let s = -0.49 + m. Let l = s - -55. Is l at least 1/2?
True
Suppose -41*u + 53*u = 840. Suppose -3*b + 198 = -3*z, -u = z + b - 3*b. Is -66 >= z?
False
Suppose 8*i = 424 - 40. Is i bigger than 49?
False
Let z = 19323 - 19805. Are z and -479 equal?
False
Let h = 558 + -215. Let l = -341 + h. Which is greater: -2.3 or l?
l
Suppose 62 = -2*f + 52, 3*f - 1203 = -3*v. Is 3249/8 bigger than v?
True
Let d = 264 + -268. Let y be 3*(5 + d) + (-285)/97. Do y and -1 have different values?
True
Suppose 50*q + 20 = 54*q. Suppose 5*f + 17 = 2*b - 6*b, -5*b - 3*f - q = 0. Let o be 1*(b - 0) - (24 + 12). Which is smaller: o or -33?
o
Let r be 5 - (-1 - ((-235)/20 + 5)). Let m = -12 - -12.22. Is m at least r?
True
Let t = -273 - -375. Let k = t + -101.9. Let q = 448/3 + -1331/9. Which is bigger: k or q?
q
Let w be 5 + (-478 + 0)/(((-2416)/3)/(-8)). Is 0.1 greater than or equal to w?
False
Let j = 11 - 10.9. Let l be 3 + 11/((-33)/18). Let v be 0/l - 4*(-1)/(-20). Which is smaller: j or v?
v
Let q = 0 - -0.03. Let g = -0.0498 + 7.0198. Let z = g + q. Is 1/4 greater than or equal to z?
False
Let s(z) = 7*z + 32. Let c = 142 - 145. Let v be s(c). Which is smaller: v or 0.5?
0.5
Suppose -5*g - 3*p = 14 - 45, 2*g + p - 12 = 0. Suppose -g*b + o + 127 = -o, 0 = -2*o + 8. Which is bigger: 83/3 or b?
83/3
Let j = 974.83841 - -0.16159. Do j and -5 have different values?
True
Suppose -17 = -3*a + 4*u - 1, a + 3*u = 1. Let w be 1*a/5*140/(-308). Is 1 >= w?
True
Suppose -4*v - 63 = 3*w, 4*v + w + 75 = 2*w. Suppose -s - 170 = 9*s. Is v at most as big as s?
True
Suppose -3*q + 474 = w + 178, 475 = 5*q - 2*w. Let f = -8723/3 + 2809. Let t = f + q. Which is smaller: -3 or t?
-3
Suppose -5*o - 15 = 5*w, 4*w + 0*w = -12. Suppose 0 = -d - 4*z - 2564, -4*z + 1 - 5 = o. Let h be d/56 - 4/14. Which is greater: -47 or h?
h
Let f = 0.988 - 0.788. Which is bigger: 1/792 or f?
f
Suppose 6*h - 12 = 4*h. Suppose 0 = 5*n - 22 + 7. Let b be 4/n*h/4. Is 2 less than or equal to b?
True
Let v = -25.9 + 27. Let i = 1/148 - 963/148. Let b = i + 7. Which is bigger: b or v?
v
Let t be (-4)/6 + (-8)/(-12). Let i be (-14)/2828*12*(1 + 1)/18. Is i at most as big as t?
True
Let k(q) = 12*q - 91. Let f be k(8). Suppose f*b - 10*b - 5 = 0. Which is smaller: b or 7?
b
Let z be (-4)/(-2) + 1*-1. Let q = 19948 + -19944. Which is greater: q or z?
q
Let l = 18240 + -22504. Is l > 1?
False
Let g(u) = -3*u**2 - 40*u - 32. Let n be g(-11). Suppose 727 = n*j - 533. Is 16 smaller than j?
True
Let o = 446 + -676. Let z = o - -230. Is 1/268 smaller than z?
False
Let i(y) = 0*y**2 + 15 - y**2 - 18*y**2 - 5*y**2 - y**3. Let g be i(-24). Let f = -8 + g. Is 6 <= f?
True
Suppose -4519*d + 4484*d - 350 = 0. Let r = 3 - 6. Let u(c) = c**2 + 7*c + 2. Let w be u(r). Is w at most d?
True
Let k(x) = -9*x**3 + 16*x**2 + 7*x - 19. Let f(g) = 5*g**3 - 8*g**2 - 3*g + 10. Let a(i) = -11*f(i) - 6*k(i). Let h be a(-6). Let n = -39 - -26. Is h != n?
True
Let p be ((-2)/5)/(-4*(-13)/(-130)). Is 7/316 at least as big as p?
False
Let z(x) be the second derivative of x**7/360 + x**5/40 - 7*x**4/4 - 11*x. Let y(g) be the third derivative of z(g). Let b be y(3). Is b less than 1?
False
Let x be ((-8)/7827)/(19/(7410/(-52))). Which is greater: x or -1?
x
Let i = 60 + -16. Let p = i - -22. Let d = p + -66. Which is greater: -8 or d?
d
Let b be 1365/(-126)*(-22)/19525. Which is smaller: b or -1?
-1
Let m = -5.32 - 30.69. Let q = m - -0.01. Let v = 27 + q. Which is greater: v or 0?
0
Let h = 0.014 + 13.086. Let i = h + -35.1. Is 1 at least as big as i?
True
Let a(t) = 12*t**2 + 234*t - 126. Let b be a(-20). Which is bigger: b or -1/95?
-1/95
Let w be (-168)/(-470) + ((-1904)/(-280))/(-17). Is w at least 30?
False
Let b(s) = s**3 + 13*s**2 + 4*s + 47. Suppose 4*f - 7*l + 77 = -2*l, f + l = -8. Let x be b(f). Suppose 3*i = -12, -4*j - 14 = i + 6. Are x and j equal?
False
Let u(n) = -429*n - 2146. Let h be u(-5). Is h less than 20/59?
True
Let z = -35 - 36. Suppose -640 = -3*l + o, -2*l = -3*l - 5*o + 208. Suppose -3*h = -9, 3*t + l - 12 = -3*h. Do z and t have different values?
True
Let u = -5983.33 + 5983. Which is bigger: -155 or u?
u
Suppose -38339*a + 187 = -38322*a. Which is smaller: 448/43 or a?
448/43
Let v(p) = 4*p + 101. Suppose -3*o = 5*z - 30, 5*z = -5*o + 52 - 2. Let h be v(o). Which is greater: h or 140?
h
Suppose -i + 124 = -4*y + 79, -3*i + 75 = 3*y. Let u(s) = s**3 + 5*s**2 - 3*s + 3. Let p be u(-3). Which is smaller: p or i?
i
Let a = 288 - 289. Which is smaller: a or 1/2133?
a
Let g(z) = -z**3 - 27*z**2 + 103*z + 567. Let c be g(6). Suppose 3*x + 53 = -5*i, 0*x + 4 = x. Which is smaller: c or i?
i
Let z be 6/(3/((-9)/(-6))). Suppose 4*f = -z*r, 3*r = -2*f + 3 + 3. Suppose -3*g + c = -1, 5 = 4*g - r*c - 7. Which is greater: -5/6 or g?
-5/6
Let d(w) = 12*w + 161. Let a be d(-18). Let b(j) = -41*j - 12. Let v be b(-4). Suppose o + 48 = -3*q, o + 2*o + 5*q = -v. Is o > a?
True
Let a(p) = p**3 + 13*p**2 + p + 6. Let i be (1 + 0)/(14/(-182)). Let o be a(i). Let s be 5/o + 4/(-14). Is -