(2/(-6)). Let h be (-10)/210 + 2/j. Is h smaller than -28?
False
Let a = -5926.034 + 5926. Let p = -0.073 + 0.307. Let w = p + a. Which is bigger: w or -20?
w
Let q be 56/(-30) + -2 + (-28)/(-7). Let j(c) = -2*c + 24. Suppose 0*i + 3*a = 3*i - 27, 2*i - 4*a = 12. Let m be j(i). Is m less than or equal to q?
True
Let v = -5810 - -5832. Is v < -4/5?
False
Let n = 1.5 - 32.5. Let q = n - 0. Let f = -30.8 - q. Is 25 less than or equal to f?
False
Suppose 0 = 2*d + 2*b + 8, -b - 34 = 2*d - 30. Which is bigger: -1/2545 or d?
d
Suppose 0 = -4*v - 74*i + 75*i - 10, i = 3*v + 9. Is v at most -26/491?
True
Let t(h) = 40*h + 401. Let l be t(-17). Is -278 greater than l?
True
Let p be 2/(-9) + ((-1040)/(-1300))/((-36)/4130). Is p at least -1572/17?
True
Let h(j) = 2*j + 32. Let l = -104 - -80. Let a be h(l). Suppose o + 2 = 3. Which is bigger: a or o?
o
Let u = -0.033 + 3.933. Let k = -101 - -104.9. Let x = u - k. Which is greater: x or 0.5?
0.5
Suppose -v = 2*s - 8, -s - 2*s - 65 = -4*v. Suppose 2*f - v = 9*f. Is 5 bigger than f?
True
Let s = -50 + 53. Let t be ((-56)/s)/(8/36). Let r = -85 - t. Which is bigger: r or 2/5?
2/5
Let p = -6 + 10. Suppose -15 - 15 = -5*h + 2*f, -3*h + 32 = -p*f. Let b = -2 + h. Does b = 5/3?
False
Suppose 0 = 2*w - 4*w + 4. Suppose 3*r = t - 114, -2*r = -3*t + w*t + 77. Let c = r - -37. Which is smaller: c or 2?
c
Let f(d) = d**3 + 11*d**2 + 17*d + 7. Let t be f(-7). Let v be ((-945)/t)/((-19)/16 - -1). Does v = 59?
False
Let q = -6815 + 8982. Which is greater: 2165 or q?
q
Let g = 0.198 - 16.198. Let j = -15 - g. Which is bigger: j or 0.06?
j
Let g = 229183 - 229218. Let c = 28 - 20. Is g smaller than c?
True
Let g be 5/(-5)*(2 + -1). Let h = 5457/530755 + -2/5255. Is g > h?
False
Suppose 317*m - 320*m + 4*x = 15, -5*m + 10 = 5*x. Which is greater: m or -16/43?
-16/43
Let q = -4/343 + -535/343. Let g(y) = -y**2 + 19*y - 17. Let l be g(19). Let d = l - -15. Which is smaller: d or q?
d
Suppose 0*i + 4*i = -256. Let z = 112 + i. Let k = z - 67. Which is greater: k or -18?
-18
Let a be ((-108)/16 + 6)/((-6)/(-16)). Let m be 3/12*16 + 2*a. Which is smaller: 2/65 or m?
m
Let u = 11524 - 11544. Is -64 less than u?
True
Let z = 227 - 226.819. Let k = z - -0.119. Which is bigger: -0.01 or k?
k
Let o = 67 - 46. Suppose 5*c - 29 = -3*y, -3*y + 3*c = -o - 0. Let f be (-1)/(1/y) + 4. Which is bigger: -6 or f?
f
Suppose 5*j + 131 = r, 4*j + 179 = 5*r - 539. Suppose -y - 4 = 2*k - 6, -5*y - 10 = 0. Which is greater: r or k?
r
Let v = 2034/55 + -363/10. Let d = -18 + 19. Which is bigger: v or d?
d
Let d be -4 + (-14)/112*-40. Which is bigger: -24/253 or d?
d
Let g be (172/(-22) - 0) + (-134)/737. Let u be (g/(-10))/(9 + (-408)/40). Are 2 and u non-equal?
True
Let y = 29963 + -29963.004. Is 17/3 greater than or equal to y?
True
Suppose 2*l - 3*j = 2*j + 8495, -3*j - 8501 = -2*l. Suppose 10*d + 13*d = -l. Which is bigger: d or -186?
d
Let c(z) = 7*z - 17. Let t be c(3). Suppose -2*b + 22*n - 21*n - 103 = 0, -b - 2*n - 44 = 0. Do b and t have the same value?
False
Suppose -5*z = 5*y + 1090, 2*z - 647 = 5*z - 4*y. Let u be 4*z/(-168)*4. Is 0 bigger than u?
False
Let v = 355927/279696 - 10/5827. Let d = v - 5/48. Suppose -3*h = 5*x + 27, 3*x = -49*h + 52*h - 21. Which is smaller: d or h?
h
Let o = 22.37 - 2.37. Which is bigger: 80 or o?
80
Let q be ((-3)/2)/((-3143)/(-1582) + -2). Let v = q - 114. Let f be -1 + 2 + 2*-1. Is f > v?
False
Suppose 11*o = 6*o. Let f = 26313256/119 + -221116. Let t = -50/17 + f. Which is bigger: o or t?
t
Let y(k) = -174*k**2 + 139 + 6*k + 177*k**2 + 6*k. Let b be y(-8). Is b bigger than -0.1?
True
Let d = -120.3 + 111. Let y = 10 + d. Is y greater than -11?
True
Let u be (12/7)/(1503/252 + -6). Let r be (1/(-4))/((-96)/u). Is 1 greater than r?
True
Let l = 0.2 + -0.35. Let c = -0.05 - l. Let f = -4403 - -4409. Which is smaller: f or c?
c
Let t be (189/11 + 4/(-22))*(-3220)/140. Which is bigger: t or -377?
-377
Suppose -83 = -6*c + 313. Let j = -11 - -7. Let n be j/(-22) + (-2190)/c. Which is greater: -32 or n?
-32
Suppose 63 - 455 = -14*n. Suppose -r + 2*p + 12 = -n, -4*r - 2*p = -200. Is 48 not equal to r?
False
Let g = -6161 + 6165. Are 15 and g equal?
False
Suppose 3*d + 49 = 6*d + o, -5*d + 79 = -o. Suppose 6*k = 10*k + d. Let i be k - (-49)/10 - 2/5. Which is smaller: 2 or i?
i
Let x = 42.442 + 238.558. Which is greater: x or -11?
x
Let v = 4870 + -311665/64. Which is smaller: v or -0.3?
-0.3
Let w = -78 + 78. Let z = -97 - -155. Is w not equal to z?
True
Let z be 3797/7600*2 - 1. Let l be (31623/(-410020))/((-20)/(-838)). Let x = l - z. Is x < -3?
True
Let n = -285 + 386. Let u(v) = -14*v**3 - v**2 + 2*v - 4. Let b be u(-2). Which is greater: n or b?
n
Let m = 0.411 - -0.183. Let q = m - 0.494. Is q at least as big as 78?
False
Let j = 1336 - 1335. Is -232 at most j?
True
Let u = -15222 + 4358. Let m be u/(-77) - 4/44. Do 141 and m have different values?
False
Let f be (15/90)/((-2)/(-12))*107. Let x = f - 108. Is x bigger than -10?
True
Suppose -8*i + 15 = -97. Suppose 5*v + i + 1 = 0. Let x be (-201)/54*v - (-4)/12. Which is greater: 11 or x?
x
Let s = 88.721 - 50.752. Let f = s - 38. Let u = 0.085 + f. Which is bigger: -0.1 or u?
u
Let a(u) = -4*u**2 - 13*u - 2. Let o be a(-9). Let b = o - -209. Is -2/681 <= b?
True
Let y = 1866.2 + -1866. Which is bigger: y or -4739?
y
Let r = -27.68 - -33.68. Let s = -7.8 + 39.8. Is r at least as big as s?
False
Suppose -4*w + 10 - 3 = -h, -2*h - 5*w = -12. Let k be ((-294)/(-546))/((-2275)/(-26)). Which is smaller: h or k?
k
Suppose -5*h + 610*u - 3648 = 614*u, 4 = -2*u. Which is greater: -727 or h?
-727
Let w be (-4)/9*(-2916)/(-648). Suppose 2*l - 2 = 4*t, -4*t = l + l + 14. Let n be (217/28)/(t/(-8)). Which is smaller: n or w?
w
Suppose -608*r + 1677 = -651*r. Do r and -40 have different values?
True
Suppose 468 = c + 2*r, -3*c + 1401 = 6*r - r. Let t = c - 500. Is t greater than -37?
False
Let u = -2034/5 + 362237/890. Which is bigger: u or 0?
u
Let c = 352 - 44. Let w be (-56)/c + (-20)/253. Let f be ((-3 + 3)/(-1))/(-2). Is f at least as big as w?
True
Let j = 10854 + -10855. Which is bigger: j or 6/5029?
6/5029
Let x = -75873 + 593706227/7825. Which is bigger: x or -1?
x
Let y = 33231/2 + -16624. Let m(f) = -f - 1. Let a be m(7). Which is smaller: y or a?
y
Let y = -3721 - -3724. Is y at most as big as 15/8?
False
Let c be (-435)/783*(-12)/5*-147. Is c != -1756/9?
True
Let a be (30/(-4))/(143/(-110)) + -5. Which is smaller: a or -167?
-167
Let n(v) be the first derivative of -49*v**2/2 - 11*v + 9. Let t be n(-1). Are 36 and t unequal?
True
Let v be -1 - 6/(-18)*4*-15. Let u(y) = -3*y**3 - 64*y**2 - 15*y + 11. Let f be u(v). Is f < -114?
True
Let f = 105047.7 - 105048. Let n = 2 - 2.1. Let l = n - 0. Is l at least f?
True
Let o be (-1108)/(-28) + 22/(-14) + 2. Let a be 12*(92/o - 2). Suppose -t + 20 = 4*s - 4*t, -2*s + 5*t + 10 = 0. Is s equal to a?
False
Suppose -4*s - 14*s + 1705 = -725. Let l = -23 - -157. Is l at most as big as s?
True
Let z be (-4)/50 + -8 + 104/50. Which is smaller: 7 or z?
z
Let x = 7604/19085 + 6/3817. Is -2423 greater than x?
False
Let h = -3 - -2.9. Let q = 236 + -285.8. Let c = 47 + q. Is c at least as big as h?
False
Let q = 4946 + -4957. Which is bigger: q or -1/58?
-1/58
Let q be ((-498978)/(-133))/(-9) - (-2)/(-14). Is q equal to -3339/8?
False
Let d = -441 - -309. Let v = 78 + d. Let b = v + 52. Is 1/42 >= b?
True
Let q = -4153 + 4199. Let g be (-2*1)/(8/(-176)). Is g less than q?
True
Let r(a) = 76*a - 2485. Let z be r(34). Is z at least as big as 9?
True
Suppose 0 = 7*n - 2*n. Suppose n = v + 5 + 9. Let l be (1/v)/((-20)/(-8)). Is l smaller than 0?
True
Let p be (750/350)/((-3)/(-7)). Is 125 greater than or equal to p?
True
Suppose -3*d + 3 = -2*r, -3*r - 13 = -2*d + 6*d. Let n = -9/26 - -77/260. Do d and n have the same value?
False
Let j = -41.59 + 0.69. Let s = 167 - 208. Let i = s - j. Which is greater: i or -1/21?
-1/21
Let c = 6119.2 + -6118. Does 1.84 = c?
False
Let d(x) = -x**3 + 34*x**2 + 21*x - 707. Let w be d(34). Is w at most 261/38?
False
Let x = -135 - -133. Let n be (-10)/273*45*7. Let d = n + 946/91. Which is bigger: d or x?
d
Let z be ((-12)/(-30))/((-2)/(-5)). Let t = -47/37 - -6543/5180. Is t less than z?
T