 m?
False
Suppose 3*b - 8*b = 0. Let p = b - 2. Let t = 69/4 + -373/20. Is t at least as big as p?
True
Let m(a) = a**2 + 6*a - 19. Let h be m(-10). Let g be (-4 + 1)*14/h. Let r be (-1)/g*16/216. Which is greater: r or 1?
1
Let y = 9643 + -9642.9. Let p(m) = -81*m - 1. Let u be p(1). Is y greater than u?
True
Let c = 12 - 16. Let a be -3 + (-16)/c + 3. Let x be (2/a)/((-12)/48). Which is smaller: -7/4 or x?
x
Let l = -274 + 273.8. Which is greater: 25 or l?
25
Suppose -2*c + 163 = -c. Let y be 2/(-4) - c/(-70). Let s = -22/35 + y. Which is smaller: 0 or s?
0
Let y(z) = z**3 - 38*z**2 + 192*z + 24. Let q be y(32). Let n(f) = -4*f**3 - 3*f**2 - 3*f - 1. Let u be n(-2). Let w = q - u. Which is greater: 2/59 or w?
2/59
Suppose -3*c - 2*y + 2 = -9, c - 2*y = 1. Suppose -2*a - c = -1. Which is bigger: 2/5 or a?
2/5
Let b be (-71151)/(-333666) + -1*2/9. Is b smaller than 1?
True
Let q = 3807/17 - 224. Suppose -3*h = -j + h - 5, 0 = 5*h. Let f be 2 - (50/j)/(-5). Is q bigger than f?
False
Suppose 0 = 3*k + 4*c + 4, 0 = -k - 4*c - 2 - 2. Suppose -h - 4*h = k. Let f = -23/10 - -41/20. Which is greater: f or h?
h
Let m = -5 - 3. Suppose -2*s + 23 = -17. Suppose -3*p - 17 = 2*j, -4*p - s = 2*j + 2. Which is smaller: j or m?
m
Let s = 130 + -130. Suppose 5*d + 5*g - 5 = s, -3*g = -3*d - 5*g + 8. Which is bigger: 17/3 or d?
d
Suppose 4 = 4*j, 6*x - 3*x = -2*j + 2. Suppose x = -32*a + 38*a + 222. Which is greater: -38 or a?
a
Suppose 0 = 4*v - 4*u - 60, -3*u = v - 0*u - 23. Are 146/9 and v nonequal?
True
Suppose -7*a + 5*a - 24 = 0. Let r be 12/4 + (a - 0). Let y be (0 + 1)*(-12 - r). Which is smaller: y or -1?
y
Let t(w) = -w**2 - 13*w + 1. Let x be t(-12). Let f = 28 - x. Suppose -f*b = -19*b. Which is greater: b or 1?
1
Let k be (-16)/(-72) - ((-412)/90 + 0). Does 5 = k?
False
Suppose -85 = -9*g + 14. Is -3 at least as big as g?
False
Let w be 7/(-35) + (-98)/10. Let j = -7 - w. Let b be 1 - j/((-3)/2). Is b not equal to 4?
True
Suppose -16*x = -1316 - 2284. Which is bigger: 226 or x?
226
Let r(m) = 162*m**3 + 4*m + 5. Let q be r(-2). Let c = q + 189653/146. Which is smaller: 0 or c?
c
Let h = -0.2 - 0. Let j = 32 - 32.11. Let w = j - -0.11. Is h > w?
False
Let n be 3/(1/(8/6)). Suppose n*j + 21 = -7. Let t(x) = 55*x**2 - 1484*x - 34. Let b be t(27). Is j greater than b?
False
Suppose -6*d = -2219 + 539. Does 0 = d?
False
Let n = 14 + -10. Let v be n/((-5)/(10/4)). Let u = v + 5/2. Which is smaller: -1/4 or u?
-1/4
Let b be (-36)/(-6) + 796/(-116). Which is smaller: b or -2?
-2
Let d be (4/(-20) - 0) + 3056/(-70). Let x = -44 - d. Is x greater than 1?
False
Suppose b - z + 2 = 3, 2*b + z + 7 = 0. Let v(h) = -h**3 - h**2 + 2*h - 3. Let l be v(b). Which is bigger: 1/5 or l?
1/5
Suppose -428*l + 398*l = 0. Which is greater: 3/20 or l?
3/20
Let u = 499/3 + -168. Let b = 2.3 - 0.3. Which is smaller: u or b?
u
Let w(a) = 24 + 2*a - 9 - 17. Let t be w(-4). Do t and -8 have the same value?
False
Let j = 68801/7 + -9845. Which is smaller: j or -15?
j
Let f = 0.7 - 0.62. Let o = -0.17 + f. Let g = 0.01 + o. Is -1 at most as big as g?
True
Suppose 2*u = 6 - 2. Suppose -4*l + u = 2*t, 4*l + 0*l - 2*t + 10 = 0. Let p = 164/33 - 16/3. Which is bigger: l or p?
p
Suppose 4*t + 2*b = 156, 3*b = 4*t - 229 + 53. Let r be ((-12)/(-2))/(15/100). Do t and r have the same value?
False
Suppose 0 = -4*j - 24 + 20. Let q = 18941/59 - 321. Which is bigger: q or j?
q
Let p be 18/6 + (-8275)/1660 + 2. Which is smaller: 0 or p?
0
Suppose 3*x + 0 = 3. Let v be 6 + (2 - (8 - x) - -3). Suppose -3*q = 4*o + 6, -o + 0*q - 9 = -3*q. Which is greater: o or v?
v
Let r(l) = l**3 + 3*l**2 - 3. Let g be r(-2). Is g not equal to 1/11?
True
Let d be (63/(-70))/((-3)/15). Suppose -6 - 2 = -t - 2*u, -3*u = -t + 3. Which is smaller: t or d?
d
Suppose -b + 11 = 2*v, b - 4*b = 2*v - 29. Let j(r) = -r**2 + 10*r - 20. Let q be j(b). Is -10 equal to q?
False
Let z = 11 + -8. Suppose 0*m + m = z. Let g be m/6 - 22/60. Which is greater: g or -1?
g
Let t = -32.28 + 3.28. Is t not equal to -2/7?
True
Let q(t) = -t**2 + 19*t + 3. Let m be q(20). Let d(r) = -7*r - 3. Let h be d(-3). Let v = h + m. Are 2/19 and v unequal?
True
Let z(c) be the third derivative of -c**7/2520 - c**6/80 - c**5/15 - 3*c**2. Let q(x) be the third derivative of z(x). Let k be q(-5). Is k != -1/8?
True
Suppose -20*q + 31*q = -924. Which is greater: q or -83?
-83
Suppose 2*b + 2*n = 734, -4*b + 2*n = -n - 1489. Let a be ((-18)/(-45))/(2/b). Suppose -5*r + a = -26. Is 20 < r?
False
Let t = 89 + -95. Which is smaller: -2/13 or t?
t
Suppose -5*k - 95 = -110. Is 2 < k?
True
Suppose 2*d = o + 4, 3*o - 3*d = o - 7. Let t(i) = -i**3 + i**2 - i. Let b be t(1). Which is bigger: o or b?
b
Suppose -5*y = -2*y. Suppose 0 = -5*n - k + 9, 3*n - 5*k + 19 - 2 = y. Is n at most as big as 7/17?
False
Let r(j) = -5*j**3 - 31*j**2 - 21*j + 1. Let i(n) = -n**3 - 6*n**2 - 4*n. Let s(q) = 11*i(q) - 2*r(q). Let h be s(-4). Let p be (10/h)/((-6)/(-18)). Is 6 > p?
True
Let w(m) = -m. Suppose 5*k + 10 = -5*i, 2*k - i + 4 = k. Let l be w(k). Suppose -l*t = 3*x + 7 + 8, -2*x = -t + 10. Is t != 10?
True
Let u(a) = -9*a - 381. Let x be u(30). Are x and -652 unequal?
True
Let h = 421 + -480. Is h at least as big as -56?
False
Let s be (-3 - (-5 - 0))/296. Which is greater: -1 or s?
s
Let k = -4.308 - -0.308. Which is smaller: k or 2?
k
Suppose 4*x = -i + 34, 4*i - 206 = -0*x - 2*x. Let f = i + -46. Let q be 3/4*(5 - -3). Is q >= f?
False
Let h = -0.773 - 0.227. Which is smaller: 666 or h?
h
Let a = 20 - 13. Suppose -s + 8*s - a = 0. Is s >= 1/44?
True
Suppose -50 = -4*a + 2*g, 5*a + 10 = -5*g + 110. Is 231/16 > a?
False
Let k(x) = -x**2 + 15*x - 26. Let m be k(13). Let p be (-3)/(-42)*(-804)/26. Let g = 12/13 + p. Is g less than m?
True
Suppose -5*z + 5*c - 10 = 0, z + 3*z - 6 = -3*c. Let h be 9/(-12)*(-4)/60. Is z != h?
True
Let x be 1/52*256/(-24). Let d = -2/3 - x. Let c = -2 + 3. Which is bigger: c or d?
c
Let l(r) = r + 4. Let j be l(-3). Let d = 16/859 - -422/69579. Which is bigger: d or j?
j
Let f = -62 + 69. Suppose 3 + 4 = f*l. Do l and 5 have the same value?
False
Let x be -65 + 17 + (3 - 0). Which is smaller: -49 or x?
-49
Let y = 39 + -35. Suppose 8*g - 3*g = -y*h - 9, 2*g + 1 = h. Is -1 at most as big as h?
True
Let o = -68.134 - -0.134. Let h = o + 67.9. Is h bigger than 32?
False
Suppose 5*i + 6 = 2*i. Let m be -10 + i*(-5)/(-10). Are -11 and m equal?
True
Suppose m - 4 = -4*b + 1, 0 = -3*b + 3*m. Suppose -b - 3 = i. Let u = -8 - i. Is u bigger than -4?
False
Let n = -11 + 14. Suppose 4*v + 4 = -n*k + k, 0 = 5*v + 5*k + 15. Is v > 1?
False
Let r(t) be the first derivative of -t**3/3 - 2*t**2 + 7*t + 5. Let a be r(-4). Let g(l) = -l**2 + 8*l - 7. Let n be g(5). Which is smaller: n or a?
a
Let j = -18 + 7. Let z be 24/(-18)*6 - 4. Is z greater than or equal to j?
False
Let q = -45 + 22. Let w be (48/(-20))/(6/(-80)). Let v = w + q. Which is bigger: 8 or v?
v
Let k = -1056 - -1058. Which is smaller: k or 61?
k
Let q = -0.029 - -2.129. Let l = -0.9 + q. Let w = 8.8 + l. Which is smaller: w or 0?
0
Let w = -551/117 - -41/9. Suppose 4*y + 9 - 5 = -2*t, 2*t - 3 = 3*y. Which is bigger: y or w?
w
Suppose 0 = n - 2, -3*n - 48 = k. Let l = 54 + k. Is 3/4 smaller than l?
False
Suppose -3*q = 5*i + 90, q + 3*q + 54 = -3*i. Let m be i/15*10*(-4)/636. Is m at most -1/2?
False
Let y = -159 - -69. Let i be y/(-25) + -4 + (-136)/10. Suppose -7 + 46 = -2*j + 5*d, 4*d - 36 = 2*j. Which is smaller: i or j?
i
Suppose -8*r = -6*r + 828. Let l be -1 - (-6)/(r/(-75)). Suppose 0*i = i. Is i smaller than l?
True
Suppose -3*o - 3*x + 6 = 0, 2*o - 3*x - 6 = o. Suppose 6 = -o*p, -5*r + 1 + 1 = -p. Let u be (3 - r) + (5 - 32). Which is smaller: -25 or u?
-25
Suppose 0*u - u + 2*l = 9, -3*u = -3*l + 27. Suppose 2*g + 71 - 69 = 0. Let w be g - (10 + -1)/1. Which is smaller: u or w?
w
Let l(p) = p**3 + 6*p**2 + 8*p + 10. Let c(v) = v - 1. Let i be c(-3). Let j be l(i). Which is smaller: 8 or j?
8
Let a be 20/8 - (-2)/4. Let p = a + 0. Let l = -12123 + 12125. Which is bigger: p or l?
p
Let y(v) = 0 - 2*v + 7 + 5. Let q be y(6). Let i be 2 + 10/(-6) - q. Which is greater: 1.1 or i?
1.1
Let o = -13304 + 79577/6. Let q = o - -41. Is q bigger than 0?
False
Let s = 1345/2 + -685. Which i