et h = 1.8 - -5.2. Let q = h - y. Which is greater: 4 or q?
4
Suppose 5*s = -9*s - 14. Let v = -14/3 + 5. Which is greater: s or v?
v
Let i(j) = -j**3 + 2*j**2. Let l be i(3). Which is smaller: -8 or l?
l
Suppose 0*x + 16 = -2*x. Let y = 6 + x. Is y at least as big as -4?
True
Suppose -3*n - 11 - 18 = h, -2*h = 10. Is n < -8?
False
Let f(g) = -3*g**2 + 6 - 7*g + 1 + 4*g**2. Let r be f(6). Which is bigger: 3 or r?
3
Suppose -n = -2*n + 24. Which is smaller: 23 or n?
23
Let h = -65 + 2277/35. Let k = h + -1/5. Is 0 at most k?
False
Let m be 13/(-99) + 6/27. Let f be 105/66 + 1*-2. Let r = m - f. Which is greater: r or 1/6?
r
Suppose 0*v = 5*v - 110. Let f be 1/(-4) - v/(-24). Which is smaller: -3 or f?
-3
Let o = -25 + 40. Let d = o - 15.9. Let m = d - -0.8. Which is greater: 3 or m?
3
Let d = -5/14 + -13/42. Is d at most 2?
True
Let f(u) = u**2 + 5*u - 9. Let t(y) = -2*y**2 - 9*y + 17. Let i(o) = 7*f(o) + 4*t(o). Let m be i(0). Let v = m + -2. Which is bigger: v or 4?
4
Let l be 30/14 + (-2)/4*2. Is l < -1?
False
Let z = 0 - -2. Let i = 6 + -7.2. Let k = -0.2 - i. Which is smaller: k or z?
k
Suppose 5*x - 2*x = 9. Suppose -q - x = 4*y, -3 = -3*y + 2*y + q. Suppose -3*c - c = 0. Is c less than y?
False
Let l = 149 + -157. Which is smaller: l or -14?
-14
Let l = -16 - -1. Let c = 15.1 + l. Is c at most 1/5?
True
Let n = 275/2 - 133. Is n smaller than -1/3?
False
Let l = -705 + 4927/7. Does l = -2?
False
Suppose -2*f - 5*y + 3 + 24 = 0, 0 = 5*f - 5*y + 20. Let w be (f + 4)*2/(-5). Let p be (2 - 9/6)*w. Which is greater: p or 0.1?
0.1
Suppose -a + 6 = 3*o, 0 = 4*o - 2*a + 7 - 25. Suppose 8 = o*x - 4. Suppose 5*r + x = 3*d, 0 = 2*d - d - 5*r + 2. Is 2 equal to d?
False
Suppose -66 = 5*z - 6*t + 2*t, 4*z + 57 = -t. Which is smaller: -16 or z?
-16
Suppose -4*k = 5 - 1. Let u = -2 - -1.8. Let h = u - -1.2. Which is smaller: h or k?
k
Let o(y) = -2*y + 4. Let a be o(5). Is -6 > a?
False
Suppose 0 = 4*f, -3*v + 3 = -2*v + f. Suppose b = -5*q + 7, -2*q - v*b = -0*q + 5. Let s = 36 + -35. Is q smaller than s?
False
Let g = -1.52 - -1.53. Is 0.08 smaller than g?
False
Suppose -q = -2*q - 2. Is -3 not equal to q?
True
Suppose 0*c = c. Suppose c = 4*r - 10 + 2. Let b be ((0 - 0)/r)/(-1). Which is greater: b or 1/5?
1/5
Suppose -2*z = -7*z + 10. Which is smaller: z or 11?
z
Suppose 4*s = 2*s. Which is greater: -1/26 or s?
s
Let r = -7 + 5. Let v be (0/(-1 + 3))/r. Suppose v = 4*f + 4*u - 3*u, -4*f = -3*u. Is 1 at least f?
True
Let s be (-8 + 0)*1/14. Let w be 2/(4/6) - 15. Let i = -34/3 - w. Which is smaller: i or s?
s
Let y be 6/(-8)*(1 - -3). Suppose 5*a + 29 = 3*i, 4*i = -2*a + 5 - 1. Is a > y?
False
Let m = -3 - -5. Suppose u = m*u. Are 3/4 and u equal?
False
Let w = -0.01 - 1.99. Is w at least -1?
False
Let c = -0.15 + -0.85. Is c less than or equal to 0.3?
True
Suppose -3*j - 19 = 4*z, -5*j + 9 = -2*j. Suppose -2*a = -2*x - 10, -x - 8 = -3*a - 5. Which is greater: x or z?
x
Let u = 1.06 + -0.06. Which is greater: -3 or u?
u
Let n = 29 - 25. Which is smaller: 2/5 or n?
2/5
Let c be ((-244)/(-10))/((-126)/(-10)). Let t = c + -20/9. Is 0 greater than t?
True
Let n = -4 + 6. Let l = n + -3. Let j be l/1*1/1. Is 0 at least as big as j?
True
Let i be (-172)/14 + (-2)/(-7). Let j = 64 + -61. Let s be 8/i - (-5)/j. Which is smaller: s or -2/5?
-2/5
Let o = 3.8 - -0.2. Is o greater than or equal to -1?
True
Suppose 2 = d - 1. Let u be 17/(-30) - (-2)/d. Which is smaller: 0 or u?
0
Suppose 3*k + k - 16 = 0. Let f be (24/10)/k - 1. Are 3/5 and f unequal?
True
Let q be ((-24)/(-228))/(1/4). Is q at most as big as -1?
False
Let f be (4/6)/(2/(-3)). Let i(d) = d - 5. Let s be i(-6). Let c = s - -9. Which is bigger: f or c?
f
Let s be (-6)/(-18)*(-1 - 0). Let k = 5 + -5. Let m be ((-4)/(-28))/(1 + k). Which is bigger: m or s?
m
Let g = -4777 + 186293/39. Let c = g - 67/195. Which is greater: -2 or c?
c
Let y be 1*2*(2 - 1). Let n = 1 + y. Let r be (3 - 3) + (-1 - -4). Does r = n?
True
Let t = -9 + 14. Suppose 4*g = -t*z + 15, 0 = g + 4*z - 3*z - 4. Suppose 2*m = -g*l - 12, -2*m + 0*m - 12 = l. Is m >= -2?
False
Let s(v) = -v**3 - 2*v**2 + 2. Let q be s(-2). Suppose -n - 4 = q*b - 0*n, 0 = -5*n - 20. Is 2 less than b?
False
Let k = -41 + 32. Which is smaller: k or -25/3?
k
Let w = -187/4 - -47. Which is smaller: w or -2/7?
-2/7
Let c = -6701/22 + 1219/4. Let z = c - -1/11. Let s = -205 - -207. Which is smaller: s or z?
z
Let d be 1 + 3/(-3) + 8. Let r be 0 + 1 + d/(-3). Suppose -3*b + 3 = -6*b. Which is bigger: r or b?
b
Let s = 3/28 + -79/84. Suppose -3*d + u - 6*u = -20, u - 4 = -3*d. Is d not equal to s?
True
Suppose 6 + 4 = 5*k. Let j = -72 - -155. Let v = 169/2 - j. Which is greater: v or k?
k
Let o = 0.049 + 0.951. Is -14 bigger than o?
False
Let a = -0.89 - 0.11. Is a at most as big as 1.5?
True
Let o = 943/7 + -135. Suppose 0 = -3*x + 12 + 6. Suppose 5*m - 2*m = -x. Are o and m unequal?
True
Let v(k) = 15*k + 4. Let m be v(2). Suppose 0 = -4*g + s + m, -3*g = -8*g + 2*s + 41. Which is bigger: 10 or g?
10
Let d be 5/10*((-3 - 1) + 0). Which is smaller: 0.6 or d?
d
Let h be (-74 - -2)*(2 - 3). Let n be (-6)/(-8) - (-70)/h. Let r = n + -20/9. Is r <= -0.1?
True
Let s be -1 + -1*(-6)/1. Suppose x - s*q = -0*x + 13, -3*x = 3*q - 21. Is 8 greater than x?
False
Suppose -4 = -q, 3*q = 3*l + 6 + 3. Which is greater: 2/11 or l?
l
Let v = -1.5 + 3.2. Let f = v + 0.3. Is f at least as big as -3/7?
True
Let f = 0.7 + -1.2. Let z = 1.5 - f. Is -0.1 < z?
True
Let y = -23 - -22. Is -2 less than or equal to y?
True
Let s be ((-9)/(-6))/(9/12). Let j be s - ((-3)/9)/(-1). Which is bigger: 1 or j?
j
Let i be 3*4*-2*(-4)/(-48). Let x = 2.1 + -3. Let j = x - 0.1. Is i less than or equal to j?
True
Let w = 4 - 19. Let l = -11 - w. Which is smaller: l or 0?
0
Let l = 25 - 17. Let m be (-1 + 7)/(12/l). Suppose 0*g + 6 = -3*g + 3*z, -m = -3*g - 2*z. Which is smaller: g or 1/3?
g
Let x = -13 - -35. Let f be (x/(-55))/((-1)/(-5)). Is -2 at most as big as f?
True
Let p = -8 + 14. Let o = 6.1 - p. Which is smaller: o or -0.1?
-0.1
Suppose 0 = -3*f - 2*f - 15. Let t(h) = -h**3 + 4*h**2 - 2*h - 4. Let q be t(3). Which is bigger: q or f?
q
Let q = -6.21 + -0.39. Let g = -0.8 - -6.8. Let v = g + q. Is v at least 1?
False
Let q = 10 - 19. Let p be (q/(-3) - 4)*-5. Suppose d + a = 0, -p*a - 24 = -4*d + d. Is d smaller than 3?
False
Let d be (-8)/(-10)*(-5)/(-2). Suppose 0 = 3*b - p - 3 + d, -2*b + 14 = -4*p. Is b <= -2/3?
True
Let t = -1 + 1. Let g = -6 + 8. Suppose -5*o + 8 = -g. Is t at least o?
False
Let z be 12/(-66) + 8/(-77). Is -1 <= z?
True
Let b = 0.01 - -1.99. Let m = b - 1. Let k = -723/77 - -67/7. Is k != m?
True
Let t = -0.4 + 1.4. Let z = 1.1 - t. Let j = 6 + -6.4. Which is smaller: z or j?
j
Let n be ((-153)/(-6))/((-114)/53). Let f = n + 47/4. Which is bigger: f or 0?
0
Let y = -12 + 22. Is 10 != y?
False
Let o = 163/646 + -5/34. Which is smaller: o or 0?
0
Let a = -8594 + 2913368/339. Let v = a - -652/4407. Which is bigger: v or -1?
v
Let o be -1 - ((-2)/(-2) + -1). Let n be (-4 + 6 - -1)/13. Which is bigger: o or n?
n
Suppose 12 = -3*f, -2*t - 2*f = -f + 16. Let c(s) = 0 + 2*s + 10 - s. Let b be c(t). Is 4 <= b?
True
Let w = -5 - -3. Is w < -3?
False
Let o be (-7 - 25/(-5)) + (-1 - 0). Let q = 4 - 9. Which is smaller: o or q?
q
Let y = 159 - 158.5. Is 1 at least as big as y?
True
Suppose 4*y = -4*w - 156, 2*w - 5*w = -5*y + 77. Which is smaller: -32 or w?
w
Let a = 2127/17 + -125. Which is smaller: a or 1?
a
Let j be 7/(-2 + 2 + 1). Let z = 27/4 - j. Let q = -2 - -3. Is z at least q?
False
Let n(w) = -w - 2 - w + 0*w + 3*w. Let f be n(3). Is 7/5 > f?
True
Let a = 1360 - 6774/5. Is 4 less than a?
True
Let g = -24 - -23. Is g < 14?
True
Let u = 2 + -2.1. Let g = -0.01 + 0.11. Let x = g - u. Which is bigger: x or -2/9?
x
Suppose 4*k - k = -4*h + 20, 15 = -4*k + 3*h. Suppose 3*a - a - 14 = k. Suppose -4*x + 17 = -c, 0*c + 3*c + a = x. Do c and -3/4 have different values?
True
Let c be 9/(-1*12/16). Is c greater than -14?
True
Let y = -533/4 - -135. Let l = y + -5/2. Suppose -4*n - 1 = -f, -5*f - 7 = -5*n - f. Is l smaller than n?
False
Suppose -5*v - 5*s = -s, 3 = -2*v - s. Let f = -23 - -38. Suppose 2*c + 2*c + 15 = y, 0 = -3*y - f. Which is smaller: c or v?
c
Let p(c) = -6*c 