18)) + 2/(-9). Is 0.121 less than m?
False
Let p(z) = 5*z - 5. Let a be p(5). Is a at least as big as 21?
False
Let u(j) = -j**3 + 6*j**2. Let v be 0 + 0 - (6 + -12). Let k be u(v). Is -2/15 equal to k?
False
Suppose -82 = -21*v + 19*v. Is v bigger than 40?
True
Suppose 0 = p + 5*v - 21, 0 = -3*p - 2*p - 5*v + 5. Let i = -3 - p. Which is greater: i or 0?
i
Let u be 1339/78 - 1/(-3). Which is smaller: 19 or u?
u
Let i(c) = c - 3. Let j be i(-4). Let n = -3 + -3. Is n != j?
True
Suppose 5*k - 3*k - 4 = 0. Let l = 2 - k. Is -1/10 != l?
True
Let f be (-4)/(-14) - (-60)/35. Let v be (f - 2)*1/(-2). Which is smaller: -2/31 or v?
-2/31
Let p = -20/7 - -445/21. Let z = 19 - p. Is -2/7 less than or equal to z?
True
Let y(u) = u**3 - 5*u**2 + 1. Suppose -j - 7 = -0*j - 3*o, 3*o - 12 = 0. Let z be y(j). Let a be 0 - (-2*1 + z). Is a greater than or equal to 1?
True
Let d = 20.8 + -13.75. Let m = d + -0.05. Let s = -7.2 + m. Does s = -3?
False
Let q(i) = -i - 2. Let m be q(-4). Suppose 101 = w - 69. Let t = 854/5 - w. Which is smaller: m or t?
t
Let b(d) = -d - 5. Let a be b(0). Do -13/3 and a have the same value?
False
Suppose 3*p = -1 - 2. Which is greater: p or -3?
p
Let y = -2 - -1.9. Is -2 at most as big as y?
True
Let d(f) = f**3. Let m be d(-1). Let w be (0 - 0 - 4) + m. Let b be w/4 - (0 - 1). Which is bigger: 0 or b?
0
Let c = 0.01 + -0.01. Let g = c + -1. Which is smaller: g or -3/7?
g
Let v = -4 - -3.9. Which is greater: -0.7 or v?
v
Let t(m) = -m - 6. Suppose -r = 4*w - 6*r + 5, 4*r = 5*w + 13. Let o be t(w). Let g be 0 - (-1)/(-2 - o). Which is bigger: 1/3 or g?
1/3
Let d = 13 + -8. Let q(x) = -x**3 - 5*x**2 - 8*x - 4. Let m be q(-3). Suppose m*i - d*i = 3. Is i < -1?
False
Let y = 17 + -33/2. Suppose -5*l + 7 = -8. Suppose 4*u - l - 5 = 0. Which is bigger: u or y?
u
Let y = -8 + 6. Let f = y - -2. Are 0 and f nonequal?
False
Let j(w) = w + 6. Let s be j(-4). Suppose 5*q + 4 + 11 = 0. Let f = q + s. Are f and 0 nonequal?
True
Let r be (1 - 0/2)/(-1). Let j = -1 - r. Is 0 less than j?
False
Let z = 8 + -4. Let w = z + -3.9. Does w = -0.03?
False
Let n = -35 + 35. Which is smaller: n or 2/3?
n
Let s = -6 + 5. Let h = -1/3375 + -132743/23625. Let n = -16/3 - h. Is n less than or equal to s?
False
Let p(o) = o**3 - o**2 - o + 1. Let d = 2 - 0. Let w be p(d). Let h = -2 + w. Which is smaller: h or 1/5?
1/5
Suppose 0 = -f - 4 - 0. Let i = 38 - 41. Is f less than or equal to i?
True
Let d = -0.2 - -2.2. Let v = -1 + 1. Let p be v/(1*-1*2). Is d at least as big as p?
True
Let g = -9 + 14. Suppose g*p + 9 = -1. Does p = -4?
False
Let p = 4.2 - 3.2. Is p < 0.7?
False
Let h = 18 + -19. Which is smaller: h or 1/11?
h
Let i be 2/(-68)*8/2. Which is bigger: i or -1?
i
Let q be -1 + (-1)/2*0. Let f = -7 + 5. Let w = 0 + f. Which is greater: q or w?
q
Let k = -103 + 103. Which is greater: 0.05 or k?
0.05
Let x = -272/5 - -54. Suppose -5*w - 333 + 13 = 0. Let k = w - -574/9. Which is greater: x or k?
k
Suppose -2*t - 432 = -11*t. Do 49 and t have the same value?
False
Let a be 16/56 + 2524/(-14). Let t be ((-12)/a)/(4/10). Suppose j - 2*j = 0. Which is greater: t or j?
t
Let a = 0.15 - -3.85. Is a less than 1?
False
Let t(u) = u**3 - 1. Let i(z) = 6*z**3 - z**2 - 3. Let q(x) = -i(x) + 5*t(x). Let o be q(0). Let w be o/((9/6)/(-3)). Do 3 and w have the same value?
False
Let v be -1 + 0 - (58/27 - 3). Which is smaller: 0 or v?
v
Let q = -4.8 + -1.2. Let f = q - -5.8. Which is smaller: f or 0?
f
Suppose -2*c + 3 = -h, 0*h + 3*h = 4*c - 7. Let t(i) = -i**2 + 2*i. Suppose 0 = -5*f - 2*y, -4*f - 2 = 3*y + 5. Let p be t(f). Do p and c have the same value?
False
Suppose 3*i + 5*k = i + 31, 3*i - 30 = -2*k. Let v be (-6)/24 - (-2)/i. Is 3/10 at most v?
False
Let c = -1372.069 + 1369. Let y = c + -0.031. Let m = 3 + y. Which is smaller: m or -1?
-1
Let p = -0.13 + 5.13. Let n = p + -5.4. Let i = n + 0.4. Are 0.1 and i equal?
False
Let d be (1 - 14/13)/(-1). Which is greater: d or -1?
d
Let q = 64.1 - 64. Is -6/19 greater than q?
False
Let l(t) = -t**3 + 8*t**2 + 9*t + 5. Let b be l(9). Let x = b - 10. Is -7 != x?
True
Suppose 2*g - 446 = -0*g + 3*p, -3*g = -p - 676. Let c = -2036/9 + g. Is c bigger than -3?
True
Let t be (6/(-9)*-9)/2. Are 5 and t unequal?
True
Let s = 55 - 52. Is s != 11/6?
True
Let c = 84 - 89. Which is smaller: c or -13?
-13
Suppose 2*u - 2 = 4*u. Let g be (-2)/6*6/64. Let r = -69/160 - g. Is r greater than or equal to u?
True
Let w = -991.93 - -1001. Let j = w + -9. Let x = j + 1.93. Which is smaller: -3/4 or x?
-3/4
Let f = 0.8 - -0.9. Let g = -2 + f. Suppose 0 = -4*a - 4*u + 12, -u + 7 = -2*a + a. Is a less than or equal to g?
True
Let u = 18 - 18.1. Is u greater than or equal to -35?
True
Let h be (3/12)/(1/6) - 3. Which is greater: -3 or h?
h
Let r = -20/7 - -18/7. Which is bigger: -0.04 or r?
-0.04
Let y = -12 + 11.97. Let p = 0.07 - y. Are p and 3 non-equal?
True
Let p = -19 + 19.4. Is 4/7 equal to p?
False
Let z = 0 - -0.2. Which is smaller: 0 or z?
0
Let k be (-44)/18*(-4 + (-1 - -3)). Do k and 5 have the same value?
False
Suppose 5*o + 20 = j, 20 = -5*o + 3*j - 8*j. Suppose 8*q + 4 = 5*q + 4*y, 0 = 5*y + 10. Let i be (-2)/q - 1/o. Is 2/7 at least i?
False
Let o = -263/172 + 12/43. Suppose -3*q + 17 = -v + 6, 0 = -3*v + 3*q - 15. Which is smaller: o or v?
v
Suppose -2*c - 2*r + 11 = -9, -33 = -3*c - 4*r. Let v = 12 - 2. Suppose 0 = 2*g - c*g + v. Are g and 0 unequal?
True
Let o = -0.045 + 4.045. Is 0.08 less than o?
True
Let h = 14 - 14.2. Let s = 1.97 - -0.03. Which is smaller: h or s?
h
Let z be (-1217)/(-18) - 1/2. Let t = -67 + z. Let h = 2 - 3. Is t >= h?
True
Suppose -18 = 3*y - 3*s, -4*y - s - 2*s + 4 = 0. Let v = -9577 + 440517/46. Let z = v - -1/23. Which is smaller: z or y?
y
Let n(r) = -r**2 - 5*r - 6. Let u be n(-5). Is 1 != u?
True
Suppose -3*a + 0*w - 28 = -5*w, 2*a - 4*w + 22 = 0. Which is bigger: a or 0?
0
Suppose 0 = c - 2*y - 10, -c + y + 2 = -4. Let a(z) = 0*z**2 - z - z**2 + 6 - 4*z. Let n be a(-6). Is c > n?
True
Let s = 1 - -9. Let v be (2/4)/(15/s). Which is greater: -0.1 or v?
v
Let l = -151 - -69. Let b = l + 158. Let r = 529/7 - b. Which is bigger: r or -1?
r
Let g(w) = w**3 - 4*w**2 - 7*w + 5. Let q be g(5). Let f = q - -7. Let o = f + -2. Which is greater: o or 0.2?
0.2
Let n be 4 - -5 - (3 - 1). Suppose -4*u + 1 = -n. Suppose 2 = 2*f, -u*j + 12 = -2*f + 4*f. Is 5 at most j?
True
Let d(u) be the second derivative of u**5/20 - u**4/2 + u**3/6 - 5*u**2/2 - 2*u. Let w be d(6). Is 2/7 less than w?
True
Let w(y) = y**3 + 2*y**2 + y - 3. Let t be w(3). Suppose 2*u + u + o + 51 = 0, 3*u - o + t = 0. Is -16 != u?
False
Let g be ((-2)/(-6))/(5/(-18)). Let j(a) = a - 1. Let n be j(0). Is n at most as big as g?
False
Let l = -21 - -18.7. Let s = -2.7 - l. Which is smaller: -0.2 or s?
s
Let t = -0.063 - 2.927. Let s = t - -3. Let u = s - 2.01. Which is smaller: u or 0.2?
u
Let s = 637/3 - 33115/156. Let b = s + 31/364. Which is smaller: b or -0.1?
-0.1
Let v(r) = r. Let u be v(0). Suppose 2*k = 5*o + 5, -2*o + o - 1 = -3*k. Is k bigger than u?
False
Let a(s) = -s**3 + 4*s**2 + 1. Let i be a(4). Let j = 111/265 + -1/53. Which is smaller: j or i?
j
Suppose -3*n = -3*u + 6, 4*n + 2*u + 2*u = 0. Let z = 1588/13 + -122. Is z not equal to n?
True
Suppose 3*o - 2 = -v - 3, -5*o + 1 = v. Let j = o + 4. Suppose 2*u + 3*u = 20. Which is bigger: u or j?
j
Suppose -3*n + 25 = 2*n + 4*q, -4*n + 2*q - 6 = 0. Which is smaller: -2 or n?
-2
Let w = 2.57 + -0.17. Let g = w - 0.4. Do g and -1/4 have the same value?
False
Let v be 3*16/18*3. Let s be -2*-18*-1*4/(-16). Which is smaller: v or s?
v
Suppose 2*v = 5*j - 0*j + 5, -v + j + 1 = 0. Is 0 > v?
False
Let r = 6 - 9. Let p = -5 - r. Are -2 and p unequal?
False
Let p(j) = -j**3 + 12*j**2 - 9*j + 7. Let k be p(11). Do 29 and k have the same value?
True
Let u = -0.94 + -0.06. Let c = 1.05 + u. Let q = 0.15 + c. Which is smaller: 2/7 or q?
q
Let a(h) = h - 6. Let z be 13/2 - (-2)/(-4). Let m be a(z). Let t be (0/(-1 - 0))/2. Is m at least as big as t?
True
Let x be (-5)/30*(0 + 3). Let j = 82 - 248/3. Is x >= j?
True
Let t(c) = -c**3 + 3*c**2 + 4*c - 1. Let x be t(3). Let i(y) = -y + 6. Let l be i(x). Are l and -6 non-equal?
True
Let p = 4 - -13. Let o = p + -17.5. Is -3 equal to o?
False
