3*d - 2 - 2*d**2 + 0*d. Let m be o(l). Is -2 less than m?
False
Let s be -5*(-2)/30 - 44/6. Is -15/2 at most s?
True
Let n(l) = 11*l. Let q be n(5). Let t = q - 441/8. Let z(w) = -w**3 - 5*w**2 + 1. Let j be z(-5). Which is bigger: t or j?
j
Let r be (-505)/(-35) + 3*(-3)/21. Which is greater: 16 or r?
16
Let i = -0.2 - -0.2. Let w = i + 1. Let m = 43/33 + -18/11. Which is bigger: w or m?
w
Let b = -91 + 93. Let r = 0.07 - 3.07. Which is bigger: b or r?
b
Let w = -7915/39 + 203. Is 0 at most as big as w?
True
Let o be (2/(-94))/((-14)/4). Let q = o - -311/2961. Which is smaller: -1 or q?
-1
Let t(y) = y**2 - 8*y + 1. Let l be t(8). Suppose -k + 0*k = l. Let a = k - -5/3. Is a at most as big as 1?
True
Suppose 3*d = -2*d + 40. Let o be ((-10)/(-4))/(4/d). Suppose 4*c = o*c + 4. Is -4 bigger than c?
False
Let l = -199451/89 - -2241. Let d = l - -93/178. Suppose -2*k = -5*k + 6. Is d at least k?
False
Let q = 4 - 16. Let w = -21 - q. Let m = w + 8.98. Which is smaller: -0.1 or m?
-0.1
Suppose -w - w + 2*p + 100 = 0, 5*w - 230 = p. Suppose 4*v - w = 2*c - 7, 3*c = 4*v - 43. Let m = 8 - 2. Is v <= m?
False
Let y be 2 - -24*4/(-8). Is 1 at most as big as y?
False
Let g = 2/23 + -73/46. Let w = -2 - -3. Let a = w - 2. Which is greater: a or g?
a
Let c = 13 - 9.8. Let l = c - 3. Which is smaller: -0.3 or l?
-0.3
Let j = -15 - -10. Let s = j + 5.4. Which is bigger: s or 1?
1
Suppose -5*z + 6 = -2*z. Let b be z/(-6) + 20/6. Let h be 20/(-12) - 1/b. Is h greater than or equal to -2?
True
Let p = -19 + 18. Is 7 not equal to p?
True
Let r = -5/12 + 1/6. Suppose c - 2*c = 0. Suppose c = m + 4, 9 = -5*u - m. Which is smaller: u or r?
u
Let f be -3 + (-34)/22 + 4. Is f equal to 0?
False
Let u(v) = -4*v**3 - v**2 - v - 1. Let w be u(-1). Suppose 0 = -w*i + 6 - 0. Suppose -i*q - 4 = 2*q. Do 0 and q have the same value?
False
Suppose o - 2*o = 4*y, 0 = 5*o - 20. Which is bigger: 0 or y?
0
Let o be ((-45)/(-1092))/((-1)/10). Let z = 33/26 + o. Which is smaller: z or 0?
0
Let s = 22/17 - 205/119. Is 0 not equal to s?
True
Let b(c) be the third derivative of -c**5/60 + c**4/8 - c**3/6 - c**2. Suppose 34*r = 37*r - 9. Let x be b(r). Which is smaller: -2 or x?
-2
Let a = -0.21 - -5.21. Which is smaller: -10 or a?
-10
Let j = 0.7 - 0.61. Let r = j + -0.19. Is r > 4/3?
False
Let t(x) = x**3 + 6*x**2 + 7*x - 5. Let w be t(-4). Which is bigger: 2/83 or w?
2/83
Let q be -12 + -4 + 2 + 0/2. Which is greater: -12 or q?
-12
Suppose 2*u + 6*q - 20 = 2*q, u - 4*q = -20. Let y be (u + -3 + 4)*3. Are 3 and y equal?
True
Let j = -1.58 + 0.18. Is j at most as big as 0?
True
Let j be (-4 + 3)*(0 - 2). Suppose 0 = 3*f - 0*f - 4*g - 21, -2*f + j*g + 12 = 0. Suppose 2*m = -f - 3. Which is greater: -4 or m?
m
Let s = -6/29 + -127/87. Is s less than or equal to 1?
True
Let d = 0.34 + -0.22. Which is greater: 2/3 or d?
2/3
Let u(d) = d**3 + 15*d**2 - d - 10. Let y be u(-15). Which is smaller: 17/3 or y?
y
Suppose 4*z + 4*p - 4 = 0, 3*z - 5 = -2*z + 2*p. Let q be 4/6 - z/3. Let i = -0.2 - -0.2. Is q at least i?
True
Let i = 0 + -7. Let o = i + 6. Is 1/12 < o?
False
Let w = 0.2 + 0. Let s = -2/921 + -2749/6447. Let t = -2/21 - s. Which is greater: w or t?
t
Let b = -684 + 12992/19. Which is bigger: -1 or b?
b
Suppose -2*d + 9 = d. Suppose 4*y + 1 = d*y. Which is smaller: 2/15 or y?
y
Let u be (4 + 2)/(1/(-3)). Let j be (-1354)/u + (-4)/18. Let s be (j/27 - 0) + -3. Is s less than -0.1?
True
Suppose -d = 3*q - 61, 0 = -q + 3*q. Is d greater than or equal to 61?
True
Let y = 38 + -25. Let s = y + -10. Are 3 and s unequal?
False
Let n = -3.1 - -0.5. Let o = n + -0.4. Do o and -1/4 have the same value?
False
Let q(r) = r**3 + 3*r**2 - 6*r - 6. Let f be q(-4). Let l be ((-2)/f)/((-2)/(-6)). Let m(j) = -j**2 - 9*j - 10. Let d be m(-8). Is l bigger than d?
False
Let t = -15.4 - -1.4. Let u = t - -13. Let c(r) = -5*r + 1. Let f be c(-1). Is f not equal to u?
True
Let w(q) = -q**3 + 4*q**2. Let s be w(4). Suppose 0 = -s*f - f + 12. Let x be (f/(-24))/((-23)/(-4)). Is x less than -0.1?
False
Let m = -12 - -19. Suppose -3*a + 20 = -m*a. Let i be (0 - a)*2/(-2). Is i equal to -4?
False
Suppose -2*w + 18 = -4*v, v - 4*w + 25 - 3 = 0. Let n = -204 - -1011/5. Are v and n nonequal?
True
Let l(r) = -r**3 + 3*r**2 - 2*r - 2. Let w be l(2). Let p be 0 - ((-27)/(-12) + w). Is p bigger than 1?
False
Let s = -2.1 + 2. Let v = -1/193 - 383/579. Is s bigger than v?
True
Let s(p) = -p**2 - 8*p - 2. Let w be s(-8). Are w and -9/7 equal?
False
Let z(a) = a + 14. Let j(d) = -d - 15. Let x(i) = 5*j(i) + 6*z(i). Let q be x(-4). Suppose -4*l = -q*b - 8 - 14, -16 = -2*l + 5*b. Is 2 != l?
True
Let m = -1640/9 - -182. Let g = m + 7/18. Is -1 at most as big as g?
True
Let m(f) = -f**3 + f**2 + 2*f. Let b be m(2). Which is bigger: b or -4/13?
b
Suppose 2*p = -3*b - 1, -2*b + 7 = b + 4*p. Let h be b/(-6)*(-4)/2. Is -1 < h?
False
Suppose -3*d + 24 = 2*p, 0 = 3*p - 4*d - d + 2. Suppose p*c - 10*c = 4. Let y = 3/10 - 1/2. Which is greater: c or y?
y
Let p = -3 - -2. Let c be (0 - 2*p)*2. Suppose 2*o = -2*o + v - 9, c*v = -3*o - 2. Is o less than or equal to 0?
True
Let y(b) = b**3 - b**2 - 1. Let p(j) = 3*j**3 - 4*j**2 - 2*j - 5. Let s(a) = p(a) - 2*y(a). Let d be s(3). Are d and 4/3 non-equal?
True
Suppose y = 4*q - 17, -4*q + 9*q - y = 22. Suppose -3*j + 0*j + 57 = -4*x, 2*x + 39 = q*j. Do x and -12 have the same value?
True
Suppose 25 = -2*q + q + 5*g, 5*q - 4*g = -20. Which is bigger: q or -3/11?
q
Suppose 3*m = 4*h - 4, -5*m = 5*h + 1 - 41. Suppose -z = 5*j + 18, m*z = -5*j + j + 8. Suppose t + 2 - z = 0. Which is smaller: t or -1?
-1
Let a = 10 + -29/3. Let x be (-1)/2*4/7. Which is smaller: a or x?
x
Let g = 0.73 + 0.17. Let p = g - -0.1. Let r = -2/2415 - -2423/9660. Is r at least p?
False
Let i = -29/2 - -10. Which is greater: -6 or i?
i
Suppose -3 - 6 = -3*l. Let t(o) = o**2 + o + 1. Let y be t(0). Which is bigger: y or l?
l
Let b = 5 + -9. Is -1/2 smaller than b?
False
Let k = -5 + 8. Suppose -u + k = 2*u. Let q be 5/(-7)*(-2)/(-5). Is u < q?
False
Let z be -2*1/(-1) - 8. Let s = -2/25 - 44/75. Which is greater: s or z?
s
Suppose -3*o - 3*y + 3 = 0, 5*o - 3*y - 3 = -6. Which is smaller: -5/7 or o?
-5/7
Suppose -5*q + 5*o - 16 = -q, -4*o + 20 = 4*q. Which is smaller: q or -3?
-3
Let b be 6755/154*4/65. Let p = 28/11 - b. Let g(h) = h**3 + 3*h**2 - 4*h. Let n be g(-4). Is p smaller than n?
True
Let o = 69 - 64. Which is smaller: o or 10?
o
Let a = -0.018 - -0.358. Which is smaller: 1/4 or a?
1/4
Let p = 453/5 - 91. Let i = 0 - 0.2. Is p < i?
True
Let w(n) = n**2 - 5*n + 4. Let s be w(5). Suppose 0*q - 4 = -s*q. Suppose p = -3, -m + 6*m - 3*p = 4. Is m at most q?
True
Let k be (2/(-3))/(11/3). Which is greater: -1 or k?
k
Let v = 0.83 - -0.17. Is v less than 0.4?
False
Let v(h) = -2*h - 2. Let l be v(-2). Let w = -13/84 + -2/21. Are w and l non-equal?
True
Let l = -115 - -115. Is 64 at least l?
True
Let h be -1 - -5 - ((-240)/(-22) - 8). Is 2 less than h?
False
Let q be 2/10*1*(-6 + 5). Suppose 3*l + l - 4 = 0. Which is greater: q or l?
l
Let z = -90/3277 - 453120/1399279. Let i = z - -4/61. Is 1 > i?
True
Let x(n) = n - 19. Let k be x(9). Let s(u) be the first derivative of u**3/3 + 11*u**2/2 + 14*u + 3. Let l be s(k). Which is smaller: l or 6?
l
Suppose -v - 3*v + 16 = q, q = -5*v + 19. Is q <= 1?
False
Let h be -1 + (2/(-3))/(-1). Suppose -g - 3*d = 15, -3*g = 3*d - 2*d + 5. Is g greater than h?
True
Let j be (4 - -1)*6/(-22). Let k = -116/77 - j. Let p = -470 + 471. Are p and k nonequal?
True
Suppose -2*o + 6 = 14. Is -8/3 at most as big as o?
False
Let w be 1/(-3) - 273/(-126). Do 3 and w have the same value?
False
Let x(j) = -4*j + 1. Let d be x(-3). Let t = d - 14. Let z = -1 - -2. Is z less than or equal to t?
False
Suppose 5*v = 8 + 7. Let k = 4 - v. Is k equal to -1/7?
False
Let v be -2 + 10/3 + -1. Let z = -2/15 + v. Let q be (-1)/(1 + (1 - 1)). Is z smaller than q?
False
Suppose p + 24 = -5*f, -2*f - 11 = 4*p + 13. Which is smaller: f or -33/10?
f
Let u = -3 + 3.1. Let a be (-2)/9 - (-2)/(-72). Which is smaller: a or u?
a
Let y = 61/7 + -9. Let j be (0 - -1)*(-4 + 2). Let p be j/(-3)*(-30)/20. Are y and p equal?
False
Suppose 0*d = -3*a + 4*d - 21, -5*d - 48 = 3*a. Let u = 2 - 1. Is a at least as big as 