j - 8 = -3*a - 1. Suppose 2*z - 2 = n - 12, z - 4 = -a*n. Is 3/5 at most n?
True
Let f = 3/24475 - 6486091/1762200. Let a = f - -33/8. Let t = a - 10/9. Is t != -0.3?
True
Let a be ((-45)/(-160))/((-30)/(-8)). Which is smaller: a or 1?
a
Let j be 6/2 - (-4 + 2). Suppose j*h = 3*h + 14. Let a(s) = -6*s**3. Let k be a(-1). Is h at most k?
False
Let v = 4 - 3.95. Let p = 0 - 0.1. Which is smaller: p or v?
p
Suppose -l = -2*l + 3. Suppose -22 = l*w - w. Let m be 3*(w/6 + 2). Which is bigger: m or 0?
m
Let w = -0.12 - -0.82. Let u = 0.6 - w. Which is smaller: -2/11 or u?
-2/11
Let o = -0.101 + 0.081. Which is greater: o or 0.2?
0.2
Let n = 29.8 + -33. Let g = 0.2 + n. Which is smaller: g or 1/3?
g
Let v be -4 - (-368)/182 - -2. Is v at most 0?
False
Let y = -14 + 15.4. Let t = -2.4 + y. Which is greater: 0.3 or t?
0.3
Suppose 0 = k - 4*x - x + 9, 0 = -3*k - x - 27. Let g = k - -10. Let d = -3 + 3. Is g at most d?
False
Let g be -6*(-2)/(-4) + 3. Which is greater: -5/7 or g?
g
Let w be (2/(-4))/((-21)/2718). Let k = w - 65. Let u = -3 - -3. Which is bigger: k or u?
u
Let b(i) = i**3 - 7*i**2 + 5*i + 5. Let z be b(6). Let k = z + 1. Let a = -46/119 - -9/17. Which is smaller: a or k?
k
Let n be ((-23)/3)/((-4)/(-21)). Let y = n + 41. Is -1/2 >= y?
False
Let h = -6 - -16. Is h greater than 10?
False
Let c = 16 - 50/3. Is c less than 2?
True
Suppose 6*d = d + 5. Suppose 5*c - q = -43, 2*c - 5*q + 5 + 3 = 0. Let n be c/(-6)*4/(-30). Which is smaller: d or n?
n
Let n be -6*(3/2 + -2). Let p = -5 + n. Is p greater than 1?
False
Let m(r) = -r - 1. Let x be m(0). Let d be (13/5)/(2/5). Let n = d + -7. Which is bigger: n or x?
n
Let a(m) = -5*m**2 - 8*m - 7. Let j(x) = 10*x**2 + 17*x + 15. Let h(q) = 13*a(q) + 6*j(q). Let r be h(-1). Is -4 < r?
False
Let q(u) = u**2 + 1. Let j = 3 + -3. Let t be q(j). Which is smaller: 8/5 or t?
t
Let i = 1/6215 - -12213/1348655. Let d = 209/868 + i. Which is bigger: d or -15?
d
Let s = 604 + -13890/23. Is s < 0?
False
Suppose -60 = 4*r + 3*l, 2*r = 4*r - l + 20. Let p be -3*(1 - r/(-9)). Suppose -5*k = 3*u - 2 - 2, -4*k + 6 = u. Is k equal to p?
False
Suppose -12 = -4*i, -b + 3*i - 19 + 7 = 0. Is -2 greater than or equal to b?
True
Suppose l + q = 6*l + 11, 0 = -4*l - 3*q - 24. Which is greater: 0.6 or l?
0.6
Let z be 5/(-3) - 9/27. Let b(w) = -w**3 - 2*w**2 - 2*w - 3. Let f be b(z). Let g(r) = r + 2. Let s be g(-2). Is f >= s?
True
Let d be 138/57*-1 + 2. Let g = d - -18/133. Suppose 4*w + 0*w - 2*r + 12 = 0, -3*r = -5*w - 17. Which is smaller: g or w?
w
Suppose 4 = 7*z - 3. Is z >= 3/44?
True
Let a = 15.5 + -15.4. Which is bigger: -86 or a?
a
Suppose 1 = -4*z - 3. Let y be (-3)/(-3)*(-1 - z). Do 0 and y have different values?
False
Let h = -0.1 - -0.1. Suppose 0 = r + 3*r + 4. Let k be ((-5)/(-10))/(r/2). Are k and h nonequal?
True
Suppose -8*r + 16 = -4*r. Suppose 4*c - 3 + 39 = -2*f, -3*f = -r*c - 16. Is c > -5?
False
Let n(t) = -21*t. Let c be n(-1). Let b = 2/2079 - 89401/4158. Let q = b + c. Which is smaller: q or -1?
-1
Let j = -0.8 - 0.2. Let r = 4 + -6. Let w = r - -2.2. Which is greater: j or w?
w
Suppose 2*m - 3 = 1. Let s = -8 + m. Are -2/5 and s nonequal?
True
Let r = -47/85 - -6/17. Let a(m) = -2*m - 3. Let l be a(-2). Is r != l?
True
Let d = -0.4 - 0.6. Let c = d - 0. Let l = c + 0. Which is smaller: l or -1/2?
l
Let p be (-44)/6 + 4/(-6). Let b be -1 + (p/(-2))/4. Which is bigger: 1/2 or b?
1/2
Let f be (-11)/33 - (-14)/24. Do 1 and f have different values?
True
Let b be ((-6)/(-4))/(3/(-4)). Let q(g) = -g**2 + 7*g - 1. Let h be q(6). Let s(z) = z**3 - 4*z**2 - 4*z - 6. Let j be s(h). Is j bigger than b?
True
Let d = 9 - 8.89. Is 1 at least as big as d?
True
Let y(o) = -o + 3. Let k be y(3). Which is bigger: 10/9 or k?
10/9
Let m be 16/(320/(-30))*(-8)/(-6). Suppose 5*v - 5*u = 10, 3*v - 6 - 6 = -3*u. Suppose 5*a - 4 = -2*c, -4*a - 2*c + 10 = v*c. Which is smaller: m or a?
m
Let i = -0.09 - -4.09. Is -0.1 at least i?
False
Suppose 0 = 2*d + 2*d. Is d at least 0?
True
Let s be 1/2 + 1 + 102/(-4). Do -26 and s have the same value?
False
Let g = 0 - -1. Let h = 0.5 + -9.5. Let v = h + 7. Which is greater: v or g?
g
Suppose -3*b - 2*x = -8, 0 = -5*b - 3*x - 2*x + 20. Suppose -w + 1 = -5*h, 0*w + h - 7 = -w. Let t be 2*(w/4)/3. Which is smaller: t or b?
b
Let p(w) = w + 1. Let d be p(-1). Suppose 51*i - 45*i = -30. Which is smaller: d or i?
i
Let f = -404549/123 - -3289. Is 1 < f?
False
Let w = -3/373 - 701/5595. Let u(i) = i**2 - 5*i - 5. Let q(k) = k + 15. Let l be q(-9). Let o be u(l). Is w greater than or equal to o?
False
Let m(t) = -t**3 + 11*t**2 - 9*t - 10. Let i be m(10). Suppose 4*q - 36 = -4*j - 0*j, i = -j. Is q < 9?
False
Let j = 127 + -179. Let v be 1561/1612 - (-8)/j. Let y = -3/4 + v. Is 0 at least as big as y?
False
Let x = 0.6 - 0.8. Let j = x + 0.1. Do 2 and j have the same value?
False
Let o be (-2)/(-12) - 4/6. Let v = -5653/14 - -404. Let u = o + v. Which is greater: u or -1?
u
Suppose -a + 24 = 3*a. Let j = 2 - 2.2. Let h = j + 0.1. Which is smaller: a or h?
h
Let x = -59 - -172/3. Which is smaller: x or -3?
-3
Let j = -0.05 + 0.12. Which is smaller: j or -1/2?
-1/2
Let i = -1424/9 + 158. Is i at most as big as 0?
True
Let n(c) = 2*c + 1. Let y be n(-1). Let s(p) = -p**2 + 14*p - 14. Suppose -d - 26 = -3*d. Let r be s(d). Is r < y?
False
Let z = -0.04 + 0.05. Let u = 0.09 + z. Which is smaller: -3 or u?
-3
Suppose -t - t - 2*x = -24, -t - 2*x + 15 = 0. Which is smaller: 10 or t?
t
Suppose -b = 3*b + 5*g + 51, 2*b + 4*g + 24 = 0. Which is greater: -11 or b?
-11
Let i(x) = x + 12. Let l be i(-10). Suppose 2*y + l = 6. Is y smaller than 2?
False
Let w be (-4 - -10)*61/3. Let g = w - 1219/10. Is g greater than or equal to -1?
True
Let k = 3 - -3. Suppose 0 = 3*i + 3*t - 24, -2*i + 5*t = -0*t - 16. Which is bigger: i or k?
i
Let v be 3/(-9) + 1 + (-64)/(-36). Which is greater: v or 3?
3
Let y be ((-2)/(-6) - -2) + -1. Is y less than or equal to -1?
False
Let f = -13.71 - 0.29. Which is greater: -1 or f?
-1
Let g(n) = -n**2 + 17*n - 10. Let y be g(16). Let x = -2 - -1. Which is bigger: y or x?
y
Let f = 1 - -5. Let h = -6.1 + f. Which is smaller: h or 1?
h
Suppose 0 = -5*f + 1 + 9. Does 13/4 = f?
False
Let h = -2.768 - -0.028. Let d = 0.26 - h. Are -0.4 and d equal?
False
Let k be 34/28 + 1 + (-15)/21. Which is greater: k or 3?
3
Suppose 2*t + 2*j = 8, -j = 4*t + 2*j - 15. Suppose t*f = 3*g - 15 - 0, -5*f - 25 = -3*g. Let l be (g + (-2)/8)*2. Which is smaller: -1 or l?
-1
Let r be ((-8)/(-12))/(2/3). Is r >= 8/5?
False
Let z = 0 - -9. Let m = -9.2 + z. Are -1/4 and m equal?
False
Suppose 5*i = -2*v + 27, 10 = 4*v + 4*i - 14. Let c = v + 5. Let s be ((-6)/(-8))/(c + -3). Which is smaller: s or 0.3?
s
Let d = -18.7 - -18.7. Are d and -87 equal?
False
Let r be ((-7)/(-1))/(-1)*-1. Let z = 11 - r. Suppose 0 = z*j - 4 - 0. Which is smaller: 0 or j?
0
Suppose 1 = -3*m - 23. Is -8 <= m?
True
Suppose -5*w = -5*a + 10, -4 = 4*w - 3*a + 4. Is -2 at least as big as w?
True
Let h = 22 + -22. Is h smaller than -0.9?
False
Let s = 11 - 8.6. Let j = -0.61 - -0.01. Let p = s - j. Is p <= -3?
False
Let d be 2*3*(-3)/(-27). Suppose 2*g - 3*i = 7*g + 32, 0 = -4*g - 4*i - 32. Let u = -5 - g. Which is smaller: d or u?
u
Let q = -3 - -2.8. Let t = 0.4 + q. Let h = -0.046 + -0.154. Which is greater: h or t?
t
Let m = -63/5 + 13. Let l = 2 - 1. Do m and l have different values?
True
Let w(j) be the third derivative of j**5/60 - j**4/6 + j**2. Suppose t = 5*x - 0*x - 22, 0 = x - 5*t - 14. Let l be w(x). Which is greater: l or 1/4?
1/4
Let m(k) = -1. Let a(d) = d + 5. Let i(u) = a(u) - 4*m(u). Let o(n) = -n**2 + 5*n - 3. Let v be o(6). Let w be i(v). Which is greater: w or 1?
1
Let f = 8 + -5. Let u = -7 - -7. Suppose u = l + 1 - 3. Which is bigger: l or f?
f
Let v(u) = -u**3 + u**2 + u + 6. Let p be v(0). Let f = p + -6. Which is smaller: 2/19 or f?
f
Suppose -2*h = -7*h. Suppose h*y - 4*o = -4*y + 16, -4*o = -5*y + 23. Let m(k) = -k + 14. Let w be m(8). Is w < y?
True
Suppose -h - 105 = -3*l, 0 = -4*h + 1 + 11. Let f = 0 - 2. Let i be f/(-90) + (-8)/l. Is 1 at most i?
False
Let z(t) = -2*t**2 + t + 3. Let p(r) = -r**2 + r + 1. Let x(n) = -3*p(n) + z(n). Let w be x(1). Let d(f) = -f**2 - 2*f + 5. Let c be d(-4). Is 