7 - -288307/115. Which is bigger: b or p?
p
Let v = -5 - -13. Suppose -7*f = -11*f. Suppose -5*h + 25 = f, 5*h + 20 = 5*j - 0*h. Is v != j?
True
Let i = -239 - -156. Which is smaller: -85 or i?
-85
Suppose 0 = 3*f + 7*o - 4*o - 6, o = -2*f + 1. Let u be f - 3 - (-8 - -3). Let i be 88/(-170) + 4/10. Which is smaller: i or u?
i
Suppose 130*c - 108*c = 0. Do c and 2/57 have the same value?
False
Let l(j) = j - 8. Let c be l(7). Let z = 0.61 - 0.55. Which is smaller: c or z?
c
Let n be (-21)/(-5)*28 + 5. Let q = 123 - n. Which is greater: q or 0?
q
Suppose -3*o + 3 = 6. Let m be -2*(-19 + 1 + o). Let i be (-10)/m*2/(-5). Which is smaller: i or 1/3?
i
Let n = -17.35 - -17. Let z = n + 1.3. Let t = z + 0.05. Which is greater: 0.4 or t?
t
Let w be -2 + 1 - (-2)/2. Suppose w*s = -3*s - 3, 0 = k + 4*s - 5. Let h = k - 17. Which is greater: h or -7?
-7
Let r = 1623 - 1615. Is r <= 2/5?
False
Let p = 123593/31878 + 5/2898. Let w = -760728/167365 + -2/15215. Let l = w + p. Are 1 and l unequal?
True
Let t = -343/15 + 23. Let b(w) = w**3 - 7*w**2 - 6*w - 13. Let f be b(8). Suppose -2*i = f*i. Is t less than or equal to i?
False
Let c be (-244)/10 + (-4)/(-10). Let d be ((-6)/(-4))/(1026/c). Is d bigger than 1?
False
Let w(g) = -g**3 - 8*g**2 + 8*g + 12. Let h be w(-9). Let r be (-402)/(-20)*7/h. Let n = -41/6 + r. Which is smaller: 1 or n?
n
Suppose 20 - 5 = 3*k. Let o be (-38)/k + 20/(-50). Let i be (-243)/(-684) - (-2)/o. Is i != 0?
True
Let h(r) = -r + 42. Let p be h(32). Let u = 35 - 24. Which is smaller: p or u?
p
Let i = 92.6 + -135.6. Let p = 0 - 0. Is p less than i?
False
Suppose 0 = a - h - 4 - 4, 4*h = -3*a + 38. Suppose a*r - 21 = 3*r. Is 2 > r?
False
Let l = 1/327 - -2069/654. Is l at most 4?
True
Suppose 2*p = 6 + 4. Suppose -p*v = -6*h + 2*h + 13, h = 2*v + 7. Let b = -0.095 - 0.005. Which is smaller: b or v?
v
Let f = -184 - -182. Let j = -0.07 + 4.07. Let d = j + -4.1. Is f at least as big as d?
False
Suppose 26*s - 38*s + 12 = 0. Which is smaller: -2/105 or s?
-2/105
Suppose 12 = 3*n - 5*k, n - 1 = 5*n - k. Suppose d = -4*d - 15. Let g be d/11 - (-1 + 1). Which is smaller: n or g?
n
Let k = -4 - -3. Let r = 1356 + -1263. Which is smaller: k or r?
k
Let u = 138 - 964/7. Let h = -9/13 - -21/143. Which is greater: u or h?
u
Let r(s) = 2*s**3 - 41*s**2 - 68*s + 45. Let a be r(22). Is a smaller than -1/3488?
False
Let o(l) = 7*l**2 + 15*l - 16. Let a = 26 + -15. Let t(w) = 13*w**2 + 29*w - 31. Let d(b) = a*o(b) - 6*t(b). Let f be d(-10). Which is greater: f or -6/13?
f
Let x be 2 + 20544/(-12) - -9. Is x less than or equal to -1701?
True
Suppose -5*h + 3*h + n + 7 = 0, -3*h + 3*n = -18. Suppose 5*c = h + 9. Let o = 8 - 4. Is o less than or equal to c?
False
Let v = 14 - 14. Let j be -1 - 1 - -6 - (-364)/(-90). Which is smaller: j or v?
j
Let s be 159/2*(-8)/18. Let v = 14583 - 218227/15. Let g = v + s. Which is smaller: -1 or g?
-1
Suppose 84 = -2*z + 6*z. Is 6 at most z?
True
Let p(b) be the second derivative of -b**5/5 + 5*b**4/12 - b**3/6 + b + 3. Let v be p(1). Which is bigger: -6/73 or v?
v
Let h = 95.42 - -1.58. Let z = h - 53. Let o = z + -16. Is 1 < o?
True
Suppose 5*r + 2 = -3. Let f = -18 + 12. Let a = 10 + f. Which is smaller: a or r?
r
Let s = -57 - -35. Are -25 and s equal?
False
Let s = 2771 - 2770.62. Which is greater: 5 or s?
5
Suppose 2*p = p + 1. Let f = -1425/56 + 207/8. Which is bigger: f or p?
p
Suppose 2*w - 8 = -0. Suppose -w*b + 7*b = 0. Suppose 6 = -b*k + 3*k. Is k <= 8/7?
False
Let l(j) = -j**2 + j. Let r(o) = -o**3 + o**2 + 4*o + 4. Let h(f) = l(f) - r(f). Let y be h(-2). Are y and -16 equal?
False
Let n = 19.9984 + 0.0016. Is n smaller than 27?
True
Suppose -20 = 3*s - 65. Let m be (-42)/(-7) - 6 - (1 + -3). Suppose -4*n - 2*y = -62, -6*n + m*n = 4*y - 68. Which is smaller: n or s?
n
Let r = 378 + -440. Which is greater: r or -1?
-1
Let c be 0 + -2 + 1 - 0. Let g(s) = -3*s + 42. Let h be g(15). Let x be ((-1)/81)/((-11)/h + -4). Do x and c have the same value?
False
Let r(b) = -b**3 - 13*b**2 - b + 17. Let q be r(-13). Let f = -9 + q. Which is greater: f or 20?
f
Suppose -m - 91 = -3*x - 5*m, m + 42 = x. Let g = x + -27. Suppose 4*u + 2 = o, 0*o = -2*u - 4*o - g. Is 0 greater than u?
True
Suppose 4*g = -12 + 4. Let c be (g/(-4))/(2/12). Suppose 4*l - 7 = 2*u + c*l, -l = 5*u. Is -6/11 > u?
True
Let j be ((-55)/10)/(-11)*(-2)/(-3). Which is bigger: -4/59 or j?
j
Let x(o) = -3*o**3 - 3*o**2 + 8*o - 8. Suppose 3*l = -2*l + 20. Let i be x(l). Let m be 2/(-9) - 84/i. Does m = -5?
False
Let q = -356 + 400.9. Let t = 45 - q. Let d = -8 - -12. Which is greater: t or d?
d
Suppose 3*f = -4*h - 8, -2*f - 3*f + 2*h = -4. Which is greater: f or -4/31?
f
Let o = 6026278 + -174780301/29. Let b = o + 629. Let f be 6/4*6/(-9). Which is smaller: f or b?
f
Let q(k) = k**3 - 3*k**2 + k + 1. Let l be q(3). Suppose -2*c + 2*n = -52, 5*n = -3*c + 56 - 2. Suppose -4*s + c = 7. Is s at least as big as l?
True
Let m = 576/7 + -81. Let h = -1 + m. Is h <= -6?
False
Let g be (-185)/(-35) - 5 - (0 + 0). Which is smaller: -1/4 or g?
-1/4
Suppose 5*b = -491 - 714. Which is bigger: -242 or b?
b
Suppose 2*t = 3*r + 106, -4*r - 43 = -4*t + 161. Suppose 50 = 3*x + t. Which is smaller: x or -1/5?
-1/5
Let k = 558/5 - 112. Let t = -74 + 58. Which is smaller: t or k?
t
Suppose -2 = -2*v - 0*v. Suppose -2*b = -8, -5*b - 16 = -4*h + 44. Let d be (60/(-275))/(4/h). Which is smaller: v or d?
d
Let v = 71.892 + 1.108. Is v > -5/3?
True
Let h = 0.2 + -0.2. Let c = -661.7 + 716. Let d = c - 54. Is h smaller than d?
True
Let x = -559 + 558. Is x less than 3/185?
True
Suppose -13*h - 7 = -20*h. Let r be (h/(-9))/((-2)/4). Let z = 0 - 1. Is z equal to r?
False
Let a(p) = -2*p**2 + 6*p - 3. Let q be a(6). Let z be q/41 + 10/10. Is -1 at most as big as z?
True
Let l = -28 + 10. Let j = 8 + l. Let b = j - -11. Which is greater: -2/11 or b?
b
Let s = -50.7 - -48. Let a = s + -3.3. Is -0.2 at most a?
False
Let x = -339 + 340. Is x smaller than 138?
True
Let y = -0.2313 + -233.7687. Which is greater: y or 0?
0
Suppose -7 = -4*f - 3. Let x be 2/(-4)*f*-1. Suppose -3*a - 16 = -2*h - 5*a, 5*a = -2*h + 28. Are x and h equal?
False
Suppose 0*z = -3*z - 4*r - 163, 4*z - 3*r + 234 = 0. Is z at least -1?
False
Let p = -234 + 109. Let z = p + 29. Which is greater: z or -95?
-95
Let a = 167 + -167. Let u = 1.63 - 72.63. Is a at most u?
False
Let k(q) = -q**2 + 12*q + 66. Let w be k(-4). Let g be (6/8)/((-36)/(-136)). Is w at least as big as g?
False
Let r = -43 + 42. Is r bigger than 1/82?
False
Let h = -52 - -49. Is h less than 0.7?
True
Let p be (-1 + 1)/(2 - 1). Suppose 6*l + 5 - 41 = p. Which is greater: l or 5?
l
Let s = -2/125 + -6232/1125. Let d be 2/(-8) + (-108)/16. Are d and s nonequal?
True
Let j be 0 - (-1 - (2 + 10 - 0)). Suppose 0 = -5*i + 3*y + 14 + j, 5*i - 5*y = 35. Are 2 and i non-equal?
True
Suppose 4*d - 28 = -4*q, q - 14 = -q - 3*d. Let l(c) = -c**3 - 4*c**2 + 3*c - 6. Let k be l(-5). Suppose -12 = -k*g + 12. Which is smaller: q or g?
g
Let r = 25 - 37. Is r at least as big as 1?
False
Let r be (-60)/585*3/2. Which is smaller: r or 4/13?
r
Let s = 28 - 39. Suppose 3*k = -3*k + 150. Let g = s + k. Which is greater: -2 or g?
g
Let j be 6/(-4) + (-26)/(-4). Let h(l) = 7*l**2 + 12*l + 12. Let a be h(-1). Is a bigger than j?
True
Let b be 1*2 - (675/(-9))/3. Is -0.1 bigger than b?
False
Let h = -0.657 - -0.757. Which is greater: h or 89/5?
89/5
Let w = -1 + 21. Let l be (-1)/(-4) - ((-385)/w)/(-1). Is -17 bigger than l?
True
Let k be 1*(0/(-1) - (-23 - 2)). Suppose -k*p = -20*p + 55. Let f = 749 + -2284/3. Which is smaller: p or f?
f
Let s = -64860/287 - -226. Are s and -1 equal?
False
Let k be (-2 + 3)/(2 + -1). Suppose -k - 11 = -3*y. Which is smaller: y or 5?
y
Let v = -0.01 + -0.39. Let j = -1.4 - v. Let g = 2383/10 + -238. Do j and g have different values?
True
Let s = 0.154 - 0.264. Let z = -46 - -45.81. Let b = s + z. Is -0.4 at most as big as b?
True
Suppose -4*b - 16 = -2*b - 5*k, 3*b - 3*k + 24 = 0. Let c = 80 - 79. Let l be 1 + -3 - b - c. Are 4 and l equal?
False
Let x be (1 - -2)*(11 + -9). Suppose -3*b - x = 4*f, 0 = f - 0*b + 2*b + 4. Is -1/49 > f?
False
Suppose -9 = -q - 6. Suppose 5*m - 3*s - 28 = -6, -4*s = q*m + 10. Let x be 0*1*(m - 1). Whic