s c not equal to q?
True
Let k be 1/3 - 5954/30. Let r = -198 - k. Which is smaller: -1 or r?
-1
Suppose 3*b - 33 + 2 = -k, 5*b - 4*k = 46. Which is smaller: b or 9?
9
Suppose 3*o - 23 = -4*m, 0*o + 2*o + 23 = 5*m. Suppose 5*g - 3*t - 57 = 0, 3*t = -2*t + m. Suppose 6*x - 4*x + g = 0. Is x bigger than -5?
False
Let b = 112 - 1793/16. Which is smaller: 2 or b?
b
Suppose j + 3 = -4. Let i(p) = -p**3 - 6*p**2 + 6*p - 7. Let x be i(j). Is 1/6 less than or equal to x?
False
Suppose 51 = -3*x + 54. Are -2/9 and x unequal?
True
Let s(j) = -j**3 + 6*j**2 - 10*j + 7. Let n be s(6). Is -53 < n?
False
Let m be (3 + (0 - (-4 - -5)))/(-93). Is m at least 1?
False
Suppose -3*i - 54 = 4*q, -2*i = -q + 1 - 9. Is -15 greater than q?
False
Let m be (2/4)/(10/4). Suppose -3*t - 1 = -p + 1, 9 = 4*t + p. Suppose 2*y = -3*w - 4 - t, 0 = -2*y + 4*w + 2. Are y and m unequal?
True
Let y = -97 - -97. Is 7/9 greater than or equal to y?
True
Let h = 15 + -24. Let r = -15 - h. Let z = 2/23 - -17/69. Is r smaller than z?
True
Let c be (-15)/(-30) + (-1)/((-2)/(-105)). Which is greater: -51 or c?
-51
Let u(v) be the first derivative of -v**4/4 + v**3/3 + v**2/2 + v - 5. Let m be u(-1). Are 5/9 and m equal?
False
Let d(x) = 4*x + 0*x + 11 - 12 - 5*x**2 + 0*x + x**3. Let o be d(3). Which is bigger: -8 or o?
o
Let s = 21.61 + -27.4. Let r = 0.21 - s. Is 0.2 at least r?
False
Let g be 42/(-54) + (-4)/18. Is g > -3?
True
Let d = -24 - -17. Are d and -9 nonequal?
True
Suppose 2*r + 8 = 0, -5*z + 3*r + 2 = -0*r. Which is smaller: -2.1 or z?
-2.1
Suppose -6 = 5*k - 4*g - 3, -k + 2*g = -3. Let d = -1 - k. Let i(p) = p**2 - p - 2. Let a be i(d). Are -1 and a equal?
False
Suppose 6 = -3*v + 4*i + 2, -12 = -v - 2*i. Let n be (v - 2)*2/4. Suppose -17 = -2*o - 3*f, -5*o = -2*f - 2*f + 15. Is o bigger than n?
False
Let y(b) = 3*b**3 - b. Let n(j) = -j - 1. Let m be n(-2). Let k be y(m). Let g be 45/35 - k/7. Which is bigger: g or 2/13?
g
Let p = -73.6 + 74. Which is greater: p or -2?
p
Let k(u) be the first derivative of -u**2/2 + u - 2. Let v be k(1). Suppose s + 2*s - 9 = v. Which is bigger: 2 or s?
s
Let g = 3646/27 + -135. Let c(o) = -o**3 - 3*o**2 - 2*o - 1. Let n be c(-2). Which is greater: n or g?
g
Let m be ((-15)/10)/((-2)/(-12)). Is m < -10?
False
Let p = -5 + 3. Suppose f + 4*f + 15 = 0. Let k = p - f. Which is bigger: 2 or k?
2
Let h = -2 - -1. Let s = 7 - h. Let j be (-18)/s - (-5)/20. Are j and -1/2 equal?
False
Suppose 5*d + 19 = s, 0*d - 4 = -s + 2*d. Suppose 2*f + 5*j = -34, -4*j + 3 + 2 = -3*f. Is s > f?
True
Let v = 2.4 + 0.6. Let m = v - 2. Let t = m - 0.8. Is 0.1 less than or equal to t?
True
Let b be (-212)/63 + (-12)/(-54). Let v = -139/42 - b. Is v greater than 0?
False
Let u(y) = -y**3 + 7*y**2 + 7*y + 8. Let j be u(8). Suppose j*a - 24 = -3*a + 4*o, 5*o + 11 = -a. Suppose 3*n - 3 = -3*c, 1 = -5*n - a. Is c < 1?
False
Let r be 111/21 - 10/2. Is 9 != r?
True
Let l = 9 - 6. Let q be (3 + 38/(-12))*l. Is q not equal to -0.1?
True
Suppose -l - 24 = -4*j, 2*l - 14 = -5*j + 3. Let o = 4 - j. Let h be (o/(-2))/(4/(-8)). Which is bigger: h or 0?
0
Suppose -4*v - 68 = 4*u, -u + 3*v = 4 + 1. Do u and -14 have the same value?
True
Let j be (0 - -1)/((-3)/(-373)). Let i = j + -123. Is 0 >= i?
False
Let k = 0.33 + -0.43. Which is smaller: -17 or k?
-17
Suppose 0 = -2*k + 3*h - 1, -5*k + 0*h + 32 = 4*h. Let b be (-4 - -7)*k/(-6). Suppose -3*p - 1 = 3*q - 4*p, -14 = 4*q + 5*p. Which is bigger: q or b?
q
Suppose 0 = -4*h + 3*h + 4. Let i be (-1 + 0)*h/(-2). Are 2 and i non-equal?
False
Let w = 11 + -7. Suppose 4*x = 0, 1 = w*s + x - 19. Let m = s - 5. Which is smaller: 5/6 or m?
m
Let t be 24/5*10/4. Is 1 >= t?
False
Suppose 9*g = 4*g + 5. Are 1 and g equal?
True
Suppose 4*f = -12, -f - 3 = 3*a - 5*a. Is a != 5?
True
Let h = 17 + -13. Suppose 4 = -h*w - 0*w. Are w and -3/10 equal?
False
Let w(m) = m**2 - 2. Let b be w(-2). Suppose b*o + 24 = -4*s, 0 = o - 2*s - 9 + 1. Which is bigger: o or -1?
-1
Let f = 66 - 66. Let i be 3/((-3)/(-4)*2). Suppose 0 = -3*g + 2*z - 20, -2*g + 5*z = i*z + 15. Which is greater: f or g?
f
Let h = -29 - -35. Does h = 8?
False
Suppose 0 = -x + 7 + 4. Is 10 at least x?
False
Let i = -8 + 5. Let v = i - -6. Suppose v*l + 17 = r, 0 = 2*l - 0*l - 2*r + 18. Is l < -4?
False
Suppose 0 = 3*j - 5*y - 0*y + 55, -5*j + 5*y - 85 = 0. Let m = -16 - j. Let g be (2/4)/(1/2). Which is greater: m or g?
g
Suppose 1 = -x - 2*r, -x - r + 5 = -2*r. Suppose 5*h + 5*y + 9 = 2*y, h = -4*y - 12. Suppose h = -2*t - 2*t - 4. Which is smaller: t or x?
t
Let k = -700/3 + 791/3. Let q = -31 + k. Is q smaller than -1?
False
Let h(w) = -5*w + 32. Let d be h(9). Which is bigger: d or -9?
-9
Let v(k) = k + 3. Let g be v(13). Let q(c) = 4*c**2. Let t be q(2). Are g and t equal?
True
Let g(h) = -2*h + 2*h + 9 + 3*h - 2*h. Let l be g(-8). Which is smaller: l or -1/13?
-1/13
Let y = 30 + -27. Which is bigger: y or 12/7?
y
Let b be (-1 - -17)*(7 + -6). Let x be (-1*4/b)/1. Let i be 0 + 1*1*-1. Which is greater: x or i?
x
Suppose 7*f - 2*f + 45 = 0. Are -4 and f non-equal?
True
Suppose 3*h - 5 = -2*h. Suppose -h = 2*n - 3*a + 1, -a + 12 = 5*n. Let s = -15 + 16. Which is bigger: s or n?
n
Let w(l) = l**2 + 5*l - 4. Let f be w(-6). Let a(t) = -t + 0 + f - 2. Let m be a(-3). Which is bigger: m or 2?
m
Let n = -119.9 - -120. Is n smaller than 142?
True
Let i(a) = a**2 - a + 3. Let f = 6 - 6. Let x be i(f). Suppose 4*y - x + 7 = 0. Which is bigger: -4 or y?
y
Suppose -2*p + z - 13 = 0, -4*p + z = 7 + 16. Let o = 5 + p. Is -4/11 less than o?
True
Let a be (22/(-55))/((-2)/(-5)). Which is smaller: -24/17 or a?
-24/17
Suppose 0 = -4*o - 12, -3*o = -2*y + o + 132. Let d be (-7)/(-14) - 34/y. Which is bigger: -1 or d?
d
Suppose -h = 5*k + 11, -2*h = -3*k - 9 - 8. Which is smaller: k or 2/7?
k
Let q(d) = -9*d - 3. Let l be q(-2). Suppose -4*o + l = p, p - o + 7 = -2*p. Which is smaller: p or -2?
-2
Let p be (14925/(-40))/(3/(-2)). Let y = 19154/77 - p. Let j = y + 5/28. Is j less than or equal to 1?
True
Let g = 143/279 - 9/31. Let i = -25 - -23.1. Let b = i + 2. Which is greater: g or b?
g
Let o be (-2)/(-8) + (-11)/(-4). Suppose -o*v + 17 = -5*n, 2*v + 0*v = -2*n - 10. Are v and -1/14 nonequal?
True
Suppose 3 = -4*h - 1. Let q be (-3 - 4)*-1 + h. Is 7 > q?
True
Let v = -17/10 - -6/5. Which is bigger: v or -3?
v
Let i = -2.98 + -0.02. Let g = -3.21 + 0.11. Let n = i - g. Is -1 not equal to n?
True
Let h = -35.8 + 33. Let d = -0.05 + 3.05. Let k = h + d. Which is smaller: 2 or k?
k
Let j = 5.8 + -6. Is j less than or equal to 0?
True
Let t = -205/22 + 19/2. Suppose 5*a - 28 = -4*z, -a + 4 = a - 2*z. Let c be (-8)/a - (2 - 5). Which is greater: t or c?
c
Let y = 384 - 384.4. Let b be (3/2)/((-3)/4). Which is greater: y or b?
y
Suppose 5*j = 4*m - 41 - 8, 0 = -3*m - 2*j + 31. Let h = 7 - m. Does -1/4 = h?
False
Let k be (3/(-10))/(12/430). Which is smaller: k or -12?
-12
Let l = -27.1 + 27. Which is greater: l or 13?
13
Suppose 2*j + 0*j = -18. Let t be ((-4)/6)/(6/j). Which is greater: t or 2/21?
t
Let l = 0.44 - 0.44. Which is smaller: l or -9?
-9
Let v be ((-98)/20)/((-2)/24). Let h = -57 + v. Let i = 72 + -72.1. Which is bigger: h or i?
h
Let a be 2/2 + (0 - 0). Let n(z) = -2*z - 2. Let b be n(-3). Suppose d + 4 = 2*f, -4*d - b*f - 5 = -13. Which is smaller: a or d?
d
Let w = -10 - -14. Suppose -w - 20 = -3*g. Which is bigger: g or 9?
9
Let z(v) = -v**2 - v + 9. Let k be z(0). Suppose 3*u - 2*u = 2*n + 2, 5*n - 70 = -5*u. Which is greater: k or u?
u
Let o be 0/4*1 - 0. Is o less than or equal to -1?
False
Let q = 123/55 - -15/11. Which is bigger: q or 3?
q
Let s(f) = f + 4. Suppose q = -2*v - 3*q - 28, -3*v - 22 = 2*q. Let g be s(v). Is 2/19 greater than g?
True
Let v(s) = 2*s**3 + s**2 - 2*s + 1. Let r be v(1). Suppose r*b + 2 = 4*b. Which is smaller: b or 0.18?
0.18
Let o = 7 + -9. Let c = -2 + 1. Let r be c - -1 - (4 + -2). Is o bigger than r?
False
Let h be 1 + (0/(-2) - 3). Let q(m) = m**2 - 1. Let p be q(2). Suppose 2*w = -p*w. Is w less than or equal to h?
False
Let g = -48 + 53. Does -2 = g?
False
Let m = 2/515 - -6691/1030. Is 7 < m?
False
Let g = 0.8 - 0.1. Let u = 7 + -7.3. Let j = g - u. Are j and 0 nonequal?
True
Suppose 0 = -c + 2*o + 4, 4*c - 8*o = -6*o + 28. Does c = 9?
False
Let