 s?
f
Suppose 6*q = 2 + 4. Do 6/7 and q have the same value?
False
Suppose 95 = 2*g + 5*x, 2*g = -2*g - x + 145. Suppose s - 2 = 0, 42 + 24 = 2*y + 5*s. Let k be 8/y + (-38)/g. Which is greater: -2 or k?
k
Suppose 2*s + 2 = 3*s. Let f be 0/(6 - 3) + 2. Is f smaller than s?
False
Let f = -5809/33 + 176. Which is greater: -1 or f?
f
Let k(w) = -w**2 + 4*w - 5. Let o be k(5). Let j be 2/4 + 25/o. Let a be (-6)/j - 10/4. Which is greater: 0 or a?
a
Let j be -1 + 3 + (-1656)/16. Let g = j + 106. Is g greater than 6?
False
Let x(q) = q**3 - 3*q**2 + 2*q. Let h be x(1). Is -14 not equal to h?
True
Let u be (-4)/14 - 46/(-14). Suppose 0 = -k + u. Let j = -3 - k. Is j at least -5?
False
Let g = 13.2 + -12. Let w = 0.2 - g. Let v = w + 2. Is v bigger than 4?
False
Suppose a = -0 + 4. Suppose -a = 6*k - 2*k. Let b(y) = -y**2 - y. Let n be b(k). Is n at most as big as -1/7?
False
Let l = 22 - 20. Is l > 4?
False
Suppose 3*y + 12 = 0, w - 2*y + 7*y + 21 = 0. Let d be (w/(-14))/(4/16). Are d and 1 non-equal?
True
Let h be ((-1)/2)/(2/12). Let r = 2 - h. Let g(p) = -p**3 + 5*p**2 + p - 4. Let o be g(r). Is 1/4 <= o?
True
Let r be ((-36)/(-42))/(1/14). Let x = 16 - r. Which is bigger: x or 3?
x
Let z = 5 + -7. Let u be (12/7)/(2/14). Let v be -6*(-3)/u*z. Do -4 and v have the same value?
False
Let z = -2/7 + -106/21. Is -4 > z?
True
Suppose 0 = 3*b - 4*u + 16, -4*b + b - u - 11 = 0. Which is smaller: 1/5 or b?
b
Let d = 8 - 7. Which is bigger: d or -14?
d
Suppose 3*n = z + 6*n + 12, z + 4*n + 16 = 0. Let g be (-8)/54*3/2. Is z > g?
True
Let j = 9 - 9. Is 2/3 equal to j?
False
Let f(h) = -h**3 - 14*h**2 + 16*h + 14. Let p be f(-15). Which is bigger: p or -2/27?
-2/27
Let d = 14 - 15. Which is greater: d or 0.009?
0.009
Let w be -2*((-86)/(-42) + -2). Let t be (2/4)/(2/(-4)). Which is smaller: t or w?
t
Suppose 2*f - 5*f = 2*a - 42, 4*a - 74 = -f. Suppose 3*h - 11 = 7*h + 3*k, -2*h - 4*k = a. Which is smaller: 0 or h?
0
Suppose -9*z - 20 = -5*z. Is z >= 2/5?
False
Let g(c) = c - 16. Let u be g(13). Which is greater: -4 or u?
u
Let q(a) = a**3 + a**2 - 2*a - 4. Let l be q(-3). Let g = l + 10. Which is bigger: -7 or g?
g
Suppose -30 = 3*q + f + 49, q = -5*f - 45. Is q smaller than -26?
False
Suppose -2 - 14 = -16*w. Let u = 0.25 - -0.05. Which is greater: u or w?
w
Let i be (-2)/(-6) + 140619/4095. Let y = i - 450/13. Are 1 and y unequal?
True
Let v = -2279/15 + 152. Is v != 1?
True
Suppose -t = -2*n + 11, -5*n - 2*t = -18 + 4. Suppose 49 = -3*m + n. Let a be 5/m - 13/(-3). Is a bigger than 4?
False
Let o = -2 - 0. Suppose 2*j + 1 = z, 4*j - 2 = 2*z - j. Suppose -2*w + 0*b + 5*b + z = 0, 0 = 5*b + 15. Which is bigger: o or w?
o
Let t be 2 - 2 - 1*3. Let j be (132/(-90))/(34/(-9)). Let o = 1/85 + j. Which is smaller: o or t?
t
Suppose 9 = 4*a + 1. Is a greater than -1?
True
Let c(t) = t**3 + 2*t**2. Let o be c(-2). Suppose o = -4*d + 6*d. Are d and 0 unequal?
False
Let a = 1.8 - 3.8. Which is greater: 0 or a?
0
Suppose 0 = -4*l + l. Suppose l*x = x - 1. Is x <= -1/7?
False
Suppose 0*r + r = 182. Let z = r - 12560/69. Let x = z - 7/23. Which is bigger: -1 or x?
x
Let s(d) = -d**3 + 3*d**2 - 3*d - 1. Let j be s(3). Let y be (8/j)/(1/5). Let g be (-15)/100 + 1/y. Is g greater than or equal to 1?
False
Let o(t) = t. Let c be o(-3). Let u be (c/((-228)/(-16)))/(-2). Is u bigger than 0?
True
Let p = 12 - -1. Is 11 != p?
True
Let m be 9*(-4)/(-6)*-1. Let a be (8/(-12))/(4/m). Let w be 0 - (1 - (-9)/(-7)). Is w not equal to a?
True
Let k = -2 - -21. Let c = 0.42 - 0.32. Is c greater than k?
False
Let q = 1791/7 - 255. Which is smaller: q or 1?
q
Let l(x) = -5*x - 57. Let b be l(-11). Let n = 187/84 - -3/28. Which is smaller: n or b?
b
Let q = -4.02 + 0.02. Let t = q + 5. Let n = 2.2 + -2. Does n = t?
False
Let p = 24 + -11. Is 14 at least p?
True
Let g(z) = -z**2 + 10*z - 3. Let n(m) = -m. Let p(a) = g(a) + 6*n(a). Let s be p(3). Which is smaller: s or 3/8?
s
Let j = -42 + 39.1. Let x = -3 - j. Let c = x - 0. Which is greater: -1 or c?
c
Let l = 1 - 1. Let i be (6/4)/3*l. Let a be (-48)/30 + 3/(-15)*2. Which is smaller: a or i?
a
Let k = 211 - 3167/15. Let b = 4/5 + k. Is 8 not equal to b?
True
Let b = 13 + -14. Is b > 0?
False
Let l = 0.2 - 0.3. Let y = -0.4 + 0.4. Are y and l equal?
False
Let y = 31/15 - 7/5. Let j = y + -5/6. Which is smaller: j or -2?
-2
Let r = 11173/188 + -173/47. Let l(t) = -t**3 - 15*t**2 - 9*t + 14. Let u be l(-14). Let x = u + r. Is x at most 0?
True
Let z(l) = 5*l**3 + 2*l**2 + 2*l - 6. Let b(t) = t**3 + t**2 + t - 1. Let q(y) = -6*b(y) + z(y). Let k be q(-3). Suppose -p + 3*p - 8 = 0. Is p smaller than k?
False
Suppose 3*l - 6 = -12. Which is smaller: 3 or l?
l
Let s be -1 - ((-75)/(-27) + (-15)/5). Which is smaller: 0 or s?
s
Let c = 0.9 + -0.8. Let j = c + -0.1. Is j equal to 3?
False
Let z = -1 + 1. Let x(q) = q**2 - q - 4. Let p be x(3). Is z less than or equal to p?
True
Let a(m) = 9 - 2*m**3 - 11 - 3*m**2 + 3*m**3. Let c be a(3). Which is bigger: -1/2 or c?
-1/2
Suppose 5*u = -2*j - 2, -44 = 4*u - 5*j - 16. Let v be u + (3 - (-2 - 0)). Are v and 3 nonequal?
False
Let s = -154/13 - -1772/143. Suppose -5*t = -3*t. Let u(v) = -v**3 + v**2 + 2. Let b be u(t). Are b and s non-equal?
True
Let z = 2 - 2. Let r = z - -104. Let x be r/140 + (-3)/5. Is x less than or equal to 0?
False
Suppose -5*j = 4*w - 88, -4*w + 4*j = -6*w + 38. Which is smaller: w or 109/4?
w
Let k = 0.07 - -0.53. Let s = 5.4 + k. Do s and -1 have the same value?
False
Suppose -5*u - 4*i = 63, -2*u - i + 3 - 27 = 0. Is u bigger than -10?
False
Suppose -a - 13 = j - 5*j, 0 = -2*j + 2*a + 2. Let k(i) = i**2 - 6*i + 6. Let o be k(j). Let n be (-1 - o) + 0 + -1. Is 0 smaller than n?
False
Suppose -5*n - 4*c + 16 = -n, 5*n + 4*c - 15 = 0. Which is greater: 1/20 or n?
1/20
Let o be 4/(-10) - (-2)/5. Let p(y) = -y**2 - y - 6. Let l be p(o). Let k be (-1)/8*(-8)/l. Which is smaller: k or -1?
-1
Let s be (-1 + 0 + 696)/9. Let l = s - 77. Is 0 greater than or equal to l?
False
Let l(v) = -v**3 + 2*v**2 + 2*v + 3. Let j be l(3). Let b = 3 - j. Does b = 3?
True
Let k be (-1)/(2 - 15/9). Let c = k + 0. Let z(q) = q**2 + 2*q - 7. Let l be z(-3). Which is smaller: l or c?
l
Let o = 0.03 + -0.43. Let f(r) = r**3 - 3*r**2 + 3*r - 2. Let x be f(2). Is x < o?
False
Suppose 10 = 5*g - 0*g. Suppose -4*w + 16 = -4*h, 3*w + 2*h - g = -0*h. Let z be ((1 + 1)/w)/1. Which is greater: 2 or z?
2
Let g = -0.36 - -0.06. Let o = g - 0.7. Which is greater: o or 1/2?
1/2
Let s = 13 - 6. Let h = 1578 - 7924/5. Let q = s + h. Is q greater than -1/3?
True
Let d be (-46)/84 + (-2)/(-6). Is d > 1?
False
Let y be (-3)/(-4 + 1) + -7. Let r be y/(-8) + (-18)/(-8). Suppose -r*t - 2*t = 0. Is t at most -3/8?
False
Let k = 27.7 + -29. Let f = k - 3.7. Is f >= -1/3?
False
Let i = 1171 - 10556/9. Let c = 137/63 + i. Which is smaller: c or 2?
c
Let x be (-1)/(-1) + (-10)/6. Let i(z) = z + 1. Suppose 0*d + d = -1. Let j be i(d). Are j and x nonequal?
True
Let y be ((-2)/(-4))/(16/(-32)). Which is smaller: 2/33 or y?
y
Suppose 40 = 5*u + 15. Suppose -3*p + 2 = 5*q, u*q + 18 = 3*p + 2*q. Suppose -a = p*a + 20. Which is smaller: -3 or a?
a
Let n(j) = j - 4. Let k be n(5). Suppose -3*g - 4 = -k. Which is greater: g or -1/2?
-1/2
Let n be ((-2)/(-14)*4)/(-1). Let q = -12 - -12. Which is bigger: n or q?
q
Let y = -0.6 + 1.6. Let w = y - 0.9. Which is smaller: w or -2/3?
-2/3
Suppose 10 = -5*t + 3*t. Are t and -5 nonequal?
False
Let w be ((-16)/(-72))/(16/12). Are w and -12 non-equal?
True
Suppose 0*u = 5*u + 25. Let v = -272 + 805/3. Is v less than u?
False
Suppose -19*q - 75 = -14*q. Is q less than or equal to -31/2?
False
Let l be (-1476)/(-810) - (-2)/(-9). Is 1 <= l?
True
Let i = 18 - 13. Suppose -1 = u + 2*l, -2*u + 8 = 4*l - i*l. Is 3 not equal to u?
False
Let w(m) = 2*m + m**3 + 7*m**2 - 3*m**2 - 3*m - 3. Let z be ((-3)/2)/((-21)/(-56)). Let b be w(z). Is b greater than or equal to 0?
True
Suppose 5 = -4*m + 4*f - f, -3*m - 4*f + 15 = 0. Let c = 111/10 - 23/2. Which is smaller: c or m?
c
Let l = -14 + 13. Which is greater: l or -2?
l
Let l = 8 - 3.1. Let w = l + -5. Is 0.1 greater than w?
True
Let p(t) = t**2 - 3*t - 9. Let o be p(4). Let x be (-3)/(-15) - (-18)/(-15). Are o and x equal?
False
Suppose 0 = 3*i - 8*i +