 + 50. Let j(x) be the third derivative of x**6/120 - x**5/12 - x**4/6 + 7*x**3/6 + 3*x**2. Let o be j(p). Is -15 at least o?
False
Let o(w) = 460*w - 32. Let a be o(1). Let z = -442 + a. Do z and -13 have the same value?
False
Suppose 4*j + 190 = -5*m, 0 = -5*j - 0*j. Let x be -4 - -9 - 2 - (-1370)/m. Let q = 33 + x. Does q = -1?
False
Let s be (-25483)/17 - (7 + -2). Which is bigger: s or -1503?
-1503
Let c = -0.505 + 0.405. Is -916 >= c?
False
Let r be -18*10/15 + (-17166)/(-12). Is 1418 less than or equal to r?
True
Let q = -34317635/4767 - -7199. Which is greater: q or -1?
q
Let x be 36/(-21152)*(-22)/(-66). Is x <= -1?
False
Let a = -215 + 182. Let d(z) = z**3 - 2*z**2 + 2*z - 31. Let h be d(0). Which is bigger: h or a?
h
Let q = 7205 + -3667343/509. Which is bigger: 2/27 or q?
2/27
Let l = -149.743 - 0.257. Let j = l + 147.1. Is j <= 2?
True
Suppose 282 = 4*n - 2*q, 3*q - 45 = 3*n - 255. Suppose 0 = n*g - 66*g + 15. Is g bigger than -10/3?
True
Suppose 9 = -z - 5*w, z - 35 = 5*w - 44. Let x(h) = -h**2 - 16*h - 37. Let u be x(z). Which is bigger: u or 2?
u
Let c = -114 + 117. Let l be ((-4)/16 - c/(-4))/(-2). Let g(k) = -k**2 - 8*k - 3. Let f be g(-6). Which is smaller: f or l?
l
Let s(c) = c**2 - 15*c + 64. Let z(d) = d**3 - 18*d**2 - 17*d - 31. Let o be z(19). Let b be s(o). Which is smaller: 7 or b?
7
Let t(s) = -2*s - 7. Let d be t(-3). Which is bigger: d or 1/1413?
1/1413
Let r = -98.6757 + -0.0043. Is -1 > r?
True
Let t = 2042/5 + -9214/35. Is t smaller than 146?
True
Let t be -1 - (-109 - -2) - -1 - 0. Suppose 2*r + 5*b = 44, -3*r - b = -t + 15. Let n be (-8 + 2)/((-120)/r). Is n at most 1?
False
Let k be 4078/(-1628) - (70/(-28) + 0). Does 1 = k?
False
Let n be -7 - (-99 - 0) - 4. Let b = n + 61. Is b at least 149?
True
Suppose a + 11 = -3*j + j, -3*a + j = -9. Which is smaller: a or -52/159?
-52/159
Let j(c) = 128*c**2 + 5*c + 2. Let r be j(-2). Let l be 21/r*3/22. Which is greater: l or -1?
l
Let y = 21.416 - 21.216. Let h = 0 + 4. Let s(v) = 3*v - 4. Let g be s(h). Is y less than g?
True
Suppose -1242*d - 4738 = -1265*d. Is d not equal to 1864/9?
True
Let y = 36 + -32. Suppose 0*p + 14 = -2*p - y*n, 3*p + 2*n = -33. Let t = 57 - 70. Does p = t?
True
Let g = 233 + -388. Let w = g + 168. Which is smaller: 2/7 or w?
2/7
Let l = 390 + -391.9. Let p be (-1)/(-2)*(370/(-50) - -3). Which is smaller: p or l?
p
Let w = -557.64 - -209.64. Is 5 greater than w?
True
Suppose 0 = -b - 2*b + 3, -5*g = 2*b - 2. Suppose 0 = 3*i + 73 + 5. Let s be 10/3*12/i + 2. Is g smaller than s?
True
Suppose 4*w - n + 1672 = -1210, -4*n - 2852 = 4*w. Which is smaller: w or -723?
-723
Let a = -0.12 + 0.185. Let j = a - 36.065. Let o = -0.07 + 0.07. Is j <= o?
True
Let b be 18/8*(-40)/15. Let s be 1*b/3 - -2. Let p = 1277/5782 + -15/98. Is s != p?
True
Suppose 0 = 4*b + 152 - 160. Let u be (-970)/(-150) - b/3. Let w = 59/10 - u. Are w and -1 equal?
False
Let q(x) = -x**3 - x**2 - 3*x + 6. Let j(d) = -d**2 - 5*d + 8. Let l be j(-12). Let z = l + 79. Let c be q(z). Is c smaller than -38?
True
Let s = 2 + 3. Suppose 5*t + 20 = 4*t. Let m be (16/10)/((-8)/t). Which is smaller: m or s?
m
Suppose 250*l = 321*l - 217828. Which is bigger: 3066 or l?
l
Let p = -305139/11 + 27740. Are p and -853 unequal?
True
Let p = -1856 - -1852. Which is smaller: -478/137 or p?
p
Suppose 0 = -121*q + 92*q. Let h be 4*7*(-2)/(-2). Suppose q = -0*z + 5*z - f + h, -4*f = -3*z - 27. Is z smaller than -3?
True
Suppose -14*i - 2172 + 7828 = 0. Is i >= 7?
True
Suppose -25*p + 16*p = -819. Let s be (1 - 3)/(5 + (-469)/p). Is s at most 140/11?
False
Let o = 0.44 + -0.14. Suppose 272*t - 276*t = 48. Is t at most as big as o?
True
Suppose 4 = 5*c + h, 5*c - 4*h = 3*c - 16. Let i be (-1 - 2/(-8))*(20 + c). Is i less than or equal to -74/5?
True
Let m be 115/48 - (-24)/((-432)/42). Is m less than 56?
True
Let m be 11/4 - 2/(-8). Let c be m/(-7)*44/(-6). Suppose 4*w - 10 = -2*s, -5*s = 3 - 8. Is c greater than or equal to w?
True
Let o be (((-192)/(-3688))/(-12))/2. Does o = 0?
False
Let u be (-1034)/(-342) - (6 + -3). Let a = -261 - -262. Is u <= a?
True
Let h = 9779 - 166237/17. Are h and -1 nonequal?
True
Let t be 15/(-8 + 3) + 0 + 34. Suppose -33*s = -t - 35. Which is smaller: 21/11 or s?
21/11
Let u be 10832/(-72) - (2 + 6). Let b = 160 + u. Is 19 less than or equal to b?
False
Let b(z) = 2*z**3 - 4*z**2 - 15*z + 8. Let x be b(4). Suppose x*o + 1 = -35. Are -64 and o equal?
False
Let b(o) = -o**3 + 15*o**2 - 17*o + 6. Suppose 2*x = 11 + 17. Let y be b(x). Let n be 2/(8/3) - 9/y. Which is bigger: n or -51?
n
Let z = 179 + -261. Let d = z + 36. Let x = -44 - d. Is x not equal to 0.4?
True
Let s(t) = 2*t - 6. Let a be s(4). Let y(z) = z + 4 + z**3 + a + 0 + z**2 - 18. Let n be y(0). Which is smaller: -1 or n?
n
Suppose -68 = -3*a - 5*s + 23, -s = 3*a - 95. Suppose -30*y + 484 = -a*y. Which is bigger: -483/2 or y?
-483/2
Let p = -1537779/5428885 - -109/385. Which is greater: -1 or p?
p
Let g = 341 + -296.9. Let h = 15 - -29. Let z = h - g. Which is smaller: 2 or z?
z
Let i(a) = -3*a**2 - 26*a - 64. Let y be i(-6). Let x(b) = -b + 6. Let f be x(14). Is f smaller than y?
False
Let u(r) = -5*r**2 - 53*r + 3. Let q be u(-13). Let m = 155 + q. Which is bigger: m or 15/26?
m
Let g(j) = 2*j + 30. Let b be g(-11). Let v(u) = 2*u**2 - 14*u - 19. Let f be v(b). Let k be f - (26/(-4) - -2). Which is smaller: 11 or k?
k
Let q(u) be the second derivative of 2*u**2 + 1/2*u**4 + u**3 + 1/20*u**5 + 16*u + 0. Let b be q(-5). Which is smaller: 0 or b?
b
Let b(p) = -2*p**2 + 40*p + 2. Let u be b(20). Suppose 185 = 3*x - 3*s - u*s, -s = 5*x - 299. Let z = -58 + x. Is -1 equal to z?
False
Let h = 8465 + -12689. Which is greater: -4223 or h?
-4223
Suppose -4*a - 2*o + 1 = -7, 8 = 4*a - 3*o. Let u be 1 - a - (-4215)/(-7). Let m = u - -606. Is 3 != m?
True
Let d = -344 - -14791/43. Let y = 62 + -30. Let g = y + -32. Is d at most as big as g?
True
Suppose -11*u + 3*y = -10*u - 74, 274 = 5*u - 3*y. Is u equal to 26?
False
Let f = 132137 + -14931665/113. Is -2 at least as big as f?
False
Let i = 39.6 - -426.4. Let z = 813 - i. Is -1/3 at most as big as z?
True
Suppose 5*h = 20, -2*h + 212 = -2*o + 3*h. Let d = -173920 + 173825. Is o != d?
True
Suppose -3*u = 4*z - 80, 421*z - 108 = 417*z + 4*u. Let r be 75/(-10)*(-4)/6. Suppose -31 = -r*h + 84. Is h >= z?
True
Let m = -617957358470693/94045370741455 - 3/19670648555. Let d be (-3)/4098*(40/(-25))/(-2). Let t = m + d. Which is greater: t or -6?
-6
Let b = 0.99 - 1. Let m = 41623 + -41622.99. Which is smaller: m or b?
b
Let q(k) = 2*k + 19. Let l be q(-6). Suppose -5*u + 636 = l*u. Let y = u + -52. Which is greater: y or 7?
7
Suppose 31*q + 28 = -f + 33*q, -q = 2*f + 51. Which is smaller: f or -352/13?
-352/13
Let c = 0.11 - -0.03. Let f = 8625/8 + -25891/24. Which is greater: c or f?
c
Let u be (-2)/((-16680)/2756) - (-1)/(-3). Let d = -1101 + 1100. Is u greater than d?
True
Let l(t) = -t**3 + 18*t**2 - 31*t - 13. Let f be l(16). Suppose 4*k + 197 = 4*r + 565, r + f*k + 84 = 0. Is r greater than -87?
False
Let a = -21 - -21. Suppose 4*l - 38 + 38 = a. Suppose l = 2*w - 41 + 3. Is w not equal to 20?
True
Let d(u) = -2*u**3 - 229*u**2 + 106*u - 900. Let b be d(-115). Is 1754/13 less than or equal to b?
True
Suppose 528 = -25*d + 2378. Suppose 64*o = d*o - 10. Which is bigger: -3/85 or o?
o
Let f = 1/342 - -11/342. Let y be 30/(-8) + 1*(-2)/8. Let v be 1/(y/(-5 - -9)). Is v greater than f?
False
Let g = -182.09 + 181. Let f = -2.76 - g. Let s = -0.57 - f. Which is smaller: s or -0.3?
-0.3
Suppose 5*m = -158 + 173. Let z be (-65)/25 + m + 6/10. Which is greater: z or 1/75?
z
Suppose -1892*g = -1894*g + 96. Are g and 40 unequal?
True
Let b = -1/518 + 11427/16058. Which is bigger: b or 1?
1
Let w(p) be the first derivative of -p**4/4 + 16*p**3/3 - 12*p**2 - 9*p - 16. Let l be w(11). Which is bigger: 333 or l?
333
Suppose -5*u - 3*h + 19 = 0, 0*h + 21 = 3*u + 5*h. Suppose 5*x - u = 3, 0 = 5*s - 2*x + 7. Is s less than or equal to -4/5?
True
Let a(f) = -f + 18. Let t be a(14). Suppose 0 = -t*h + 7*h + 6. Let i be 60/(-12) + (1 - -1). Are h and i unequal?
True
Suppose -46*u + 106*u - 3906 = 51*u. Is 435 greater than u?
True
Suppose 4*g - 14 = 2*l - 0*l, -3*l + g - 1 = 0. Let a 