2 + 7*m + 5. Suppose -8 = 3*l + 7. Let n be o(l). Which is smaller: n or -2?
n
Let m(z) = -z**2 + 3*z - 188. Let j be m(16). Do j and -396 have the same value?
True
Suppose -5 = s + 4*s. Let z = -625 + 4369/7. Is s smaller than z?
True
Let h = 0 + -2. Let x(s) = 4*s**2 - 3*s. Suppose -5*w - 12 = -17. Let t be x(w). Which is bigger: h or t?
t
Let w = -487 - -388. Suppose -5*u + 66 - 571 = 3*g, 3*g + 113 = -u. Which is smaller: u or w?
w
Let h(q) = -20*q - 19. Let u be h(-4). Are u and 60 equal?
False
Let q(z) = -60*z**3 + z**2 + z - 1. Let g be q(1). Let i = g + 81. Let o be (-1450)/(-70) - (-2)/7. Are i and o non-equal?
True
Let p = 1.65 - 11.86. Let n = p - -0.21. Let v = -10 - n. Does -0.1 = v?
False
Let u = 500442/30535 + -508/31. Which is bigger: u or 0?
u
Let c = -69 + 277/4. Is 15/7 less than or equal to c?
False
Let g = -20 - -20. Let m(b) = -b**2 - 2*b + 2. Let n be m(g). Suppose -1 + n = -u. Is u bigger than -1/8?
False
Suppose 2*y + 4*c = -52, -3*y + 4*c = 26 + 22. Let d = 13 + y. Which is bigger: -8 or d?
d
Suppose 0 = -r - 2*r - 5*n - 64, 0 = r - n + 32. Are -14 and r nonequal?
True
Let k be 3*((-21)/(-7))/9. Suppose 0 = -4*f + 7 + 1. Suppose f*o = 5*o. Which is bigger: k or o?
k
Let o = -96 - -287/3. Suppose 0 = 4*p - p - 54. Which is greater: o or p?
p
Suppose m + 6*x + 11 = 2*x, 0 = -5*m + x + 29. Let y(i) = -i + 2. Let v be y(0). Which is greater: m or v?
m
Let x(l) = l**3 - 2*l - 5 + 5*l**2 - 3 - 4*l. Let z be -3 - 115/35 - (-2)/7. Let u be x(z). Do -8 and u have the same value?
True
Let b = 1315 - 1255. Is b >= 66?
False
Suppose -15*g = -483 - 252. Let l be 0 - 2*(-98)/4. Is g smaller than l?
False
Let q = -167.94 + 168. Let f = 1407/16 - 88. Is f greater than q?
False
Let c = 0.29 + -0.37. Let r = c + -0.16. Let z = -1.24 - r. Do z and 20 have the same value?
False
Let x = 116/121 + -33371/605. Is -53 at most x?
False
Let u = -134 + 138. Let a be 1*(u - ((3 - -43) + -1)). Which is smaller: a or 0?
a
Let s = -17.63 - 0.37. Let h be (-44)/(-12) - (-12)/(-4). Is h smaller than s?
False
Let b = -25 - -39. Let l = 14 - b. Which is smaller: 0.2 or l?
l
Suppose -5*a + 955 = 5*s + 110, -a - 2*s + 170 = 0. Let t be (-54)/a - (-1)/(-4). Suppose 2 = 2*q - 4*q. Do t and q have the same value?
False
Suppose -31 - 5 = -4*o - 5*f, -20 = 5*f. Let x = o + -9. Suppose -3*z + x*z + 14 = 0. Is z not equal to -7?
False
Suppose -2*q + 21 = -41. Let t = q + -36. Is 0 smaller than t?
False
Let v = 0 - 11. Suppose -8*w = w + 144. Let k = w - v. Is -2 not equal to k?
True
Let y(w) = w**3 + 11*w**2 - 11*w + 11. Let i(a) = -3*a + 15. Let m be i(9). Let u be y(m). Let t(c) = c**2 - c - 2. Let v be t(0). Is u <= v?
False
Let t = 0.0564 + 0.0336. Suppose -2*r = -4*f - 2, 4*f = 5*r - r - 12. Suppose f*b = b. Is t less than or equal to b?
False
Let i(f) = -9*f - 53. Let y be i(-15). Do 81 and y have the same value?
False
Let c = -1 - -10. Let m be ((-12)/(-9))/1*c/4. Is m at least 3?
True
Let z be (1/(-2))/(1/(-6)). Suppose -z*d - 3 = -0. Suppose -5*l + 7*l + 4*u = -8, -5*u = 3*l + 11. Are d and l nonequal?
True
Let t(j) = -5*j - 4. Let f be t(-3). Let s = f + -12. Which is greater: -3/17 or s?
-3/17
Suppose -5*j + 8 = -3*r + 26, 0 = -5*r + 3*j + 14. Let w be (21/(-266))/(6*r). Which is smaller: 1 or w?
w
Let n be -15*5/15*-1. Suppose -n*k = -7*k + 72. Which is smaller: 34 or k?
34
Let h = 41 - 114. Let v = 77.1 + h. Let d = v - 1.1. Which is greater: -2/7 or d?
d
Let p(v) = -v + 9. Let i be p(9). Let k = 1/626 - 8147/5634. Which is smaller: k or i?
k
Let c = -863 - -787. Which is bigger: -4 or c?
-4
Let b = -0.016 + -0.144. Is -0.4 != b?
True
Let c be (126 - (-4 + 7))*-2. Which is bigger: -245 or c?
-245
Let t(d) = 9*d**2 - 24*d + 77. Let u be t(4). Which is smaller: u or 123?
123
Let z(x) = 2*x + 21. Let l be z(-9). Let h(g) = 38*g**2 + g - 32*g**2 - g**l + 4 + 9. Let n be h(6). Is n bigger than 20?
False
Let j = 433/1540 + 1/220. Is 2/43 less than or equal to j?
True
Let u = -48 + 64. Suppose -5*n - 20 = -x, 2*x = -4*n + 7*x - u. Which is bigger: -1/4 or n?
-1/4
Let v be 9 + 76/(-21) - 3*1. Is v > 3?
False
Let a = 158 - 153.9. Does a = -0.06?
False
Let m = -5.06 + 4.96. Which is bigger: m or -1?
m
Let i be 0/20 + (-6)/(-27). Which is smaller: i or -1/9?
-1/9
Suppose -3*r - 5*u = -4*r - 16, 0 = -6*r + 4*u - 18. Which is smaller: -4/417 or r?
r
Let x = 204 + 41. Let j be ((-4)/5)/(-2) - x/175. Is j <= 12?
True
Let s = 832 + -57406/69. Which is greater: s or 1?
1
Let a = 42 - 39. Suppose -a*y + 1 = 4. Which is smaller: 1 or y?
y
Let o be 3*(14/6 + -2). Let i be ((-120)/(-16))/(o/(-2)). Let n be (18/i)/((-9)/30). Which is smaller: 5 or n?
n
Let p(b) = -7*b - 6. Let m be p(-4). Let w be m/5 - 6/15. Suppose w*n - 7 = -0*n + 5*t, -5*t + 2 = -n. Is n < 4?
True
Let o be 1012/(-161) - ((-10)/(-14) - 1). Let v be 0 + 26 - 6*o/(-18). Is v at least as big as 22?
True
Let h(t) = -2*t**3 - 10*t**2 - 8*t. Let j be h(-4). Which is smaller: j or -8/83?
-8/83
Let i = 223 + -2009/9. Is 7 at most as big as i?
False
Let z(q) = -q**3 + 4*q**2 + 4*q + 6. Let f be z(5). Suppose t = -4 + 9. Suppose 0 = l - t*l + 12. Is f equal to l?
False
Let o(a) = -3*a - 13. Let x be o(-4). Let h = 172 + -116. Let w be 1/(-4) - (-21)/h. Which is bigger: x or w?
w
Let x = -426 + 409. Is x equal to 0.2?
False
Let s = 15623/17149 - 3/1559. Which is smaller: 5 or s?
s
Let g = 90 + -89. Let j be 5/(-10)*g*83. Which is greater: -41 or j?
-41
Let g(v) = 2*v + 25. Let m be g(-12). Let h be 12/(-30) + m/15. Is h greater than or equal to 1?
False
Let o(d) be the third derivative of d**6/120 - 2*d**5/15 + 3*d**4/8 - 7*d**3/6 - 14*d**2. Let j be o(7). Which is smaller: j or 0?
0
Let m = -140 - -98. Let q = 167/4 + m. Is 0 at most as big as q?
False
Let a(y) = -3*y - 1. Suppose 6*w + 6 = -6. Let p be a(w). Is 3 greater than or equal to p?
False
Let y(b) = -38*b - 126. Let g be y(-3). Which is smaller: -3 or g?
g
Let g = 341 - 994. Which is greater: g or -651?
-651
Suppose 5*i - i = 2*i. Suppose 3*n - 18 = g + 2*g, -5*n + g + 22 = i. Are 4 and n equal?
True
Let y(m) = m**2 + m - 4. Let h be y(-4). Suppose -27 = -h*t + 21. Is t > 19/4?
True
Let t be 24/(-49)*7084/(-22). Let z = 158 - t. Which is smaller: 15 or z?
z
Let s be 75/(-525) + (-4)/(-126). Let i be 0*(-1)/(2 + -1). Suppose 5*l - 5 = -i. Is l at least as big as s?
True
Let o = -0.09 + 1.29. Let u = -2.048 + 0.048. Which is smaller: o or u?
u
Let s be ((-6)/(-108))/((-4)/(-16)). Which is smaller: -4 or s?
-4
Let h = -617 + 616.511. Let l = -0.089 - h. Which is greater: l or 2/3?
2/3
Let h(j) = 56*j**3 - 2*j**2 + j + 1. Let u be h(1). Suppose -3*f - 10 = u. Is f greater than or equal to -21?
False
Let i(v) = -v**2 + 12*v - 8. Let h = -2 - -13. Let c be i(h). Suppose -2*m + c = -33. Is 18 at least as big as m?
True
Let d(z) be the first derivative of -5*z**2 + 71*z - 3. Let y be d(7). Which is bigger: 3/55 or y?
y
Let q be (-3)/(-3)*-3 + (-50)/(-15). Which is smaller: q or -21/8?
-21/8
Suppose p = -2*y - 22, 24 = 5*p + 2*y + 142. Let m = -3/26 + 61/78. Is m at least as big as p?
True
Let m = 386 - 385.9. Do m and -419 have the same value?
False
Let o(l) = -6*l**2 + 6*l - 1. Let r be o(-1). Let c = 12 + r. Are -1 and c equal?
True
Let v = -47 - -50.6. Let d = v - 3.7. Which is smaller: d or -16?
-16
Let b be 6/15 + (-366)/40. Are -9 and b non-equal?
True
Let u(r) = -5*r**2 - 11*r + 21. Let j be u(-5). Is -149/3 less than or equal to j?
True
Let b be ((-128)/20)/(2/10). Let s = -48 + b. Are s and -81 unequal?
True
Let x be (-2)/(1 - (-6)/(-3)). Let b = 0.28 - 3.08. Let u = -3.6 - b. Which is smaller: x or u?
u
Suppose 25*y = 18*y + 161. Suppose -3*j + p + p = -82, -2*j + 68 = -4*p. Which is smaller: y or j?
y
Let p(b) = 2*b**3 + 3*b**2 + b - 1. Let f be p(-2). Suppose 4*s = 5*s + 12. Let y(j) = j + 6. Let c be y(s). Which is bigger: f or c?
c
Let h(y) = 3*y + 92. Let w be h(-18). Is w at most 50?
True
Let f = -567 - -566. Which is smaller: 99/2 or f?
f
Let p be (100/(-15))/(2/36). Is -119 >= p?
True
Let j = -309 + 304. Which is smaller: -120 or j?
-120
Let b(c) = -4 - 4*c + 5*c + 0*c. Let q be (-12)/((63/6)/7). Let z be b(q). Is z less than or equal to -12?
True
Let r = 16 - -46. Is -2 bigger than r?
False
Let t be (-61)/(-20)*(-22)/(-11). Let p = 136