e 3*i + 10 = -2*n, n - 3*n = -4*i - 18. Is n less than or equal to o?
False
Let q = 1 - 1. Let z = -6 - -10. Let x = z - 3.9. Is x less than or equal to q?
False
Let u be (50/24 - 2)/((-27)/(-144)). Is u not equal to -0.12?
True
Let a(g) be the second derivative of -1/20*g**5 + 0 - 3*g**2 - 1/2*g**4 + g - g**3. Let o be a(-5). Is -1/9 > o?
True
Let a = 162/295 + 3/59. Which is bigger: a or 1/3?
a
Let p = -8 + 13. Suppose 0 = p*v + 16 + 19. Let s be v/(-5) + 8/(-20). Which is smaller: -0.2 or s?
-0.2
Let n = 17 + -8. Let d be 2/(-3) + 15/n. Let f be -1*(-1 + 0 + 0). Is f at most d?
True
Let n = -0.1 - 0.1. Let t = 1 + -1.1. Let q = n - t. Which is bigger: 3 or q?
3
Let f = 15 + -23. Let k = 192 + -199.9. Let a = k - f. Is a != 1?
True
Let n = 4.9 + -5. Let s = n + 0.1. Suppose 0 = 3*b + 4 - 1. Is s > b?
True
Suppose 7*m - 11 = 8*m. Which is smaller: m or -9?
m
Suppose 6*s - s = -20. Let u be (-28)/(-6) - s/(-6). Which is greater: 5 or u?
5
Suppose 3 = i + 2*i. Suppose 0*l + l = 0. Is i < l?
False
Let n = 0.9 + -0.3. Let h = 0.8 - n. Is h >= -2/7?
True
Suppose -d - 3*d + 104 = 0. Which is smaller: d or 25?
25
Let a = -0.78 + -0.02. Let n(g) = g**3 + 2*g**2 - 3*g. Let o be n(1). Which is bigger: o or a?
o
Let r = -4.1 - -4. Let c = 8 - 14. Let l = -6 - c. Which is smaller: r or l?
r
Let q = -109/3 - -38. Which is greater: q or 2?
2
Let t be (-3)/1*(-2)/(-3). Let g be (-4)/(-6) - 118/168. Let w = g + 2/7. Which is bigger: w or t?
w
Let b = 0.6 + -0.3. Let z = -2 + 2.1. Let a = -0.2 + z. Is b bigger than a?
True
Let f(b) = -b + 8. Let k be f(7). Let o be k*(3 - (-2)/2). Suppose -3*s - 1 = -o. Which is greater: -1 or s?
s
Suppose -9 = 2*b + b. Let v = b - -5. Are 4 and v equal?
False
Let c be (-7)/(504/27) - (-22)/16. Let d = -29/702 + 3/26. Is c != d?
True
Let x = 3 - 3. Let c = 1 - x. Is -2/17 greater than or equal to c?
False
Let d be (-3005)/45 - 2/6. Let z = d - -67. Are z and 1 unequal?
True
Let k be (-15933)/(-5)*9/837. Let s = k - 171/5. Which is smaller: 0 or s?
0
Let c(r) = -r**2. Let v(f) = -f**2 + 6*f - 5. Let m(a) = -2*c(a) + v(a). Let i be m(-5). Let s = i - -14. Is 5 < s?
False
Let p = 10 - 7. Let n be (-2)/p + (-175)/(-15). Suppose n*o = 14*o + 27. Is o > -8?
False
Suppose -4*q = -4*h + 20, 0*q - 20 = -3*q - 4*h. Let t be q*((-2 - -1) + 0). Let g = -2/257 - 247/1285. Are g and t equal?
False
Let k = 1 - -3. Let r be k*(22/(-12) + 2). Suppose 4 = -0*m + 5*m - s, 3*m + 4*s = -16. Which is smaller: r or m?
m
Let m(c) = -c**3 + 7*c**2 + 8*c - 9. Let p be m(8). Let x(q) = -q**3 - 8*q**2 + 8*q - 7. Let n be x(p). Let f be n/6 + (-2)/(-12). Is 0.3 < f?
True
Let f = 48 + -74. Let x = f + 72. Let n be x/(-14) + (-2)/(-7). Is -4 > n?
False
Let f(x) be the first derivative of 1/3*x**3 + 2*x - 1 - 7/2*x**2. Let w be f(7). Is w less than or equal to 3?
True
Suppose 4*f = -h - 24 - 10, 0 = 2*h + 4. Which is greater: f or -11?
f
Suppose 2*x + 5 = -1. Let l(k) = -2*k - 3. Let o be l(x). Suppose o*w = h - 6, -h + 12 = 3*w + 4*h. Is 0 <= w?
False
Let y = 271 + -189. Is y less than or equal to 81?
False
Suppose o - 15 = 2*d, 3*o + 25 = -3*d + 5*o. Let g = 4 + d. Which is smaller: 0 or g?
g
Let d(a) = 2*a**2 - 76*a + 3. Let i be d(38). Suppose 4*v - 5*y = 2, -6*v + v = 3*y - 21. Let o = v - 0. Is i smaller than o?
False
Suppose -5*c = 4*f - 7*f + 8, 0 = -2*c - 4*f - 24. Let s = -5.7 + 6. Let i = 0.4 - s. Is c at least as big as i?
False
Let k = 1341819/20 - 67112. Let w = k + 89/4. Are 0 and w nonequal?
True
Suppose 32 = 4*s - 0. Suppose 2*z - s = 5*n, -2*z = -n - 0*z. Let y be (-4)/(-3)*n/8. Which is smaller: 1 or y?
y
Let w be (-24)/(-33) - (-4 + 4). Is -1 greater than w?
False
Suppose -2*w + 3*w = -4*v - 47, 0 = 5*v + 4*w + 56. Let f = 12 + v. Which is smaller: 3/4 or f?
f
Let o(g) be the third derivative of g**5/60 - 7*g**4/24 + 2*g**2. Let j be o(5). Let f be -1*(3 - j/(-3)). Is 1 < f?
False
Let l = 133 + -89. Is l greater than or equal to 43?
True
Let k be (3 + (-6)/2)/2. Is -2/21 > k?
False
Let k = -0.09 + -0.91. Which is smaller: k or -8?
-8
Let m(y) = -y**3 + 13*y**2 - 13*y + 19. Let r be m(12). Which is smaller: 20/3 or r?
20/3
Let m(z) = 5*z**3 - 2*z**2 + z. Let c be m(1). Let t = c + 1. Which is bigger: t or 6?
6
Let j = -18 - -39. Let d = -19 + j. Are -1/4 and d non-equal?
True
Suppose 0 = 5*v + 3 + 2. Let j be (v/(-2))/((-3)/(-84)). Let o be (-4)/j + -2 + 2. Is o != 1?
True
Let n be 0 + (3 - 4) - 4/2. Is -20/9 smaller than n?
False
Let o = 1/59 - -55/236. Do -4 and o have the same value?
False
Let l = 5 - 5.3. Let d = 107.93 - 107. Let k = d - -0.07. Is k smaller than l?
False
Let s = 2.7 + -2.73. Is s greater than or equal to 3?
False
Suppose -4*o = 5*k + 52, -k - 8 = -0*k + 2*o. Which is smaller: -13 or k?
-13
Let d be (4/5)/((-3)/(-30)). Let z be 9/(-6)*d/(-6). Is z less than -2/7?
False
Suppose 75*t + 20 = 73*t. Do t and -12 have the same value?
False
Let j be ((-24)/18)/(16/(-12) + 2). Which is greater: 0 or j?
0
Let z = -11 - 11. Which is smaller: -21 or z?
z
Suppose 0 = 3*m - 0*m - 9, -5*t + 5*m = 20. Is -6/5 bigger than t?
False
Suppose 2*m + 5*c + 27 = 0, -5*c = -5*m - 4*c. Which is bigger: 2/73 or m?
2/73
Let u = 0.16 + 0. Let r = -1.16 + u. Is r greater than or equal to -2/3?
False
Let z(k) = -k**2 - 3*k + 11. Let l be z(-5). Is l at most as big as -4/31?
False
Let b = -140/9 - -962/63. Which is bigger: b or -0.07?
-0.07
Let m = -2 - -2. Let l be ((m/(-2))/(-1))/(-2). Which is bigger: -3 or l?
l
Let l = -11 - -21. Do l and 5 have the same value?
False
Let n = -1 + 14. Let o = -38/3 + n. Is 0 greater than o?
False
Suppose 5 + 35 = 5*o. Let w = o - 7. Is -1 equal to w?
False
Let s(k) be the second derivative of k**3/6 - 3*k**2 - 2*k. Let u be s(7). Let m be -4 - (-4)/2 - u. Is -2 not equal to m?
True
Suppose -y + 2*y = 3. Suppose 232 = y*p + p. Let h = 291/5 - p. Which is smaller: h or 1?
h
Let x be (-1)/(-3) + 8/12. Suppose r = -0*r + x. Do r and 0 have different values?
True
Suppose -5*k - x - 10 = 0, 0 = 4*k - 0*x + 2*x + 8. Let o = 3.1 - 3.3. Is k greater than o?
False
Suppose 3*c = -0*q + q - 10, 0 = -4*q - c + 66. Which is smaller: q or 12?
12
Let n be 4/16 - 12/80. Are 0 and n equal?
False
Let w be 1*8*-1 + 0. Let s = w + 3. Suppose 1 = u - 1, 18 = -4*b - 3*u. Which is greater: s or b?
s
Let r be 44/(-3)*(-8 - -11). Is -43 smaller than r?
False
Suppose z = -3 - 2. Suppose -2*g - 5 - 1 = 0. Is g <= z?
False
Let o be ((-12)/(-14))/(2/(-28)). Let q be 6/(-3) - 28/o. Is q at most 0?
False
Let a = -192608786962/7485 - -25732637. Let d = a - -1/499. Which is smaller: d or -1?
-1
Let w(a) = -a**3 - 4*a**2 - a. Let j be w(-4). Suppose -j*k + 5*k = -l - 2, -8 = 5*k + 3*l. Which is smaller: k or 2/49?
k
Let v = -0.09 + 0.05. Let d = v + -0.06. Is -2 > d?
False
Let a = -36 + 35. Is 2/13 at least a?
True
Let f = -3.263 - -0.123. Let b = f + 0.14. Is -3 at most as big as b?
True
Let j = 0 + 5. Which is bigger: j or 1/5?
j
Let g = -1.07 - -1. Let s = 0.07 + g. Which is smaller: -1 or s?
-1
Let v be ((-5)/(-3))/(119/(-51)). Which is smaller: -1 or v?
-1
Let c = 1.08 + -0.08. Which is smaller: -10 or c?
-10
Let c = 40 + -46. Is 1 at least c?
True
Suppose -y + 3*i + 84 = 2*y, -38 = -2*y - 4*i. Are 24 and y nonequal?
True
Let a = 24 + -19. Which is bigger: 0 or a?
a
Let k = -54 + 82. Let w be k*(-2 - 22/(-8)). Let o be w/(-15) + 4/10. Is o <= -1?
True
Let y = 5 - 2. Which is greater: 4/5 or y?
y
Let p be -1 - -1*(-274)/(-6). Let w = p - 45. Which is bigger: 1 or w?
1
Let f = -3.51 - -0.51. Which is smaller: f or -1?
f
Let y(c) = 4*c**2 + c. Let b be y(1). Let w be (-6)/8*(1 - b). Suppose w*x + 16 = -x. Are x and -3 equal?
False
Let i = 84 + -89. Which is bigger: i or 0.1?
0.1
Let y = 162970/81 - 2012. Which is smaller: 0 or y?
y
Let g = -30.8 - -25. Let b = g - -6. Let k = 0 - 0. Is b >= k?
True
Let y be 1827/(-3283) + (-4)/(-7). Which is smaller: 0 or y?
0
Suppose 2*v + 8*v = 0. Is v bigger than -1/36?
True
Suppose -12 = 4*v, -v = i - 2*i - 10. Is i smaller than -13?
False
Let v be 60/20 + 5*-8. Is v smaller than -37?
False
Let t(p) = -p**3 + 6*p**2 - p + 7. Let k be t(6). Suppose -4 = -3*y - k. Let a = 1/63 + 19/126. Which is smaller: y or a?
a
Suppose -3*b - 8 = -2*p, -b + 4*p = 4*b + 16. Suppose 0 = -4*f + 8, -12 = 4*j - 5*f + 30. L