f(n) = n - 4. Let y be f(4). Suppose y = -4*z - 37 + 13. Which is smaller: z or -3?
z
Let k be 4/3*-2*9/(-36). Is k at most -21?
False
Suppose 2 = 2*b - 4*b. Let d be ((-2)/20)/(12/15). Is b greater than or equal to d?
False
Let h be (-84)/9 - 4/6. Let s be (-62)/(-8) + 6/(-8). Let q = s + h. Which is greater: -2 or q?
-2
Let p be (-3)/(-9) + (-10)/3. Let t = -1 - p. Which is smaller: 3 or t?
t
Let p = -11.63 + -0.37. Which is smaller: p or 2?
p
Suppose 4*u = -5*h + 101, 4*h + 5*u - 71 = h. Suppose 3*g - 20 = -h. Do g and 1 have the same value?
True
Suppose -8 - 4 = -2*o. Suppose -3*t - o = -0*t. Let s = -5.1 + 5. Which is bigger: s or t?
s
Let v = -5 + 4. Let m be (186/126)/(2/76). Let z = -170/3 + m. Does v = z?
False
Suppose -6*b - b = -378. Which is smaller: b or 55?
b
Let m be (3/9)/((-1)/(-3)). Which is smaller: -2/33 or m?
-2/33
Let f = 180 + -261. Which is bigger: f or -80?
-80
Let f(p) = -21*p + 3. Let z be f(3). Let m be -12*3/z*2. Which is greater: m or 1?
m
Let r = 9 - 7. Let i be r/4 + (-7)/(-28). Is 1 > i?
True
Let l = -0.9 + 1. Let f = -30759/169 - -182. Let h = f - -341/507. Is l at most h?
True
Let r = 50.96 + -37. Let s = r + -14. Let d = -1 + 1. Do s and d have the same value?
False
Let i(s) = -s**3 + 5*s**2 + 8*s - 1. Let y be i(6). Suppose h + y = -3*f - h, 5*f + h = -16. Which is bigger: f or 1?
1
Let x = -2.28 - -0.28. Which is smaller: -8 or x?
-8
Let h be (-21)/(-45) - 4/6. Suppose -3 = -3*m - 0. Which is bigger: m or h?
m
Let t = -4436 - -13460/3. Let f = t - 50. Which is smaller: 8 or f?
f
Suppose 2*b - 2 + 0 = 0. Let j = 0 + b. Which is greater: 0 or j?
j
Let q = -5/4 - -23/12. Let d = 4.1 - 4. Are q and d nonequal?
True
Suppose 1 = 2*a - 3. Suppose 5*t = 3*t - a. Are -1 and t non-equal?
False
Let x(t) = -4*t + 2. Let q be x(-6). Is 26 smaller than q?
False
Let t(i) = 2*i - 4. Let n be t(3). Let o = n - 0. Let m = o - 2. Which is smaller: 1/5 or m?
m
Let l = 6 - 6. Let z be (-4)/2 + l/1. Let w = -6 - -4. Is w >= z?
True
Let g = 9616/21 + -458. Is g > 1?
False
Let g(u) = 12*u**3 + 2*u**2 + 2*u + 1. Let a be g(-1). Let c be (-2)/a + (-123)/132. Do c and -2 have different values?
True
Let l = 6.5 - -1.5. Let r = 6 - l. Let w = r + 2. Which is smaller: 1/6 or w?
w
Suppose 2*f - 28 = -2*f. Let y = 7 - f. Which is smaller: 1 or y?
y
Let v = -7 - -16. Let p(c) = c**2 - 10*c + 11. Let q be p(v). Suppose -3*m + 1 = -q. Is 1/4 > m?
False
Suppose -4*l - 3 = 1. Which is smaller: 7 or l?
l
Let j = -0.03 - 0.17. Let q = -0.1 - j. Let u = -19/12 + 5/4. Which is greater: q or u?
q
Let l be ((-2)/7)/((-15)/(-21)). Let k(b) = b**2 + 4*b - 1. Let c be k(-4). Which is smaller: l or c?
c
Let y be ((-1 + -1)/2)/(-1). Suppose -v - 1 = -2. Is v < y?
False
Suppose h + h - 14 = 0. Is 8 at least as big as h?
True
Let y = 6 + -3. Is 1/4 bigger than y?
False
Let q = 31/20 - 9/5. Let y = 6 - 15. Let o = y + 9. Which is smaller: o or q?
q
Suppose -v = -3*v. Suppose 0*k - 3*k = v. Let d = -43/3 + 14. Is d greater than k?
False
Let p be (-18)/(-48)*26/9. Which is smaller: 2 or p?
p
Let l(o) = 4*o + 39. Let r be l(-10). Which is greater: 2/141 or r?
2/141
Suppose 5*g - 3*f + 21 = 0, -2*f = -2*g - 0 - 6. Is -4 greater than or equal to g?
True
Let z be ((-123)/82)/(1 + 98/(-8)). Are z and -1 equal?
False
Let k = 143 + -291/2. Is k > -1/3?
False
Let r be 2/(-30) - (-6)/(-10). Which is greater: -2 or r?
r
Suppose f - 3*k = -2*k - 4, 0 = 2*f + 3*k - 12. Suppose 7 = 3*p - 5. Suppose -p = -5*c - z - 14, 0 = z + 5. Is f > c?
True
Let g = -89/285 + 11/19. Which is smaller: g or 1?
g
Let n be (-6 + 2 - -1) + -2. Is n >= -2/3?
False
Let q = -177 + 178.07. Let b = 0.07 - q. Which is smaller: b or -0.3?
b
Let c be (-2)/(-4) - 7/(-2). Let p be ((-3)/(-18))/((-2)/c). Let l be (-2)/(-6)*0 + -1. Are p and l nonequal?
True
Suppose -n = -6*h + 4*h - 16, -h = 4*n - 10. Let k be (-8)/40 + h/(-10). Is 1 at least k?
True
Suppose 0*x + 4*x = -8, -8 = k + 4*x. Is k at least as big as -1/24?
True
Suppose -27 + 7 = -4*k. Are k and -3 equal?
False
Let x(r) = r**2 - r. Let g be x(2). Let h be 1 - (g - -3) - -1. Let s(a) = -a - 2. Let b be s(h). Is -1/6 bigger than b?
False
Let d be 27/12 - 4/16. Suppose 0 = d*n + 4 - 2. Is n greater than -1?
False
Suppose -7 = -4*b - 19. Let m = 3.08 + -0.08. Let g = 4 - m. Is g equal to b?
False
Let c = 9 - 10. Is 1/7 != c?
True
Let h(y) be the first derivative of -y**2/2 - 2*y - 1. Let x be h(-3). Suppose -8*o = -0*o - 8. Is o greater than or equal to x?
True
Suppose -5*p - 6 - 4 = 0. Suppose -5*m = 13 - 3. Does m = p?
True
Suppose 4*i = -5*s + 7, 0 = 2*s + i - 3 - 1. Suppose -5*o = 5*n - 30, s*n - 4*o + 28 = 8*n. Is 15/4 > n?
False
Let x(s) be the first derivative of -s**2/2 + 8*s - 4. Let t be x(6). Do t and 3 have different values?
True
Let o be 10/4*8/10. Let l = -27 - -26. Is o != l?
True
Let h = 2 - -1. Let i be 2/4*h/9. Suppose -s - 25 = -5*l, 4*l - l = 3*s + 15. Is i < s?
False
Suppose -6*v + 2*v - 5*r = -14, -6 = -3*r. Is 2/9 less than or equal to v?
True
Suppose -11 = 2*i - 3. Let l be 0*((-12)/9)/i. Let q(y) = y**3 - y**2 - 3. Let f be q(2). Which is smaller: f or l?
l
Suppose 4*b - 4*v - 17 = -5, 0 = -2*b + 4*v + 6. Let m be ((-238)/6)/(4/(-3)). Let o = m + -30. Which is greater: b or o?
b
Let q be (1*(-4)/2)/(-1 + -4). Is q not equal to -36?
True
Let y(l) = -2*l**3 + 2*l**2 - 2*l + 1. Let n be y(1). Which is smaller: n or -1/2?
n
Let m = -4.4 + 0.4. Let x = m + 2. Is x greater than or equal to -2?
True
Let c = -6 + 11. Suppose -c*l + 22 = -38. Suppose -f = -n - 9, 3*n = 4*f - 22 - 16. Which is smaller: l or f?
f
Let h(z) = z - 1. Let d(k) = 5*k - 6. Let l(x) = -d(x) + 4*h(x). Let r be l(-2). Suppose 3*s - r*s = -1. Which is smaller: -1/14 or s?
-1/14
Let k be (-2 + 5)*(-2)/6. Let c = -1177/25 - -47. Do c and k have different values?
True
Let p = 1 + -5. Let v be 2*4/24 + -3. Which is greater: p or v?
v
Let u(n) = -n - 1. Suppose -5*o = -20, 0*y = 4*y - 3*o + 16. Let z be u(y). Let c be (-2 - -2)*(-2)/4. Is z less than c?
False
Let i(a) = -a**3 + a**2 - a. Let y be i(0). Let k be y + (-36)/(-21) - 2. Is 1 bigger than k?
True
Suppose 0*d = 4*d. Let h = -14.24 - -14. Let x = h + 0.04. Do x and d have the same value?
False
Suppose 2*v - 2 = 6. Which is bigger: v or 3?
v
Suppose -2*u - 5*m - 25 = 0, 2*m = 5*u - u + 38. Is -9 < u?
False
Let y be (-36)/(-20) - 2/(-10). Suppose y = -d + 4. Let u = d + 1. Is -1/4 at least u?
False
Let a = -9 - -13. Suppose a*p = 2*f - 6, 0*f - f = p. Which is smaller: -1/13 or p?
p
Let t(m) = m - 2. Let u be t(1). Let x be (-4)/(-10) + 1 + -1. Let p = -9/10 + x. Which is greater: p or u?
p
Let w be (-2)/4*(1 - -1). Let q be 3/(-3) + (19 - -3). Let z = q - 21. Is w less than z?
True
Let t(n) = n**3 + 3*n**2. Let y be t(-3). Suppose 5*j + y + 5 = 0. Which is greater: j or -0.12?
-0.12
Suppose 0 = 5*c + 20, 5*g = -3*c + 9 - 26. Let p = -3 - g. Let i be p/(-2) - 6/6. Which is smaller: i or -2/31?
-2/31
Let s(b) = -b**3 - 4*b**2 - 7*b - 4. Let q be s(-4). Let v(g) = g**2 - g - 9. Let d be v(9). Let y be q/d + 2/(-3). Do -1 and y have different values?
True
Let x(v) = 4*v + 8. Let p be x(-5). Which is smaller: -11 or p?
p
Let j = -32/33 - -18/11. Is 8 at most j?
False
Suppose 8 = 5*s - 3*b + 25, 0 = -4*s + 3*b - 16. Which is smaller: -6/43 or s?
s
Let h = 153/5 + -31. Is h greater than -1?
True
Let b(v) = -v**2 + 12. Let s = -5 - -5. Let z be b(s). Suppose -g - p - p + 8 = 0, 2*p - z = g. Is g != -0.2?
True
Let l be (-6)/(-8) - 235/20. Let y = l - -12. Which is smaller: 0 or y?
0
Let m = 10 + -21/2. Does 0.2 = m?
False
Let k be ((-8)/3 - -2)*3. Let j = 6 - 15. Let n = j - -9. Is k less than n?
True
Let a = 0.13 - 0.08. Let k = -8.9 + 10.85. Let h = a + k. Which is smaller: h or 0.2?
0.2
Suppose 4*o - 4 + 16 = 0. Let z be 3 - (-6)/(-9)*o. Is 4 less than or equal to z?
True
Let d(m) = m**2 + 1. Let x(u) = -9*u**2 + u - 2. Let o(a) = -2*d(a) - x(a). Let l be o(1). Suppose l*j - 25 = j. Which is smaller: 6 or j?
j
Let b be (-1)/(88/356) - -4. Which is bigger: -1 or b?
b
Let s = -0.07 - 0.03. Let v = 4.1 + s. Are v and 2 equal?
False
Let d(t) = -t**3 - t + 4. Let p be d(0). Let w be ((-1)/p)/(10/16). Which is smaller: -1 or w?
-1
Let g = -2.2 + 2. Let c = 0.2 - g. Is c at least as big as 0.1?
True
Let l be (-2)