0. Is p at least l?
True
Let k = 0.063 + -0.029. Is k less than 1/3?
True
Suppose 4*y - 21 = -13. Suppose 4*s - 2*j = 10, -j = 2*s - 2 + 3. Let c = 2 - s. Which is bigger: c or y?
y
Let a = -0.152 + -0.048. Is a bigger than 8?
False
Let n = -6 + 3. Let r = 3.6 - -0.4. Let d = n + r. Which is smaller: -2/11 or d?
-2/11
Let y = -45 + 44. Which is smaller: -1/14 or y?
y
Let r(g) = -g**3 + 4*g**2 + g - 4. Let q be r(4). Let b = 7 - 10. Let n be ((-1)/3)/(b/9). Does q = n?
False
Suppose -3*l + 3*s = 2*l + 29, 3*l = -2*s - 6. Suppose -g - 7 = 4*m, -m = 4*g + 6 + 7. Let x = m - l. Is x equal to 3?
True
Let k = -10 - 3. Let j = -14 - k. Which is bigger: j or 1/4?
1/4
Let q = 0 - -0.1. Let i = -137 - -146.1. Let a = i + -9. Is a smaller than q?
False
Suppose x = -3*u - 1 - 2, u = 4*x - 27. Suppose -2 = -t + 7. Let d be (-2)/(-6) - x/t. Is 0 <= d?
False
Let g(n) be the third derivative of n**5/60 + n**4/3 + 5*n**3/6 + n**2. Let k be g(-8). Is k at least as big as 0?
True
Let h = 11 + -14. Let i = h + 7. Which is smaller: i or 2?
2
Let m be (2/2)/((-4)/(-8) - 3). Is m >= 0.1?
False
Let g = 35 + -67/2. Let h = 7 - 4. Do g and h have the same value?
False
Let y be 32/144 + 4/(-45). Is 3 at least y?
True
Let m(y) = -2*y - 11. Let h be m(-7). Suppose 2*k + 2 = g + g, 0 = -3*g + k + 3. Let a be g + (-2 - 1)*-1. Which is smaller: h or a?
h
Suppose 3*f - s = -13, 5*f - 3*f + 5*s + 3 = 0. Which is bigger: -1/2 or f?
-1/2
Suppose -24 = -5*j - 9. Suppose j*r - 12 + 0 = 0. Let q = r - 4. Which is bigger: -2 or q?
q
Suppose 0 = 2*i + o + 1, -5*i - o - o = 4. Suppose 3*s - s = 180. Let g be s/(-21) - (-8)/28. Is g at most i?
True
Let r be 42 - -2*3/(-6). Let t = -127/3 + r. Is t less than -2?
False
Let s be ((-3)/8)/(27/12). Which is bigger: s or -1?
s
Suppose 2*n + 3 = -x, -n + 3*n + 4 = -2*x. Which is smaller: -2/19 or x?
x
Suppose 4*t = -10 + 18. Let f be 8/50*(4 - -1). Which is smaller: f or t?
f
Let y = -0.5 - -0.8. Let q = -27 - -80/3. Is y not equal to q?
True
Let p(u) = u**3 - 6*u**2 + 7*u - 6. Let z be p(5). Suppose -2*q - z*n - 7 = -21, 0 = -5*q - 4*n + 17. Which is bigger: 0 or q?
q
Let n = 23/3 + -25/3. Let f = 3.1 + -3. Which is smaller: n or f?
n
Let h = 52 + -52. Suppose -3*x - 2 = 13. Which is smaller: x or h?
x
Let c be (-4)/26 + (-15)/(-13). Which is bigger: -1 or c?
c
Let s = -3 - -7/2. Is s < -0.1?
False
Suppose 0 = 3*u - u. Let t = 0.5 + 7.5. Let k = t - 7.8. Which is smaller: k or u?
u
Let x(t) = -16*t**3 - t**2 - t - 1. Let g be x(-1). Let b be 19/(-10) - (-6)/g. Let v = 0 - 1. Which is bigger: b or v?
v
Let w(u) = u**3 + 5*u**2 - 6*u. Let b be w(-6). Suppose -2*l + 14 = 2*l - 2*f, 2*f = -2*l - 8. Let r be 8/36 + l + -1. Which is smaller: b or r?
b
Suppose -3*k = -3*j - 1 + 7, 0 = 2*j - k. Which is smaller: -13/9 or j?
j
Let o(n) = -n**3 + 4*n**2 + n. Let s be o(4). Suppose -8*r + s*r + 4 = 0. Do r and 1 have different values?
False
Let x be (-5)/1*36/10. Is x >= 0.1?
False
Let f be ((-9)/(-6))/(2/(-12)). Let n be -1*((-7)/f + -1). Suppose -2 = -3*b + i, -2*b = -4*b + 5*i + 23. Is b <= n?
True
Let h = 2 + -1. Is 16 less than or equal to h?
False
Suppose 0 = -2*g - 0*q - 2*q + 12, 4*g + 21 = 5*q. Let n = -739/16 - -46. Which is bigger: n or g?
g
Let k be 10/(-15) - (-2)/(-6). Let p be (k + 1)/(-1 - -3). Which is smaller: -1/4 or p?
-1/4
Suppose 5*h = -f - 27, -4*h - 30 = 2*f - 6. Which is greater: f or 40?
40
Let b = 3 + 1. Let q = b + -6. Which is greater: q or -1?
-1
Suppose -3*a - 3 + 4 = -m, -5 = 5*m + a. Suppose -3*o = 5*n - 4, -7 = -0*n - 2*n - 3*o. Is m greater than or equal to n?
True
Let z(q) = q**2 - q - 1. Let k be z(0). Let p be -1 + k + -5 + -5. Let x be (-1)/3 - (-20)/p. Are x and -2/9 nonequal?
True
Suppose 15 = 4*q - 6*v + v, 0 = q + 3*v + 9. Is q <= 4/9?
True
Let j be ((-2)/(-3))/((-4)/(-6)). Let y = 14 + -9. Suppose 1 = -y*g + 6. Does g = j?
True
Let f be (1 - 0)*-2 - -6. Let a = -11 + 12. Which is smaller: f or a?
a
Suppose s = -1 + 4. Suppose 4*r + 1 = 3*j, s*j = 4*j + 1. Let t(b) = b**2 + 10*b + 7. Let k be t(-9). Does k = r?
False
Let w = 13.4 + -15. Let o = w + 1.6. Which is smaller: o or -2/15?
-2/15
Let t(z) = z**3 - 5*z**2 - 6*z. Suppose 4*b + 18 = 7*b. Let o be t(b). Is o at most -1?
False
Let o = 8501447/21210 + 38/3535. Let r = o + -402. Are -2 and r nonequal?
True
Let q = -19939/69 + 289. Let w = 65/138 + q. Let c(k) = -k**3 - 5*k**2 - k - 5. Let v be c(-5). Which is smaller: w or v?
v
Suppose -5*q + 3 = 3*r - 6*r, -3*q - 5*r = 5. Let j be (q - 1) + (2 - 0). Which is smaller: 2 or j?
j
Suppose 0 = o + o + 3*n - 5, 3*n = 5*o - 2. Which is greater: o or 1/4?
o
Let t = 1725576/38591 - 1/5513. Let m = t + -45. Which is smaller: m or -1/4?
m
Suppose 5*b = -4*w + 22, -5*w + 5 = -4*b - b. Suppose r - 8 = w. Suppose -t + d + 3 - 5 = 0, 0 = 2*t + d - r. Which is smaller: t or 2?
2
Let j be (-5)/(-173)*4/5. Which is smaller: 1 or j?
j
Suppose -2*m - 3*m = 75. Suppose 3*n + 1 = 5*x, -x = -2*n - 3*n - 9. Let h be 36/m + 1 - n. Which is smaller: h or 0?
0
Let o be (-4)/116*514/(-110). Let u be 0 + 3/(-145)*1. Let n = o - u. Which is greater: n or 0?
n
Suppose -3*s = 12, 18 = -3*z + s - 8. Is -10 <= z?
True
Suppose 2*v - 3*v + 16 = -3*g, -3*v - 5*g = -48. Is v <= 2?
False
Suppose r + 4 = 9. Suppose g = -4*g + r*b, -4*g = 2*b. Which is bigger: g or -1/2?
g
Suppose s = 6*s - 15. Suppose -s*p = 3 + 3. Is -2 less than or equal to p?
True
Suppose u + 30 = -2*u. Let h be (-8)/(-20) + (-46)/u. Suppose 4*b + 5*s + 7 = 0, 4*b - h*s - 21 - 2 = 0. Which is greater: b or 0?
b
Let p(q) = -q - 2. Let h be p(-9). Let t(d) = -d**3 + 6*d**2 + 7*d - 1. Let i be t(h). Which is greater: 1/9 or i?
1/9
Suppose 2*t = 2*j - j - 17, 3*j - t = 26. Suppose 2 = -5*b + j. Let k be (4/12)/(b/6). Do 1 and k have the same value?
False
Suppose 0 = -5*s + 2*t + 32, 2*s = -t + 5 + 6. Let m be 36/16 - (-8)/(-2). Let o = m + 43/20. Which is smaller: o or s?
o
Let g(o) = 11*o. Let k be g(-1). Let p = -13 - k. Is p greater than -2?
False
Let p = 28 + 8. Is 38 less than p?
False
Let a = 24.008 - 0.008. Is 0.1 at most a?
True
Let u(g) = g + 6. Let f be u(6). Suppose -k = -4*k - f. Let r = 14 - 17. Which is greater: r or k?
r
Let w = -3 + 2.7. Is -2 at most w?
True
Let r(o) = o - 6. Let f be r(6). Suppose -l - 3*d + 11 = -f, -d + 6 = -2*l. Do l and 1/3 have the same value?
False
Let n be (0/(-1))/(2 - 8 - -5). Is 3/4 < n?
False
Let h = -2/159 - 49/318. Which is smaller: -41 or h?
-41
Let z(l) = 3*l**2 - 10*l + 15. Let o(m) = 2*m**2 - 7*m + 10. Let c(k) = 8*o(k) - 5*z(k). Let y be c(5). Which is smaller: -1 or y?
-1
Let s be 57/(-2)*3/(-27). Is 2 > s?
False
Let j = 2.06 + -0.06. Let p = j - 2. Are p and -0.1 equal?
False
Suppose -3*p + 7 = 40. Which is greater: p or 1?
1
Let u be 4 + 0 + 22/(-6). Which is smaller: 10 or u?
u
Let r(y) = y**3 + 3*y**2 - 5*y + 2. Let c be r(-4). Suppose 7 = 5*w - c*w. Which is bigger: w or -8?
w
Let j(w) = w**2 - 3*w - 1. Let a be j(4). Let q = -8 + 3. Let d = q - -7. Is d smaller than a?
True
Suppose 2*a - 4*l - 20 = 0, -3*l + 1 - 7 = 3*a. Let i be ((-1)/a)/(-1)*-4. Is i != -3?
True
Let p be (-195)/609 + 1/7*2. Which is smaller: p or -1?
-1
Suppose 15 = 4*q - 1. Which is smaller: 6 or q?
q
Let r = 61 - 303/5. Which is smaller: 1 or r?
r
Suppose -22*n + 27*n + 55 = 0. Is n less than or equal to -7?
True
Suppose 3 = 3*o, 3*t - 20 = -2*t - 5*o. Which is bigger: t or 2?
t
Let f = -32 + 31. Does -2 = f?
False
Let r = -8 - -14. Is 0.01 less than or equal to r?
True
Let i(w) = -w - 6. Let o be i(-10). Which is smaller: 1/8 or o?
1/8
Let k(r) = 2*r + r + 5 - 4*r. Let z be k(5). Let g = -1/8 - 11/40. Which is bigger: g or z?
z
Suppose 16 = 3*b + b. Suppose 4*y - 14 = -3*c, 0*y + 3*y - 23 = b*c. Let l be 1 - 1 - c/(-18). Is 0 != l?
True
Let d = -5 - -7. Suppose 4*x = 3 + 1. Let p = d - x. Which is bigger: -1/8 or p?
p
Suppose -3*c + 5*i + 50 = 0, 4*c - 2*i - i = 85. Is c equal to 25?
True
Let c be 98/(-35) + 1*3. Let s(f) = -f**3 - 3*f - 1. Let v be s(-2). Suppose -n + 2*j = -3, -5*j = -0*n + 3*n + v. Which is greater: c or n?
c
Let x be 1/2 - 102/12. Are x and -8 equal?
True
Let g(u) = u**3 + 8*u**2 - 10*u - 7. Let z be g(-9). Suppose -1 = -z*w + 3*w. Let r = -56/5 + 11. Is r > w?
True
Let v = -0.04 - 2.96. Let t = v + 4. Let q = t + -1. Is q a