 o?
False
Let t = -0.57 - 22.43. Let m = t + 23. Is 10 at most as big as m?
False
Let s = -1/112 - -17/112. Suppose 0 = -u - w + 4*w - 3, 0 = -3*u + 2*w - 2. Does u = s?
False
Suppose y = -2*x + 23, 4*x - 3*y = -0*x + 71. Suppose 4*o - x = -6. Suppose 2*w + 20 = -o*w. Is -6 at least as big as w?
False
Let s = 7976/3 - 2692. Let t = -33 - s. Is 0.3 at least t?
False
Let k be (7/2)/(4/8). Let h = k + -7. Which is smaller: -1 or h?
-1
Let w = -1 + 7. Let b be (1/(-2))/(w/4). Let v(q) = q**3 + 2*q**2 + 2*q + 3. Let f be v(-2). Which is bigger: b or f?
b
Suppose h = 1 + 5. Let g(p) = -p**3 + 4*p**2 - 2*p + 4. Let m be g(3). Which is greater: h or m?
m
Let t = -0.1 + -0.1. Let k = 0.466 - 0.466. Which is bigger: t or k?
k
Let r(s) be the second derivative of s**4/12 - 4*s**3/3 - s**2/2 - s. Let k be r(8). Let u be 1 + (k - (2 - 2)). Is -2/17 greater than or equal to u?
False
Suppose -3*j = 4*k - 5, -30 = -2*k + 8*j - 4*j. Is k at least as big as 6?
False
Let u = 60 + -62. Which is smaller: u or 1?
u
Let s be -1 + -1 - (4 - 4). Suppose -f + 6 = -3*v, -5*v = 5*f - 5 + 15. Which is smaller: f or s?
s
Suppose -13*x = -5*x + 96. Is -11 != x?
True
Suppose -4*p = -3*p. Which is smaller: 2/53 or p?
p
Let u(v) = v - 1. Let t be (-2 + 1)/(-1 + 2). Let i be u(t). Let l(y) = -y + 10. Let w be l(11). Which is bigger: w or i?
w
Let j(a) = -a**3 - 6*a**2 + 6*a - 7. Let z be j(-7). Let o(n) = 3*n**3 - n**2 + 2*n - 1. Let s be o(1). Suppose z = r - 0*r - s. Is 2 <= r?
True
Let d = 5 - -5. Let b be 34/d - (-2 - -5). Is b smaller than 0?
False
Let s = -215135/492 + 1749/4. Is 1 bigger than s?
True
Let y = 18 + -30. Is -12 less than or equal to y?
True
Suppose -22 = -3*g - 4. Let p be 20/48 - 4/g. Suppose -2*a - 14 - 2 = 4*o, 3*o = -2*a - 12. Do p and a have different values?
True
Let n(w) = 5*w**2 - w. Let o be n(1). Suppose -5*h - 18 = 42. Let k = -9 - h. Which is bigger: o or k?
o
Let n be 0 - ((-15)/(-8) + -1). Which is smaller: n or 0?
n
Suppose -d - 2 = d. Suppose -4*z = -6*z. Suppose 8 + z = -i - 3*w, w + 10 = -4*i. Which is smaller: i or d?
i
Suppose -15 = 5*o - 90. Suppose -3*l + o = 0, -2*t = t + 5*l - 34. Suppose -t*f + 10 = -z, -1 - 3 = z - f. Which is bigger: -4/11 or z?
-4/11
Suppose q + 0*q = -315. Let z = -2515/8 - q. Are 1 and z non-equal?
True
Let y be 67/32 - 2/1. Let d = y - 115/544. Suppose -4*b - b = -5. Are d and b unequal?
True
Let t = -6 + 10. Is 4 greater than t?
False
Let n = -33 - -28. Let m be 3/7 + n/35. Which is smaller: -1 or m?
-1
Let m = 9.4 - 9.3. Which is smaller: 1/3 or m?
m
Suppose 4*q - 5 = y, 2 = 2*y - 4. Let k = 2 + q. Let h be (1/(-2))/(17/k). Are 1 and h unequal?
True
Let r = 0.09 + 0.01. Let c = 0.3 - r. Suppose 3*p + 9 = 3. Do c and p have different values?
True
Let v = -5.11 + 0.11. Let p = 5 + v. Let x = p - 1. Is x less than or equal to 0?
True
Let l be (1/(-6))/(14/(-63)). Let c(q) = -q + 4. Let o be c(4). Which is greater: l or o?
l
Let v = -2.94 + -0.06. Let f = v + 2. Is f > -1?
False
Let l be (0/(-1))/(-4 + 5). Suppose l*x = 2*a - 2*x - 6, -3*a = 4*x + 19. Let z = -10/3 - -11/3. Which is smaller: z or a?
a
Let a(d) = d + 6. Let u be a(0). Suppose f - i = 5*f - 2, -u = f - 3*i. Which is smaller: -3/4 or f?
-3/4
Suppose -3*y = 4*s + 2*y - 41, 3*s = -5*y + 37. Suppose s*p = -p. Which is smaller: p or -1/20?
-1/20
Let s(i) = i - 5. Let g be s(13). Which is smaller: 9 or g?
g
Let x = 1.1 + -2.1. Is -1 not equal to x?
False
Let w(g) = -g + 4. Let x be w(-3). Is 0.1 at most as big as x?
True
Let q = -14.063 + 0.063. Which is greater: 0.1 or q?
0.1
Let n be ((-3)/4)/(195/4332). Let k = n - -81/5. Is k less than 1?
True
Suppose -l - 9 = -5*f - 41, 2*f = -3*l + 11. Is 7 equal to l?
True
Let m = -221/5 - -2421/55. Suppose -5*i + 7 = 2*i. Which is bigger: m or i?
i
Let s = 388/1211 + -6/173. Let k = 0.05 - -2.95. Is s greater than or equal to k?
False
Let k be (8/(-1284))/(40/2538). Let f = -1/214 + k. Is f > 7?
False
Let t = 8/15127 + -47120693/166397. Let a = 283 + t. Suppose 3*u + 5*j = 8, u - 4*j = -u - 2. Which is greater: u or a?
u
Let b = 19 - 29. Let t be b/(-6) - 3/(-9). Suppose -t*j + 10 = 0, 4*s - 4*j = -3 - 5. Are s and 4 non-equal?
True
Let a = -41 - -39. Which is bigger: -0.03 or a?
-0.03
Suppose -79*i + 82*i - 12 = 0. Let u = 3 - 1. Which is bigger: u or i?
i
Let v be ((-105)/(-12))/(1/(-4) - 0). Which is smaller: v or -0.2?
v
Let g = 27 + -26. Is 1/3 >= g?
False
Suppose 5*z + 5*h = 70, 2*z - 3*h = -6*h + 25. Suppose -4*g = -k + 1, -3*k + z = 3*g - g. Suppose 5*o + k = -b, 12 = 5*b + 37. Which is smaller: o or -1/5?
-1/5
Let n = 0.6 - 1. Let j = -0.5 - n. Let q = j - 0. Is -0.1 less than or equal to q?
True
Let i = -3/20 - -7/20. Let u = 125 - 127. Is u equal to i?
False
Let f = 1787/15 - 370/3. Do -3 and f have the same value?
False
Let p = 2317 - 2319.046. Let g = -0.054 + p. Let c = g + 0.1. Is c >= 1/2?
False
Let m = 0.45 + -0.4. Let g = -0.05 + m. Which is smaller: 6 or g?
g
Let b = 24/5 + -92/15. Do b and -2 have different values?
True
Let l(x) = x**2 + 12*x + 12. Let v be l(-11). Is v less than 9/4?
True
Let j be (-8)/(-28) - 0/1. Suppose -2 - 10 = -4*h. Let z = h - 2. Which is greater: j or z?
z
Let v = -7 - -11. Let a = -10 + 12. Suppose v*o + 8 = -4*z, 5*o = o - a*z - 2. Is o less than -1/8?
False
Let m(u) = -u**3 - u**2 + 3*u - 1. Let z be m(-3). Let k be -1 + -1 + (z - -1). Suppose -2*s + 3 = w + 2*s, 5*w = 5*s + 40. Do k and w have different values?
False
Suppose 3*v + 286 = -4*b - 77, 5*v - 236 = 3*b. Let h be (-9)/(-21) + b/7. Let i be (-1)/5 - h/20. Which is smaller: i or -1/3?
-1/3
Let u = 29 + -29.08. Which is bigger: u or -2/3?
u
Let n = 5 - 5. Suppose 3*g = -4 - 2. Is g less than n?
True
Let b(r) = 1 - 12*r**2 + 3*r + 8*r**2 + 0 - r. Let u be b(-1). Which is bigger: u or -2?
-2
Let k = -0.89 + 1.03. Which is bigger: -0.3 or k?
k
Suppose 0 = -2*d - 6 + 4. Let v(j) = j**2 + 6*j. Let a be v(-6). Suppose k + 0*k - 2 = a. Are d and k unequal?
True
Let j(p) = p**2 - 13*p + 17. Let a be j(12). Are a and 23/4 equal?
False
Let c be 80/30*6/8. Which is smaller: c or 3?
c
Let n = -2/29 - -57/406. Which is bigger: 0 or n?
n
Let u = -39 - -38.98. Let n = 93 - 91.98. Let w = u + n. Which is bigger: w or -2/3?
w
Let l = 41.9 + -42. Is 0.03 at least l?
True
Let r = 519 - 2141/4. Which is smaller: -15 or r?
r
Suppose 2*i = -2*i, 2*t - i = -42. Which is bigger: -22 or t?
t
Suppose 2*l - 4*l = 5*h - 23, 4*h = -4*l + 28. Let x(j) = -j**3 - j**2 + j - 4. Let f be x(0). Let o be (-1 - f)*8/6. Is o less than l?
False
Let x = 27 + -26. Which is smaller: x or 3/10?
3/10
Let j = -45 - -44. Is 0 greater than j?
True
Suppose -n + 5*b = 2, 3*n = -2*b + 3*b + 36. Suppose t + 3*o = 2*t - n, 6 = -2*o. Is t bigger than 4?
False
Let v be 4/22 + (-600)/(-88). Let s(h) = h**3 - 8*h**2 + 8*h + 3. Let g be s(v). Let j = 5 - g. Is -5 greater than j?
False
Suppose m + 6 = 12. Is m bigger than 5?
True
Suppose -45 = -5*t - 5*g, 4*t + 2*g - 15 = 5*g. Suppose t = d - 3*d. Is d not equal to -3?
False
Let a = 6 + -1. Let w = a - 5. Which is greater: -0.8 or w?
w
Suppose c = -3*u + 10, 0*c = c - u - 6. Suppose c*x = 4*x. Is x at most 1?
True
Let c(f) = -f - 12. Let b be c(-11). Let i(m) = 5*m**3 + m**2. Let p be i(b). Let h = 1 - p. Does h = 5?
True
Let v(w) = -2*w**3 + 5 - 4 - 5 - w + 5. Let i be v(-2). Is i at most 20?
True
Let v = 0.2 + -0.3. Let h = 3.1 + -3. Which is smaller: v or h?
v
Let g = 10.7 - 10. Let t = -0.7 + g. Let o = t + -0.1. Which is bigger: 2/3 or o?
2/3
Let h = -68/7 - -1142/119. Is -1 less than or equal to h?
True
Let u = -6 - -6.2. Let g = 1.8 + u. Let z = g + -1. Which is greater: z or 2/7?
z
Let n(y) = -y**2 + 5*y. Let o be n(5). Which is greater: o or 4/11?
4/11
Suppose -l = 4*l + 20. Let o be 4/(-14) + (-66)/14. Let m = o - l. Are -2 and m nonequal?
True
Suppose -f + 4*f - 21 = 3*q, -3*q - 9 = 3*f. Let b be ((f - 3)*-2)/2. Which is greater: -4 or b?
b
Let w = -0.22 - -0.22. Let m = w - -0.7. Which is smaller: m or -2?
-2
Let i be (-5 - 4)*(-3)/(-9). Suppose 4*q = -4*s - 0 + 16, 2*q = -5*s + 5. Is s >= i?
True
Let t = -98 - -97.6. Which is smaller: -6 or t?
-6
Let l be (-2)/10*30/(-18). Let t = l - 7/12. Do -3/2 and t have the same value?
False
Let c = -53 - -55. Which is greater: 5 or c?
5
Let o(q) = q**3 + 