 i(r) be the third derivative of -r**6/120 + 11*r**5/60 - r**4/3 - 2*r**3 + 323*r**2. Let h be (0 - (-2)/1) + 8. Let x be i(h). Is x smaller than 6?
False
Let v = 51 + -42. Which is smaller: 12 or v?
v
Let w be (2 - 2) + 11 + -4. Suppose -u = -w + 1. Let p be 1 + u/((-120)/28). Which is greater: -12 or p?
p
Let y be (-4)/10 + (-4)/(-10). Let p be y + 2 - (6 + -2). Let w(t) = 8*t + 53. Let x be w(-7). Is x <= p?
True
Let u be 3 + (-394)/6 - 8. Which is smaller: -70 or u?
u
Let r be 8 - (-3)/(-6)*-2. Let j be (28/(-6))/(3/r). Let y be 8/(-6)*(-231)/(-22). Is y not equal to j?
False
Suppose 11 = -v + 5*u - 1, -5*u = -15. Suppose v*b + 3 = 6. Let j be (-570)/(-51) + -6 + -5. Is b at least as big as j?
True
Let x(c) = -72*c**2 + 4 + 4*c + 0*c + 74*c**2. Let d be x(-2). Let s be d/(-3)*(-15)/50. Which is bigger: 15 or s?
15
Let y = 27.33 - -0.67. Let b = y + -30.1. Let g = -27.9 + b. Is 1/3 bigger than g?
True
Let h = -382 - -574. Which is bigger: h or 0?
h
Let n = 528 - 545. Which is smaller: n or 5?
n
Suppose 9*b + 180 = 19*b. Suppose 3*y = -y - 4, 2*y = -q + 15. Is q at least b?
False
Let u = 38 + -43. Let r = -4 - u. Is r at most -15?
False
Suppose 0 = -5*h - 7 + 17. Let c be -12 + -3*(h/2)/(-1). Is c bigger than -8?
False
Suppose -4 = -15*o - 274. Which is greater: 1/3 or o?
1/3
Let f be (141/188)/(18/(-16)). Which is smaller: f or -1/6?
f
Let b = 896/3 + -296. Let o = 11.6 + 1.4. Let c = 13.1 - o. Are c and b equal?
False
Suppose -3*v - 165 + 48 = 0. Let c = -19 - -13. Let o be c/v - 186/(-312). Which is smaller: 0 or o?
0
Let f = -3519 + 6155. Let q be f/6 + 10/15. Let t be (-6)/10 - (-344)/q. Are t and 1 equal?
False
Let m be ((-63)/14)/((-30)/16). Let y = -53/20 + m. Is -6 not equal to y?
True
Let a be 142/(-8)*(-2 - -6). Is a <= -71?
True
Let t be (3/(-8))/(9/(-78)). Let w(p) = 3*p**3 + p**2 + 2*p - 2. Let l be w(1). Is l != t?
True
Let m be (88/(-66))/((-3)/18). Is 9 less than or equal to m?
False
Let b be 24/(-108) - 7/9. Let o be (3/1 - 2)*b. Does -8/7 = o?
False
Suppose -2*s - 9 = -3*s + 4*m, -4*m = s - 1. Suppose 5*k - 4 = b, k - 3*b = -s*b - 8. Is -2 not equal to k?
True
Let n = 44 + -90. Let v = n + 46.9. Which is greater: 1 or v?
1
Let o = -3 + 3.2. Let r(b) = -b**3 - 17*b**2 - 3*b - 39. Let n be r(-17). Suppose 4*a + n = -3*x, -5*a - 2*x - 2 = 13. Is o at least as big as a?
True
Let y = 0.9459 + 0.0541. Let b = 41/24 - 51/8. Are y and b non-equal?
True
Let x(k) = k**2 - k - 32. Let r be x(6). Is r less than -2?
False
Suppose -y + 2*y = -3*b + 60, -5*y = 4*b - 300. Let s = -66 + y. Is s < -36/5?
False
Suppose 2*n - 3*y = -3*n + 644, 5*n - 641 = 2*y. Let v = -126 + n. Which is bigger: 3/70 or v?
v
Let z = 15 - 15. Suppose z = -l + 2 - 1. Does l = -1?
False
Let g = -55.963 - -56. Is g bigger than -1/2?
True
Let r be 84/14*(-2)/(-6). Let u be 12/4 - 4 - r/8. Which is bigger: -2 or u?
u
Let v be (10 + -20 + 10)/3. Suppose -2*s - 5*f + 0*f = -1, -4*s + 2*f + 14 = 0. Suppose v = s*k - k - 2. Which is smaller: k or -2/75?
-2/75
Let l = 177 + -896/5. Which is bigger: -1 or l?
-1
Let l = -172589/112 - -1541. Is l at least as big as 0?
True
Let c = -4 + 6. Suppose -4 + 14 = c*l. Let x be (-9)/(-15) - 18/l. Is x > -3?
False
Let q = 0.3 + -29.3. Let h = q + 2. Let d = h + 21. Which is bigger: 1 or d?
1
Let f be (-272)/51 - (-2)/6. Let v = 10 - f. Let j = -15 + v. Is j at most -2/97?
False
Let t = 390 - 391. Which is smaller: -6/13 or t?
t
Suppose 0 = -4*d + 17 + 11. Let w = -9 - -5. Let z = d + w. Is 3 > z?
False
Let y be (-6674)/22 - 572/(-1573). Which is greater: 1 or y?
1
Let x = -17672/1797375 - 4/4793. Let s = 800811/259 - 5706341441/1845375. Let m = x + s. Which is smaller: -1 or m?
-1
Let c be (4 + -1 + 7)/2. Suppose 0 = -c*h + d - 85, 3*h - 51 = 6*h + d. Are h and -16 non-equal?
True
Let i = -26 + 25.3. Let x = 0.7 + i. Which is bigger: x or -23?
x
Let c = -12 - -22. Let a = 9 - c. Let p be 5/2*(-4)/35. Do a and p have different values?
True
Let i = -523 + 477. Does -46 = i?
True
Let c(h) = -h**3 + 5*h**2 + 4*h + 11. Let v(k) = 3*k**2 + 10*k + 14. Let t be v(-2). Let l be c(t). Let f be 1 + 1/((-82)/84). Which is greater: f or l?
f
Let k be 11/(99/(-27)) - 9. Are 7 and k non-equal?
True
Let y be 2/(-4)*(-4 - -1). Suppose 3*t - 11*t + 160 = 0. Suppose -4*k - k - 2*q + t = 0, 2 = -4*k + 2*q. Is k at most y?
False
Let q be (5*(-3)/9)/((-5)/6). Suppose -2*l + z = -2, q*l = -2*z + z + 2. Let j be 9*(53/(-51) - -1). Which is smaller: l or j?
j
Let z = -50 - -51. Let f = -37 + 53. Let g = f + -12. Is z smaller than g?
True
Suppose 5*s - 5*p = 0, 3*p - 8*p = -s. Suppose 3*z + 5*k = -29, 0 = z - s*k - 2*k + 6. Which is bigger: -11 or z?
z
Let h = 186 + -1300/7. Let d = 745 - 740. Does h = d?
False
Let n be ((-6649)/69)/((-2)/(-6)). Let v = n + 289. Let g be (-1 + -5 + 6)/(4 - 3). Are g and v equal?
False
Let z(j) be the first derivative of j**4/4 + j**3/3 - j**2 + 8. Let t be z(0). Is t bigger than 5/7?
False
Let q be (-32)/(-55) + (-18)/99. Suppose 3*w + 5*k + 222 = 0, 18*k - 15*k - 9 = 0. Which is smaller: w or q?
w
Let y(g) = -g - 22. Let b be y(11). Let f = b - -26. Is -7 not equal to f?
False
Let w = 120.68 - 125. Let f = 4.1 + w. Which is smaller: -2/7 or f?
-2/7
Let c = 23.4 - 49.4. Let k = 0.2 + -0.4. Do c and k have different values?
True
Let z(b) = b**2 - 5*b + 6. Let f be z(4). Suppose -5*l = -3*n - 36, -2*n = 4*l + f*n - 16. Let r = 17 - 10. Which is smaller: l or r?
l
Let y = 26 + -24. Let t be 2/(-5) + (-160)/350. Is t smaller than y?
True
Let t(i) = i**3 + 8*i**2 + 5*i - 8. Let a be t(-7). Let c be 4/a*(-3 - -48). Suppose 2*k + c = 7*k. Which is greater: -1/3 or k?
k
Let q = 74.1 + -116.1. Are q and 3 unequal?
True
Let z be 2 + (2/(-5) - (-4)/10). Let o be ((-1)/1 - -1)/2. Let a be (-2 - z) + (2 - o). Are 1 and a non-equal?
True
Let x = 660 + -651. Is x smaller than 20?
True
Let a = 12 + -4. Suppose -12 = -4*j - a. Let t = 2 + j. Which is smaller: 4 or t?
t
Suppose 15*k = -16 - 14. Do k and -10/17 have different values?
True
Let b = 2551/3 + -848. Which is smaller: -13 or b?
-13
Let u = -40 + 35. Let n be u/(330/(-8))*(-3)/10. Which is greater: -1 or n?
n
Let p = -1756 - -1750. Suppose 4*w + w + 25 = 0, -5*y = -5*w - 55. Let i(r) = -r - 2. Let o be i(y). Which is bigger: p or o?
p
Let u be 5*12/30 - -13. Which is greater: 41/3 or u?
u
Let y(q) = 14*q + 41. Let g be y(-3). Is 1/797 bigger than g?
True
Let m = -273 - -276. Suppose -f - f + 14 = 0. Let c = f + -2. Is c at most m?
False
Let r = -284 + 231. Which is smaller: r or -423/8?
r
Let m = 0.253 - 4.053. Is 0 smaller than m?
False
Let h = 66 + -48. Suppose 2*k + k - 8 = -w, 0 = -w + 2. Suppose u - h = k. Is u > 20?
False
Let w be ((-12)/10)/((-1104)/(-120)). Which is smaller: -0.2 or w?
-0.2
Let q = 11 - 37. Let y = -24 - q. Which is bigger: 7/8 or y?
y
Suppose 0*o = -5*o. Suppose o = -5*p - 27 + 7. Suppose -3 = 4*u + 1. Which is bigger: p or u?
u
Let x be (((-4)/3)/(90/(-27)))/(-1). Is x greater than -13/2?
True
Let z = 37 + -28. Let u = 0 + -6. Let f be 4/z*36/u. Is -2 at most f?
False
Let k(v) = 7*v**2 + 15*v - 4. Let q be k(-9). Let d be (-4)/(-12) + q/(-6). Which is smaller: -72 or d?
-72
Let c(z) = 33*z - 214. Let q be c(11). Is q > 150?
False
Suppose -5*u - 4*k - 21 = 0, 2*u + 11 + 13 = k. Let d = 8 - 18. Which is smaller: u or d?
d
Suppose 2*z = h + 6*z + 23, z = h + 28. Is -25 less than h?
False
Suppose -6 = 8*a - 6. Is 6/25 bigger than a?
True
Let l be 710/45 - 4/(-18). Suppose -4*z - l = -8*z. Let k be 30/(-25) + z/20. Is k not equal to -1/5?
True
Let j(p) = -5*p + 49. Let r be j(8). Suppose -2*n + n = 10. Let t be (-3)/(-6) + r/n. Is -1 at most as big as t?
True
Let s be ((4 - 0) + 0)*-1. Let x(g) = g**3 + 5*g**2 - 9*g - 14. Let h be x(s). Is -1 not equal to h?
True
Let m = -5.54 + 5.44. Let q = 6.95 + 0.05. Are m and q nonequal?
True
Let c = 3/14 + 97/70. Let g = -96 + 100. Suppose 2*m = -5*i + 15, g*i = 3*i - m + 6. Is i < c?
True
Suppose 4*o + o - 50 = -5*h, -o - 5*h + 10 = 0. Let l be 13/26 - o/36. Which is bigger: l or 8?
8
Let l = -821/7 + 4819/35. Which is smaller: 21 or l?
l
Let f = 2571 - 2251. Which is smaller: 1925/6 or f?
f
Suppose 0 = 3*u + 417 - 2844. Let h = -4487/5 + u. Let t = h - -88. Is t at most as big as -0.2?
True
Let l be 15*4*(-1)/(-5).