*m - 6. Let t be p(4). Let s be (t/8)/((-2)/(-8)). Which is smaller: 1 or s?
s
Suppose 0 = 4*f + 12 + 8. Let y be f*(8/(-75))/4. Which is smaller: y or 1?
y
Let v = 0.22 - 0.12. Let q = -3 + 3. Is q bigger than v?
False
Let p = -117 + 110. Let k = -0.4 + 0.3. Which is bigger: k or p?
k
Let v(a) = 2*a - 9. Let n be v(7). Suppose 0 = 4*i - 2*z + 21 - n, 5*z = -i - 4. Let q(s) = -s**3 - 7*s**2 + 8*s - 4. Let d be q(-8). Is d greater than i?
False
Let y = 0 - 0.1. Let c = 0.3 + y. Let d = c - 0.1. Is -1 at least as big as d?
False
Suppose -2*w = -0 + 4. Let k be 8/(-6)*(-6)/4. Let c be (-11)/9 + k/9. Which is greater: w or c?
c
Let f = 10 - 16. Let y = 63.9 - 70. Let o = y - f. Which is smaller: 2 or o?
o
Suppose 3*l - 15 = 0, -5*l + 11 = -2*w - 16. Which is greater: w or 1/5?
1/5
Let h = 8/3 + -3. Is h at least as big as 0.3?
False
Suppose 3*n + 29 = -k, -5*n - 3*k - 19 = 32. Let l = -6 - n. Let f = 1 - -1. Which is bigger: l or f?
l
Let b be (1/(-2 - -4))/(-2). Suppose 5*c + 2*f = -3*f - 15, 0 = 4*c + 3*f + 9. Which is greater: c or b?
c
Let x(v) = 3*v - 5. Let w be x(2). Is w bigger than 1/13?
True
Let z = 97/156 + -1/156. Which is smaller: 1 or z?
z
Suppose 14 = -5*q - 11. Does q = -5?
True
Suppose -5*d + h + 55 = -0*d, h + 31 = 3*d. Suppose -27 = 5*z - d. Does 0 = z?
False
Let u(k) = -k**2 + 10*k - 7. Let n be u(8). Let a be ((-6)/(-9))/(12/n). Which is smaller: a or -0.2?
-0.2
Let o(y) = 14 + 2*y**2 + y**2 + 2*y + 5*y**3 - 4*y**3 - 10. Let c be o(-3). Does c = -1/2?
False
Let a be 143/(-234) - (-2)/3. Is 1 bigger than a?
True
Let z(s) = 2*s - 2. Let u be z(0). Let d = -7 - -28. Let a be u + -3*d/(-27). Which is smaller: -1 or a?
-1
Let l = -1 - -1.1. Let w be -1 + 12/(-3) + 14. Which is smaller: l or w?
l
Let g be 8/(-6) + (-400)/(-264). Let i(c) = -c**3 - 4*c**2 + 2*c + 6. Let b be i(-4). Let r = 2 + b. Are g and r unequal?
True
Let z = 118 + -823/7. Let k(p) = p - 1. Let u(o) = -3*o + 10. Let i(v) = 4*k(v) + u(v). Let x be i(-5). Which is smaller: x or z?
z
Suppose -4*p = 2*y + 6, 8 = 4*y + 2*p + 2. Is -3 < y?
True
Let a be (-2832)/448 - (-3)/4. Which is bigger: a or -7?
a
Let h be 3/12*-1*-4. Is h at least as big as 4?
False
Let s = 23 - 19. Let a be ((-8)/s)/((-2)/(-4)). Which is smaller: -7 or a?
-7
Let m = 3 - 4. Let x = -397 - -4361/11. Which is smaller: x or m?
m
Let z = -0.069 - -1.269. Which is greater: 1/2 or z?
z
Suppose 6*m = 8*m + 6. Let k be (4/(-8))/(m/6). Let w = -1.6 - 0.4. Which is greater: w or k?
k
Let p = 369 + -522. Is p at least as big as -152?
False
Suppose 0 = -4*n + 3*w + 2*w - 40, n + w = -1. Which is greater: n or -7?
n
Suppose -6 = -4*h - 2. Let z be -4 + ((-11)/(-7) - -2). Do h and z have different values?
True
Let n be 1 - (3 + -3)/(-5). Is -14 > n?
False
Let v = 78/5 + -15. Is v at least 1?
False
Suppose 0 = -5*x + 16 - 1. Is x at most 3?
True
Let u = 39 + -49. Let j(k) = -k**3 - 5*k**2 + 8*k + 3. Let l be j(-6). Is l at least as big as u?
True
Suppose z - 12 = -2*z. Suppose x - z = -x. Let h be x/(-5) - 4/(-60). Which is greater: h or -1?
h
Let s = 26 - 22. Let n = 3.9 - s. Which is smaller: 1/2 or n?
n
Let m be (2 - 24/13) + 0. Let j(h) be the second derivative of -h**4/12 + h**3 + 7*h**2/2 - 2*h. Let l be j(7). Are l and m equal?
False
Let w = 0.3 + -0.2. Let o be (52/12 - 4)*0. Do o and w have the same value?
False
Let o = -14 + 10. Let w = -5 - o. Let a = -1.2 - w. Do -0.3 and a have the same value?
False
Let g = 37 - 22. Is g < 15?
False
Let n(y) = 3*y**3 - 36*y**2 + y - 12. Let s be n(12). Do s and -38 have the same value?
False
Let q(f) = f - 2. Let v be q(6). Suppose 2*i + 13 = 3*l - v, -23 = -2*i - 5*l. Which is smaller: i or -3?
-3
Let y(a) = a - 5. Let d be y(5). Suppose 3*b = 8*b + 5. Let f be b/(3/(-12)) - 3. Which is smaller: d or f?
d
Let u = 0.05 - 0.15. Which is greater: -0.06 or u?
-0.06
Let t(c) = c + 2. Let b be t(-2). Suppose b*q + q = -4. Is q greater than -3?
False
Let l = 7 - 6. Is 1 greater than or equal to l?
True
Let g = -49 - -48. Let h = -0.77 + -0.03. Is g at least as big as h?
False
Let d = -70 - -68. Which is smaller: d or 0?
d
Let t(k) = k + 9. Let f be t(-4). Suppose 1 = f*l - a, -2*a = -2*l + 3 - 1. Suppose -2*p + 6 - 4 = l. Is p equal to 0?
False
Let w = 10 - 9. Suppose 2*z + w + 1 = 0. Which is smaller: z or -2/3?
z
Let u = 40.9 - 41. Which is bigger: -2.3 or u?
u
Let s be 1/6*(-6 + 0)/3. Which is greater: s or 1?
1
Let f be (1/(-2)*-12)/1. Let v be ((-12)/(-3))/((-2)/f). Let n be (3/v)/(14/32). Which is greater: 0 or n?
0
Let h = 38 - 37. Is 4 at most h?
False
Let v = 4 + 1. Suppose 4*q - v + 17 = 0, 2*j = q - 3. Let y(n) = -n**3 + 9*n**2 - 19*n - 10. Let s be y(5). Is s bigger than j?
False
Suppose -2*z + 5*t = -32, z - 5*t + 6*t = 30. Which is greater: z or 27?
27
Let w(v) be the third derivative of v**4/3 + v**3/3 + 2*v**2. Let f be w(3). Suppose -d - 2*d = -4*l + f, -3*d + 3*l - 21 = 0. Are -1 and d equal?
False
Let w(p) = p**3 + 7*p**2 - p + 5. Let g be w(-7). Let n be (-6)/(-8) + (-5)/g. Is 1 less than or equal to n?
False
Let b(m) = -4*m - 19. Let p be b(-3). Is -6 bigger than p?
True
Let r(d) = -d - 9. Let m be r(-3). Are -5 and m nonequal?
True
Let l = -17 + 20. Are l and 2 equal?
False
Let k(y) = y - 10. Let l be k(7). Let c(q) = q**2 + q - 3. Let v be c(l). Do 3 and v have the same value?
True
Let u(b) be the third derivative of b**6/120 - b**5/10 - b**4/4 - 2*b**3/3 + 8*b**2. Let k be u(7). Is k less than 0?
False
Let t = 0.8 - -2.2. Let m = 4 - t. Which is smaller: -0.1 or m?
-0.1
Let o(i) = -i**3 - 8*i**2 + 9*i + 3. Let m be o(-9). Suppose 0 = v + m*v. Suppose 0 = -f + 5*f. Are v and f unequal?
False
Let h be ((-3)/(5 + -2))/((-4)/(-1)). Suppose -188 = y + 3*y. Let g = -140/3 - y. Which is bigger: h or g?
g
Let b = -2/65 - -69/130. Let c(i) = i**3 - 7*i**2 + 6*i - 3. Let y be c(6). Is y equal to b?
False
Let j be 5 - (-1 + (1 - 0)). Suppose 2*o - j = -1. Suppose g + o*g = 0. Is g greater than 0?
False
Let o(m) = 4*m**2 - m + 1. Let g be o(1). Let k be -4 + 2 + 0 + g. Let h be 5 - 2 - 5/k. Is h > 2?
False
Let d = -0.95 + 1. Are -0.2 and d equal?
False
Suppose 2*c = 4*k + 16, -c + 4*k + 6 = -6. Suppose -c*n + 1 + 3 = 0. Is n > 0?
True
Suppose 0 = -4*b + 139 - 199. Does 1 = b?
False
Let l be (-5)/(-33) + ((-40)/55)/(-4). Are 0 and l unequal?
True
Let o be 40/(-30) + (-51)/(-18). Let i(w) = -w - 1. Let v be i(-4). Which is smaller: o or v?
o
Let m = -2.01 - -0.01. Are m and -0.3 equal?
False
Let v be (-80)/(-264) - 4/6. Suppose 5*r - 2*m + 20 = -7*m, 5*m = -r - 24. Is v != r?
True
Let z(v) = -5*v - 1. Let n be 18/(-30) - 4/10. Let d be z(n). Let u be -2*(15/(-6))/5. Which is smaller: u or d?
u
Suppose 0 = -w - 2 + 22. Let x be w/(-201)*108/(-50). Let k = -1/67 + x. Which is smaller: k or 1?
k
Let y be (-12)/8*-2 + 60. Are 64 and y unequal?
True
Let u = -2 + 2. Let p(j) be the third derivative of -j**5/60 - 5*j**4/24 + 7*j**3/6 - j**2. Let i be p(-6). Is i at least as big as u?
True
Let w = 1 + -1. Let i be (-1970)/(-534) - (-4 + 7). Let r = 2/89 - i. Which is greater: w or r?
w
Let t(u) = u**2 + 2*u - 18. Let f be t(-6). Is 4 at least f?
False
Let z = 22 - 15. Which is bigger: 5 or z?
z
Let j = 2851/11 - 259. Let g(p) = -p - 6. Let b be g(-7). Which is bigger: j or b?
b
Let o = 14 + -14. Let t = -12 - -10. Which is smaller: t or o?
t
Let a = -3 - -3. Suppose -6*p = -p. Let m be (-3)/3 - (-2 - p). Which is bigger: a or m?
m
Let j = -40.99 + 41. Which is bigger: -1/3 or j?
j
Let n be (-6)/(-4) + 2/(-4). Suppose 4*r = -28 + 4. Let u be (-2)/(-8) + r/(-8). Is n less than u?
False
Let v = -0.1 + 0. Let o = 86 + -685/8. Which is bigger: v or o?
o
Let r(w) = -w**2 - 15*w + 34. Let z be r(-18). Is z smaller than -1?
True
Let q = -8.1678 + 0.1378. Let i = -8 - q. Let k = i + 0.97. Is k at most as big as 2?
True
Let f = 233/170 + -6/85. Do 2 and f have the same value?
False
Let l = -37 + 67. Let i = l + -29. Is 1 at least i?
True
Let v = -3 - -1. Let d be ((-1)/(-3))/(v/(-6)). Let a be (-2)/6 + (-6)/(-9). Which is greater: d or a?
d
Suppose -3*n - 5 = -2*u - 8*n, 4*u - 4 = -4*n. Is -11 less than or equal to u?
True
Let k(q) be the second derivative of -q**5/20 - q**4/3 + 2*q**3/3 - q**2/2 + 2*q. Let o be k(-5). Which is bigger: o or 3?
o
Let h = 2 + -2.1. Let y = h 