 17?
False
Let k be ((-5)/630)/((-2)/(-8)). Let b = k - 181/252. Is b greater than or equal to 3?
False
Let o be 2 + ((-46)/12 - -1). Let y be (-21)/15 + 8/20. Which is smaller: y or o?
y
Suppose -8*s - 10 = -3*s. Let g be s + -3 + 11/2. Which is greater: g or 1?
1
Suppose -3*p + l = 3 + 28, 2 = -l. Which is bigger: p or -10?
-10
Suppose 0 = 2*w - 2 - 24. Is 10 greater than or equal to w?
False
Suppose 2*k + 15 = 7*k, 9 = 2*i + k. Let p(q) = -2*q - 3. Let l be p(-3). Suppose l = -i*a - 3. Is a at most as big as -2?
True
Let h(z) = z + 2. Let c be h(-1). Suppose 6*q = 2*q. Suppose -w + q*w = 1. Which is smaller: c or w?
w
Let m = -4 + 6. Suppose d - 3*i + m*i = -98, d = 2*i - 94. Let c = -917/9 - d. Which is bigger: c or 1?
1
Let q(b) = b - 10. Let m be q(11). Are m and 1/12 equal?
False
Let v = -18.2 + 1.1. Let k = v + 17. Which is smaller: -2 or k?
-2
Let m(x) = -2*x**2 + 5*x + 2. Let j be m(3). Is -2/185 at most as big as j?
False
Let t = -0.07 - -0.17. Let f = 0.1 - t. Are -1/2 and f non-equal?
True
Let w = -0.87 - 0.13. Which is bigger: w or 2/17?
2/17
Let v(f) = f - 8. Let j = -10 + 19. Let h be v(j). Suppose -4*i = -3*g - h - 0, i = 3*g - 2. Is g != 3/8?
True
Let i = 352/873 + 4/97. Let l(p) = -2*p**3 + p. Let c be l(1). Let o be (1 + 0)/c*0. Which is smaller: i or o?
o
Suppose 7*v - 5*d - 20 = 2*v, 0 = v + 2*d - 1. Let u(b) = 1 - b**3 - 2*b**2 + 2*b**v - b**2. Let z be u(3). Is 3 bigger than z?
True
Let b = 1164189 + -17469829/15. Let i = b + 466. Is -1 at least as big as i?
False
Suppose 4*i = 4*j + 32, i - 5*j + 2 = 18. Suppose 15 = 5*q - 2*n, n + i = q - 0*q. Let k(u) = u**3 - u**2 + 2*u - 1. Let b be k(q). Which is smaller: 2 or b?
b
Let o(p) = -3*p**2 - 1 + 2*p**2 - 5*p + 0 + 0*p**2. Let b be o(-5). Are b and 1/9 nonequal?
True
Let q = -0.2 + 0.1. Let i = -1.1 - q. Let p = -1.504 + -0.496. Which is bigger: p or i?
i
Suppose 2*x + 2 = w, -w + x + 5 - 1 = 0. Which is smaller: 23/4 or w?
23/4
Let y be 12/(-12) - (-1 + -1). Which is greater: y or -2/25?
y
Suppose -u - 2 = 0, 3*z + 247 = -2*u - 0*u. Let j be (-4)/(-6)*3 + z. Let y = -867/11 - j. Which is smaller: 0 or y?
0
Let x be 2/(-9) - 228/(-54). Which is greater: 5 or x?
5
Suppose -3*v - 2*o = -18 - 13, -5*v + o = -43. Suppose v = 4*l + 1. Let d = 2/183 - -718/1281. Which is greater: l or d?
l
Let r be 0 - (-2)/(-2) - 0. Suppose 0 = -3*g + 15, -3*b + 4*g - 37 = 7. Let x be (1/(-2))/((-2)/b). Which is greater: x or r?
r
Let f(p) = -p**2 - 8*p - 6. Let m be f(-6). Are 6 and m equal?
True
Suppose -4*t = -6*t + 2. Let l = 10/21 - -5/14. Do t and l have the same value?
False
Let p = -7 + -16. Let h be p/(-4) - (-3)/12. Let l = h + -8. Is -1 > l?
True
Let z(d) = 2*d + 4. Let o(v) = v + 4. Let y(x) = -3*o(x) + 2*z(x). Let p be y(5). Does p = -1/10?
False
Let g = -4049/4 - -1019. Let t = -89/12 + g. Which is smaller: t or 3?
t
Suppose -3*l + 29 = -0*k - 2*k, 0 = 2*l - 3*k - 26. Let n be l/(-56)*18/(-8). Let z = 145/288 - n. Which is smaller: -1 or z?
-1
Let m = 33 - 21. Which is greater: 1 or m?
m
Suppose 29 = 4*l + 261. Let b be (-15)/(-20) - l/(-56). Which is bigger: 1 or b?
1
Suppose -14 = 5*f - 4. Suppose 13 = w - 2*p - 84, -10 = 2*p. Let t = w + -263/3. Which is smaller: t or f?
f
Let n = 3 - -5. Suppose n = -2*g + 3*g. Suppose -5*m + 3 = g. Which is bigger: m or 0.1?
0.1
Suppose 2*a + 3 = -a. Which is bigger: 2/17 or a?
2/17
Let d be (-21)/(2 + 2 - 2). Is -12 greater than or equal to d?
False
Let z(a) = -a**3 - a**2 + a. Let p(r) = -r**2 - 7*r + 4. Let k be p(-7). Let v = k + -4. Let f be z(v). Which is smaller: f or -2/9?
-2/9
Let a = 0.7 + -6.7. Let n = 5.7 + a. Which is smaller: 1 or n?
n
Let u(a) = -2*a + 4. Let w be u(3). Is w < -12/5?
False
Let o = -52 - -51.2. Is o not equal to -3/8?
True
Suppose -80 = -5*j - 0*j. Suppose 0*t = -2*u + t, -4*t = -j. Is 2 greater than u?
False
Let h be ((-8)/(-30))/((-10)/25). Let b = 0.07 - 0.09. Which is bigger: b or h?
b
Let s = 2 + -1. Let t be 15/(-6)*s/5. Which is smaller: t or -1?
-1
Suppose -3*b = f - 7, -3*b + 0 + 4 = -2*f. Let r be (3/(-15))/(8/5). Are r and f nonequal?
True
Let u be (-8 + 4 + 4)/((-6)/3). Let w be (0 - -2) + (-4)/2. Let y be w + 1 + (-1)/1. Is u greater than y?
False
Suppose -5*m = -m. Let x be m/2 + 10/(-20). Let t = 1 - 0. Which is smaller: t or x?
x
Suppose y = 5*p - 3*y + 70, 49 = -3*p + y. Let s be 44/p + 10/5. Is s at most as big as 1?
True
Let d = -0.031 - -7.731. Let i = 8 - d. Is 0.2 <= i?
True
Let w = -3 - -11. Let o = w - 5. Let m(z) = -z**3 + 2*z**2 + 5*z - 2. Let t be m(o). Which is bigger: 5 or t?
5
Let i(h) = -5*h - 2*h**2 + h**2 - h. Let b be 3/(-6)*1*12. Let y be i(b). Do y and -2/7 have the same value?
False
Let j = 28.16 - 28. Which is greater: j or 2/11?
2/11
Suppose 0 = -6*p + p - 4*v - 20, -3*p = 3*v + 15. Which is smaller: p or 2/7?
p
Suppose 3*l - 8 = l. Suppose -5*c + l*o - 12 = -3*c, 4*c - o + 38 = 0. Let j(q) = -q**2 - 9*q + 9. Let f be j(c). Is f at most -1/4?
True
Let k be ((-1)/4)/(-1)*4. Let f = k - 0. Let y = -1 - f. Is y at most -4?
False
Suppose 2*f = 3*i + 1, -f + 4*f - 4*i = 2. Is f < 0?
False
Let r be 1/((4 + 0)/20). Let z be (-2)/r + (-8)/(-20). Which is smaller: 1 or z?
z
Let b be ((-19)/76)/(2/8). Let w = -0.06 - -5.06. Which is bigger: b or w?
w
Let s = -0.53 - 0.07. Let a = 0.4 - s. Is a not equal to 1?
False
Suppose 4*f - 3*w = 8 + 17, -f + 3*w = -13. Are 19/4 and f nonequal?
True
Let p = -22 + 28. Let i(v) = v**3 - 6*v**2 + 1. Let f be i(p). Let w be 2/5 + (1 - 1). Which is greater: w or f?
f
Let o be 7/(-3)*(2 + 0). Let h = o - -5. Which is smaller: -1 or h?
-1
Let g be 39/45 - 10/15. Suppose 2*x - 12 = -x, 5*x - 20 = z. Which is smaller: g or z?
z
Let z = -11 + 11.06. Let q = z + 0.04. Which is smaller: -3 or q?
-3
Suppose 0 = -2*l - 3*l + 15. Suppose 3*u + 3 = j - 3*j, -l*u - 5*j = 3. Is -4/5 greater than u?
True
Let c = 1.4 + 5.3. Are c and -1 unequal?
True
Let q = 4 + -6. Let r be (3/2 + -1)*q. Let k be (-2)/r*(-2 + 1). Which is smaller: -1 or k?
k
Let n = 1/31 - 473/248. Which is bigger: n or -1?
-1
Let x(i) = -i**2 - i + 1. Suppose -5*p + 3*o = -19, 2*p = 6*p - 4*o - 20. Let s be x(p). Which is greater: s or -4?
-4
Let c be 2/((14/(-4))/(-7)). Suppose -5*v + 33 = -n - 5, c*n = v. Are v and 9 nonequal?
True
Let d(x) = -x**3 + 3*x**2 + 4*x + 1. Let w be d(4). Which is bigger: 8 or w?
8
Let q = -7/6 + 2/3. Which is smaller: q or -1?
-1
Suppose 4*j + 5*l - 2*l - 130 = 0, 2*l - 159 = -5*j. Let m = 94/3 - j. Which is greater: -1 or m?
m
Let c = -2 - 1.5. Let r = c - 0.5. Let l = 3 + r. Which is smaller: l or -2?
-2
Suppose -u = 4*u - 2*r + 28, -5*u + r = 24. Let b(x) = -x**3 + 4*x**2 - 4. Let s be b(4). Is u at most s?
True
Let r(a) = a. Let p be r(4). Suppose -p*g = -g. Suppose 9 + 8 = -2*f - 3*w, 0 = -4*f + 5*w + 21. Which is greater: f or g?
g
Let b(s) = -5*s**3 - 19*s**2 + 29*s + 11. Let v(k) = -k**3 - 5*k**2 + 7*k + 3. Let x(i) = -2*b(i) + 9*v(i). Let j be x(6). Which is smaller: j or 0.6?
j
Let a(d) = d**2 - 11*d + 9. Let f be a(9). Is -9 < f?
False
Let m = 6 + -9. Let k be (-2)/m + (-69)/63. Are k and 0 equal?
False
Suppose 2*p = 7*p - 20. Suppose 0 = -2*z - p*a + 12, -6*z - 3*a + 6 = -3*z. Suppose -3*r - 9 = -0*r. Is r bigger than z?
False
Suppose -3*q - 5*d = -d + 233, 0 = 5*q - d + 396. Do -80 and q have the same value?
False
Let r = -38 + 20. Let x = -11 - -15. Let z be x/(-18) - 4/r. Is 0 at most z?
True
Suppose 4 = -h - q, h = -h - 3*q - 13. Let u(c) = -c + 10. Let o be u(7). Let s be o/(0 - 3) + 3. Is s <= h?
False
Suppose -3*u = -12 - 3. Suppose -3*v + 4*d + 0*d = 4, 0 = u*d - 5. Is 1/10 equal to v?
False
Let i = 4/13 + -11/78. Let d = -8 - -3. Let j be 3/5 + 3/d. Is j less than i?
True
Let y(p) = 2*p - 13. Let v be y(6). Is v greater than 1/6?
False
Let l = 132 - -17. Let j = 2383/16 - l. Which is smaller: j or -1?
-1
Let v(y) be the second derivative of 5/12*y**4 + 1/6*y**3 + y**2 + 0 + 1/20*y**5 + 2*y. Let j be v(-5). Are j and -3 equal?
True
Suppose -i - 40 = -3*i. Is i < 19?
False
Suppose -5*n + 0*n = 15, 0 = -k - n. Suppose -l - 2 = -k*l. Is l != 1/2?
True
Suppose 3*v + 45 = -2*v. Let b(a) = a + 11. Let c be b(v). Suppose -y - c*y = 0. Is y at least as big as -0.2?
True
Let s be -5*(24/10 - 2). Which is smaller: s or -3/5?
s
Let o(t) = -t**2 + 3*t