ppose 3*n - 44 = -4*a, a - 16 = -n - 0*a. Let d = n + -35. Is -16 less than or equal to d?
True
Suppose -21 - 3 = -3*l, 0 = 5*v + 3*l - 29. Let u = 89/273 - 18/91. Which is bigger: u or v?
v
Let s = 2.1792 - 0.1292. Which is smaller: s or 0.3?
0.3
Let d = 2/1305 - -6511/9135. Which is smaller: 3 or d?
d
Let v(p) be the second derivative of -p**5/20 - p**4/4 - p**3/6 + p**2/2 + 2*p. Let b be v(-2). Let a be (-5)/20 + 4/((-64)/(-10)). Is b at least a?
False
Let v = -82 + 57. Let s = v - -24.9. Let u = 1.43 - -0.27. Is u < s?
False
Let j be 3*2*(-21)/(-7). Let m = j - 7. Suppose -6*d + 5*b = -3*d + m, 20 = 5*b. Which is greater: d or 5?
5
Suppose 16*d - 5*d + 671 = 0. Let w = 82 + d. Which is smaller: 20 or w?
20
Suppose 3*x = 2*f - 2, 4*f = -5*x + f + 3. Suppose 0 = 4*r - d + 14, -d = 3*r - x + 7. Is -3 at most as big as r?
True
Let z(s) be the first derivative of s**3/3 - 5*s**2/2 + 3*s + 14. Let c be z(4). Which is bigger: 0.3 or c?
0.3
Let r = 20 - 13. Let f = 0.5431 - 2.5431. Which is smaller: f or r?
f
Let a be 3*((-6)/12)/1*230. Which is greater: a or -347?
a
Let n(a) = 2*a**2 - 99*a - 152. Let c be n(51). Which is greater: 1/1093 or c?
c
Let z = -0.281 - -0.2. Are -0.1 and z equal?
False
Suppose -116 = -8*l + 28. Let c be (-2996)/(-126) + 4/l. Suppose 11*n + c = 7*n. Which is greater: n or -7?
n
Let a = -1904 - -1902. Is a at most -298?
False
Let z(u) = -2*u + 4. Let h be 5/((-10)/(-38)) - 2. Let a be z(h). Do a and -29 have different values?
True
Suppose 4*p + 110 = 9*p. Let w(c) = -8*c - 5 - 5 + 7. Let f be w(-3). Which is smaller: p or f?
f
Let v be (-1)/(4/(-6))*(4 - -26). Which is greater: 1/2 or v?
v
Let p = 73 + -71. Suppose 67 = v - p*j, -2*v - 202 = -5*v + 5*j. Is v bigger than -1/4?
True
Let k be ((1*-1)/((-20)/(-7220)))/(-1). Are k and 361 unequal?
False
Let g be 4 + (-1 - (-3 + 1)). Suppose f - 2 = -g. Is f greater than or equal to -2?
False
Let h = 15 + -23. Let x be (30/(-4))/((-3)/h). Let i = x - -14. Is i greater than -7?
True
Let r be (-1749)/12 + (-15)/(-20). Let a be 3*r/(-75) - 4. Is a > 0?
True
Let k(g) = 7 - 14*g + 25*g - 12*g. Let b be k(7). Is b != 4?
True
Let b = 2/105819 - -17636494/317457. Which is bigger: 56 or b?
56
Let s(r) = -r**3 + 5*r**2 + 5*r - 3. Let z be s(6). Let x be (6/(-3))/((-20)/(-82)). Which is smaller: z or x?
z
Let z = 546/5 + -517/5. Is z not equal to 5?
True
Suppose -m - 19 = -15. Let l be -2*4/m + -4. Is -8/9 < l?
False
Suppose -z = -6*z + 2*i - 18, -5*z + i - 14 = 0. Let l(m) = -m**2 + 14*m - 38. Let d be l(11). Let x be (-36)/(-15) - z/d. Does 2 = x?
True
Let w = -30 - -30.1. Let j = -47 - -31. Let v = j - -10. Is v < w?
True
Let q be (-2 - 7/(-3))/((-32)/1584). Which is smaller: -17 or q?
-17
Let c = -1015 - -3043/3. Let o = 565 - 9047/16. Is o less than or equal to c?
False
Let q = 2419 + -2420. Which is greater: -17/14 or q?
q
Let q be (14 + 4)/((-66)/(-4)) + -1. Let c be (-92)/28 + (-2)/(-7). Let g = -4 - c. Are g and q unequal?
True
Let b = -4641 - -22943/5. Is -52 greater than b?
True
Let m(x) = -269*x + 3. Let a be m(4). Let t = a - -54721/51. Is 0 greater than t?
True
Suppose 2*f + o = -142, -6*o + 2*o - 223 = 3*f. Let k be 6/(-9) - 40/f. Which is smaller: k or -1?
-1
Let m = 17 - 43. Let t = -25.99 - m. Is t smaller than 0.2?
True
Let j(p) = 0*p**3 - 2*p**3 - 6*p**2 + p**3 + 8 + 5*p. Let c be j(-6). Let m be c/3 + 4/(-6). Is -8 > m?
False
Let a be (-6)/(-33) - (-1 + (-708)/(-627)). Which is bigger: 0 or a?
a
Let h be (11/3)/(154/33). Let v be 3/(-9)*(-36)/14. Let x = h - v. Is 0 >= x?
True
Let u = -10 + 9. Let o = -803 - -802.44. Which is bigger: u or o?
o
Let g(b) = b**3 + 7*b**2 + 2*b - 13. Let v = -29 - -22. Let l be g(v). Does l = -27?
True
Let c = -237 + 1186/5. Is -22/7 bigger than c?
False
Let y(c) = -c**3 + c - 33. Let j be y(0). Let w(t) = 17*t - 187. Let b be w(9). Is b at least as big as j?
False
Let c(h) = 31*h + 2. Let o be c(-1). Let b = o - -27. Let l be b - (-2)/(-4) - 0. Do -4 and l have different values?
True
Let c = -1/206 - -421/1854. Let u be 3 - 1 - (-2 - 0). Let v be (60/(-105))/(u/14). Which is smaller: v or c?
v
Let l = 1254 - 1147.1. Let s = -107 + l. Is s not equal to -35?
True
Let s be (-10)/25 + 186/(-10). Let n be ((-2)/(-4))/(20/(-760)). Is s less than or equal to n?
True
Let w = 472.078 + -472. Which is smaller: w or -1?
-1
Let x = -397/24 + 53/3. Let s be -2 - (-2 - 2 - (1 - 2)). Which is smaller: x or s?
s
Let v be (-4)/(-30)*18/8. Suppose -2*k - 137 = 23. Let w be ((-6)/(-10))/((-72)/k). Which is bigger: w or v?
w
Let j = -54.4 + 52.4. Are j and -95 non-equal?
True
Let t(g) = -3*g - 28. Let u be t(12). Do -64 and u have the same value?
True
Let h = 3/2 + -5. Let t = 2 + h. Is -2 at most as big as t?
True
Let q(r) = 13*r**2 + 6*r - 9. Let l be q(3). Let j be 1 + (2 + l)/(-1). Is -127 at most j?
True
Suppose -30 + 45 = -15*y. Which is smaller: y or -1/293?
y
Let r be (-119)/(-2) + 6/12. Suppose 0*p = 4*p - r. Let h = p + -21. Which is bigger: h or -9?
h
Let z = 0.5 - 8.5. Let m = 125 - 87. Let v = 416/11 - m. Which is smaller: v or z?
z
Suppose 0 = -2*w - 0*w. Let c = w + 1. Let x = -1979/18 + 110. Is x less than c?
True
Suppose 16 = -4*p - 8. Let k be (-4)/7*(-35)/p. Suppose -2*r - 3*r - 15 = 0. Which is greater: r or k?
r
Suppose 4*h + 120 = -4*m - 0*h, -3*m - 130 = -5*h. Let p = 35 + m. Let k be (-38)/(-14) - 1*2. Which is bigger: k or p?
k
Let c = 932 - 933. Let f be ((-1)/8)/((-2)/(-28)). Which is greater: c or f?
c
Let x(n) = 4*n**3 - 51*n**2 - 14*n + 22. Let g be x(13). Is -2 > g?
False
Suppose 11*k - 6027 = -2210. Let x = -12147/35 + k. Which is bigger: x or -1?
x
Suppose 0 = -9*q - 1 + 37. Suppose q*j + 16 = -3*o + 7*o, -j + 5 = 2*o. Is j less than or equal to -2/21?
True
Let s = 9 - 18. Let h = s - -24. Let i = h + -14. Is 2 != i?
True
Suppose -5*z + s + 2 - 12 = 0, -3*z - 5*s - 6 = 0. Suppose -4*u = -6*u, -l - 2*u = -1. Let h be (l/(-5))/((-4)/(-10)). Which is bigger: z or h?
h
Suppose -6*k + k = 0. Suppose k = -u - 14 - 5. Is u bigger than -20?
True
Suppose -25 = 5*i, 5*i = 5*d + 8*i - 15. Let p be 42/(-4)*2/(-3). Which is smaller: d or p?
d
Let w be (-27)/(-21) + -6*12/252. Which is greater: -2/2445 or w?
w
Let x(d) = -2*d**3 - 4*d**2 - 3*d - 1. Let i = 15 + -18. Let p be x(i). Let t = -23 + p. Which is smaller: 4 or t?
t
Let f(k) = -k**3 - 9*k**2 - 8*k - 4. Let p(w) = w**3 + 10*w**2 + 8*w + 4. Let s(y) = 4*f(y) + 3*p(y). Let z be s(-4). Let b = 1 + -4. Which is greater: z or b?
b
Let u be (-2)/2 + (2 - 1). Suppose 5*o + 45 + 20 = u. Let x = o + 7. Is -7 equal to x?
False
Let a = -205 + 240. Is a smaller than 35?
False
Let b = -103 - -111. Suppose 0 = 4*c + j - 25, -4*j + b = c - 17. Is 8 greater than c?
True
Let n be (0 - 244/(-44)) + 1*-2. Are n and 5 non-equal?
True
Let j be (8/6564)/(-2*3/(-18)). Which is greater: j or -1?
j
Let o = 3134 + -3053. Which is smaller: 83 or o?
o
Let s = -4 + 6. Let c = 3 - 114. Let o = -544/5 - c. Which is smaller: o or s?
s
Let y = 0.0579 - -0.0421. Is y at least -10/81?
True
Let c be ((-20)/(-45))/((-4)/(-6)). Let z = 0.47 - 0.5. Let g = -0.47 + z. Which is smaller: c or g?
g
Suppose v - 1 = 3*z + z, 5*z = 5*v - 5. Let l be (z/(-2) - 0)/(-4). Suppose 2*b + 3 + 1 = l. Is b equal to -2?
True
Let i be 2 + -3*(0 + 3401/(-21)). Let z = i + -487. Is z not equal to 2?
True
Let y be 132/8*2/3. Suppose -i + 5*i = 40. Is y at most i?
False
Suppose -w + 5*w = 236. Suppose 6 = -5*t + 3*m - w, 3*t - m = -35. Let f = -132 + 122. Is f at most as big as t?
True
Suppose -2*i + i = t - 10, -4*i - 12 = 0. Let x = -11 + t. Suppose j = 3*y - 15, -j - 13 = -4*y - x*j. Do y and 5 have different values?
True
Let h(l) = -3*l**3 - 1. Let t be h(-1). Suppose o = k + 2*k + 8, 8 = t*o + 2*k. Suppose 0 = 2*c + o - 3. Is c at least -1/8?
False
Let o = 0.044 - -26.756. Let p = 29 - o. Which is smaller: -2/3 or p?
-2/3
Suppose 13 = -2*c - 5*h, -h + 3*h = 3*c - 9. Do c and 5 have different values?
True
Let d(t) = t**2 - 9*t + 23. Let f be d(5). Let b be ((-381)/126 + f)*(-4)/(-1). Is b <= 1?
True
Let c = -449980/209 + 2153. Which is smaller: -1 or c?
-1
Let s(f) = -4*f + 18. Let k be s(4). Which is bigger: k or 5?
5
Let m(n) = -43*n - 1. Let c be m(1). Let f be -4 - (40/c + -3). Is f equal to 1?
False
Let s be (21/((-252)/16))/(