0.2 - d. Let w = 532/5 + -106. Which is bigger: b or w?
w
Let m = -22 + 12. Let g = m - -9.9. Which is smaller: g or -0.05?
g
Let p = -0.3 - -4.3. Let y = p - 3.6. Which is smaller: -1 or y?
-1
Suppose 5*q + 3*k = 3, -q + 0*q + 2*k = 2. Suppose -5*t + 3*f + 7 = 0, -t + 0 + 3 = -f. Let w = -1 - t. Is q > w?
False
Let i = 0.06 + -0.24. Let u = i + -0.06. Let q = 0.04 + u. Is -1 at least q?
False
Suppose h + 2*h + 6 = 0, 3*w - 40 = 5*h. Is w greater than or equal to 11?
False
Let j be 1 + 2 + -2 + -1. Let o be -2 + 13/12 + -1. Let v = o - -5/3. Is j smaller than v?
False
Suppose 3*t = 15, -3*u - 2*u = -3*t + 70. Which is greater: u or -13?
u
Let m = -11.2 - -10. Let v = -1.3 - m. Is 4/5 >= v?
True
Let x be (-8)/(-2)*23/230. Which is smaller: 2 or x?
x
Let j(c) = 6*c**3 + 15*c**2 + 19*c - 4. Let p(v) = -v**3 - v. Let n(y) = j(y) + 5*p(y). Let d be n(-14). Which is smaller: d or -14/3?
-14/3
Suppose 5*m + 30 = o, 3*o - o + 15 = -5*m. Which is bigger: o or 7?
7
Let w(q) = q**3 - q**2 + q - 2. Let h be w(2). Suppose o + 3*a = a, 0 = h*o + 2*a + 6. Let r(v) = v**2 + 4*v + 1. Let d be r(o). Is -2 greater than d?
True
Let o(s) = s**3 + s + 3. Suppose 0 = -2*r + 4*r. Let m be o(r). Let z be ((-6)/(-4))/(m/10). Is z smaller than 4?
False
Suppose -4 = -3*y + 2. Let c(l) = l - 1. Let j be c(3). Suppose 0 = -2*q - 2*n, 0*n - y = j*n. Is 1 at least q?
True
Suppose -3*a - 2*a + 10 = 0. Suppose 5*y + a = -f - 0*y, 5*y - 4 = -3*f. Suppose -3*s + 4*s - 3 = 0. Is s less than f?
False
Suppose -4*m + m = 0. Is m at most -6/11?
False
Let k = 44.9 + -11.9. Which is smaller: k or 0?
0
Let t = 11565/43 - 269. Which is smaller: -1/4 or t?
-1/4
Let s = 1965 - 51097/26. Let b = s - -71/312. Which is greater: b or 1?
1
Suppose -p = 5*k - 17 - 23, 0 = -5*k + p + 30. Which is smaller: k or 8?
k
Suppose s = -2*q + 6*q - 1, 0 = -2*q. Is s equal to -4/13?
False
Let i = 12 + -16. Let g = 1 - 2. Is g at least i?
True
Suppose 2*s - 6*s = 72. Which is smaller: -19 or s?
-19
Suppose -m - 3*f = -10, -2*m + 3*f + 14 = 3*m. Is m less than 6?
True
Let b = -13 + 11. Let o = -7/16 + -1/16. Which is smaller: b or o?
b
Let p = 3 + -4. Let g be (8/114)/((-10)/(-6)). Let b = 3/19 + g. Which is bigger: b or p?
b
Let w = -1.94 + 2.2. Let p = -0.66 + w. Which is smaller: p or -2/3?
-2/3
Suppose y + 7*t = 2*t - 4, -5*y + 3*t + 8 = 0. Suppose 3*a - y = 5*f, 0*a = 2*a + 3*f + 31. Let h = -13 - a. Which is smaller: -6 or h?
-6
Let a(d) = -d**2 - 1. Let r(u) = -u**3 + 6*u**2 - u + 7. Let s be r(6). Let f be a(s). Does -7/6 = f?
False
Let k = 2/865 + 1704/11245. Is -1 at most as big as k?
True
Let l be (-6)/(-120) - 2/8. Do l and 3 have different values?
True
Let i = 40.23 - 40. Let g = -0.03 + i. Which is greater: -4 or g?
g
Suppose 5*t - 25 = 0, -14 = 4*x - 5*t - 49. Let c(i) = i**3 + i**2 + 3*i - 3. Let l be c(2). Is l less than x?
False
Let j = -74 + 127. Suppose -13 + j = -2*g. Let n be 1/1 + g/44. Is n bigger than 0?
True
Let r = -9 - -5. Let l = r + 3.99. Which is smaller: -0.1 or l?
-0.1
Let n be (-2)/(-6) + (-200)/6. Let t = 131/4 + n. Let z(x) = -x**3 - 3*x**2 + 5*x + 3. Let u be z(-4). Which is smaller: u or t?
u
Let j(p) = p - 8. Let x be j(9). Let s = -8/15 + 1/3. Is s equal to x?
False
Suppose y - 14 = -3. Let q be 30/y - 15/5. Which is smaller: q or 1?
q
Let l(x) be the second derivative of -x**3/6 - x**2/2 + 3*x. Let w be l(0). Let h be (w + 1)/(6/6). Which is bigger: h or -3?
h
Let l = -34/177 + -8755/1416. Is -5 bigger than l?
True
Suppose 0 = -2*a - 0*a + 36. Suppose -2*z + a = -3*n, n - 3 = 4*z + 1. Let m be (16/30)/(n/20). Is -2 less than or equal to m?
True
Suppose -2*w - 472 = -7*w - 2*k, -4*w - 4*k + 368 = 0. Is w at least 97?
False
Let x(j) = j**3 + 10*j**2 - 11*j - 6. Let o be x(-11). Which is greater: -9 or o?
o
Suppose 14 = 2*r + 2*y, -4*y + 2 - 1 = -5*r. Let s be (-5 - r)/4 - 2. Suppose 0 = -2*h - 4*n, 0*n + 27 = -3*h + 3*n. Which is smaller: s or h?
h
Suppose 1 = 5*c + 4*n, -5*n = -4*c - n + 8. Is 5/7 bigger than c?
False
Let z be (4*(-6)/(-16))/((-708)/16). Is z at least -1?
True
Let m = -1 - -0.5. Let o = 0.9 - 0.5. Let v = o + m. Is v at most 0.1?
True
Let f be (-1)/((6/4)/(-3)). Suppose -f*d = 3*d. Are -3/8 and d non-equal?
True
Let l(f) = -f**3 - 9*f**2 - f - 8. Let y be l(-9). Suppose -y = 3*r + 2. Which is greater: 2 or r?
2
Suppose q = -3*n - 0 + 12, -4*q - 12 = -3*n. Let r be (-6)/(-9)*15/8. Is r > q?
True
Suppose -3*o + 7*o - 100 = 0. Let t be 20/o + 1/5. Is t less than -3?
False
Suppose -i + 5*i = 0. Suppose -2 = -2*g, -2*c = -i*g + 4*g. Is c < -1?
True
Suppose -4*s - 8 = -12. Which is bigger: -2/341 or s?
s
Suppose -5 = -5*i, -q + 0*q - 2*i = -3. Are 4/13 and q non-equal?
True
Let u = -7 + 7.3. Let p = 328 - 325. Is p < u?
False
Let l = 75 + -56. Is l bigger than 93/5?
True
Let l = 797/17 + -47. Which is bigger: 1 or l?
1
Let o = -1.96 - 0.04. Let u = 2.2 + o. Let f = -0.1 + 0.1. Which is bigger: u or f?
u
Suppose 31 = -5*o - 4. Suppose 0 = -2*h - 0*h - 14. Is h at most as big as o?
True
Suppose -j = w - 5, 11 = 4*j - 5*w - 0*w. Suppose 0 = 3*v - 3*d + 9, 14 = -5*v + j*d + 2. Let a = 77/4 - 247/12. Which is greater: a or v?
v
Let r(q) = -q**3 + q - 12. Let v be r(0). Let a be (v/10)/((-3)/10). Let z = 8 + -3. Which is bigger: a or z?
z
Let n = -6.9 - -7. Let u = n - 0. Is u < -0.03?
False
Let l = 79/234 + -3/26. Which is greater: l or 1?
1
Let p(k) = -k + 2. Let u be p(5). Suppose 3*n + 9 = -0*n. Are n and u equal?
True
Let s = 8041/518 + -6/259. Let m = -15 + s. Let k = -2/7 - -11/14. Is k <= m?
True
Let o be 2/3 + 13/3. Suppose 5*k = -2*s - 19, 0 = -o*s + 2*k - 10 + 35. Suppose -2*p + 2 = -2*i, -5*p - s*i = -i - 5. Which is greater: p or 2/3?
p
Let s(h) = h**3 + h**2 - 1. Let m be s(0). Let z(l) = -l + 2. Let p be z(2). Is p less than m?
False
Suppose -2*i + 4 = -6. Let d(y) = y**2 - 4*y + 4. Let l be d(i). Suppose 4*w - 7 - l = 0. Which is greater: w or 3?
w
Let k = 3/17 - -1147/51. Let t = k - 23. Suppose 5*f - 3*o + 2 = -4, f = -3*o + 6. Which is bigger: f or t?
f
Let l(y) = -y - 5. Let g be l(-7). Let i = -122 + 124. Are i and g unequal?
False
Let v be 4 + 4/2 + -5. Is v >= 0.014?
True
Let u = -3 - -4. Let l be 108/(-21) + u + 3. Is 1 at most l?
False
Let u(f) = -f**2 - 2*f. Let s be u(0). Are s and -3/4 unequal?
True
Let y = -2/417 + -5417/834. Is y >= -8?
True
Let u = 4 + 2. Which is bigger: u or 4?
u
Let k = 0.2 - 1.2. Let n = -10 + 8. Which is smaller: k or n?
n
Let r = -51 + 36. Which is smaller: r or -14?
r
Let m be (-2 - -2)/(5/(-5)). Let y = 98522/715 + -142/143. Let g = 136 - y. Is g < m?
True
Let v = -4.99 + -0.01. Let z = v + 5.3. Which is smaller: z or 1?
z
Let a(p) = p. Let n be a(6). Let s be n - 4/8*6. Is 2 at most s?
True
Let z = 11 - 9.9. Let j = z - 3.1. Is 0.2 bigger than j?
True
Suppose f = 3*f. Suppose -6 + f = -3*i. Suppose 1 - i = c. Which is smaller: -2 or c?
-2
Let j(g) = g - 3. Let x be j(-5). Let o(p) = p**2 + 7*p - 7. Let v be o(x). Which is smaller: v or 0.2?
0.2
Let x = -9 - -17. Let h be 4/(x/(-6)) + -4. Are -7 and h unequal?
False
Let u = -17 - -35/2. Is u >= 0.5?
True
Let t(j) = j**3 + 10*j**2 - 11*j - 3. Let v be t(-11). Let i = v + 3. Is i at least 0?
True
Suppose 2*z - 88 = -z + 5*y, -3*z = -3*y - 78. Is z smaller than 24?
True
Suppose -5 = 14*p - 9*p. Do -10/27 and p have the same value?
False
Let t = -79/228 + 11/114. Let x = -0.9 - 0.1. Let f = -2 - x. Which is smaller: f or t?
f
Let i(o) = -o**2 + 7*o - 2. Let g be i(6). Suppose -6*z + 9 = -9. Which is smaller: g or z?
z
Suppose 4*b + 20 = -b + 5*p, 4 = -2*b + p. Let o(k) = -k**3 - k**2. Let j be o(b). Suppose -2*i = -i. Is i >= j?
True
Let v = -1.81 + 2. Let f = v - 0.2. Let x = 0.21 + f. Which is smaller: x or 0.1?
0.1
Let j be 2*(-1 - 1/(-2)). Let f = j + 0. Is -1 greater than f?
False
Let g = 0.55 + -0.5. Let l = 0.05 + g. Are 0.2 and l equal?
False
Let y be 15/2 + 21/14. Let n be 3 + -1 + y/3. Suppose 6 - 1 = -n*u. Are -1 and u unequal?
False
Let c be (52/26)/((-4)/(-14)). Suppose 2*w = -0 - 2. Which is smaller: c or w?
w
Suppose -k = 2*f - 16, -3*k = k - 3*f - 53. Suppose -x + k = x. Let a be x/(-2) - (-1)/2. Which is bigger: a or -2?
-2
Let f = 4 - -1. Suppose 9*r = 11*r - 6. Which is bigger: r or f?
f
Let i(v) = -v**2 + 6*v - 5. Let f be i(4). Let n be 