er: p or 0?
p
Suppose 7*t + 5*b = 2*t + 25, -4*t + 18 = 3*b. Suppose 4*s = 5*q + 4, t*s + 5 = -4*q - 23. Let a(z) = -z**2 - 5*z - 5. Let j be a(q). Is j bigger than 2/17?
False
Suppose 0 = -4*b + 251 - 187. Let j(v) = -v**2 + 10*v - 6. Let i = -36 - -43. Let s be j(i). Is s at most b?
True
Suppose 4*a + 122 = -5*v - 615, 3*v + 15 = 0. Let n be (a/28 - -6)/(-5). Does -1 = n?
False
Suppose -b - 2*b + 18 = 0. Let a be 9/b - 46/20. Let q = -24.387 - -24.187. Is q at most as big as a?
False
Suppose -3*c - 1 = a, 2*a = 3*a + 4*c + 2. Let b = -71.03 - -71. Which is bigger: a or b?
a
Let r be (-1359246)/(-67962) - 11 - (-3 - -12). Is 1 <= r?
False
Let f be -17 - -30 - 114*5. Which is greater: f or -560?
f
Let k = -3530 + 3652. Let t be (-1)/(1/(-123)) - 1. Is k less than t?
False
Let t be (-2110)/(-125) + 287/205. Which is greater: t or 19?
19
Let l = -3 - -23/7. Let c = 38.81 + -12.41. Let n = c + -25. Which is smaller: l or n?
l
Let u = 101 - 84. Suppose -f - 3*c + c = 11, u = -3*f + 2*c. Let w = -23 + 26. Which is smaller: f or w?
f
Suppose 5*x = -20, 0 = -i - 3*i + x - 420. Let g be -1*4/(-8) - i/4. Suppose 0 = -3*u - g - 30. Is u bigger than -17?
False
Suppose 3*x = -9*x - 9*x - 21. Let y be 4/14 + 30/189. Do x and y have different values?
True
Suppose -12 = 75*k - 98*k + 11. Do -781 and k have the same value?
False
Let r = -11832 - -11832.04. Do 15 and r have different values?
True
Let d be (-9)/(-24) - (44102646/(-144))/(-49). Is -6251 equal to d?
False
Suppose 0*l - 393 + 15814 = -7*l. Is -2202 greater than or equal to l?
True
Suppose -5*t - 376 = -t. Suppose 4*w + 20*f = 15*f - 331, -3*f = 5*w + 443. Is t at most as big as w?
True
Suppose j + 3*v = -1392 + 1348, 3*j + 84 = -3*v. Suppose 1 = 3*i + 52. Is i less than j?
False
Suppose -3*p = -326 + 1004. Let z = p - -141. Does z = -85?
True
Let l = 159 - 56. Let x(y) = -8*y + 199. Let d be x(12). Is l greater than d?
False
Let o(a) = -a - 15. Let i be o(-8). Let p = 39 - 20. Suppose -14*f + p = 145. Is f greater than i?
False
Suppose 208*s + 114 = -94. Is 9/1763 > s?
True
Let b = 8.336 - 0.336. Let r = 14 + -169/12. Is r at most b?
True
Let d(j) = -407*j - 3974. Let p be d(-9). Is -311 != p?
False
Let w = 6.96 - 6.9339. Let m = w + 0.0739. Is m smaller than 125?
True
Suppose -3*g - 2*k - 171 = 0, -22*g = -19*g + k + 168. Let i = -93 - -37. Is i at most as big as g?
True
Let t(i) = i**3 - 21*i**2 - 23*i + 26. Let u be t(22). Suppose -b = -u*b. Suppose -6*r - 3 + 3 = b. Which is greater: r or -1/53?
r
Let c(h) = 2*h**3 + 13*h**2 - 10*h - 17. Let g be c(-7). Suppose -g*j + 0*n = 3*n + 175, 3*n + 15 = 0. Which is smaller: j or -44?
-44
Suppose 181866 + 95612 = -337*m + 80333. Which is smaller: -564 or m?
m
Let t = 5523/5 - 1088029/985. Which is bigger: 0.1 or t?
0.1
Let r(u) = -2*u**2 + u - 4. Let d be r(-3). Let p be 1/(-5) + (20/d - -3). Let f = 53 - 154/3. Which is greater: p or f?
p
Let j be 0/((-1)/(-1)) - 1. Suppose -4*f + 3 + 9 = -x, 0 = 5*f + 5. Let d be (-24)/x*(-2)/141*-2. Which is smaller: j or d?
j
Let v be ((-8)/(-30))/(52/(-130)) + 1 + 0. Is -1155 at least as big as v?
False
Let y be ((-5212)/3)/(((-9)/15)/(180/200)). Do 2605 and y have the same value?
False
Suppose -129*f - 253 = 19759 + 9142. Is f bigger than -1577/7?
False
Let v = -9794 + 9876. Is -4 >= v?
False
Let w be -4*(1 + 1 - 3). Let c be ((-288)/3)/w*1/1. Let z = -66 - c. Is z equal to -41?
False
Let c(a) = -a - 7. Let h be c(-7). Suppose -3*v + 3 + 0 = h. Let k be (-3)/(-4) + (-10208)/13440. Which is smaller: k or v?
k
Let f(a) be the second derivative of -a**3/6 + 31*a**2/2 + 9*a. Let p(k) = -k + 61. Let s(i) = 11*f(i) - 6*p(i). Let h be s(-5). Is 1/2 bigger than h?
True
Let h be (-24)/(-60) - 246/(-10). Suppose -5*x = h, 14*p - x = 17*p + 17. Which is bigger: p or -3?
-3
Let h = -440 - -516.7. Let b = 50 - h. Which is smaller: b or 1?
b
Suppose 16117 + 6545 = 94*m - 10426. Are m and 354 nonequal?
True
Suppose 1829*q + 4*s - 7784 = 1833*q, -3*s = q + 1922. Which is bigger: -1938 or q?
-1938
Let k(c) = -c**2 + 3*c + 10. Let u = -76 + 81. Let h be k(u). Suppose h*w = -3*w + w. Which is smaller: w or -1/30?
-1/30
Suppose 2*t = -16 + 28. Suppose 20 = 4*y, t*r - 8*r = 4*y + 116. Is -68 smaller than r?
False
Suppose 3*a - v - 52 = 588, 4*a = 4*v + 848. Suppose -13*n - a - 475 = 0. Is n < -53?
False
Let x = -27.031 - -2.031. Let n = -14 - -8. Let b = 5 + n. Is x less than or equal to b?
True
Let g = 0.04709 + 0.44681. Is 0.1 >= g?
False
Suppose -4*d = -d + 642. Suppose -3073*u + 5*t = -3076*u - 562, 690 = -3*u + 3*t. Are u and d equal?
True
Let j(o) = 2*o**2 + 68*o - 67. Let a be j(-35). Suppose 2*t + 152 = -a*z, -8*z + 4*t = -11*z - 154. Which is smaller: z or -52?
-52
Let g = -213/80 - -49/16. Is -115 at most as big as g?
True
Suppose 5*o - t = -0*t + 795, 0 = -4*o - 2*t + 636. Let s = -441 + 544. Let d = s - o. Which is smaller: -55 or d?
d
Let z(q) = 6*q**3 - 20*q**2 - 10*q - 18. Let w be z(4). Is w >= -14?
True
Let a(d) = d**3 - 17*d**2 + 19*d - 29. Suppose -36 = -3*n + 4*p, 4*n - 4*p = -0*p + 52. Let t be a(n). Is 59/3 at most t?
False
Suppose -31*z + 9755 - 9538 = 0. Which is smaller: 4/39 or z?
4/39
Let d = -83.8348 + 0.0348. Let m = -75 - d. Let v = -8.77 + m. Is v greater than or equal to 0?
True
Let w = 22611 - 519933/23. Are 5 and w nonequal?
True
Let r(s) = -2519*s - 4248. Let d be r(-2). Which is smaller: d or 787?
787
Let z = -72.105 - -72. Let w = 0.188 - z. Which is smaller: w or -1?
-1
Suppose 0*s = -3*s - 213. Let j = 1736 + -1808. Do j and s have different values?
True
Suppose 102*k = -5*g + 104*k + 16, -26 = -g + 8*k. Is g not equal to -49/5?
True
Let v = -0.00734 + 0.12734. Which is smaller: -146 or v?
-146
Suppose 6*m - 40 = -2*m. Suppose -o + 12 = -5*u - m, 4*u = -12. Suppose o*k + 8 = -t, -t - 22 = 5*k + t. Which is greater: -7 or k?
k
Suppose -129 - 1470 = 41*c - 41. Let l = -9 - -5. Does l = c?
False
Let j(a) = -5*a - 57 + a + 12*a. Let v be j(-3). Does v = -81?
True
Suppose 341*j + 344*j - 690*j - 355 = 0. Which is smaller: j or -353/5?
j
Let a be 5*-2*2/10. Let k be (-1 - 2 - 0) + -4*23. Let r be 0 - -1 - k/(-75)*3. Is r at least a?
False
Suppose 6181 = -528*f - 2140 - 1711. Let i = 13 + -5. Let m(x) = -x**2 + 6*x - 4. Let j be m(i). Which is smaller: j or f?
j
Let w = -4358 + 4369. Suppose a - 3*g + 10 = 6*a, -5*a + 30 = -g. Let n be (a + (-2 - 2))/((-1)/w). Which is greater: n or -9?
-9
Suppose 9*c = 15*c + 144. Let x be 13/c + 2*(-6)/(-36). Which is smaller: 1 or x?
x
Suppose -691*i + 3*d = -689*i + 1579, -4*i = -3*d + 3167. Is -0.3 at most i?
False
Let c = -31 - -43. Suppose x + 13 - c = 0. Let w = -195 - -2539/13. Is x <= w?
True
Let n = 40671 - 39835.32. Let d = n - 832. Are d and -1/3 equal?
False
Let c = -103 + -11. Let s(y) = y**2 + 41*y - 34. Let o be s(-39). Which is greater: c or o?
o
Let r = 106318 + -641297/6. Let w = 563 + r. Let j = 1 + -2. Is j bigger than w?
True
Let z(l) = -87*l + 958. Let x be z(11). Which is bigger: x or 17/121?
x
Suppose -1387 = 3*w + 3*a - 1408, 5*w - 29 = -4*a. Is w smaller than 35/34?
True
Let n = -0.02532 + -91.93468. Let d = -92 - n. Which is smaller: d or 5?
d
Let v(o) = -o**3 - 15*o**2 - 39*o - 3. Let z be v(-12). Let p be 8 + -10 - (3 + z/(-6)). Which is smaller: p or 7/15?
7/15
Let w be -6 + 9 + (1 - 2). Let h(r) = -r**3 + 5*r**2 - 4*r - 2. Let f be h(w). Let x be (-3 - -27)/(-3)*9/(-18). Which is bigger: f or x?
x
Let q = -28434 + 38468. Which is bigger: q or 10033?
q
Suppose -4*z = -424 + 456. Let i be z/(-42)*90/(-60). Which is smaller: i or 1/5?
i
Suppose -n - 4*i = 0, -4*i + 8 = -n + 4*n. Let t be (-2)/(-44)*n - 6/(-3). Which is smaller: 3 or t?
t
Suppose s + 2*c - 8 = 0, -c + 6*c = -3*s + 27. Let j = 44263 - 44250. Which is smaller: s or j?
j
Let g(m) = -5*m**3 - 8*m**2 - 79*m - 54. Let r be g(-8). Which is smaller: r or 2625?
2625
Let c = 49 + -50. Let g = -3853/4970 - -52/71. Let h = 11/210 - g. Are c and h equal?
False
Suppose 449605 + 131437 = 201*l - 328885. Is l at least as big as 4529?
False
Let d = -6465 - -4119. Which is smaller: d or -2345?
d
Let r = 69/187 - -7054/187. Let u be (65761 - 0)*3/5181. Let f = u - r. Which is smaller: f or 0?
f
Let v(i) = i**3 - 2*i**2 - 1. Let r be v(2). Let j = 615/46 + -38837/2898. Is j at most r?
Fal