 44 - 50. Let f(p) = -p**2 + 2*p + 2. Let n be f(-2). Is n <= y?
True
Let v = 0.3 + -0.3. Let t = 0.78 - 0.6. Let s = t - 0.08. Are v and s non-equal?
True
Let q be 18/81 + 50/18. Let z be (-4)/(-16)*(-20)/q. Which is greater: -3 or z?
z
Let z be ((-1)/6)/(2/3). Let w(n) = -n + 9. Let p be w(9). Suppose 2*u + u = p. Is z < u?
True
Let r(l) = 2*l + 1. Let d be r(4). Let z = -427240999/672 + 635775. Let f = 1/96 + z. Which is smaller: f or d?
f
Let j be ((-1)/(-1))/2 - 1. Let c = 16 + -18. Which is smaller: c or j?
c
Let k(r) = 7*r**2 + r - 1. Let y be k(1). Which is smaller: y or 5?
5
Suppose 0*o - o = 0. Suppose -3*x - 2*u - 28 = 3*u, 4*u = -5*x - 25. Let i be (-1)/7*(-2)/x. Is i >= o?
False
Let j be ((-18)/(-8))/(3/(-12)). Let i be -3*(-3*1)/j. Suppose p - 3*p - 2*u = -2, u + 1 = -3*p. Is p > i?
False
Let j = -91910/69 - -1332. Does j = -1?
False
Let v be 2*3/(-2) + 5. Suppose 0 = -7*n + 5*n - v. Which is greater: -1/28 or n?
-1/28
Let y = 5 - 5. Suppose y = x + x. Let l(j) = j + 5. Let d be l(-4). Which is bigger: x or d?
d
Let n be 4/(-4) + (-2)/(-2). Suppose -1 = -l - 3*u, -3*l + 3*u + 3 = -2*u. Let t = l + n. Is 1 equal to t?
True
Let n = 0.2 - 1.2. Let k = 2 - 3. Let v = n - k. Which is smaller: 2 or v?
v
Let x(v) = -v**3 - 6*v**2 - 6*v - 5. Let s be x(-5). Is 1/7 != s?
True
Let d(v) = v**3 - 4*v**2 - 2*v + 4. Let r be d(4). Let t be -9 + 4 - (-1 - 95). Let z be (-16)/t + r/14. Is 1 equal to z?
False
Let w be 2/((-8)/14) + 2. Let g be 9/(-12)*1 - (-7)/(-28). Is g equal to w?
False
Let j = -24 + 6. Let g = j + 21. Is g < 0.2?
False
Let c = -167/70 - 4/35. Is -2 smaller than c?
False
Let t = -0.01 + -0.01. Let l = -0.05 - t. Let m = l + -0.07. Is m > 2/7?
False
Let u be 6/(-2) - (-14 - -6). Let l = -6 - -10. Suppose -u*a + l*a - 4*y = -16, 2*a - 2*y + 8 = 0. Is a at most 1?
True
Let l = 23 + -7. Suppose q = u + 30, 5*u = 2*q - 0*q - 72. Suppose -3*m - 2*g + 10 = q, 0 = -2*m + 4*g - l. Is -5 at least as big as m?
True
Let c be (10/70)/(3/(-6)). Are 0.9 and c nonequal?
True
Suppose y = -0*y - 116. Let q = 1393/12 + y. Is q < 1?
True
Suppose -4*o = -2*f - f - 6, -f = 3*o - 11. Let b be (-2)/2 - (1 - o). Suppose -w + 4*j = 8 - 0, -6 = -3*j. Which is smaller: b or w?
w
Let z = 0.8 - 6.8. Let j = z - -4. Let f = 5.5 + -1.5. Which is greater: j or f?
f
Suppose 2*h = -0*h - 2. Let z be h + 10 - 4/2. Which is smaller: 6 or z?
6
Let v(a) = -9*a - 12. Let c be v(-4). Let b be c/20*20/6. Which is smaller: 3 or b?
3
Let d(o) = 3*o**2 - 4*o + 2. Let g be d(2). Let q = -405/2 + 209. Which is greater: q or g?
q
Let j = -34/3 + 38/3. Let f = 1 + 0. Let r = -1 + f. Which is bigger: j or r?
j
Let v = 7 - 6.9. Let n = -0.1 + v. Which is smaller: -0.1 or n?
-0.1
Suppose -2 - 14 = -5*p - o, -5*p + 17 = 2*o. Does p = -3?
False
Let v be 6/10*(1 - -14). Suppose 3*t + 14 = 4*y, -4*t + 5*y - 8 = v. Suppose t*j + 3 = 5*l, 0 = 3*j - 0*j + 4*l - 7. Which is greater: j or -1/3?
j
Let g(b) = b - 9. Let s be g(-12). Is s at least as big as -21?
True
Let a be -2 - ((-1)/(-1) + -2). Let j = 102 - 103. Is j < a?
False
Let b = 8 - 5. Let x = -2 + b. Let r = 1.91 - -0.09. Which is smaller: x or r?
x
Let z be ((-530)/(-275) - -1) + (0 - 3). Is 0 bigger than z?
True
Let v(t) = -4 + 3 + 6 + 1 + 2*t**2 - 6*t. Let a be v(4). Is 14 at least a?
True
Let z = -0.11 + 0.31. Is 1/11 at most z?
True
Let z = 0.69 + 2.21. Let g = -0.03 - 2.97. Let h = z + g. Do -2 and h have the same value?
False
Let v = 21 + -22. Suppose 4*x - h + 13 = 0, 6*x - x + h + 23 = 0. Let w be 4/(-10) + x/(-10). Which is smaller: v or w?
v
Let i(p) = -p**2 - p - 1. Let j be i(-3). Which is smaller: -8 or j?
-8
Let w be 2/(-3) + 22/6. Suppose w*v - 2*v - 9 = 0. Let m = 5 - v. Are m and -4 non-equal?
False
Let x = -0.2 - -0.3. Let o be (-3)/2*(-158)/705. Let h = -3/47 - o. Is h less than x?
True
Let y be (-2)/4 + (-6)/(-12). Is y bigger than 1/8?
False
Suppose -8 = c + 4*u, 0*c + 1 = -2*c - 3*u. Let q = c + -5. Let m = 2 + q. Which is smaller: m or 3?
m
Let r = 1682179/2556216 + 1/21848. Let c = r - 10/13. Does 1 = c?
False
Let m = -12 - -13. Which is greater: m or 3/10?
m
Let y = 4/7 + -30/77. Which is smaller: y or -0.3?
-0.3
Let h be (154/152 + -1)*4. Which is smaller: 1 or h?
h
Suppose 3*l = -k - 2, 0 = k + k + 4*l + 6. Which is greater: k or -11/2?
k
Let m = -0.02 - -0.92. Let y = m + -0.8. Are y and -1 unequal?
True
Suppose 2*d - 8 - 8 = 0. Suppose -p - 4*s = 11, 2*p = -5*s + d - 21. Which is smaller: 2 or p?
p
Let t be (166/(-195) - -1) + (-12)/78. Which is greater: t or 0?
0
Let o be (-2)/6 - (-8)/6. Suppose 0*f = -f + o. Which is bigger: -3/7 or f?
f
Let j = 21.72 + -27.8. Let s = -0.08 - j. Let c = s - 7. Is -1/3 at least as big as c?
True
Let l = -27 + 19. Let j be 2/8 - 22/l. Suppose -5*b = 4*z + 3, 0 = 5*z - j*b - 16 - 8. Is z != 3?
False
Let g = -4.8 + 0.8. Let s = 4 + g. Let b = s + 0. Which is smaller: 1 or b?
b
Let z be (-4)/(-14) - (-606230)/274197. Let r = -14/1187 + z. Let a = r + -8/3. Which is bigger: a or 0.1?
0.1
Suppose 0 = -4*b - 0*b + 16. Let j be 4/3 - (b - 3). Which is bigger: j or 1?
1
Let c(q) be the third derivative of -q**5/60 - q**4/24 + 2*q**3/3 - q**2. Let n be c(3). Is n equal to -8?
True
Let d = -44 + 36. Is d >= -10?
True
Let a be (-6)/(-5)*(45/(-2))/(-3). Is 6 greater than a?
False
Let l(y) = -y**3 + 6*y**2 - 8*y + 10. Let d be l(6). Let u be 43/(-9) - d/(-171). Is u at least 0?
False
Let f = 20 - 21. Which is bigger: f or -2?
f
Let q(z) = -2*z + 5. Let w be q(-5). Let d be (-4)/(-10) + (-21)/w. Suppose -2*m + 2 + 2 = 0. Which is greater: d or m?
m
Suppose -2*s + 8 + 0 = 0. Are s and 5 nonequal?
True
Let h(u) = 9*u**2 + u + 4. Let c(r) = -10*r**2 - r - 5. Let x(i) = -4*c(i) - 5*h(i). Let t be x(-1). Let f = 1 + -6. Is t bigger than f?
True
Let n = -61 - -425/7. Is -1 less than n?
True
Suppose -62*u + 60*u + 14 = 0. Let v be (-1)/1*-1*0. Let t be (12 - v)*2/3. Which is smaller: t or u?
u
Let n be ((-2)/(-6))/((-1)/(-3)). Which is smaller: -1 or n?
-1
Suppose 0 = 3*u - 2*c + 7, -3*c = 2*u - c - 12. Which is bigger: u or -2/15?
u
Let k = -2 - -2. Let c = -3 + 2.93. Is k smaller than c?
False
Let n be 2 + 0 + 120/(-58). Suppose 17 = -k + 5*k + 5*s, -25 = -5*s. Let i = 1 + k. Is n greater than i?
True
Let y = -0.56 + 0.36. Which is greater: 4/7 or y?
4/7
Suppose 0 = -4*m - 0*m. Do m and -8/27 have the same value?
False
Suppose 0 = 3*r - 0*n + 2*n - 14, 0 = -n + 4. Let l be 33/(-27) + (-6)/(-27). Let s = 3 + l. Is r < s?
False
Suppose -4*i + 3 = -5*l, 0*l = -l + 5*i - 9. Which is bigger: 3/5 or l?
l
Let m(x) = 4*x**3 - 5*x**2 - 2*x - 5. Let g(k) = 17*k**3 - 21*k**2 - 9*k - 21. Let n(i) = -2*g(i) + 9*m(i). Let d be n(3). Which is bigger: d or 25?
25
Let t = -1 - 2. Let d be -3 + ((-210)/22)/t. Which is bigger: d or -1?
d
Suppose 0 = -4*h + 8*h - 16. Suppose -h*x + 3*x + 4*y = -1, 3*x - 2*y - 3 = 0. Which is bigger: x or 2?
2
Let b be 2/(-8) - 165/12. Let x = b + 10. Are -6 and x equal?
False
Let y = -6.1 - -8. Let b = y + 0.1. Let v = b + -5. Which is greater: 1/2 or v?
1/2
Let a = -1 + 0. Let y = a - -0.8. Let f = -4 + 6. Does f = y?
False
Suppose 4*u - 3*u + 6 = 0. Let o be (5*-2*(-2)/10)/(-1). Which is smaller: o or u?
u
Let s(v) = -v + 3. Let m be s(3). Suppose m*j + j + 54 = 0. Let x be -6*(-2 - j/28). Which is smaller: 0 or x?
0
Let m(g) = -13*g + 1. Let z be m(1). Are z and -12 non-equal?
False
Let n = 0.42 + 0.58. Is 1/3 != n?
True
Let k = 5 + -7. Let l be (k + 9/4)/1. Let d = -1.029 + 0.029. Is d not equal to l?
True
Let g = -8 - -22. Let h be 2*(-4)/((-16)/g). Is h <= 8?
True
Let n(y) = 2*y**2 + 20*y. Suppose -4*a + 40 = -2*o, 2*o - 5*o - 35 = -a. Let l be n(o). Let b = -250 - -2248/9. Is b >= l?
False
Suppose 0 = -4*s - 16, l - 3*l + 3*s + 12 = 0. Suppose -2*u + 0*u = l. Is u < -11?
False
Let z(j) = -j - 6. Let d be (0 + 2 - 8)*-1. Let w(h) = h**2 - 6*h - 5. Let s be w(d). Let y be z(s). Which is greater: y or -1/2?
-1/2
Let m = 46 - 137/3. Which is smaller: m or 1/14?
1/14
Suppose 2*l = -l - 15. Let t = l - -4. Which is greater: -2 or t?
t
Let l = 13 - 12. Is l at least as big as 1/31?
True
Suppose 7*v - 92 = 11*v. Which is bigger: v or -21?
-21
Let x(h) = h**2 - h + 2. Let i be x(2). Let u be (i/2)/(7 - 6). Which is smaller: 4 or u?
u
Suppose 13*x = 9*x + 20. Suppos