equal to -1?
False
Let z(c) = c**3 - 9*c**2 - 11*c + 9. Let w be z(10). Is 0.3 less than w?
False
Let t = -3/16 + -171/112. Which is greater: t or -3?
t
Let w = -65 - -193/3. Let o(z) be the first derivative of -z**3/3 - 3*z**2/2 + 5. Let l be o(-3). Which is greater: w or l?
l
Let v(z) = 2*z - 1. Let n be v(1). Suppose -2*w = -5 - n. Suppose 0 = -0*j - 3*j + w. Is -2/19 equal to j?
False
Suppose -2*i + 2*w + 4 = w, -i = -w - 4. Suppose 30 = 2*d - i*d + 5*q, -4*q = 0. Suppose -4*j + f = 6, j = 6*j - 5*f + d. Which is smaller: j or 2/5?
j
Let f = 2 + -5. Let m = 3 + f. Let p be (-1 - m) + 14/10. Which is smaller: p or 3?
p
Let v be (-5)/(-12) + 2/8. Let p(y) = y + 7. Let z be p(5). Suppose -b + 9 = 4*o, -3*b - 5*o = -b - z. Is b less than v?
False
Let h be 105/25 - ((-6)/(-3))/10. Is 8 greater than h?
True
Let f(z) = -2*z + 23. Let s(v) = v - 11. Let i(y) = 6*f(y) + 13*s(y). Let n be i(7). Which is smaller: n or -1?
-1
Let n = 0.2 + -0.4. Which is smaller: n or 6?
n
Suppose 0 = 88*p - 91*p + 6. Suppose 4*r = c + 19, c = -2*r + 1 + 4. Are r and p equal?
False
Let r = 11/3 - 41/12. Let a = -0.02 + 0. Which is smaller: r or a?
a
Let q be (10/(-3))/(1/3). Suppose 0 = -7*k - 65 - 12. Which is smaller: q or k?
k
Suppose 4*j - 7*q = -3*q + 64, 0 = -5*j + 2*q + 65. Does -1 = j?
False
Let k = -324 + 4862/15. Which is smaller: -1 or k?
-1
Suppose -2*i = -i + 20. Let b be (i/(-3))/(10/(-135)). Let u be (4/(-30))/((-27)/b). Is 1 not equal to u?
True
Let j = 1114 - 7780/7. Are 3 and j equal?
False
Suppose 15*m = 22*m - 28. Which is smaller: m or 13/4?
13/4
Let j be 15/(-21) + 2/(-7). Let m = -7 - -21. Let b = m - 15. Is b at most j?
True
Suppose -4*b - 1 = -5*b. Is b at most as big as -2?
False
Let f = -48 - -68. Let b be 42/(-35)*f/6. Is -4 < b?
False
Let x be 5 + (-2)/(-2 - -3). Let p(l) = 2*l**2 - 8*l + 7. Let q(t) = -5*t**2 + 17*t - 15. Let w(b) = -7*p(b) - 3*q(b). Let r be w(-6). Which is smaller: r or x?
r
Let h = 4.1 + -4.3. Let g be 0/(-1) + (2 - 0). Which is bigger: g or h?
g
Let u be 68/60 + (-8)/10. Suppose -2*z - 2*a = 8, 4*z + 3*a = 7*a - 56. Is z at least u?
False
Let n = 0.24 + -0.2. Let f = -0.66 - n. Let p = f + -0.3. Which is smaller: p or 0?
p
Let z = 372 + -4088/11. Which is greater: -0.1 or z?
z
Suppose -2*v - 4*a = 32, -6*v + 3*v + 4*a - 8 = 0. Does v = -8?
True
Let f = 7 - 6.6. Let d = f - 0.8. Do d and -0.1 have different values?
True
Let l = -0.53 + 13.53. Let o = 65.3 - 53. Let i = o - l. Is i not equal to -0.1?
True
Let c = 11 + -870/79. Which is bigger: c or 1?
1
Let x be (-12)/8*(-28)/6. Which is smaller: x or 23/4?
23/4
Suppose 199 = -3*t - p, -4*t - 5*p + 0*p = 247. Let b be ((-788)/(-12))/(t/18). Let g = 35/2 + b. Is -1 >= g?
False
Let a(h) = h**2 - 10*h + 13. Let t be a(9). Suppose 2*y = 4*k, t*k - 24 + 0 = -4*y. Which is smaller: k or 4/3?
4/3
Let m = 13/10 + -3/2. Suppose z + 3*z = 0. Is z > m?
True
Let l(h) = -h**2 - 9*h - 10. Let q be l(-7). Is 3 greater than q?
False
Let l(h) = -h**2 - 9*h - 9. Let p be l(-8). Is 3/10 less than p?
False
Let b = -7 + 5. Let h be ((-5)/(-20))/(b/(-8)). Is h equal to 1?
True
Let u = -25/39 + 4/13. Let m = -608 - -3012/5. Let a = -186/35 - m. Is u equal to a?
False
Let l = -6 - -7. Is l < -1/8?
False
Let q = -7.9 + 1. Let b = q + 7. Is b at most -1?
False
Let u = 22 - 11. Let x be (-6)/(u/(-2) - -1). Let g(m) = m**3 + 7*m**2 + 6*m. Let s be g(-6). Which is smaller: s or x?
s
Let r = 1 - -4. Let p = 4 - 2. Let w = r - p. Is w at most 1?
False
Suppose 1 = a - 2. Suppose 3*x = -z + x + 13, -5*z + a*x = -78. Is z > -1?
True
Let c = -3 - -1. Is -8 at least as big as c?
False
Let y = 161 + -22. Let j = y - 976/7. Is j less than or equal to 0?
True
Let x be (4 - (-4)/(-2))*-1. Let j be 5/75 - x/(-10). Which is smaller: j or 0?
j
Let r(d) = 2*d - 1. Let n be r(3). Which is greater: 0 or n?
n
Suppose -5*u + i + 11 = 0, 4*u + u - 3*i = 3. Let z(b) = -b**3 - 2*b**2 - 2*b - 4. Let g be z(-3). Suppose -5*x + g = -4. Do u and x have different values?
False
Let r = 0 - 1.4. Is -2/7 >= r?
True
Let s = -46 - -45. Which is bigger: 0.5 or s?
0.5
Suppose x + 4 = 4*q + 18, 8 = -2*x - 4*q. Let f = 57 + -92. Let m be f/(-11) + 4/(-22). Which is greater: m or x?
m
Let v = 54 - 72. Is -20 bigger than v?
False
Let y(n) = -n**2 + 9*n - 10. Let t be y(8). Let w be -4 - -2 - 10/t. Does w = 4?
False
Let k = 0.2 + -7.2. Let h = k - -6. Which is bigger: 2/5 or h?
2/5
Let c(i) = i**2 - 2*i + 1. Let t be c(1). Suppose t = -2*l + 5*l - 3. Is -2/5 smaller than l?
True
Let o = -17 + 17.1. Which is bigger: o or -1/4?
o
Let o be (1 - 1) + -1 - -2. Let l = 30 + -18. Let u be (4/6)/(92/l). Which is smaller: u or o?
u
Suppose 3*j = 5*w + 97, 3*j - 57 = 3*w - 0*j. Is w at least as big as -20?
True
Let t(m) = m - 13. Let y be t(6). Is y less than -8?
False
Let y = 4 - 6. Let t be (-1)/((-1)/(-2)*y). Suppose f - 3*i = -4*i + t, -2*i = -3*f - 2. Which is bigger: -4/3 or f?
f
Let s(q) = -q + 10. Let b be s(7). Suppose -2*l + b*t = 12, 2*l = 2*t + 2*t - 16. Which is smaller: l or -2?
-2
Let f = -9 - -4. Let h = -0.2 - 0.8. Let u = f - h. Which is greater: u or -1?
-1
Let f = -2 + -1. Let x(w) = w**3 + 4*w**2 + 3*w - 2. Let q be x(f). Let s = q - -4. Do s and 5 have different values?
True
Let b(h) = h + 3. Let m be b(-3). Let p(t) = t**3 - t**2 - 5*t + 2. Let n be p(3). Suppose 5*i + x - 7 = 6, -n*i + 2*x + 4 = m. Is 2 less than or equal to i?
True
Let j = -2 + 1. Let p = 416/693 + -12/77. Which is smaller: j or p?
j
Let i = -19 + 19. Suppose -10*c + 8*c - 2 = i. Is c > 0?
False
Let w = -3193/10 + 319. Let y = 7/10 + w. Which is greater: y or -2/3?
y
Let f be 5 + 1*-2*1. Let q be -1 + 0/f + -7. Let j = q - -5. Do -3 and j have different values?
False
Let n = -180 + 177. Let l = 0.3 - 0.1. Let r = -0.1 + l. Which is greater: n or r?
r
Let o be 5/5*(3 + -3). Are o and 13 unequal?
True
Let i = -8 + 6. Let m be (-3)/(-1) - (i + 4). Is -1 < m?
True
Let u = 4.995 - -0.005. Which is smaller: u or 1/19?
1/19
Let l(z) = -z**2 - 7*z - 5. Let c be (-4)/(-18) - 34/(-9). Suppose 0 = -3*p - 6, -3*p - 15 - 15 = c*w. Let y be l(w). Which is smaller: y or -2/7?
-2/7
Let h be (-4)/(-3) - (-10)/15. Suppose -h*r - 9 = -j, -5*r - 2*j - j - 39 = 0. Let b be ((-1)/(-31))/(r/12). Which is smaller: b or 0?
b
Suppose 4*d + 5*p = -19, -2*d + 5*p + 12 = d. Let y(s) = 3*s + 1. Let n be y(d). Suppose -r = 3*u + 3 - 9, 3*r - u + 2 = 0. Is n <= r?
True
Let o = 29.8 - 30. Is -3/2 less than o?
True
Let q = 164 + -157. Suppose 0 = 2*m + 3*m - 30. Which is smaller: q or m?
m
Let n be ((-9)/126)/((-5)/2). Which is bigger: n or 0?
n
Let r be ((-13359)/51 - -2) + 2. Let b = r + 258. Suppose -10 = -2*h + 5*q, -4*q = 3*h - 6*q - 4. Which is bigger: b or h?
b
Suppose 3*m + 5*j + 15 = 0, 4*m + 2*j + 12 = -2*j. Suppose y + 2*y = m. Which is smaller: y or -1/6?
-1/6
Let i(n) = -n**3 + 16*n**2 + 16*n - 5. Let r be i(17). Which is smaller: -1 or r?
r
Suppose -3*u = 3*o + 6, -3*o = 2*o - 5*u - 40. Suppose -o*t + 4 = 2*t + 3*d, 6 = 2*d. Which is greater: t or -1/11?
-1/11
Let z(a) = 3*a - 9. Let k be z(6). Let g = 9 - k. Is -1 > g?
False
Let u = -160 + 124. Which is smaller: -37 or u?
-37
Let o = 0.07 - 0.01. Which is smaller: o or 2/9?
o
Let y = 1.2 - 5.1. Let p = 0.1 - y. Which is bigger: 1 or p?
p
Let x = -2/21 + -32/105. Which is smaller: x or 4.5?
x
Suppose -4 + 13 = -3*m. Suppose 13 = b - 4*b - 2*v, 2*b - 5*v - 4 = 0. Are b and m unequal?
False
Let s be (4/10)/(2/10). Suppose -s*l = -0*l. Let f be 6/(-4)*(-1)/(-3). Do f and l have the same value?
False
Suppose t = -v - 1, -3 = 3*t + 5*v - 10*v. Let a = -347/220 + -1/44. Is t < a?
False
Suppose r = -r. Which is bigger: r or 2/33?
2/33
Let p be 8/7 - 1 - 11/77. Is p greater than 6/85?
False
Suppose 5*t + l + l - 24 = 0, 5*l = -4*t + 26. Suppose t*z = z + 6. Let m = -0.1 - -0.1. Which is greater: m or z?
z
Let i be ((-2)/(-2))/((-1)/(-2)). Suppose 2 = 2*u - 3*y, -3*u + 1 = i*y - 2. Suppose g - 2 = 2*o - 3, -g - u = 4*o. Is o greater than or equal to 0?
True
Suppose 4 = 4*j - 2*k - k, -k = -4. Which is smaller: 7 or j?
j
Let c be ((-100)/8)/((-1)/2). Suppose c = -5*x + 2*n, -4*n + 3 = 5*x - 2. Which is smaller: x or 0?
x
Suppose 4*l - 6 = l. Let z be 100/(-28) + l + 2. Which is smaller: -0.1 or z?
-0.1
Let u = -28 - -48. Suppose 