False
Let v = 3 + -8. Let z be (-2)/v + 4/40. Let k = 0.1 - 0.3. Which is greater: z or k?
z
Suppose 5*y = 4*p + 11, 0*p = 4*y + p + 8. Is 2/33 not equal to y?
True
Let y(w) = w**2 - 6*w + 1. Let c be y(6). Let r be 1*(6 - (4 - 0)). Which is greater: c or r?
r
Let z be ((-4)/44)/(2/4). Suppose -3*n + 3*u + 48 = 0, u = -4*n - 0*u + 69. Suppose 3*b + n = 2*t - 6*t, 0 = 4*t + 20. Which is greater: b or z?
b
Let r = -16 + 15. Is r less than or equal to 1/8?
True
Let j = 17907/11 + -1629. Which is smaller: -0.1 or j?
j
Let l = 0.06 - 10.06. Let q = -22 - -31.6. Let a = q + l. Which is smaller: 0.1 or a?
a
Let v = -192 - -963/5. Let s(b) be the second derivative of b**5/20 - b**4/6 + b**3/6 - b**2 - 4*b. Let g be s(2). Which is smaller: v or g?
g
Let o(l) = 2*l - 4. Let h be o(2). Is h equal to 10/9?
False
Suppose 3*k - 23 = -5*v + 34, 3*v = 4*k + 11. Which is bigger: v or 7?
v
Let m(d) = -d**3 + 4*d**2 + 5*d + 1. Let t be m(5). Is -1/16 less than t?
True
Let q = 10 - 10. Let d be (-13 - -14)*(1 - q). Which is bigger: d or -2/17?
d
Suppose -4*u = -b + 7, -2*b = 3*b - 5*u - 35. Is b <= 0.3?
False
Suppose -2*i - 35 = 13. Let g = i - -49/2. Let p = 0.1 - 0.2. Which is bigger: p or g?
g
Suppose 5*a - 4*l = 34 + 2, -2*l = -3*a + 20. Suppose -3*o + g - a = 60, 0 = o + 5*g. Let v be 2/8 + 25/o. Which is bigger: v or 0?
0
Let h = 17/60 + -1/5. Suppose -2*m = 3*y - 2 - 5, m = -2*y + 6. Let n be (m/(-12))/(1/3). Is h greater than n?
False
Let f(s) = -3*s - 9. Let k be f(-6). Let t = k + -9. Is -2/17 < t?
True
Let s = 5 + -3. Suppose 2*k - 6 = -s*o, o + k = 4*k - 9. Let j be 4/14 - o/1. Which is greater: j or 1?
1
Let q be ((-8)/(-6))/((-2)/(-12)). Let m be 222/16 - 2/q. Let n = m + -27/2. Is -1 at most as big as n?
True
Let k = 11.1 - 13.14. Let t = -0.16 + 0.2. Let r = t + k. Is -1 greater than or equal to r?
True
Suppose 5*m - 14*m - 72 = 0. Which is smaller: 3 or m?
m
Let d = 13 - 13. Is d > -3/40?
True
Let q = -25 + 24. Are -1/7 and q non-equal?
True
Let y = 11 - 9. Suppose l + p = 3*l + 2, 3*l + 14 = -4*p. Let r be (1 - l)*1/9. Which is greater: r or y?
y
Let s = -13 - -4. Which is greater: s or -47/6?
-47/6
Let g(p) = 1 - 4 + 4*p - 3*p. Let x be g(3). Let a = 113/143 - 7/11. Is x <= a?
True
Suppose 4 = 5*i - 9*i, 4*i = l - 12. Let x = -14 + 23. Is l at least as big as x?
False
Suppose -4 - 4 = 4*p. Is p smaller than -2?
False
Suppose -2*l - 4 = -2. Is l bigger than 3/28?
False
Let t = -1.9 + 1.53. Let o = 0.03 - t. Let a = 0.6 + o. Is 0.1 bigger than a?
False
Suppose 20 = -2*i + 22. Which is smaller: i or 4/43?
4/43
Suppose 3 = -5*t - 7. Suppose 0*p + p = o - 7, 5*p + 25 = 3*o. Is p equal to t?
True
Let l(t) = 2*t**3 + 7*t**2 - 2*t - 3. Let z(i) = 3*i**3 + 7*i**2 - i - 3. Let x(u) = 4*l(u) - 3*z(u). Let c be x(6). Let b = -4 + c. Is b <= 1/5?
True
Let h be 3/(-135)*(-8 + 5). Which is smaller: h or 0.1?
h
Let q = 9.94 - -0.06. Let m = 9.8 - q. Is m > -0.2?
False
Let s(g) = g**2 + g + 1. Let b be s(-1). Let r be 2/8 - 44/(-16). Let z be (-4 + 3)/((-5)/r). Which is greater: z or b?
b
Let c = -0.1 - -0.3. Let a = 0.3 + c. Is -1 equal to a?
False
Let o be 112/(-64) - 1/4. Is 2/3 > o?
True
Let c be -4 + (4 - -5) - 3. Which is greater: c or 4?
4
Let j be -22 - 0*(-2)/8. Is j equal to -20?
False
Suppose -22*k + 23*k = 0. Which is bigger: 1/20 or k?
1/20
Let m(i) = i**2 - 7*i - 1. Let r be m(7). Let d(x) = 9*x**2 - 1. Let b be d(-1). Let k = 6 - b. Is r equal to k?
False
Let f = 2497/24 + -104. Is f > -1?
True
Suppose -40 = -4*q - q. Suppose 4*s + 3*m - 4 = q, -2*s + 6 = 2*m. Let b be (s - 0 - 2)*-1. Is 0 at least as big as b?
True
Let i be (-4 - 1)*(-54)/(-45). Which is smaller: i or -5?
i
Let r(q) = -5*q - 36. Let t be r(-8). Is 18/7 smaller than t?
True
Let l = 3.6 - 4.62. Let z = 0.02 + l. Which is greater: z or 0?
0
Suppose f = 6*f. Suppose f*m = 5*m - 30. Let y be ((-3)/m)/((-3)/(-6)). Is y <= 2/5?
True
Let w be 5/(-10)*4 + 3. Which is greater: w or 3/14?
w
Let r(z) = -z**2 + 4. Let h be r(0). Suppose 4*c - v + 1 = 0, 3*c + h*v = -v + 5. Which is greater: 0.3 or c?
0.3
Let y = 4.93 + -5. Let m = y + 0.37. Let x = 0.4 - m. Which is smaller: -2 or x?
-2
Let p = -4 + 7. Let y = -0.2 - 1.8. Let h = y + p. Does h = 0?
False
Let h = -2 - -15. Let v = h - 12.7. Are -2 and v equal?
False
Let a be (16/(-6))/(-1 - -7). Is 1 <= a?
False
Let i = 2.067 - -0.033. Let f = 2 - i. Is f > -1?
True
Let j = -1 - -1.6. Let a = -0.4 + j. Let m = -0.07 + -0.03. Is a at least as big as m?
True
Let t be -6*1*15/6. Let u be (-20)/t*9/(-8). Which is greater: 2/3 or u?
2/3
Let k = -21 - -64/3. Which is bigger: 2 or k?
2
Let z = 47 - 54. Is z greater than or equal to -8?
True
Suppose 3*q = -b, b + 6 = 3*b + 4*q. Is b at least as big as 8?
True
Suppose -o - 2*o = 0. Let i = 0 - o. Let u be 1/(-2)*i/4. Which is bigger: 1 or u?
1
Let t = 63 + -67. Is t less than or equal to -0.01?
True
Let i = -356/15 + 24. Which is smaller: -1 or i?
-1
Let n be 5/2*28/(-945). Let i = -13 - -12. Is n < i?
False
Suppose p = 6*p - 15. Suppose 10 = 2*n - 2*q - 3*q, q + 15 = 3*n. Let m = p - n. Which is greater: -3/4 or m?
-3/4
Let w = 6 + -6.04. Let x = -0.06 + w. Let b = -11/7 + 34/35. Does b = x?
False
Let v = 12986876/17 + -763514. Let o = v + -420. Which is smaller: o or 1?
o
Let o(w) = -w**3 + 2*w**2. Let x be o(1). Which is smaller: x or -3/70?
-3/70
Suppose -2*y = -x - 7, 5*x - 3*x + 6 = 0. Suppose k = -k - y. Is -1/2 at least as big as k?
True
Let q = -12 - -9. Let o be 6/(-4)*(-4)/(-3). Which is bigger: q or o?
o
Let b = -59/154 - -21/22. Let o be (-3)/5 + (-18)/(-30). Is b at most o?
False
Let r be (15/((-225)/6))/((-19)/5). Does r = 8?
False
Let f be ((-6)/(-8))/((-1)/4). Let z be (-1 - -5)*f/6. Let r be z/(6*-1)*-3. Which is greater: 0 or r?
0
Let k = -1 + 0. Let d = 0.1 - -0.7. Let r = d + 2.2. Which is smaller: r or k?
k
Let k be 5 + (-6 - (2 - 1)). Which is bigger: k or -18?
k
Let h(q) = -3*q - 1. Let i be h(1). Let r(o) = -o - 10. Let x be r(-7). Is i not equal to x?
True
Let w = 2 - 4. Let p = w - -5. Let d be (-1)/(28/(-9) + p). Is 8 at least d?
False
Suppose 0 = -3*i - 3, 3*t + 4*i + 65 + 56 = 0. Is t not equal to -38?
True
Let i(n) = n**2 + n - 1. Let q(u) = -2*u**2 - 3*u + 2. Let v(f) = -5*i(f) - 2*q(f). Let a be v(2). Is 2/9 greater than or equal to a?
True
Let y be (1/2)/(1/(-130)). Which is greater: -64 or y?
-64
Let l(r) = -r**2 + r + 3. Let o be l(3). Let x be (6 + -5)/(o + 2). Which is smaller: 3/13 or x?
x
Let y = 4 + -7. Let o = y - -1. Which is smaller: o or -3?
-3
Let a be 5*(-4 + 36/10). Suppose d = -2*d + 15. Let q be a/d + 4/10. Is -1/5 greater than or equal to q?
False
Suppose -3*q + 2*m = -6, -q + 4 = 2*m + 2. Let p(l) = -7*l + 2*l**2 + 9 + 8*l**2 - l**3 - 4*l**2. Let z be p(5). Is q greater than z?
True
Let n = -8.836 + -0.164. Is -0.5 at most n?
False
Let d = 66 + -180. Let s = -461/4 - d. Is -2 > s?
False
Let w = 0 + 0. Suppose -u - 2 = -1. Let i = u + 0. Is w greater than i?
True
Let t = -3 - -1. Which is greater: t or -3/7?
-3/7
Suppose c + 18 = 4*d + 14, -c = -2*d + 2. Are c and 1/112 equal?
False
Let f be (0/10)/(1 + -3). Is 0 equal to f?
True
Suppose -6 = -5*p + 3*p. Let a be (0 - -1)/(1/(-8)). Let k = 10 + a. Which is smaller: k or p?
k
Let o = 9 - 25. Which is smaller: o or 1?
o
Let x be -2*(3 - (-10)/(-2)). Suppose -c = x*c. Let g be (-2)/18*-3 - c. Is -1 bigger than g?
False
Let c = -38/7 - -39/7. Let s = -0.2 + -0.8. Is s > c?
False
Let s = -6/53 - 11/371. Which is smaller: s or 0?
s
Let s = 0.74 - -22.86. Let q = s + -24. Let w = 0.1 - 0.3. Which is greater: q or w?
w
Let l be (-1822)/140 - 16/56. Let o = l + 49/5. Which is greater: -0.1 or o?
-0.1
Let k = 43/2 - 22. Is k less than or equal to -0.1?
True
Suppose 3*s + 3*h + 15 = 0, -h + 2 - 6 = 0. Which is smaller: s or 1/3?
s
Suppose 0 = -2*d - 2*d. Suppose -3*w + w + 3*g - 6 = d, 6 = -2*w - g. Is -4 less than w?
True
Let b = 57 + -58. Is b smaller than -5/2?
False
Let v(f) = 2*f - 10. Let t be v(-7). Let m be (t/(-16))/(42/(-8)). Which is greater: m or 1?
1
Suppose 8 - 24 = -4*h. Which is bigger: 5 or h?
5
Suppose c + 4*v = 4*c + 5, 2*c + 4*v - 30 = 0. Let k be (-2)/15 - c/(-15). Does k = 0?
False
Let u be (2 - (-3 - -1))*4/2. Which is smaller: 10 or u?
u
Let u(o) = o - 9. Let m be u(-8). Are -16 and 