k + 3*k**2 + 1 + 2*k**3. Let b = -7 - -4. Let t be u(b). Which is bigger: t or -17?
t
Let q = 6002/5 + -1201. Is q != -118?
True
Let h(o) be the first derivative of o**4/4 + 4*o**3 + 4*o**2 + 3*o - 9. Let p be h(-11). Is 36 smaller than p?
False
Let c(b) = b + 10. Let s be c(-5). Suppose -730*p + 681*p = 0. Which is greater: s or p?
s
Let b = 115 - 265. Let n = b + 151.91. Let z = -0.09 - n. Are 1 and z equal?
False
Suppose -2575 = 25*a + 5000. Do -306 and a have the same value?
False
Suppose 0 = -5*n + 3*n - 16. Let z = 8 + n. Suppose 3*r = -d + 15, z*d + r = -3*d + 5. Which is greater: d or 1/5?
1/5
Suppose -30*i - 1376 = -7316. Is 198 less than or equal to i?
True
Let g = -19 + 73. Let o = 53 - g. Which is smaller: o or 2/17?
o
Suppose -76 = 5*t + 2*f, -10 = 4*f - 9*f. Let d = t + -7. Is d < -22?
True
Let s = 3.994 - 0.994. Is -12 not equal to s?
True
Let h(u) = 64*u**3 - u**2 + 8*u + 9. Let s be h(-1). Which is smaller: s or -52?
s
Let t be (9/(-15))/((-33)/1430). Is 40 less than t?
False
Let y(u) = u**2 + 18*u - 22. Let w be y(-19). Let l be 1 + 14*(-21)/78. Let b = w - l. Are b and 2/3 nonequal?
True
Let t(a) = -a**2 - 19*a - 7. Let b be t(-20). Let p be (-1 - -3)/(-2)*b/33. Which is bigger: 1 or p?
1
Let m(u) = -12 - 2*u - 6*u**2 + u**2 + 7*u**2. Let d be m(3). Which is greater: d or -3/14?
d
Suppose -7*d = -5*d + 20. Let f = -14 + 3. Let v = d - f. Is -2/21 < v?
True
Let x be 6520/(-120) + 4/3. Which is smaller: -105/2 or x?
x
Let n be (-2)/(-3 - -1) - -2. Suppose 0 = 3*g - 4*i - 6 - 13, 3*g - 5*i = 20. Which is greater: n or g?
g
Let f = -3 + 5. Let y be ((-20)/20)/((-2)/f). Suppose 18 + 2 = 4*t, -2*d - 5*t = -27. Are y and d equal?
True
Let r = 5.92 + 0.08. Let j be (-2)/(-4) - 2/(-12). Are j and r equal?
False
Let a = -1261 - -29009/23. Let l = -64/69 + a. Which is smaller: 0.12 or l?
l
Let y(j) = j**3 - 4*j**2 + j - 2. Let x be y(3). Let f = x + 12. Let a = -7 + f. Which is smaller: a or -4?
-4
Suppose 5*j - 50 - 90 = 0. Suppose 0 = -t - 5*k + 2 + 21, -3*t - 3*k = -21. Suppose 0 = -t*g - g + j. Are g and 7 unequal?
False
Let s(y) = y - 2. Let z be s(-1). Let p be 3/(z/2) - -3. Which is greater: -2/63 or p?
p
Let h be 89/14*(2 - 3). Which is smaller: h or -5?
h
Suppose -7*s + 675 = 2*s. Suppose 0 = -4*c - s + 79. Which is smaller: 1/11 or c?
1/11
Let g(j) = -j**3 + 5*j**2 + 2*j - 23. Let v be g(3). Which is smaller: v or 5/181?
5/181
Let x = 0.05 + -62.05. Let k = 95 + x. Which is bigger: 1 or k?
k
Let z(a) = 3*a**2 - 31*a - 255. Let n be z(-7). Is 107 less than or equal to n?
True
Let u(y) = -3*y + 74. Let o be u(25). Is -7/6 equal to o?
False
Let f = -1 - -6. Let m = f - 1. Are m and 4 unequal?
False
Let o(i) = 7*i - 149. Let h be o(20). Which is greater: h or -76/9?
-76/9
Let d = 2 - 1. Let c = 38 + -38. Suppose -3*b + 1 - 1 = c. Which is greater: b or d?
d
Suppose 10*c - 13*c - 37 = -4*u, 4*c + 56 = 4*u. Which is bigger: c or -21?
c
Let j(l) = 19 - 6*l + 2 - 2 + l. Let z be j(9). Let p be z/30 + (-3)/(-15). Which is greater: p or -2?
p
Let i = -22 + 12. Let k be 120/36*(-408)/i. Let s = k - 1225/9. Which is smaller: s or -1?
-1
Let a be (1*2157/1)/(358 + -355). Do 719 and a have the same value?
True
Let q = 23 + -20. Let p be (q - (2 + -3)) + -8. Is -4 not equal to p?
False
Let g = 12 - 17. Let f = -5 - g. Let j = 0.11 + -0.11. Is j > f?
False
Let v = -46 + 60. Let l be 429/364 + (18/v)/(-3). Are l and 0 equal?
False
Let s be 1101/4*1/(-18). Let g = s - -85/8. Let a(n) = 13*n + 501. Let j be a(-39). Which is smaller: j or g?
j
Suppose -2*n = -2*d + 82, -4*d + 185 = -n + 4*n. Suppose 5*w + 2*c + 105 = 0, 4*w - 5*c - d = 5*w. Let o be 38*(-2*2)/8. Is w greater than or equal to o?
True
Let o = 867 + -895. Which is smaller: o or -206/7?
-206/7
Suppose -2*d = -12 - 16. Let h = -42 + d. Let o be 3/(-15) - h/(-10). Is -5 < o?
True
Let k = 6 - -1. Suppose k = -3*l + q, 0*l - 13 = l + 5*q. Let d be 3/(-4) - l/12. Is -1 less than d?
True
Let r = 0.14 + -0.34. Which is greater: r or 162?
162
Let n = -129 + 515/4. Let x = 23 - 167/7. Are n and x nonequal?
True
Let i = 29 + -41. Let g = i + 11.5. Does 0.3 = g?
False
Let j = 62 + -69. Let l be (-34)/j + 2/14. Let g = 3 - 5. Which is smaller: g or l?
g
Let d(i) = -47*i**2 - 3*i + 1. Let n be d(1). Let s = n + 50. Is -2/19 greater than s?
False
Let b(d) = -d**2. Let m(c) = -c**3 + 3*c**2 - 3*c + 2. Let x be m(2). Let r be b(x). Suppose 21*t - 18*t + 24 = r. Is t smaller than -8?
False
Let r be (-1 + 90/50)/(-1 - 0). Is r less than 1/2?
True
Suppose -3*n = -s + 2, -9 = -2*s - 5. Is 3/179 less than n?
False
Let v = 0.5 + 0. Let z = v + -0.6. Let k = 6.04 + -6. Which is smaller: k or z?
z
Let x be (-4 + 4)/((1 - 2)*1). Suppose x*z = 3*z. Is 0 < z?
False
Let y = -44 - -76. Let m be (5/(75/6))/(y/10). Which is greater: m or 1?
1
Let a = 9785 - 20263/2. Is -347 != a?
True
Let c = -430 - -5153/12. Let s = -221/420 - c. Let g = 0 + 0. Which is bigger: s or g?
s
Let w = 246865/9618 + -1/3206. Which is greater: 26 or w?
26
Let m = 69 + -67. Is 26 > m?
True
Let j be (6603/(-142))/((-10)/(-4)). Which is smaller: -20 or j?
-20
Let m = -6 + -10. Let n = m + 25. Let s = n - 11. Are -2 and s nonequal?
False
Let d be 3*((-38)/(-3) - 1 - -1). Which is bigger: 151/4 or d?
d
Let g be (7 - 0)*(-12)/14. Let w be (44/(-9))/((-10)/(-15)). Which is greater: w or g?
g
Suppose 0 = 5*y - 9 - 6. Suppose 8 = -a + 5*w, -y*a + 6*a + w = 40. Let p be (a + -1)/(7 + -6). Is 9 >= p?
False
Let p = 350 - 1063/3. Let l be ((-130)/78)/((-1)/(-3)). Which is smaller: p or l?
l
Let j = 38336/123 - -1380/41. Are 344 and j unequal?
True
Suppose -k - 4*o - o = -4, -3*k + 12 = 2*o. Suppose 8*u - 24 = k*u. Let s = 0.97 + 0.03. Which is greater: u or s?
u
Let u = -0.12 + 0.07. Let q = 0.12 + -0.02. Let m = u + q. Which is smaller: m or -0.2?
-0.2
Let t be (1/10)/(10/8475). Which is smaller: 85 or t?
t
Let d = 0.2 - -0.3. Let g = d - 6.5. Let b = 0.4 + -0.2. Is b less than g?
False
Let k be (-6)/9 + (-1341)/(-27). Are 0.1 and k non-equal?
True
Let z = -8 - -17/2. Let s = -33 - -34. Is s <= z?
False
Let j(w) = 68*w**2 + 5*w + 6. Let u be j(-1). Which is greater: 67 or u?
u
Let k be (-4)/46 - (-5 + 849/23). Is k >= -156/5?
False
Let c(l) = l**2 + 9*l + 9. Let f be c(-7). Let d = 5 - f. Let i be (-2)/(-10) + (-12)/d. Are i and -3/19 unequal?
True
Let q = 705/8 - 88. Let l = 97 + -775/8. Let d = l + q. Which is greater: -1 or d?
d
Suppose 2*t - 5*v - 52 = 0, -3*v + 4 = -4*v. Let m = t + -16. Let s be -5*(4 + (-2356)/590). Are m and s unequal?
True
Let t = 3 + -4.6. Let k = t - -1.32. Let b = k + -0.72. Which is smaller: -0.08 or b?
b
Suppose 4*j - p - 1 = 4, 2*j - 13 = -3*p. Let m = 10 + -6. Suppose 0 = -2*y + 4*y - m. Is y equal to j?
True
Let q(i) = -4*i + 28. Let k be q(10). Let g be -16 - 3/(-3 - 0). Let x be ((-12)/g)/((-1)/15). Are x and k non-equal?
False
Suppose 3*i - 10 = 5*k - 7*k, -3*k = -4*i + 19. Let p = -1380 + 1366.91. Let v = p + 13. Which is smaller: k or v?
k
Suppose z - 4*z = 4*n + 23, 6 = 2*z. Let b = -673 - -672.8. Which is smaller: b or n?
n
Let q = 229 + -163. Let u = 63 - q. Is 3 greater than u?
True
Let t be 2*2/(-18) + 6259/99. Which is greater: t or 62?
t
Let d = 417.807 - 0.807. Which is smaller: d or -2?
-2
Let w be ((-16)/(-20))/(4/(-10)). Let a be (w/(-1) - 2) + -12. Let k = a + 11. Which is smaller: k or -1/5?
k
Let q be ((-18)/15)/((-12)/30). Let d be -11*q/6*2. Is -11 less than d?
False
Suppose 0 = 3*n - v - 0*v + 1025, v + 1 = 0. Let c be (-8)/66*(-96033)/(-34). Let a = c - n. Which is smaller: a or 0?
a
Let a be 2/(27/36 - 22/8). Let z be (-17)/24 + (-10)/(-30). Is a greater than or equal to z?
False
Let l(s) = s**2 - 13*s - 63. Let k be l(27). Suppose 0 = a + 4*a - k. Which is bigger: a or 62?
a
Suppose 0 = -3*j + 3*z - 123, 0*j - 78 = 2*j + 2*z. Let q = -2/3 + 5/12. Which is smaller: j or q?
j
Suppose -15 = -3*w, 2*i - 2*w + 0*w = -2. Suppose -4*h = -i*l + 3*l - 1, 3*l + h = 10. Suppose l*z = -0*z. Which is smaller: 2/7 or z?
z
Suppose -4*r - 5*w + 105 = 0, 0 = 3*w + 11 - 2. Let s = r - 21. Let q be (-10)/(-6) - 6/s. Is q less than 2?
True
Suppose -g + 2*g + 12 = 5*i, 0 = -3*i - 4*g - 2. Suppose -5 = i*f + 39. Which is greater: f or -24?
f
Suppose -62*i + 36*i + 5304 = 0. Which is greater: i or 203?
i
Let