is greater: -0.1 or d?
-0.1
Let j = 18.83 - -0.17. Let k = 18.9 - j. Do k and 3 have the same value?
False
Let u(a) = -2*a**2 + 9*a + 5. Let s be u(6). Which is greater: s or -1?
-1
Let g(w) = -w**2 + 10*w - 7. Let y be g(9). Does y = 18/7?
False
Let x be (-80)/(-36) - (-2)/(-9). Suppose 0 = -a - x*a + 33. Suppose 5*w - 3 - a = 3*v, 3*v + 12 = 3*w. Which is smaller: -2 or w?
-2
Let c = 58 + -176/3. Let m be (-5)/(-8) - 1/2. Does m = c?
False
Let p = -39.1 + 39. Suppose -7 = -r + 2*m, 13 = 3*r + m - 3*m. Let c(d) = -d. Let s be c(r). Which is bigger: p or s?
p
Let d be (-1)/2*(2 + 0). Is d greater than -2?
True
Let w be (-3 - -5)*1/6. Is 0.5 != w?
True
Let h be ((-2)/(-4))/(2/36). Suppose -110 = -m - 4*m. Suppose 3*l - 5*u = -m, -5*u + 30 - h = -4*l. Which is greater: l or 1/3?
l
Let f = 38/5 - 147/20. Let a = -4 - -3. Is a at most as big as f?
True
Let q = 154 - 154.2. Let o = -3 + 2.8. Is o less than q?
False
Let m(r) = -2*r**3 + r. Let c be m(-1). Is 12 <= c?
False
Let t = -19 - -18. Are t and 0 nonequal?
True
Suppose -q + 12 = 2*q. Suppose -q*o - 20 = 4*a, 0*o + a = -5*o - 5. Suppose 3 + o = -3*i. Which is greater: i or -2?
i
Let t = 37/2 - 19. Let z = 2598/25 + -104. Let b = -8/25 + z. Is t <= b?
True
Suppose -4*r = -3*k + 4*k, 0 = -k + r. Which is bigger: k or -2/37?
k
Let u(j) = j**2 - 7*j + 6. Let p be u(6). Let q be (-1 - p)/(0 - 1). Is 0 <= q?
True
Let s = -12 + 23. Let g = s - 12. Which is smaller: -2/3 or g?
g
Suppose 9 = r - 4*x, 4*x = -2*r + 2*x + 28. Is 12 bigger than r?
False
Let v be (-2)/3 + (-2)/(-3). Let m be -3 - (210/(-25))/3. Which is greater: m or v?
v
Let n be (3/10)/((-36)/(-48)). Do 0.14 and n have the same value?
False
Let r be 2/(-2*2)*-6. Suppose 4*l - 24 - 84 = 0. Suppose 3*b - l = 4*w, -3*w - 14 = -r*b + 2*b. Is -3 less than or equal to w?
True
Suppose -5*q = -7*q + 22. Are q and 9 unequal?
True
Let n = -4 + 8. Suppose 12 = -4*m - 3*v, 3*m + n*v = 2*v - 10. Let w = m + 5. Is -1 bigger than w?
False
Let g = -1/6 - -3/2. Let t = 5/6 - g. Which is greater: t or -2?
t
Suppose -19 = -7*t + 6*t. Is t >= 19?
True
Let r = 0.1 - 0. Is -0.07 less than r?
True
Let v(g) = -g - 8. Let q be v(-9). Let z(j) = -j**3 - 7*j**2 - 5*j + 7. Let w be z(-6). Is q greater than or equal to w?
True
Suppose 4*l + 0*l + 2*j = 12, -8 = 4*j. Let r be 1 + (-4 - -9 - l). Is r greater than or equal to 1?
True
Let m(t) = -t**3 - 5*t**2 + 5*t. Let h be m(-6). Let b be h/(-6) - (9 - 0). Is -11 equal to b?
False
Let p = -3.095 - -0.095. Is -1/2 > p?
True
Let z = -11 - -9. Let c be (-1)/z + (-11)/(-2). Suppose 0 = -2*y - c, 0 = -6*g + g - y - 13. Which is smaller: g or -2/3?
g
Let q = -167/66 - -57/22. Let f(i) = 2*i**2 + i - 1. Let r be f(0). Which is smaller: q or r?
r
Let g(l) = 0*l**3 - l**3 - 7*l + 2*l**3 - 6*l**2. Let v(i) = i**2 + 7. Let c be v(0). Let r be g(c). Is -2/5 equal to r?
False
Suppose -2*u + 35 = 3*u. Which is bigger: 8 or u?
8
Let h(s) = -s - 1. Let z(l) = 80*l + 44. Let v(n) = 88*h(n) + 2*z(n). Let o be v(-3). Let j = 1515/7 + o. Which is smaller: -1 or j?
-1
Suppose 40 = -2*l + 7*l. Let i(j) = j**3 - 8*j**2. Let m be i(l). Which is smaller: 4 or m?
m
Suppose 0 = -c + 4*c + 96. Let a be 7/(-4) - (-8)/c. Let p be (-40)/45*1/a. Is 0 less than p?
True
Let k = 3035/3384 + -3/376. Let i = 31/45 - k. Is i <= 0?
True
Let s = -0.1 - -1.1. Does -0.2 = s?
False
Suppose -3*l + 7 = -3*t + 2*t, 0 = -3*t + 3*l - 21. Let y = t + 10. Suppose u - 4*u + y = 0. Which is smaller: u or 1/7?
1/7
Let h = 2.17 - 0.17. Let c be (1 + (-16)/14)*-2. Which is smaller: c or h?
c
Let p be ((-1)/(-2))/(630/56). Is p at least 0?
True
Let p = -309.65 - -326. Let u = p + -16. Let q = u - 0.05. Is q smaller than 0.1?
False
Let t = 5 - 4. Let k be ((-3)/(-2))/(t/8). Suppose -4*f + f = 3*x + k, -4*f + 9 = -x. Is f at most as big as 2?
True
Let b = -7 + 6.9. Is b bigger than -1/4?
True
Let w = -27 + 21. Let j = -6 - w. Is j at least as big as 0.06?
False
Let z = -2.33 + -0.77. Let u = 1 - 4. Let k = z - u. Does k = -0.1?
True
Let j be (-633)/(-1435) + (-12)/(-60). Let f = j + 3/41. Is 1 greater than f?
True
Suppose -2*f - 2*f - 40 = 0. Suppose 3*m = -5*j - 40, 7*m - 3*j + 24 = 4*m. Are f and m non-equal?
False
Let l(y) = 2*y + 7. Let r be l(-11). Let n be 152/330 + 6/r. Which is bigger: n or -1?
n
Let z be 3 + 86/(-30) + 16/(-90). Which is smaller: 0 or z?
z
Let t be 35/(-5) + (-4)/(-1) + 25. Is t < 23?
True
Suppose 0 = -3*w - 2*w. Suppose w = -3*n + 12, -3*b + 5*n - 6 - 14 = 0. Is -1/4 greater than b?
False
Let q = -12 + 7. Let f = q - -3. Let j be f/(-4)*(-6)/12. Is j smaller than -1?
False
Let i be (-374)/(-12) + 1/3. Let m = i + -31. Suppose 4*c - 3*j - 6 + 4 = 0, -3*c - 4*j = -14. Which is bigger: m or c?
c
Let g(c) = c**2 - 4*c - 7. Let x be g(5). Let h be (-2)/(-4 + x/(-1)). Let a be h*(-2)/24*-2. Which is greater: a or 1?
1
Let l be 74/12 - 9/54. Suppose o - l*o = 10. Is -2 greater than o?
False
Let v = -8886/13 + 684. Which is smaller: v or 0?
0
Let l = 1177935/18613 + 2/18613. Let u = -63 + l. Is u at most as big as 1?
True
Let k be (32/(-80))/(88/10). Which is greater: k or 1?
1
Let a = 0 + 0. Let v = -8.8 - -8.9. Is a < v?
True
Suppose -3*w + 6*w = 0. Let a(v) = v**3 + v - 6. Let h be a(w). Let z be (h/(-8))/((-6)/(-4)). Which is smaller: 2 or z?
z
Let b be 2*(-2)/(-4)*1. Which is smaller: b or 1/7?
1/7
Suppose -3*n + 9*n + 54 = 0. Is n at most as big as -4?
True
Let a(u) = -7*u - 57. Let k be a(-9). Which is greater: k or -2?
k
Let s be (-18)/8 + 4 + -2. Let o = 5 - 4. Which is bigger: s or o?
o
Let j = 53/39 + -1/39. Let s = j + -14/15. Which is smaller: -4 or s?
-4
Suppose 3 = 3*k - 15. Let n be (4/(-6))/(k/(-9)). Are n and 1 nonequal?
False
Let y = -108.9 - -109. Which is smaller: y or 9?
y
Let l = 5 - -3. Is l < 5?
False
Let m(q) = 3 - 4*q + 2 - 6. Let s be m(-1). Suppose 5*l = s*y - 14, -10 = y - 4*y + 4*l. Which is smaller: y or -1?
y
Let q = 26 + -25. Which is smaller: q or -3/7?
-3/7
Let k(s) = -s**3 + 5*s**2 - 3*s - 2. Let q be (-74)/14 - 2/(-7). Let w be (q + -3)*1/(-2). Let t be k(w). Is t at least 1?
True
Let b be 0/((-4)/(1 + 3)). Suppose 3*t = -0*t - 3. Are b and t non-equal?
True
Let g be (1 - 3)*(0 + -2). Suppose -2*i + 4 = -g*k, 0 = -3*i + i - 2*k + 4. Is 1 > i?
False
Let u = 0.06 - -1.94. Let l = 5 - u. Is -0.1 not equal to l?
True
Suppose -2*o = -3*o + 4. Let m be o*((-5)/3 - -2). Is m > 0?
True
Let v = 60 - 43. Which is smaller: v or 7?
7
Let j be 21/3*-1*1. Let q be (16/(-10))/(2/(-10)). Let h = q - 15. Is h >= j?
True
Let w = -0.2 + 0.4. Let c be 4/(-48)*-4 - 2/24. Is c greater than or equal to w?
True
Let l = 32 - 36. Are 1 and l non-equal?
True
Let r be 10 + -10 - (2 + -1). Which is bigger: -3 or r?
r
Let k = 20 + -12. Let q(j) = j**2 + 9*j - 7. Let g be q(-10). Suppose -g*x + 19 + 5 = 0. Is x at most k?
True
Let x = -56 - -56.2. Which is smaller: 12 or x?
x
Let o be 4/18 - (-90280353)/2457. Let m = o - 36744. Let z = m - 1/13. Which is greater: z or 0?
z
Let c = 17 + -24. Which is smaller: -1 or c?
c
Let a be (-7)/((-140)/16) + -1. Which is smaller: 1 or a?
a
Suppose 3*f + 4*t = 10, -2*f + 4 + 12 = -2*t. Is -2/15 at least f?
False
Suppose -2*q + 8*q = 6. Are q and 2/7 non-equal?
True
Let q(o) = 4*o**2 - 14*o + 6. Let i be q(3). Let m be 3341/20 - 2/8. Let t = m + -168. Is t bigger than i?
False
Let f = -1/13 - 9/52. Which is smaller: f or 2/5?
f
Let r(m) = 5*m + 3. Let d be r(-13). Which is bigger: -61 or d?
-61
Let m be (2 - 4) + 2 + -1. Let s be (2 + 1 + m)*4. Which is bigger: 7 or s?
s
Let c = -4 + 6. Suppose -c*w = -3*w - 6. Let r(i) = i**3 + 6*i**2 - 1. Let o be r(w). Is o <= -1/5?
True
Let f be (12 - -2)/(0 + -1). Let o = -9 - f. Which is smaller: 9/2 or o?
9/2
Let x = -22 + 22. Which is bigger: x or -6/23?
x
Suppose 38 = 3*v - 5*q, -5*v = -q + 3*q - 53. Suppose 1 = -2*w + 5*u, 3*w + u + u + v = 0. Let d be ((-3)/2)/(9/12). Which is smaller: w or d?
w
Let w(x) = -x + 7. Let z be w(6). Let r be (-36)/(-9) - (-62)/(-16). Which is smaller: r or z?
r
Let p = -41/5 + 8. Which is bigger: 0 or p?
0
Let b(d) = 2*d**2 + 26*d + 21. Let r be b(-11). Is -1 > r?
True
Suppose -3*i + 6*i = -9. Let c = 2 + -5. Is i at least as big as c?
True
Suppose 0 = -3*x + 4*x + 4. Let s be ((-6)/9)/(x/(-6)). Which is greater: s or -2?
s
Let q = 8 