-22.89 - -23. Which is smaller: w or 0?
0
Let v be (-2 - (1 + -5)) + -1. Let q = -1 - 1. Let x be -2 - (3 + -1 + q). Is x greater than v?
False
Suppose 0 = -5*j - 0*j. Suppose 4*k + j*k - 16 = t, -5*t - 5*k = -45. Which is smaller: t or 3?
3
Let b = 1.7 + -0.5. Let u = 1 - b. Which is greater: -2 or u?
u
Let r = 10/101 + -47/3535. Which is smaller: 1 or r?
r
Let v = 1 - -2. Let c be (v/(-12))/(7/20). Which is smaller: c or -1?
-1
Let z = 0.2 + -0.2. Let x = z - -3. Let v = x - 3.1. Is v > 1/4?
False
Let m = 4.9 - 5. Let v = m + 0. Which is smaller: 0.1 or v?
v
Let y = 1.19 - 0.19. Which is bigger: y or 2/11?
y
Let k = -0.2 - 0.1. Let y = 41 + -6. Let i be (-4)/y + 4/10. Is i bigger than k?
True
Let x be (-2)/1 - 0/(-4). Which is smaller: x or -6/5?
x
Let m be ((-44)/(-24))/(-11)*(-6)/(-3). Suppose 0 = -w - 2*w - 3. Are m and w equal?
False
Let w(g) = g - 23. Let v be w(12). Is v less than -11?
False
Let o(q) = -q**3 + 24*q**2 + 54*q - 51. Let z be o(26). Is z less than 5/6?
False
Let a = 0.91 + 0.09. Let x = -5 + a. Which is smaller: 1 or x?
x
Let d(b) = -b + 6. Let m be d(5). Suppose -m = 3*q + 2. Which is smaller: -4/13 or q?
q
Suppose -4*z + z = 0. Which is smaller: -5/7 or z?
-5/7
Suppose -1 = -5*x + 4. Let i = -7 - -7. Are i and x equal?
False
Let o be 6 - 5 - ((3 - 0) + -1). Let l be ((-3)/(-4))/((-3)/2). Is l smaller than o?
False
Let k be ((-1)/(-411))/(7/(-1637)). Let x = 1/411 - k. Which is bigger: x or 0?
x
Suppose -4*k - 32 = 120. Is -39 greater than or equal to k?
False
Let t = -0.13 - 0.07. Let b = -0.1 - t. Is b > -11?
True
Let w = 0.23 + 0.07. Let j = 0.4 - w. Let c = 267/5 - 53. Is c bigger than j?
True
Let m = 4 + -8. Let z = -4.6 - m. Let p = z + 0.4. Which is smaller: -2/5 or p?
-2/5
Suppose -3*t - r - 7 = -6*r, -2*t + 4*r = 6. Is 10/9 equal to t?
False
Suppose -3*b + t = -1 - 1, b + 4*t + 8 = 0. Is -26/19 >= b?
False
Let k be -2 + (4 - 0 - 7). Is k less than or equal to -5?
True
Let o = -745/204 - -41/12. Is o greater than or equal to 1?
False
Suppose -2*z = y - 5*y, 0 = -3*y - 3*z + 18. Let q = -38 - -66. Let s be (-8)/q - (-18)/14. Is y at most s?
False
Let a = 0.3 + 0.7. Let p = -7 + 8. Let c = p - a. Is c <= -1/2?
False
Let c(b) = -b**3 + 4*b**2 + 4*b - 2. Let m be c(4). Is 14 bigger than m?
False
Let c = 4.33 - -0.17. Let v = c + 1.5. Which is smaller: 0 or v?
0
Let m be (-1)/(-4) + 15/(-12). Let o be -1 - m - 2/7. Let g(n) = n - 14. Let j be g(14). Is j at least o?
True
Let b(x) = x**2 - 2*x**2 + 1 + 10*x + 8 + 0. Let c be b(10). Let h = c - 11. Is h smaller than -2?
False
Let q = 22 + -20.7. Does 1 = q?
False
Let b = 0.12 - 0.48. Let n = -0.06 - b. Is -1/5 less than or equal to n?
True
Let h = -2 - 10. Let p be (-12)/(-2*(-9)/h). Is p at least as big as 7?
True
Let q = -6 - -7. Let p = -20/187 + 8/17. Which is smaller: q or p?
p
Let n = 2.278 + 0.022. Let a = -0.7 - n. Let g = 2.1 - 2. Which is smaller: a or g?
a
Suppose 6*b = 14 - 38. Let r be (3/(-3))/((-1)/(-2)). Let y be 3 + b - r/4. Which is greater: 0 or y?
0
Let j(b) = 3*b**3 + b**2 - 2*b + 1. Let w be j(1). Is 10/3 < w?
False
Let b be (4 + 6/(-3))/56. Are b and -1 equal?
False
Suppose -5*o + 26 + 15 = -4*a, -o + 25 = -5*a. Let w(c) = -c**2 + 6*c - 3. Let f be w(-7). Let t be (-2)/(-9) + f/18. Which is bigger: a or t?
a
Let m be (-3)/((-9)/4)*-3. Suppose -l + 2 = -4. Let z be 4/3*l/m. Is z != -3/2?
True
Let w be (5 + -24)*(-1 - 4). Let f be w/(-200) - 2/16. Which is smaller: f or -2?
-2
Let v = 15 + -51. Is -1 less than or equal to v?
False
Let l = -34 + 34. Is 2/19 greater than l?
True
Let c = -17.67 + -1.93. Let r = 17 + c. Let f = 0.6 + r. Is f at most -1?
True
Suppose j - 50 = -5*q, -5 = q - 2*q. Let b be (j/4)/((-1)/(-4)). Let a = b - 127/5. Which is smaller: -0.2 or a?
a
Let l = 5 + -2. Suppose 3*a = l*f - 12, 2*a + 4 = 5*f + a. Let m be 2 - (-3)/(-9)*7. Is m at least as big as f?
False
Let m = 1 - -3. Let q(f) = -f + 10. Let z be q(7). Which is smaller: z or m?
z
Let y(k) = -k**3 + 7*k**2 + 7*k + 8. Let t(i) = -18*i**2 - i - 1. Let f be t(-1). Let s be (f/(-1))/2 - 1. Let g be y(s). Which is smaller: g or 1/11?
g
Suppose -2*v = -4*v. Suppose s + v*s = 0. Is s smaller than 7?
True
Suppose -9*h - 260 = 4*h. Which is greater: h or -62/3?
h
Suppose -3*a - 6*k = -4*k + 6, 4*a = 3*k - 8. Let t = 22237/345 + -14/115. Let h = t - 65. Which is smaller: h or a?
a
Let p be (6/8)/((-6)/(-20)). Let k = p - 1. Which is smaller: 1 or k?
1
Let o be (-2)/4 + 2 - (-12)/24. Which is greater: o or 3?
3
Let i be 8/28 - 26/42. Is i != 51/5?
True
Let n be (-101)/4 - (-2)/8. Let c be (-330)/n + 1/(-5). Suppose 5*y + 12 = 5*j - c, -3*j - y + 3 = 0. Which is smaller: j or 1?
1
Let r = -0.36 + 0.06. Let a be 70/22 + 12/(-66). Let b = -11/4 + a. Is b at least r?
True
Suppose 4*j - z - 41 - 19 = 0, -4*j - z = -68. Suppose -5*c = -4*v - j, -4*c - 3*v = -3 + 15. Suppose c = -0*p + 4*p - 4. Is p > 1?
False
Let w = 8.9 - 9. Let y = -0.03 - w. Is 1/2 at least y?
True
Let i(h) = -h**3 + h - 3. Let q be i(4). Is q >= -63?
True
Let a = 0 + -1. Is -1 at least a?
True
Let y(c) = c**2 - 3*c - 3. Let i be y(4). Let t = -93/110 - -6/11. Is i at most t?
False
Suppose f - 2 + 1 = 0, 13 = 5*u - 2*f. Suppose u*o - 1 = -22. Do o and -7 have the same value?
True
Let y be ((-3)/(-5))/((-1)/(-5)). Let r = 32 + -30. Suppose y = -v + r. Is 0.1 at most as big as v?
False
Let x = 0.037 + 5.763. Let d = -0.8 + x. Is -0.2 less than or equal to d?
True
Let t = -15 + 24. Suppose -5*i + t = -21. Let y(r) = r - 6. Let d be y(i). Which is greater: d or -1?
d
Let g be 153/135 + (-4)/30. Which is bigger: g or -3?
g
Suppose 0*n + 2*s = -2*n + 18, -2*s = -6. Suppose 35 = -n*o + 3*o - 5*u, 0 = -5*o - 4*u - 41. Which is bigger: -3 or o?
-3
Let x = 0.093 + 0.007. Let j = 1.9 - 2. Is x < j?
False
Let r = -49 + 71. Let d = -22 + r. Let i = -0.07 - -0.67. Which is bigger: d or i?
i
Suppose -3*b = 2 - 5. Suppose 4 - b = 3*k. Let t = 106 - 743/7. Which is greater: k or t?
k
Let s be (7/2)/(6/12). Suppose s*n - 10 = 2*n. Let w = 4 + -1. Do w and n have different values?
True
Let p = 148 + -147.7. Let b = -2 + 4. Are p and b equal?
False
Let p(k) = 2*k**2 + k**3 + 2*k**2 + 2*k + 0*k**2 + 6. Let m be p(-4). Which is smaller: m or -1?
m
Let b = 3.7 + 1.2. Which is smaller: 1 or b?
1
Let k(i) = -i**3 + 3*i**2 + i + 5. Let u be k(3). Let r = u - 9. Is r less than or equal to 2?
True
Let o = -38 - -41. Which is smaller: 12/7 or o?
12/7
Let z = 0.05 + 1.95. Let t = 216 - 216.03. Is z bigger than t?
True
Suppose -4*w + 0 = 4. Let m be ((-90)/(-26))/(-3) - -1. Which is bigger: w or m?
m
Let q(a) = a**2 - 6. Let b be q(0). Let o = b - -6. Let f be 1*(o - -1 - -2). Does f = 2?
False
Let c = -9 + 8. Which is smaller: 3 or c?
c
Let y = -1 + 5. Let o be (-3)/2*(-1 + -2). Let b = o - y. Is 0 smaller than b?
True
Let n(m) = -m**2 - 13*m - 35. Let p be n(-14). Are p and -50 equal?
False
Suppose 4*b - 2 = 3*b. Let k be b - (0 + 1) - 4. Let a be (-136)/36 + 4/(-18). Which is smaller: a or k?
a
Let u be (2/6)/(2/(-3)). Let o = u + 7/10. Which is smaller: 0 or o?
0
Let t be (0/(-2) - 1) + 0. Which is smaller: -9/8 or t?
-9/8
Let x be (-2)/(-11) + (-210)/(-55). Let h be 1 + x/(-2) - -2. Are -1/4 and h non-equal?
True
Let w = 10 - 9.9. Let y = 0.2 - 0.1. Let x = y - 0.1. Which is greater: x or w?
w
Suppose -7 + 2 = -5*p. Let m = -1921 + 267020/139. Let z = m + 553/417. Which is smaller: z or p?
p
Suppose 9*n = 17*n + 24. Is -7/2 greater than n?
False
Let p = 8 + -7. Let w be ((-3)/(-1) - 4) + p. Suppose 5*q = -4*a + a - 13, w = -4*q - a - 9. Is -4/3 > q?
True
Let x(f) = f**3 - 3*f - 1. Let i be x(-2). Let r(w) = -8*w + 6. Let g(h) = -3*h + 2. Let o(p) = 11*g(p) - 4*r(p). Let m be o(i). Which is smaller: m or -2?
-2
Let h(o) = o**2 + 6*o - 1. Let m be h(-6). Which is bigger: m or -6?
m
Suppose 4*v - 3 + 3 = 0. Which is greater: -12 or v?
v
Suppose -5*s = 1 - 6. Let i = -62/3 - -21. Is i at least as big as s?
False
Let n = -6 + 5.9. Let p = n + 0.1. Does p = 1?
False
Let v = 0.16 + -0.56. Let u = 0 - v. Which is smaller: u or -1?
-1
Let b = 14 - 16. Which is bigger: 0 or b?
0
Let w = -0.1 + 0. Let y = w + -0.9. Let q = -3 + 4. Which is smaller: y or q?
y
Suppose 0 = -3*a + 2*a + 102. Let k be (66/28)/(69/a). Let p = k + -25/7. Is p greater than