2?
False
Let y(n) = -n - 4. Let a be y(-3). Which is smaller: 2/25 or a?
a
Let o(v) = -v**3 - 6*v**2 - 2*v - 5. Let w be o(-6). Suppose -3*l - w = 5. Is -5 at least as big as l?
False
Let u = -4 + 36. Is u greater than 32?
False
Let v = -32 - -33. Is v > 3?
False
Suppose 3*c + 5 = 8. Are 11/18 and c unequal?
True
Let c be (4/6)/(1 + 1). Is -6 at most c?
True
Suppose d = -d. Suppose -3*q - 2 = p, -4*q + 5*p = -12 - 17. Let l be (q + -1)/(4/4). Is l at most as big as d?
True
Let r be (-111)/(-21) + (-6)/21. Let d be (-26)/65 - 14/(-10). Do r and d have different values?
True
Let u(c) = -c**3 - 15*c**2 - 14*c - 4. Let v be u(-14). Which is smaller: -13/3 or v?
-13/3
Let y be (-26)/(-6) + 2/(-6). Let i be 2/14*y/2. Let u = -12 - -13. Which is smaller: i or u?
i
Let l = 49/4 - 359/28. Let p = -2 - -8. Let w = p + -6. Which is greater: l or w?
w
Let n = 0.8 - -0.2. Let o = -2.5 - -0.5. Let a = 2.1 + o. Is n less than or equal to a?
False
Let f = 73/4 + -373/20. Let q = -7 + 6.3. Is f at most as big as q?
False
Let r = 251/210 + 1/210. Is 2 at most as big as r?
False
Let t = -37 + 38. Which is smaller: 1/51 or t?
1/51
Let w(u) = -u**2 + 12*u + 20. Let z be w(14). Let l = z + 13. Do l and 4 have the same value?
False
Let p = -17 + 34. Which is greater: p or -1?
p
Let n = 8 + -5. Suppose -n*p + 25 = -5*a, -4*p - 2*a = -3*a - 5. Is 1 <= p?
False
Let v = -58 - -58. Let n(d) = -d**3 + 5*d**2 + 10*d + 3. Let p be n(7). Let w = -51/2 - p. Are w and v non-equal?
True
Let b = 0 - -0.6. Let g = 22.9 - 22. Let a = b - g. Which is bigger: a or -1?
a
Let m be ((-2)/(-4))/(6/60). Do 6 and m have different values?
True
Let h be 6 + 4*2/(-4). Let p be 96/h*(-1)/7. Let q = -134/35 - p. Is q <= 1?
True
Let z = 1445/4 - 363. Let y = z - -2. Is 0.2 less than y?
True
Suppose -26*h + 23*h = -12. Is h >= 3?
True
Let g be (-7)/(-9) - (-4)/18. Let i = 53 + -317/6. Is i less than g?
True
Let q = -30 + 28. Is q >= -3?
True
Suppose r = k - 92, 4*k - 513 = 3*r - 149. Let u = k + -527/6. Let n(t) = t - 5. Let g be n(6). Which is bigger: u or g?
g
Let a = -1 - 6. Let q = 4 + a. Is -0.2 bigger than q?
True
Let v(a) = a**3 - 4*a**2 - 3*a - 2. Let t be v(5). Suppose o - 5*o - t = 0. Do o and 3/7 have the same value?
False
Let g(s) = -2*s - 22. Let u(l) = -l - 11. Let i(f) = -6*g(f) + 11*u(f). Let a be i(-12). Let q be (-4)/3*2/(-24). Which is smaller: q or a?
a
Let c = 14 + -12. Is c <= 3?
True
Let l = -0.544 + -0.156. Which is bigger: 1/4 or l?
1/4
Suppose w + 3*a - 5 = 0, -a + 4 - 5 = w. Which is smaller: w or 3?
w
Let s = -0.5 - -0.51. Let a = 0.99 + s. Let w = a - 0.9. Is w greater than or equal to 0.1?
True
Let q = 1/27 - -47/189. Let y(c) = 5*c**2 + c - 4*c**2 - 3 + c. Let i be y(-3). Is q less than or equal to i?
False
Let d = 7 - 11. Let h be 5/((-2 - 0)/(-2)). Suppose 5*p = -5 - h. Is p equal to d?
False
Let h(q) = -7*q**3 - 7*q**2 + 9*q + 1. Let l(v) = v**3. Let r(t) = -h(t) - 6*l(t). Let j be r(-8). Are j and 7 equal?
True
Let f = -6 + 4. Let u be 2*1/f - 0. Do u and -2 have the same value?
False
Let s be (-2)/((-27)/15 - -2). Let i be 16/8*s/12. Suppose -3*c - 4 + 1 = 0. Is i bigger than c?
False
Let z be (1 - -1) + (-1)/(-1). Suppose -z*w = a + 14, 2*a + 3*w = -0*a - 16. Which is smaller: -5 or a?
-5
Let y(s) = s**2 - 5*s - 2. Let b(o) = o - 2. Let t be b(8). Let x be y(t). Suppose -r = -0*r - 5. Are x and r nonequal?
True
Suppose -4*q - 12 = -2*w, -2*q - 2*q - 4*w - 24 = 0. Which is smaller: -3 or q?
q
Let x(l) = -11*l**2 + 4*l. Let z be x(3). Let u be 2/9 - z/(-27). Let c be (2/u)/(15/(-9)). Are c and -1 non-equal?
True
Let m be 1/(-1) + -2 + 2. Let s = -1 + 0.5. Which is smaller: s or m?
m
Let f(z) = -z**3 + 6*z**2 - 4*z - 5. Let q be f(5). Is 1 bigger than q?
True
Let h = 52/3 - 50/3. Let g = -92 - -94. Which is bigger: h or g?
g
Suppose 0 = 5*f + 9 - 79. Let r be 2/7 - 4/f. Do -1/13 and r have different values?
True
Let z = 2 + -1. Suppose -12 = x + 3*x, -51 = -5*c - 3*x. Let l be (-8)/(-6)*c/8. Which is smaller: l or z?
z
Let y be -4*4/8*-1. Suppose -g + y = -0*g. Does 1 = g?
False
Let t = 58 - 70.9. Let a = 13 + t. Is a at least as big as 5?
False
Let j = 46 + -38. Is j smaller than 5?
False
Suppose 15 = -3*y, 5*y = -k - 23 + 3. Is k < 26/5?
True
Let b = -95 - -96. Is b at least -5.6?
True
Suppose 5*p - 7 = 13. Let x be (-6)/9 - p/(-6). Suppose 2*v = -x*v. Which is smaller: 1 or v?
v
Let y = -9.5 + 4. Let v = -6 - y. Which is smaller: v or 0.1?
v
Let p = -2.9 - 0.1. Which is bigger: 0.1 or p?
0.1
Let r = -20.1 - -19. Let a = r - 0.9. Is a less than 0.2?
True
Let y = 7 + -16. Let d = y + 7. Which is smaller: d or -0.1?
d
Suppose 2*h - 16 = 22. Suppose -6*o + 5*x - 9 = -3*o, h = 5*o + 3*x. Is o equal to 2?
True
Let j = -31 + -11. Which is bigger: -41 or j?
-41
Let v = 2.5 - 1.82. Let z = v - -0.02. Which is greater: 1 or z?
1
Let d = 1.2 + 2.8. Is 4/3 bigger than d?
False
Let o = -26 - 19. Are o and -0.1 equal?
False
Let x = 2.2 + -2. Let u = 0.2 + x. Let h = -3.4 + u. Which is smaller: h or -0.1?
h
Let u = -130/31 - -2174/341. Which is smaller: u or 3?
u
Let n be (-57)/(-63) + 4/(-7). Is n < 1?
True
Let i(t) = t + 6. Let k be i(-4). Let c be (-1)/((k/2)/(-6)). Which is bigger: c or 4?
c
Let i be (-19 - -18) + 3/5. Is 0 < i?
False
Let x(y) = -y**3 + 3*y**2 + 4*y + 1. Let o be x(4). Suppose -4*q = -6 - 14. Let k be 2/q*1/2. Is o smaller than k?
False
Suppose 83 = 4*y - 3*m + 6*m, -49 = -2*y - 3*m. Let p = 117/7 - y. Is -1 bigger than p?
False
Let t = 0.1 + -0.2. Suppose 0 = 7*p - 3*p + 44. Let o be -2 - (1 - p/(-4)). Which is greater: t or o?
t
Suppose -10*i = -3*i + 21. Is i at least -20/11?
False
Let x(j) = j**3 + 4*j**2 + 2*j - 3. Suppose 3*d - 9 = 2*m - 0*d, 2*m + 2*d + 4 = 0. Let k be x(m). Is k greater than 0?
False
Let t(g) = g + 3. Let r be t(0). Suppose 0 = 5*u - 5, -12*d + 6 = -11*d + 5*u. Is r not equal to d?
True
Let n be 248/(-14) - 12/42. Which is smaller: n or -19?
-19
Let v = 2 - 4. Let h be 10/v*1*-1. Are h and 5 unequal?
False
Let n = 1 - 2. Is n not equal to 8?
True
Let j be 6/9 + 13/(-15). Let d = 0.01 - 0.01. Which is bigger: d or j?
d
Let c be (-10)/(-4)*4/(-2). Let h(l) = l**2 + 1 + 10*l - 4*l - l. Let s be h(c). Are 1/4 and s non-equal?
True
Let k = 870/7 - 124. Let r = -7579250/589 - -12868. Let g = -1759/2356 - r. Which is bigger: k or g?
k
Let g = 628 - 33285/53. Which is greater: -1 or g?
g
Let f = 37/2 - 18. Is f smaller than 0?
False
Let v = 10 - 18. Suppose 4*x + 19 = -1. Let a = v - x. Which is bigger: a or -2?
-2
Let l = 6 + 1. Let w = l - 5. Let m be 112/48 + (-3 - -1). Are m and w non-equal?
True
Suppose -5*s = -f + 49, -3*f - 6 = s + s. Let t = s - -11. Is 4 less than t?
False
Let b(c) = -c**3 + 5*c**2 + 2*c + 10. Let z be b(6). Is -15 != z?
True
Let b(r) be the third derivative of r**6/120 + r**5/10 - r**4/4 + 7*r**3/6 - 6*r**2. Let k be b(-7). Let p = -53/95 + 3/19. Are p and k nonequal?
True
Suppose -6*i = -7*i + 3. Is 2 less than or equal to i?
True
Let m(j) = -j**3 - 5*j**2 + 1. Let c be m(-5). Is c at least as big as 2?
False
Let i(p) = p**2 + 12*p - 19. Let z be i(-13). Which is smaller: -2 or z?
z
Let z(c) = c + 1. Let p be z(0). Let m = -1685260 - -1191479210/707. Let f = m + 2/101. Is p less than or equal to f?
False
Let v = -360 + 37078/103. Which is greater: 1 or v?
1
Let s be -1*(1 + 1 + -1). Let j(v) = -v**3 - 3*v**2 + v + 1. Let u be j(-3). Let d = u + s. Which is greater: -2 or d?
-2
Let f(z) = z**3 + z**2 - z - 1. Let s(y) = 6*y**2 - 6*y + 9. Let q(b) = f(b) + s(b). Let d be q(-8). Let x be (0 - d)/(4 - 5). Which is bigger: -1 or x?
x
Let z(i) = 2*i**2 - 2. Let n be z(1). Which is smaller: n or -1/33?
-1/33
Suppose -5*b + 4*b + 4 = 0. Which is bigger: 2/7 or b?
b
Let c = -20 - -98/5. Which is greater: c or 0.26?
0.26
Let q = -2956/17 - -174. Is 0 less than or equal to q?
True
Suppose 9*o = 4*o + 5. Let m = -1 + o. Let w = -41/6 - -22/3. Which is bigger: w or m?
w
Let g(q) = 3*q + 8. Let r be g(-7). Let s be 1/(1*-2 - r). Let x(z) = 3*z + 29. Let o be x(-10). Which is greater: o or s?
s
Suppose -4*v - 5 = -9*v. Let w = 6 + -1. Is v bigger than w?
False
Let b(i) = -5 - i - 23*i**2 + 24*i**2 + 1. Let v be b(3). Is 2 <= v?
True
Let h = -0.1 + 0.3. Let t = 7.2 + -8. Let l = h - t. Is -0.1 smaller than l?
True
Suppo