u = -2 - -2. Which is bigger: m or u?
u
Let p = 52028263847705/81872 - 635482996. Let a = 1/688 + p. Let i = a + -229/1071. Is i bigger than 2/7?
False
Let r = -18 + 22. Suppose z + r = f, 5*f + 0*z = z. Is f > -0.2?
False
Let b = 0.26 - 0.15. Let y = b + -4.11. Let v = 0 + -0.1. Is v at least y?
True
Let q(r) = r**2 - 6*r + 6. Let j be q(6). Let t be 12/(-136)*j/9. Which is bigger: t or -1?
t
Let b = -7 - 4. Suppose 5*m - 4*z + 30 = 0, -4*m - 4*z - 60 = -0*m. Which is bigger: m or b?
m
Suppose 0 = 4*b + l - 2, -l + 0 = 3*b - 1. Let d = 10 - 9. Let w be (b + 1)/(2/d). Is w at least as big as 3/2?
False
Let f = -5 - -9. Let b = -48 - -47.9. Is f less than or equal to b?
False
Suppose 0*g - 5*g = 0. Suppose 5*a - 12 + 37 = g. Is -5 greater than a?
False
Let x be (-6)/(-55)*(6 + -1). Let c(u) = -u + 2. Let a be c(-9). Let b = 13 - a. Which is smaller: b or x?
x
Suppose q = -0*q + 13. Suppose 0 = -3*z - 1 + q. Which is greater: z or 3?
z
Suppose -3*l - 3*w + 8 = -2*l, 0 = 5*l - 2*w + 11. Is -8/9 at least as big as l?
True
Let v = -44 + 45. Which is bigger: 1/31 or v?
v
Let p = 4.03 + -0.03. Let a = p - 3.9. Does 1/4 = a?
False
Let g be ((-7)/(-741))/(1/(-84)). Let i = 32380/34219 + 2/1801. Let c = i + g. Which is greater: c or 1?
1
Suppose -4*a + 9*k - 39 = 4*k, -5*a - 4*k = 18. Suppose 5*h = 3 + 7. Let w be -1 - ((-4 - -6) + h). Is w smaller than a?
False
Let m be 4/6 - (-4)/(-6). Let s = -226/105 + 28/15. Which is bigger: m or s?
m
Let y be 3/(-3) - (-2 - 6). Let o = -4 + y. Suppose -12 = -o*x, 0*q = -2*q + 2*x - 12. Which is bigger: -1 or q?
-1
Let k(c) = c**2 + 2. Let l be k(0). Suppose 5*y + 5 = 4*f + 1, y = -2*f + 2. Is f bigger than l?
False
Let v = -213/40 + 45/8. Is v at most -1?
False
Let o = 1 + 2. Let g = 2/147 + 341/147. Is g equal to o?
False
Let s = 43 + -44. Which is smaller: s or -1.7?
-1.7
Let r = 4 - 2. Let q be -5*r*1/2. Let x be -7 - (6 + -2)/(-2). Is q less than or equal to x?
True
Let s be 4*2/4 - 0. Suppose s*l = -l. Suppose l*u - 2*u = 0. Is u not equal to 3/5?
True
Let v be (-6)/(-21) - 24/(-14). Are v and 1/2 nonequal?
True
Suppose 33 = -5*n + 28. Suppose 2*q + 385 + 105 = 0. Let w = -1963/8 - q. Is n equal to w?
False
Let r = -136/5 - -12099/445. Is r less than -1?
False
Suppose -4*b - 8 = -5*h + 21, -3*b + 4*h - 23 = 0. Let v = 4475/21 - 213. Let s = 3/7 - v. Does s = b?
False
Let p = -70 - -43. Let r be (4/(-20))/(8/(-1090)). Let v = r + p. Is v less than 0.1?
False
Suppose 1 - 79 = -6*f. Let g be (-1)/2 + 46/4. Is f >= g?
True
Let w = 4 + -7. Let v = -1 + w. Which is smaller: v or -3?
v
Let j = -6912 + 2246398/325. Is j <= 1?
True
Let i = 8 + -7. Is 5 at least i?
True
Let h = -2.866 + -0.134. Which is bigger: -0.1 or h?
-0.1
Let h = -4.84 - 0.16. Let f = 9 - 3. Let s = 6 - f. Which is smaller: s or h?
h
Let z = 15 + -24. Let u = z + 13. Suppose -3*d + 5*f = -u, -4*d - 3*f - 12 = -d. Is d at least 0?
False
Let a be ((-28)/8)/((-1)/6). Let u = a + -13. Suppose u*w = 3*w. Which is bigger: -2 or w?
w
Suppose 6*u = u. Which is bigger: 4/5 or u?
4/5
Let z = 19.9 - 20. Let n = 0.07 - 0.24. Let j = -0.2 - n. Which is smaller: j or z?
z
Let m = 41 + -44. Let z(j) = j**3 - j**2 - j - 1. Let i be z(-1). Which is bigger: i or m?
i
Let f = 46 + -53. Which is smaller: f or -10?
-10
Let m = -0.6 - 1.4. Which is greater: -7 or m?
m
Let m = -0.63 + 13.13. Let p = 8.4 - m. Let h = 4 + p. Is -2/5 <= h?
True
Let g = 93 + -90. Which is bigger: -4 or g?
g
Let f = -13.3 + 23.1. Is f at most as big as 2/3?
False
Let b be (-1)/2*(15/5 + -3). Is -7/18 less than or equal to b?
True
Let f(b) = b**3 + 9*b**2 - 1. Let x be f(-9). Which is greater: x or 14?
14
Let r be (-2 - 1) + (24 - 20). Let z be 3/12 - (-10)/(-8). Let k be (z - -1)*3/6. Is r less than k?
False
Let j = 3 + -8. Let r = -7 - j. Let h = -3/25 - 19/50. Which is smaller: h or r?
r
Let h be 4/(-12) + 40/(-6). Let o = h + 5. Is o != -1?
True
Let g = -12.9 + 13.79. Let v = 0.11 + g. Is v at least as big as -1/4?
True
Suppose -b = 4*b + 20, 5*b + 15 = 5*n. Is n less than 20?
True
Let a(x) = 0*x + 2 - x**2 + 2*x + x**3 - x. Let m be a(0). Is 2 smaller than m?
False
Let n(m) = -m + 3. Let q be n(9). Let g = -6 - q. Are -2/9 and g equal?
False
Let a be (-2)/3 - 178/6. Let o be 83/6*2 - -2. Let w = a + o. Which is greater: -0.06 or w?
-0.06
Suppose -74 + 9 = -13*i. Is 4 greater than i?
False
Let m = 42 - 30. Suppose -6*l = -2*l + m. Let x = -7 - -5. Which is greater: x or l?
x
Suppose 1 = 5*s + 16. Which is bigger: -7 or s?
s
Let h = -0.05 + 0.15. Let s = 8047/4 + -1971. Let k = s - 41. Is h at most as big as k?
False
Suppose -x + 12 = -3*d - 0*d, d = 2*x + 1. Let g be ((27/6)/x)/(-9). Let c = 1 - 0. Which is smaller: g or c?
g
Let l = 0.517 - -0.083. Is 0.8 < l?
False
Let w(n) = 5 - 3*n**2 - n**3 + 2*n**2 + 0*n**3 - 2. Let t be w(0). Is t greater than 2?
True
Let o = 0.541 + 0.059. Which is greater: o or -5?
o
Let p = 1.15 - 12.05. Let y = -10 - p. Let b = y + -0.8. Is 0 at least b?
False
Let d = -6 + 5.7. Let z = d + 0.4. Let n = z + -0.1. Which is smaller: n or 2/3?
n
Suppose -4*h + 5 + 3 = 0. Is h smaller than 1?
False
Let w = 68/3 + -23. Let l be (0 + 7/(-2))*-10. Let d be (-10)/l*(0 - -1). Is d less than or equal to w?
False
Let i = -31.1 - -31. Which is greater: 0.6 or i?
0.6
Let n = 25 + -40. Let d = n - -14. Which is smaller: d or 3/8?
d
Let d = 16 - 10. Which is smaller: d or 7?
d
Let c = -350 + 12601/36. Which is smaller: 0 or c?
0
Let a be (2/15)/(3/(-9)). Is 2/35 at most as big as a?
False
Let n = -28/9 + 83/18. Let k = 4 + -4.4. Let x = 1.4 + k. Is x at most as big as n?
True
Let z = -99 - -95. Is z bigger than -3?
False
Let w = -4 + 0. Suppose -z = 4, 3*j - 5*j - 5*z = 30. Is j smaller than w?
True
Let v = -20 - -27. Is 2/3 at most v?
True
Let p be (-782)/14 + 3 + -1. Let j = p + 54. Are j and -1 equal?
False
Let j = 2.5 - 0.5. Let t = 63 - 66. Is j bigger than t?
True
Let v = 33 - 34. Which is greater: v or -2?
v
Suppose -7*k + 5 = -2*k. Which is smaller: k or 9/7?
k
Let g(t) = -t**3 - 4*t**2 + t - 1. Let u be g(-2). Let y = 13 + u. Let v be (-4)/2*(-4)/16. Is v >= y?
False
Suppose 2*a - 25 = 7*a. Let t be 6/30 - 39/a. Is t < 7?
False
Suppose 3*q = -0*l + 3*l, 0 = q + 5*l - 24. Suppose -q*r + r = -6. Is 1/7 at least r?
False
Let u = -3 - -6. Suppose u*t = -t + 44. Suppose j = -5*q - 0*j + 1, -q - t = 3*j. Which is smaller: 0 or q?
0
Suppose -6*l - 2 = -7*l. Suppose -l*n - 4 = -4*n. Which is smaller: 1/2 or n?
1/2
Let c(j) = -j**2 - 6*j - 4. Let h be c(-6). Let k be ((-5)/h)/(7/(-4)). Which is smaller: -2 or k?
-2
Let m = 7 + -4. Suppose -3*h + 2*h = -m. Is h less than 3/2?
False
Let k(r) = -26*r**2 - 2*r + 1. Let a = 1 - 0. Let d be k(a). Let g be 2/(-36) - 6/d. Is g at most as big as -1?
False
Let f = -23/45 + 2/5. Which is bigger: -0.2 or f?
f
Suppose s = 5*b + 15, 3*s - 3*b - 3 = -6. Let j = 1 + s. Is -5 at least j?
False
Let a = -9 - -5. Let l(y) = y + 1. Let n be l(a). Let i be n*(-8)/(-14) - -2. Is -1 at most i?
True
Let q be (-2)/(-9) - 1/(-9). Let h = 11 - 7. Let b = h + -6. Is b at least q?
False
Let y = -0.23 + 0.32. Is y != -1?
True
Let q(f) = 4*f**2 + f - 11. Let x(h) = 3*h**2 + 2*h - 10. Let w(p) = -4*q(p) + 5*x(p). Let d be w(4). Suppose d*s = 3 - 1. Which is smaller: 3/7 or s?
3/7
Let r = -801/8 - -101. Which is smaller: r or 1?
r
Let d = 5 - 10. Let j(i) = -i - 6. Let z be j(d). Is z smaller than -2?
False
Suppose -g = 4*g. Let k = 8 + -6. Suppose 0 = t - 5*q + 6, g*t + k*t - 5*q + 7 = 0. Is t less than or equal to -1?
True
Let u be (2 - 3)*2/2. Let y = -4 + 5. Which is greater: u or y?
y
Let y = -2 + 4. Let x(f) = -16 + 7 + 8*f - 2*f + f**2. Let d be x(-7). Which is smaller: d or y?
d
Let p be 3/((-162)/4)*-1. Let b be (-1 - -1)/(3 - 4). Is p less than or equal to b?
False
Let q = 11 + -16. Let s = q - -7. Suppose a + 4 = 0, -12 = -4*h - a + s*a. Does h = 0.1?
False
Suppose 17 = 4*l - 3. Suppose 2*y - y + 3*w = -6, -y + 18 = -l*w. Is 3 >= y?
True
Let f be (-749)/(-35) - (26/(-10) - -3). Is f greater than or equal to 21?
True
Suppose -7 = -5*y + 18. Let a = 8 - y. Suppose 4*t = a*n + 6, 4*t + t = 5*n + 10. Which is bigger: t or 2/3?
2/3
Let h = -3/7 + 8/35. Is h greater than or equal to 1/4?
False
Let r = 9 - 16. Let w = r - -8. Are w and 1/5 unequal?
Tr