ose -f*n = -5*n - 160. Is n not equal to 18?
True
Suppose 2*w = -2*h - 68, 4*h + 36 = 5*w - 55. Let m = h - -26. Is m at most -6?
False
Suppose -2*f + 16 = -2*t, 0 = 2*f - 3*t - 2*t - 10. Suppose -f*u = -4*u. Is 6/11 bigger than u?
True
Let a be (3 + 2)/((-6)/42). Do a and -34 have different values?
True
Let g = -49 + 46. Let c be (0/(-2))/(3/g). Let b = 6/23 + -7/115. Is b greater than or equal to c?
True
Let m be ((-2)/(-2))/(5 + -4). Let v = m + -1. Let w = 185 - 1298/7. Does v = w?
False
Suppose 2*h - 16 = -22. Let u be h + 73/12 - (-2 - -5). Is u smaller than 3?
True
Suppose 10*c = 8*c - 3*r + 17, -13 = 2*c - 3*r. Are 2/341 and c equal?
False
Let y(m) = -m**2 - 56*m + 57. Let v be y(-57). Let w be (-2 - -3)*6/(-564). Which is greater: v or w?
v
Let m(r) = r**2 + r + 2. Let f be m(5). Let g be f/(-20)*(-60)/8. Do g and 11 have different values?
True
Let o be 3*(-4)/6 + 4. Suppose 3*l - 1 = -4*q - o, -2*l + 2 = 2*q. Suppose 0 = -l*p - 1 + 6. Is p smaller than 7/6?
True
Let t = -78 - -42. Let p = -35.9 - t. Are p and -22 equal?
False
Let h = 0.326 + -164.326. Which is smaller: h or -1/2?
h
Let i be (-2 - 0) + -5*1. Let t be -2 + 0 + 14/(-2). Let g = t - -1. Which is smaller: g or i?
g
Let g be (-3)/(-15) - (-404)/30. Which is greater: g or 14?
14
Let t(l) = -14*l**3 + 2*l**2 - 4*l + 4. Let y be t(2). Let p be (-6)/27 + 3*(-17)/y. Which is bigger: p or 6?
6
Let z be ((-2)/(-10))/(10/20). Let g = 0.2 + 0. Which is bigger: z or g?
z
Let g = 0.29 - -0.092. Let t = g - -0.018. Is t >= 3?
False
Let v(u) = -u**3 - u**2 + 3*u + 4. Let j be v(4). Let m = j - -257/4. Let s = 2 - 1. Which is bigger: m or s?
s
Let y = -32.91 - -34.5. Let c = 0.09 - y. Let t be 4/10 + 22/(-30). Which is smaller: t or c?
c
Let x(f) be the third derivative of -f**5/30 + 19*f**4/24 - 11*f**3/6 + 8*f**2. Let m be x(9). Let g be m + (-154)/(-26) + -4. Is g smaller than -1?
False
Let m = 622 + -626. Which is smaller: 0 or m?
m
Let s(y) = y + 2. Let l be s(-8). Let j be ((-3)/(-2))/((-9)/l). Let k(b) = 2*b - 1. Let t be k(j). Which is smaller: t or 1/20?
1/20
Let p be (156/(-40) + (-2)/(-5))*-2. Which is smaller: 22/3 or p?
p
Let t = -419.7 + 420. Suppose 2*w + 25 = -5*n, 2*w = -2*n + n - 13. Let z = w + 9. Is z less than or equal to t?
False
Suppose 4*z + 12 = 0, 0*z = 5*d - z - 638. Suppose 0 = 4*g + 3*w + d, 4*g - 3*w + w = -142. Are g and -34 nonequal?
False
Let s(v) = 3*v**3 - 2*v**2 + 1. Let h be s(-1). Let j be (-659)/1781 + h/(-12). Let b = j - 2/137. Which is smaller: -1 or b?
-1
Let i(t) = 2*t**2 + 58*t - 60. Let z be i(1). Is z >= -2/1669?
True
Let p(w) = -w + 5. Let k = 15 + -3. Let d = k - 7. Let x be p(d). Which is greater: -2/3 or x?
x
Let l = -0.34 - -5.34. Let a(p) = -p**3 - 4*p**2 - 3*p - 1. Let g be a(-3). Let f be 3/(-2 + g)*-2. Is l >= f?
True
Suppose -j + 6*j = 265. Let d be 5*10/25 + 52. Is j bigger than d?
False
Let v be (15/(-10))/(-3)*-1. Which is smaller: v or 51?
v
Let z(r) = -55*r**3 + r**2 + 3*r + 1. Let w be z(-1). Let k be (74/72 - (-12)/w)/(-1). Which is smaller: -2 or k?
-2
Let m(p) = -2*p**3 + 12*p**2 + 11*p + 21. Suppose -u - 5*t + 13 = -7*t, -3*u + 2*t + 27 = 0. Let a be m(u). Are 5/31 and a unequal?
True
Let r be 1*(-352)/33*(-18)/(-488). Which is smaller: -1 or r?
-1
Let r be (0 + 3)*((-26)/6 - 0). Let f = r + 19. Which is smaller: f or 8?
f
Suppose 0 = -3*q - 5 - 7. Suppose 2*x + i + 5 = 3*x, i = 2*x - 10. Suppose 11 - 26 = x*z. Do z and q have different values?
True
Let m = 130.26 + -127. Let i = -0.26 + m. Does i = -1/8?
False
Let m = 335 + -392. Which is greater: -58 or m?
m
Let i = 29 - 28.95. Let g(a) = -a**2 - 13*a - 19. Let c be g(-11). Suppose 0 = u, -c*q - 1 = -3*u - 4. Which is smaller: i or q?
i
Suppose 6 = -3*p + 18. Suppose -66 = 3*k - 111. Let d be (-30)/k - (-7)/p. Which is bigger: -10 or d?
d
Let x be 60/(-9)*15/(-10). Let r be (3/9)/(x/(-234)). Is r greater than -7?
False
Let d(m) = -m**3 - 6*m**2 + 2*m + 1. Let r(n) = -4*n**3 - 25*n**2 + 9*n + 5. Let i(v) = -9*d(v) + 2*r(v). Let c be i(-4). Is c greater than 4/51?
True
Let x(g) = 4*g**2 - 4*g - 46. Let y be x(6). Which is bigger: 149/2 or y?
149/2
Let a be (678/(-12256))/((-55)/(-10)). Let t = -1/766 + a. Is 0 smaller than t?
False
Let a = -22 - -12. Let w = -17 - a. Let p = -6 - w. Which is smaller: p or 2/9?
2/9
Let o = 43 + -36.2. Let s = 6.75 - o. Suppose -h + 6 = -4*n + 2*n, -2*h + 9 = -n. Are s and n equal?
False
Let p = -154 + 1693/11. Let g(q) = q**2 + 5*q - 1. Let s be g(-5). Which is smaller: p or s?
s
Let i = 4 - 3. Let b be 15/3*(1 + (-808)/10). Let z be 107/b - (-18)/63. Are z and i equal?
False
Let i = -5/231 - 4/33. Let t = -1293/7 - -185. Which is greater: t or i?
t
Let t = 25 + -30. Let n be 3/(-6)*(2 + 8). Let g be (-5)/(n/(-3)) - 3. Which is greater: t or g?
t
Let k be (-10 - -2)*(-3)/(-78). Let s = 133 + -214. Let m = -82 - s. Is k >= m?
True
Suppose -158 = 5*q - 348. Let c(i) = 6*i**3 - 3*i**2 + 3*i - 3. Let n be c(2). Is n at least as big as q?
True
Let j = -0.24 - -0.32. Let q = -10.08 + j. Let d = -3 + q. Are d and -2 equal?
False
Let l(v) = -2*v - 1. Let c be l(-6). Suppose -3*u - 1 = -2*i - c, 5*u + 20 = -4*i. Which is greater: -4 or i?
-4
Let a be 28/6 - (-3)/9. Suppose a*j + 21 = 51. Suppose j*b - b = 5, -2*c = -2*b + 2. Which is bigger: -5/11 or c?
c
Let x = 49/3 - 16. Let r be (6/10)/3 - 8/(-10). Is r at most as big as x?
False
Suppose -26 = 6*i + 4. Let u be (-88)/1 - -4 - i. Is u at most as big as -2/3?
True
Suppose 4*f = -4*f - 13*f. Is f bigger than 2/589?
False
Let d = 448 - 447.72. Which is smaller: d or -7?
-7
Let i be (-3)/(-42)*38 + -7 + 4. Which is greater: 158 or i?
158
Let r be 5 + 1*(-1 - -1). Let v = 9215 + -18419/2. Which is smaller: r or v?
r
Let q = -284.2 - -319. Let z = q + -35. Are 9 and z nonequal?
True
Let n(l) be the second derivative of -l**5/4 + l**3/3 + l**2/2 - l. Suppose 4 = y, 5*f + 0*f + 2*y = 3. Let x be n(f). Which is smaller: 3 or x?
3
Let c = -161 + 487/3. Let m(d) = -d - 9. Let f be m(-13). Let x = 4 - f. Which is greater: x or c?
c
Suppose -2 - 22 = -4*c. Let y(u) = -5*u + 35. Let m be y(c). Is 9 at most as big as m?
False
Let q(r) = r**3 - 2*r + 1. Suppose -10*b + 4 = -6*b. Let a be q(b). Which is bigger: 2/79 or a?
2/79
Let x(z) = -z + 1. Let j be x(-3). Let l(b) = b**2 - 2*b + 3. Let f be l(j). Let y = f - 10. Do y and 2/25 have different values?
True
Let g(j) = 2*j**2 + 76*j + 77. Let f be g(-37). Let v = 2119/990 + 9/110. Is v > f?
False
Suppose 144*l = 157*l + 13. Which is smaller: l or 31?
l
Let q = 6/125 - -1607/375. Let w(a) = a + 7. Let b be w(-12). Let y = 9 + b. Is y less than or equal to q?
True
Let q(n) = 16*n**2 + 6*n - 5. Let y be q(-12). Let m = -1550 + y. Let a = -25051/37 + m. Which is bigger: 0 or a?
0
Suppose -2*u - d + 2 = -2, -u + 11 = -4*d. Let n be (3/2)/((-2)/(-4)). Let t be 15/6*n/30. Which is greater: t or u?
u
Suppose 4*d - 12 = -2*d. Let w be (-4)/1 + 5 - d/(-6). Suppose 0*l = 5*l. Is l < w?
True
Let m be 27/9 - 2/((-4)/(-2)). Let o be (-180)/5*1*(-1 + m). Is -37 at most o?
True
Let m = -0.0198 + -3.9802. Which is smaller: m or -51?
-51
Let t = 35 + -35. Suppose t = -2*f - 2 + 4. Which is smaller: f or -1/82?
-1/82
Let m = 7 - 9. Let l be (-8)/(-16) - 58/(-4). Suppose -t = l - 12. Which is bigger: m or t?
m
Let u be (0 - -6)*84/36 - 4. Suppose 0*j = -2*o + j - u, 10 = -2*o + 3*j. Does -5 = o?
True
Suppose 0 = 5*n - 1 + 6. Let q be (1 + n)*(-10 + 11). Suppose 4*k + q*k = 0. Is -3/4 at most k?
True
Let m = -21 + 52. Let a = 67 - 36. Are a and m nonequal?
False
Let u = 15 - 16.2. Let k = 27 + -25.8. Let v = u + k. Are -6 and v non-equal?
True
Let r = -35.2872 + -0.0128. Let a = r - -35. Does 0.8 = a?
False
Suppose -n - 8 = 3*n. Let u = -6517 + 45615/7. Which is greater: n or u?
u
Let c = 47 - 48. Let r be 5*1*(-102)/(-15). Let q = -203/6 + r. Which is smaller: c or q?
c
Let s be 3/(-1 + -2)*-7. Let h = -3 - s. Let a = -20 - h. Is -10 smaller than a?
False
Let o(i) = i - 2. Suppose 5*c - 17 = -2. Let b be o(c). Let g be (-99)/(-135) - b/3. Which is smaller: g or -1?
-1
Let w = -1.1 + 1. Suppose -12*q + 1 = 25. Let h be q/(-8) + (-462)/24. Is h < w?
True
Let g = -2288 - -2241. Does -45 = g?
False
Let h be 58/168 - (-5)/(-20). Let b = h + 5/168. Are b and 4 unequal?
True
Let d 