he same value?
False
Let x = 18 - 14. Suppose 0*w - w = -4*c - 9, c = 2*w - x. Is c less than -0.2?
True
Let i be 63/(-75) - 1/(-5). Let h = -1729 + 129677/75. Let k = h - i. Are k and -3/2 equal?
False
Let h = 5 - 2. Suppose -h*b + 10 = 2*b. Let q be ((-1)/b)/(0 + 1). Which is greater: q or -1?
q
Let r = 663/4 + -165. Let d be ((-72)/20 - -4)*5. Does d = r?
False
Let s(d) = 5*d - 12. Let r be s(5). Which is bigger: 0 or r?
r
Let h = 5.88 + -1.38. Which is smaller: 1 or h?
1
Suppose -3*s = 4*q + 3, 3*q = 4*s - 1 + 5. Let f(z) = z**3 + 5*z**2 + 3*z - 3. Let y be f(-4). Let j = q + y. Is j at most as big as 1?
True
Let x be 298/14 + (-4)/14. Suppose 4 + x = 5*c. Is 5 less than or equal to c?
True
Let c = 707 + -4964/7. Which is smaller: c or -2?
c
Let i = -6169/17 + 363. Let r = 14 + -8. Suppose r*q + 0*q = 0. Are i and q equal?
False
Suppose 17 = 5*f + 2. Suppose -5*v + 13 = 3*q, -2*v + 2*q - 1 + f = 0. Let o be (v - 0)/(-2)*2. Which is smaller: o or -1?
o
Let q = 0 + -0.07. Let x = -0.03 + q. Do 1 and x have the same value?
False
Let z = 49.9 - 50. Which is bigger: z or -1/56?
-1/56
Let q = 5 + -9. Let x = -16 + 10. Let a(j) = -j**3 - 7*j**2 - 7*j - 5. Let b be a(x). Which is smaller: q or b?
q
Let g be 0 + -6 - 1 - 0. Let f(i) = -i - 12. Let w be f(g). Does w = 0?
False
Let q be (-217)/231 - (-4)/6. Let w = 4 + -3. Which is bigger: q or w?
w
Let x(v) = -2*v - 1. Let z be x(-3). Suppose 5*j + 3*t + 4 + 10 = 0, z*t = j - 14. Is j smaller than -2/7?
True
Suppose 0 = 3*c + 5*n - 6, 6*c - 6 = 3*c + n. Let b = -5 - -9. Let s be 8/(-1*b) + 3. Is c at least s?
True
Let k(a) = a**2 + 12*a + 2. Let w be k(-11). Let r = w + 10. Do 2/9 and r have different values?
True
Let x = 2 - 5. Let k = -6 + 8. Let m = k + -5. Do m and x have the same value?
True
Let k = 0.2 - 0.5. Let f = k - -0.4. Is 0.4 bigger than f?
True
Let c = 3 - 3.3. Let m = c + 0.1. Which is greater: 0 or m?
0
Suppose -4*g - 3*y = -2*y - 17, 0 = -5*y - 15. Suppose -4*u = -g*q + 15, 0*q - 1 = q. Does u = -5?
True
Let z(v) be the first derivative of -v**3/3 - v**2/2 + v + 10. Let i be z(-1). Are i and 1/10 non-equal?
True
Let k be (-4)/(-18) - (1 - (-44)/36). Do k and -3/4 have the same value?
False
Let u = -5/481 + -30263/3848. Which is greater: u or -7?
-7
Let d be ((-10)/16)/((-65)/78). Let l = -1 - -1. Is l >= d?
False
Let h = 8 - 4. Let i = 16 - 11.9. Let p = i - h. Which is greater: p or -0.2?
p
Suppose -5*i - 24 = -i. Let j = i - -6. Which is bigger: j or -1?
j
Let t be (20/945)/(6/(-7)). Are 0 and t nonequal?
True
Suppose p - 4*p = -12. Let z = 8 - p. Suppose 0 = 3*t + 2 - 11. Which is smaller: t or z?
t
Let j(w) = -w - 9. Let k be j(-11). Suppose 0 = 4*c - 0 - 4. Suppose -k + c = -n. Is -2 less than n?
True
Let i be -4 - (-2*1 - 0). Suppose 4*k + 4*c + 0 = -4, 2*c + 5 = k. Is i < k?
True
Let s be 4/6 - 10/(-3). Suppose 0 = h - 5*r + 26 - 8, -2*h - 12 = -s*r. Let u be -2 + 14/4 + 0. Is h greater than u?
True
Let s be 2 + 4/26*-14. Let t(c) = -c + 4. Let q(p) = -p**2 - 5*p - 1. Let d be q(-3). Let x be t(d). Which is bigger: s or x?
s
Let f = 2 + 0. Suppose -2*b + f*i - 4 = 0, -2*b + 2*i = i. Let n(k) = k**3 + 7*k**2 + 6*k + 1. Let m be n(-6). Is m less than b?
True
Let v be (-3)/(-1*6/(-16)). Let m = -6 - v. Suppose m*l + l + 3 = 0. Which is bigger: l or -2?
l
Let n = 215 - 10533/49. Suppose -5*c = -4*c - 6*c. Is c greater than n?
False
Let v(l) = 2*l + 1 - 5*l**3 + 2*l**2 + 4*l**3 - l**2. Let z be v(-1). Let h = -1.2 + 2.2. Is h less than or equal to z?
True
Let u = 29425/16 - 410431/240. Let y = u + -129. Are 0 and y non-equal?
True
Let t be ((-4)/10 - (-186)/(-135)) + 2. Is 1 < t?
False
Suppose 4*b = b + 6. Let x be b*(0 + 2/(-4)). Is x <= -1?
True
Suppose 4*x + o - 9 = -4, 0 = x - 3*o + 15. Are x and -1 unequal?
True
Let a = 14 - 9. Let g = a - 5.7. Let j = 0.3 - g. Which is bigger: 2 or j?
2
Suppose -4*l - b = -9, 2*b - 2 = -5*l + 10. Let j be 4/l + -9 + 3. Is -0.1 != j?
True
Let q = -0.9 + 7.9. Let w = q + -7.05. Let c = w + -0.05. Which is greater: c or 5?
5
Let j = -67 + 38. Which is smaller: 0 or j?
j
Let p = 1497 - 4447/3. Let t = p - 15. Suppose -2*u = 3*u + z - 8, u + 5 = 2*z. Which is greater: t or u?
u
Let b = -0.032 + 2.032. Which is bigger: b or 19?
19
Let t be (-6)/(-36) - (-25)/(-126). Let h = -59/126 + t. Which is smaller: h or 0?
h
Suppose -3*b + 2*b + 4*x = 2, 2*x - 22 = -3*b. Let i = 7 - b. Which is smaller: i or -1/9?
-1/9
Let f be 2 - 5/(20/8). Suppose -3*q + q + 4 = f. Which is greater: q or 2/3?
q
Suppose -2 = 4*g - 10. Which is bigger: 0 or g?
g
Let k = -9 - -21. Suppose -2*v - 10 = -2*o, -4*o + 0*v + 2*v = -k. Let s be (-2)/(-10) + (-4)/(-10). Which is smaller: o or s?
s
Suppose -2*v = 1 - 7. Suppose -3*m - 4*o + 4 = 0, -o + 2 = 3*m - 2*m. Suppose 0 = -p + m*p - v. Which is smaller: p or 2/5?
2/5
Let h be (-164)/(-32) - 0/2. Let i = h - 47/8. Is i at least -1?
True
Let g = -99 - -884/9. Let c = 8/45 + g. Is c less than 0?
True
Let p be -1 + 2 - 22/16. Suppose z - 3*z - 5*r = 27, 0 = z - 2*r - 9. Is z at least p?
False
Let k = 10 + -12. Which is smaller: -9/4 or k?
-9/4
Let h(t) = 2*t + 2. Let g be h(3). Suppose 0 = m - 5*m + g. Which is greater: m or 3/5?
m
Let l = 6 - 8. Let u(c) = c + 6. Let t be u(-6). Let s = t - l. Are -1/2 and s equal?
False
Let p(j) = -j**3 + 8*j**2 - 6*j - 8. Suppose 3*k - 28 = -k. Let u be p(k). Let x(t) = t**3 + 12*t**2 + t + 13. Let m be x(-12). Which is bigger: u or m?
m
Let b = 2 + 0. Suppose i + b*i = 3. Is -4 != i?
True
Suppose 0*l - 3*r = -2*l + 22, -4*r = 2*l - 50. Suppose -2*j = -3 - l. Let h be j/(-20) + (-2)/4. Which is bigger: -2/11 or h?
-2/11
Suppose -a - 3*a = -8. Let l be 6 - a/(0 + 1). Let o be 3 - (2 + 4/(-2)). Is l equal to o?
False
Let y be 0 - (2 + (200/(-12) - 3)). Which is smaller: y or 19?
y
Let h = 17 - 16. Is h > 2?
False
Let c(s) = -41*s**2 + 2*s. Let g be c(-2). Is -167 <= g?
False
Let m be -8 - -62 - 2*-1. Suppose 8*k = 4*k + m. Is k smaller than 14?
False
Let o(t) = t**2 - 15*t + 12. Let r be o(14). Is -18/13 greater than r?
True
Let p(m) = -7 - 7 + 3 + m. Let f(t) = -t**3 - 9*t**2 + 10*t + 7. Let r be f(-10). Let q be p(r). Is q <= -4?
True
Let v = -38.88 - -39. Is 2 <= v?
False
Let c = 30 - 32. Let u = -0.2 - 0.8. Is c less than u?
True
Let o be -2 + 0 - (-2)/2. Let p = 1 - 3. Let w = 3 + p. Which is smaller: o or w?
o
Let v = -2 - -2.1. Let b be 2/(-1) + 23/20. Let x = -3/5 - b. Which is smaller: x or v?
v
Suppose 2*w + 0 - 8 = 0. Let x(q) = -q + 3. Let p be x(4). Let o = p + w. Which is greater: o or 2?
o
Let r(j) = -2*j + 6. Let f be r(-3). Which is greater: 13 or f?
13
Let n be ((-14)/(-8))/(2/(-8)). Let s be (-2)/n - 24/(-14). Suppose 5*o - 6 = s*o. Are o and -0.1 non-equal?
True
Let z = 11 + -11. Is 2/27 bigger than z?
True
Let y be (-31)/(-35) + 3/(-5). Let u = 3.4 - -0.6. Which is smaller: y or u?
y
Let u = -7.9 - -7.8. Is -92 < u?
True
Suppose -2*d - 3*k + 19 = 0, -2*k + 5*k = -3*d + 21. Suppose -v = -5*y - 22 - 2, 0 = 5*v - d*y - 5. Let w = 4 + v. Which is smaller: w or -1?
-1
Let r(b) be the second derivative of 2*b**3/3 - b**2/2 - 3*b. Let d be r(2). Suppose -3*y + 2*v - 3*v = d, -y + v - 1 = 0. Is -0.1 bigger than y?
True
Suppose 0 = 3*m - 8*m. Let y(j) = j**3 + 4*j**2 + 5*j + 7. Let s be y(-3). Do m and s have different values?
True
Let a = -34.4 - -35. Let f = -0.11 - 0.69. Let p = a + f. Does 0 = p?
False
Let g be 0 - -24*(4 - 3). Let u = -171/7 + g. Which is greater: 0.1 or u?
0.1
Let s(a) = -1. Let q(h) = 2*h + 9. Let z(d) = -q(d) - 6*s(d). Let k be z(-2). Let u be k/3*(-2 + 1). Which is smaller: u or 0?
u
Let q be 11/3 + 18/(-27). Let r be (2/6*q)/1. Suppose -2 = 3*y + r. Is y less than -1?
False
Suppose 0 = -0*a - 4*a + 4. Let w = a + 1. Suppose 5*c + 17 - w = 0. Which is greater: -2 or c?
-2
Let p = 15 + -15. Which is bigger: p or -1/4?
p
Let o(m) = 2*m**3 + 3*m**2 + 2*m - 1. Let p be o(-2). Let i = 7 + p. Which is greater: -1 or i?
-1
Suppose 0 = -r - 1 - 1. Let f = 2 + r. Let n = 40 + -118/3. Is f greater than n?
False
Let t(s) = s**2 + 3*s - 5. Let p be t(-6). Is 14 > p?
True
Suppose 8 = -z - 3*g - 4, -2*z - 12 = 3*g. Suppose u + z = -2. Let k = 47 - 48. Which is smaller: u or k?
u
Suppose 2*d + 4*g + 298 = 0, -3*d - 7*g = -2*g + 452. Is -158 equal to d?
False
Let q(x) =