3 - 55*q**2 + 4*q + 70. Let b be w(0). Is p >= b?
True
Let k = 743 - -282. Let m be k/135 + -8 - 2/(-3). Is m less than 0?
False
Suppose -b - 5*d - 52 = -11, -117 = 5*b + 3*d. Suppose 3*v + 5689 = 4*a + 237, -20 = 5*v. Let q = 1337 - a. Is b at least q?
True
Suppose 4*m - 8*p = -2608, -3*p = -18*m + 13*m - 3232. Which is greater: m or -643?
-643
Suppose -167 = -3*k - 2*s, 4*k - 115 - 107 = -2*s. Suppose -23*j + 54*j = 9548. Let w be 3376/j - (-10)/k. Is 11 > w?
False
Let a = 3539/2 - 201755/114. Which is bigger: 1 or a?
1
Let w(y) = 158*y + 1959. Let f be w(-12). Is f < 677/11?
False
Let i be ((-30)/(-4))/(40/32). Let y be i/21 + (-1188)/(-154). Which is smaller: y or 60/7?
y
Suppose -5*h + 2 = n, -406*h - 3*n - 4 = -401*h. Which is smaller: -40/419 or h?
-40/419
Let l(j) = -j**3 - 70*j**2 - 148*j + 403. Let i be l(-68). Is i greater than or equal to 1217?
True
Suppose 0 = 11*n - 166 + 1585. Which is smaller: -126 or n?
n
Let u be (23/(-3))/((-9)/54). Suppose 2*a + 16 = 6*a - f, 0 = -3*a + f + 11. Suppose 2*y - u = a*p, y - 5*p = 22 + 11. Is 13 > y?
False
Let f be (-1042)/(-2) - (21 + -22 + -8). Which is bigger: f or 533?
533
Let l(f) = -f. Let d be l(-9). Let q(b) be the third derivative of -b**5/60 + 11*b**4/24 + 17*b**3/6 - 11*b**2. Let s be q(d). Is s < 35?
False
Let d = -233.976 - -233. Let f = -0.024 + d. Which is smaller: f or -2/97?
f
Let u = -12620 + 12620.1. Is 1401.9 at most u?
False
Let p(h) = h - 10. Suppose 5*v + 3*u - 45 = 0, -4*v + 5*v = -u + 9. Let c be p(v). Let o = 23387/23 + -1017. Which is bigger: o or c?
o
Let r be (-13260)/(-585) + (-2)/(-5 - 1). Let t = 34 - 30. Suppose 7*z - t*z - 2 = -y, -2*y = z + 1. Is z greater than or equal to r?
False
Let w = -49 + 18. Let g = 1.2954 + -1.189. Let z = g - -0.0936. Which is bigger: z or w?
z
Let q = 32058563/739 - 43381. Do q and -1 have different values?
True
Let n(p) = 51 - 67*p + 2*p**3 - 9*p**2 + 75*p + 37*p**2. Let m be n(-14). Is m != -63?
True
Let p = -1576 - -83536/53. Is p bigger than -1?
True
Let l = 485 - 462. Let z be 2304/60 - (-4)/(-10). Let m = z - 14. Is m < l?
False
Let n = 6911 + -338635/49. Suppose 7 - 2 = -5*w. Which is greater: n or w?
n
Let f = 0.05737 + -15.05737. Is f smaller than -13?
True
Let u = 120 - 106. Let p = -2.06 - -21.86. Let g = 20 - p. Is u equal to g?
False
Suppose m = 3*x + 58, 0 = 4*x + 5*m - 3*m + 94. Let o = x + 20. Suppose 1 = 2*u - 3. Is o smaller than u?
True
Let z be (-4)/(-32) + 117/24. Suppose z*i - 5 = 5. Let x(b) = b**3 - b**2 + 4*b - 4. Let k be x(i). Are 8 and k nonequal?
False
Let t = 89.8 + 14.2. Let u = 129347 + -129450.977. Let y = t + u. Is y equal to 0?
False
Suppose 106 - 169 = -7*w. Suppose 155 = -w*f - 313. Suppose 0 = 5*n + 120 + 145. Is n bigger than f?
False
Suppose 7*f = -8*f + 300. Let u(y) = 2*y - 83. Let h be u(f). Is -44 less than h?
True
Suppose -60 = -3*v + 45. Let p = -31 + v. Suppose 0 = -p*d + 33 + 11. Which is greater: d or 12?
12
Let m(o) = -o - 2. Let r be m(-3). Let u = 121 - 100. Suppose -5*g = 3*w - 21, 9*g = 8*g + 5*w + u. Is r >= g?
False
Let n be (27/(-6) + 2107/490)/((-9712)/(-10)). Which is greater: n or 0?
0
Suppose -773 = -8*d - 173. Suppose 5*z = -0*z - d. Let j be (324/z)/1 + (-6)/(-10). Which is smaller: -20 or j?
j
Let p = -103 + -18. Let o = p - -103. Let k = -18.1 - o. Which is smaller: k or 1?
k
Let p = -0.0074 + -0.2436. Let r = -2.051 - p. Which is bigger: r or 0.08?
0.08
Suppose u = 5*m + 8706, -m - 744 - 996 = u. Which is smaller: m or -1743?
-1743
Let y(d) = -14*d + 28. Let z(r) = 9*r + 23. Let q be z(-2). Let k be y(q). Suppose 10 = -2*a + 5*v - 14, 2*a - 3*v = -16. Does a = k?
False
Let v = -24 - -27. Suppose -1 = 2*g + v. Let o = -2274 - -2270. Which is greater: o or g?
g
Let y = 414673/9932 + -3/2483. Suppose -8*h + 9*h = 41. Is h at least y?
False
Let f = -0.7 - 45.3. Let m = f - -14. Let a = 32.14 + m. Is 0.1 at least as big as a?
False
Let s = -51554825/183118 - -5/14086. Let n = s + 1079622/3835. Is 1 at least as big as n?
True
Let y = 3 - 1. Suppose -y*n + 69 = 5*x - 1, 4*x - 56 = 2*n. Let p(d) = -4*d + 1. Let s be p(-3). Does s = x?
False
Let s(b) = b**3 - 11*b**2 - 13*b + 5. Let f be s(12). Suppose 3*r - q - 3*q = -239, 0 = -3*r - 3*q - 225. Let m = -83 - r. Which is smaller: m or f?
f
Let l be (-3)/(-1) - (-107 + -16). Let c = l - 184. Let m = c + 58. Is -10/7 < m?
True
Let a be 3 - (3 - 0) - -6. Suppose a*h = -8 + 2. Let l be (-250)/40 + (-5)/(-20). Is h at least as big as l?
True
Let i = -11 - 528. Is -538 at least i?
True
Suppose 0 = -d + 5*q + 277, 5*d - 2206 = 5*q - 761. Which is smaller: d or 285?
285
Let t be (7/((-7)/(-3)))/(12/596). Let f = t - 152. Is -17 at least f?
False
Suppose -3*f = 17*f + 27260. Is f less than 0.2?
True
Let s = -0.03701 + 0.03701. Is s equal to 84?
False
Let a be 1/(-3) + (-79)/(-249). Let b(p) = 2*p**2 - 225*p - 813. Let o be b(116). Are a and o nonequal?
True
Let h(j) = 4*j**3 + j**2 - 1. Let f be h(1). Let m be (-25)/(-9) - 1606/584. Are m and f non-equal?
True
Let p = 283 - 306. Suppose -286 = -5*j - 3*s, 2*s - 47 = -j - 2*s. Let i = j + p. Is i smaller than 36?
False
Let m(i) = i**2 + 10*i + 26. Let o be m(-12). Let p = -40 + o. Let s be (-1311)/(-95) - (-2)/p. Which is smaller: 6 or s?
6
Let d = 1919 - 1919. Is d greater than or equal to 10/127?
False
Let c = 134 - 134.22. Let h = -2.78 + c. Which is smaller: -3.1 or h?
-3.1
Let x = 3/3902 + -31375/206806. Let l(s) = -s**3 + 2*s**2 + 8*s + 1. Let u be l(4). Which is smaller: u or x?
x
Suppose 155*l - 144*l - 561 = 0. Which is greater: l or 78?
78
Let i(r) = 35*r**2 + 1041*r + 18. Let l be i(-31). Which is smaller: 1384 or l?
l
Suppose 5*b + 29*b + 622944 = -8*b. Which is smaller: b or -14833?
-14833
Let y be (-4 - 2994/(-30))*-5. Let v = y - -121667/254. Which is greater: 1 or v?
1
Let p = -520 + 548.7. Let s = p - 29.1. Which is bigger: s or -0.8?
s
Suppose -5*f + 0*v + 103 = 2*v, 0 = -5*v + 20. Suppose 79*g + 291 = -19*g + g. Which is greater: g or f?
f
Let h be 8 + -5 + (4 - 8). Let m = 46 + -45.674. Let y = 0.45 - m. Is h greater than y?
False
Suppose -4*k = -4*p - 8, -2 = -3*k + 2*k + 3*p. Let z be (5 - (-6 + 7)) + (-82 - k). Is z at most as big as -82?
False
Let p = 262293021/95 + -2760950. Let r = -330/19 + p. Let n be 12 - 2 - (-1 + 0). Which is smaller: n or r?
n
Let p be 52/(-364) - 15/84*-1538. Which is smaller: 275 or p?
p
Let g(t) = 3*t + 6. Let r be g(-5). Let c = r - -12. Suppose c*w + v = 0, 2*v = w + 4*w. Which is greater: w or -6?
w
Let q be (24/(-5952))/(18/(-16)*2). Let n = q + 1/279. Is -1 >= n?
False
Suppose -2*t - 151 = -x, 7*t - 4*t + 249 = -3*x. Let o = t - -79. Let l = 2 + o. Is 4 less than l?
False
Let a be 3/(-15) + 17/((-425)/(-15255)). Is 614 at least a?
True
Let z = 79.22 - 79. Let n = 2971 + -2974. Which is bigger: z or n?
z
Let w(z) = 7*z**3 + 28*z**2 + 26*z + 73. Let u be w(-5). Is -232 greater than u?
False
Suppose 5*f - 2*v = -10, -2*f + v - 4*v = 4. Let l be 0/(f + (-4 - -4)). Which is bigger: -6/73 or l?
l
Let s = 0.20568 + -38.20568. Are s and -96/5 equal?
False
Let z(f) = 14*f - 9. Let y(u) = 72*u - 48. Let j(g) = -2*y(g) + 11*z(g). Let x be j(-1). Which is bigger: x or -6?
-6
Suppose -6*i = -14*i + 40. Suppose n - 30 = 4*r, 2*r - 5*n - i = -11. Which is greater: r or -11?
r
Let r be (-1)/(2 + 0)*26. Let q(w) = -5*w**3 - w**2 + 3*w + 4. Let o be q(-1). Suppose 0 = -5*g - o*m + 3*m - 42, 0 = -5*m + 20. Is g at most as big as r?
False
Let s = 0.87 - -0.13. Let q = -0.59 + 0.615. Let o = -0.027 + q. Is s less than o?
False
Let d = -1 - 4. Let r = 3 + d. Suppose 1712 - 4024 = -136*i. Which is smaller: r or i?
r
Suppose -4*f - 11604 = -m, 5*f - 46427 = -4*m + 10*f. Let a = 16111905/1388 - m. Which is bigger: -1 or a?
a
Let x be 1/((-2)/(-4)) + 0. Let g(q) = -16*q - 148. Let o be g(-30). Suppose 3*r - 338 = -o. Is r less than x?
False
Suppose 7*k = 1141 - 112. Suppose -43 = 4*u - k. Suppose 2*y = 3*y + 5*i + u, 10 = -3*y + 2*i. Which is greater: y or -5?
-5
Let n = 8652 + -12860. Is n bigger than -4210?
True
Let v = 10528 + -11174.9. Let l = v - -698. Let t = 51 - l. Which is bigger: 27 or t?
27
Let x = -62.36 + 85.1. Let c = 23 - x. Let o = -0.46 + c. Is o at most -1?
False
Let p be (-1)/1*(4 + -8). Let q be p/(-26) + 33/(-39). Let n = 77967/28