 q, 10 = -2*l - 3*l. Which is smaller: d or -4/5?
d
Let p = 16 - 16.23. Let s = -0.27 + p. Which is smaller: s or 1?
s
Let j(l) = -14*l**2 - 4*l + 1. Let s be j(1). Is -7 at least s?
True
Let t be (-4 + 4)*(-1)/(-2). Suppose -3*s - 2 - 1 = t. Let u be (0 - -1) + (-14)/10. Is s at most as big as u?
True
Let p(b) be the third derivative of b**6/120 + 3*b**5/20 + b**4/24 - b**3 + 5*b**2. Let n be p(-9). Let r = -15 - n. Is -1/7 less than r?
True
Suppose 4*d - 120 = -d. Let a = d + -14. Is 29/3 greater than a?
False
Let z(v) = v**3 - 16*v**2 - 45*v + 52. Let w be z(16). Which is smaller: -669 or w?
-669
Let v be (-8)/(-32)*4/(-1970). Do v and -1 have different values?
True
Let s be 1/(-3) - 10205/(-15). Let j = s + -95. Let h be (-153)/j + 2/(-10). Which is bigger: 0 or h?
0
Let a = 46 + -68. Suppose 4*x - 31 = -3*p, -2 = 2*x + 8. Let g = a + p. Is -6 at most as big as g?
True
Let w = -102 - -97. Does w = -8?
False
Let a = -2596/9 - -480224/1665. Are 1 and a non-equal?
True
Suppose -6*n = -10*n + 52. Let t be 2 + 3 + -6 + n. Let d be (-1)/t*-34 + -2. Is d < 0?
False
Let z(a) = -a**3 - 7*a**2 + 9*a + 11. Let q be z(-8). Let y be 28/q - 3 - (-2)/(-6). Which is bigger: y or 7?
7
Let o be 9*(-1)/(-6)*2/(-6). Let t = 6 - 4. Let w be 2/t*(5 + -3). Is w at least as big as o?
True
Let q = 1/38 - 21/76. Let g = -6 + -7. Let w = 13 + g. Is w greater than q?
True
Suppose -v - 14 = -3*m, -4*v - 5 = -4*m + 19. Suppose -3*o - 41 = 2*j, -4 = -4*j - m*o - 76. Which is bigger: -6 or j?
-6
Let t = 639 + -5109/8. Is t > 0.1?
True
Suppose -2*u + 4*x - 1 = -3*u, -4*u + 24 = -4*x. Let j = -5 + u. Let n be 2 - (152/(-34))/(-2). Is j at most as big as n?
False
Suppose -2*k - 54 = -4*k - 2*x, 0 = -4*k - x + 114. Let b = 5552 - 22323/4. Let a = k + b. Is a < 1?
True
Let m be 2/10 - (-157)/(-835). Let f = 1684/1169 - m. Which is greater: 1 or f?
f
Let d = 3 + 0. Let y = -104 + 104. Suppose -4*u - d*f - 23 = y, 4*f + 3 + 7 = 5*u. Is -2 at most as big as u?
True
Let l = 1411 + -5643/4. Let n be 2/(-7) + 80/(-14). Let t = -12 - n. Which is bigger: t or l?
l
Suppose 106*u = 103*u - 18. Let t(l) = 2*l**3 - 3 + 5*l - l**3 - 4 + 7*l**2. Let g be t(u). Which is smaller: g or -1/6?
g
Suppose 7*z - 4*z - 21 = 0. Let t be -3 + 2 + (-4 - z). Is -13 less than or equal to t?
True
Let u = 1579/7 - 227. Suppose -12 = 5*b - 32. Which is smaller: u or b?
u
Let j = -80.1 + 79.8. Is j less than or equal to 1.5?
True
Suppose 5*l = 2*l - 3150. Let z be 0 + (-8)/60 - (-85)/l. Is z at most as big as 3?
True
Suppose r = 13971 - 3302. Let a = -74478/7 + r. Let o = -29 + a. Does o = 2/7?
True
Let s(z) = 3*z**2 - z + 3. Let t be s(2). Suppose 0 = -n + t + 16. Let a = 29 - n. Which is bigger: a or 2/27?
2/27
Let q(p) = -3*p - 5. Let i(b) = -b**2 - b + 1. Let l be i(-3). Let s be q(l). Suppose -4 = 3*g - s. Is g greater than or equal to -0.2?
True
Suppose -4*y = -y + 6. Let t be (3 + -3)/(y/2). Suppose -3*q - 157 = 5*b, 5*q - 2*q + 12 = t. Is b smaller than -30?
False
Suppose a + 2*a + 2*u = 40, u + 43 = 3*a. Let z = 25 - a. Suppose 0 = -3*b + l - 19, -z = 2*b - 2*l + l. Which is smaller: b or -7?
b
Let u = -517 + 518. Is -64 at most as big as u?
True
Let f be (-2)/(0 + (-2)/(-7)). Suppose 14*g + 70 - 27 = -27. Which is bigger: g or f?
g
Let b = -0.33 - -0.23. Let t = -1 - b. Let z = t - -1.1. Which is smaller: 0.5 or z?
z
Let y be ((-1)/658)/(161/644). Do y and 0 have different values?
True
Suppose 4*q + 97 = 5*b, -b + q + 19 = -0. Is b smaller than 13?
False
Let l be (-4)/8 - (170/4)/(-5). Let c be ((-2)/8)/(0 + 6/l). Is -28 > c?
False
Let p(g) = -g**3 + 6*g**2 - g - 11. Let b be p(5). Let d(h) = h**3 - 2*h**2 + h - 4. Let l be d(3). Do l and b have the same value?
False
Let v be 0*(4 + -3) - 3. Let j = -0.023 - 42.977. Let b = 43.3 + j. Is b less than v?
False
Suppose -7*f + 28 = -0*f. Let o(i) = i**2 - 3*i - 3. Let g be o(f). Do g and -74 have the same value?
False
Let s = -4 + 4. Let q(z) = z**3 - 28. Let k be q(s). Let t = k - -111/4. Are -1/7 and t equal?
False
Let f be 0*(-3 - (-5 + 3)) + 1. Is f greater than 11/78?
True
Let w(l) = 2*l**2 + 11*l - 1. Let d be w(-5). Let i be (-6)/9*d/4. Let y be (1 - -1) + (-4)/3. Is y smaller than i?
True
Let v = 6.5 + -6.457. Which is smaller: -4/11 or v?
-4/11
Suppose -3*x + 8 = 4*w, 4 = -2*x + 4*w - 2*w. Let z = 281 + -1969/7. Does x = z?
False
Let o be (4 - (3 + 0)) + (-6)/3. Which is bigger: o or -33/79?
-33/79
Suppose 0*d + 28 = 4*d. Let c = d + -5. Suppose 3*s = c*s. Which is smaller: s or -0.03?
-0.03
Let j be (-1)/73*(-21)/(-49). Which is greater: j or -1?
j
Let k = 12/89 - -373/534. Let d = 5264 + -5264. Which is smaller: k or d?
d
Let t be (-70)/72 + (5 - 3) + -1. Let k = -40/3 + 13. Does t = k?
False
Let t(s) = s**3 + 7*s**2 + 13*s + 13. Let d be t(-5). Which is bigger: -17 or d?
d
Let n be -1*((-5)/1 + (94 - -4)). Which is bigger: n or -91?
-91
Let q be 43855/(-26166) + (-4)/((-36)/15). Which is greater: q or 1?
1
Let s(c) = -55*c - 88. Let d be s(-3). Which is smaller: d or 78?
d
Let r = -2 - -3. Let h = r - 1. Let q = 3173/6 + -529. Which is smaller: q or h?
q
Let h(c) = 8*c**2 + 14*c + 12. Let p be h(11). Let m be (2/(-4))/((-12)/p). Let f = m + -48. Do f and -1 have the same value?
False
Let d(v) = v**3 - v**2 + v + 10. Let q be d(0). Suppose -y + q = -6*y. Let r(c) = c + 2. Let a be r(y). Is a less than or equal to 2?
True
Let j = -5 - 78. Let u = 120 + j. Are 38 and u nonequal?
True
Let l be (0 + 0)/(-1 - (-1 + 1)). Let p be l/4 + (-92)/(-24) + -3. Which is bigger: p or 1?
1
Let t be (4/(-4674))/((-160)/264). Let l = 9/190 + t. Which is smaller: 0 or l?
0
Let r = -333/5 - -67. Let h = -0.777 - -0.997. Which is greater: r or h?
r
Let b = 33241 + -299155/9. Let w = -3 - -2. Is b equal to w?
False
Suppose -912 = 2*h - 4*g, -3*g + 5 = -4. Is h at least -450?
True
Let i = -196 - -194. Which is smaller: -56 or i?
-56
Suppose 0 = 4*t + n - 18, 20 = 3*t + 7*n - 3*n. Suppose 4 - 8 = t*r. Let s be (((-3)/(-21))/(-1))/r. Do 1 and s have different values?
True
Suppose -77 = -10*f - 7. Suppose 0 = 2*j - 2, 5*q + f = j + j. Which is smaller: q or -3?
-3
Let d(b) = b - 1. Let y(c) = 2. Let v(a) = -2*d(a) - 2*y(a). Let p(x) = -x**3 + 8*x**2 + 5*x + 31. Let f be p(9). Let z be v(f). Are 8 and z equal?
True
Let p(c) = -2*c - 1. Let q be p(-3). Suppose 7*k + q = 2*k. Let j be ((-63)/(-2))/7 - (2 - -3). Are j and k nonequal?
True
Let s be (-115)/(-15) - 1/(-3). Let y be ((-3)/9)/(3/(-9)). Let q be 102/15 + y/5. Is q equal to s?
False
Let x = -35764/3 - -11620. Let t = 297 + x. Is t less than -3?
True
Let u = 152 + -142. Which is smaller: u or 3/8?
3/8
Let q be 2/((-14)/(-10) - 1). Let i be (2/4)/((5/34)/5). Let k(d) = -2*d + 38. Let w be k(i). Is q at most as big as w?
False
Let j be ((-26)/(-351))/((-2)/(-156)). Is -1 smaller than j?
True
Let w(p) = p**3 - 14*p**2 + 1. Let q be w(14). Is -92 less than q?
True
Let g = -16 + 20. Suppose 10*h - 13*h = -51. Suppose -h = o - g. Is -13 equal to o?
True
Let l = -14.7 + -4.3. Let h = l + 21.9. Let u = 3 - h. Which is bigger: u or 5?
5
Let i(t) = 9 + 16*t - 22*t + 4*t**2 - 5*t**2. Let l be i(-7). Suppose -p - p - l*y = -4, 3*y - 6 = p. Is -2 at most as big as p?
True
Let u = -2270 + 2608. Are u and 342 equal?
False
Let j(f) = -8*f + 15. Let m be j(0). Let o = m - 29. Which is smaller: -13 or o?
o
Let q(g) = g**2 - 38*g + 56. Let p be q(37). Which is greater: p or 20?
20
Suppose 10*r = 64 - 94. Is -110/57 at most as big as r?
False
Let p = -218/7 - -30. Is p bigger than -0.1?
False
Let i be (-10)/(-35) - -5*(-1)/(-7). Let j be 3277/33 + 2/6. Let g = j + -100. Which is greater: g or i?
i
Let k be (2 - -1)*(-10)/210. Suppose -5*i - 12 = -5*w - 2, 2*w + 5*i = 4. Which is smaller: w or k?
k
Let y be 3/(140/(-49) - -5). Let m = 20 + -21. Which is smaller: y or m?
m
Suppose 3*o = 3*c + 18, 0*o + 3*o - 2*c - 13 = 0. Which is smaller: 3/254 or o?
3/254
Let t be ((-4)/5)/(10 + -8). Which is smaller: 169 or t?
t
Let q = -1504 + 1503.7. Is -1/4 > q?
True
Let s = 500 - 547. Which is greater: s or 0.3?
0.3
Suppose 4*r + 3*r = 0. Let w(h) = h + 5. Let c be w(r). Suppose 0 = -7*m - c - 2. Which is bigger: -1/4 or m?
-1/4
Suppose -6*v = -12*v - 6. Let j be v*0/(-4) + 4 + -9. Which is greater: j or 0?
0
Let b(r) = r**2 - 12*r + 25. 