1. Let o be a(4). Is o greater than 2/23?
False
Let l(x) = -x**3 - 18*x**2 + 15*x - 45. Let a be l(-19). Which is smaller: a or 32?
a
Let a(c) = -c**2 - 8*c + 10. Let u be a(-9). Is u at least -2?
True
Let s = 17434/5 + -3434. Let q = s + -53. Which is greater: -1 or q?
q
Let r = -1 + 0. Let y = 0.6127 + -0.0127. Which is greater: r or y?
y
Let z(p) be the third derivative of p**5/60 - p**4/8 + p**3/3 + 3*p**2. Let a be z(3). Suppose 0 = a*j + 10 - 4. Which is greater: j or -1?
-1
Let r = -0.11 + -0.49. Are 0.2 and r non-equal?
True
Let a be 1/4*((2 - -3) + -4). Is 1/2 >= a?
True
Suppose -182 - 70 = -4*w. Let z be ((-6)/w)/((-9)/(-21)). Suppose 2*x - 27 = -5*d, -2*x + 10 = 4*d - 12. Is x less than z?
False
Let f(i) = i**2 - i + 108. Let p be f(0). Let y be (-51)/p - 2/(-9). Let l(v) = -2*v**2 - 3*v - 2. Let j be l(-1). Is y smaller than j?
False
Suppose 3*p - 2 + 5 = 0. Is 1 greater than p?
True
Let j = -4 - -4. Which is bigger: j or 1/2?
1/2
Let a = -9 - -8. Let q = 0.06 - 0.06. Let l = 0 - q. Which is smaller: l or a?
a
Suppose 6 = 2*c, -3*c + 16 = 2*j - c. Suppose -j*l + 37 = -13. Let q be -1*(-2)/(-16)*l. Which is smaller: q or 0?
q
Suppose 5*u - 288 = 2*u. Let b = -292/3 + u. Is -2 > b?
False
Let a(l) = 2*l - 41. Let x be a(18). Do x and -6 have different values?
True
Suppose -178 + 10 = 6*d. Which is smaller: -27 or d?
d
Let k be ((-3086)/(-14))/(-1)*-1. Let b = -220 + k. Let s = -10 - -10. Is s less than b?
True
Suppose 0*b + 9 = -3*b, 0 = 4*j + 4*b. Suppose 0 = -j*p + 2*f - 3*f, 0 = 3*p - 4*f. Are 2/7 and p equal?
False
Suppose -n + 3 = -0*n. Do n and 3 have different values?
False
Let z be 3/(((-45)/2)/5). Which is bigger: z or -8?
z
Let m = -212 - -213. Is 2/473 < m?
True
Let z be (-39)/84 - 2/(-8). Are z and 0 non-equal?
True
Let q = 33/1213 + -408979/7278. Let t = -56 - q. Which is smaller: t or 1?
t
Let j = 87 - 87.2. Is -22 less than or equal to j?
True
Suppose 5*m - f - 22 = 0, 0 = 3*m + 2*f - 5*f - 6. Suppose u = m*u - 8. Suppose -l = 2*o - 8, o - u*l - 2 + 8 = 0. Is o < 5/4?
False
Let q = -4.05 - -0.05. Let b = q + 6. Let g = -0.1 - -0.2. Is b greater than g?
True
Let l(j) = -j**3 + 12*j**2 - 13*j + 12. Let v be l(11). Is -12 equal to v?
False
Suppose -b - 9 = 2*c, 3*b + 0*c = 2*c - 19. Let x be (-2)/((-7)/(b/(-8))). Which is bigger: -1 or x?
x
Let g = 91 + -1457/16. Let d = -37/80 - g. Which is greater: d or 1?
1
Let w = 2.13 - -0.87. Let l = -1 + -2. Is w at least as big as l?
True
Let h be (-1)/(-4) + (-27183908)/134. Let y = -202865 - h. Let r = y + 1/67. Is -2 <= r?
True
Let y(i) = -i**3 + 2*i**2 - i + 6. Let l be y(3). Is 2 > l?
True
Suppose s = -3*f - 4*s + 17, -5*f - s = -21. Let g = 28255/7374 + 2/1229. Let z = f - g. Is z != 1?
True
Let w = -22 + 31. Suppose 0*b + b - 2*t - 8 = 0, 53 = 5*b + 3*t. Is b greater than or equal to w?
True
Suppose -6*s + 60 = 24. Is s greater than or equal to 2?
True
Let x = -0.44 + 0.84. Which is greater: 21 or x?
21
Let i = 18 + -8. Let u be i*((-21)/6)/7. Is u equal to -6?
False
Let w(a) = a + 7. Let l be w(-7). Which is smaller: -0.3 or l?
-0.3
Suppose -2*l = 3*u, -4*l + 4 = u - 2*l. Is u at most 0?
True
Let f be (12/(-15))/((-1)/5). Suppose -5*l = -l + f. Let c = 294 + -3820/13. Is c at least as big as l?
True
Let b = 1 + -0.8. Let d = 0.6 + -1. Let o = d + b. Do o and -1 have the same value?
False
Suppose 0 = -10*b + 9*b - 6. Is b != -32/5?
True
Let l = 3 + -4. Let w = -0.02 + -0.98. Let b = -2 + w. Do l and b have different values?
True
Let t = -4/3 - -5/6. Let z be 2/5 - (-6)/(-140). Let w = 1/7 + z. Which is bigger: t or w?
w
Let s = -77 - -235/3. Suppose -3*u + 2 + 4 = 0. Is s equal to u?
False
Let p = 1/184 - 101/1656. Is 1 != p?
True
Suppose 0*v + 12 = 4*v. Suppose 0 = 6*c - 2*c - 16. Are c and v equal?
False
Let b be 88/(-55) + (3 + -2)*2. Let l = 0.3 - -1.7. Which is greater: b or l?
l
Suppose 0 = 2*s - u + 4*u - 12, -3*s + 2*u = -5. Let v = 510 + -2542/5. Which is bigger: s or v?
s
Let h = -0.2 - -2.2. Let w = -5 - -5. Is h not equal to w?
True
Suppose 0 = -2*k - q + 61, 0 = k + 4*k - q - 156. Suppose 3*l + 33 = -3*y, 4 = 3*l + y + k. Let w be (4/l)/((-2)/(-4)). Which is greater: w or -2/27?
-2/27
Let p = 0.06 + 0.04. Is p < 0.06?
False
Let u be (-2)/(-2) - 594/418. Is 1 at most u?
False
Suppose -3*d = -3*h - 3, -d + 5*h - 1 = 2. Let k = -31 - -34. Is k at least as big as d?
True
Let c be 1 - -1 - (-5)/(-1). Let j = 3 - 7. Are j and c unequal?
True
Let i = -24 + 24. Suppose 13 = 3*f - 5. Let d(l) = -l + 8. Let y be d(f). Is i equal to y?
False
Let x(j) be the third derivative of j**6/120 + j**5/15 - j**4/24 + 2*j**3/3 + 8*j**2. Let l be x(-4). Is 8 at least l?
True
Let b = 21/4 + -5. Let g = -4/3 - -2/3. Which is bigger: b or g?
b
Suppose r = 2*r. Let d = -2 - r. Is 0 > d?
True
Let q = -24 + 29. Let d be -17 + 20 - (-6)/2. Which is smaller: q or d?
q
Let g = -14 - -12.1. Let s = g - -2. Is 0.1 <= s?
True
Let q = -3 + 2. Let s = 9.43 + -10.5. Let p = 0.07 + s. Is q at least as big as p?
True
Let d be (-1)/(-2)*-14*73. Let v be -2 - ((-1836)/d)/(-2). Let y = 6/73 - v. Is y at most as big as 1?
True
Let k = 0.9 - 1.7. Let w = -1.2 + 1. Let r = k + w. Is 2 less than r?
False
Suppose 2*q - 4 = -2. Do -6/13 and q have the same value?
False
Let i be 2/(-6) + (-1)/3. Let b be (2 - -2*5)/2. Let o = -7 + b. Which is greater: i or o?
i
Let v be (-5)/(-4) + 451/(-396). Let b = -2 + 2. Is v bigger than b?
True
Suppose 0 = -2*w - 5*x + 14, -w + 5*x = -4*w + 31. Which is bigger: w or 16?
w
Let k be (15/25)/(7/(-5)). Let x = k + -1/14. Which is smaller: x or 0.09?
x
Let t = 3 - 3.1. Suppose -3*m + 2 = k + 1, -5*m - 21 = -4*k. Suppose -2*d = -6*d - k. Which is smaller: t or d?
d
Let j = -5 - -4.5. Let v = j - -0.4. Is v > -10?
True
Let w = 1 + -3. Let y = 0 - w. Is -1 >= y?
False
Let w be (4/(-10))/((-2)/(-10)). Let y be (-1)/w - 1/2. Is 1 less than y?
False
Let m be (12/8)/((-12)/(-400)). Which is smaller: -0.1 or m?
-0.1
Let q = 7.14 + -3.92. Let j = q - 0.22. Which is smaller: 0.2 or j?
0.2
Let b(a) = -2*a**2 + 10*a - 6. Let k be b(4). Which is bigger: k or -3/8?
k
Suppose 3*h = 2*j - 3, 5*h + 11 = 2*j + 2*j. Suppose 0 = -k + 3, 6*t - 2*t - 4*k = 28. Which is smaller: j or t?
j
Let x be (386/(-5))/2 + (-279)/(-465). Is x > -39?
True
Suppose 2*u - 4*w + 52 = 0, 49 = 5*u - 2*w + 139. Let d = u - -49/3. Is d > -1?
True
Suppose -k + 8 = 10. Let i(b) be the second derivative of b**3/6 + b**2 - b. Let m be i(-3). Which is bigger: m or k?
m
Let w be 8/44 + 212/44. Let z be 1/((-2 - w) + -4). Which is smaller: -1 or z?
-1
Suppose 0*k = -k. Suppose k = -b + 3. Let h(a) = -a**2 + 7*a - 8. Let m be h(5). Does m = b?
False
Suppose n - 6 = -23. Let p = -11 - n. Suppose 0 + p = -3*s. Which is smaller: s or -1?
s
Let d(m) = -m**2 + 2*m. Let j be d(0). Which is smaller: -10/17 or j?
-10/17
Let p = 3 + -1. Suppose 0 = u - p. Which is smaller: u or 2/3?
2/3
Let d be (-2)/8 - (-76)/(-16). Let b(v) = -v - 6. Let z be b(d). Is -1 less than z?
False
Let h be (1 + 14)*1*3. Let q be 5/h + 0 + 0. Which is smaller: q or -1?
-1
Let t(v) = -4*v. Let k be t(-1). Let f be 1/(k/((-8)/6)). Let d = 9 - 9. Is f > d?
False
Let v be (-8)/(-36) + 12622/63. Let y = v + -200. Which is greater: y or 2?
2
Suppose 3*p - 6 = k, 2*p = k + 4 - 1. Is p >= 0?
True
Let k be (-2)/6 + 52/(-2). Let y = k - -26. Let a = -28 - -27. Is y equal to a?
False
Let h = -174 + 1220/7. Which is smaller: 43 or h?
h
Let i = 6 - 5. Which is smaller: 4/39 or i?
4/39
Let p be 28/154 + (-146)/440. Is 1 bigger than p?
True
Let h = -1 + 1. Suppose -2*n + 3*n + 6 = 0. Let y be (-46)/110 + n/33. Which is greater: y or h?
h
Suppose 0 = -4*w - 0*w + 40. Which is bigger: w or 0?
w
Let x(g) = 7*g**2 - g - 1. Let c be x(-1). Let r = -5 - -11. Is c at least as big as r?
True
Let d = -14 - -12. Is 1 at most as big as d?
False
Let f be ((-1)/(-1))/((-2)/1). Let s = 284 - 284.03. Which is bigger: s or f?
s
Let r = 26 + -25.8. Which is smaller: -11 or r?
-11
Let j be ((-1)/(-3))/((-5)/(-45)). Suppose j*m = 4*m + 2. Is m > -2/3?
False
Let g be 1 + (-2)/4*0. Let w be ((-64)/952)/(-4)*(-14)/(-6). Do g and w have the same value?
False
Let h = -20 + 19. Do h and 0.17 have different values?
True
Let j = -1/3 + 41/15. Let n = 42 - 39. Is n at least as big as j?
True
Let 