)/(-7). Which is greater: k or 2?
2
Suppose -2*y - 9 = -37. Let h be 2/(-4)*8/y. Suppose 0 = -3*u + 12, u = 2*z + 1 + 1. Is z equal to h?
False
Suppose 0*j + 3*j - 30 = 4*n, -3*j + 24 = -2*n. Suppose x + 0*f + f = j, 0 = x + 3*f - 12. Let p be -3 + 6/x - 0. Which is greater: -2/7 or p?
-2/7
Let i = -4/47 - 109/376. Is 3 less than i?
False
Let z(l) = l - 2. Let f be z(0). Let t be 1 - -1 - (-1 - -4). Let o be 0/t - (2 + -1). Are f and o equal?
False
Let x = -34.1 + 34. Let q be (-1)/(-3) + 1 + -2. Which is smaller: x or q?
q
Let l be ((-1)/(-3) + 60/(-45))/1. Let a = 0.9 - 0.6. Let u = a - 0.26. Which is greater: l or u?
u
Let o(q) = 2*q**3 - 2*q**2 - 18*q + 4. Let z be o(-4). Is -85 bigger than z?
False
Suppose -5*v + 2*c + 6 = -9, -9 = -3*v - 5*c. Let d be ((-20)/v)/((-5)/15). Let z = 14 - d. Which is smaller: z or -4?
z
Let c be -2 - (0 - (14 - -2)). Let f = c - 10. Suppose -f*w + 11 = y, 2*w - y - 1 - 6 = 0. Are w and 3 equal?
True
Let n(q) = 85*q**2 + q. Let r be n(-2). Let i = r + -2370/7. Let h = 2 + -2. Is h at most i?
False
Suppose 3*y - 5*d = 7, 0 = -y + 2*d - 0*d + 4. Let p be 1 - ((-5)/y + 0). Is p less than 1?
True
Suppose -4 + 16 = -3*k. Is k smaller than -1?
True
Let z = 0 + -1. Suppose 3*c + 70 = 5*c. Let s = -317/9 + c. Which is smaller: s or z?
z
Let g(a) = 3*a + a**2 + 0*a**2 + 2*a + 5 - 2*a**2. Let i be g(6). Which is smaller: -0.2 or i?
i
Let q be (-21)/(3/(-1)) + -3. Suppose a = 6*a + q*l - 70, 2*a - 30 = -2*l. Which is smaller: a or 9?
9
Let f = 29.03 - 29. Is -2 at most f?
True
Let u(x) = x + 13. Let g be u(-10). Suppose -2*s + 3*s - g*h - 12 = 0, -4*h + 3 = 5*s. Is 2 < s?
True
Let v(q) = -4*q - 1. Let j be v(-1). Which is smaller: 2 or j?
2
Let f(n) = n**3 - 8*n**2 + 6*n + 3. Let m(x) = -2*x**2 + 4*x - 2. Let p be m(2). Let v = 5 - p. Let k be f(v). Which is smaller: k or -3?
k
Let s(u) = -22*u**2 + 3*u - 3. Let y be s(1). Which is greater: 2/5 or y?
2/5
Let s(y) = -y**2 + 7*y + 7. Suppose -m - m + 14 = -4*q, m - 4*q = 7. Let h be s(m). Suppose -4*f + 9 = -h. Is 4 less than f?
False
Suppose 0 = 4*q + q - 15. Suppose -40 = -q*f - 2*f. Which is greater: 6 or f?
f
Let b = 4 + -5. Let v be 1/4 - (-69)/(-252). Let p = -5/14 - v. Which is smaller: p or b?
b
Suppose -g + 6 = -u, -5*u - 6 = 4. Suppose 0 = -f - g + 2. Let l be (-1)/2*(-12)/(-2). Are f and l nonequal?
True
Suppose 0 = a + a. Let p be 1 + 16/6*3. Suppose -o = -p - a. Which is greater: o or 8?
o
Let n = -21 - -27. Which is bigger: 5 or n?
n
Let i = -7/4 - -57/28. Let p = -2 + 3. Let d = 0 - p. Which is smaller: d or i?
d
Suppose -3*v - 2 = -5. Let h be 4/6*(-9)/(-6). Is v >= h?
True
Let d = -19.8 + -4.2. Let t = d + 27.2. Let g = t - 3. Which is greater: 0 or g?
g
Let x be 22/5 - (-15)/25. Let k = x - 5. Which is greater: -3/4 or k?
k
Let r = 5 + -3. Suppose 0 = -r*d - 3*b + 4, 4 - 3 = 3*d + 2*b. Are d and -2/3 nonequal?
True
Let k = 1.1 + -1. Let f = -0.987 - 0.013. Which is smaller: k or f?
f
Let z be (-60)/4*4/(-12). Which is bigger: z or 7/2?
z
Let y = 6080152/89 + -17108164223/250446. Let a = 276/67 - y. Let l = -11/7 - a. Is -1 < l?
True
Let v be 7/(-5) + 2/5. Is 0.03 > v?
True
Let m = -598 + 223. Let x = -3371/9 - m. Let b = -2/9 - x. Which is greater: b or 3?
3
Suppose 0 = -6*j + 8*j + 26. Suppose -3*s = 1 + 26. Let g = s - j. Which is smaller: 5 or g?
g
Suppose 2*l + l - 63 = 4*w, 46 = 2*l - 4*w. Let s = 35/2 - l. Suppose 0 = -3*q + q. Which is smaller: q or s?
q
Suppose 3*l + v + v = 42, -28 = -l + 4*v. Suppose l = -4*w - 0*w. Let q = w - -8. Which is greater: q or 5?
5
Let x = -0.6 + 0.3. Let p = x + 0.3. Which is smaller: p or 2?
p
Let v be (-2)/4*(-3 - 17). Suppose -4*o + 5*i - 25 = -2*o, 2*i - v = 0. Are -1 and o equal?
False
Suppose 2*h - 425 = -8617. Let p = -45009/11 - h. Let z = p - 777/187. Are z and 1 unequal?
True
Suppose 0*o - 5*o = -4*l + 1, l = -4*o - 5. Suppose -3*z = a + 17, 4*a + 61 = a + z. Let s be (-4)/a*3/(-6). Does s = l?
False
Suppose -6*n + 25 = -r - n, -3*n = 5*r - 15. Do r and -0.2 have the same value?
False
Let o be (-214)/(-10)*(-976)/28. Let q = -746 - o. Is -1 equal to q?
False
Let h = -270 + 4048/15. Suppose o = -5, -2*n + 4*o + 22 = -0*o. Which is bigger: h or n?
n
Let b = 1 - -1. Let v be (-46)/(-24) + (-170)/102. Which is smaller: b or v?
v
Let n(j) = j**3 + 8*j**2 - j - 3. Let x be n(-8). Suppose -4*y + 1 - x = 0. Let s(h) = -h**2 - 2*h - 2. Let t be s(-2). Is y greater than t?
True
Let z = -0.7 - 39.3. Which is bigger: z or 0.1?
0.1
Let b(a) = a + 3. Let i be b(4). Suppose 4*q + 0*q = 5*z - i, -5*q - 15 = 0. Suppose -1 = -s + 1. Do z and s have the same value?
False
Let n be 1/(-13) - (11 + -11). Which is bigger: n or 1?
1
Let r = 101/4 - 25. Suppose 6 = -5*y + k, -y - 5 = y - 3*k. Let s = 3 + y. Which is smaller: r or s?
r
Let v be 2 + -1 - -3 - 2. Suppose 0*i + 2 = -v*i. Let o = 1/14 + 23/70. Is o < i?
False
Let g(c) = -3*c**2 + 2*c**2 - 3*c - 1 + 3. Let h be g(-3). Suppose 1 = v + h. Is -1/2 bigger than v?
True
Let d be ((-75)/(-175))/(1/5). Which is smaller: d or 3?
d
Let w be ((-5)/(-4))/((-3)/(-12)). Suppose 0 = -w*y + 3*y + 4. Let k(u) = -u + 5. Let o be k(4). Which is smaller: y or o?
o
Let d = -4 - -3. Let n = -1.2 - d. Which is bigger: n or 2?
2
Let i = -2 + 4. Suppose 3 + 7 = i*u. Let o = u + -3. Is o greater than or equal to 0?
True
Suppose -4*q + 3 = -13. Suppose -17 = -4*b - x, -b + 5 = -x + 2. Is q < b?
False
Suppose 0 = -3*j + 8*j + 5. Suppose 0 = -2*w - 0*w + 2. Let x = w + j. Which is smaller: -1 or x?
-1
Let f(q) = q**3 + 5*q**2 - 3*q - 4. Let b be f(-5). Is 9 at least as big as b?
False
Let y be 3/(-6)*4/5. Let z = 5.84 - -0.16. Let u = z + -5.9. Which is greater: y or u?
u
Let h = -172/507 + 1/169. Let u = -2.96 + -0.04. Let t = 2 + u. Is h at most as big as t?
False
Suppose x + 0*x = 2. Let j be 1/x*4/(-8). Is j at least 0?
False
Suppose -3*j - 5*z = -0*j - 21, 0 = 5*j - 2*z - 4. Let p be ((-7)/(-6))/(j/4). Let o = 29/15 - p. Which is smaller: -2 or o?
-2
Let k(m) = m**2 + 10*m + 18. Let h(t) = -t + 10. Let w be h(16). Let p be k(w). Which is smaller: p or -5?
p
Suppose 0 = -k + 2 + 2, 5*t + 2*k - 18 = 0. Let z(y) = -y**2 - 6*y - 1. Let g be z(-5). Suppose -n - 3 = -t*f, -4*f - n = 1 - g. Which is greater: f or 2/3?
f
Let v(z) = z**3 - 11*z**2 - 10*z - 4. Let x = 29 - 17. Let u be v(x). Are 20 and u unequal?
False
Let o be -2 - 0 - (-5990)/(-4). Let u = -1576 - o. Let g = u + 78. Which is greater: g or 3?
3
Let v(k) = -k**2 + 2*k + 13. Let m be v(6). Which is smaller: m or 1?
m
Suppose 3*b = -2*f + 1, 0 = 5*f - 2*b - 3*b + 60. Is -4 > f?
True
Suppose -3*w + 3*w + w = 0. Which is bigger: 2 or w?
2
Let s(d) = -d**2 + 11*d + 5. Let u be s(12). Let h = u - -6. Which is smaller: 2/13 or h?
h
Let h(b) be the first derivative of b**2/2 - 9*b - 2. Let j be h(10). Is j greater than -1?
True
Suppose t + 2 = -0*t. Let a = 8 - 11. Which is smaller: a or t?
a
Let m = 0.16 - -0.14. Is m equal to -3?
False
Let k be ((-1)/(-2))/(1/8). Suppose 0 = -4*t + 2*t + 3*l - 4, -l + 4 = 2*t. Suppose t = j - 3. Do j and k have the same value?
True
Let d = 17 + -52/3. Is -4 <= d?
True
Let y be 2 - (-2 + 0 + -1). Suppose 3*l + 70 = -y*s, -5*s + 1 - 101 = 5*l. Let b be -5*3/l*-4. Is b > -3?
False
Suppose 2*q = 7 + 1. Suppose -2*m = -3*m - q*l + 19, -4*l + 20 = 0. Are -1 and m equal?
True
Suppose -2*b = -19 + 207. Do b and 1 have the same value?
False
Let r = 4 - 9. Let c be r + 3 + -1 + 7. Is 5 smaller than c?
False
Suppose 0*d = -3*d - 6. Let u be (d - -1)*(2 - -6). Which is bigger: -7 or u?
-7
Suppose 19*x = -457 + 115. Which is smaller: x or -67/4?
x
Let z be 5*(12/5)/(-2). Let y be 1/(-5)*(-5)/z. Suppose -2*u - 1 = -u. Which is smaller: u or y?
u
Let r be (3/(18/15))/(1/2). Which is bigger: 0 or r?
r
Let u = -4 - -4.4. Let f = -0.4 + u. Let d = -0.06 - -0.16. Which is smaller: f or d?
f
Let z = -91 + 64. Which is smaller: z or -25?
z
Suppose 0 = -s + 5 - 2. Let b be -2*1 + 6/2. Which is greater: s or b?
s
Suppose -4*b - 4*p + 9 = 1, -2*b + 3*p + 29 = 0. Is 4 != b?
True
Let q = 34 + -36. Is 0 != q?
True
Let f = 2.6 + 0.8. Let m = -0.8 + 0.2. Let v = m - f. Does 1/3 = v?
False
Let i(w) = w**2 + w - 4. Let h(j) = 5*j**2 + 3*j - 17. Let p(s) = 2*h(s) - 9*i(s). Let z be p(4). Is z at least 6?
True
Let q be 2 + -3 + -2 + 3. 