. Let i = o - 310. Is i equal to 0?
False
Let j(m) = 8*m - 31. Let w be j(9). Is 41 smaller than w?
False
Let q be (-3)/6 - (-3)/4. Let t = -0.5 + 0.8. Let d = 0.4 - t. Is q bigger than d?
True
Let z be 0/(-1) + (-8)/(-4). Which is greater: 4 or z?
4
Let x be 3/(-4) + (-201)/(-12). Let y = 26 - x. Suppose -3*w + 2*p = -y, 0 = 4*w + w - 5*p - 25. Is w less than -1?
False
Let j = 6773/25 - 271. Suppose 4*g + 9 = -o, g - 17 = -2*g + 4*o. Is g at least as big as j?
False
Let z be 1/(-1 + (-4)/(-3)). Let w be -2 - 4/(z - 5). Is 1/8 less than or equal to w?
False
Suppose -7*m = 70 - 28. Is -8 at least m?
False
Suppose 0 = -5*d - 5, 4*d + d + 2 = -3*l. Is -0.08 at least as big as l?
False
Suppose -8 = -5*y - 2*z, 3*y + 3*z - 12 = -y. Suppose -2*i - 4 = -3*a - 3, 23 = 5*a + 2*i. Let l = a + -2. Is l at least y?
True
Let b = -131.5 - -136. Which is smaller: -2/3 or b?
-2/3
Let u = 30 - 33. Is u at most -1?
True
Suppose 4*h = 10*h. Which is greater: h or -2/15?
h
Let f = 0.3 - 0.4. Let p = -0.071 - -3.071. Is p < f?
False
Let t(p) = p**2 - 11*p + 12. Let y be t(12). Let n = y - 24. Which is greater: -2/49 or n?
n
Let b(o) = -o**3 + 5*o**2 + o - 6. Let f be b(5). Suppose 7*y = 2*y. Suppose y = 3*j - 0*j. Does f = j?
False
Let i = -12.026 - -0.026. Which is smaller: i or 2?
i
Let t(m) = 2*m - 8. Let k(f) = f - 3. Let c(s) = -8*k(s) + 3*t(s). Let v be c(4). Let u be (-1)/(-2*(-34)/v). Is 1 at most as big as u?
False
Suppose 2*u + 3*u = 0. Which is smaller: u or 2/3?
u
Suppose -5*o - 2*s = 3*s, -5*o + s = 0. Are o and 1 non-equal?
True
Let b(d) = d**2 + 4*d + 2. Let p be b(-3). Suppose k - 1 = 2. Let q be (-1)/k + 5/33. Is q at least p?
True
Suppose -3*w - k = 14, -4*k = -w + 4*w + 11. Is -5 bigger than w?
False
Suppose 0 = -0*p + 4*p - 12. Suppose 2*g - 55 = -p*g. Is 11 smaller than g?
False
Let j(r) = -r**2 - 2*r - 1. Let f be j(-2). Let v = -5 + 2. Let o be (2/(-10))/(v/(-18)). Which is smaller: f or o?
o
Suppose 2 - 5 = -w. Which is bigger: -1 or w?
w
Let i = -1 + -5. Suppose 2*j - 12 = -2*j + 2*r, j - 4*r = 10. Let w = i + j. Which is smaller: w or -3?
w
Suppose p = 2*p + 1. Which is bigger: 0 or p?
0
Let c(y) = y - 4. Let m be c(3). Is m > -1?
False
Suppose -15 = 7*v - 4*v. Let t = v + 3. Which is bigger: -1 or t?
-1
Let o = 51/4 - 13. Let c be (-2)/(-4)*2 - 0/(-7). Are c and o equal?
False
Let a = 122 + -612/5. Let j = -0.83 - 0.17. Which is greater: a or j?
a
Let u be 1/3 + 4/(-3). Let v be (0/u)/(3 + -5). Let p = -1 + v. Do p and -2 have the same value?
False
Let m be 1/1 - 2 - -1. Suppose k + 25 = 6*k. Suppose -5*s = k*q + 15, -5*q - 9 = 2*s + 3. Is q > m?
False
Let x be 93/(-6) + 1/2. Are x and -14 unequal?
True
Let p be (-4)/(-3)*(-9)/(-6). Let r be (p/(-9))/(1/(-3)). Is r at least 1?
False
Let v(f) = 6 - 2 + 0 + 5*f - 6*f. Let i be v(2). Is i at least as big as 0?
True
Suppose 4*o - 8 = -2*f, 2*f + 0*o - 5*o - 8 = 0. Suppose 14 = f*m - 2. Suppose 4 = -m*k, 4*p + 6 = -p - k. Do 0 and p have the same value?
False
Let t = -4 + 6. Is t less than or equal to -2?
False
Let q = 3 - 2. Let g(u) = -u - 1. Let m be g(q). Which is smaller: m or -1?
m
Suppose u + 4*k = 8, -5*k = -5*u - 26 + 116. Suppose -l + 4*b = -4, 4*l + b + 2 = -u. Is l at most as big as -3?
True
Suppose -3*y - y = 0. Suppose -h - 3*j = 1, y*j = 3*j. Which is smaller: 4/9 or h?
h
Suppose -4*v + 32 = 292. Which is smaller: v or -64?
v
Let k be (-3 - 0)*-1 - 3. Which is smaller: -1/9 or k?
-1/9
Let d = -1285/2 - -1913/3. Is -5 less than d?
True
Let n(s) = 9*s**2 - s + 1. Let x be n(1). Let o = -6 + x. Suppose 3*j = 2*c - 8, j = -o*j - 4*c + 16. Which is smaller: j or 0.3?
j
Let m be 3*(2/10 - 0). Let o = 19/15 - m. Let j be (-4)/5 + 4/10. Is o greater than or equal to j?
True
Suppose -2*w + 78 = 72. Is 3 bigger than w?
False
Suppose 4 = l - 3*n, 4*n = 4*l - 6 - 10. Suppose -4*y + 18 = -s, y - s + 5*s = -l. Suppose -i = -4*g - y - 12, -4*g - 16 = 2*i. Which is greater: -3 or g?
-3
Suppose 0 = -g + 6*g - 15. Suppose -4*m + 36 = 4*n, 0 = -7*m + g*m - 3*n + 41. Suppose -f + 3*f = -2*z + m, 31 = 4*z + 5*f. Are z and 4 non-equal?
False
Let y be 3*1 - (8 + -3). Let o be (y/(-4))/(9/(-18)). Which is greater: o or 2/33?
2/33
Let h be 0*((-9)/18)/(3/6). Which is greater: h or 18/37?
18/37
Let d be 6/20*12/(-9). Suppose -x - 14 = -4*y, 4*x + 0*y + 3*y - 39 = 0. Let f(m) = m**3 - 5*m**2 - 6*m + 1. Let u be f(x). Which is smaller: u or d?
d
Let i be (6 + -5)*(1 - -6). Suppose 5 = 4*r - i. Let p be 1/(r/12) - 0. Which is smaller: p or 3?
3
Let c = -114 + 118. Which is smaller: 5 or c?
c
Let z = 93 + -469/5. Suppose 4*h - 3*c - 11 = 0, 28 = 5*h - 4*c + 5*c. Suppose -4*t - t = h. Which is smaller: z or t?
t
Let v = -53 + 37. Let j = v + 10. Do j and -1 have different values?
True
Let r(n) = n**3 - 17*n**2 + 5. Let b be r(17). Which is greater: b or 7?
7
Let w(p) = p**3 + 2*p**2 - p - 4. Let h be w(2). Let f = 8 - h. Which is smaller: f or -7?
-7
Let v = 8 + -21. Let d = v - -15. Which is bigger: d or 8/3?
8/3
Let q = -0.017 + -0.983. Is -37 at least q?
False
Let b(n) = 1 - n + 8 + 0. Let k be b(8). Are k and 0.3 equal?
False
Let j(u) = u + 3. Let d be (6/(-4))/(24/64). Let p be j(d). Is p at least as big as -1?
True
Suppose -3*v = v - 8. Which is smaller: v or 11/4?
v
Suppose a + 11 = 2*l, -a - 17 = -4*l + 4. Is a < -1/3?
True
Let u = 479/88 + -45/8. Which is smaller: -1 or u?
-1
Suppose 0 = -2*g - 3*m + 4 + 2, 3*g + 4*m - 9 = 0. Suppose g*p - z = -p + 5, 2*p = z + 5. Let h be (-24)/11 - (-8)/4. Which is smaller: h or p?
h
Let k(r) = r**3 - 13*r**2 + 2*r - 12. Let g be k(13). Which is smaller: 13 or g?
13
Let k(b) = 2*b**2 - 20*b + 4. Let g(n) = -n**2 + 10*n - 2. Suppose -31 = 4*s - 7. Let m(a) = s*k(a) - 13*g(a). Let q be m(10). Is q less than 4/5?
False
Let g(c) = c - 3. Let a be g(4). Let z be 47/105 - 46/115. Do a and z have the same value?
False
Suppose 20 = 7*z - 2*z - 5*b, -5*b = 0. Which is bigger: 0 or z?
z
Let c(x) = -x**2 + 8*x + 3. Let s be c(8). Suppose 4*l + 82 = -5*t, -5*t - 68 - 11 = s*l. Let a be (-24)/t - (-6)/21. Which is bigger: a or 4?
4
Suppose -4*b - 3 - 1 = 0. Let r be b - (-4 - -2 - 1). Is r less than 1?
False
Let p(j) = j**2 + 8*j + 7. Let d be p(-7). Do d and -1/10 have different values?
True
Suppose -u = u + 2. Let g = 24/35 - 2/5. Is u less than or equal to g?
True
Let v be 36/20*((-120)/(-126))/2. Let z = -3 + 9. Suppose z*s - s = 0. Is v less than s?
False
Let s = -0.0405 - 9.8795. Let w = 10 + s. Let i = w - 0.18. Is -4 < i?
True
Suppose 4*i + 10 = -i. Let h be i + 13/3 - -1. Let k = -11/3 + h. Which is smaller: 0.2 or k?
k
Let i = -114 - -114. Is -2/153 > i?
False
Suppose 3*d = -2*o - 28, -d + 2*d + 16 = -4*o. Let v = d - -3. Are v and -6 nonequal?
True
Let z = 2 + 16. Let g be 9/z*1/(-6). Which is smaller: g or 1?
g
Suppose -v - 4*v = 50. Let q be (-54)/(-60)*v/24. Which is bigger: q or 0?
0
Let g = -12.3 + 12. Is g equal to -6?
False
Let d = 873 + -868. Suppose 5*k + 24 = 3*l + 7, 5*l - 3*k = 7. Is l equal to d?
False
Let u(k) = -k**3 - 6*k**2 - 6*k - 6. Let h be u(-5). Let y(x) = x**2 + 5*x - 5. Let z be y(-6). Let s = h + z. Which is bigger: -1/2 or s?
s
Let w = -23 - -17. Is w less than -5?
True
Suppose 2*s + 6 - 46 = 0. Suppose s = 4*x - 16. Let v = 11 - x. Which is smaller: 3 or v?
v
Let q be 0 + (-63)/24 - -2. Let m = q - -1/8. Let a = -11 - -10. Which is bigger: a or m?
m
Let f = 38 + -40. Is -3 < f?
True
Let s be (3/(-135))/((-1)/3). Let o = s - -19/15. Which is bigger: o or 0?
o
Suppose -8 = -2*k + k + 3*s, 5*k + s = 8. Suppose 3 = z - 1. Which is bigger: k or z?
z
Let a = 18 + -11. Let l = 8 - a. Is 2/19 at least l?
False
Let w = -1.4 - -2.4. Let p = w - 9. Which is smaller: 0.1 or p?
p
Let m(j) = -j**3 - j**2 + 2*j - 2. Let o be m(0). Is -11/4 at most as big as o?
True
Let z = 0.2 - -0.4. Let t = -0.5 + z. Which is smaller: -1 or t?
-1
Let k = -1.1 - -1. Let m(b) = -b**2 - 7*b - 5. Suppose -2*d + 4 = -4, 2*r = -3*d. Let f be m(r). Which is greater: k or f?
f
Suppose -7*g - 10 = -2*g. Let r(v) = v**3 + 3*v**2 + 3*v + 3. Let x be r(g). Which is greater: -1/15 or x?
x
Let q be ((-1)/(-2))/((-5)/50). Let p be (1833 - q)/(1*7). Let c = 263 - p. Is -1 >= c?
False
Suppose -4*b + 34 = -0*b + 5*g, 4*g - 38 = -5*b. Suppose 4*m + 9 = -3*i - b, 3*i = -m - 6. Is i s