-1 + 2/3). Let z = q - 7. Let w be (z/(-14))/(21/(-14)). Which is smaller: 1 or w?
w
Let f(v) = -v**2 - 6*v + 4. Let y be f(-6). Suppose 12 = -y*h, -h - 3*h - 24 = -3*p. Is p less than 2?
False
Let t(z) = 3*z. Let x be t(1). Suppose 2*a = 4*m - 16, -6*m + 5*a + 8 = -4*m. Which is smaller: m or x?
x
Let x be -1*(31/(-11) - -3). Let q = -0.36 + 0.4. Let l = -0.06 - q. Which is bigger: l or x?
l
Suppose 4 = -4*l, 2*k - l = -3*l - 74. Let r be k/(-126) - (-186)/(-602). Which is bigger: r or 0?
0
Let j be 1 + 1 + 1 + -1. Let s(v) = -v**2 - 7*v - 4. Let r be s(-4). Suppose -3*t = 2 - r. Is j smaller than t?
False
Let w = 0.1 - 0.2. Let i = 57 + -32. Suppose 3*n - 10 = -7*k + 2*k, -4*n = -5*k - i. Is w bigger than k?
True
Suppose 12*f - 166 - 1070 = 0. Are 102 and f non-equal?
True
Let a = 80 + -238/3. Is 1 >= a?
True
Let x = -7 + 2. Let s be (-3)/((-12)/(-8)) - x. Let r be (-18)/4*(-6)/9. Is r > s?
False
Let b = 2.42 + 0.08. Let d = 1.5 - b. Is -1 at least as big as d?
True
Let u be 14/(-6) - (-5)/15. Let b = -9 + 9. Do u and b have different values?
True
Let k(f) = -f - 4. Let c be -4 - 0 - (1 + -1). Let b be k(c). Is -4 < b?
True
Let a = -11 - -15. Are 0.3 and a unequal?
True
Suppose 3*t - 4*f - 21 = -f, t + 2*f - 13 = 0. Suppose 3 = -3*z + t. Suppose 0*m = 2*m - z. Is m greater than or equal to -1?
True
Suppose -1 = -3*o + 2*z - 0, -4*o + 3 = -3*z. Let a = 3 + -13. Let p = -12 - a. Is o equal to p?
False
Suppose -a - 11 - 2 = 0. Is a greater than or equal to 1?
False
Let i be 2/8 - (-10)/(-8). Which is bigger: i or -2/7?
-2/7
Suppose -7*n - 90 = -12*n. Which is smaller: n or 19?
n
Let m = 7 + -5. Let t = -2 + 2. Let s be (0 + m + t)/(-3). Which is greater: 0 or s?
0
Suppose -10*w - 11 + 1 = 0. Let b = -76/3 - -25. Which is smaller: b or w?
w
Let r be ((-2)/74)/(3*(-1)/(-9)). Is -1 at most as big as r?
True
Let j = 0.3 - 0.5. Suppose 2*t = s + 1, 2*s = -0*t - 2*t - 8. Is j at most as big as s?
False
Suppose 0 = -2*a - 20 + 8. Is -3 <= a?
False
Let z = -9.2 + 9. Let b = -2 - -2.04. Let k = 2.04 - b. Are k and z equal?
False
Let l = 18 - 37. Is l < -19?
False
Let f(w) = 5*w**2 + 3*w + 5. Let b be f(-2). Which is bigger: b or 20?
20
Let f = 4 + -4. Is f at least as big as 0?
True
Let m = 6 - -16. Is 22 less than m?
False
Let u = -4 - -16. Suppose -4*w + 0*w + u = 0. Suppose -w*v = v. Does 2/35 = v?
False
Suppose 5*t + 0*t = 4*t. Suppose -5*y = -3 + 23. Let a be (y/6)/((-2)/3). Which is greater: t or a?
a
Let l(z) = -z**2 + 6*z - 5. Let p be l(5). Which is bigger: 5/7 or p?
5/7
Let p = -22129/120 + 553/3. Which is greater: -1 or p?
p
Suppose -4*y - 5*x - 48 = 0, y + x + 7 = -4. Let q(f) = -f**2 - 8*f - 3. Let r be q(y). Let b = -4 + r. Which is greater: 1 or b?
1
Let l be 2 + (-2 + 2 - -1). Suppose 0 = -l*n + 6. Which is greater: n or -0.3?
n
Suppose 6*c + 8 = 4*c. Which is smaller: -3 or c?
c
Suppose -2*y + 2 = 3*y - x, 0 = -2*x - 4. Let n be 16/(-7) - y - -2. Does n = 1?
False
Let a be 136/(-36) + (-4)/18. Let l = 1.1 + -0.1. Is a smaller than l?
True
Suppose -2*k - 3 = -5*k - 3*h, 2*k + h - 7 = 0. Let q be 3*((-16)/k - 0). Which is smaller: q or -7?
q
Let v = 10 - -26. Let b = 114 - 81. Let c be v/b - (-2)/(-2). Which is smaller: -1 or c?
-1
Let m = -412/21 + 58/3. Suppose 0 = 5*k + 2*x + 9, -2 = -3*k - 2*x - 9. Let s be (2/(-6))/(k/4). Which is greater: s or m?
s
Suppose 0 = 8*t - 3*t + 15. Let j be (1/t)/(2/12). Which is bigger: 0 or j?
0
Let l = -0.2 - -0.3. Let q = 17.94 + -18. Let s = 0.06 + q. Is s at most l?
True
Let m be 2/(-5)*(-1)/2. Let g(s) = s**2 - 9*s - 5. Let w be g(10). Suppose -6 = -w*j - 1. Is m less than j?
True
Let c(s) = 19*s**3 - s**2 + s. Let w be c(1). Let j be w/(-6) + (-3)/(-1). Let h = 1/3 + j. Is 0 smaller than h?
True
Let z = -8 - -11. Suppose 6*q - z = 3*q. Suppose -5*p = -3*p - 6. Which is greater: p or q?
p
Let f = 0.022 - -0.968. Let q = -0.01 - f. Is -1/5 at least q?
True
Suppose -q - 2 = -0*q - 2*r, 5*r - 35 = -5*q. Suppose -a = 2 - 7. Which is smaller: a or q?
q
Suppose -3*c = -1 - 2. Let q be (c - 7)*(-6)/90. Which is bigger: q or 1?
1
Let a = 0.049 - 1.049. Let l = -0.4 - -0.4. Are a and l nonequal?
True
Let l = 4 - 5. Let m = 1.12 - -0.08. Let y = m + l. Are y and 1 unequal?
True
Let q = -1.7 + -0.3. Let d = 81/154 - 2/77. Is q greater than or equal to d?
False
Let q = -0.112 + 0.012. Which is bigger: -0.4 or q?
q
Let h(b) = 2*b**2 + 4*b. Let c be h(3). Suppose -4*d + 2*u - 10 + 36 = 0, 0 = -3*d - 2*u + c. Is d not equal to 6?
True
Suppose -5*i + 40 = -f, 0 = -6*f + 2*f - 4*i - 160. Which is smaller: -39 or f?
f
Let c = -301 + 1523/5. Is c less than 4?
True
Let x = 33/10 + -7/2. Let i = -5 + 8. Suppose -5*f + 0*f = -n - 19, n + i*f = 13. Is n equal to x?
False
Let w = -0.12 - -0.02. Let t = -0.2 - w. Is -2 <= t?
True
Let f be -1 + 1 + (-26)/78. Which is greater: 0.08 or f?
0.08
Let u(v) = -2*v**3 + 2*v**2 + 2*v - 1. Let p be u(2). Let k be ((-1)/(-3))/(p/20). Are k and -1 unequal?
True
Let b = 0.12 - 0.24. Let i = b + 0.32. Are i and -2/3 non-equal?
True
Suppose -2*i - 7 = z, 2*z + 0*i = 4*i + 10. Let k = -3 + 8.8. Let h = k - 6. Is z <= h?
True
Let k(a) = -2*a**2 + a + 2. Let w be k(-2). Let q = w - -6. Let r(c) = -c**3 - 2*c**2 - 2*c - 3. Let h be r(q). Which is smaller: h or 1/5?
1/5
Let g be ((10/(-124))/(-5))/((-8)/16). Which is bigger: g or 0?
0
Suppose -4*r + 3 = -7*r. Let f be r/(3*(-3)/(-54)). Let j = 11/2 + f. Which is greater: -2 or j?
j
Let r = -30 + 14. Let g be (-8)/50*40/r. Is g at least 1?
False
Let s be ((-132)/56)/(-3) + 4/(-14). Which is bigger: s or -1.7?
s
Let w = 29 + -15. Suppose -2 = -4*g + w. Suppose 3*h + 1 = g. Is 2/9 <= h?
True
Let x be (42/(-56))/((-2)/8). Let s be x/(-2) - 2/(-4). Are -14 and s unequal?
True
Let j(f) be the second derivative of -f**4/12 + 7*f**3/6 + 7*f**2/2 + 3*f. Let h be j(8). Let t = -0.2 + -0.8. Is h greater than or equal to t?
True
Let d = 153 - 315/2. Is -4 bigger than d?
True
Suppose -2*c = 1 + 7. Let s = 5 + c. Which is smaller: s or 1/5?
1/5
Let r be (18/21)/1*(-2)/(-4). Let z be 2/5 + (-7)/5. Which is bigger: z or r?
r
Let p = -10 - 1. Let c = 5 + p. Let f be (-3)/(c/3 - -1). Which is bigger: 2 or f?
f
Suppose 4*b = -b - 5. Let p be b/(-1 - 18/(-15)). Which is smaller: p or 2?
p
Let u be (1 - 11) + 1*-2. Let b be (-7 - u) + (-1 - -3). Suppose 3*o + b + 5 = 3*s, 0 = 4*o. Which is smaller: 5/2 or s?
5/2
Let x = -2/575 + 52/575. Let v be 1*(1 + -20)*-1. Suppose 0*o + 3*y - v = 4*o, -8 = -2*o - 2*y. Which is smaller: o or x?
o
Suppose -4*v - 3*q + 24 = 0, -3*v = -3*q + 2*q - 31. Is -2 > v?
False
Let x(h) = 8*h**3 - 2*h**2 + h + 1. Let j be x(1). Which is bigger: 11 or j?
11
Let s = 17 - 20. Let j(y) = y**3 - 3*y**2 - 3*y + 3. Let w be j(4). Suppose -4*h = -4, -2*d = -w*d + h - 16. Is s equal to d?
True
Let g be ((-2)/3)/(2/14). Which is smaller: g or -6?
-6
Let n(k) = -k - 14. Let m be n(-7). Are m and -7 nonequal?
False
Let c(v) = -13*v**3 + 4*v + 2. Let u(j) = 7*j**3 - 2*j - 1. Let k(m) = 2*c(m) + 5*u(m). Let t be k(-1). Let b(q) = q - 13. Let l be b(6). Is t at least l?
False
Suppose 0 = -6*z + 2*z - 5*j + 44, -5*z + 14 = -4*j. Let q be (8/6)/(2/z). Suppose 2*a - 4*w = 0, q*a - 3*w = -6 + 1. Is -1 at least a?
True
Let b be (-2)/(-3) - (-5 - 42/(-9)). Is 1 at most b?
True
Let g be ((-4)/3)/(1/6). Is -11 equal to g?
False
Let m = -0.2 + 0.1. Which is greater: -5 or m?
m
Let q be 17*(2 + 1 - 2). Let k be (-16 - 1)/(3 - 4). Is k less than q?
False
Let y be 10/(-4)*4/(-10). Suppose -y = -q + 5. Let k be 3/q*(4 - 2). Is k greater than 0?
True
Suppose 0 = -v + 4*v - 12. Suppose -f = -0*s + s, v*s - 4*f = 40. Let z be (s/15)/(2/(-6)). Is -2 equal to z?
False
Let f = 122 - 41. Is 80 greater than f?
False
Suppose -2*t + 6 = -0*t. Suppose 0 = -w - 4*f + f - 7, -t*w - 2*f = 7. Let a(l) = l**2 + 4*l - 13. Let x be a(-6). Is w at most x?
True
Let c(v) = -v**2 + 3*v + 4. Let y be c(3). Suppose -2 = -y*n + 6. Let l be (-2)/21 - n/6. Is l not equal to -1?
True
Let l(t) be the second derivative of -t**4/12 - t**3/6 - 3*t**2/2 + 3*t. Let m be l(0). Are m and -3 equal?
True
Let u = -7.6 - -4.2. Let s = -3 - u. Let x = s + -0.3. Which is smaller: x or 1?
x
Suppose 17*q - 19*q + 6 = 0. Is 3 > q?
False
Suppose -2*l + 17 = s, l + 3*l - 7 = s. Let n = 12 - s. Let z(m) = -m 