= -2329 + n. Is f < -1?
False
Let b be (-172)/(-387) + (-4)/9. Is -350 greater than or equal to b?
False
Let r = 605699 - 605699. Let w be (-89)/94*-2 + -1. Which is smaller: r or w?
r
Let s(c) be the first derivative of -c**5/60 + 5*c**4/24 - c**3 - 13*c**2 + 4. Let p(h) be the second derivative of s(h). Let j be p(4). Are 0 and j non-equal?
True
Let u be 3*-1 - 3*69*(-184)/168. Does u = 223?
False
Suppose -10*p - 109 = -9. Suppose x - 6 = -2*x. Suppose 0 = 5*z - x*z + 24. Which is smaller: p or z?
p
Suppose -3*z + 4*j + 32528 = 0, -4*z + 78*j = 83*j - 43443. Which is greater: 10853 or z?
10853
Let v(a) be the first derivative of a**4/4 + 29*a**3/3 + 53*a**2/2 - 43*a - 20. Let n be v(-27). Which is smaller: -14 or n?
n
Let q(w) = -7*w**3 - 244*w**2 + 32*w - 207. Let j be q(-35). Which is smaller: 7 or j?
j
Suppose 4*y + 3*z = 4990, -3*z = 55*y - 58*y + 3753. Is y >= -4?
True
Let v be (584/(-73))/(4/(-288)). Is 577 < v?
False
Let g(a) = -a**3 + a**2 + 2*a - 19. Let o(k) = -k**3 - 12*k**2 - 12*k - 11. Let j be o(-11). Let u be g(j). Let t = -4 - u. Do t and 14 have different values?
True
Suppose 2*t = -3*l + 4735, 4755 = 97*l - 94*l - 3*t. Let p be -1 + 0 - 31609/20. Let v = l + p. Is 1 at most v?
False
Let b = -264 - -333. Let g = -19 + b. Is g <= 49?
False
Let s = -20 - -1480. Which is bigger: 2917/2 or s?
s
Let n be ((-441)/42 - -11)/(2 + 10/(-4)). Is -1/993 at most n?
False
Let k = 11 - 11.075. Let y = k - -0.275. Let b = 4 - 4.04. Which is greater: b or y?
y
Let x be 356/(-14) + 129/301. Let i be (6/x)/(81/(-135)). Is 231 at least as big as i?
True
Let g = -55 - -54. Let c be (2 - (-87)/(-6))*(g + -1). Suppose 5*u - j + 55 = 0, u + 0*j = 3*j - c. Is u less than or equal to -7?
True
Let x = 384 - 254. Let g = 775 + -645. Is g greater than or equal to x?
True
Let q be 3/(-5 + (-217)/(-56))*285. Are -760 and q unequal?
False
Let w = -40056/23 - -1036846/621. Is w < -71?
True
Suppose 2 = 2*y - 16. Suppose -50*a + 63 + 222 + 115 = 0. Which is bigger: y or a?
y
Let t be (-17)/((-204)/(-248)) - 0/1 - -6. Is -0.4 bigger than t?
True
Let q(v) = v**3 - 2*v**2 - 14*v - 7. Suppose 45*g - 49*g + 20 = 0. Let z be q(g). Is z smaller than -12/7?
True
Let b = 5628 - 5629. Let a = -1.3 - 5.5. Let w = 12.6 + a. Which is smaller: w or b?
b
Let y = 13775 + -15312. Is y at most -1537?
True
Let d(i) = 6*i + 13. Suppose 18*z - 40 = 23*z. Let f be d(z). Let m be 28*(f/(-4))/7. Do m and 34 have the same value?
False
Let n = 33 - 14. Let m be (3/(-15))/(7/((-21)/(-5))). Let p = m + -13/100. Which is bigger: n or p?
n
Let k be ((-3366)/(-12))/(-33) + (-18)/(-2). Which is smaller: -38/85 or k?
-38/85
Suppose 146*j = 145*j + 3*y - 28, 5*j - 2*y + 49 = 0. Is j < 522?
True
Let k = 610.4 + -725.5. Do 2/7 and k have different values?
True
Let x be 14/(-21)*(-12)/(-10). Let s be (4 + (-55)/(-45) + -5)/((-38)/57). Which is smaller: s or x?
x
Suppose -1297 - 1382 - 2193 = -29*q. Which is smaller: 169 or q?
q
Suppose 444 = -4*w + 4*k, w + 5*k + 44 + 49 = 0. Which is smaller: w or 71/2?
w
Let h be (4 - 0)/(42 - 5). Let r = -483 + 343. Let n = -140 - r. Which is smaller: n or h?
n
Let n = -29 + 168. Suppose p - n - 74 = -5*k, -48 = -k - 2*p. Which is greater: 39 or k?
k
Let t = -59.2109 + 1.9109. Is -2/29 greater than or equal to t?
True
Let t = 11.8 - -17.2. Let p = t - 38. Let z = p - -7. Is z at least as big as 0.11?
False
Let q = 1786.5 - 1786.4. Let p be (-1 - 0)/((-3)/6). Is p > q?
True
Let w = -20.1 + -238. Let v = 240 + w. Let j = v + 18. Which is greater: -3/7 or j?
j
Suppose 14*w = -22*w. Which is smaller: w or -1/5639?
-1/5639
Let l = 707 - 727. Let z = 243.1 - 232. Let q = z - 11. Is l less than or equal to q?
True
Let r = -0.3749 - -0.4749. Is r not equal to -11648?
True
Suppose 2*x - 8*x = -24. Suppose 0 = -5*a - 5*w + 15, a + w - x*w + 17 = 0. Let f be a/(-26)*(31 + 5)/(-4). Which is smaller: f or -2?
-2
Let u = -9 - -39. Let t(k) = k**2 - 52*k + 28. Let y be t(0). Is u at least as big as y?
True
Suppose -26 = -3*c + m, -5*c + 33*m = 36*m - 62. Suppose 0 = 5*k - 25. Suppose -3*z + 3*v + k = 4*v, 0 = -5*v + c. Is 1/76 != z?
True
Let v = 0.6 - 0.8. Let x be (-4 - 0)*1 - -135. Suppose x - 11 = -15*l. Is v > l?
True
Let k = 825 - 821.47. Let n = 0.795 - 1.265. Let m = n - k. Is 6 less than or equal to m?
False
Let d(v) = -2*v**3 - 12*v**2 - 5*v - 18. Let x be d(-14). Let i be 3 - (-1 - (-2 + x/(-16))). Let r = -203 - i. Which is smaller: r or 0?
r
Let b(s) = -s + 3. Let u be b(4). Let l = -445 - -718. Let d = -271 + l. Which is smaller: d or u?
u
Let l(b) = -214*b + 90. Let z be l(0). Is z less than 627/7?
False
Let f = -83 - -187. Let r be 3140/35 + (-2)/(-7). Let a = f - r. Are a and 15 non-equal?
True
Let j = 12499.8024 - -0.1976. Which is greater: 0 or j?
j
Suppose -5*k = 4*a + 34, 3*a = -k - 8 - 1. Which is greater: 10/313 or a?
10/313
Let r = -20 - -6. Let v = -20 - r. Let g = 316079/4 + -79020. Which is smaller: g or v?
v
Let l = 512 + -266. Let q be l/21 + 2/7. Let f = -271 + 282. Is f != q?
True
Let a = -2 + 8. Let i be a/24 - 287/(-4). Suppose 5*h - 17 + i = 0. Is h less than -8?
True
Let k be ((-56)/(-4))/(-33 - -31) + 74/10. Which is smaller: k or 12433?
k
Let c(n) = -n**3 + 8*n**2 - 8*n + 8. Let u be c(8). Let k be 12/14*875/(-1125). Which is smaller: u or k?
u
Suppose 0 + 4 = -2*t. Let n be t/(-6) + 29/3. Let k(x) = -x + 12. Let c be k(n). Is 4/3 bigger than c?
False
Let u = 278.3 - 278.2826. Is -5 at least as big as u?
False
Let a(r) = -r - 1. Let u(k) = 5*k + 4. Let z(b) = 4*a(b) + u(b). Let o be z(3). Let f = -1437/2 - -719. Is o > f?
True
Let i = -10362 - -7242. Is -3122 at most as big as i?
True
Let j = 1666 + -1392. Is j less than 269?
False
Let u be 3/(2*(-2)/4). Suppose -2*w = 5*b + 23, -5*w + 10*b - 145 = 5*b. Let m be -5 + (w/(-8))/(6/8). Is u > m?
False
Suppose -35*y = 138*y - 44*y + 129. Which is bigger: -4/537 or y?
-4/537
Suppose -87*v + 29*v + 590355 = 77*v. Which is smaller: v or 4372?
4372
Let d = 73 + -27. Suppose 2*x + d = -3*p + 281, 4*p = -20. Let f = x + -123. Is 17/9 bigger than f?
False
Let n be ((-4)/4 - -2)*20. Which is bigger: n or 0?
n
Let u = -28395/8 - -3550. Let m be (-5)/(-7) + -1 + 0. Which is bigger: m or u?
u
Let x(b) = -b**3 + 6*b**2 + 9*b - 15. Let f be x(7). Let i = 29821501 + -25974522439/871. Let j = i - 74/13. Is j < f?
False
Suppose -14 - 34 = -3*d. Suppose 374*f = 1853*f - 23664. Is f <= d?
True
Let a be (8/4 - 0)*((-217)/14 + 11). Let c be (-2)/((-2)/5*1). Suppose 5*j = -0*m - 2*m - 35, -j + c*m = -20. Which is bigger: j or a?
j
Let s(i) = 19*i**2 - 43*i + 11. Let b be s(8). Let c = b + -7099/8. Which is smaller: -0.1 or c?
c
Let r = -2414 + 2426.2. Which is greater: r or -1?
r
Let z = -0.1 + -4.9. Let r = -181 - -454. Let s = -272.9 + r. Is s < z?
False
Suppose 360*s = 352*s - 6216. Let r = s - -777. Let y = -50/23 + 1461/598. Is r greater than or equal to y?
False
Suppose 4*n - y = -4399, 4*n - 60*y = -66*y - 4434. Which is smaller: -1099 or n?
n
Let j = 19 - 15.1. Let p = -5.2 - -1.2. Let r = j + p. Which is smaller: 3 or r?
r
Let h = -0.0483869 + 313.0613869. Let c = h + -313. Are 3 and c nonequal?
True
Let j(a) = a**2 - 199*a - 905. Let z be j(133). Is z at most as big as -9682?
True
Let p = 0.052 - -1.288. Let a = 90.34 - p. Let u = a + -93. Which is greater: u or 2?
2
Let i be (-16)/24*(-2 + 20/(-5)). Suppose 6*s - 3*s - 103 = 5*u, 5*u + 99 = i*s. Let k be 2/8*(-91 + 1). Is k greater than u?
True
Let s = 3 + -2. Let i = -103 + 104.22. Let d = 9.22 - i. Which is greater: d or s?
d
Suppose -2*r - 7 = -2*n + 511, n = -3*r - 777. Let g = r - -260. Which is greater: g or 1/356?
g
Let a be -9 + (-3 - (-6 + 3)). Let y(o) = -9*o - 3 - 26*o**2 + 45*o**2 - 21*o**2 + 0*o. Let t be y(-5). Which is greater: a or t?
t
Let a(o) = -o - 21. Let g be a(-11). Let k = g + 12. Suppose -k*h + 3*h + 1 = 0. Which is smaller: h or 3/20?
h
Let v = -8.5 + -7.2. Suppose -494 = -521*h + 27*h. Which is greater: v or h?
h
Let g be (-81)/(-12)*192/(-144)*62/3. Which is smaller: -212 or g?
-212
Let v be (-30)/350*5 + (-195)/35. Which is smaller: -5/31 or v?
v
Let k = 123737 + -2722681/22. Is k less than -22?
False
Let x be (6/(-5))/((-33)/270). Let h = 424474/51755 + 78/4705. Let w = h - x. Is w > 1?
False
Let s = 175 + -90. Let h 