 -2*n - 2. Let q = n + -4. Which is greater: r or q?
r
Suppose -3*w + 75 = -3*j - 18, -j - 51 = 4*w. Is -35 greater than or equal to j?
True
Let d = -84 - -84. Which is smaller: -16 or d?
-16
Let g = -3 - 7. Let c = 12 + g. Is 5/3 at most c?
True
Let w be ((-16)/20)/(2/(-30)). Does 12 = w?
True
Let u = 44/15 + -18/5. Which is greater: u or 1/6?
1/6
Suppose -4*u - 44 = -2*m, -2*m + m - 28 = 3*u. Let q be (-6)/u - (-30)/(-175). Is 0 greater than q?
False
Let p(g) = -2*g - 3*g + 10 - 1 + 6*g. Let q be p(-4). Is 5 greater than q?
False
Let g = -25/36 + 4/9. Let b be (3/(-6))/((-1)/2). Let z(q) = q - 1. Let t be z(b). Which is greater: g or t?
t
Let k be 6/(-33) - (-172)/220. Is k at least as big as 4?
False
Suppose 0 = -4*j - 0*j + 4. Let w = j + -1. Is w less than or equal to -0.03?
False
Suppose p = -0*p - 1. Let g = -47 - -31. Let r = g - -14. Is p not equal to r?
True
Let r = 123 - 116.1. Let z = 15 + -8. Let j = r - z. Which is smaller: -2/7 or j?
-2/7
Let s(b) = -b**2 + 6*b - 2. Let c be s(5). Suppose c = 3*h - 2*h. Let g(y) = -y**2 + 4*y - 4. Let d be g(h). Which is bigger: d or -2/3?
-2/3
Let t = -1 - -2. Suppose 0 = q - t. Let b = 80 + -558/7. Which is bigger: q or b?
q
Let f = -2.6 + 3. Let y = f + -0.3. Let d = -0.1 - y. Which is smaller: d or -0.1?
d
Let g(m) = -3*m - 2. Suppose 6 = 4*c + 10. Let r be g(c). Which is smaller: 1/2 or r?
1/2
Let u = -0.05 - -0.01. Let z = -0.16 + u. Is 1 greater than or equal to z?
True
Let s = 2 - -2. Let g = 8 - s. Suppose -g*z = z - 5. Which is greater: 1/5 or z?
z
Let c be (-200)/374 + 4/22. Suppose -5*d + 8*d = 0. Which is smaller: d or c?
c
Let h = 215/1869 - 862/2225. Let v = -1/75 + h. Is 0 not equal to v?
True
Suppose 2*y = -2*m + 6, -y + 3 = -m + y. Let v = -1 + m. Suppose v*r + 6 = 2*r. Which is smaller: r or 4?
r
Let p be 50/20*6/(-10). Let g(q) be the third derivative of q**6/120 + q**5/10 - 7*q**4/24 - q**3/2 + 5*q**2. Let f be g(-7). Is p greater than f?
True
Let f = 30/17 + -223/136. Suppose 3*b + 10 = -4*j, b - 4*j = -3*j - 15. Let p be 5/b*2*1. Which is greater: p or f?
f
Let d(o) = -o**3 + 8*o**2 + 13*o - 12. Let n be d(9). Is -2/5 at least n?
False
Suppose -3 = 3*b - 12. Suppose -2*y = b*y + 5. Let f be -2 + (-14)/(-3) + y. Is f greater than 2?
False
Let j = -8 + 32. Suppose 2*v - 1 - 1 = 0, -5*r + v + j = 0. Which is smaller: 4 or r?
4
Let f = 0.2 - 0.9. Let g = -5.3 + f. Let l = -5 - g. Is l < 1?
False
Suppose -2*w - 350 = -12*w. Is w at most 36?
True
Let h = -23.7 + 22. Is 2/5 at least h?
True
Let z be 10*(-1)/(-8) + -1. Let t = -5 - -5. Which is smaller: t or z?
t
Let c(z) be the second derivative of -z**5/20 + 7*z**4/12 - z**3 - 2*z**2 - z. Let s be c(6). Let o be 1*(-2 + 1) - s. Which is greater: o or 3/2?
o
Let z be (-24)/(3*2/(-12)). Which is bigger: z or 47?
z
Suppose 13*m - 17*m = 44. Let n be 1 - m/((-44)/(-40)). Are n and 10 unequal?
True
Let i(q) = q**2 - 7*q - 7. Let s be i(8). Let o(r) = -r**3 + 4*r**2 + 2. Let k be o(4). Which is bigger: s or k?
k
Suppose 4*x + 13 = 3*n, x - 2*n + 1 = -1. Which is smaller: x or -2?
x
Let s(d) = d - 1. Let k be s(1). Let z be (k + 0)/(-2 - -1). Let c = -97/42 + 15/7. Is c greater than or equal to z?
False
Let v = -74 + 45. Is v not equal to -30?
True
Let q be (-4)/6*3/(-1). Let w be (-3)/5*-11 + -4. Which is smaller: w or q?
q
Let d be (-3)/(-6) + (-5)/(-2). Suppose -c = -2 - d. Suppose -4*y = -23 + 7, -18 = -2*v - 2*y. Do c and v have different values?
False
Let x(c) = -c - 18. Let m be x(-10). Let v be 1*(-3)/(84/m). Is 0.1 smaller than v?
True
Let k = 130616/7 + -18719. Let s = k + 59. Which is greater: -2 or s?
s
Let w(y) = y**3 + 16*y**2 + y + 1. Let o be w(-16). Is o bigger than -15?
False
Suppose -2*f + 5*x = 1, 3*f - 3*x = -f - 9. Let n be -2 - (11/f + 1). Which is bigger: n or 2?
2
Let x(f) = f**2 + 8*f + 5. Let k be x(-7). Let u = 1 + k. Let n be 4 - ((-205)/(-30) + -3). Is u != n?
True
Let x = -5 - -9. Suppose -65 = -x*j - j. Is 14 less than j?
False
Suppose -5*v + f - 26 = 5*f, -5*v = -5*f - 10. Let k(h) = h**2 - 3*h. Let o be k(3). Let q = o + -1. Which is smaller: q or v?
v
Let d = 3 + -1. Suppose d*o = -o. Which is smaller: o or -1/8?
-1/8
Suppose -16*j = -11*j. Is -4/5 at least as big as j?
False
Let u(d) = d**2 - 5*d + 2. Let b be u(4). Let w be (0 - 1)*2/b. Let t be (4/2)/(-6 + w). Is t bigger than -1?
True
Let f(z) = -4 + z**2 + 1 - 2*z - 2*z. Let u be f(5). Let a = 2 - 0. Is u less than or equal to a?
True
Let a be ((-14)/(-4))/(5/20). Are 14 and a unequal?
False
Let z(v) = 13*v - 91. Let k be z(10). Which is smaller: 38 or k?
38
Let g be (2/(-5))/((-4)/40). Let m = g + -3. Which is smaller: -1/12 or m?
-1/12
Let w(j) be the second derivative of -5*j**4/12 - j**3/6 + j**2/2 + 3*j. Let o be w(-2). Let x = -33/2 - o. Which is bigger: 1 or x?
1
Suppose y = -3 - 3. Let t be (-3)/y - 2/20. Is -3/7 smaller than t?
True
Let n be 18*(4 + (-18)/4). Is n != -11?
True
Suppose 2*o - 15 = -o. Let a = 3 - o. Let n be 12/(-9) - 0 - a. Which is bigger: 0 or n?
n
Let o be -2 + 0 - 4 - -4. Let d = -1 - -1.1. Is d >= o?
True
Suppose -2*y - p = -y - 11, 9 = -y + 3*p. Let t(x) = 2*x**2 - 17*x + 24. Let v be t(7). Which is greater: y or v?
y
Let w = 78 - 79. Which is bigger: 1/71 or w?
1/71
Let g = -41.1 + 41. Let i = -0.6 + 2.6. Let q = i + -2.04. Is g less than or equal to q?
True
Let y(t) = 3*t + 27. Let z be y(-7). Which is greater: 19/4 or z?
z
Suppose -3*d - 7 + 4 = 4*i, 5*d = 4*i + 27. Let u = d + -3. Suppose 5*z - w + 2*w - 2 = u, 3 = -w. Is z <= 1?
True
Let y(f) = -5*f**3 + 13*f**2 - 13*f + 13. Let q(i) = -i**3 + i**2 - i + 1. Let s(w) = -4*q(w) + y(w). Let l be s(8). Which is greater: l or 3?
3
Let h be ((-34)/(-20))/(8/(-16)). Let d = -48649/13035 - 1/869. Let f = h - d. Which is smaller: 1 or f?
f
Let d be (1 + (-302)/(-4))*(-2)/(-3). Which is bigger: 50 or d?
d
Let t be 0 + (28 + 0)/(-1). Is -27 greater than t?
True
Let p = -7 + 11. Suppose p - 3 = h. Suppose -6 = 2*b - 5*b. Do b and h have different values?
True
Suppose 5*u + 15 = 2*a, 0*u - 4*u - 12 = -a. Let s = -1 - -1. Is s at most as big as a?
True
Let q = -7 + 7.3. Let y = q - 0. Let r = -54.9 - -55. Which is smaller: y or r?
r
Let n = -51 - -4. Let a = -139/3 - n. Do -2 and a have the same value?
False
Let u = 0.93 + 0.07. Which is bigger: u or 0.8?
u
Suppose -5*h + 4 = -11. Suppose 5*m - 4*x = h*m + 2, -m - 5*x - 6 = 0. Let a = -1 + 0.9. Which is bigger: a or m?
a
Let v = 242.2 - 193. Let h = 42 - v. Let n = h + 7. Which is smaller: 2 or n?
n
Suppose 9*p + 8 = -19. Which is greater: p or -12/5?
-12/5
Let u = 23 - 14. Is 9 > u?
False
Let c = 0.33 + -0.23. Is 19 > c?
True
Suppose 0 = 2*d - 8, 3*d - 24 = -u - u. Suppose -i - 70 = -u*i. Is i at least as big as 14?
True
Let l be -4 + (3 - 17/5). Is l at most -4?
True
Suppose h = -0*h + 3*h. Are h and -4/11 nonequal?
True
Let g = -832 - -580. Let a be (-99)/g + 1/(-4). Which is greater: -2 or a?
a
Let r = -16 + 17. Is 12/7 < r?
False
Suppose -4*a = q - 55, 17 = 2*a - 2*q - 13. Is 13 less than or equal to a?
True
Let i be 4/8*4 + 0. Let m be 5/2*(-4)/(-6). Let d = m + -11/12. Which is greater: d or i?
i
Let q be (0/(1 + (-1 - 3)))/(-2). Is q > 16/7?
False
Let f be 3/(-12) + (-29)/(-148). Let s be 0 - 2/(-2)*-1. Is s less than or equal to f?
True
Let y be (-4)/3*(-10)/(-60). Which is bigger: -0.1 or y?
-0.1
Let j = 1 - -1. Suppose h = 3*h + j. Which is greater: h or -1/11?
-1/11
Let b = -9 + 7. Is 13 at least b?
True
Suppose 0 = -5*h - 4*s + 23, h - 2*s - 11 = -6*s. Suppose 0*f - 3*f = h. Which is smaller: f or -2/5?
f
Let m(w) be the second derivative of -1/20*w**5 - w**3 - 1/2*w**2 + 0 - 7/12*w**4 + w. Let u be m(-6). Which is smaller: u or 0?
u
Let j be (18/(-28))/((-30)/105). Let f = 7171/12 + -600. Let t = j + f. Is 0 at most t?
False
Let l(q) = q**2 + 7*q + 6. Let c be l(-6). Which is bigger: -1/8 or c?
c
Let w = -110 - -111. Are w and -2/79 equal?
False
Suppose -28 - 2 = 5*n. Let y = 0.5 - -0.1. Let t = 0.5 - y. Which is bigger: n or t?
t
Suppose 3*q - 3 + 6 = 0. Let r = 106 - 533/5. Is q at most r?
True
Let c be 6/(-9)*72/16. Do -3 and c have the same value?
True
Let c be 54/42 - (-4)/(-14). Let l = -20 - -41/2. Which is greater: c or l?
c
Suppose 2*o + 152 = 4*k - 0*k, 31 = k - 4*o. Let s = k + -24. Let m be s/(