 r = 53 - 55. Which is smaller: 0.048 or r?
r
Suppose -73*l + 268 = -71*l. Which is smaller: l or 133?
133
Let u(k) = -k**2 + 12*k + 14. Let p be u(13). Which is smaller: p or 30/13?
p
Let u = 31/1360 + -1/510. Is 1 less than u?
False
Let g(y) = 3*y**2 - 3*y**2 - 2 + 6*y - y**2. Let d be g(5). Let o be (2/(-4))/(2/(-8)). Which is greater: o or d?
d
Suppose y + 0*m - m - 10 = 0, y - 22 = 4*m. Let t(a) = -a - 12. Let g(p) = 2*p + 11. Let s(h) = -5*g(h) - 4*t(h). Let z be s(-2). Which is greater: y or z?
y
Let n = -233 + 211.1. Let z = -22 - n. Let w(y) = -y**3 - 4*y**2 + 5*y + 1. Let q be w(-5). Is z greater than q?
False
Let f be (-9)/1 - (-8)/4. Suppose -2*i - 4 = 0, -4*i = -3*c - c - 20. Is f at least as big as c?
True
Let x(p) = p**2 - 6*p + 7. Let d be x(5). Let i = -93 - -43. Let m be 45/i + 6/4. Which is greater: d or m?
d
Let k = -2.4 + 9.4. Let h = -0.3 + -0.1. Let a = h + 0.3. Which is bigger: k or a?
k
Suppose 0*l - l + 1 = 0. Let v be 6/9 - (-1)/3. Let c be 10/(-3) - (-2 - v). Is c greater than or equal to l?
False
Suppose 2 = -w + 4*x, 2*w - 3*x = 9 - 3. Let t = w + -8. Let c(f) = 3*f + 3. Let g be c(t). Which is bigger: g or -2?
-2
Suppose -3*a - 444 = 3*m, -3*a + 274 = -3*m - 182. Is m less than -149?
True
Let d be 6/2 + (-101)/34. Is 0 smaller than d?
True
Let r = 6 - 11. Let q be 16/10 - 2/r. Suppose 8 = -0*l + q*l. Which is smaller: 5 or l?
l
Let n(g) = -g - 4. Let c be n(-5). Suppose 0 = 3*y - 25 + 64. Let t = y - -15. Which is smaller: t or c?
c
Let j be 1/(-3)*(2 + 0). Let y be (0 - 0)/((-5)/(-10)*-2). Do y and j have the same value?
False
Suppose 4*g + 10 = -42. Let f be g/6 + (-2)/(-3). Let t be (-4)/(-2)*(-1 + 0). Which is smaller: f or t?
t
Let p be 0/(-1) - 76/1. Let c be (19/p)/((-2)/(-4)). Which is greater: c or 0.3?
0.3
Let a be (-1*(-6)/14)/(12/(-8)). Which is bigger: a or -0.2?
-0.2
Let v = 2 + 2. Suppose 0 = 2*u + v, 13 = 2*d - 5*u - 3. Do d and 4 have the same value?
False
Let d(j) = -j**3 - 5*j**2 - 5*j. Suppose 6 + 6 = -3*z. Let c be d(z). Suppose 0 = -0*g + g - 3. Which is bigger: c or g?
c
Suppose 0*f - 3*q - 10 = -2*f, -2*f - 2*q = 0. Is -2 greater than f?
False
Let f be 60/52 + -1 - 282/(-26). Which is smaller: 8 or f?
8
Let q = -3447722305399/10186 - -338476566. Let k = -9/22 - q. Let w = 896/6945 - k. Is w greater than or equal to 1?
False
Suppose -5*i - 42 - 12 = -2*x, 5*i + 58 = 4*x. Let s be 4*-1*(-1)/i. Which is smaller: s or 3?
s
Let i = -18 + 21. Suppose 0*c = i*c + 36. Is -11 bigger than c?
True
Let x = 2.27 - 0.27. Let j = 3 - -1. Which is smaller: x or j?
x
Suppose -4*d + 0 = 4. Which is smaller: d or 1/71?
d
Let o = -0.41 + 4.01. Let u = -4 + o. Let p = 0.5 + u. Is -2 less than p?
True
Suppose 4*z - z = 0. Let b(u) = -u**2 + u. Let v be b(z). Is v at most -1?
False
Suppose -2*r = -2*c - 6, -3*r = -8*r - 2*c + 1. Let n be ((-10)/(-25))/(r/(-10)). Is n > -4?
False
Let d be ((-9)/(-6))/((-15)/(-70)). Which is bigger: 6 or d?
d
Let y = -5 - -32. Which is greater: y or 26?
y
Let r be -24*((-15)/6 + 4). Is r equal to -35?
False
Suppose -s - s - 4*r = 470, 0 = -5*s - 2*r - 1167. Let t = s - -3959/17. Let i(h) = h**3 + 9*h**2 + 7*h - 7. Let j be i(-8). Do j and t have the same value?
False
Let i = -51 - -140. Does 90 = i?
False
Let l(t) be the second derivative of -t**5/20 - t**4 - 2*t**3 - 5*t**2 - t. Let m be l(-11). Let u = 47 + -140/3. Which is smaller: u or m?
u
Suppose 0*u - 2*u = -4. Suppose -v + 4 = u. Let x(w) = -w**3 - 3*w**2 + 3. Let j be x(-3). Which is smaller: v or j?
v
Let t(r) = r**2 - 2*r + 2. Let n be t(-6). Let f be 1 + (-104)/n + 1. Which is smaller: f or 0?
f
Suppose -3*j = -213 + 1008. Let b = 1055/4 + j. Is b at least as big as -1?
False
Let q = 31/4 + -163/20. Is q smaller than 70?
True
Suppose 45*s - 203 = 38*s. Is 57/2 less than s?
True
Let q(y) be the third derivative of y**4/24 + 3*y**3/2 + 2*y**2. Let p be q(-4). Is p not equal to 7?
True
Suppose 0*b + 2 = 2*b. Let r be (b/(-10))/((-2)/8). Is 1 less than or equal to r?
False
Let c = -0.1 - -6.1. Which is smaller: c or 0?
0
Let k be (7/(-14)*2)/(-1 + 2). Is k less than or equal to -2?
False
Suppose 3*p = -2*f - 9, -2*p + 0*f = 5*f - 5. Let y = -8 + 4. Which is smaller: y or p?
p
Suppose f - 2*f = -2*v + 34, -18 = -2*v - 3*f. Suppose -3*n + u - v = -2*u, 0 = -5*n - 3*u - 1. Let l be -4 - -5 - (0 + 5). Is n equal to l?
False
Let o = 44 + -43. Which is greater: o or 2?
2
Suppose -5 = 2*k - p, 0*k - k = -4*p + 20. Do k and 0 have the same value?
True
Let i(s) be the first derivative of -s**4/4 - 5*s**3/3 - 2*s**2 - 2*s + 3. Let t be i(-3). Which is bigger: -9 or t?
t
Let k(n) = -n**3 - n**2 + n - 36. Let o be k(0). Is o at least -37?
True
Let z = 1 - 13. Let m = -11.7 - z. Which is greater: m or -2/7?
m
Suppose 3*c - 6 = -f, 3*f + 9*c - 10 = 4*c. Suppose 2*n + f*n = 0. Let h = n + 0. Which is smaller: h or 2?
h
Suppose 0 = -2*o - 8 + 2. Is o at least as big as -1?
False
Let v(i) = i**3 + 3*i**2 + i + 3. Let q be v(-3). Let d be q/(1/(-1 + 0)). Let u = d + 0. Which is smaller: u or -2/3?
-2/3
Let c be 9992/84 - -4 - 3. Let l = c + -120. Which is bigger: -1 or l?
l
Suppose -3*o - 2*o = 35. Let v = o + 10. Let c be (v - (2 - 1)) + -1. Is c greater than or equal to 1?
True
Let s = 158 + -155. Suppose -r = -0*r. Is s < r?
False
Let i = 121 + -609/5. Is -1 less than i?
True
Let g be (-3)/(-1) - 3*34/24. Is 8 > g?
True
Let i be 0 - ((-4 - -3) + 0). Let l be (-28)/(-30) - 4/4. Which is smaller: i or l?
l
Let f(y) = -9*y + 1. Let x be f(-2). Let z = x + -97/5. Which is smaller: z or -1/9?
z
Suppose 2*w + 4 = 6*w. Let z = -15/1402 - -3899127/15422. Let h = z + -253. Is w not equal to h?
True
Let m = 8 - 13. Let j = -9 - m. Let u = 47.9 + -48. Which is smaller: j or u?
j
Suppose 5 = -4*d - 3. Let w(i) = i**3 - 7*i**2 + 7*i - 9. Let u be w(6). Let g be (-2)/(u/(27/(-6))). Are g and d equal?
False
Let l = 0 + 3. Let y = -12 + 16. Which is greater: l or y?
y
Let p = 1/79 + 629/237. Is p greater than -0.1?
True
Let s(m) = m**2 + 2*m - 2. Let h be s(1). Is 1/42 <= h?
True
Suppose -2*u + 4*u - 8 = 0, u - 22 = 2*t. Is -8 less than t?
False
Suppose 6*g + 4 = -2. Let m = -4/19 - 10/133. Which is greater: g or m?
m
Let k = -0.05 - -0.05. Let o = -9 - -16. Let w = -4 + o. Which is greater: k or w?
w
Let l be (-444)/10*(-4)/3. Let n = -59 + l. Which is greater: n or 1?
1
Let v be (-9)/6*4/27. Let k = 8.9 + -0.9. Let u = 6 - k. Is v bigger than u?
True
Suppose r + 3 = -2*r. Which is smaller: -1/4 or r?
r
Let w(g) = 3*g + 2. Let q be w(5). Let x = q - 9. Let v = 7 - x. Which is smaller: v or -0.1?
v
Let u = -642/5 - -128. Let l(k) = 4*k - 2. Let f be l(2). Let t be (4/f)/((-2)/3). Is t smaller than u?
True
Let m be (-2 + 0)/(3 - 5). Suppose -m = -5*v + 9. Let u be -1 - (-1 - (v + 0)). Is u >= 1?
True
Let i(f) = 2*f. Let s be i(-4). Let n be 7/28 - (-2)/s. Let l = -1 + n. Is -2 smaller than l?
True
Let l = -2 + 2.4. Let z = l + -0.3. Let h be -2 - ((-99)/21 - -3). Is h at least z?
False
Let k = 7 - 6.7. Let a = k - -0.7. Let i = -0.9 + a. Is i > 2?
False
Let s be (0/3)/(-2*1). Let g be s - 6*(-2)/16. Is 1 > g?
True
Let c(j) = -j**3 + 2*j**2 - j + 7. Let r be c(4). Is r >= -31?
True
Suppose 4*g - 17 = 5*o + 5, -g = -3*o - 9. Let v = g + -5. Let f be 1 + 1/1*v. Is 2/5 at least as big as f?
True
Let d(a) = a**3 + 8*a**2 + 6*a + 9. Let g be d(-7). Let h = 178/11 - g. Which is smaller: h or 1?
h
Let i be (4/(-3)*3)/1. Let u be (i/(-6))/((-2)/6). Is -2 less than u?
False
Let f be 5/2 + 5/10. Suppose o - 9 = -3*y, 4*o - y = -o - 3. Which is smaller: f or o?
o
Let m = 0.24 + 0.06. Let o = 8 + -9. Which is greater: o or m?
m
Let u = 10 - 18. Let s(x) = -x**2 - 6*x + 6. Let h be s(u). Is -10 at least h?
True
Let s be (-3)/3 + 0 + 0. Let r be 2 + (-54)/17 - 5/(-5). Which is bigger: r or s?
r
Let j = 89 + -167. Which is bigger: 0.1 or j?
0.1
Suppose -5*y = 5, -2*a + 23 = -5*y - 32. Is 25 at most a?
True
Let t be ((-1)/3)/((-20)/60). Is -1/4 at least t?
False
Let o = 53 + -61. Which is greater: -2/7 or o?
-2/7
Let u = 13 + -19. Which is bigger: -3 or u?
-3
Suppose 5*a - 20 = -5*s, 0 = -a + s - 0*s. Is 11/6 != a?
True
Let r = -4 + 6. Suppose 5*c + 4*h + 40 = 0, -r*c - 2*h = 2*h + 28. Let s(q) = q**2 - 2*q - 4. Let i be s(3). Which is greater: c or i?
i
Suppose i -