et w = 6 - 5. Let i = 4.6 - 5. Let o = -0.1 + i. Which is smaller: o or w?
o
Suppose 5*d - 1 = -6. Which is smaller: -1/37 or d?
d
Let w(l) = 0*l**3 + 3 - l**2 + l**3 - 4. Let v be w(2). Is v < 3?
False
Let i = 2 + 1. Let x(j) = -7*j + 4. Let m(z) = 11*z - 6. Let r(w) = -5*m(w) - 8*x(w). Let a be r(5). Is i smaller than a?
False
Let g = -1318/7 + 188. Let m = 0.9 + -1. Let v = m + 0. Which is bigger: g or v?
v
Let n be 47/9 + (-22)/99. Suppose n*b + 5*p = 5, -5*b = p + 3 - 4. Is 1 != b?
True
Let f(o) = o**3 - 2*o**2 - 2*o + 2. Let z be f(-2). Let m be (-4)/z - 6/(-10). Let c(j) = 3*j. Let h be c(0). Is m at least h?
True
Suppose -4*s - 5*n + 137 - 2 = 0, -s + 45 = -n. Suppose -4*j - s = -16. Let q be j/(-18)*2/(-6). Which is smaller: -1 or q?
-1
Let b be (6/(-5))/((-9)/(-45)). Is b != 2?
True
Suppose 2*r = 3*m + 14, 4*r - m = 15 + 3. Suppose -4*a = -r*v + 4, -25 + 5 = -5*a. Suppose 4*b = v*b. Is 2/15 at least as big as b?
True
Let g(v) = 7*v**2 + 6*v - 6. Let h(q) = -q**2 - q + 1. Let a(f) = -g(f) - 6*h(f). Suppose 3*m + 2*m = 0. Let o be a(m). Which is greater: o or 1/3?
1/3
Let o(k) be the second derivative of -1/20*k**5 + 1/2*k**2 + 3*k - 1/6*k**4 + 0 + 1/6*k**3. Let s be o(-2). Is -1 smaller than s?
False
Let p = 0 + 0. Let m = 0.77 - 1.57. Which is greater: p or m?
p
Let y = -9 - -18. Let w = 10 - y. Is 1 at least as big as w?
True
Let i(g) = 7*g - 1. Let f be i(2). Is 13 at least f?
True
Suppose 0*k + 4 = k. Suppose -2*z - w = -4*z - 14, -k*z = 5*w. Which is smaller: -6 or z?
-6
Let f(o) = o**2 - 2*o - 2. Suppose -5*c - 2 = 8. Let j be f(c). Let l = 1333 + -1326. Does j = l?
False
Let x = -3 - -9. Let m = 6 - x. Which is greater: -0.4 or m?
m
Let k(j) = -3*j + 1 + 5 - 5. Let t be k(2). Suppose 0 = -a - 4*a - 20. Is a at most t?
False
Suppose -5*w = -3*u - 10, 2*u + 6 = 3*w - 0*u. Let q(x) = -x**3 + 13*x**2 + x - 12. Let a be q(13). Is a > w?
False
Suppose 3*m + 9 = -2*a, -1 = -3*a - 4*m - 13. Let s be 1*(3 - a) + -3. Which is smaller: 2/17 or s?
s
Let d = 16.03 - 16. Let x = -3.97 - -4. Let p = x - d. Is p != 2?
True
Let f be (-9)/15 + (-5)/75. Is 0.1 bigger than f?
True
Let r be (-4)/(-8)*-6*(-3)/(-6). Is r at least as big as 8?
False
Let d be 60/9 - 4/6. Let r be ((-1)/(-14))/(d/(-116)). Let y = r - 2/7. Which is smaller: y or -1?
y
Let x be 1*(-1 - 4/(-2)). Let k be 37/(-8) - 1 - -6. Is k bigger than x?
False
Let i = 583 + -585.87. Let s = -0.13 + i. Do 0.1 and s have the same value?
False
Let w(x) be the third derivative of x**5/60 - x**3/3 - 2*x**2. Let z be w(-2). Suppose 12 = z*i + 5*t, 6 = i + 4*t - 3. Do i and 2/5 have the same value?
False
Let g = -5.162 - -0.212. Let j = -0.05 + g. Let b = -0.3 - -0.4. Is b greater than j?
True
Let t = 23 - 24. Is 2/29 <= t?
False
Suppose -12 = -0*m - 4*m. Let x = 2 - m. Let t be (-1 - 0 - 0) + 1. Do t and x have different values?
True
Let s(o) = o + 14. Let r be s(-11). Suppose 0 = k + k + r*b - 23, -4*b + 5 = -k. Is 8 bigger than k?
True
Suppose 4*a = -4, 0*i - 3*a - 6 = 3*i. Let l = -560/9 - -62. Which is smaller: l or i?
i
Let w(z) = z**2 - 7*z - 4. Let v be w(8). Let x(a) = a**2 - 3*a - 1 - 2*a + 3*a. Let i be x(v). Do i and 0 have the same value?
False
Let d(j) = -2*j + 4. Let r be d(-3). Suppose 4*p = t + 3*p - 2, -2*p - r = 4*t. Let s be 26/22 - (1 + 0). Is t >= s?
False
Let y(o) = o**3 - 7*o**2 + 4*o - 5. Let n be y(6). Let c = -18 - n. Let w = 12/11 - 59/44. Do w and c have the same value?
False
Suppose 0*n = 3*n. Suppose n = -4*y - 2*r - 6, -r + 3*r = -2*y - 4. Is -2 at most y?
True
Suppose 3*y - 8*y = -20. Let z = 6 - y. Is z <= 1?
False
Let j = -8 + 8.2. Let y = j + -3.2. Which is bigger: -1/3 or y?
-1/3
Let m(f) = f**2. Let z be m(2). Suppose z*q - 3 = 13, 20 = -4*o + 5*q. Is o equal to 0?
True
Suppose -3*z - 108 = 4*s, -s - 27 = -0*s + 3*z. Suppose 0*t = -t - 26. Which is smaller: t or s?
s
Let g = -1784/29 - -123/2. Which is smaller: g or 0?
g
Suppose 20 + 169 = -7*h. Which is greater: -26 or h?
-26
Let b = -13 - -13.1. Is -0.3 <= b?
True
Let q(a) = 3*a. Let z be q(-2). Let p = z - 1. Is -1 less than or equal to p?
False
Let g be (4552/(-1140) + 4)/(2/(-10)). Which is smaller: 0 or g?
g
Let s = 109/582 + -2/97. Is 1/6 != s?
False
Let r(b) = -b**2 + 8*b - 8. Let d be r(7). Are d and -6 equal?
False
Let s = -0.9 - -1.8. Let a = 0.3 - 0.2. Let k = a + s. Is -0.4 > k?
False
Let w(h) = 52*h**3 - 3*h**2 + 2*h. Let p be w(1). Is 51 <= p?
True
Suppose 3*p + p = -8. Let c = -3 - p. Let d be (6/8)/((-6)/4). Is d equal to c?
False
Suppose 16 = -k + 5*r, k = -4*r + 2 + 9. Let m be (2 - 0)*6/(-4). Let u be ((-1)/m)/(15/(-9)). Is u greater than k?
True
Let x be 2/7*(5 - 4). Is -3 equal to x?
False
Suppose -10 = -5*l - 4*x, -6*x = 4*l - x - 8. Which is smaller: l or 10/7?
10/7
Suppose 13*j - 2 = 12*j. Let m(o) = o**2 - o - 1. Let u be m(j). Is -2/67 > u?
False
Suppose d - 284 = -3*d. Let m = d - 41. Let o = -92/3 + m. Which is smaller: 5 or o?
o
Let k be 120/(-350)*(-2)/(-4). Are k and 1 equal?
False
Let p = 30 + -37.8. Let o = p + -0.2. Is o greater than or equal to -1?
False
Suppose 0 = 85*d - 87*d. Does 10/13 = d?
False
Let i = -9.18 - -0.18. Let w = -7 - i. Let l = 4.2 + -4. Which is bigger: w or l?
w
Suppose 0 = 5*k - 320 - 100. Let o be (-2)/7 - (-10)/k. Let d = o - -1/2. Is d less than or equal to -0.2?
False
Let c be 134*(2 + (-57)/36). Let h = c + -56. Is 0 smaller than h?
False
Let w(d) = 22*d - 134. Let s be w(6). Let x(f) = -2*f**2 + 1. Let y be x(-1). Is y equal to s?
False
Let m(p) = 24*p. Let a be m(1). Let h be (a/(-10))/((-5)/25). Let n be (9/h)/(10/8). Which is greater: n or 0?
n
Suppose -i = 0, -2*i + 1 + 3 = -2*b. Which is bigger: b or -11/15?
-11/15
Let i(y) = y**2 + 5*y + 1. Let d be i(-5). Suppose 4*u - d = 5*u. Which is greater: -2/11 or u?
-2/11
Let u = 0.4 + -0.1. Is -1 at most as big as u?
True
Let f = -2.3 - -0.4. Let o = f - -2. Which is smaller: 5/2 or o?
o
Let h be 129/12 + (-1)/(-4). Let i = h + -8. Suppose 23 - i = 5*l. Is l smaller than 3?
False
Suppose 0 = -z - 2*z. Suppose z = -5*w - 0*w + 15. Which is bigger: 2 or w?
w
Suppose -2*b + 5 = 3. Let h be b - (2 + 1 + -2). Let m = 2 - 2. Is m at least as big as h?
True
Let x = 773932/87381 - -2/12483. Are 9 and x non-equal?
True
Let q be (4/4 - 0)*(-7)/11. Is 0 < q?
False
Let h = -7 + 10. Let b = h + -4. Which is smaller: 0 or b?
b
Let v = 19 - 17. Is 2 <= v?
True
Let r = -2.7 + 3.2. Which is greater: r or -2?
r
Let l = -31 - -36. Which is smaller: 3 or l?
3
Suppose -5*f = 5*t - 40, -5*f + 4*f = -3*t + 12. Let g be 4/(-384)*-4*f. Let n be (-4 - -3)*(2 + -2). Which is smaller: g or n?
n
Let w = 14 + -2. Which is greater: 14 or w?
14
Let d(j) = 12*j + 23. Let i be d(-4). Is i <= -26?
False
Let d = -4.745 - -4.8. Is d at most as big as 1?
True
Suppose 0 = j - 2*d, -5*j = -7*j - 4*d - 16. Are -32/7 and j non-equal?
True
Suppose -2*b + 5*f - 23 = 0, b - 2*f + 13 = 4*b. Let k = 5 - 3. Suppose 5*d = k*d. Is d equal to b?
False
Let d(z) = z**2 - 6*z + 4. Let w be d(3). Let c be (0 + -1)/((-2)/(-14)). Which is smaller: c or w?
c
Let w be -2 + 4 + -2 + 3. Suppose -w*p + 1 = -4*p. Is p > -2/3?
False
Suppose 0 = -2*r + 2*n + 14, -11 = 2*r - 0*n + 3*n. Let u be (-3)/r*2/(-6). Which is smaller: u or 1?
u
Suppose -4*c = -3*f, -4*f + 6*c - 2*c = 0. Suppose 5*x = 3*i + 3 + 15, -3*i - 4*x + 9 = f. Let a be (0 - (-4)/(-10))*i. Which is smaller: a or -1?
-1
Let t be 2 + -6 + (3 - 3). Do -5 and t have the same value?
False
Let d be 104/(-266) - (-18)/63. Which is greater: d or -1?
d
Let p = -3/5 - -7/20. Is -1 < p?
True
Suppose 0 = -2*f - 4, 5*x + 3*f - 62 = x. Let u be ((-35)/x)/(-1) - 2. Let p = -13/68 - u. Does -1 = p?
False
Let g be 0 - (2 + -3)*2. Suppose -2*i - 180 = g*i. Let j be (-2)/6 - (-12)/i. Which is bigger: j or -2/3?
j
Let v(k) = -45*k - 2. Let h be v(4). Let x = -1272/7 - h. Let i = 0 - -1. Which is smaller: i or x?
x
Suppose 2*d = 1 - 3. Is d less than or equal to -16?
False
Suppose -3*t + 0*t + 9 = 0. Suppose -3*l = b - 3, l - 1 = -2*b + t*b. Let o = l - 2. Which is smaller: o or 1/8?
o
Let q(h) = h**2 + 10*h + 12. Let a be q(-10). Let c be 51/(-8) - a/96. Which is smaller: c or -7?
-7
Let b(u) = u**2 + 3*u - 6. Let i be -7 + 0 + 8/8. Let f be b(i). Which is smaller: f or 13?
f
Let z = 3 + 1. Let u = -5 + z. I