 3.4 and k unequal?
True
Let d = -91 - -87. Let l(b) be the third derivative of b**6/120 - b**5/15 - b**3/3 - b**2. Let u be l(4). Is u >= d?
True
Let c = 4 - -13. Let d = -25 + c. Which is smaller: -5 or d?
d
Suppose 8*m - 7*m = 5*i - 7, 2*m - 7 = 3*i. Is -1/18 at most as big as m?
True
Let f = 26601/5 + -4770. Let a = f - 745511/1355. Which is bigger: 0 or a?
a
Let u be 4/(-255)*6/(-4). Let c = 375 + -374. Is c smaller than u?
False
Let c = 51.9 - 59.9. Let w = 1.1 - 0.1. Is c less than or equal to w?
True
Let x be (48/(-18))/(1/(-6)). Let d = 46 - x. Let j = d + -15. Is j greater than or equal to 16?
False
Let q be (-84)/60*29/2. Let d = 24137/1190 + q. Is 0 < d?
False
Let l be ((-60)/(-75))/(4/(-30)). Is -6 at most as big as l?
True
Let u = 275686 - 27291388/99. Let s be (-3)/36*568/(-3). Let c = u - s. Which is smaller: 1 or c?
c
Suppose -21 = -7*m - 0*m. Suppose -m*a - 3*u = 321, 280 = -2*a - 4*u + 60. Is a less than -104?
False
Suppose 3*x - 8 - 4 = 0. Suppose x*r - 11 = 21. Suppose -2*s + s + r = 0. Which is greater: s or 7?
s
Let j(y) = -y**3 + 19*y**2 - 2*y + 2. Let t be j(19). Let c = -31 - t. Suppose 1 = -2*x - c. Is x at least as big as -2?
False
Let f(w) = -w + 2. Let n be f(-4). Let i be -1 + (0 - (-9)/n). Does i = -0.08?
False
Let c = -182.9 + 177.9. Let h = 3 + -9. Is c < h?
False
Let y(t) = -2*t + 13. Let p(l) = l**2 + 7*l + 9. Let f be (105/(-60))/((-1)/(-4)). Let n be p(f). Let i be y(n). Are -5 and i equal?
True
Suppose -4*z + 77 = -4*w - 15, 0 = -3*z + w + 59. Suppose -3*l = -l + z. Let j(y) = y**3 + 8*y**2 - 8*y + 8. Let s be j(l). Which is greater: -2/19 or s?
-2/19
Let l(d) = -d**3 - 6*d**2 + 6*d - 2. Let g be l(-7). Suppose 5 = g*y - 15. Suppose 5*n + 5*p + 10 = 0, 3 = n - 0*n - y*p. Which is smaller: n or -1/8?
n
Let w(i) = -5*i**2 - 6*i - 1 + 2*i**2 + 2*i**2. Let g be w(-6). Let o be -3*6/(-9) + g. Which is greater: -1/8 or o?
o
Let u(f) = 2*f**2 - f. Let m be u(-1). Suppose -m*p + s - 6*s + 28 = 0, -3*p + 8 = s. Is -4/15 >= p?
False
Let w = -1.1 + 0.1. Let o be (-2)/(-12)*6 + 2 + 0. Suppose 4 = -4*n + o*r - 1, 10 = -2*r. Which is greater: n or w?
w
Let a = -12 - -8. Let r(c) = c + 1. Let z be r(-6). Let o be (0 - -1) + 19/z. Is o <= a?
False
Let y = -1/474 + 3341/10902. Let r = 13/184 + y. Which is smaller: 5 or r?
r
Let x = -439/91 + 30/7. Which is smaller: -1 or x?
-1
Let p be 4/((-5)/(-5)) - (-66)/(-19). Let j = p - 21/76. Let s = -0.15 - -1.35. Do s and j have the same value?
False
Suppose -5*j - 35 = -4*z, 10 = -3*j + 5*z + 2. Let x = j + 9. Let c(f) = -f - 2. Let r be c(x). Which is smaller: 4/21 or r?
r
Suppose 0 = -3*j + 3*k - 9, -13*j + 8*j + k = -1. Which is smaller: 6 or j?
j
Let l = -245.384 - 0.616. Let f = l - -265.1. Let h = 19 - f. Which is bigger: 4 or h?
4
Suppose -2*n - 3 = 5*o, 4*o + 0*o = 5*n + 24. Which is smaller: o or -1/3?
-1/3
Suppose -3*t = -a - 119, -4*a - 468 = 4*t - 8*t. Which is smaller: -117 or a?
-117
Let n be 20/(-8)*4/10. Let w be ((-26)/7)/(-1) + 0. Let m = 29/21 - w. Which is greater: n or m?
n
Let n be (-4)/2 + (-4409)/8. Let w = -606321/1096 - n. Let a = -1180/959 - w. Are a and -1 equal?
False
Let g(n) = -n**3 + 9*n**2 - 6*n - 17. Let u be g(8). Which is bigger: -11/17 or u?
-11/17
Let b = 407.4 - 446. Which is smaller: b or -0.2?
b
Let g = 141 - 141. Let c = 2 - 0. Let h be (c/(-4)*g)/2. Which is smaller: h or -3?
-3
Let r be -2 - 0 - (-23)/1. Let g be 6*(3 - r/9). Suppose -g*q + 5*m + 4 = 9, 2*m - 2 = 0. Is q smaller than -4/3?
False
Let o = -70 - -32. Let x = o + 54. Let a be -2*(-2)/(-12)*-51. Is x at least as big as a?
False
Let f(b) = 23*b - 148. Let r be f(0). Is -149 != r?
True
Suppose -69*x - 38 = 31. Is x at least -9/362?
False
Let v = 563 + -563. Is -1/603 <= v?
True
Let d = -2348 - -353. Let h be (-7)/(d/(-6))*5. Is h smaller than 0?
True
Let z be 281 - (-3 - (1 - 3)). Suppose 8*l = z + 750. Let o be -1*(0 + (-6)/l). Which is smaller: o or -1/3?
-1/3
Let k = -106 + 5. Which is bigger: k or -99?
-99
Suppose 0 = 2*d - 0*d. Let j(t) = -55*t**3 + t**2 + t - 2. Let q be j(1). Let x = 54 + q. Which is bigger: d or x?
d
Let h = -0.269 - -0.25. Let a = 0.329 + h. Let d = -0.32 + a. Is -1 at most as big as d?
True
Suppose 0 = -5*f - 3*z + 27, 2*f + 3*z + z = 22. Let w be f*6/27*-237. Let x = 2531/16 + w. Is 0 equal to x?
False
Let z(d) = -d**2 + 9*d. Let r(c) = -3*c - 3. Let o be r(-4). Let m be z(o). Suppose x + 3 - 1 = 0. Are m and x nonequal?
True
Let j = 38 - 38. Suppose 0 = 2*w - 7*w + 3*b + 2, j = -2*w + 2*b. Do w and 20/11 have the same value?
False
Let s = -0.02 - -0.02. Let x = s + 1.8. Let b = x - 2. Which is greater: b or 0.08?
0.08
Let x = 4/357 + -1709/120666. Which is bigger: x or -1?
x
Let p = -1359 - -1252. Which is smaller: 4 or p?
p
Let k(v) = 5*v + 5. Let a be k(5). Suppose -9 = 3*i - a. Let s = 0.92 - -0.08. Is i at most s?
False
Let s = 396 - 397. Is -1/195 greater than s?
True
Let d = 14 + -12. Let a(r) = 7*r**3 - 5*r**2 + 2*r - 1. Let u be a(d). Is 39 at least u?
True
Suppose 67 = 25*z - 33. Let o be (2/(-3))/(6/(-9)). Is o equal to z?
False
Let l be ((-8)/5)/(2/(-5)). Suppose 3*g + 29 = l*t, 5*t - t = -4*g + 8. Let q = 7 - 10. Is g greater than or equal to q?
True
Let c = 2 - 0. Suppose -5*h + 53 = 2*w, 0 = c*h + w - 0*w - 22. Let d be (30/18)/(21/h). Which is smaller: d or 0?
0
Let h = 584 + -782. Is h at most as big as -198?
True
Suppose 7*s = 13*s + 2274. Is s bigger than -379?
False
Let r(a) = a**2 - 33*a - 71. Let b be r(35). Which is greater: b or -1/17?
-1/17
Suppose -2*o - 5*h + 3 = -8, 0 = -5*o + 5*h + 10. Suppose l = f - 7, -2*f + o*l = -2*l - 20. Are -1 and f unequal?
True
Suppose 3*q = -h - 0*q - 22, -28 = 2*h + 2*q. Let d(s) = -s + 4. Let c be d(5). Let i be (c/h)/(6/45). Which is bigger: 1 or i?
1
Let v(q) = -64*q + 2. Let m be v(-1). Let g be (2/(-6))/1 + 26/m. Which is smaller: g or 1?
g
Let d be (-130)/(-165) - (-1)/(-1). Let c = d - 17/231. Suppose -z - 4*w - 4 = -0*z, 5*w = 3*z - 5. Is c less than z?
True
Let v be 1206/108 + 10/12. Is 29 < v?
False
Let v be (-42)/(-4)*(-8)/(-12). Let j(f) = f**3 - 7*f**2 + 2. Let u be j(v). Let k be u/(-3)*(-9)/18. Do 2 and k have the same value?
False
Suppose -9*d = -4*d - 305. Is 61 less than or equal to d?
True
Let k = 12 - 13. Let m be 4/16*k - (-470)/24. Which is smaller: m or 18?
18
Suppose -19*b + 29*b - 10 = 0. Which is smaller: 40/23 or b?
b
Let j = 654 + -450. Suppose -j = -35*n + 31*n. Is 50 at most n?
True
Let k be (10 + 96/(-9))*6/4. Does 1/1491 = k?
False
Let c be (-8)/((-192)/(-56))*-6. Is c at least 16?
False
Suppose 0 = -i + 4 - 2. Let h be (6 - i)*3/22. Is -2 less than h?
True
Let h be (95/(-57))/(2690/(-12)). Which is smaller: h or 0?
0
Let t be 34/51*543/2. Is t > 185?
False
Let t = -213 - -215. Which is smaller: 0.044 or t?
0.044
Let p be 13 + (2 - 2)/(-1). Let q(n) = n**3 - 12*n**2 - 13*n. Let l be q(p). Which is smaller: 3/23 or l?
l
Let c be (-6)/(-15)*(2 + (2 - 3)). Do -0.15 and c have different values?
True
Let t be (-5)/20 - (-9)/4. Suppose -5*q = -t*z - 61, -10 = 4*z + 3*q + 47. Which is greater: z or -19?
z
Let l(u) = 5*u + 65. Let b be l(-13). Which is bigger: -2/651 or b?
b
Let m = 1339/532 - 41/28. Is m smaller than 1?
False
Suppose 8*b - 6 = 2*b. Let i(s) = -3*s**2 - 3*s + b - 4*s + 3 + 2*s**2. Let t be i(-9). Do t and -25/2 have different values?
True
Let f(n) = -n**2 + 13*n - 7. Let x be f(12). Let h be ((-1)/x)/((-10)/225). Is h <= 5?
True
Suppose -4*t = 3 - 7. Suppose -b + 5 = -t. Suppose -4*i = -b*i. Which is smaller: i or 2/45?
i
Let y(d) = 2*d**2 - 6*d. Let m be y(4). Suppose -3*o = -5*o + 16. Is m bigger than o?
False
Let v(m) = 6*m**3 - 15*m**2 + 2*m - 10. Let q(u) = -5*u**3 + 14*u**2 - 3*u + 9. Let i(g) = 7*q(g) + 6*v(g). Let w be i(-9). Is w < 4?
True
Let a = -168 + 93. Let w be -1*(27/(-18))/(-3). Which is greater: w or a?
w
Let a be (-62)/(-186) - (-38)/(-6). Suppose 0 = -4*n - n + 3*d - 15, -2*d = 0. Which is bigger: a or n?
n
Let b = 3.4 + -1. Let n = b + -21.4. Let c = -18.8 - n. Is c > 7?
False
Let q = 40 - 41. Let a be q*(-149)/(-20) + 2/8. Which is smaller: a or -6?
a
Let s = -730 + 730. Is s at most as big as 1/298?
True
Let a(n) = n**3 + 5*n**2 + 4*n + 6. Let b be a(-4). Suppose -y = -2*y - 3. Let m be (y/7)/(b/(-4)). Which is greater: m o