a**2. Let y(u) be the second derivative of q(u). Let i be y(8). Are 2 and i unequal?
False
Let c be 26/40 - (-1)/(-4). Let i = -5.6 + 5.7. Is i greater than c?
False
Let c = -37 - -223/6. Is -1 equal to c?
False
Let k = 182/19 - -339/38. Let g = k - 411/22. Let f = 28 - 55/2. Which is greater: g or f?
f
Let v be (-26)/143 - (-107)/(-77). Is -2 at most v?
True
Let p = -3 - -8. Suppose 10 = 3*m - 2*q, -2*m - p*q = 44 - 19. Suppose -n + l + 4*l - 29 = m, 0 = -n - l + 1. Does -4 = n?
True
Let d(q) = q - 15. Let o be d(14). Is -17/14 > o?
False
Let s(f) = -f**2 - 3*f + 3. Let r = -3 - 0. Let h be s(r). Suppose -h*n + 5 = -2*z + 16, 2*n = 2*z - 10. Which is smaller: 0.1 or n?
n
Let o(d) = -d**3 + 8*d**2 + 11*d - 9. Let r be o(9). Is 9 less than r?
False
Let n(q) = -q**2 - q. Let d be n(0). Suppose u + 2 = 0, d = 5*k - k - 3*u + 10. Let r be (-21)/(-8) + k + 1. Is r less than 1?
True
Let g(p) = -5*p - 8. Let k be g(-2). Suppose a - 3 + 1 = 0. Is k smaller than a?
False
Suppose -2 = -2*k + f, 2*k - 3*f = 15 - 5. Let t be (0 - 12/(-8))*2. Suppose x - 15 = 5*v, x - 7 = t*v - 2*v. Which is smaller: k or v?
v
Let j(o) = 2*o**3 - 3*o - 2. Let n be j(-1). Let h be (2/3)/(20/6). Is h equal to n?
False
Suppose 2*i = 2*j - 178, -5*i - 143 = -j - 50. Let v = 130 - j. Let h be -1*(-2 - v/(-22)). Which is bigger: h or 0?
h
Let o = 3 + -5. Let j be ((-7)/(-3) + o)*9. Suppose w - 5 = -c - 1, 2*c = w - 4. Which is smaller: j or w?
j
Let w = 4.02 + -4. Let f = 0.38 + w. Let k = 0.4 - f. Which is bigger: 1 or k?
1
Let q = 175 - 1228/7. Suppose -9*l = -12*l - 3. Are l and q equal?
False
Let q = -8 - -5. Let n be (-2)/q - 40/33. Which is smaller: 0 or n?
n
Let x be (-334)/465 - 4/(-6). Let a = x + -3/62. Let b = 26 - 25. Do b and a have the same value?
False
Let f be (-5 + -4 + 4)*-1. Do f and 5 have the same value?
True
Let z = 0.3 + -0.3. Let h = -1/21 + 10/21. Which is smaller: h or z?
z
Let h = -140 + 141. Which is smaller: h or -2/115?
-2/115
Let o = -2 - -5. Suppose o = -2*u + w + 4, w + 1 = -5*u. Is -6/11 > u?
False
Suppose -5*f = 3*o, -3*f + 6*f = 0. Let i = 7 + -6. Is i greater than or equal to o?
True
Let x = 88/15 - 196/15. Let n = 98/15 + x. Which is smaller: -2 or n?
-2
Let j(f) = -5*f**2 - 2*f**2 + 6*f**2 - 2 - 4*f. Let c be j(-5). Do -6 and c have different values?
True
Let v be 2/5*(-25)/15. Let c = v + 16/15. Is 1/2 <= c?
False
Let x be 284/(-10)*(-5)/6. Let r = x + -914/39. Which is smaller: 0 or r?
0
Let k = -8 + 7.98. Let d = 0.08 - k. Let w = 0.06 - 0.03. Which is smaller: w or d?
w
Let n = 45 + -82. Let s be -3*6/9*n. Let v = 220/3 - s. Is 0 at least as big as v?
True
Suppose 0 = 3*x - 7 + 1. Let d be ((-9)/30)/(1/x). Let b = -3 + 3. Which is smaller: b or d?
d
Let g be -2 + 0 + -2 + 3 + 4. Is g greater than 5?
False
Let k(d) = -d**2 - d. Let m be k(-2). Let v be (3/(-6))/((-1)/m). Is v at least -1?
True
Suppose -3*p + 1 + 5 = 0. Let a = 2095/2436 - 1/348. Which is bigger: a or p?
p
Let j = -1.1 + 0.2. Let a = -1 - j. Let n = 0.21 + -0.31. Does n = a?
True
Let m = 12 + -17. Is -6 > m?
False
Let f = -0.005 - -0.027. Which is smaller: f or -0.1?
-0.1
Let z(m) = m**3 + 8*m**2 - 2*m - 10. Let l be z(-8). Suppose q + 5*p + 10 = -6, 3*p + 24 = q. Let b be (l/(-4))/(q/(-24)). Is b <= 3?
False
Let c be 56/(-24)*(-3)/5. Let n be 1/(-2 - -1)*0. Is n less than c?
True
Suppose 3*k = 3*l - 4*l - 1, 0 = -3*k - 4*l + 14. Is -2/3 at least as big as k?
True
Let y = -6 - -8. Is 2 greater than or equal to y?
True
Let o(r) be the second derivative of r**4/6 - r**3/3 - 2*r**2 - 5*r. Let m be o(3). Is m < 8?
False
Suppose -3*s - 2*b + 4 = -0*s, 3*s + b - 8 = 0. Suppose s + 5 = 3*i. Which is smaller: 2 or i?
2
Suppose -3*s + 0*s = 3. Let l(z) = -z + 11. Let f be l(9). Are s and f equal?
False
Let q be ((-28)/(-8))/(3/(-6)). Let x = 8 + q. Is -2 at least x?
False
Let s(i) = i**2 + 8*i + 16. Let v be s(-5). Which is bigger: -1 or v?
v
Let h(z) = 2*z**2 + 5*z + 2. Let y be h(-3). Suppose -10 = -2*a + q - 0*q, -2*q = -y*a + 26. Is 5 <= a?
True
Let s = -36361/90 - -404. Which is smaller: s or 0?
s
Suppose -9 = 3*i + 3*g - 2*g, 2*i - 4*g = -20. Let y be (-4 + 2)/(i/(-6)). Let k = y - -4. Are k and 0 unequal?
True
Suppose 10 = 3*f + 4. Is 2 >= f?
True
Let t be (7 - (-3 + 4))/(-1). Let l = 3 - t. Which is smaller: l or 10?
l
Suppose 5*a - 3*a - 12 = 0. Suppose 2*k + a = 22. Suppose k*j = -3*f + 3*j - 9, 5*j + 19 = 2*f. Is -0.1 != f?
True
Let g = -0.5 + -2.5. Let c = -1.83 - 0.17. Which is bigger: g or c?
c
Let k = 377/5 + -19641/260. Let a = k + -3/260. Is -1 greater than or equal to a?
False
Let i = 22 - 18. Let a be i/(-90) - (-2)/(-5). Do -3 and a have different values?
True
Let m = 0.029 + -5.129. Let t = -0.22 + 5.22. Let y = t + m. Do 0.3 and y have different values?
True
Let x be 3/(13/12 - 1). Let n be x/(-8)*(-2)/(-3). Which is smaller: -4 or n?
-4
Let x(l) be the second derivative of -l**5/20 - 11*l**4/12 + 7*l**3/3 + 2*l**2 - 3*l. Let n be x(-12). Which is smaller: -21 or n?
-21
Let l = 2 - 7. Let f = 7 + l. Which is smaller: 1 or f?
1
Let f = 100 - 201. Which is smaller: -100 or f?
f
Let z = 5 + 4. Which is smaller: z or -1?
-1
Suppose -j - 16 = -5*j. Suppose 4*q + 3*a = 3*q + 14, -j = -2*a. Which is smaller: q or 7?
7
Let p = -2 - -3.3. Let o = p + -0.3. Which is smaller: -2 or o?
-2
Let g be 35/(-49) + (1 - 0). Which is bigger: g or 1?
1
Let b = -0.05 + -2.95. Let y = b + 3.1. Let n be ((-2)/18)/(1/(-6)). Which is bigger: y or n?
n
Suppose -4*k + 2*h - 120 = 0, -h + 6*h = -2*k - 60. Let n be 12/(-8)*8/k. Let j be 4/(-8)*(1 + -3). Is j less than or equal to n?
False
Let r = 2 + -7. Let u be (-6)/4*8/3. Is r greater than or equal to u?
False
Let q be -3 - ((-4 - -3) + -1). Which is smaller: -4/5 or q?
q
Let n = -14 - -10. Let l = n + 4. Let z = -124/637 + 2/49. Is l at most as big as z?
False
Suppose -4*n = -5*n + 4. Suppose -8 = -g - n. Is g > 4?
False
Let p = -130 - -130. Which is smaller: p or 10/7?
p
Let u = -3287/539994 + -1/1794. Let y = u - 556/6923. Is y smaller than -1?
False
Let w be -1*3 + -2 + 8. Suppose a = 5*r - 8, -2*r + 0*r - 2 = -w*a. Suppose r*u - 3*p - 2 = -1, 2*u - 2*p = 0. Is u > -4?
True
Let n(r) = -r**3 + 8*r**2 + 10*r - 6. Let z be n(9). Suppose o = z*o - 14. Is -0.1 less than o?
True
Let k = -5.7 - -2.7. Let n(w) = -w - 1. Let q be n(-2). Is k greater than or equal to q?
False
Let l(i) = -4*i + 32. Let j be l(9). Suppose -5*h + 2 = 2*p - p, -5*p + h - 16 = 0. Which is smaller: j or p?
j
Let r = 39 + -58. Let n be (2/2)/(r/76). Are n and -4 non-equal?
False
Let p = -157/95 - -20/19. Suppose -l + 5*l = 0. Which is smaller: p or l?
p
Suppose z = 2*z + l + 3, -3*z + 5*l = -23. Let j(m) = -m**3 - 7*m**2 - 7*m - 6. Let v be j(-6). Suppose 2*a = -v + 2. Is z greater than a?
False
Let p(n) be the first derivative of n**3/3 - n**2/2 - 3. Let y be p(-1). Suppose 5*l = -2*v + 15, -3*v + 3*l = 7 + y. Is v at most as big as 1/9?
True
Let q be ((-13)/(-26))/((-2)/6). Which is smaller: -0.07 or q?
q
Let n = -0.4 + 0.3. Suppose -18*a = -19*a - 6. Which is smaller: a or n?
a
Suppose 0 = 13*j - 6 - 7. Is j > -6/23?
True
Suppose 4*v - 3*t - 35 = 0, 3*v - 4*v - t = 0. Suppose -3*r + 20 = r. Is v equal to r?
True
Let o = 10 - 9.97. Is -1 at most o?
True
Let h = 2.15 + -2.2. Is h greater than or equal to -3/4?
True
Let w = -1827/8 + 228. Let x(u) = u + 6. Let f be x(-6). Is w bigger than f?
False
Let y = -22 - -37/2. Let z = -4 - y. Let x = 1/62 - -46/31. Which is bigger: z or x?
x
Let g be 4/16*4 - (-8)/(-17). Which is smaller: g or 2?
g
Let t be 9/(-60)*(1 + 3). Is t less than -2?
False
Suppose -10*r = -13*r + 3. Let h be r/4 - 6/(-4). Which is smaller: 2 or h?
h
Suppose -11*t = -483 - 1. Is 44 equal to t?
True
Let u be 104/28 - 4/(-14). Are u and 2 equal?
False
Suppose -5*n - 15 = -4*s, -4*s + n + 0*n + 3 = 0. Which is smaller: s or -2?
-2
Let l = -0.048 + 0.048. Which is greater: l or 2/71?
2/71
Let w = -19.7 + 20. Which is smaller: 1/5 or w?
1/5
Let q = -46 - -31. Which is bigger: -1 or q?
-1
Suppose 5*m - 70 = 60. Let f be -2*37/m + 3. Is f equal to 0?
False
Let d = -16 - -16. Suppose 4*k - 2*l = 2, l + 7 = 3*k + 2*k. Suppose d = q + k*q - 3. Which is smaller: q or 1/2?
1/2
Let b = -130 - -66. Is b at least -63?
False
Let a = 69.99 + -71. Let r = 0.01 +