= -5*i - 5*o. Is i at least -1?
False
Let v be 9/(-18) + 654/28. Let r = 718/21 - v. Let m = r + -10. Which is greater: m or 2?
2
Let k = 134 - 133.9. Which is greater: -7.61 or k?
k
Let k(s) = s**3 - s**2 - 3*s + 2. Suppose -2*z + 32 = 28. Let m be k(z). Is m at most as big as 2/9?
True
Let u = -8.464 - -0.464. Do -2 and u have the same value?
False
Suppose 125 = v + 4*v. Suppose -5*j = -n + 31, -4*j = n - 6*n + 134. Which is smaller: n or v?
v
Suppose -1534*b = -1535*b - 1383. Is -1383 bigger than b?
False
Suppose 27*h - 140 = 34*h. Is -170/9 at least h?
True
Let z = -373 + 537. Suppose 2*k = -2*l + 36, 4*k + z = 4*l + 60. Suppose -3*g + 76 = 4*q + g, 113 = 5*q - g. Is q greater than l?
False
Let s be ((-8320)/(-1224))/(-10) + 2/3. Which is smaller: s or 0?
s
Let x = 28.918 - -0.282. Let p = 29 - x. Is p less than or equal to 6?
True
Let v = -39 - -27. Let w be 19/(-24) + v/(-18). Let i = -20.5 + 21. Is i not equal to w?
True
Let k be 87110/(-3091) - ((-18)/(-22) - 1). Which is smaller: k or 1?
k
Let x(k) = -k**3 - k**2 - k + 2. Let n be x(2). Let b be (4/(-10))/((-2)/(-10)). Let j be b/n + -16 + 16. Is j less than or equal to 1?
True
Let g = 375 + -374. Is -1/196 > g?
False
Let m = 246 - 247.13. Let t = m - -1.13. Is t greater than 2?
False
Let q(d) = -2*d**2 + 16*d - 2. Let t(j) = j**2 - 16*j + 3. Let i(o) = 3*q(o) + 4*t(o). Let n be i(-8). Which is smaller: n or 4?
4
Let a = -132/5 + 386/15. Is a != -41?
True
Let d = -11.3 - -0.7. Let w = d + 6. Is w greater than or equal to -0.1?
False
Let z be ((-180)/(-21))/(4/182). Let s be (-67735)/z - 2/12. Let m = s + 174. Is -1 greater than m?
False
Let q = -12 - -6. Suppose -10*c + 13 = -9*c. Suppose x + 5*y = 18 + 5, -x + 4*y = c. Is x < q?
False
Let n = 13.14 + -0.14. Let x = 7/74 - -15/37. Which is greater: n or x?
n
Let d be (-1)/3 + 10/45. Let r(u) = -u**2 + 25*u - 45. Let f be r(23). Is d <= f?
True
Let d(r) be the second derivative of r**3/6 + 4*r**2 + 7*r. Let v be d(-2). Suppose -v = 9*p + 3. Is -1/11 at most as big as p?
False
Let q = 0.2 + 40.8. Let d = q + -41.1. Does d = 4?
False
Let q(v) = 5*v**3 - v. Let j be q(1). Let g be (12 - (-1378)/(-117)) + (-28)/(-6). Is g != j?
True
Let w = 2954/28611 - 24/289. Suppose -5*h = -5, 7*v - h = 2*v - 1. Suppose -o = -v*o + 3*o. Which is greater: w or o?
w
Let f be 2*(-3 - -2) + 2. Let u be (-3)/((-1395)/10) + f. Is u greater than 0?
True
Let s = -621.7 - -590. Is 0.1 greater than s?
True
Let n be 574/164*8/42. Let s = -4 - -4. Let i = -0.3 - s. Which is smaller: i or n?
i
Let d be (0 + 1)*(-28)/2. Suppose 11*b - 6*b = 3*r - 50, 3*b = -4*r - 59. Which is greater: b or d?
b
Let o(n) = 7*n**2 - 2 + 19*n**3 + 3 + 6*n - 18*n**3. Let t be o(-6). Let u be t/(1 + 2 - 2). Which is bigger: -1 or u?
u
Let r = 4895 - 469915/96. Is 1 smaller than r?
False
Let c be (-4)/(-8)*(15 + -15). Which is smaller: -2/319 or c?
-2/319
Let x = 1318/7 + -188. Let r = -9/56 + x. Does -1/8 = r?
False
Let b be 12/264*33/6. Which is smaller: 1.306 or b?
b
Let i = -0.26 + -1.74. Do 242 and i have different values?
True
Let q = 39 - 35. Let a be ((-27)/(-531))/(6/q). Is a greater than -1?
True
Let n be 21/49 - (-3)/(-7). Suppose n = -2*f + v - 2*v + 3, 15 = 2*f + 5*v. Is 3/31 at least f?
True
Let t be ((-1908)/256)/((-15)/(-2)) + 1. Which is bigger: -1 or t?
t
Suppose 5*z = -0*p + 4*p + 21, -5*p = 5*z - 30. Suppose 0*t - t = -z. Suppose 4 = t*c - c. Is c less than -1/3?
False
Let c(s) = -s**3 + 13*s**2 + 2*s - 18. Let n be c(13). Let b = -0.0398 - -0.0398. Which is greater: b or n?
n
Let q(t) = 6*t**2 + 1 + 4*t**2 - 15*t**2 + 8*t**2. Let k be q(-1). Which is smaller: k or 7?
k
Let k = 824/3 + -274. Is k at least 0.09?
True
Let j(o) = o**3 - 9*o**2 - 8*o - 13. Let q(p) = -p**2 - 14*p - 14. Let n be q(-12). Let f be j(n). Do 5 and f have different values?
True
Let r = 1076 + -1076. Which is smaller: -904 or r?
-904
Let m = -39/62 - 3277/310. Which is bigger: -10 or m?
-10
Suppose -29*w - 15 = -32*w. Suppose -2*n + 13 = w. Which is smaller: n or 6?
n
Let c = -1381/2 + 691. Which is smaller: c or 3.6?
c
Let s(l) be the second derivative of 0 + 5/2*l**2 - 3*l + 5/6*l**3 + 1/12*l**4. Let o be s(-2). Which is bigger: 1/9 or o?
1/9
Let x(q) = 159*q - 641. Let c be x(4). Suppose -33 + 13 = 4*o. Is o equal to c?
True
Let s be ((-50)/12)/(2/(-4)). Suppose 32 = 5*a + 5*f - 33, 3*a - 2*f = 14. Which is smaller: s or a?
a
Let i = 16 + -14.6. Let r = 25 - 23.5. Let c = r - i. Which is smaller: 2 or c?
c
Let h be 1/1 + (1 - 0). Let t = -2 - -233. Let l = -1613/7 + t. Is l greater than or equal to h?
False
Let b = 0.033 - 0.033. Is -67 < b?
True
Let m = 5/1748 + -17845/127604. Is m at least 1?
False
Suppose -89*f - 456 = -32*f. Which is smaller: -208/23 or f?
-208/23
Let c(s) = -2*s**3 - 5*s**2 + 5*s - 2. Let m(r) = 3*r**3 + 4*r**2 - 4*r + 1. Let d(h) = -4*c(h) - 3*m(h). Let w be d(7). Which is smaller: w or -6?
-6
Let l = 257 - 236. Which is smaller: 2 or l?
2
Suppose 4*y - 4*n - 4 = 0, -2*y - y + 4*n = -2. Suppose 5*b = -4*j + 3, -j - 15 = 4*b - y. Let o be 1/(((-2)/2)/j). Which is greater: o or -4?
-4
Suppose -2*t + 46 = 5*z, -19*z - 390 = -22*t - 16*z. Suppose 5*v - 20 = -q, -2*q + 5*q + 5*v - 60 = 0. Are q and t non-equal?
True
Let g = -184.6 + 185. Are 11 and g unequal?
True
Let o = 41.36 - 41.4. Is 0.15 bigger than o?
True
Let j = -3636 + 40054/11. Are j and 6 equal?
False
Suppose 6*h + 56 = 2*k + 2*h, k = 3*h + 29. Let m = k + -56. Let p = m - -33. Which is greater: 2 or p?
p
Suppose 55 = 3*z - g, -3*g + 62 = 5*z - 11. Let y = z - 9. Let a be 2/y - (-6)/(-24). Which is smaller: a or 1/2?
a
Let s(z) = -z**2 + 15*z + 26. Let b be s(13). Let c = b + -55. Let v be (2/(-4))/(1/(-2)). Which is smaller: v or c?
c
Let x = 1/1068 + 3557/3204. Which is smaller: 0 or x?
0
Let d(q) = -3*q**3 - 51*q**2 + 6*q + 96. Let a be d(-17). Suppose -2*x + 0*b - b - 9 = 0, -5*b - 15 = 4*x. Which is bigger: x or a?
x
Let f be 10/75*-3*1010. Let x = -5242/13 - f. Which is bigger: x or 4?
4
Let j be (-2)/20 + (5 - 5). Let t be (5 - 3)/(8/12). Let q be 1 - (6/1)/t. Is q greater than or equal to j?
False
Suppose 0 = 11*g - 618 + 35. Is g greater than 51?
True
Suppose 78 - 1593 = -5*d. Let g be ((-4)/d)/(9/(162/(-12))). Is 0 != g?
True
Let c = 1.18 - 0.08. Let x = -1 + c. Suppose 0 = z - 0 - 11. Is x bigger than z?
False
Let g be -1 - 85/87*-1. Let d be -4 + (198/(-348))/(18/(-110)). Let s = d - g. Do s and 1/18 have different values?
True
Let g be (8 - (0 + 5)) + (-58162)/(-262). Let j = g - 225. Is -1 > j?
False
Suppose -5*f + g = 32 - 6, -2*f - 20 = 2*g. Which is bigger: 37 or f?
37
Suppose -667*f + 55 = -662*f. Let g = 5 - 3. Which is smaller: f or g?
g
Let k(f) = -5*f**2 + 7*f + 6. Let i(q) = -q**2. Let y(o) = -4*i(o) + k(o). Let w be y(7). Let x be 2 + 1/(w/(-11)). Do 1 and x have the same value?
False
Let a be (3/3)/(27/(-24)). Let o = -0.466 + 0.56. Let c = o + 0.006. Is c >= a?
True
Let w be (-2 - -1) + (-15 - -1). Let x be (8/(-12))/((-1)/w). Let q = 10 + x. Do 2/37 and q have the same value?
False
Let z(s) = 63*s - 3. Let t be z(1). Let f be -21*8/t - -3. Are f and -5/4 equal?
False
Let l(p) = p**2 + 3*p - 5. Let u be l(8). Suppose -31 = -4*y - u. Is -13 equal to y?
True
Let k(z) = 5*z + 12. Let r be k(-2). Suppose f = 3*x, -5*f = 3*x + r*x. Which is greater: 2/53 or x?
2/53
Let f(v) = -v**2 - 11*v + 27. Let a be f(-13). Let n(m) = -12*m**2 + m - 1. Let b be n(a). Is b less than -12?
False
Suppose -2*g = -0*g - 334. Let c = g - -128. Let n be c/175 - (-2)/(-7). Which is smaller: 1 or n?
1
Suppose 0 = 3*m - 5*m - 26. Let i(l) = l**2 + 14*l + 13. Let w be i(m). Let y be -1 - (-4)/(52/9). Is y bigger than w?
False
Let h be 2/8 - (3 - (-44)/(-16)). Which is smaller: -2/653 or h?
-2/653
Let v = -97 + 18. Let t = 68 + v. Is -6 < t?
False
Let n = 9 - 13. Suppose 0 = 5*f - 5, -f = -2*z + 3*z - 24. Let j = z + n. Is j at least 19?
True
Suppose 2*p - 24*p = 1562. Are p and -74 non-equal?
True
Let v = 5 + -2.8. Let g be (-6)/14 - 7/(980/(-95)). Is g greater than v?
False
Let x(y) = 31*y - 1. Let i be x(1). Let f be ((-27)/4 + -1)/((-8)/32). Is i >= f?
False
Let c = -326 + 344. Is c <= 14?
False
Let u = -396 + 643. Is 1 at most u?
True
Let p = -21 - -43. Let l = p - 23. Are l and 2/7 equal?
False
Suppose 0*c - 