/829. Are 0 and h equal?
False
Let k be ((-2)/56)/(1276/704). Do k and -1 have different values?
True
Let v = 5327 + -5322.3. Which is bigger: 2/125 or v?
v
Let a = 3559 + -3558.95. Which is smaller: -889 or a?
-889
Let n = 115.9783 + 0.0217. Let i = n + -116.012. Are -0.5 and i unequal?
True
Let o = 6973/6900 + -54/575. Suppose -5*a + 4*n + 9 = 0, 3*a - 2*a - n - 2 = 0. Are a and o nonequal?
True
Let b be (-11 + -1 + 4)*(-5)/4*-353. Which is greater: b or -3534?
b
Let a be (3 - -1)*(-5)/4*140/404. Is a equal to -3?
False
Suppose -5*q - 2*r = 4773, -6*q + 933 = -7*q + 5*r. Let k = 10477/11 + q. Suppose -3*i - 2*i = 0. Are i and k equal?
False
Let v = -2118.26 + 2118. Is v at most as big as 0?
True
Suppose 56 = -4*t + 20. Let r be t/(-15) - 49/(-35). Let l(a) = a**2 - 3*a + 5. Let j be l(r). Which is greater: 12 or j?
12
Let p(u) = u**2 - 6*u - 7. Let r(w) = -w**2 - 2*w + 8. Let s be r(5). Let n be (s/18 + 11/(-2))/(-1). Let d be p(n). Which is greater: d or 2/9?
2/9
Let v = 44.4 + -6.4. Let f = v - 37.6. Let m = 20 + -19.6. Do f and m have the same value?
True
Suppose -6*k = -21 + 9. Suppose -k*i + 11 = -h + 65, 4*i = -5*h + 214. Let s = 11 - -35. Is h > s?
False
Suppose 32 = -558*l + 550*l. Let o be (4 + l)/(11 + -10). Is -8 equal to o?
False
Let l(w) = -2*w**2 - 293*w + 3126. Let f be l(10). Suppose -12 = -2*y - y. Let u(t) = -t + 3. Let g be u(y). Which is smaller: g or f?
f
Let x = -40886 + 40833. Is 83 equal to x?
False
Let q(u) = 59*u**2 - 4*u - 2. Let f be q(-1). Suppose 4*r = -v - f, -v - 4*r = -5*r + 56. Which is greater: v or -172/3?
v
Let p = -737 - -738. Let m = -3259972/183 - -17814. Let o = m - -2998/1281. Which is greater: p or o?
o
Let x be ((-1)/20*4)/(7/35). Which is smaller: -60/121 or x?
x
Let x = -551378/1177 - -5158/11. Which is bigger: -0.1 or x?
x
Suppose -53*p = -13*p + 655 - 9775. Is 201 > p?
False
Suppose -8*r = 277 - 229. Let s be 6*r/8*(-100)/(-30). Is s smaller than -13?
True
Let b = 189 + -62. Is 100 not equal to b?
True
Let s = 2780.3 - 2657. Let d = s - 123. Let f = -7.98 - -8. Is f at least as big as d?
False
Let b = -6335 + 6336. Which is smaller: -25/1304 or b?
-25/1304
Let n be ((-12)/10 - -1)/(1501/(-38)). Let f = n + 1574/1185. Suppose -2*y = 2*y. Is y less than or equal to f?
True
Let m be 18 - (-15 + -19)/(-2). Is -18/253 at least m?
False
Let z = -60 - -62. Let r be ((-4)/4)/(z/(-2)). Are r and -2/145 unequal?
True
Let m = -0.1 - -0.15. Let p(b) = -27*b + 37. Let d be p(4). Let u = d - -67. Is u <= m?
True
Let x be (-252)/(-294) + 8/7 + -2. Is x smaller than 2/21771?
True
Let b = -20.7 - -11.7. Is b at most -1/11?
True
Let r be ((-99084)/115892)/(-3) + 10/35*-1. Which is smaller: r or 0?
r
Let h(z) = z**3 - 3*z**2 - 3*z. Suppose -6*v + 15 = -9. Let k be h(v). Suppose 0 = -q + 5*b + 18, -5*q - k*b = -4*q. Does q = 9?
False
Let q = -105.2 - -105. Let m(v) = 4*v + 11. Let c be m(-10). Let g = -28 - c. Which is bigger: q or g?
g
Let m = -2335.07 + 16.07. Are -3 and m nonequal?
True
Let c = 71 + -65. Suppose -u + 6*u + c*m - 2 = 0, 4*m + 12 = 0. Which is bigger: u or 2?
u
Let s be (-18)/(-12)*(-1412)/6. Let i = s - -150. Let z be 0 + -3 + i/(-67). Is 0 >= z?
False
Suppose -18*f - 6 = -12*f. Suppose 0 = -2*n - 2, 2*u + 1380 = -2*u + 4*n. Let i = -4501/13 - u. Is i greater than or equal to f?
True
Suppose g - 30 = -4*g. Let t be 776/20 - 4/5. Let n be (-1)/g - t/(-192). Is n >= -1?
True
Let b be ((-7)/420)/(1/23518). Let v = -392 - b. Let d(z) = -2*z**2 - 76*z - 331. Let w be d(-33). Are w and v nonequal?
True
Let g be ((-2)/4 - 1220/(-40)) + 4. Let z = -27 - -32. Let w be 68/(-5)*z/(-2). Is g at least as big as w?
True
Let x(v) = -v**3 + 6*v**2 + 3*v - 26. Let n be x(6). Let g be 3 + -2 - 2/(-2). Let y be g + (n - -3) - (10 - 5). Which is smaller: -1 or y?
y
Let b = 287 + -255. Suppose 5*x - b*x = -54. Which is smaller: -12 or x?
-12
Suppose -24*o + 9*o - 1696 = o. Is -108 greater than o?
False
Let p = -0.05 - -4.85. Let x = 645 + -649.6. Let r = x + p. Which is bigger: r or 3/2?
3/2
Let j(v) = 268*v + 1912. Let r be j(-7). Suppose 5*b - 3*b = 70. Which is smaller: r or b?
b
Let d = 91 - 46. Suppose -3*k = d - 144. Suppose -51397 + 26915 + 25954 = 46*j. Which is smaller: k or j?
j
Let g be 2236/(-160) + -4 + 18. Suppose -3*r + 5 = -2*d, -4*d - 5 = -1. Which is smaller: g or r?
g
Suppose 3*t - 2*a - 1 = -5, -4*a = -5*t - 10. Let u be 2 + -39 + (2 - 1) + 0. Let s be ((-15)/8)/(27/u). Is t greater than s?
False
Let g = 275.64 - 278. Let j = 2.392 + g. Which is greater: 2/3 or j?
2/3
Suppose 960 = 86*s - 78*s. Suppose -s = c - 156. Are 34 and c unequal?
True
Suppose -29*i + 2 = -28*i. Suppose -i*p - 2*d - 12 = 0, 3*p + 3*d + 10 = 2*d. Let n be p/6 - 0 - 195/9. Which is bigger: n or -21?
-21
Suppose 375 = -3*f - 4*l + 2*l, 0 = 4*f - 5*l + 500. Is f > -122?
False
Let o be 1 + (-1)/((-14)/(-26)). Suppose -38*q - 88*q = 82*q. Is q greater than o?
True
Let x = 9 + -13. Let v = x - -8. Let s be (-1)/(7/2) - (-288)/2184. Is v less than s?
False
Let a = 82 - 81. Suppose 2*u - 7 - a = 0. Let j be (u/(-5))/((2/5)/(-2)). Which is smaller: 60/11 or j?
j
Let p = -469 - -464. Let r be 332/(-1008) + p/(225/(-10)). Is r < 7?
True
Let z be (-64)/3 - 8/(-6). Let m = 105 - 106. Which is smaller: m or z?
z
Let d = 115 + -117. Let w be (3 + -3)/(2 + 0). Suppose w = -5*v + n - 24, 3*v + 3*n + 4 = -v. Which is smaller: v or d?
v
Let i(d) = -4*d. Let b be i(-3). Suppose 5*t + b - 47 = 0. Suppose 3*s - 19 + t = 0, 3*w = s - 7. Which is smaller: -4/41 or w?
w
Suppose 0 = -2*s - 16 + 18, 4*t - 4*s + 1544 = 0. Which is greater: -384 or t?
-384
Let d = -1294 + 2269. Let c = d - 730. Which is greater: 247 or c?
247
Suppose 0*z = -z - 3*o - 10, 0 = 3*z + 5*o + 18. Let r = 3/71 + -341/1349. Is r greater than or equal to z?
True
Let m = 69.61 + -44.61. Is -45 < m?
True
Let s = -41.31 + 41.1945. Which is smaller: -1 or s?
-1
Let b = -64.93 + -0.07. Let v = -13 - b. Let h = -51.99 + v. Which is bigger: h or 4?
4
Let n be (-20 - (-19175)/442)*(-4)/3. Which is smaller: -31 or n?
n
Let j be (-63)/1416*((-26)/273)/(5/(-70)). Which is smaller: j or -1?
-1
Suppose -3*s - 278*m + 280*m = -17922, -4*s + 23896 = m. Is 5974 >= s?
True
Let b be -2 + -1 + (5 - 1). Let u be 102/18 - 6*b. Which is smaller: -11/3 or u?
-11/3
Suppose -49 = 2*k - 57. Suppose 3*x - 109 = -0*h + k*h, -5*x - 89 = 3*h. Let l be (18/14 - 0) + 8/h. Which is smaller: -13 or l?
-13
Let u = 1331 - 1331.953. Let c = 46 - 45.953. Let x = c - u. Is 8/11 > x?
False
Let h = -2 - -11. Let p(r) = -r**3 + 8*r**2 + 5*r + 9. Let g be p(h). Let z = -70 + 44. Which is smaller: g or z?
g
Suppose 0*t = 5*t + 4*d - 280, 4*d = 4*t - 224. Let c = t + -447/8. Let n = 1195/7 - 171. Does n = c?
False
Let n(s) = -3*s**2 + 59*s + 85. Let w be n(20). Suppose -2*v = -3*j + 3*v + 195, v = 0. Is j not equal to w?
False
Let c = 336354511/1755 - 191655. Is c at most as big as 0?
True
Let s = -43410/49 - -886. Let r be ((-1295)/2590)/(2 + 9/(-6)). Is r at least as big as s?
False
Let d = 5.966 - 0.366. Let m = -4.6 + d. Is -0.015 at most as big as m?
True
Suppose 4*x - 3*t = -8, t + 3 = -4*x - 5. Let o be (-4 - 194)*x/4. Suppose -2*n - 5 = o. Is n > -52?
False
Let r(c) = -257*c - 541. Let q be r(-12). Which is greater: q or 2544?
2544
Let s = 0.13 + 17.47. Let w = s - 16.6. Do -21 and w have different values?
True
Let b = 9574 + -9305. Is 8 <= b?
True
Suppose -5*b + 2*b = 0. Let d = 23944 - 742252/31. Which is bigger: b or d?
d
Let m(f) = -4*f**2 + 23*f + 6. Let n be (-17)/(-3) - (-4)/12. Let x be m(n). Let y = -7574/13 - -583. Is x at least y?
False
Let w = -20597.392 + 20595. Is 3/4 >= w?
True
Let m(u) = 7*u + 68. Let n(c) = 6*c + 69. Let v(w) = -3*m(w) + 4*n(w). Let h be v(-22). Let t be h/14 + 1701/(-539). Is t >= -3?
True
Let r(j) = -9*j - 4. Let a be r(2). Suppose 0 = 81*y - 22*y + 1298. Is a greater than or equal to y?
True
Suppose 0 = -0*b + 7*b + 38*b - 675. Suppose 0 = -4*c - 2 - 26. Which is bigger: c or b?
b
Suppose -55*k + 6391 = -40*k + 68*k. Do -37 and k have the same value?
False
Suppose -6*w + 342 = -270. Suppose 105*y = w*y - 582. Is y bigger than -192?
False
Let k(m) = -m**2 - 13*m - 37. Let t be k(-4). Suppose 608 + 352 = -10*d. Is d < t?
True
Let u = -357241/386 - -1851/2. Which is smaller: 