1 - 0). Is y > -87?
False
Let p = 998 + -998.1. Is -223 >= p?
False
Let d be ((-3)/2)/((-6)/32). Suppose 243 = -7*x - 2*x. Let a be (x/15)/((-38)/(-10) - 4). Which is bigger: d or a?
a
Let p(f) = -f**2 - 6*f + 11. Suppose u - 30 = 3*u + 4*n, 20 = -4*u + 2*n. Let l be p(u). Let v = l - -11. Which is smaller: v or -0.1?
-0.1
Suppose 2*n - 17 = -39. Suppose 0 = -2*z + v - 24, 2*z + 2*v - 55 = -73. Is z less than n?
False
Suppose -36*m = 74 + 34. Do m and -16/5 have the same value?
False
Let b be (2/(-4))/(6/(-60)). Let j be ((-2)/(-2) - b)/(-22). Let i = 27 + -27. Is j greater than i?
True
Let m = 24 + -24. Suppose m = -9*w + 5*w. Suppose 0 = 5*o + 4*c + 3, -4*o - c = -0*o - 2. Is w at most o?
True
Suppose 9 = 4*y - 11. Let q = -93 + 103. Let z = q + -6. Is y bigger than z?
True
Let u = 36 - 74. Let k = u + 38.4. Is 1/11 greater than k?
False
Let x be (4/6 + 2)*-3. Let b(a) = -2*a**2 - 18*a - 17. Let h be b(x). Is h equal to -1/51?
False
Suppose t = -5*v - 48, 284 = -4*t - v + 54. Which is greater: t or -61?
t
Let a be 19/(-7*(-4)/56). Is a equal to 25?
False
Let y = 35.8 - 35.1. Is y at most 3.5?
True
Let r(i) = i - 5. Let o be r(7). Let g(m) = m**2 + m - 3. Suppose 0 = 5*h - 2 + 12. Let z be g(h). Is o < z?
False
Suppose 2253*t + 1 = 2254*t. Let p be (-970)/1995 + (-4)/(-6). Let g = -2/7 + p. Is t smaller than g?
False
Let x(a) = 2*a + 52. Let h be x(-24). Suppose -3*g - 2*n = -34, h*n + 23 + 29 = 4*g. Suppose -i = 4*z - 23 - 16, -3*z + 34 = -4*i. Is z <= g?
True
Let a be (-1)/(-3) + 68/102. Do a and 8 have the same value?
False
Suppose -3*x + 2*x - 5 = 0. Let o = x + 28. Let k = o + -22. Is k >= -2/33?
True
Let m = -7 + 9. Suppose 0 = 5*b + 2*j - j, 3*b + 7 = -m*j. Let l be (-4 - 4/(-1))/b. Are -2/49 and l equal?
False
Let l be (-1 - -2) + 62/(-58). Let h(w) be the second derivative of -3*w**3/2 + 31*w**2 + 29*w. Let c be h(7). Is c at least l?
False
Let j = 4 - 10. Suppose -5*h = -4*h. Suppose 0 = 4*k + 16, h*k - k = 5*u + 34. Do j and u have different values?
False
Let w = 173 - 176. Is 2.1 at most as big as w?
False
Let p = -1.5 + 1.62. Let y = -1.38 - p. Let n = 1.4 + y. Is n > -2?
True
Let u(i) = i**2 + 5*i - 43. Let b be u(7). Which is smaller: b or 42?
b
Let i(g) = -g**3 + 5*g + 1. Let f be i(-4). Let q = -46 + f. Which is greater: -2/89 or q?
-2/89
Let r = 3025600/5811 + -1562/3. Which is greater: r or 0?
r
Let c = 37 - 23. Suppose -2*y + 4*m + c = 0, -2*y - m = -3*m - 8. Are y and 5/7 unequal?
True
Let x be (-32)/(-3) + (-2)/(-6). Suppose -x - 1 = -4*p. Let n = 5551.7 - 5552. Is n less than or equal to p?
True
Let r = 1 - 0. Let s = 69 - 65. Suppose r = -s*w + 5. Which is bigger: -1/6 or w?
w
Let y be 6/8 + (-246)/360. Let x be (-2)/(-7) - 156/(-42). Suppose -x = -5*r + r. Which is smaller: y or r?
y
Let b be 0*(-6)/36 - 13. Is -67/5 at least as big as b?
False
Suppose 4*j = -4*m + 5*m + 38, 2*m = 4. Suppose -2 - j = g. Let v be g/15*5/(-2). Is 2 < v?
False
Suppose 0 = -3*d, 2*d + 2 - 4 = -2*g. Which is greater: g or -23?
g
Let h be (-18)/112 + (-6)/(-21). Let w(s) = s**3 - 3*s**2 - 10*s + 6. Let q be w(5). Suppose 3*a - q = 9*a. Is h at most a?
False
Let z = -126 + 1261/10. Let b(t) = t + 6. Let f be b(3). Let i = f - 19/2. Which is smaller: z or i?
i
Let u = 48.9 - 46. Let o = u + -1.9. Is -19 >= o?
False
Let w(l) = l**3 - 5*l**2 + l + 4. Let c be w(4). Let z be 0 - c/12*3. Suppose z = -7*j - 12. Which is smaller: j or -1/2?
j
Suppose -5*i - 2*w - 75 = -5*w, w = -5*i - 55. Let r be ((-6)/4 - -1)/(i/24). Which is smaller: r or 2/5?
2/5
Let y be 6/27 + 935/45. Let b(h) = -12*h - 2. Let r be 18/(-12)*4/3. Let t be b(r). Which is bigger: y or t?
t
Suppose 6 - 1 = -5*y. Let q = 18/47 + -472/987. Is q greater than y?
True
Suppose 346 = -4*j - 0*f - 3*f, f = 2. Which is bigger: j or -86?
-86
Let a = 544 + -261. Suppose 5*c + a = 68. Is c at least -42?
False
Let q(u) be the second derivative of u**5/10 - 2*u**3/3 - 2*u - 11. Let m be q(2). Which is smaller: m or 2?
2
Let u be 22/42 + ((-85)/35)/(-17). Which is smaller: -14.8 or u?
-14.8
Let q(j) = 7*j**3 + j + 1. Let z be q(-1). Let i be -4 + 0 - 1*z. Suppose -15 = 3*w, -2*a + i*a + 2*w = -2. Is 9 > a?
True
Let a = -82 - -95. Suppose -7*r = -a + 6. Is 1/4 less than or equal to r?
True
Suppose 0 = c + 2*c - j - 4, 18 = 4*c + 5*j. Let o be 2 - c - 4/140. Does 1 = o?
False
Let o be (-1)/(-5) + (-183309)/45. Let z = o - -4037. Let f = -36 - z. Which is bigger: f or 0?
f
Let h = 1.058 - 0.058. Let r = 2 - 5. Let x = r - -1. Which is bigger: x or h?
h
Let u = -406 + 406. Which is smaller: u or -8/115?
-8/115
Let r be (-1)/((-1)/(-104)*-4). Is r at most 23?
False
Let h be (4/(-12))/(-4 - (-87)/21). Let v(i) = -3*i - 2 + 2*i**2 - 2*i - i**2. Let a be v(5). Are h and a equal?
False
Suppose -16*j + 190 = -114. Is 19 bigger than j?
False
Let i = 0.02 - -4.98. Let s be (-131)/4 + (-3)/(-4). Let n = s + 32. Is n != i?
True
Suppose 26*s + 833 = 313. Which is bigger: s or -58/3?
-58/3
Let g be (-1 - -1)/((-1)/1). Suppose g*l + 4*l - 3 = -x, l - 15 = -5*x. Let f = -401/3712 - -5/128. Which is bigger: f or l?
l
Let d(u) = -8*u - 22. Let j be d(-10). Is j >= 58?
True
Suppose 4*j = -101*m + 106*m + 129, -j + 51 = -2*m. Which is greater: 13 or m?
13
Let v = -15 + 24. Let q = -25 + v. Let g(r) = -r**2 - r + 3. Let c be g(-2). Does q = c?
False
Let r(c) = -17*c - 169. Let h be r(-10). Which is smaller: -7/135 or h?
-7/135
Let s = -31/11 - -3691/1298. Is -1 less than or equal to s?
True
Let n be ((-6)/((-90)/35))/((-2)/(-24)). Let u = 31 - n. Is u < 3?
False
Let y = 538 - 20445/38. Let n = y + -6/133. Suppose 4*g - 4 + 0 = 0. Which is smaller: n or g?
n
Suppose -302 = 22*a + 116. Is a less than -18?
True
Suppose 20 = -w - 4*u + 5, -w = -4*u - 17. Which is smaller: -3/85 or w?
-3/85
Let d(g) = g**2 - 19*g + 56. Let v be d(21). Which is bigger: 0 or v?
v
Let z = -2.1 - -1. Let t = 12.9 - z. Let p be (-22)/(-30) + 27/(-81). Is t > p?
True
Suppose -16*y + 665 = 19*y. Suppose 51 = 2*q + 3*v + 10, -q - 4*v + 23 = 0. Does q = y?
True
Let j(v) = -v**3 + 5*v**2 - 4*v. Let h be j(4). Let g be (1/(-6))/(70/(-154)). Let m = g - 17/10. Which is bigger: m or h?
h
Let j be (-891)/55 - (-2 - 7). Is -8 smaller than j?
True
Let a = 68 - 68. Is -3/176 > a?
False
Let l be 14/4 - 693/88. Which is greater: -4 or l?
-4
Let u = 3 + -8. Let q = -5.02 - u. Let a = 0.02 + q. Is -3 < a?
True
Suppose 291 - 75 = 2*g. Let b be (-24)/g + 22/18. Is b >= 1/6?
True
Let f = 13 - -10. Suppose 5*k - f = 107. Is 26 bigger than k?
False
Suppose 2*q + 455 = 5*w, 0 = q - 2*w + 34 + 196. Are q and -240 equal?
True
Let k be 5 - 19/((-532)/216). Which is bigger: 14 or k?
14
Suppose 3*k = -6*k + 27. Suppose -4*o + 10 + 10 = k*x, 3*x - 5*o = -25. Let h = -1251/7 + 179. Which is smaller: h or x?
x
Let r = 5/12 - 251/372. Is r < 0?
True
Suppose 2*l + 10 = 9*z - 5*z, -5*z + 2*l = -12. Do -9 and z have the same value?
False
Let v = 167 - 272. Which is greater: v or -106?
v
Let m(y) = -y**2 - 2*y + 6. Let t be m(-3). Let h be (6 - 4 - t)/((-7)/3). Is h smaller than 1?
True
Suppose -5*d + 2*i + 49 = -78, -73 = -3*d + 2*i. Suppose d = 2*w - k, 2*w - 2*k - 6 = 24. Is 11 less than or equal to w?
True
Suppose -x - 360 = -21*x. Let t(n) = 3*n - 7. Let z be t(8). Which is smaller: z or x?
z
Suppose 0 = -3*w - 3*t + 3, 3*w - 6 = t + 13. Suppose 3*f + 2 = w*f. Which is smaller: 2 or f?
f
Let w be (-25)/(-75) + 1190/(-3534). Which is smaller: w or -1?
-1
Suppose 2 = -2*o, -12*l + 3*o = -13*l + 271. Is 277 < l?
False
Suppose 3*b - 3*p + 3838 = 5*b, 2*p = 4. Let t be b/(-140)*(-75)/(-882). Let c = t + -1/343. Which is smaller: c or -1?
c
Let y(o) = 2*o + 1. Let s be y(6). Let w(u) = u**2 + 4*u - 2. Let v be w(-5). Let x be 45/v - (4 + -1). Which is greater: x or s?
s
Suppose -43 - 62 = -3*k + 2*q, -35 = -k - 5*q. Let r = 36 - k. Is 10/11 <= r?
True
Let x be 98/8 - (-1)/(-4). Let o = 12 - x. Let k be o/(-1 - -3) + 2. Is k greater than or equal to 0?
True
Suppose -109 = 7*h - 4. Suppose -s = c - 3 + 14, -3*s - 5*c - 25 = 0. Is s < h?
False
Let m(z) = z**3 - 3*z**2 - 15*z + 25. Let t be m(3). Suppose 4*d + 73 = -7. Is t < d?
False
Let v = 28 + -11.8. Let l = -18 + v. Let o = 2 + l. Are -1 and o nonequal?
True
Let s = -149 - -69. Let q = s - -79. Is 3/4 <= q?
False
Suppose 3