h at most -9?
False
Let p = 186/5 + -369/10. Let a(l) = l**2 - 2*l - 2. Let x be a(-4). Let k be (x - 22)/(1/1). Which is smaller: k or p?
k
Suppose -3*y + 1053 = 3*u, 0 = -5*y - 5 + 20. Is 2/5 at least as big as u?
False
Suppose 3*l - 9 = 0, s = -2*s - 5*l + 198. Let w = s - 60. Which is smaller: 2/85 or w?
2/85
Let w(h) = h - 2. Let n be w(5). Let v be 1 + (n - (-55)/(-15)). Is -0.2 at most v?
True
Let i(n) = -3*n + 20. Let v be i(1). Is 17 at most v?
True
Let y = -99 + -28. Which is smaller: y or -1/2?
y
Suppose -3*a + 7 = -3*j + 46, -2*j = -4*a - 34. Let c be 1 + 8/(2/1). Do j and c have the same value?
False
Suppose -28618 - 9239 = -4*l - 3*a, -l = -2*a - 9478. Let k be 2*(-3)/8 + 7173/l. Which is greater: k or 1?
1
Let k be (398/(-128))/(8/12). Let n = k - 1/384. Let t(l) = -2*l + 10. Let f be t(7). Is n greater than or equal to f?
False
Let y = -14 + 27. Suppose -15*j - 626 = -y*j. Let l = -5319/17 - j. Is l greater than -1?
True
Suppose 6*u = -7*u - 39. Which is bigger: 15 or u?
15
Let o = 0.2 - 0.9. Let x = o + 0.6. Let s = -2 + -8. Which is bigger: x or s?
x
Let o = -68 + 40. Let t be -3 - (-16)/o*(-38)/8. Let u be 1*-1 - 22/(-18). Which is smaller: t or u?
t
Let u = -2 + -12. Let x(i) = -i**2 + i - 2. Let r be x(4). Is r greater than u?
False
Let u = 38762 + -310201/8. Let o = 2 + -15. Is u at least o?
False
Suppose -11*g - 186 = -12*g. Is 186 at most g?
True
Let c = -221/46 - -7/23. Which is smaller: -4/3 or c?
c
Let z = 10/97 - -5359/1649. Which is bigger: -1 or z?
z
Let q be (2/(-8))/((-3)/4). Suppose 1 = -2*g - b - 0, g - 2*b - 7 = 0. Suppose 2*f + 3*f + 4*c = -g, -3*c = -f + 15. Which is greater: q or f?
f
Let g = 7.6 - 9.6. Let n = -1.526 - -0.026. Is n greater than or equal to g?
True
Suppose -3*x - v = -10, -2*x + 6*v = 4*v - 12. Suppose x*p = 2 + 10. Is p equal to 3?
True
Let i = -27 - -24.9. Let o = -2.1 + 2.2. Let p = i + o. Does p = 0.1?
False
Let b = -72.6 + 71.9. Is b smaller than -3?
False
Let f be 0 + 4 + 627/(-143). Let a = 58/117 + f. Which is smaller: a or 4?
a
Let h = 3150436 + -66181748/21. Let i = h + 1076. Which is smaller: 1/2 or i?
i
Suppose -n + 21 = 4. Suppose o = 2*a + n, 7*o - 3*o = -12. Is a less than or equal to -11?
False
Suppose 186 = 5*s - n, 3*s = 2*n + 73 + 40. Is s greater than or equal to 36?
True
Let y be (-1)/(-5) - (-6)/(-5). Let v = -1397/18658 + -2/491. Is y equal to v?
False
Suppose 0 = 2*f + f. Suppose f = -d + 5*d. Let j be 1 - (14/(-8))/(-7). Are j and d equal?
False
Let p be 0 - 1*0/1. Let b be p + 3/9*0. Let z = 4/5 + -1. Is b at least z?
True
Let n be ((-3)/(-18))/(2 - (-9)/(-6)). Suppose -4*x + 15 = -5*g, -x + 4*g + 11 = -1. Is n greater than x?
True
Let k be -5*2/(-55) - (-1610)/(-22). Let s be 6/(-12) + k/22. Which is smaller: s or -3?
s
Let n = -103 + 132. Which is smaller: 22 or n?
22
Let n = 37 + -38. Let w = 0.7 + 2.3. Which is smaller: w or n?
n
Let k be 1*(-1 - (-2)/4)*74. Which is greater: -184/5 or k?
-184/5
Suppose -7*o - 12*o = -5*o. Does 2/1561 = o?
False
Suppose -891 = -5*k - f, -4*k + 2*f + 529 = -195. Is 179 < k?
False
Suppose 2*o + 5*k + 18 = 0, 0 = 108*o - 112*o - k. Which is smaller: -1029 or o?
-1029
Let i = 13 - 36. Let z = -19 - i. Let m be (-1 - -1) + 2 - z. Which is greater: m or 0?
0
Suppose 3*x = j + 9, x + 2*x + 117 = -5*j. Which is smaller: j or -2?
j
Let g = 550 + -575. Is g greater than -26?
True
Suppose -32 = 4*p - 7*f + 12*f, 5*f - 20 = 0. Which is bigger: -8 or p?
-8
Let b = 0.06 - -1.912. Let t = 0.028 + b. Is -1.3 <= t?
True
Let x be 4/10 - (-7 - (-42)/5). Does x = 1/60?
False
Let x(g) be the second derivative of g**4/12 + 2*g**3/3 - 15*g**2/2 - 20*g. Let a be x(-7). Are a and 6 equal?
True
Let t = 670 + -585. Which is bigger: t or 87?
87
Let o(c) = -c**2 - 32*c + 37. Let x be o(9). Which is bigger: x or -331?
-331
Let d be (2/(-13) + 2625/14950)*16. Which is smaller: d or 1?
d
Let v = 38 - 685/18. Suppose 0 = -5*n + 5*z + 25, 2*n + 4*z - 3*z = 19. Let s = n - 7. Which is smaller: v or s?
v
Let p(i) = i + 7. Let x be p(-6). Let l = 8 + x. Suppose q - 13 = l. Which is smaller: 21 or q?
21
Suppose 4*i + 2 = -42. Let f(z) = -z**3 - 11*z**2 - 9*z + 12. Let m be f(-10). Suppose -m = -2*o - 22. Which is smaller: o or i?
i
Let f(y) = -3*y - 22. Let u be f(-7). Let w be (-1)/u + 2 + -25. Is -22 at least w?
True
Let b be (5 - -198)*-2 + -1*1. Do b and -406 have the same value?
False
Let y = 1.92 - 2.92. Is -1.4 less than or equal to y?
True
Let j(x) = x**3 + 6*x**2 + x + 7. Let a be j(-6). Which is bigger: -10/79 or a?
a
Let y = 0.6 - 2.6. Let u = y - -2. Let s = 78/5 - 229/15. Is s at least as big as u?
True
Suppose -h + 1 = 2*q + 2, -q + 5*h = -16. Let w be 1455/165 - 4/(-22). Let o be w/(-45)*(-4)/14. Does o = q?
False
Let h = -1/13 - -15/26. Let w(z) = -z**3 - 11*z**2 - 10*z. Let y be w(-10). Suppose y = 2*q - q - 1. Which is bigger: h or q?
q
Let m be 22/(-6) - 32/(-48). Let h be -61*(-3)/57 + m. Which is smaller: 1 or h?
h
Let j(d) = -13*d - 24. Let g be j(0). Is g < 2/17?
True
Let v be ((-1)/1)/(10/(-30)). Suppose x + v = 4*x. Suppose -2*d + x = -s, d + s - 3 = -d. Is -1 smaller than d?
True
Let n = -2.4 - -1.7. Suppose 4*g - 39 = -43. Let f be (-221)/52 + (-4)/g. Which is smaller: f or n?
n
Let x(b) = b**3 - 9*b**2 + 2*b - 12. Let q be x(9). Suppose -6 = q*u - 108. Which is bigger: 50/3 or u?
u
Let h be (2 + (-11)/2)*2. Let a = 9 + h. Let u be a/6 - (-19)/(-3). Do u and -7 have the same value?
False
Suppose -3*q = -2*j + 7, -2*j = -4*q - 4 - 2. Let i = -4506/23 + 296591/1518. Let y = -4/11 - i. Is y smaller than q?
True
Let y be 52/286 + (596/(-253) - -2). Is y less than -1?
False
Let z = 57 - 170. Let q = z + 123. Let n(c) = -c**3 - 4*c**2 + 5*c + 4. Let j be n(-5). Which is bigger: q or j?
q
Let t = -333 + 345. Is 11 >= t?
False
Let i = 128 + -128. Which is smaller: -1 or i?
-1
Let a = -1779 + 1188. Is a smaller than -591?
False
Let p be 1*1153*8/(-1456)*24. Let b = p - -1053/7. Is -2 smaller than b?
True
Suppose -5*x - 10 = -3*u, 0 = -5*x - 7 - 3. Suppose -10*l + 15 = -15. Suppose u = z + l*s - 17, -2*s + 0*s - 12 = -4*z. Does z = 3?
False
Let j be 103822/506 - (-2)/(-11). Is 206 smaller than j?
False
Let h = 1745 + -1744.9. Suppose b = -0*b + 4. Is h not equal to b?
True
Let g = -0.28 + 3.08. Let i = -15.2 - g. Is 1/2 at most i?
False
Let k = -245 + 172. Let a = k - -64. Which is greater: a or -13?
a
Suppose -24*l - 1581 = -165. Is -58 at least l?
True
Let n = -318 + 238. Does n = -80?
True
Suppose 0 = a - 2*a - 3. Let f be ((-2)/16)/(a/18). Are 1 and f non-equal?
True
Let k = -6901/14 + 493. Is 1 at least as big as k?
True
Let r(m) = -m**3 - 2*m**2 + 15*m - 1. Let u be r(3). Is 1/285 < u?
False
Let y = 2711 + -73187/27. Let l = 7/27 - y. Which is smaller: l or 1?
l
Let a be (-148)/(-18) + (16/9)/(-8). Suppose -3*w + a*s - 4*s = -67, 14 = 2*w + 5*s. Is 16 < w?
True
Suppose -2*b + 3*t = 2*b - 201, 5*b + 4*t - 290 = 0. Suppose 0 = -5*r - 4 + b. Let j be 1/r*-4 - -1. Is 0 smaller than j?
True
Let g = 25 + -27. Let z be (-5 - g)*80/(-15). Suppose 3*x = -j - z, 4*j - 7*x - 16 = -3*x. Is j greater than or equal to 0?
False
Let m(d) = -10*d**3 - 9*d - 3 + 6*d**2 + 10*d + 9*d**3. Let r be 15/2*(-8)/(-10). Let q be m(r). Is q greater than 3?
False
Suppose 5*d = -5*o - 970, -381 = 3*d - o + 209. Let f = d - -2158/11. Which is bigger: f or 2/49?
f
Let m = -64586/4719 - 58/363. Is m equal to -13?
False
Let s = 1 + 0. Let a = 14 + -13.97. Let i = a - 0.73. Is i less than s?
True
Let y = -51 + 55. Let o = 25/68 - 2/17. Is y <= o?
False
Let m(s) = -9*s + 38. Let r be m(4). Is 7/11 not equal to r?
True
Suppose s = -2*o + 2 + 10, 0 = -3*o - 3*s + 15. Let u be 0 - 40/((-8)/2) - 3. Is u greater than o?
False
Suppose 6*z - 26 = 4. Suppose 19 = z*n - 51. Let i be n/28*(0 + -48). Which is smaller: i or -25?
-25
Suppose -8*j + 84 = -j. Let v be (0*4/j - 0)/1. Let y = 0.93 - 0.8. Is y bigger than v?
True
Let q = 0 + -0.2. Let l = 20/31 + -29/93. Which is greater: q or l?
l
Suppose -s - 2*p + 2 = 0, 0*s - 5*s - 4*p + 28 = 0. Is s less than 13?
True
Let h = 11/15 + -188/195. Let z = -1.05 - -0.05. Is h <= z?
False
Let r = -6 - 21. Let j = -27.09 - r. Which is smaller: -0.3 or j?
-0.3
Let d be (-6 - 416/(-72)) + (-12)/(-9). Is d <= 7?
True
Let j be 140/6 - (-4)/48*8.