be z(-5). Let t be 8/(-14)*(-7)/g. Suppose -2*m + x + 2 - 7 = 0, -2*m = -4*x + 20. Which is smaller: m or t?
m
Suppose -3*p + 5*g = -4, -2*p - 3*g = 2*g - 11. Suppose -l - 4*n - 15 = 0, l = -p*l + 4*n - 40. Let i = -32/3 - l. Which is bigger: i or 0?
i
Suppose 3*a = -4*z + 2 + 9, 3*a - 7 = -2*z. Which is smaller: z or 9?
z
Suppose 4 = -4*b, -7*b + 2 = 3*o - 3*b. Is 0 != o?
True
Let u(n) = -n**2 - 12*n - 2. Let k be u(-10). Let z be 3/k*(-6)/(-10). Which is smaller: -0.1 or z?
-0.1
Let p(l) = l**2 - 2*l - 5. Let k be p(3). Let j(v) be the first derivative of v**2/2 - 7*v + 1. Let n be j(6). Is n at least as big as k?
True
Let w = -23 - -31. Which is smaller: 6 or w?
6
Suppose -g - 1 = -4. Suppose 0 = 2*j - 7*j - 10. Let q be j/4 - g/(-6). Which is bigger: 2 or q?
2
Let i = 9 - 9. Which is bigger: 2/23 or i?
2/23
Let q = -0.29 + 0.29. Is q > -10/7?
True
Let h = 297/4 - 74. Let m(b) = 3*b**2 + 14*b + 15. Let f(r) = 2*r**2 + 9*r + 10. Let j(z) = 7*f(z) - 5*m(z). Let w be j(-6). Which is greater: w or h?
w
Suppose -23 = -5*f - 3. Is f > 2?
True
Let t = -5 + 3. Let i(y) = -y**2 - 2*y - 3. Let d be i(t). Let m be d/(-24)*-2*2. Which is smaller: -1 or m?
-1
Suppose t - 4 = -g - 0, -5*t = -5*g. Suppose 0 = 3*r - 4*l + 2, r = 4*r + t*l + 8. Suppose -2*y - 3*b = -2, y + 6 = 2*y + 4*b. Is y greater than r?
False
Let p(j) = -j**2 + 5*j - 3. Let y be p(4). Let x be 0 + -1 + (-1892)/24. Let s = 80 + x. Which is smaller: s or y?
s
Let f = -2.2 + 1.9. Is -3 at most f?
True
Let r = 8 - 4. Are r and 3 non-equal?
True
Suppose -24 = -2*w - w. Let u = -14 + w. Let m = 8 + u. Is m greater than 1?
True
Suppose -6*m = 3 - 33. Is m at most -4?
False
Suppose 8*b = 5*b - 126. Is b at most as big as 0.1?
True
Suppose 0 = 4*c + 4 + 4. Suppose t = 2 - 5. Which is smaller: t or c?
t
Suppose 25 = -3*y + 8*y. Let r = -7 + y. Is 0 < r?
False
Let f = -0.07 - -0.03. Let w = 1.04 + f. Let g = 7 - 4. Which is greater: w or g?
g
Suppose -g = v - 26, -v - 4 + 2 = 0. Suppose 8 - g = 5*d. Which is greater: d or -5?
d
Let q be 4 + -8 - (-4 - -3). Which is greater: -6 or q?
q
Let o = 0.7 + -0.2. Let c = o - 7.5. Let f = -6.9 - c. Which is smaller: -1 or f?
-1
Let m = 28.8 + -29. Let x = 2 + -1. Which is smaller: m or x?
m
Let q(v) = v + 1. Let z be q(-5). Suppose -p + 0*p = -30. Let n be (z/p)/(4/(-12)). Do 0.1 and n have the same value?
False
Let d = 11 - 76/7. Suppose 8*h - 6 + 14 = 0. Which is smaller: d or h?
h
Let l = -200 - -199.9. Do -46 and l have the same value?
False
Let s = -10.1 + 10. Let i be 6/(-4)*(-120)/27. Let c = i + -7. Which is smaller: s or c?
c
Let j(x) = x + 14. Let w be j(-14). Let q = 2 - 5. Let f be (2/6)/(1/q). Are w and f nonequal?
True
Let o be ((-16)/(-20))/(4 + 99/(-25)). Is o greater than -2/5?
True
Let k(o) = o + 5. Let m be k(0). Suppose 0 = -5*u + 3*u + 6. Let g = m - u. Is 2 at least g?
True
Suppose -4*a = -2*a. Let j be (-2)/5 + 44/10. Suppose 0 = -3*n - 2*k + 3, -j*n - 3*k - 16 = -7*k. Which is greater: n or a?
a
Let m(u) = -2*u + 5. Let n be m(-6). Is 18 > n?
True
Let c = 287 + -1727/6. Is c bigger than 0?
False
Let a(q) = -q**3 + 4*q**2 + 4*q + 1. Let u be a(4). Do 18 and u have the same value?
False
Let v be (10 - 1)*(-3)/(-9). Suppose 4 - 7 = v*d. Let c be (1 + -4)/((-102)/4). Which is smaller: c or d?
d
Let o be (-1)/(-4) - 3/(-276). Suppose j - i + 5 = -2*i, -i - 5 = -j. Which is smaller: o or j?
j
Let k be -2*3/(-54)*-1. Let c be ((-3)/(5 - 2))/(-1). Which is bigger: c or k?
c
Suppose 4*q + 5 = 5*x, -3*x + 4 = -4*q + 1. Let n = 112 + -1454/13. Which is smaller: q or n?
q
Suppose 2*s + 22 = 4. Let l be (-3)/(-4)*6/s. Is -1 at most as big as l?
True
Let h be 70/21*(-6)/5. Let j = 2 - h. Which is bigger: j or 5?
j
Let g(z) = -17*z - 2. Let q be g(2). Let d = -826/23 - q. Is d at least 1?
False
Suppose -3*b + 3 + 0 = 0. Let o = 0.22 + -0.12. Is b greater than or equal to o?
True
Let v(i) = -i - 4. Let m(n) = -7*n + 1. Let t be m(1). Let z be v(t). Is 2 bigger than z?
False
Suppose -o = -3*o - 2. Is o at most -1/44?
True
Let p = -0.17 - 10.83. Let j = p + 10. Let v be 26/7 - 2/(-7). Is j >= v?
False
Suppose 6 = -3*g + 24. Let j be 3 - (-1)/((-2)/g). Suppose -4*b - 12 = j, 0 = 5*m - 0*m + b - 12. Does m = 4?
False
Let k(z) = -z**2 + 11*z - 11. Let q = -5 + 15. Let p be k(q). Let j be (-34)/(-30) + p*1. Which is smaller: j or 1?
j
Let p(m) = m**2 + 7*m + 3. Let w(i) be the first derivative of i**3/3 - 3*i**2 - i - 2. Let b be w(5). Let f be p(b). Which is smaller: f or -4?
-4
Suppose -n - 2*n = -78. Let u be (-13)/(-2) - 39/n. Is 1 bigger than u?
False
Let b = -7 + -5. Which is smaller: -11 or b?
b
Suppose 2 = 2*i + 4. Suppose 5*d + 1 = 6. Let h = d + i. Are h and -1 non-equal?
True
Let x(z) = 2*z + 10. Let d be x(-7). Let u = d - -2. Do u and -6 have the same value?
False
Let m = -6/61 - 92/305. Which is smaller: m or -0.046?
m
Let f = -4 - 0. Let j = f + 6. Is -0.1 greater than or equal to j?
False
Let n(k) = -k**3 - 2*k**2 - 1. Let y be n(-2). Let x be 7/(-21)*(-1 - y). Let v = x - 1. Which is smaller: -2 or v?
-2
Let b = 59 - 84.6. Let y = 25 + b. Is 0 greater than or equal to y?
True
Suppose -4*i + 0*i - 3*y = 6, -4*i - 10 = 5*y. Which is smaller: i or -1/8?
-1/8
Let p = 5 + -3. Let s be p/(5/((-10)/4)). Are s and 2/35 unequal?
True
Let i(d) = 5*d + 53. Let q be i(-16). Is q at most as big as -27?
True
Let m = 10 - -6. Let t = 59 + -44. Is t > m?
False
Let c = -4.6 + 0.6. Let t = 4 + c. Let d be 1*-1*(-3)/(-9). Which is bigger: t or d?
t
Let x(o) = -o**3 - 5*o**2 + 11*o + 1. Let f be x(-6). Let c = 25 + f. Is -4 less than or equal to c?
True
Suppose -4*r = -1 - 3, -5*a + 2*r = -63. Which is smaller: 14 or a?
a
Let s = -0.7 + 1.7. Let t = 1 - 0.9. Let z = t - -0.9. Is z bigger than s?
False
Let y = -80 + 80.1. Let s = 1 - 3. Let a = -2 - s. Is a bigger than y?
False
Suppose 0 = -u + 14 + 2. Is 16 at most as big as u?
True
Let f = 5 + -5. Suppose f*m = -2*m. Suppose 0 + 1 = n. Which is greater: n or m?
n
Let k be (2 - 1)*(-2 + 6). Suppose -k*b - 1 = -5*a, 2*a = -3*a - 15. Let m be (2/b)/(5/8). Which is smaller: m or -2?
-2
Let m(y) = -17*y**3 - y**2 + y - 1. Let q be m(1). Let n be 29/q - 12/(-8). Which is smaller: n or 1/4?
n
Let w = 9 - 7. Suppose -w*l = -10 + 12. Do l and -2/7 have the same value?
False
Let j(z) = z**3 - 10*z**2 + 9*z - 1. Let q be j(9). Is -4/7 smaller than q?
False
Suppose 5*u - 2*w = -22, 2*u - 5*w = -0*u - 13. Let d be (u/8)/(1/2). Which is smaller: d or 1/3?
d
Let a = 3/8 + 1/8. Are -8/9 and a nonequal?
True
Let i = 0.05 + 0.05. Is i at least 0.2?
False
Let k(u) = u**2 - 4. Let q be k(-2). Let g = 8 - 14. Let f be 0 - ((-8)/g)/(-1). Which is smaller: q or f?
q
Let k = -9 + 22. Let w = 13.5 - k. Which is smaller: w or 1?
w
Let r(f) = 4*f - 11. Suppose 0 = -0*j + 4*j - 20. Let q be r(j). Which is bigger: q or 7?
q
Let v = 166 + -166. Let g = -1281/10 - -128. Which is smaller: g or v?
g
Let m be ((1 - -17)/3)/(-2). Let o be ((-2)/(-24))/(m - -4). Which is smaller: -1 or o?
-1
Let x = -0.118 + 4.198. Let d = -4 + x. Let f = d - -3.92. Which is greater: f or -1?
f
Let c be (10/(-15))/((-1)/3). Suppose 4*h + n - 17 = 0, 3*n - c = -h + 2*n. Is h less than or equal to 4?
False
Let b be 84/52 + -4 - -3. Let k = b + -19/52. Is 0 > k?
False
Let a = 15 - 15. Suppose 2*j - 4*j = a. Which is smaller: 1/8 or j?
j
Let s = -1.8 - -1.5. Is s at most 0.01?
True
Let j(v) = v**3 + 5*v**2 - v - 1. Let z be j(-5). Suppose -5*g = d + 20, -20 = 2*d - 5*d + 5*g. Let l be (d + 1)/(z + -5). Which is bigger: l or 2/5?
2/5
Let a = -33 - -97/3. Suppose -2 + 19 = -5*d + 4*p, 4*p - 9 = -3*d. Which is smaller: d or a?
d
Let k = -18 + 5. Suppose 0 = 3*m + 11*r - 9*r + 10, 0 = -3*m + 4*r + 2. Is k > m?
False
Let q = 28/1745 + -3615892/15705. Suppose -w - 3*h - 224 = -h, 3*h = 3*w + 699. Let f = w - q. Which is smaller: 0 or f?
0
Let r = 2.6 - 0.6. Which is greater: -3 or r?
r
Let d(c) = c**2 + 8*c - 8. Let n be d(-9). Is 2/75 at most n?
True
Let l be (-48)/18 + (-2)/6. Suppose 2*s = -2*s + 2*f - 18, 12 = -4*s - 4*f. Is s equal to l?
False
Let d = 16.56 + 0.44. Which is greater: 1 or d?
d
Let f = 9.1 - 9. Let v = -3.1 + 3. Is v < f?
True
Suppose 3*i - 118 + 4 = 0. Let l = -23 + i. Which is bigger: 13 or l?
l
Let v = 0.18 + 7.92. Let j = v + -8. Let l = -