 be g(31). Is v less than or equal to 25?
True
Let m = -100 + 102. Suppose 3*o - m*t - 2*t = 5, 2*o + 10 = -4*t. Let n be ((-2)/(-16)*2)/(o/(-8)). Is n >= 5/6?
True
Let x = 0.2 + -0.2. Let j = -100.02 - -150.02. Is x != j?
True
Let u = -7588 - -7588. Is u greater than or equal to -8245?
True
Let w = 138937/76796 + -132/73. Which is smaller: 1 or w?
w
Suppose 318*z - 6 = 324*z. Let s be (-9 - (-7 + -1))*(42 - z). Is -125/3 less than s?
False
Suppose 6*s - 10 = s - 3*n, 2*s + 3*n - 4 = 0. Let m(i) = i**3 - 2*i**2 - 4*i + 7. Let r be m(s). Let y be ((-12)/(-30))/((-26)/20). Is r at most as big as y?
True
Let y = 2793 - 2415. Is -1/3 greater than or equal to y?
False
Let f = -0.11 - -1.11. Let n = -3976 - -4035. Is n greater than f?
True
Let s = -1635 + 1650.9. Let d = s + -15.5. Let q(v) = v + 2. Let p be q(-3). Do p and d have different values?
True
Let j = -1250 - -6249/5. Is -1824 less than j?
True
Suppose t = -y, 3*y - 5*t = -2*t. Let n be 64/(-24)*9/(-12). Suppose 9*d - 3*v - 6 = 4*d, -n*d + v + 2 = 0. Do d and y have the same value?
True
Suppose 85*y + 11760 = 77*y. Which is smaller: y or -1471?
-1471
Suppose -5*i + 2*i + 5510 = -4*v, -4*i + 7388 = 5*v. Let z = 1508599/819 - i. Which is smaller: 1 or z?
z
Let q(o) = -74*o**3 + 3*o**2 - 5*o + 4. Let h(s) = s - 1. Let r be h(3). Let m be q(r). Let g = m - -9965/17. Which is smaller: g or 1?
g
Suppose 2*p + 3*n - 7 = 0, 15*p - n = 18*p - 7. Suppose -5*s + 5*l - 830 = 0, 5*s - p*l = 341 - 1174. Which is bigger: s or -166?
-166
Let z = -15/22 - -411/506. Let d(j) = -j**2 - 6*j + 3. Let v be d(-6). Let i be 0*((-9)/6)/v. Which is bigger: i or z?
z
Let o = 6833 - 7787. Is o bigger than -2860/3?
False
Let v be 1/(-2) + (-18 + 11)/(-14). Let c be v + 0 - (10 + -5 + -6). Which is greater: 1/17 or c?
c
Let s = -26142130/113 - -231344. Is -3 equal to s?
False
Let i = -14043578/58558149 - -1/264969. Which is smaller: 1 or i?
i
Suppose 3*d + 4 = 1. Let a be -6*3*-12 - d. Suppose -4*t - a = t + x, -2 = x. Is t less than -44?
False
Suppose 3*p = -3*l + 21, 2*l + 8 = -p + 21. Let y = 33 - l. Let g = y + -42. Is g at most as big as -15?
True
Let r(d) = -d**3 - 16*d**2 + 16*d - 20. Let f be r(-17). Let p = -0.98 - 0.02. Which is smaller: f or p?
f
Suppose 13 = -684*d + 697*d. Which is greater: d or 4/3117?
d
Suppose u - 10 = -20. Let b = 74 + u. Let v = 41 - b. Is -22 <= v?
False
Let o(c) = -12*c**2 + 64*c - 71. Let y be o(7). Which is smaller: y or -212?
-212
Let n = -7198 + 7142. Which is bigger: 43 or n?
43
Let c = -2.623 - -2.381. Does 1 = c?
False
Let s = 3/83377 + -145659634/416885. Which is smaller: s or -350?
-350
Let w = 43 + -4. Let i = -43 + w. Let a be -32 - (-1 - -1 - i). Is -36 at least a?
True
Suppose -30*y + 53 + 904 + 33 = 0. Are -80 and y nonequal?
True
Let y = 1823.05293 + -0.05293. Is 1/5 smaller than y?
True
Let u = -7 - -18. Let n = 115 - 105. Suppose -2*k = s - 24, k - 2*s + n = 3*s. Which is smaller: u or k?
k
Let n = -28019 - -27345. Which is smaller: n or -659?
n
Let n be 14*-9*2/(-21). Let m = 84 + -102. Let x be (m/21)/(2/(-21)). Which is bigger: n or x?
n
Let u(t) = -98*t**2 - 28*t - 89. Let j be u(-3). Does -888 = j?
False
Let g be ((-12)/15)/((-26)/(-2795)). Let b = g + 69. Is b bigger than -1?
False
Let z = -234467/232440 + 105/104. Let y = -504/8195 + z. Let n = -1 + 0. Is n >= y?
False
Suppose -2815 + 323 = 32*t + 4132. Is -833/4 at least t?
False
Suppose 0 = 3*j + 2*d - 10, 2*j - 4*d - 21 - 7 = 0. Suppose j*q - 10 = 8. Suppose -4 = q*y - 28. Is 8 less than or equal to y?
True
Let q(t) be the second derivative of -t**5/20 - 7*t**4/12 - t**3/2 + 2*t**2 + 2*t. Let g be q(-4). Let c = g + 35. Do c and 11/5 have the same value?
False
Let m be 1/(-2)*(-15 + 1). Let s(a) be the first derivative of a**4/4 - 2*a**3/3 + 2*a**2 + 9*a + 169. Let x be s(0). Which is bigger: m or x?
x
Let k = -28.5 - -73.5. Let j = 34 - k. Which is bigger: j or 10?
10
Let b(q) = -q**2 + 21*q - 212. Let o be b(17). Is -0.8 greater than or equal to o?
True
Suppose -5*j - 61*j = -6*j + 11280. Is -184 smaller than j?
False
Suppose -35*u + 41*u = 54. Let k be 24/u*(-1 - 44/(-48)). Let m = -9 - -7. Which is bigger: k or m?
k
Let f be 8 + -7 + (7 - (-560)/(-91)). Which is greater: 1.2 or f?
f
Suppose -48 = l + 3*l + m, -l + 5*m = 33. Let v be ((-414)/(-644))/((-9)/141) - -10. Is v < l?
False
Suppose 4*j + 48 + 104 = 0. Let y = -14 - j. Suppose -3*x = -2*s + y, -13 = -3*s - 2*x + 10. Which is greater: 10 or s?
10
Suppose 0 = -7*f + 3898 - 601. Which is smaller: f or 476?
f
Let i = -11614 + 11619. Is 1170 > i?
True
Suppose r + 3*s = 233, 475 = 18*r - 16*r - 3*s. Which is greater: r or 251?
251
Let b = -1712/9 + 190. Let p = 7484954/111 - 67432. Which is smaller: p or b?
b
Let q be 187/33 + 4/(-6). Suppose q = v + 4*v. Suppose 0 = -2*j - 7 + 5. Which is smaller: v or j?
j
Let v = 67667435 - 354509695607/5239. Let n = -3/169 - v. Which is smaller: n or 2?
n
Suppose -4*w + 209 = -4*v + 181, 49 = 4*w - 7*v. Which is smaller: -4/571 or w?
-4/571
Let c be 1*-1 - 71/(-78). Suppose -2*n + 62 = 42, 6*n = 5*i + 65. Which is smaller: i or c?
i
Suppose -134*b = -1112 - 93492. Are b and -4 equal?
False
Suppose -6685*b = -3351*b - 3339*b. Which is greater: 8/755 or b?
8/755
Let h = 359 - 238. Is h greater than 120?
True
Suppose 3*v - 17 = g, 4*g + 2*v - 58 = -56. Which is smaller: g or -11/6?
g
Let o(g) = -2*g. Let l = -150 + 154. Let f be o(l). Suppose b = p - 11, -4*b - 16 = -p + 4*p. Which is smaller: b or f?
f
Suppose -230 = -338*h + 315*h. Let p be (1/2)/(-1)*-22. Is h greater than or equal to p?
False
Suppose 5*j - 68 - 142 = -4*z, 4*z = 3*j - 126. Let c = 210 - 232. Let f = j + c. Which is greater: -0.1 or f?
f
Let g = 9160 + -1657966/181. Which is greater: g or -1?
g
Let d be (58/8)/((-18)/360). Let c = d + 158. Which is bigger: c or 73/6?
c
Let z be ((-2)/(-8))/((-1)/(-20012)). Is 5005 greater than or equal to z?
True
Let s = -2006.4 - -2006. Let c = 12 + -6. Let u = c + -5.7. Is s <= u?
True
Let x(f) = -83*f - 17. Let k be x(-7). Suppose 12*g - k = -0*g. Suppose 3*m = 3*j + 21, -3*j + 8 - g = 3*m. Are j and -35/4 equal?
False
Suppose 50 = -6*j - 361 - 27. Which is bigger: -36 or j?
-36
Let c be (10/(340/(-102)))/(6/(-4)*4). Are 4353 and c unequal?
True
Let s = -19.4709 - -0.0709. Is s at most as big as -0.1?
True
Let o(u) = -u**3 - 9*u**2 + u + 17. Let a be (9*(-5)/(-30))/(2/(-12)). Let w be o(a). Is 8 not equal to w?
False
Suppose 25 = -5*r + 60. Suppose 0 = -2*l - 2*d, 0 = -4*l + 10*d - r*d + 21. Is l equal to 3/2?
False
Let p = -31/1714 - -357473/53134. Which is greater: p or 7?
7
Let p(y) = -y**2 + 5*y + 12. Let l be p(0). Suppose 0 = l*s + 5*s - 289. Which is greater: 5 or s?
s
Suppose -12 = -0*h - 6*h. Let q be (-24 + 4)/2 + 2/h. Which is bigger: q or -23/3?
-23/3
Suppose s - 4*s = 3, -2*x = -3*s - 5. Let b be -7*x*-64 - -2. Let z = -9003/20 + b. Which is bigger: 1 or z?
1
Suppose 0*l = -2*l + 126. Let g be (l/14)/((-9)/(-6)) - -297. Is 300 equal to g?
True
Suppose -9 = -2*m + 9. Suppose 15 + m = -2*h. Suppose 38*c - 8*c + 300 = 0. Which is smaller: c or h?
h
Let v = 78 + -68. Suppose v = -5*j, 0 = -w + 4*j - 2*j + 37. Suppose 0 = a - 36 + 4. Which is greater: w or a?
w
Suppose 0 = -447*m - 2783057 + 10438826. Is 17128 greater than or equal to m?
True
Suppose -5*t = 4*d + 4, -d = -0*d + t. Suppose -d*h - 944 = -8*h. Suppose 2*p = -2*p - 3*i + 236, -4*p + 3*i + h = 0. Which is greater: p or 60?
60
Let h be 981 - (4 + (-44)/4). Suppose 30*g - 17*g = -h. Suppose -3*i - 4*s - s - 221 = 0, 2*s + 304 = -4*i. Which is smaller: i or g?
i
Let d(i) = i**3 + 6*i**2 - 6*i + 13. Let p be d(-7). Suppose -9*y = -15*y - p. Is y at most as big as 88?
True
Let h be 4 - (-24 - 42/(-7))/(-5). Are h and -4916 nonequal?
True
Let f(i) = -i**2 + i - 64. Let s(m) = m**2 + 33*m + 62. Let u be s(-31). Let y be f(u). Is -61 bigger than y?
True
Let j be ((-24)/(-1))/6 - 634/390. Let x = 30/13 - j. Is x not equal to -0.09?
True
Let r = 391 - 422. Let p = r - -256. Is p at most as big as 0?
False
Let y = -201230/299403 + 236/351. Is 1 smaller than y?
False
Let j(p) = p**2 + 25*p - 30. Let v be j(-26). Suppose -52 = 3*f - s, 0 = -f + 2*f + 4*s + 26. Let q be (f/108)/(25/v). Is q > 1?
False
Let u be 5/(10/(-256)) - 2. Let b = -36 - u. Let 