True
Let m = 1.49 + -0.49. Which is greater: m or -7?
m
Let m = -0.1 - 0. Let f = -0.17 - 0.03. Let k = f - 0.8. Is k at most as big as m?
True
Suppose 4*z + 17 = 5. Let b be 1*(z + (-3)/(-1)). Which is smaller: b or 1?
b
Let l = 143/603 - 1/67. Do 0 and l have the same value?
False
Let h = -2/85 + -247/340. Are h and -1 non-equal?
True
Let o(d) = -3*d**2 - 2*d + 3. Let u be o(-3). Let c be (-2 - -6)*u/8. Is -8 at least as big as c?
True
Suppose -c - 2*i = 7, -i = 2*c - 0*i - 1. Is -6 greater than c?
False
Let y be 4/10 + (-18)/(-5). Suppose 5*r - y*a + 5 = 0, -4*r + 0*a - 4 = -2*a. Suppose 5*v + 2*w = 7, -2*v + 4*w - w = 1. Is r bigger than v?
False
Suppose -2*p - 2*x + 4 = 18, 5*x - 31 = p. Let j = -21 - p. Which is smaller: j or -9?
j
Suppose 10 - 5 = 5*w. Which is smaller: w or -2?
-2
Suppose 0 = 5*k + 14 - 44. Suppose -2*n = -2*x - k, -4*n = -2*n - 4. Which is smaller: 2 or x?
x
Suppose -3*c + 5 = 2*g - 3, -5*c + 7 = -3*g. Is -0.03 equal to c?
False
Suppose 0 = 2*y - 4*y - 2*i + 18, 5*i - 35 = -3*y. Suppose -y*w - 6 = -1. Which is smaller: 0.08 or w?
w
Let k(p) = p**2 - p + 4. Let n be k(0). Let w be (32/(-408))/(n/(-6)). Are w and 2/7 equal?
False
Let m be (-1)/(-2) + (-5 - (-618)/132). Suppose -48 = 2*u + 4*v, -u + 6*u + 3*v = -134. Let n be (-1)/u - (-2)/8. Is m equal to n?
False
Let l = 36/11 - 38/11. Let j(n) = -n - 9. Let s be j(-8). Is s at least l?
False
Let s be ((-9)/(-4) + -2)*-4. Which is smaller: s or -3/43?
s
Let m(s) = s**2 + 8*s - 12. Let h be m(-9). Which is bigger: h or -1?
-1
Suppose -c - c = -2*x + 10, -c - 2 = 2*x. Is x smaller than 6/7?
False
Let v be (24/18)/((-1)/(-3)). Let j(x) = -x**2 + 6*x - 6. Let l be j(v). Which is smaller: 0 or l?
0
Let m = 0.15 + -0.05. Let f = -91.9 - -88. Let o = f - m. Which is smaller: o or 1?
o
Let l = -0.43 + 0.43. Is l != -0.8?
True
Let o = -4.9 + -0.1. Let i = 6 + o. Which is smaller: i or -1?
-1
Let b be (-6)/(-30) + (-33)/115. Are b and 1 unequal?
True
Suppose -w + 0*w - 10 = 0. Let s = w - -9. Which is greater: s or 1?
1
Let s be 1 - -3 - (14 + -10). Which is bigger: s or 1/2?
1/2
Let a(h) = 2 - 3 - h + 7. Let s be a(-10). Which is greater: s or 15?
s
Let y = -0.13 - -0.32. Let u = y + 0.01. Is u >= 0?
True
Suppose 10*m - 5*m + 15 = 0. Let y be m/(-12) - 2/8. Which is smaller: y or -1/6?
-1/6
Let f = 0.25 + -0.27. Which is bigger: -2 or f?
f
Let m = -15 - -17. Let g = -21 + 15. Let c be (-16)/g - (1 - 1). Is m at most c?
True
Let x be (96/(-14))/3 + 2. Let j = -18 + 26. Let a = 6 - j. Is x less than a?
False
Let g = 10 - 2. Suppose -m = 2 - g. Is m bigger than 7?
False
Let i = -21432/5 + 4371. Let r = i + -85. Which is smaller: -1 or r?
-1
Let l be 5/10*(-44)/2. Which is smaller: l or -12?
-12
Let s = -47 + 35. Which is smaller: -14 or s?
-14
Suppose 10 = -4*k + 2*k, -2*h = 2*k - 6. Suppose 5*y - 30 = -5*r, -y + h = 2*r + r. Is 2 < r?
False
Let o be (-195)/(-221) - (-2)/17. Which is greater: 3/5 or o?
o
Suppose 7 = -4*y + 5*y. Are y and 5 unequal?
True
Let i(v) = v + 1. Let n be i(11). Let z = -13 + n. Which is smaller: -8/9 or z?
z
Let n(l) = 3*l**2 + 14*l + 2. Let a(h) = h**2 + 5*h + 1. Let b(v) = -7*a(v) + 2*n(v). Let z be b(-7). Which is smaller: z or 2?
z
Let a be (-6)/(-16)*2/6. Let q = 38 + -38.2. Which is smaller: q or a?
q
Let w be (-21)/(-4)*52/117. Which is greater: w or 3?
3
Suppose 0 = -2*w - 4*c - 6, -5*w + 3*c + 13 = -c. Let d(u) = -u - 4. Let g be d(-9). Suppose -p - 2*p - g*k = 10, -4*k = -p + 8. Which is smaller: p or w?
p
Let k(v) = -3*v**3 - 10*v**2 - v - 2. Let w(c) = -c**3 - c**2 + 1. Let r(g) = k(g) - 2*w(g). Let t be r(-8). Let l = -61/2 + 33. Is t equal to l?
False
Let x = -2.947 - 0.053. Are x and 1/6 unequal?
True
Let t be 4/(-5) + (-11)/55. Which is bigger: 1/19 or t?
1/19
Let c(r) = 0*r - 4 + r**2 + r + 6*r. Let f be c(-8). Which is bigger: 3 or f?
f
Let s be 8 - ((-6)/(-8) - (-75)/(-20)). Is 11 bigger than s?
False
Let f = 1.15 + -1.5. Let c = 78 + -78.3. Let s = f - c. Are s and 1 nonequal?
True
Let u(v) = -v**3 - 7*v**2 + 4*v + 1. Let o be u(-8). Let c = -31 + o. Let a(x) = x - 2. Let d be a(2). Is c <= d?
False
Let f be (2/5)/(54/15). Let o(x) = x**2 + x + 1. Let t be o(-1). Is f != t?
True
Suppose -3*k = -0*k - 3. Let r = -0.03 - -0.4. Let g = r + 0.03. Which is bigger: k or g?
k
Let y(h) = -h**3 + 8*h**2 + 8*h + 10. Let b be y(9). Let c be 10/b*(-1)/14. Is c not equal to -1?
True
Let f be 158/(-4)*(-4)/(-42). Let z = f + 24/7. Do 0 and z have the same value?
False
Let j = 74 + -451/6. Which is smaller: j or 0?
j
Let z = -8 - -1. Let s = z - -8. Do s and -2/5 have different values?
True
Let a = 229 - 320. Is -91 at least a?
True
Let m = -2 - -2.2. Let p = m - 0.3. Let c = -5 + 4.7. Which is bigger: c or p?
p
Let q = -0.08 - 1.52. Let f = q - -0.6. Is -1 != f?
False
Suppose -3*t - 5*i - 31 = -0*t, -t - 4*i = 22. Which is smaller: t or -4?
-4
Suppose 2*h - 4*s - s = 16, 5*h - 3*s = 21. Let m be 0 - 8*(h + -2). Let z be 10/25*10/m. Which is greater: z or 0?
0
Let g(k) = 15*k**2 - k. Let h be g(-1). Which is greater: h or 18?
18
Suppose 0 = -3*m + 9, 10 = 5*f + m + 4*m. Is f > 0?
False
Let s = 5 - 11. Let t = s + 5. Suppose 0 = -p - p. Are t and p non-equal?
True
Let x be 3 + -2 + (8 - 9). Let m be (-4 - -3) + (0 - -1). Are x and m unequal?
False
Suppose 4 = -2*t + 2*z, -3*z + 2*z = 2*t + 4. Let d = 0.3 + -1.3. Let r = d + 0.8. Which is smaller: r or t?
t
Suppose 3*v - 7*v - 24 = 0. Let f = v - -12. Is 7 less than or equal to f?
False
Let d be (16/10)/((-2)/(-5)). Suppose 3*i + 5 = a, 7*a - d*a - 4*i = 10. Suppose o - a*r + 8 = 0, 3*o - 2*o = r - 3. Does 1 = o?
False
Let j be ((-2 - -1) + 0)*4. Let g be (-1)/j - (-125)/(-20). Let i = -4 - g. Is 2 < i?
False
Let o = -1026/11 - -460652/4939. Let t = -1810/3143 - o. Suppose -h - w + 4*w + 2 = 0, 2*w = 2*h. Is t at most as big as h?
False
Let q be (-152)/11 + (-4)/22. Let h = -85 + 71. Is q at least h?
True
Let v = 4.96 + -5. Let p = 2.04 + v. Which is greater: p or 1/2?
p
Suppose -5*f - 5 = -0. Suppose 0*d - 4*d = 20. Let c = 3 + d. Is c at least as big as f?
False
Suppose 13 + 4 = x. Suppose -5*z = -18 - x. Is z less than or equal to 7?
True
Let c(s) = -s**3 - 10*s**2 + 11*s + 2. Let n(x) = x**2 + 8*x - 4. Let h be n(-7). Let m be c(h). Is m at most 1?
False
Let c(q) = 3*q + 3. Let k be c(-2). Let n(t) = -t**3 - 5*t**2 + 5*t - 7. Let b = 16 - 22. Let o be n(b). Is k greater than or equal to o?
False
Suppose 3*s - s - 6 = 0. Let b = -21 + 25. Suppose -b = s*n - 7*n. Which is smaller: n or 3?
n
Suppose -v - 2 - 2 = -4*l, -l + 10 = 2*v. Let t be v/4*4/14. Is t < -1?
False
Let l = -47 + 40.7. Let t = l - -0.3. Is -0.1 bigger than t?
True
Let d(r) = r**3 + r**2. Let q be d(0). Let x = -559/24 - -71/3. Which is bigger: q or x?
x
Let a(k) = -k + 5*k + 1 - 3*k + 3*k**2 - 2*k**2. Let h be a(0). Suppose -h = -5*n + 4. Which is bigger: n or 2?
2
Let z = -38 + 23. Let s = 14.9 + z. Is s <= 13?
True
Let v(w) = w**2 - 4*w - 3. Let k be v(-2). Suppose -2*q + 0*q - 4*p - 12 = 0, -2*q - 3*p = k. Suppose 0 = -5*t + 3*t. Is t not equal to q?
False
Let m = 137/2 - 68. Which is greater: m or -0.028?
m
Let k = 8 + -8. Let g = -0.67 - 0.23. Let w = -0.1 + g. Which is smaller: k or w?
w
Let s = 0 + 0. Let n be (2/(-5))/(2/10). Let x = 2 + n. Is s at most x?
True
Let w = -88 + 617/7. Suppose -n + 11 = -3*n - 3*r, -3*n = 5*r + 18. Is w < n?
False
Let k = 17 + -14. Let y = -6 + k. Are y and -1 nonequal?
True
Let m = 59 - 59. Is m at most as big as -1/2?
False
Let h = 3 + -2. Let f = 17 + -19. Let a = f + h. Which is greater: -0.1 or a?
-0.1
Suppose 4*i - 3*d + 11 = 44, 4*d + 12 = 0. Suppose i*c - c - u = 7, 6 = -4*c - 5*u. Suppose -c = 2*w - w. Which is greater: 0 or w?
0
Let u be (-1 - -1) + 0/(-2). Let b = 488/5 - 97. Is b greater than or equal to u?
True
Let i = -0.58 + 0.38. Which is smaller: i or 3?
i
Let k be (4/7)/(10/35). Which is smaller: k or 1?
1
Let s be (-9)/12 - 1/4. Let a = 2 + s. Let w = -3/25 + -13/100. Which is smaller: w or a?
w
Let u be ((-6)/4)/((-9)/24). Let n be ((-4)/(-54))/(u/(-12)). Suppose -t = -3 + 4. Is t at least n?
False
Let r = 47/4 - 12. Let a = 7 - 25. Let v = 12 + a. Which is smaller: v or r?
v
Let f be ((0/(-3))/2)/2. Suppose 0 = -5*q, -m + 2*m - 5*q - 3 = f. Let t = m + -5. Are t and -3 