 = -3*p - 8, p - 3*f = -12. Let j = p + 3. Let a(y) = -y + 1. Let d be a(j). Which is smaller: d or 0?
0
Let j be 2/(-5) + 0/1. Let c = -5 - -3. Which is smaller: c or j?
c
Let d be 291/9 + 8/12. Suppose 0 = -p - 2*p - d. Which is bigger: p or 0.1?
0.1
Let b be 1*(-1 - (-32)/30). Suppose 0 = 4*v + 2*o - 4, -20 = -o - 4*o. Which is smaller: v or b?
v
Let q = 2 + -1. Suppose 0 = 3*g - 10 + q. Let u be (g/4)/(0 - 3). Which is smaller: u or -0.1?
u
Suppose 4 - 35 = 5*c + x, 2*c - 2*x = -22. Let o be 2*1 + 10/c. Let d = 10 + -10. Is o at most as big as d?
False
Let z be (-12)/(-105)*(-5)/(-2). Let n = -15 + 14.95. Let c = 0.95 - n. Which is bigger: z or c?
c
Let k be -6*(-3)/12*6/27. Which is smaller: k or -7?
-7
Let o = -0.7 + 0.3. Let z = -1.4 - o. Is 6/7 not equal to z?
True
Let i = -67.6 - -69. Which is bigger: -2 or i?
i
Let j be (-2)/((-4)/10)*(-6)/5. Is -20 < j?
True
Let p be ((-59)/(-3))/((-1)/8). Let v = p - -155. Do -1 and v have the same value?
False
Let j(b) = 2 + 5*b - 2*b + 0 - b**2 + 0*b. Let v be j(2). Is v not equal to 5?
True
Suppose -2*o + 26 = -r - 1, r = -5*o + 57. Let i be ((-6)/4)/((-9)/o). Let l be 1 + -4 - 0/i. Which is smaller: -2 or l?
l
Let n = 1434/385565 + 4/1307. Let k = 2059/885 + n. Which is greater: k or 1?
k
Let r = -247/5 + 49. Suppose 5*o = -3*s - 0*s + 20, 13 = -2*o + 3*s. Is r equal to o?
False
Let c = 1/80 + -21/80. Let l be (-2)/(-6) + 8/3. Suppose 12 = -6*x + l*x. Which is smaller: c or x?
x
Let p(q) = -q**2 + 8. Let k(s) = -s**2 + s + 7. Let f(y) = -5*k(y) + 4*p(y). Let b be f(4). Let g = b - -7. Is g >= 2/25?
False
Let w = -96 + 96. Which is bigger: -6/7 or w?
w
Suppose 2*h + 2*h - 8 = 0. Suppose h*b = -b. Suppose -2*y - 2*w - 4 = 0, -10 = -y + 4*w + w. Is b at least as big as y?
True
Let w(n) = 5*n**3 + 2*n - 7*n + 3*n**2 - 3 - 4*n**3 - 2. Let r be w(-4). Do r and 3/11 have different values?
True
Suppose r - 5*a = -4*r + 45, 0 = -4*r + 3*a + 33. Suppose -5*w = 5*j - 31 + r, 4*w = -2*j + 28. Is 7 at most as big as w?
True
Suppose -5*g - 3*t - 3 = 0, 2*g - 5*g + 5*t = 29. Which is smaller: g or -2?
g
Let o be 90/24 - 6/8. Are o and -2 equal?
False
Let z(g) = -3*g + 1. Let u be z(-1). Suppose u*x = 28 - 8. Is 5 > x?
False
Let x = -1388/7 - -198. Let w = -0.3 - -2.3. Which is bigger: w or x?
w
Let f be 34/51 + 25/3. Suppose -4*d = -7*d + f. Are d and 3 equal?
True
Let s be -3 + (3 - 1) - 10. Let j = -15 - s. Let r(p) = p**3 - 5*p**2 - 2*p + 5. Let t be r(5). Which is smaller: t or j?
t
Let r(j) = j**3 + 5*j**2 + j + 7. Let c be r(-5). Let m be c/(-5) + (-12)/(-20). Is -1 > m?
False
Let u(w) = -w**3 - 11*w**2 - 9*w + 10. Suppose 5*y = -0*y - 50. Let c be u(y). Are -3/5 and c unequal?
True
Let h = -32 + 35.1. Let f = h - 0.1. Let n be 0/(-4)*(-3 - -2). Are n and f equal?
False
Let f be (11/(-22))/(30/22). Let r = 2/15 - f. Which is smaller: r or 2?
r
Suppose 0 = 4*j - 3*r - 13, j + 3*j = -2*r + 18. Which is smaller: 2 or j?
2
Suppose 0 = 3*w - 4*n - 28, -16 = -0*w - 3*w + n. Which is greater: 0 or w?
w
Let x be ((-1)/(-20))/((-8)/(-60)). Which is bigger: -1 or x?
x
Let z = -61.7 - 14.3. Let d = z - -70.9. Let j = d - -5. Which is bigger: j or 2?
2
Let h = 5.1 - 0.1. Let z = h - 4. Let w be ((1/(-7))/1)/1. Does w = z?
False
Let w = -6.03 + -0.57. Let u = w + 6. Let m = 0.7 + u. Which is greater: m or -0.1?
m
Let n = -0.16 - -0.17. Which is greater: 0 or n?
n
Let z = 446040977/924176 - 3/84016. Let r = -483 + z. Which is greater: 0 or r?
0
Let b = -25 - -32. Which is greater: b or 23/4?
b
Let y be 1 + (-4)/6*3. Let z be (-2)/(y + 2 + 0). Let h(n) = n**2 + 9*n + 5. Let b be h(-8). Which is smaller: b or z?
b
Let u = 1673582/407 - 4112. Let x = -1610/3663 + u. Do x and 1 have different values?
True
Suppose -19 = -7*o + 23. Suppose 2*b + 8 = o. Is b smaller than -25?
False
Suppose 2*z + 2*s = -19548, -6*s + 9783 = -z - 4*s. Let x = 1124339/115 + z. Let k = x + -6/23. Is -1 greater than or equal to k?
False
Let d(u) = -u**3 - 6*u**2 + 9*u - 3. Let x be d(-7). Let v = x - -11. Let j be v/30*10/12. Is 0 greater than or equal to j?
True
Suppose -21 = -a + 8*a. Which is bigger: -2 or a?
-2
Let l be 2/(-3) + (-7)/(-15). Let p = 15 - 16. Which is smaller: p or l?
p
Let o(a) = -a**2 + 4*a - 1. Let x be o(3). Let l be -1 - (x - 54/21). Is 0 less than l?
False
Let z be 712744/(-14) + (-4)/(-14). Let h = z + 862854/17. Let r = h - -154. Do -1 and r have the same value?
False
Let q = 136 - 130. Which is greater: 8 or q?
8
Let k = 0.21 + -0.01. Which is bigger: -26 or k?
k
Let p(f) be the third derivative of -f**6/120 + f**5/10 - 3*f**4/8 + 2*f**3/3 - 2*f**2. Let a be p(4). Let m = -12/13 - -230/221. Which is smaller: a or m?
a
Let n = -0.3 - -1. Let l = n + -0.7. Which is smaller: l or -7?
-7
Let f = -17/4 + 13/2. Let g = 15/4 - f. Which is smaller: g or 3?
g
Let n be ((-15)/90)/((-3)/(-4)). Let o(u) = -u**3 + u**2 - 1. Let f be o(-1). Is n less than f?
True
Let b be ((-2)/(-8))/((-99)/36). Which is smaller: 0 or b?
b
Let m = -14 + 10. Which is smaller: 0 or m?
m
Let z be 33/6 + 6/(-4). Suppose -z*u - 10 = 2*l, 2*l - 2*u = -3*l - 1. Is 1/4 at most as big as l?
False
Let y be -1 + 6*3/6. Let m = 14 - 7. Let v = m - 5. Is y at most v?
True
Let n = 1 - 5. Let o = 5 + 2. Let i(v) = v**2 - 9*v + 9. Let x be i(o). Which is smaller: x or n?
x
Suppose 2*c - 3*c + 4 = 0. Let z be ((-18)/c)/((-27)/45). Which is smaller: z or 8?
z
Let u = -0.78 + 0.7. Let h = u + 0.04. Let v = 0.24 + h. Is v less than or equal to -0.1?
False
Suppose 0 = 4*b - 3*b - 1. Let c be (-1)/(-4 + -2 + b). Which is smaller: 2 or c?
c
Let r = 7 - 11. Are r and -3 equal?
False
Let a be -34 + 1 - (0 - -1). Let w be (-2)/(-5) - a/(-10). Is -3 smaller than w?
False
Let u = -6 + 8. Let x = -2 + u. Which is smaller: x or 1/4?
x
Suppose -41 = 5*u + 99. Let z = -83/3 - u. Let n(q) = -2*q**2 + 2*q - 1. Let r be n(1). Is r bigger than z?
False
Let y be -3 - -7 - 1*6. Is y at most as big as -1?
True
Let g = 3 + -4. Let u = -0.9 - -1.8. Let r = g + u. Which is bigger: r or 4?
4
Suppose -u = 4*p - 16, -4*u = -0*p - p - 13. Suppose 0 = x - p*x. Suppose 0 = -2*c - 4*z - 4, 4*c - z + 3*z - 16 = x. Which is smaller: 7 or c?
c
Let y be 31/20 - (-9)/(-12). Suppose -4*t + 4*d = 12 - 0, 5*t + d + 9 = 0. Let l = t - -2. Is y <= l?
False
Let h(a) = a**3 + a**2. Let i be h(0). Let d be (-641)/236 + 4 + -1. Let n = d - 2/59. Is i at least as big as n?
False
Let a = -0.4 - 0.2. Which is bigger: 0.3 or a?
0.3
Let r = -1/17 - 29/85. Is -3/11 not equal to r?
True
Let f be (1/2)/((-5)/(-1020)). Suppose -3*v = 4*z + f - 612, -5*v - z = -850. Let b be (-8)/6*(-15)/v. Are 1 and b equal?
False
Let t = 7 - 4. Suppose -z + 2*z = t. Which is bigger: 0.2 or z?
z
Let h = 4 - 5. Is h at least -2/7?
False
Suppose 0 = 24*r + 39 + 9. Which is greater: r or 6?
6
Let x be 6/(2 - 40/15). Is x < -9?
False
Let l be (0 - -2)/(2 + 1). Let m be (-45)/25 + 8/(-6)*-3. Is l smaller than m?
True
Let y(w) = 2*w - 9. Let o be y(6). Suppose -u = -4*u - o. Which is bigger: u or 2/7?
2/7
Let t = 35.16 - 35. Is 1 greater than or equal to t?
True
Suppose 6*d - 2*d = 0. Suppose d*q - 1 = q. Let b = 11/12 - 25/36. Which is bigger: b or q?
b
Let g = 0.7 + 0.3. Is -4 < g?
True
Let w be ((-10)/3)/((-8)/12). Which is smaller: w or 6?
w
Let t = -307 - -3989/13. Let r(g) = g - 7. Let j be r(7). Is t >= j?
False
Let b = 17 - 16. Is b >= 1?
True
Suppose s - 2 = 0, -3*a + 3*s - 5*s - 5 = 0. Let f = a + 4. Let i be 6/(-4)*2 + f. Is -2 < i?
False
Let f = 20 + -16. Suppose -f*j = 4 - 0. Let m = -43 - -214/5. Is m >= j?
True
Let u(z) = 4*z**2 - 1. Let m be u(1). Let n be 0 + m + -2 - 3. Suppose 2 = b + 3*b + 2*w, -4*w = -20. Is n <= b?
True
Let o = 41 + -125/3. Let x = 7 - 7. Suppose x = -f - 0*f. Is f equal to o?
False
Let r(x) = x**3 - 4*x**2 - 4*x - 4. Let h be r(5). Let g = 21 - 12. Let n be ((g - h)/(-2))/(-2). Is -1 at most as big as n?
True
Suppose 3*p = -j + 472, 140 = -p + 2*p - 4*j. Let n be 2 - (-1)/((-80)/p). Which is smaller: n or 1?
n
Let l be ((-4)/2 + 1)/10. Is l less than or equal to -1?
False
Let j be 2/(-15) + (-4)/6. Suppose 0 = 8*q - 9*q. Which is bigger: q or j?
q
Let f be (-69)/(-99) + (-2)/6. Let g = f + -1/33. Which is smaller: g or 2/11?
2/11
Suppose -11 = w + 328. Let f be 5*(w/(-345) - 1). Suppose -2*x + 0*x