) = v**2. Let w be i(-2). Suppose 0 = k - 5*k - w*t + 8, -5*k - 2 = t. Is r > k?
True
Let v(r) = -r**3 + 4*r**2 + 6*r + 2. Let t be v(-2). Do t and 15 have the same value?
False
Let i = -7 - -10. Let u(h) = -h**2 + 3*h - 2. Let f be u(i). Let v be f/1 - (-7)/4. Which is greater: v or 1?
1
Let s be (-2 - -2) + (-6)/(-3). Suppose 0 = -s*m + 14. Which is smaller: 1 or m?
1
Suppose 5*i = -4*b + 36, -4*b - 3*i - i = -32. Let k be 7/(-2)*(2 - b). Let f be 1 - (6/k + 0). Which is bigger: f or 1?
1
Let z = 18 - 19. Which is smaller: z or 3?
z
Suppose -2*c = 3*c - 25. Let o(p) = -p**2 + 6*p. Let k be o(c). Is 4 <= k?
True
Suppose 3*v + x = -1009, 4*x - 1017 = 3*v + x. Let r = -1357/4 - v. Is -1 < r?
False
Suppose -3*o = 3*a + 15, -4*o + 0*o + 4*a - 28 = 0. Let x = o - -8. Suppose x*r + r - 3 = 0. Which is smaller: 1/3 or r?
1/3
Let y = -69 + 415/6. Let i be -3*(1 + 1 + -3). Which is bigger: y or i?
i
Let i be ((-1)/((-1)/7))/1. Let b = 6 - i. Is 2/5 at least b?
True
Let z = -14 - -13. Let c = z + 1. Which is bigger: 1/3 or c?
1/3
Suppose -2*q - 4*y - 3 + 7 = 0, -5 = -y. Let n = q + 10. Is n greater than or equal to 0?
True
Let x = 0 + 0. Let h = 21.8 + -22. Is h less than x?
True
Let d(t) = -2*t - 5. Let s be d(-4). Suppose 0 = -s*v + 5*v + 2. Let r(k) = k**2 + 22*k + 55. Let i be r(-3). Is v greater than or equal to i?
True
Let p = 17/5 - 41/15. Let j(k) = -k**3 - k**2 - k - 1. Let v be j(-1). Which is smaller: v or p?
v
Let n = 3 + -11/3. Suppose -9*q + 12*q + 6 = 0. Which is smaller: q or n?
q
Let m(a) = a - 3. Let q be m(6). Let v be (30/q)/(2/1). Is 4 bigger than v?
False
Suppose -33 = 2*b + 5*n, -2*b - 2*b - 3*n - 45 = 0. Let m = b + 9. Is -1 > m?
False
Suppose 5 - 1 = 4*z. Which is bigger: z or 2/305?
z
Let z = 8 + -7. Let b be (-9 + 9)/(-2 + z). Does b = -4/7?
False
Let n = -467/6 - -78. Which is greater: n or -1/4?
n
Suppose -5*d = 2*j + 5, 3*j - 5*d + 0 - 5 = 0. Suppose 3*w + 39 = 6*w. Let m = w - 53/4. Which is greater: j or m?
j
Let s = 14.2 - 17. Let q = -2.7 - s. Is 0.05 bigger than q?
False
Let v be (-6)/21*(-42)/3. Let p be -3*(v - (-32)/(-12)). Which is smaller: p or -5?
-5
Suppose -5*z = 1 - 6. Suppose -r = z - 5. Let h = 8 - 3. Which is smaller: h or r?
r
Let x = -2 - -5. Suppose 4*p + x*k - 14 = -0*p, 0 = k - 2. Let l be (1/(-6))/(p/3). Is l less than 0?
True
Suppose 0 = n + s - 2, 0*s - s + 8 = 4*n. Suppose 0*m - 4*q - 4 = 4*m, n*m - 1 = q. Is m bigger than -5/6?
True
Let h(x) be the second derivative of -x**5/20 + x**4/3 + 4*x**3/3 - 3*x**2 - 2*x. Let i be h(5). Is 8 < i?
True
Let o = 0 - 0. Suppose t = 4*l + 2*t - 25, 4*l - 5*t + 5 = o. Let z = -4 + l. Is z <= 1?
True
Let p = 0.7 - 0.4. Let t = -0.08 + 0.11. Let z = -1.03 + t. Is p < z?
False
Suppose 2*w = -5*p + 6, -4*p - p - 15 = -5*w. Does p = -2/45?
False
Let r = -4 - -3.8. Let x = 0.9 + -1. Let m = r - x. Is m smaller than 0.2?
True
Let j(i) = -2*i - 50. Let z be j(-22). Is z <= -6?
True
Let f = 4 - 7. Let o = 3 + f. Is o smaller than -3/10?
False
Let d be (-3 + 0)*(-4)/6. Suppose 2 = -s - x, 4*s - 4*x - 26 = d*s. Which is smaller: s or 1?
1
Suppose -3*d = 2*u - 16, -u - 4*u - 3*d = -22. Suppose -5*s - u = 13. Which is greater: s or -2?
-2
Suppose -255 = -2*x + 7*x. Which is bigger: 1 or x?
1
Suppose 0*c = c. Suppose 0 = -5*m + 5 - c. Is 4/5 greater than m?
False
Let d be 3/(-5) - 1/3. Let x be -1 - ((-102)/45 - -1). Let w = x + d. Is -2 > w?
False
Let s = -294731/276 + -1101/92. Let l = 1091 + s. Let y = -11 + l. Is y at least as big as 1?
False
Let w(b) = b**3 - 4*b**2 - b + 4. Let n(k) = -1. Suppose 2*m - 5*m + 3 = 0. Let p(l) = m*w(l) + n(l). Let a be p(4). Is a > -2?
True
Let j = 3/193 + -223/1930. Are j and 1 equal?
False
Let c = -8989/19 - -473. Let l be (3 - (0 + 3)) + 1. Which is smaller: c or l?
c
Let f = 2 - 2.8. Let x = f - -0.5. Let z be 6/54*-3*(1 + 2). Which is bigger: z or x?
x
Suppose -51 = 8*u - 3. Is u > 2?
False
Suppose 4*c = -4*t + 4, t = 4*c + 9 + 2. Let w(q) = q**3 + 4*q**2 - 6*q - 7. Let l be w(-5). Is l bigger than c?
False
Let w(j) = j**2 - j - 1. Let h be w(2). Let k = 24 + -45/2. Which is smaller: h or k?
h
Let a = 5.3 + -5.3. Let m be 1/1 + -2 + 6. Which is bigger: a or m?
m
Suppose 0 = 15*t - 17*t + 8. Suppose 5 + 3 = -2*b - 3*l, 12 = -4*b - t*l. Are b and -1 equal?
True
Let m be 42/9*12/16. Is 5 bigger than m?
True
Let u(r) = r**2 - 10*r + 11. Let c be ((-6)/(-2))/((-1)/(-3)). Let d be u(c). Is d less than or equal to 2?
True
Suppose 3*r = -4*m + 13, -4*m + 4*r = 5 + 3. Let z be 35/6 - m/(-6). Is z bigger than 2/7?
True
Let v be (-1)/2 + 1/2. Suppose 8 = -4*a - 8. Let j be (-2)/(-10) - a/5. Is j at least as big as v?
True
Let m be (-2 + 5/3)*103. Let h = 35 + m. Let k be 3 + -2 + -3 + 3. Which is greater: h or k?
k
Suppose 0 = -d - 0 - 3. Let h(z) = 5*z + 11. Let k be h(-3). Which is bigger: d or k?
d
Let j be (9 - 11) + -1*3. Is j bigger than 0?
False
Let w = -3618 - -1380. Let h = -190228/85 - w. Is -1 != h?
True
Let w = -0.2 - -0.1. Let l = 0.15 + 0.85. Is l >= w?
True
Let p be (-8)/(-36) - (-6)/(-27). Is -1 greater than p?
False
Let g = -129 + 125. Which is bigger: 1 or g?
1
Let t = -13/3 - -139/30. Let w = 4 - 3. Do t and w have different values?
True
Suppose -4*r - i - 81 = 14, r + 26 = 2*i. Is r less than or equal to -24?
True
Let h = -1487/9 - -165. Suppose -2*a = 2*a. Which is bigger: a or h?
a
Let d = -12 + 5. Are -10 and d unequal?
True
Suppose 4*p + 0*p + 72 = 0. Is p != 0?
True
Let t = 7.4 - 7.5. Let h = -7.13 + 0.13. Let l = h + 10. Is l at most t?
False
Suppose -2*l = -4*s + 4, 2*s - 16 + 2 = -5*l. Let x be 1/(-21) - l/7. Is -1 >= x?
False
Suppose -5*p = -20, q - 2*p = -3*p + 4. Are 3/38 and q nonequal?
True
Let k(f) = -2*f**3 - 3*f**2 + 1. Let m be k(-2). Let s(w) = -w**2 + 7*w + 8. Let z be s(m). Do z and 19 have different values?
True
Let p(i) = 12*i + 8. Let v(m) be the first derivative of -m**2/2 - 1. Let g(o) = 2*p(o) + 22*v(o). Let c be g(-11). Is -5 smaller than c?
False
Let o = -88 - -88.06. Let t = -0.3 + 0.2. Which is greater: o or t?
o
Let x = -3 - -3.1. Let g = -0.5 + -0.1. Let w = g - -0.4. Is w smaller than x?
True
Let r = -0.28 - -0.09. Let u = -0.19 - r. Which is greater: u or -6?
u
Let d be (2/(-4))/(2/(-80)). Suppose 4*n = 8*n - d. Which is bigger: -0.2 or n?
n
Let b = -373/6 - -63. Which is bigger: 1 or b?
1
Let s(y) be the third derivative of y**4/12 + y**3 - y**2. Let j be s(-5). Let l be 1*-2*9/6. Is j equal to l?
False
Let j = -1/1746216 + 517753243/347496984. Let w be 2/4*8/(-398). Let d = j - w. Is d less than 1?
False
Suppose r = -5*d + 63, 6*d - 3 = 3*d. Which is smaller: 56 or r?
56
Let y(v) = -v + 2. Let h be y(-5). Suppose z - w + h = 3*w, 13 = 5*z - 4*w. Suppose -3*k = 2 - z. Which is smaller: k or 0.1?
0.1
Let h(v) = 3*v**2 - 4*v. Let i be h(3). Suppose -3*a - i = 2*l + l, 0 = 3*l - a - 5. Are 2 and l non-equal?
True
Let a = -2.39 + 2.3. Let c = a - 0.01. Which is smaller: c or -5?
-5
Suppose 2*k + 3 - 9 = 0. Let i(s) = 5*s - 1. Let v be i(1). Is v at least as big as k?
True
Suppose -w - 4 = 10. Suppose -3*o + j = 46, -4*o + 2*j = -o + 47. Which is smaller: o or w?
o
Let h be -46*(0 + (-9)/6). Let f = 344/5 - h. Which is smaller: f or 1?
f
Let r be (-2)/(-10) + (-228)/(-60). Suppose -4*a - 2*y = -0*a - r, -5*a + 5 = 4*y. Let o = 3/5 - 39/40. Which is smaller: a or o?
o
Suppose 13 = 4*q + h - 15, -5*q + 50 = 5*h. Is q greater than 4?
True
Let t be 4/((-16)/(-6))*-2. Which is smaller: -2 or t?
t
Suppose 0 = 2*g - z - 2 + 1, 0 = 5*g + 3*z + 14. Let l be 12/(-36)*0/(-1). Suppose -o - 3*o + 8 = l. Are g and o unequal?
True
Let h = 0.149 + 5.851. Are h and 0.6 unequal?
True
Let r = 2.4 - 13.4. Let z = -15 - r. Are -0.1 and z unequal?
True
Let p(q) = -q + 2. Let b be p(0). Let c = 18 + -13. Suppose -3*h + 0*h + 18 = -b*z, 5*z - c = -5*h. Which is greater: 3 or h?
h
Let a be (-3 - -10)/(3/(-6)). Let u = a - -2. Let n = u - -5. Which is smaller: -0.1 or n?
n
Let v = -2 - -3. Let t = 4.881 - -0.019. Let u = t + -5. Which is greater: u or v?
v
Suppose 5*z - 20 = 0, -24 = -2*o - 0*o - 2*z. Let v = -5 + o. Is 1 at least v?
False
Let g be 6/5*50/(-15). Is -4 greater than or equal to g?
True
Let p = 1/9179 + -1854163/45895. Let r = 216/5 + p. Which is smaller: 2 or r?
2
Suppose 2*g = 7*g - 3*y + 1, 4*y = 8.