k = 10 + -24. Let l = k - -14.9. Let c = -0.9 + l. Which is smaller: -3 or c?
-3
Suppose -2*z = 2*z - 12. Suppose 5*i - 2*g = 68 - 28, z*i - 23 = g. Are i and 5 unequal?
True
Suppose -4*m = 3*k - 2*m, 10 = 2*k - 2*m. Suppose 4*u - k*u = -16. Let n be (2/12)/(u/(-36)). Which is smaller: 2 or n?
n
Let n be ((-30)/20)/((-1)/2). Suppose -4*a - 6 - 4 = -c, -n*a = c + 11. Is -3 > a?
False
Let r = -22 - -21. Is -5/11 smaller than r?
False
Let z = 26 - 1. Let j be 25/(-8)*(-5)/z. Which is smaller: j or 2?
j
Let w be (-8)/(-36) - 16/18. Which is bigger: 2 or w?
2
Suppose 3*i + 5*t = 2*t, -5 = 5*i + 4*t. Suppose -8 = m + 3*m. Let k = m - i. Is 2 > k?
False
Let i(r) = -r**2 + r - 12. Let o be i(0). Let n be (-4)/o + 4/(-21). Let t = -1 - 0. Is t less than n?
True
Let k = 16 - 12. Suppose -5 = k*r - 1. Which is smaller: 3/10 or r?
r
Let s = -9 - -7. Let a be -3 + 4*1/s. Let f = -2 - -2. Which is smaller: f or a?
a
Let x(g) = -g - 2*g**2 + g**2 - 2 - 2*g. Suppose 0*t + 3*r = -2*t - 15, 2*t - 5*r - 9 = 0. Let d be x(t). Is d bigger than -2/3?
False
Let l = 10 - 10.1. Which is smaller: l or -9/5?
-9/5
Let r be (3/(-4))/(4/16). Let h be (1 - 8/6)*r. Let m be -4 - (2 + (h - 6)). Which is smaller: m or -3?
-3
Let z = 0.223 + -0.033. Which is smaller: 0 or z?
0
Suppose 4*h - 5*v + 3*v = -42, 4*v - 12 = 0. Let d be (0 - -2) + 6 + h. Which is greater: -2 or d?
d
Let q = -0.096 + 0.05. Let x = q + -19.954. Which is greater: x or 1?
1
Suppose -10 + 5 = 5*b. Is 70 greater than b?
True
Let f(y) = y + 5. Let w be f(-4). Is 9/4 bigger than w?
True
Let x = -1/236 + 1433/4012. Which is smaller: 1 or x?
x
Let z = -11 + 13. Suppose 5*h = 3*s - 12, h + 3 + 2 = -z*s. Is s greater than 2/37?
False
Suppose 4*w - 3*t + 0 - 2 = 0, -5*t - 12 = 2*w. Let l be (w + -1)/(8/(-28)). Are 6 and l nonequal?
True
Let a(n) = n - 5. Let s be a(4). Let d be (-3)/15 - s/5. Is -1/3 bigger than d?
False
Suppose 5*m + y - 6 = 6*m, 12 = 4*m + 5*y. Let p be 1/(1/(m + 1)). Suppose 0 = -3*k - 0*k + k. Which is bigger: p or k?
k
Let z = -2.7 + 2.9. Which is smaller: z or -8/5?
-8/5
Let k(w) = 9*w + 7. Let f(t) = 4*t + 3. Let x(l) = -7*f(l) + 3*k(l). Let q be x(0). Suppose q*y = 2*y. Which is smaller: 1/3 or y?
y
Let b = -17 + 17.1. Let o = -1.5 - -2. Let x = -1.5 + o. Is b less than x?
False
Let u(d) = -d**3 - 6*d**2 - 5*d + 1. Let o be u(-5). Let y = -0.01 + -2.99. Let w = y + 0. Which is greater: o or w?
o
Let r = 7 - 7. Let x = 4299/23 + -187. Which is bigger: x or r?
r
Let d be 4/14 - 150/(-14). Let u(w) = -w - 7. Let s be u(0). Let r = d + s. Do -1 and r have different values?
True
Let r(l) = -l - 1. Let b be r(-3). Suppose -h - b = -3. Which is smaller: h or 2/35?
2/35
Let n = 0.18 + -4.18. Which is greater: n or 2/3?
2/3
Suppose 7*b = 2*b + 5. Is b smaller than -15?
False
Let l = 3 - 2.7. Let t = l + 0. Is -0.3 not equal to t?
True
Let t be (-45)/(-6) - 7/(-14). Which is greater: 6 or t?
t
Suppose 0*i - 3*i - 3 = 0. Let p = 131/113 - -67936/565. Let f = 121 - p. Is f >= i?
True
Let l = -0.1 + 0.2. Let p = -1.8 + 1.2. Let j = -0.5 - p. Is l < j?
False
Let a be (-4)/30 + (-26)/30. Which is greater: 1 or a?
1
Let h = 38.2 + -38. Let d = 3 + -2.8. Is h equal to d?
True
Let t = 11 - -11. Suppose t = 5*d - 3. Suppose 0 = g - 0*g + d. Which is smaller: g or -3?
g
Let z = 0.38 + -0.08. Let a = -9.3 - -10. Let d = 0.3 + a. Which is bigger: d or z?
d
Let q be ((-4)/(-2))/((-2)/(-4)). Suppose -q*g - 16 = -8*g. Suppose 10 = -2*d - g*v, 0 = 3*d - d - v. Is d at least -1?
True
Let a(n) = -2*n + 1. Suppose 6*w - 5 = w. Let y be a(w). Is -1 <= y?
True
Let d(k) = 4*k**2 - k + 1. Let h be d(1). Suppose 4 = h*y - 0. Which is bigger: -8 or y?
y
Let l = 391 - 722. Let o = l - -3644/11. Is o bigger than 1?
False
Let v be (-2)/3*(5 + -26). Let w be 6*(-3)/v + 1. Let b = -2 - -3. Do w and b have the same value?
False
Let b = 4 - 3. Let h be ((-3)/15)/(3/(-15)). Let d be -3*h*(-3)/9. Is d at most as big as b?
True
Let j(p) = p - 2. Let f be j(6). Suppose 4*z - 2*w + 2 = 0, 0 = z - 2*z + 4*w - f. Let v be (-14)/30 - 5/25. Is v bigger than z?
False
Let z = -10 + 14. Suppose l = -0 + 5. Suppose -2*c - 2*h + 18 = z, -29 = -2*c - l*h. Which is smaller: c or 3?
c
Let r = 1.019 - 0.019. Let c = 0.1 + -0.2. Let y = 0.9 - c. Is y at least as big as r?
True
Let p be (1/2)/(1/16). Suppose 6*i - 2*i = -p. Let j = -286 - -1141/4. Which is greater: j or i?
j
Let v = 1 + -0.9. Let r = -3 + 1.7. Let i = 0.3 + r. Is v greater than or equal to i?
True
Let u = 806/3 - 271. Let j be ((72/27)/(-4))/(1/3). Which is smaller: u or j?
u
Let w = -7 - -7.6. Let i = w - 0.7. Are i and -0.1 non-equal?
False
Let l = 2 - 10. Which is smaller: l or -7?
l
Suppose 8 = -5*b - 4*u, 2*u + 3 + 1 = 3*b. Let m = 441 + -6171/14. Which is greater: m or b?
m
Let g = -2.1 - -0.1. Which is smaller: g or -2/3?
g
Let d = 9 + -8. Is d smaller than 0?
False
Let d be (2/(-188))/((-19)/(-38)). Is d > -2/3?
True
Let f = -12 + 20. Let g = f - 5. Let u = -4 + g. Which is greater: u or -1/2?
-1/2
Suppose 0 = -k - 4*p + 13, 12 = p + 3*p. Let u = -1 + k. Suppose -3*q + 4 = 4*v - 4*q, -2*v - 3*q = -2. Are v and u equal?
False
Let q be ((-3)/6)/(3/(-72)). Suppose -4*n = i + 4, -n + 3*i = -2*n - q. Suppose o = 2*o. Are o and n equal?
True
Let q be -2*2 + (0 - 2). Is q at least as big as -6?
True
Suppose 6*o - 12 = 18. Is o smaller than 5?
False
Suppose 13 = 2*o - 145. Let m = o + -2135/27. Is m greater than or equal to 0?
False
Suppose -2*n + 3*u = -3 - 5, 0 = -3*n + 2*u + 22. Is 8 less than n?
True
Let b(d) = -2*d**3 + 6*d**2 + d + 7. Let j be b(6). Let m be 2*2/((-12)/j). Let t = -67 + m. Which is smaller: t or 1?
t
Let v = -1 - -4. Let z be (-5)/v + 4/6. Is -1 greater than or equal to z?
True
Let a be (16 + -1)*2/10. Which is smaller: a or 2?
2
Let y = -11 - -8. Let z = -5 + 10. Let k = 1 - z. Are y and k unequal?
True
Suppose 6*c = c - 40. Let v = -17/2 - c. Which is smaller: -2 or v?
-2
Let d(v) = -3*v**2 - 32*v + 12. Let k be d(-11). Which is smaller: k or 7/19?
7/19
Suppose 4*q - 1 = -3*n - 90, -3*q - 72 = -3*n. Let m(d) = -4*d**2 - 74*d - 60. Let x be m(-18). Which is bigger: q or x?
q
Let f = -1.4 + 2.1. Let t = f - 0.8. Are t and -2/9 unequal?
True
Let x = 2 + 1. Suppose 0 = -x*n + 7*n. Are n and 0 unequal?
False
Let q = -70 + 52. Let l(v) = -v**3 - 4*v**2 - 3*v + 1. Let s be l(-4). Let x = s + q. Which is greater: x or -4?
-4
Let y = -19 - -1. Let r be y/(-40)*(-5)/6. Which is greater: r or 1?
1
Let n = -0.9 - -0.3. Let s = -0.7 - n. Let y = 3.1 - 3. Which is bigger: s or y?
y
Let l be (-3)/(-15) - (-18)/10. Suppose -3*x - 7 = -c - 0, -x + 3 = 5*c. Is c at most as big as l?
True
Let s = 0.29 + -0.34. Is 0.1 smaller than s?
False
Let v = 22/5 + -24/5. Let j(f) = f - 6. Let u be j(2). Which is smaller: v or u?
u
Let a be (5/20)/(22/8). Let w be 4/2*4/8. Is a at most as big as w?
True
Let w = 7 - 8. Is -1/48 < w?
False
Suppose -y = 4*y. Let q(m) = m**2 - 10*m - 6. Let w be q(11). Suppose c - w*c - 4 = -4*d, -d = 0. Which is bigger: c or y?
y
Let b be (-22)/77 - (-8)/21. Is b at most 0?
False
Suppose -l - l - 4*x = 16, 5 = -x. Suppose 3*f - 2 = -4*w, f + l = -w - 3*w. Let n = -1/2 + f. Is n at least 3?
False
Let v = 23 - 26. Is v bigger than -2?
False
Suppose -5*r + 3*r = -10. Suppose -11*a + 25 = -6*a. Is r > a?
False
Suppose 2 = -2*o, -23 = 4*k - 9*k + 3*o. Let n = 2 + 3. Suppose 0 = b + k*b - n. Which is smaller: 2/5 or b?
2/5
Let p = -314/5 + 62. Let b(r) = r**2 - 2*r - 1. Let i be b(3). Suppose 4 - 2 = -i*u. Do p and u have the same value?
False
Let n be (-270)/(-75)*20/6. Is 12 >= n?
True
Suppose 0*c = -4*c + 36. Suppose 0*g + 3 = -2*x - g, -3*g - c = x. Which is bigger: x or 4/5?
4/5
Let t(b) = b**2 - 1. Let l(v) = 5*v**2 + v - 7. Let r(s) = -l(s) + 6*t(s). Let o be r(0). Which is bigger: 2 or o?
2
Let h(q) = -18*q + 87. Let a be h(6). Which is smaller: a or -23?
-23
Let b(u) be the second derivative of u**3/6 + 3*u**2/2 - 7*u. Let c be b(3). Which is smaller: c or -0.1?
-0.1
Let i be ((-22)/231)/((-2)/(-30)). Are i and -0.1 non-equal?
True
Let o = 0.376 - 0.046. Is o != 1?
True
Suppose 0 = p + 4 + 3. Let i be 6/2 + 15/p. Are 1 and i non-equal?
True
Suppose 4*m = -3*x, -26 = 2*m + 2*x - 7*x. Let v be (-15)/9*m/(-15). Are 1 and v non-equal?
True
Suppose -5*o = 