*3 + 10*a**2 + 13*a - 16. Let c be h(11). Let t(k) be the second derivative of k**3/3 - 4*k**2 - k. Let w be t(c). Are w and 2 equal?
False
Let z = 18 + -12. Let r be 68/z + (-12)/(-18). Which is bigger: 11 or r?
r
Let c = 437/3 - 147. Suppose 0 = -4*y - 0*y. Is y bigger than c?
True
Let i = -0.04 + -2.86. Let o = i - -3. Which is smaller: o or 2?
o
Let s(i) = i**3 + 3*i**2 + 4*i + 3. Let q be s(-2). Is -1/10 > q?
True
Let p be (3 + -2 - -1) + 3. Which is bigger: p or 3?
p
Suppose 3*x - 8*x + 215 = 0. Does 43 = x?
True
Suppose -10 = -o - 4*o. Suppose 24 + 39 = -3*y. Let q = y + 43/2. Which is smaller: o or q?
q
Let y(t) = -t**2 - 10*t - 17. Let v be y(-8). Is v <= -2/25?
True
Let a(y) = y - 2. Suppose 2*b = 5 + 1. Let s be a(b). Let i(c) = c**2 - 3*c + 2. Let w be i(3). Which is bigger: w or s?
w
Let i(y) be the third derivative of y**6/120 + y**5/60 + y**4/24 - y**2. Let s be i(-2). Which is smaller: s or -5?
s
Suppose 6*r - 14 = 4. Are r and 0.2 equal?
False
Let x be (8/42)/((-12)/18). Suppose 4*b - 4 = -0. Is x smaller than b?
True
Let a be 3*(122/30 + -4). Which is bigger: 0 or a?
a
Suppose -p = w + w + 20, 3*p + 5*w + 64 = 0. Which is greater: p or -27?
-27
Let v = 3 - -1. Let r be (v - 0) + (-2 - -1). Which is bigger: 2 or r?
r
Let b(q) = q**3 + 5*q**2 - 8*q - 7. Let g be b(-6). Let v = g - 3. Suppose -v*y + 3*y - 2*h = -1, 3*h + 1 = -y. Which is smaller: y or -2/5?
y
Let d be 52/(-12)*(-6)/2. Which is smaller: d or 14?
d
Let w be ((-1)/(-4))/((-4)/12). Let n be (-3)/(-15)*10/(-4). Which is smaller: w or n?
w
Let w = 13 + 4. Let v = w + -18.1. Let s = v - -0.1. Is s less than or equal to 7?
True
Let r be 36/(-9) + 8/2. Let m = 2 - 9/4. Which is smaller: m or r?
m
Let v = -3.89 - 0.11. Let l = -5 - v. Which is bigger: l or -4?
l
Let h = 2.67 + -0.97. Which is smaller: h or 0?
0
Let i be (-5)/(-12) + 2/(-4). Let d = i + 5/6. Let s = -0.126 + 0.126. Which is greater: d or s?
d
Let p(q) = -q**2 + 9*q - 5. Let n be p(9). Let j be (-18)/n + 2/5. Suppose 4*v = -j*a + 16, 7*v - 2*v - 5*a + 10 = 0. Do -1/7 and v have the same value?
False
Let u = 0.71 - -3.29. Is -9 bigger than u?
False
Let d be (-7)/4 - (-2)/(-8). Let i = 5 - 9. Is i greater than d?
False
Let s = -8 - -10. Which is smaller: s or 4?
s
Let z = 2 + 2. Suppose 0*v = -2*v - z. Let a be 0 - ((-2 - -4) + 1). Which is smaller: a or v?
a
Let o = 761/4 + -143. Let m = 36 - -12. Let j = o - m. Which is greater: -2 or j?
j
Let b be (20/15)/(2/81). Let j be 336/b + (-6)/27. Is 7 <= j?
False
Let p = -6 + 6.05. Let m = -0.95 - p. Let z be (-1)/(-3)*(8 + -5). Is m at most as big as z?
True
Suppose 0 = -4*c - 0*c + 8. Suppose -c*j - 2 + 0 = 0. Is j bigger than 2/5?
False
Let p = -2/465 + 108/1085. Which is smaller: -1 or p?
-1
Let o = 360/19 - 18. Which is bigger: o or 0?
o
Let a = -16 + 21. Suppose -4 - 26 = a*t. Does t = -5?
False
Suppose 60 = -5*m - 2*j, 4*m + 3*j + 35 = 2*m. Let u = -10 - m. Which is smaller: u or -1?
-1
Suppose 3*v - 4*o = -3, 0 = -5*v + 8*o - 3*o - 5. Let p = -1.8 - -2. Which is smaller: p or v?
v
Let l = 9 - 12. Which is greater: -14/5 or l?
-14/5
Suppose 2*c + 6 = a + 4*a, -a - 4*c - 12 = 0. Suppose a*z = -z + 3. Suppose 0 = z*q + 2*q + 5. Is -2/9 > q?
True
Let v(k) = 2*k - 1. Let b be v(2). Let z be (-1 - 0)*0/b. Suppose -2*m + 3 - 1 = z. Is m at most 1?
True
Suppose -4*z + 13 = -3*z - 4*u, -19 = -5*z - 3*u. Is 5 at most z?
True
Suppose -3*i = -3*b - 9, -2*b + 2*i - 5*i + 14 = 0. Is b less than 0?
False
Let w(k) = k**2 + 3*k + 2. Let p be w(-4). Let h be (-5)/(-10) + (-1)/p. Which is smaller: h or -1?
-1
Let k be 438/18 - -4*(-3)/(-18). Do k and 24 have the same value?
False
Let z = -3/16 - -53/112. Suppose -12 = 2*h + 2*x, -3*h - 2*x = -2*h + 4. Let v be 2*4/h + 0. Which is greater: v or z?
z
Let j(d) = -7*d - 10. Let u be j(-4). Let z = 17 - u. Which is smaller: z or 1/21?
z
Let a(v) = -v + 5. Suppose 7 = q + 1. Let d be a(q). Which is bigger: 4 or d?
4
Let a = -3.4 - -3.3. Let c be (0/2)/(-1 + 0). Let v = c - 1. Is v less than a?
True
Let i = -12.112 + 0.112. Is 0.3 at least i?
True
Let o be 2*-1 - ((-44)/(-36) - 3). Is o != 3?
True
Let n(p) = -p**3 + 2*p - 1. Let s be n(1). Let v = s - -1. Let k be ((-2)/v)/(1 - 0). Is -2 > k?
False
Let a(m) = -m**3 - 5*m**2 - 3*m - 2. Let q be a(-3). Let w = 26 + q. Suppose w = x + 4*x. Which is bigger: x or 1?
x
Let z be (-20)/(-3) + 12/(-18). Let l be z/(-21) - 3/14. Is l greater than or equal to -1?
True
Let u = 16.37 + -0.37. Let z = u - 11. Is -2 >= z?
False
Let n = 0.78 + -0.96. Is -1/4 at most n?
True
Suppose -n + 1 = x + 4*n, 0 = 4*n. Is x not equal to 3/41?
True
Let k = 3 + -5. Let z = 1 + -2. Is z less than k?
False
Suppose 3 = c + 2*c. Is -4/11 <= c?
True
Let d be (-2 - -3)*0 - 2. Let m be (-1)/(-3)*(-3 + 1). Is m at most d?
False
Let u(y) = y**2 + 4*y + 8. Let h be u(-6). Is 22 < h?
False
Let i = 232064/90057 + -3/2729. Let c = 10/11 - i. Let m = c + 1. Is -2 less than m?
True
Let l = 0.06 - 0.12. Let a be (8/12)/(4/(-6)). Do l and a have the same value?
False
Suppose -2*c = 3*c - 25. Suppose 2*y - d - 2 = 2, 2*d + 10 = c*y. Which is bigger: 4 or y?
4
Let g(q) = -q + 9. Let j be g(8). Let f = -2/9 - -4/9. Is f less than j?
True
Let m = 94.8 + -95. Is -8 less than m?
True
Let q = -3 - -2. Let d be q/(-5)*(-5)/4. Which is greater: d or 0?
0
Suppose 0 = -3*a + 2*a - 1. Is -9/7 at most a?
True
Let x be 1*(2 - 0)/1. Suppose 3*u + x = 8. Suppose m + 5 = 0, -u*a - 5*m - 33 + 6 = 0. Which is smaller: a or 2/7?
a
Let q(s) = -114*s - 6. Let d be q(-4). Suppose 5*y = -10 + d. Let j = y + -790/9. Do j and 0.2 have the same value?
False
Let v = 10.7 + -11. Let j = v - -0.1. Is j bigger than -2/5?
True
Let p = 12232/15 + -2168357/2640. Let f = p + 64/11. Is 0 equal to f?
False
Let q = 6 + -3. Suppose 31 = -q*p - 5. Is p at most -12?
True
Suppose 5*g - 1 = 8*g - 2*u, 4*u = -g + 9. Let l be (-6)/(-9) - 41/48. Which is bigger: g or l?
g
Let p = 3 - 3.6. Let v = p + 2.6. Let f = v + -1.9. Which is bigger: 1 or f?
1
Let g(x) = -x**2 - 10*x - 11. Let f be g(-10). Let z be 2*3/3 + f. Let k be 3/z + 2/6. Which is smaller: -2 or k?
-2
Suppose 0 = 6*m + 32 + 22. Is -10 bigger than m?
False
Let f = -8 - -9. Let t = 25/7 - 104/35. Is t equal to f?
False
Let j(i) = 4*i + 2*i + i**2 - 5*i - i**3. Let t be j(0). Let g be (3 - 3)*1/1. Is g <= t?
True
Let l = -4.3 + 4.36. Is 2 >= l?
True
Suppose -30 = 5*t - 0*t. Let m be 1/3 - 16/t. Let v be (-6)/9 + 11/m. Which is smaller: 2 or v?
2
Let m = 1035 - 4219/4. Let c = -39/2 - m. Let b = c - 3/4. Is 0 less than b?
False
Let h(k) = -3*k**2 + 16*k + 27. Let q be h(8). Do -36 and q have the same value?
False
Let i be 2 - (-1 + (-2 - -4)). Let j be (3 - i)*(10 + 0). Suppose -5*k = -7*a + 2*a - 20, j = 5*k. Is a < 0?
False
Let i = -2 - 0. Let a be 2 + 2/(-2) + -1. Let v(m) = m - 1. Let q be v(a). Which is smaller: i or q?
i
Suppose 5*j = 15 - 20. Which is greater: j or 2?
2
Let i be -20*(-7)/(112/(-12)). Let l be (40/i + 3)*3. Let g = 78 - 391/5. Are l and g non-equal?
True
Let v(r) = -r**2 + 5*r - 7. Let w(a) = a. Let o(c) = -v(c) - 4*w(c). Let q be o(8). Which is greater: 10 or q?
10
Suppose -280 = 2*y - 0*y. Let f = 978/7 + y. Do f and -1 have the same value?
False
Let h = 8 - 11. Let z be -2 - -173*h/(-60). Let x = z + -29/4. Which is greater: x or -2?
x
Suppose 4*o - 30 = -o. Suppose 6*t = -2*t + 24. Let y be 1/t + 6/o. Which is smaller: y or 2?
y
Let v = -14385/8 - -1807. Let x = v + -9. Is -1 >= x?
False
Let s be 2 - (1 - (3 - -5)). Let u = s - 11. Are -3/4 and u non-equal?
True
Let i = 5732/9 - 636. Which is bigger: 1 or i?
1
Suppose -663 = -5*g - u, u - 4 = 3*u. Let h be g/2 + 3 + -2. Let n = h - 69. Is -3 bigger than n?
False
Let m = -8 - -6. Is m greater than or equal to 0.4?
False
Suppose 10 = s + 4*s. Suppose 4 = -3*f - 4*a + 2*a, 5*a = s*f + 9. Which is bigger: f or -2/3?
-2/3
Suppose 0 = -6*u + 3*u - 5*d + 10, -3*d + 6 = 3*u. Is u < 11/10?
True
Suppose -3*l + 5*s + 4 = 0, -s + 9 = -5*l + 1. Let p = -233/3 + 79. Which is greater: p or l?
p
Let t = 42 + -40. Is 0.07 at least as big as t?
False
Let o(h) = 5*h + 13. Let n be o(-6). Let r = 23 + n. Which is smaller: 7 or r?
r
Let r = -7 - -7. Let x be (-4)/3*(-1)/2. Is x smaller than r?
False
Let c be ((-12)/1)/(39/52). Which is smaller: c or -1