54/8 - 10/40. Which is bigger: w or 43?
w
Let k(h) = -4*h**2 - 8 - h**3 + 8*h + 3*h**2 + 7*h**2. Let u be k(7). Is u smaller than -3/2?
False
Let h = 363 + -705/2. Is h bigger than 12?
False
Let o = 3 + -2.4. Let f = -0.7 + o. Is f greater than or equal to 2?
False
Let z be ((-6)/(-12))/((-1)/(-4)). Suppose -z = -m - 3. Let s(p) = -p**2 + 9*p + 7. Let b be s(10). Which is smaller: b or m?
b
Let z = 12857/9 - 1427. Suppose 16*f - 9*f - 7 = 0. Are z and f non-equal?
True
Let z = -452/170469 + 6/611. Let t = z + -584/3627. Is t smaller than -0.1?
True
Let v = -5 + 8. Suppose -q = -4*i + 3*q + 16, -i = v*q. Suppose 0 = k + k + i*w + 4, -w = 4*k - 2. Are 2/17 and k nonequal?
True
Let u = -0.9 - -1. Is u not equal to 7/5?
True
Let k = -5 - -2. Let n be 4/k*1/6. Let j = -0.0764 + -0.1236. Which is smaller: j or n?
n
Let c = -1 - -4. Let a = c - 2. Which is greater: a or -4?
a
Suppose -3*c + 2*c + d = 7, -5*d - 1 = c. Let b(n) be the second derivative of n**3/6 + 2*n**2 + n. Let p be b(c). Is p equal to -2?
True
Let q be 2*-2 - (1 + 1). Let j = q - -10. Are 4 and j equal?
True
Let t = -13 + 12. Is -11/15 less than or equal to t?
False
Let l(k) = k**3 - 6*k**2 + 7*k - 7. Let v be l(5). Which is bigger: v or 4?
4
Let y be (-16)/(-3) - 4/(-6). Let q = 24 + -19. Which is smaller: y or q?
q
Suppose j + 5 = -x, 5*j - 27 = 3*x - 4. Let c(s) = -s**3 + 9*s**2 - 7. Let f be c(9). Which is smaller: f or x?
f
Let s = 19 - 15. Which is greater: s or -0.8?
s
Let q = -227 + 2499/11. Which is smaller: q or -1?
-1
Let c = -13 - -13. Let g = 0.2 - 0.2. Let w = c - g. Which is smaller: w or 1?
w
Let q = -0.1 - -0.2. Let u = 116 + -582/5. Do u and q have the same value?
False
Let m be (5 + -2 - -34)*-1. Are 1/3 and m equal?
False
Let t = -0.5 - 0.5. Is 6 greater than t?
True
Suppose 5*r - 15 = -0*r. Suppose 5*m - 2*j + 11 = -r, j = -5*m - 8. Which is smaller: 0 or m?
m
Let x = -68 + 68. Which is smaller: 11/9 or x?
x
Let o = 5.7 - 4.7. Which is greater: -0.1 or o?
o
Let g = 2.37 - 0.17. Let n = g + -2.11. Let a = 8.09 - n. Is 1 bigger than a?
False
Suppose -20 = -4*f - 0*f. Let k = f + -3. Suppose m + m = k. Which is bigger: m or -1/2?
m
Let v be (-1)/(10/3 - 1). Let n = -12 + 17. Suppose n*y - 5*c - 10 = 0, 0*c + c - 1 = 4*y. Which is bigger: v or y?
v
Let p(q) = q**2 + 3*q + 3. Let j be p(-2). Suppose 4*a + 3 + j = 0. Which is greater: a or 0?
0
Let k = 30 - 26. Which is smaller: 1 or k?
1
Let x(y) = y**3 - 15*y**2 - 20*y + 40. Let o be x(16). Is -26 >= o?
False
Suppose d + 2 = -2*v - 3*d, -3*v + 3 = 4*d. Let g = v - 3. Suppose -2*f = -5*q - 27, -22 = -2*f + 2*q + g*q. Is f != -2?
True
Let h(n) = n**2 - 9*n - 7. Let y be h(8). Are -15 and y unequal?
False
Let m be (-111)/(-4) - -1 - 1. Let q = 28 - m. Let p = -60 - -60. Which is smaller: q or p?
p
Let f = -2.5 - -2. Let m = f - 0. Let q = 0.3 + m. Is q at most -0.2?
True
Suppose 2*c = 7*c - 15. Suppose 0 = -2*x - 3 + 7. Suppose 2*k = 4*r - 6, r = x*k - r. Does c = k?
True
Let g be (-138)/150 + 5 + -4. Is -1 at most g?
True
Let m(y) = -2*y. Let r be m(1). Let g be 3 - r/(-2) - 1. Let p be (-27)/12 + (3 - g). Do p and 1 have the same value?
False
Let b be 96/(-630) - (-4)/14. Is -1/4 >= b?
False
Let x be 2/3 + 71/(-12). Do -4 and x have the same value?
False
Let a(z) be the first derivative of z**3 - 1 + 0*z**3 - z + 0*z**3. Let g be a(1). Is g > 1?
True
Suppose -4*x - 1 - 9 = -2*z, 0 = -z + 1. Suppose 3*d + 2 = i, -17 + 7 = -5*i. Suppose -h + d = 3. Which is smaller: x or h?
h
Let t = -3 - -4. Is t smaller than -1/74?
False
Suppose 3*n + 2*z - 3 = 2, 4*n - 8 = -2*z. Suppose 4*v - 56 = 4*w, -5*v + 2*v = w - 26. Suppose 2*s = -3*s + v. Is s <= n?
True
Let t be 1/(-2) + (-1)/2. Let j be 148/360 - 15/50. Which is smaller: j or t?
t
Let s = -2.98 + 3. Let l = 0.22 - s. Which is smaller: -0.2 or l?
-0.2
Let v = -1/145 - 57/145. Let h be 6/(-2) - (-22 - -9 - -11). Is v less than h?
False
Suppose 72 = 4*a - 2*h + 6*h, -5*a = -4*h - 54. Which is bigger: 13 or a?
a
Let h(y) = -y**3 - 4*y**2 + 2*y - 1. Let b be h(-4). Let s(i) = i**3 - 7*i**2 + 3*i + 10. Let c = 12 + -6. Let j be s(c). Which is smaller: b or j?
b
Let v = -107/4 - -269/10. Let m = 7 + -8. Do m and v have different values?
True
Suppose -5*l = -5*i - 5, 0 = -i - 4*i. Is -4 != l?
True
Let q(a) = -a**2 + 6*a - 9. Let z be q(3). Let x be -1 - 0 - 3/(-6). Which is greater: z or x?
z
Suppose -3*i - i = -272. Is i > 69?
False
Let a be 14/(-8) - 3/12. Suppose 0 = l - 2*l + 1. Which is smaller: l or a?
a
Let k(b) = -b**2 + b - 1. Let s be k(0). Let l(r) = 2*r - 6. Let t be l(4). Suppose a = t*m + 10, -5*m - 25 = -0*m. Is s at most a?
True
Let p be (-6)/(-9) - 3/9. Let l = 0.97 + -1. Let c = -0.23 - l. Is p at most c?
False
Suppose o = -3*c - 11, -2*c - o - 13 = 2*c. Is c bigger than -2?
False
Let y be 4/14 - (-194)/56. Is y > 4?
False
Let w = -5 + 7. Which is bigger: w or 0?
w
Let x = 3.8 - -2.4. Let m = 8 - 14. Let q = x + m. Which is smaller: q or -1?
-1
Let s(i) = -i**2 - 7*i - 7. Let k be s(-5). Suppose -5*h = -5*p - 20, 3*h + 2*p - 4 = -k*p. Is h equal to 3?
True
Suppose 0 = -b + 4 + 1. Suppose 5*f - 3*t = 2, 2*t + 16 = f - b*f. Which is smaller: 1/2 or f?
f
Suppose 2*v = 4*x - 0*v - 6, 0 = -3*x - 3*v. Suppose 2*r - 47 = -43. Is r smaller than x?
False
Let t be (-267)/(-6) - ((-18)/(-4))/(-9). Which is bigger: 44 or t?
t
Let x(v) = v**2 - 2*v + 3. Suppose -3*l + 9 = -0. Let z be ((-6)/(-9))/(1/l). Let c be x(z). Is 3 > c?
False
Suppose 0*a - a = 1. Let n = -3 - a. Suppose 2*c + 2 = c. Is n bigger than c?
False
Let u be ((-3)/(-2))/((-1)/(-2)). Suppose -2*s = -u*s. Let m be -3*1*(-1)/6. Which is smaller: s or m?
s
Suppose 2*v + 3*v - 10 = 0. Let q be 1/((-1)/2*v). Let f = -12 + 47/4. Which is smaller: q or f?
q
Let f(u) = -u**2 + 2*u - 1. Let g be f(-3). Is -16 at least as big as g?
True
Suppose 4*d - 7 = 1, 2*d - 24 = -2*v. Let n be (-2 - 2) + 1 - -14. Which is smaller: n or v?
v
Let x = 11 - 12. Which is smaller: x or 1/6?
x
Let l(r) = -r**3 - r - 5. Let c be l(0). Let u = 3 + c. Let q be u/6 + 25/(-15). Which is smaller: -3/4 or q?
q
Let d = -0.9 - -0.9. Let w = d - 1. Is w >= -1/3?
False
Let w(o) = 4*o - 1. Let k be w(-2). Let p be (-2)/((-2)/((-6)/k)). Which is greater: 2/7 or p?
p
Let n be 4 - (6 + (-5 - -2)). Suppose -1 = j + n. Is -3 at least j?
False
Suppose -56 = -2*d - 2*d - 4*m, d + 4*m = 14. Is d at least as big as 15?
False
Suppose 5*f - 2 = 7*f. Is f at least 6/17?
False
Let m = 433/136 + 13/68. Let v = m - 151/40. Which is smaller: 0 or v?
v
Let t = -4 + 8. Suppose -c - 20 = 5*q, -4*c + 3*q + 20 = -2*q. Let u be 2*1 + (2 - c). Is u bigger than t?
False
Let o(s) = 2*s - 27. Let d be o(13). Which is greater: d or -14/9?
d
Let s = -7 + 13. Let g be 1 + -2 + s/9. Let a = -2 - -1.9. Which is greater: a or g?
a
Let w = -0.02 + 0.12. Is w smaller than 4/3?
True
Let u(p) = -5*p**3 - 2*p**2 + 3*p + 4. Let y be u(-3). Let g be (y/(-26))/(-2) + -2. Do g and -1 have the same value?
False
Suppose -5*z + 4*z + 36 = 0. Which is greater: 37 or z?
37
Suppose 2*x - 6*x = -12. Which is smaller: x or 0?
0
Let v be (3 + -2)/(-3 + (-32)/(-11)). Which is greater: v or -7?
-7
Suppose -m + 36 = 10. Let d be m/(-12) + 1 + 1. Which is greater: d or 1?
1
Let k = 1.34 - 1.44. Is k > -0.016?
False
Let h = 94/3 + -1031/33. Which is greater: h or 1?
1
Suppose -54 = -3*g - 0*g. Let r = g + -15. Which is bigger: 4 or r?
4
Let r = -591978 - -12429082/21. Let f = r + 117. Let p = f - -61/42. Is p bigger than 0.1?
True
Suppose -4*y - 6 = -5*g, 0 = y + g - 4*g + 5. Suppose -4*f - y - 23 = 0. Which is bigger: f or -8?
f
Let c = -0.01 + 0.02. Which is bigger: 3 or c?
3
Let r be 4/((-1904)/484) + 1. Is r != 0?
True
Let v = 0.19 - 0.09. Which is bigger: v or 0.14?
0.14
Suppose -5*z + 15 = 3*n, 5*z = 6 + 9. Suppose 4*y + 32 = -n*y. Let x be y/7*2/8. Which is greater: x or -1?
x
Let x = -0.6 + 0.6. Let o = -1 - x. Which is smaller: 3 or o?
o
Suppose -5*l - 4*r = -7*r - 23, 2*l - 4*r = -2. Let i = l + -7. Suppose 3*u = -i - 3. Are u and -3/2 nonequal?
True
Suppose -5*o - 3*k - 10 = -40, 0 = 3*o - 3*k + 6. Suppose o*z + 3*w + 18 = 0, 10 = 3*z - 0*w - 4*w. Which is greater: -4 or z?
z
Let t be 2/(-3)*2*-24. Let m = t + -65/2. Suppose 3*d = -5*b + 19, -2*b = -d - 6*b + 18. Is m at most d?
False
Su