11. Is p > s?
True
Let y = 286 + -3148/11. Is y at least as big as 1?
False
Let h = 4/39 + 323/273. Is h > 0?
True
Let a = 1 - 0.9. Let o = 0.1 - a. Which is smaller: o or 7?
o
Let r(v) = -4*v + 15. Let g(x) = -x + 4. Let l(z) = 18*g(z) - 4*r(z). Let s be l(6). Is s at least as big as 0?
True
Let r = 53 - 47. Is r at least 6?
True
Suppose -4*s + 2*s + 3*b + 21 = 0, -5*b = 25. Suppose -3*y + 0 = -s. Which is bigger: y or 2/3?
y
Let k(n) = -4*n - 6. Let t(c) = c**3 + 3*c**2 - 4*c - 4. Let y be t(-4). Let o be k(y). Suppose -4*j + 2*j = o. Are -5 and j unequal?
False
Let d be 0 + -1 + 3 + -1. Suppose 0 = -5*u + 2*x + 5, -3*u + u = -4*x - 18. Is u > d?
False
Suppose -t + 5*s = -26, t + 3*t + 5*s = 4. Let y be (-90)/(-20)*1/t. Is 0 equal to y?
False
Suppose 0 = 2*t - 3*y - 1 - 0, 5*t + 3*y - 34 = 0. Suppose -15 = 5*a, j + t*a = -3*j - 11. Which is bigger: j or 0?
j
Suppose -5*y + 4*l + 2 = -2*y, 2*l + 10 = -3*y. Does y = -5/2?
False
Let w = -2 - -4. Let t be (-6)/16*w/(-3). Which is greater: 3 or t?
3
Let y = 0.351 + 0.049. Which is bigger: -0.04 or y?
y
Let g be (1 - (-11)/(-9)) + (-125)/(-360). Do 0 and g have the same value?
False
Let m = -223.9 - -224. Let s = -1 + 0. Which is smaller: s or m?
s
Let g = 5 + -8. Let r be 10*((-12)/(-10))/g. Is r less than -2?
True
Let r(c) = -c**2 - 5*c + 3. Let k be r(-4). Suppose 0 = 3*w - k*w. Suppose 5*n - 2 + 7 = w. Which is smaller: n or -2/5?
n
Let q be 98/(-33)*(-14)/236. Let z = -76/23895 + -1/405. Let m = z - q. Which is greater: m or 1?
1
Let i = 8 + -3. Let b be -6*3*4/(-18). Suppose 4*v = -b*o - 4, -1 + i = -4*v - o. Do -1 and v have the same value?
True
Let v be 30/(-50) - 16/90. Is v > -2?
True
Let r(s) = s**2 - 11*s - 5. Let p be r(10). Let j(w) = -w**3 - 16*w**2 - 15*w. Let n be j(p). Is n less than 2/15?
True
Let d = 0.08 + 4.92. Let l = -3 + d. Let u = -4/3 + 1. Which is smaller: u or l?
u
Let z = 2.6 + -3. Let t = -3.6 + z. Is 0.1 smaller than t?
False
Let d = -2 - -3. Let j be (-2)/2 + 0 + d. Suppose 4*s + s + 3*c - 4 = j, 3*s - 9 = -4*c. Is -1 at most as big as s?
True
Suppose -q - 3*y + 30 = 0, -3*q - y + 3*y = -68. Suppose 4*i + 52 = 5*c, -2*i + q = -4*c + 62. Let p be (-4)/c*6/(-7). Which is smaller: p or 1?
p
Let o be -2 + (-18)/(-4) + -3. Is -6 bigger than o?
False
Let g(p) = 10*p**3 - p**2 - 2*p - 2. Let y be g(-1). Is y != -10?
True
Let u(q) = -q + 7. Let i(k) = -k - 1. Let n(j) = -3*i(j) + u(j). Let z be n(-7). Is z at least -8?
True
Suppose n - 4*h = h + 4, n - 8 = h. Let r be (-40)/180 + 11/n. Let k(w) = -w**2 + 3*w. Let u be k(3). Is u equal to r?
False
Let k = -38/31 - -584/527. Is k greater than 1/5?
False
Let y = 262/105 + -12/5. Let u = -8 + 7. Which is greater: u or y?
y
Let p be 1/5 + (4 - 352/60). Are p and -3 unequal?
True
Suppose 2*s - 14 = -2*f - 2*f, -s - 8 = -3*f. Suppose -2*l - 1 = -f. Let q be l + -1 - (-3 + 1). Is 2 bigger than q?
False
Let b(l) = -l**3 - 8*l**2 - 8*l - 4. Let s be b(-7). Suppose -s*k = 4*u - 20, u = -4*u - k + 14. Suppose 15 = 5*v + 5. Is v bigger than u?
False
Let n(s) = 10*s. Let x be n(1). Let o = x + -7. Is o bigger than 3?
False
Let d = -0.2 - -0.4. Let v = 2.5 - 1.4. Let g = -1.1 + v. Which is greater: g or d?
d
Let f be -2 - -5*(-7)/(35/(-8)). Is 6 != f?
False
Let p(n) = n**2 - 6*n - 4. Let f be p(6). Which is smaller: f or -3?
f
Suppose 3*d = 5*d - 40. Is 18 at least d?
False
Let c(a) = -a**2 + 4*a + 4. Let x be c(4). Suppose 3*t - x*o - 5 = -20, 3*o = -t + 8. Is t <= -1?
True
Let i = -8 + 7. Which is smaller: -2 or i?
-2
Suppose 2*p + 15 = -3*p + 3*i, i + 12 = -4*p. Let z(s) = 2*s + 2. Let m be z(p). Let r = -4 - m. Is 2/11 less than r?
False
Let k be (-2)/2 + (1 - -1). Is k not equal to -5?
True
Suppose 109 = 6*y + 7. Which is smaller: 16 or y?
16
Let m = 0.07 - 0.04. Let o = -4 - -2. Let h = o + 2. Is h at least as big as m?
False
Let z be (-13)/117*1*-4. Is -1 less than z?
True
Let i = -9 + 10. Let r be (-4)/3*6/(-24). Is i greater than or equal to r?
True
Let y(o) = o**3 + 7*o**2 - 8*o - 3. Let d = 12 - 20. Let r be y(d). Do r and -2 have the same value?
False
Let w = -0.09 - -11.09. Let j = w - 10.5. Is -1 < j?
True
Let m = 0.3 - -1.7. Let k = m + -1.8. Which is smaller: k or 2?
k
Suppose -4*c = l + 7, 2*l - 16 = -0*l + 2*c. Let r(n) = -n**2 + 6*n - 1. Let p be r(l). Which is greater: 1 or p?
p
Let k = 167/5 + -33. Suppose 0 = -3*i + 2*q - 7, 2*i + 0*q + 18 = 4*q. Are k and i equal?
False
Let f be 2*((-2)/10 + 0). Let y = -139/261 - -9/29. Is y less than f?
False
Let m(x) = x - 1. Let f be m(1). Let p(w) = 2*w + 1. Let r be p(1). Suppose r*v + 0*v = f. Which is smaller: -1 or v?
-1
Suppose -147 - 45 = -3*j. Suppose -12 + j = 4*s. Suppose n = -4*o + s, -3*o + 13 = 4*n - 0*n. Are n and -9 unequal?
True
Suppose -4*k + 2*k = 0. Let p be k + (-2)/(-2) - 1. Suppose -20*n = -26*n. Is p >= n?
True
Let f = 21 + -12. Let n be -3 - 3/f*-271. Let s = 88 - n. Is s != 0?
True
Suppose 0 = -5*d + 5*s - 0*s - 10, -5*d - 2*s = -25. Suppose -d*z + 28 = 4. Suppose 28 = -4*v + z. Which is bigger: v or -6?
v
Let t = -3 + 2. Let k = 23.99 - 24. Is k <= t?
False
Let c(u) = -u**2 + 2*u + 4. Suppose 0 = d - 3*d - 3*g + 21, d = -3*g + 18. Let w be c(d). Let h be -4*(-1)/(-10) + w. Which is bigger: 1 or h?
1
Suppose -5*a + 0 = -10. Let n be 6 + a/((-4)/2). Is n <= 5?
True
Let u be (4/(-10))/(2/190). Let i be 4/(-18) - u/9. Suppose -i*z - g = 3, -20 = -2*z + 7*z - 2*g. Is -2 bigger than z?
False
Let n = -37 - -81. Let o = n + -175/4. Let r = 25 + -26. Is o equal to r?
False
Let m = -74 - -73. Is m < -15?
False
Let z be (0 - -6) + 2 + -3. Suppose -3*n = -5*n + 2, z*n = 4*p - 19. Let j = p + -1. Which is smaller: j or 6?
j
Suppose 0*n - 14 = 2*w - 2*n, -3*w - 29 = -5*n. Is w at least as big as -2?
False
Let o be 86/(-10) + 3/5. Let z = -14 - o. Is z > -3?
False
Suppose -8*u + 5 = -3*u. Which is smaller: u or 0.09?
0.09
Let x = 2.036 + -0.036. Let g = -0.03 - 0.27. Which is smaller: x or g?
g
Let b = 19 + -9. Which is bigger: b or -0.2?
b
Let p be (5/(-10))/(6/(-4)). Is 1 smaller than p?
False
Let u = 6 - 5. Which is bigger: -6/17 or u?
u
Let d = -61 + 58. Does d = 1?
False
Let p = 8 - 8.6. Let k = -1.6 - p. Is k <= -1?
True
Let s = 13 + 17. Is s less than 29?
False
Let y(n) = n - 3. Let b be y(5). Suppose 5*s + 7 = 3*h - 8, 3*s + 10 = b*h. Which is greater: -1/3 or s?
s
Let y = 26 - 53/2. Is y <= -2?
False
Suppose 0 = -3*f + u + 11, -5*f + 3*u = 6 - 31. Let z = 1 + f. Let b be (-6)/9 + 22/6. Does z = b?
True
Let x be (144/26)/(-3) - (-4)/(-26). Let u(t) = -t**3 + 1 + t + 0*t**2 + 0*t**2 - 2*t**2. Let w be u(x). Which is bigger: 1/5 or w?
1/5
Suppose -3 = -u + p, -p + 12 = u - 5*p. Let k = 0.1 + -0.2. Which is smaller: u or k?
k
Let g = -0.1 + -0.1. Let b(f) = f + 3. Let y be b(6). Suppose 5*t = -2*c - y, 4 = -4*t - 4*c - 8. Are g and t unequal?
True
Let s = 31 + -28. Is s <= 3?
True
Let f(j) = -j**3 + 5*j**2 + 5*j + 5. Suppose r - 3*b + 2*b = 6, r = 2*b + 6. Let g be f(r). Which is smaller: -2/43 or g?
g
Let a = 1 + -2. Which is bigger: 2/5 or a?
2/5
Suppose -3*o + 4*k + 14 = 0, 4 = -o - o - 4*k. Suppose -4*t + 16 = 0, -j + 5*t - 3*t = 7. Does j = o?
False
Let t = 709/49 - -3/98. Which is smaller: 15 or t?
t
Let d(a) = -a**3 - a**2 + 2*a - 2. Let c be d(-3). Suppose -3*s + 13 = -2*g, -5*s + 0*s = -g - c. Let p be -1 + (2 + -5)*-1. Which is smaller: p or s?
s
Let c = 18677759/135 + -138353. Let b = 10/27 - c. Are b and -1/3 unequal?
True
Let c = -3 + 1. Let j = c - -4. Suppose 5*i = -22 + j. Is i bigger than -4?
False
Let q = 13 + -18. Let j = 7 + q. Suppose -2*u = -u - 3. Which is smaller: u or j?
j
Let s be (-12)/(-21) - 172/56. Let m = s - 2. Is -5 at least m?
False
Let y = 7 - 3. Suppose y = 3*o - 4*r, -2*o + 8 = 2*r - 4. Suppose -o*h = -9*h + 5. Is h bigger than 2/7?
True
Let m = -1.97 + 2. Let l = m + -3.03. Let x = 2.9 + l. Are x and -0.3 nonequal?
True
Suppose -5*j - 4 = -24. Suppose j*c = c + 48. Let d = c - 31/2. Which is greater: d or 1?
1
Let u(f) = -f - 1. Let b be u(2). Suppose 4*v + x - 1 = 1, 10 = 5*v + 5*x. Suppose -p - 3 = -v. Is p >= b?
True
Let l = 4 - 82/21. Which is bigger: 1 or l?
1
Let v = -16.8 + 17. Is 4 greater than v?
True
Let f(m) = -m**2 - 14*m - 23. Let y be f(-12). Which is bigger: 3/7 or y?
y
Suppose 4*j - 38 + 10 = 0. Suppose 