5 - -20). Is -23 greater than or equal to d?
True
Let t be (4 + -6)*(-179)/(-2). Let x = -2867/16 - t. Is -1 > x?
False
Let q = -56.1 + 56. Let f be 2/4 - (-1)/(-6). Do q and f have the same value?
False
Let s = -11/13 - -38/91. Let w be (1 + 1)/(-10 + 12). Which is smaller: s or w?
s
Let r be (-48)/45 - 4/(-10). Suppose 19 = -2*m + 3*s + 2, -2*m - s = -3. Which is greater: r or m?
r
Let x = -3 - -6. Let f = 2 - x. Does 2 = f?
False
Let t(m) = m**3 + 7. Let v(i) = i**2 + 2*i + 3. Let a be v(-2). Suppose 0 = j - a*j. Let k be t(j). Are 7 and k equal?
True
Let y = 73 + -74. Which is greater: y or -2/151?
-2/151
Suppose -536 = 5*b - 121. Is b at most as big as -82?
True
Let p(g) be the first derivative of g + 1 - 2*g**2 - 1/3*g**3. Let m be p(-4). Is m less than or equal to 1/5?
False
Suppose 0 = -2*l - l - 15. Which is smaller: l or -4?
l
Let z = -26 - -25.91. Which is smaller: 0 or z?
z
Let l be 27/36*(7 + -3). Suppose 0 = -2*z - 5 + 11. Are l and z equal?
True
Let t = 0.9 - -4.1. Is -1/3 smaller than t?
True
Let n = -3/1780 - -243887/16020. Let d = n - 15. Let i = -31/2 + 15. Are d and i nonequal?
True
Suppose -7*n + 58 = -5. Is n < 9?
False
Let s = -0.1 + 0. Let x = -18 + 11. Which is smaller: x or s?
x
Let f be (1/2)/(7/2). Which is bigger: 8 or f?
8
Suppose -93 - 187 = 4*p. Let h be 2/(-5) + (-48)/p. Do h and -1 have different values?
True
Let z be 3*1 + (-180)/40. Is z at most -3?
False
Let l(d) = -d**3 - 12*d**2 - 10*d + 13. Let m be l(-11). Suppose -m*n = 4 + 30. Is -16 at least n?
True
Let l(n) be the first derivative of n**4/2 - 4*n**3/3 + 3*n**2/2 - 2*n - 2. Let x be l(2). Let y = x - 3. Are y and 0 unequal?
True
Let x = -4 + 4.02. Let o = -0.98 - x. Is -2/9 at most as big as o?
False
Let l be 14 - (0/(-10))/((-1)/(-1)). Suppose 0 = -p + 5*p + v - 59, -5*p + 4*v + 79 = 0. Which is smaller: p or l?
l
Suppose -q = 5*q - 24. Let b be 1/(-3) - 7/(-3). Which is smaller: q or b?
b
Let y(i) = -i**2 + 29*i - 71. Let k be y(29). Is k <= -71?
True
Suppose 3*q = -0*q + 9. Let v be 0 - 5*q/3. Let y = 0 + v. Is y at least -3?
False
Let x = 8 + -9. Let o be 3/(-9) + 19/39. Is o < x?
False
Let i = 28/5 - 26/5. Let l = 2.3 + -2.52. Let r = l - -0.02. Is r less than or equal to i?
True
Let l = -0.04 - 1.96. Is 0.04 at least l?
True
Let i = -14 - -17. Which is smaller: i or 4?
i
Let w be 1 - (1 - (1 + 1)). Let n(p) = p**3 + 6*p**2 - 6*p + 9. Let r be (-1)/((-2)/(-12)) + -1. Let g be n(r). Do g and w have the same value?
True
Let a be (-1408)/(-4732) - (3 + (-19)/7). Which is bigger: a or 1?
1
Suppose p - 5*j + 29 = 0, 5*j + 0*j = -4*p - 141. Let b be p/51*2/(-18). Is -1 smaller than b?
True
Let l = 3.96 + 0.04. Let n = l + -5. Let t = n + 0. Is t less than 0.2?
True
Let d = 0.42 + -0.42. Is -49 at least as big as d?
False
Let g = 4 + -4. Let f = 4164663/27760 - -67/1735. Let d = f + -150. Which is smaller: d or g?
g
Suppose 8 = -3*k + 23. Suppose 4*h + 0*h + 20 = -4*x, -h + k*x + 19 = 0. Is 1/11 smaller than h?
False
Suppose 4*c - 5*d - 3 = 0, -2*c - 21 = 7*d - 2*d. Do -7/3 and c have the same value?
False
Let r = 0.8 - 0.4. Let h = r - -1.6. Let l be ((-2)/(-3))/(8/(-6)). Which is greater: l or h?
h
Let f = -265.91 + 267. Let w = f - 1.1. Which is greater: w or 0?
0
Let c = -5 - -4. Suppose 5*m + 1 = 6. Which is smaller: c or m?
c
Let a(t) = t**2 + 15*t + 26. Let d be a(-13). Suppose 4*m - 5*m = 3. Let s = m + 23/7. Which is bigger: s or d?
s
Let v(w) = -7*w - 5. Let u be v(-4). Suppose 5*g - 10 = -4*y, -g - u = -4*y - 1. Let s = g - -3. Is s at least as big as -1/4?
True
Let f = 17 - 10. Let z = f + -7. Let h = -0.2 + 0.3. Which is bigger: z or h?
h
Suppose 0 = 6*a - 223 + 67. Are a and 25 equal?
False
Let o be 12/(-9)*12 - 0. Let z = -1 - o. Which is smaller: 16 or z?
z
Let g = 3.2 + -5.2. Let l = 2.7 - 3. Do g and l have the same value?
False
Let m(j) = -j**3 - 2*j**2 - j - 2. Let u be m(-2). Suppose t + u*t = -2. Let g be 2/3*(-9)/(-12). Which is greater: t or g?
g
Let c = 121 - 56. Let f = c - 133/2. Are f and -1 nonequal?
True
Let j = 0.3 - 0.3. Let d = 2 - 3. Let i = d - j. Are -1 and i unequal?
False
Let q(i) = i**3 + 5*i**2 - 5*i + 1. Let b(g) = -g**2 + 4*g - 1. Let w be b(5). Let s be q(w). Is s less than -6?
False
Suppose -5*h = -3*s, -2*h = -4*s + 2*h + 8. Let y = 5 - s. Which is smaller: 1/6 or y?
y
Suppose l - 8 = m, 4*l - 7*m + 2*m - 32 = 0. Which is bigger: l or 9?
9
Let f = 451/10 + -45. Which is smaller: f or -3?
-3
Suppose s + 4*s = 20. Let n = s - 1. Which is greater: n or 4?
4
Suppose -9*x = -4*x + 145. Let l = x - -47. Let z = 124/7 - l. Which is bigger: z or 3?
3
Let p(d) = -d**2 + 2*d - 1. Let b be p(1). Let z be 1/(-3) - 6/9. Is b > z?
True
Let y be 2/(-12) - 21/90. Let f be -2*(-2)/(-10)*(-5)/(-13). Which is smaller: y or f?
y
Let h = 85 - 45. Which is bigger: 39 or h?
h
Let v(k) = -3*k**2 - 10*k - 2. Let r be v(-4). Which is bigger: 1/2 or r?
1/2
Let b = 78.9 - 80. Is -1/2 > b?
True
Let r = 3 - 1. Suppose -6 = 2*g, -r*l - 4*g - 4 = -2. Suppose 13 = -l*k - 2. Which is bigger: -2 or k?
-2
Let t be (-4)/14 + 808/84. Let o = t + -131/15. Is o at least 2?
False
Let b = -37514/31 - -1210. Are -0.2 and b non-equal?
True
Let k be 4*1/(-2) + 25. Suppose -5*y + 3*h + k = 0, -5*h = 3*y - 9 + 2. Which is greater: 3 or y?
y
Suppose o = -5*v - 13, v - 2*v + o = 5. Let d be 4/(-24) + 98/12. Let x be 15/(-3)*d/10. Is v at least x?
True
Suppose 2*n - o + 5 = -0*o, 0 = -n + o - 5. Suppose 0 = 35*b - 37*b. Let j = n - b. Is -1/8 at least j?
False
Let q = 3506/21 + -167. Which is greater: 0 or q?
0
Let s = 2.911 + 0.089. Does -8 = s?
False
Let b = 5.9 + 0.1. Let w = b + -7. Are -2/7 and w unequal?
True
Let c = -13 - -19. Let i = 15 + -9. Is c at least i?
True
Let q = -108 - -72. Let x(b) = 3*b**3 - b**2. Let o be x(1). Let c be 1*q/15 + o. Which is bigger: c or 1?
1
Let k be (1/3)/(9/27). Suppose -8 = -0*u - 4*u. Which is bigger: u or k?
u
Let x = -0.47 - 0.03. Do -1 and x have the same value?
False
Let h be 40/6*(-27)/(-36). Which is bigger: h or 3?
h
Let j = 0.06 - 8.06. Let t = j - -8. Is t at least -1.3?
True
Let s(c) = 4*c**2 + 3*c - 1. Let x be s(-2). Let h be 0/(9/(x/3)). Which is smaller: h or -3/11?
-3/11
Let v be (-5)/3 + 1/(-3). Let a = -1.98 - 0.02. Let l = 3 + a. Which is smaller: v or l?
v
Let o(l) = -l**3 - 5*l**2 - 4*l + 3. Let m be o(-4). Suppose -i = m*i. Suppose 4*h + 4 + 0 = i. Is 3/7 not equal to h?
True
Let k be 3*(12/9 + -1). Which is smaller: k or 4?
k
Let v be -13 + -2 - (-2 - 1). Let x be -2 + (-18)/(v/4). Is x at least 2?
True
Let d(z) be the third derivative of z**5/60 - z**4/8 + 2*z**3/3 - z**2. Let h be d(3). Let p be 45/(-140) - (-3)/h. Which is smaller: p or -1?
-1
Let t(n) = n**2 - 10*n + 7. Let l(g) = -g**2 + 11*g - 8. Let b(u) = -6*l(u) - 7*t(u). Let x(z) = 2*z - 8. Let h be x(6). Let v be b(h). Are -3 and v equal?
False
Suppose 0 = 4*a + 4, m - 2*a = -8 - 2. Let j be 0 + (0 - 8/m). Let f be 0*(-1)/1*1. Is j < f?
False
Suppose 0*f + 5*o = -2*f + 75, 4*o - 72 = -2*f. Let j be (-1)/4 + f/(-40). Let q = 0 + -1. Is q bigger than j?
False
Let i be (2/(-7))/((-45)/63). Which is smaller: i or 1?
i
Let m = -318/7 - -10805/238. Which is smaller: 1 or m?
m
Let l(v) = -2*v + 2. Let t be l(2). Let x be ((-2)/(-14))/((-1)/t). Is -1 <= x?
True
Let b(g) = g - 2. Let h be b(-21). Which is bigger: h or -21?
-21
Let f(q) = -q**2 - q + 1. Let o = -6 - -4. Let d be f(o). Let h = -15.8 - -13.8. Which is smaller: d or h?
h
Suppose 3*j = -j - 28. Do j and -9 have different values?
True
Suppose -w - 3*w - 12 = -2*b, -b = w - 3. Is w != -7?
True
Let a = 11 - 13. Let l = 1 - 1. Which is smaller: l or a?
a
Suppose 3*n - 4*t + 17 = 0, -2*n - 1 - 7 = -2*t. Let w be 40/25 - (-2)/5. Which is greater: n or w?
w
Let n = -1 - -3. Let h = n - 2. Let t = 2 - 1.8. Is h at most as big as t?
True
Let h = -0.165 + 0.065. Is h > 0.076?
False
Suppose 2*k - 12 = -2*k + 4*s, 3*s = 4*k - 12. Suppose k*z + 1 = 13. Is 4 <= z?
True
Let d(h) = h**3 - 8*h**2 + h + 9. Let u be d(9). Let s = u + -695/7. Is s < 2?
True
Let w = -0.51 - -0.23. Is 0 at least w?
True
Let s(u) = -u**2 + 7*u - 7. Let d be s(5). Suppose -n - 10 = -d*n. Which is bigger: 3 or n?
n
Let k be (-8)/7 + 7 + -6. Suppose 2*x + x = 0. Which is bigger: x or k?
x
Let d = 0.48 + 0.02. Let b = 