uppose y - q = t + 2, d = 3*y - 2*t. Is y greater than or equal to 2?
False
Suppose -8*o + 7*o = -32. Let n = -10 + o. Let b be n/6 - 6/2. Is -5 equal to b?
False
Suppose -4*s - 2*x - x - 152 = 0, -5*x = 20. Which is smaller: s or -36?
-36
Let u(x) = 2*x + 11. Let j be u(-5). Is 2/37 smaller than j?
True
Let n = 206 - -137. Let d = n + -5141/15. Which is greater: d or 1?
1
Let v(h) = h**2 + 6*h - 5. Let s be v(-7). Let q = -1 + 1. Which is smaller: q or s?
q
Let c = 24 - 22. Suppose -8 = 4*p, -5*q + 22 = -c*p + p. Are q and 6 non-equal?
True
Let j = 13 + -14. Which is bigger: -0.06 or j?
-0.06
Let f(q) = -q**3 - 6*q**2. Let p = 5 - 11. Let j be f(p). Are -3 and j equal?
False
Let d = 2 + -5. Let g = -1 - d. Are g and 10/7 equal?
False
Let z = 0 - 0.4. Let g = -0.2 - z. Which is greater: 2/7 or g?
2/7
Let t = -4 - -3. Let i be (-2 + 44/10)/(-2). Let x = i - -7/10. Which is smaller: x or t?
t
Let i(f) = -3*f - 19. Let k be i(9). Which is smaller: -47 or k?
-47
Let o = -1 - 0. Let z = -2 - o. Let r = -0.3 + 0.2. Which is smaller: z or r?
z
Let v be (1 + -6 - (-10)/2)/2. Let j be 18/44*2/(-3). Which is smaller: v or j?
j
Let x = 7 - 2. Suppose 0 = x*f - 3*f. Suppose 4 = -4*m - f. Do -2/3 and m have the same value?
False
Suppose -3*g - 2*k + 11 = 32, 37 = -5*g - 4*k. Let f = g + 5. Which is smaller: f or -1/7?
-1/7
Let a(m) = m**3 - 16*m**2 + 4. Let h be a(16). Suppose 0 = -2*g + 2*d + 10, -2*g - d = -4*g + 10. Which is bigger: h or g?
g
Let u = -6 + 5.9. Let l = 0.9 + u. Which is smaller: l or 1?
l
Let u = -1.3 + 6.3. Let n = u - 3. Which is greater: n or -2?
n
Let i = 2/133 + -288/1463. Which is greater: 0 or i?
0
Let v = 58 + -60. Which is smaller: v or -11/7?
v
Suppose -r = -18 + 3. Suppose -2*x - 10 = -c - 0*x, x = -2*c + 25. Let b be c/r - (-1)/5. Which is bigger: b or -1/9?
b
Let h(b) = -b**3 - 2*b - 13. Let a(s) = -s**3 + s**2 - 3*s - 14. Let v(t) = -5*a(t) + 6*h(t). Let c be v(-6). Is -1/3 at most as big as c?
True
Let x = -17 - -14. Do -3 and x have the same value?
True
Let v = -1 - -1. Let h be v/(2*(0 + 1)). Suppose -2*x + 4*d + 11 = d, -5*x + 8 = -d. Which is smaller: x or h?
h
Let d be 1/5 - (-24)/30. Let f be (-9)/((2 - 2) + d). Which is greater: -10 or f?
f
Suppose -2*k - 5*u - 28 = 0, -4*k + k + 3*u = 0. Let f(c) = -c - 6. Let v be f(k). Let o be 0/(-1) + v*1. Which is bigger: o or -2/3?
-2/3
Let a = 12 + 3. Let o be 12/a*10/18. Which is smaller: 1 or o?
o
Let h(r) = r**2 - 5*r - 1. Let s be h(6). Which is smaller: 0 or s?
0
Suppose 2*d + 59 = d + 3*p, -3*p = -3. Is d less than -57?
False
Suppose 0 = 2*u - 12 + 16. Which is bigger: u or -5?
u
Let a(g) = g**3 + 9*g**2 + 2. Let d be a(-9). Let j be (4/(-10))/(1/(-5)). Suppose -5*z + j*z + 9 = 0. Is d equal to z?
False
Let a = 12.3 + -12.2. Which is greater: a or -49?
a
Let d = 14 + -10. Let p be (d/27)/(6/45). Is 0 <= p?
True
Let d(t) = 4*t - 1. Let q be d(1). Let o be 3 - 6/51 - q. Do -1 and o have the same value?
False
Let t be 18*((-8)/(-6))/4. Let p be (-2 - t/3)/2. Let h be -3*(p + 12/9). Which is smaller: h or 1?
1
Suppose 0 = -5*d + 3*p - 10 + 45, -d - 21 = 5*p. Let c be -3 + d/52*41. Is 0 > c?
False
Let t = 259855/149 - 1744. Let y = -287/1639 + t. Is y less than or equal to 0?
True
Let v be (1/2)/((-1)/8). Suppose -2*o + 2 = 0, b = o + 1 + 6. Let h = b - 11. Which is greater: h or v?
h
Suppose 6*b - 2*b = -5*f + 15, 5*b - 4*f + 12 = 0. Which is smaller: -0.1 or b?
-0.1
Let b = -8/11 + 83/99. Let f = 1 - 0. Which is smaller: b or f?
b
Let q = 10 + -11. Let i be ((-3)/(-12))/(9/12). Is i equal to q?
False
Suppose 0 = -3*i - 0 + 18. Let n be ((-2)/10)/((-2)/i). Is n at most 1?
True
Suppose s + 13 = -0*s - 3*b, 2*s + b = -1. Suppose -6 = 2*k + s. Is -5 smaller than k?
True
Let a = -62 + 63. Are 1 and a nonequal?
False
Let v = -7 - 3. Is -11 < v?
True
Let q = 236 + -937/4. Suppose 39*i - 23*i = 48. Which is greater: i or q?
i
Let l = 63 + -64. Is l at least -18?
True
Let t be 18/(-15) + 1/5. Let u = 2 - 10. Let s = u - -9. Which is bigger: s or t?
s
Let d be 2/8*40/(-35). Is d < 0?
True
Let w(m) = m**3 + 17*m**2 + 17*m + 17. Let p be w(-16). Is p greater than or equal to 1/12?
True
Let r(u) = u**3 + u**2 - u - 1. Let v be r(-2). Suppose -4*o - 3 = -o. Which is smaller: o or v?
v
Let m = 131 - 138.05. Let y = m - -0.05. Do -0.1 and y have the same value?
False
Let i = 4 + 10. Let t = i - 12. Is 1 smaller than t?
True
Let s(n) = -n**3 + 6*n**2 - 7*n - 3. Let v be s(4). Is -6/23 <= v?
True
Let h = 3 - 8. Let k = h + 5. Let f = 5/29 - 83/145. Which is smaller: k or f?
f
Let k be ((-3)/(-3))/((-14)/4). Let r be (-117)/(-27) + 2/(-6). Suppose 5*y + r*m = -4, m + 2 = 1. Which is smaller: k or y?
k
Let b = 11 + -2. Let f = b + -7. Which is greater: -2/7 or f?
f
Suppose 3*x + 1 = 2*x. Let h be (-6)/8 - x/(-4). Let v be (h - 0)/(-2)*-2. Is v smaller than -2/9?
True
Let x(t) = 3*t - 1. Let v be x(1). Suppose -5*u - 6 = d + v*d, 4*u + 8 = -4*d. Which is bigger: -1 or u?
u
Suppose -24*f = -23*f - 37. Is 37 at least f?
True
Suppose 6 = j - 1. Let r = -5 + j. Suppose -h = -2*y - 2, 3*h = -2*y + 4 + r. Is -1/9 smaller than y?
True
Let n be (4/(-1))/(20/(-15)). Suppose -5*i + 29 = -2*k, -n*i = -5*k - 23 - 2. Which is bigger: -3 or k?
k
Let w = -90.9 + 87. Which is smaller: 1/4 or w?
w
Let t = 2 - 5. Which is smaller: t or -7?
-7
Suppose -i = -4*u + i + 26, 2*u - 2*i - 14 = 0. Which is bigger: -3 or u?
u
Let j = 1 - 2. Is j at most as big as -9?
False
Let x = -59/6 - -10. Let a = -65 + 66. Which is bigger: a or x?
a
Let i(f) = -1 - 6 + 0 - f. Let w be i(-6). Which is greater: -1/5 or w?
-1/5
Let u = 1 + -0.8. Let c = 4.108 + -0.008. Let f = c + -4. Which is smaller: u or f?
f
Let v be (-10 - 5)*1/3. Do v and -7 have different values?
True
Let u = -1 + -1. Suppose 0 = 5*a - 20. Suppose 0 - 16 = a*b. Is u greater than or equal to b?
True
Let n be 10/(-855)*(-1 - -4). Which is smaller: n or 1?
n
Let z(f) = -3*f**3 + f**2 - 1. Let t be z(-1). Let k be ((-2)/(-2))/(6/(-16)). Let x = t + k. Which is smaller: x or 0.2?
0.2
Let u = 9 - 5. Suppose -4*v - 51 + 15 = u*g, 2*g = -6. Is -6 <= v?
True
Suppose 0*q - 12 = -2*q. Let a = q + -5. Which is smaller: 3 or a?
a
Let s = 2410/22977 + 2/621. Is s > 0?
True
Let h = 0 - 8. Let i be 2/h - 19/(-28). Are i and 1 equal?
False
Let o = -82/3 + 27. Is o equal to 2?
False
Let h be 666/28 + (-6)/21. Let x = h + -24. Which is smaller: 2 or x?
x
Let i = 31 - 30.94. Is i smaller than -0.1?
False
Let m = -19.1 - -19. Is m > -0.43?
True
Let g = 57 - 57. Which is greater: g or 1?
1
Let s = 0.7 + -1.2. Let p = -0.1 - s. Which is greater: p or 2/3?
2/3
Let i = 1 - 1. Suppose 6*c - c - 10 = q, c + 3*q - 18 = i. Which is smaller: 1 or c?
1
Let i = 2.92 + -3. Let r = 6.08 + i. Let p = 4 - r. Which is bigger: -0.2 or p?
-0.2
Let d = -0.985 + -0.015. Which is smaller: -14/5 or d?
-14/5
Let g be 3*4/(-24)*-4. Suppose 0 = 5*b + 3*s - 7, -4*s = -2*b - 2*s + 6. Suppose 4*m + u = 13, -g*m + 22 = b*u + 8. Is 3 not equal to m?
True
Let s be (-14)/(-6) - 1/3. Suppose -s*a + 0 = 8. Let b be (-2*(-12)/20 - 2)*5. Is b <= a?
True
Let s = -10 - -20. Let x = -48 + 57. Is x > s?
False
Let o = 1.2 - 1.16. Is 2/9 bigger than o?
True
Let f(t) = 6*t**2 + 2*t + 1. Let m be f(-1). Let w = m - 7. Suppose -180 = -2*g - 186. Which is greater: w or g?
w
Let t(h) = h**2 - 7*h - 5. Let g be t(5). Let s be (-12)/(-3) + 70/g. Is s greater than 2/11?
False
Let h = -19 - -46. Let x = -22 + h. Do x and 3 have the same value?
False
Let q = -862 + 19823/23. Let n = -81/92 - q. Which is bigger: n or -2?
n
Let f = -95 + 96. Is f at least -2/143?
True
Let q = -11 + 12. Is q at least as big as 2/7?
True
Let x = -20989/17 + 1235. Is 1 at least as big as x?
True
Let m(s) = -s**2 - 12*s - 42. Let p be m(-8). Let l = 0.4 + -0.3. Is l at least p?
True
Let v = 2 + -1. Let m = v + -1. Let x = -60/559 + -2/43. Which is smaller: m or x?
x
Suppose -11 = 5*m - d + 3*d, -m + 3*d - 9 = 0. Is -3 not equal to m?
False
Let q(l) = -l**2 - 6*l + 1. Let d = -7 - -16. Suppose -27 = 3*k - d. Let n be q(k). Which is smaller: -1/3 or n?
-1/3
Let q be 1/(20/(-814))*-2. Let i = -81 + q. Which is smaller: -1 or i?
-1
Let k = -61 + 303/5. Which is smaller: 2/33 or k?
k
Let d be (-24)/30*(-3)/(-6). Is -0.15 < d?
False
Let t = 6 - 4. Let p =