 + 3. Let d(b) = 5*b**3 - 19*b**2 + 10*b + 4. Let g(u) = 3*d(u) - 4*l(u). Let z be g(14). Does z = 55?
False
Let g = -38 - 234. Which is bigger: -0.1 or g?
-0.1
Suppose 0 = -8*a + 6*a. Let j be (a + -6)*(-1)/2. Let u be (1 + 1)/(-1 + j). Is 2 at least as big as u?
True
Let l = 37873/60 + -3214/5. Is -11 greater than or equal to l?
True
Let b be 76/324*(-22)/58. Let n = 10/81 + b. Do n and 0 have the same value?
False
Let u = -1.41 - -1.3. Let c = -13.8 + 13.9. Which is greater: u or c?
c
Let w be (3 - 13 - 0)/7*7. Do w and -13 have the same value?
False
Let q = 207 + -207. Are 503 and q unequal?
True
Suppose 6*i = 13 + 467. Which is greater: i or 0?
i
Let b = 59018/2799869 + -2/14659. Which is greater: b or -1?
b
Let o = 28 - 20. Suppose -o*k - 3 = -27. Which is smaller: 0 or k?
0
Let y(k) = -k**3 - 3*k**2 + 4*k - 106. Let r be y(6). Which is smaller: r or -405?
r
Let s = -4 + 3. Let p be -9 + ((-1529)/(-748) - -7). Are s and p equal?
False
Suppose 0 = -0*m - 3*m + 15. Suppose 0*a = a + 26. Let x = a + 30. Which is smaller: m or x?
x
Let j = 28 - 57/2. Let x = -2/331 + 361/4965. Is j >= x?
False
Let a = 5/106 + -131/3339. Which is greater: 1 or a?
1
Let f be (5/((-210)/(-4)))/(6/9). Suppose 4*p - i = 4, -3*i = -0 + 12. Which is bigger: f or p?
f
Let a = 16 - 9. Suppose -4 + 6 = -m - 2*r, 0 = -3*m + 2*r + 18. Which is smaller: m or a?
m
Let d = -48 + 48. Suppose -75 = 5*l - 0*l. Let b be (-18)/l*(-3)/(-6). Which is smaller: b or d?
d
Let r be (14 + -13)/(2/16). Suppose -d = -4*k - r, -3*k = -5*d - 2*k + 2. Which is bigger: -6/5 or d?
d
Suppose 3*n - 5*m + 8 = 0, -6*m = -2*m - 4. Let c = 36436 + -254148/7. Let x = c + -130. Which is smaller: n or x?
n
Let x(w) = w. Suppose g = -2*k - 3*g - 14, 0 = -4*k - 5*g - 25. Let u be x(k). Is -5 at most as big as u?
True
Let f = -1038 - -1712. Suppose -7*y = -f + 205. Is 66 != y?
True
Let i = -410 + 394. Is -113/7 less than i?
True
Let u(o) = -o**3 + 2*o + 29. Let r be u(0). Suppose r*j = 30*j - 13. Which is smaller: j or 14?
j
Let j = 7/190 + 311/7030. Is -2/3 > j?
False
Let f(j) = -3*j**3 + j**2 + 2*j + 2. Let s be f(-2). Let q = -39 + s. Is q less than or equal to -14?
False
Suppose -121*p = -116*p - 125. Is 28 at least p?
True
Let o(n) = -35*n - 304. Let t be o(-3). Is t <= -202?
False
Let i = 76 + -74. Let r be -2*4/(-18)*6. Is i smaller than r?
True
Let z be (-2)/((-12)/(-8) + -2). Let o = z + -5. Let i be ((-7 - 2)*o)/(-2). Is -5 at least i?
False
Suppose -2*d - 41 = 5. Let f = 7 + d. Is f smaller than -15?
True
Suppose 0 = 8*u - 3*u. Let q be (-1*1)/(6/(-30)). Suppose -1 - 1 = -2*b, 2*b = q*p + 2. Is u < p?
False
Let i be -1 - (8/11)/(-1). Let p = 4/55 + i. Let r be (9 + -9)/((-4)/(-2)). Is r greater than or equal to p?
True
Let m be 1/((-26 - -27)/(1/1)). Is m >= -1/989?
True
Let o(q) = -2*q**2 + 30*q + 33. Let s be o(16). Is s > 15/86?
True
Suppose 0 = l - 3*w - 22, -5*l = -l + 5*w - 173. Suppose 5*v + l = 42. Which is smaller: v or 2/71?
2/71
Suppose -24*d = -20*d + 4280. Is -1070 equal to d?
True
Let h = -1458 + 1607. Is 152 >= h?
True
Let o(h) = -h**3 + 12*h**2 + 12*h + 15. Let f = -17 - -30. Let r be o(f). Suppose -3*a - r + 5 = 0. Is a greater than or equal to -2/5?
True
Let n be 509/(-85) + (-25 - (-33 - -2)). Suppose 0 = -2*k + 3*k + 1. Which is smaller: k or n?
k
Let m = 987/8 + -2959/24. Let f = 3 + -4. Is f != m?
True
Let q be (-36)/(-1092)*-14 - (-196)/(-26). Let j be 6/(-3 + 4/2). Which is greater: q or j?
j
Let h be (-34)/(-3*5/(-90)*-4). Which is greater: h or 52?
52
Suppose -125 = -9*f - 710. Let n be (4/70)/((-7)/(-7945)). Let u = f + n. Which is bigger: -2/13 or u?
u
Let x(m) = -m**3 + 7*m**2 + 7*m + 8. Let g be x(8). Which is greater: -0.023 or g?
g
Let t = 51 + -77. Let h be (182/35)/(2/(-10)). Do t and h have the same value?
True
Let u be 7 - (14760/(-7376) - -9). Is 1 at most u?
False
Let b be ((-11)/88*4)/((-2)/(-4)). Let c = -1450/33 + 44. Are c and b non-equal?
True
Suppose 7*k - 30 = 1174. Let m be -15*(k/(-85) - -2). Which is smaller: -2 or m?
-2
Suppose 5*t - 10 = 80. Suppose -5*j + 3*i + 18 = 0, 4*j = 5*i - 1 + t. Is j at least as big as 11/4?
True
Let c = -2364/7 + 338. Suppose -3*r - 2*i + 7 = 0, 13 = 4*r + 2*i + 1. Is c greater than r?
False
Let q = 639 + -639.251. Which is bigger: 0 or q?
0
Let f = -498 + 708. Let s be (10/50)/(f/(-19)). Let l = -4/75 + s. Is l != 0?
True
Let h be (-3)/4 + 4/2. Suppose 10 = -4*y - y. Let a = 2 + y. Which is bigger: h or a?
h
Let k be (-24)/(-6)*8/(-336). Is k not equal to 0.17?
True
Let c(d) = -5*d**3 + d**2 - 3*d + 3. Let z be c(1). Which is greater: -1/5 or z?
-1/5
Let n = -265945/13 + 20470. Which is smaller: n or 13?
n
Let c(g) = g**3 - 6*g**2 + g - 1. Let x be c(6). Suppose -32 - 73 = x*d. Is -22 > d?
False
Let t be 164*(-7)/(-224) + (-4 - -3). Is t less than or equal to 5?
True
Suppose 0 = 4*d - 17 - 3. Let v be (-5)/10*1*0. Does d = v?
False
Suppose -g - 3*g = -36. Let y = -12 + g. Let h be (44/(-11))/((-38)/y). Which is bigger: 1 or h?
1
Let v be 27/(-2) - 3/(-6). Suppose -13 = 4*b - 3*b. Let n = b - v. Which is smaller: 2/5 or n?
n
Let j be 1*(0 - 7) + 21203/3024. Is j greater than 0?
True
Let x = 193 + -193.3. Which is smaller: x or 1/11?
x
Let c = 521/4 - 131. Suppose 0 = -r + 2*r. Let l be r/(-2 + -2 + 2). Which is smaller: c or l?
c
Suppose 0 = s + 4*k - 112 + 12, 0 = -3*s - 5*k + 272. Let d be 1306/(-14) + 24/s. Is d equal to 1/3?
False
Let t = 2155/8652 - -2/2163. Is 0.056 less than t?
True
Suppose 2*o = d + 14, 4*d - 2*o - 2*o = -44. Which is smaller: d or -61/8?
d
Let h = -1.4 - -1.5. Let w = 1/4055 + -40589/158145. Is h at most as big as w?
False
Let s(d) = d**2 - 2*d - 4. Let c be s(5). Let o = -7 + c. Let j = -305/3 + 106. Is j less than o?
False
Suppose -5*k + 160 = 4*q, -2*q - 129 = -4*k - 5*q. Let n = k - 29. Do 8 and n have the same value?
False
Let d(n) = -n**3 + 7*n**2 + 3*n + 7. Let k be d(8). Which is greater: -42 or k?
k
Let d be 1/6 + 98/(-84). Which is greater: d or -3/68?
-3/68
Let y be ((-1)/6)/(-1)*(8 - 24). Which is smaller: y or 2/9?
y
Let t be (-50)/8 + 2/8. Let m(l) = 108*l**3 + 3*l**2 + 5*l + 2. Let g be m(-1). Let x = g - -103. Is t less than or equal to x?
True
Let s = 2.1 + -2.36. Let t = s - -0.26. Do t and -2 have different values?
True
Let j(d) = -d**3 + 10*d**2 + 7. Let b be j(10). Suppose 20 = b*t - 3*t. Which is bigger: t or 3?
t
Let f = 67 + -120. Let c = f - -53. Let y be 1/5 - (-28)/(-340). Which is smaller: c or y?
c
Let y = -15 - -39. Suppose 8*c = -8*c + 384. Is y greater than c?
False
Let g be 13/(234/60)*(-117)/(-5). Are g and 75 non-equal?
True
Let r = 0 - 1. Let n = 177 - 477. Let q = n - -1494/5. Is r less than or equal to q?
False
Suppose 2*v = -3*i + 1692 + 3686, i - 4*v = 1802. Which is smaller: 1795 or i?
i
Let n be (-2 + 5 - 2)*5*-10. Is -50 smaller than n?
False
Let o = -183 + 183.1. Is 1.4 <= o?
False
Suppose 0*y + 4*y - 3*a = 61, -3*a = -5*y + 74. Suppose 5*w - 53 = -y. Suppose -w = -0*b + b + 3*v, 2*v + 31 = 3*b. Which is smaller: 6 or b?
6
Let z = -1 + 7. Let j = -1 + z. Let i be 1*(40/36)/j. Is i > 1?
False
Let u be 21 + -12 + 9040/(-1004). Which is smaller: u or 1?
u
Suppose -3*d + 4*a - 20 = 0, -4*d + 2*a - 30 = -0*d. Let w = -15 - d. Let z be 6*w/((-42)/4). Which is smaller: z or 2?
2
Let l be 3/((-1)/4 - -1). Let n be 4/2*2/l. Let x be 5 + 570/(-65) + 4. Is x at least n?
False
Let a be 3/21 + 32/(-28). Which is smaller: 1/407 or a?
a
Suppose -18 = -3*v - 3*k, -4*v + 2*v = 3*k - 14. Let j(f) = f**3 - f**2 - f - 1. Let c be j(2). Let z be c/(1/(-8)*-2). Is v at most as big as z?
True
Let u = 3388 + -3386. Let d be 46/6 + 1/3. Is u greater than d?
False
Let o = -30 - -35. Suppose n + 2*q + 17 = 2*n, -2*n - o*q = -25. Suppose -3*k = 3*g - 17 + 2, 3*k - 4*g - n = 0. Which is greater: 6 or k?
6
Let c = -493 - -496. Which is smaller: c or 9?
c
Let z(w) be the third derivative of -w**6/120 + 3*w**5/20 + 11*w**4/24 - 7*w**3/3 - 2*w**2. Let l be z(10). Which is smaller: l or -3?
l
Let y = 500 - 499. Are y and -2/329 equal?
False
Let p(c) = 199*c + 125. Let v be p(-3). Does v = -472?
True
Let o(z) be the third derivative of z**4/24 + z**3/3 + 8*z**2. Let r be o(-8). Which is greater: r or 0?
0
Let g(u) = u**2 - u + 1. Let m be g(0). Let n = m + -1. Let t be -2*((-2