be a(0). Suppose 11 = 3*o - i, -u*o + i = -4*o + 4. Which is smaller: o or 2?
2
Suppose -5*b = 10 - 60. Let v be 10/14 - b/(-35). Which is smaller: v or -4?
-4
Let b be 4*(0 + (-3)/(-4)). Suppose 0*w - b*w = -12. Suppose w*p - 2*p - n + 8 = 0, -3*p + 4*n - 22 = 0. Which is greater: -3/5 or p?
-3/5
Let a = -0.05 - 2.95. Let z = 0.56 + -3.46. Let q = a - z. Are -2/9 and q nonequal?
True
Let o = 11 + 4. Suppose 0 = -5*k + 5*d - o, 5 = k + 4*k - d. Which is smaller: k or 3/5?
3/5
Let d(s) = s**2 + 2*s - 3. Let i be d(-3). Let b be i/(1 - (-6)/(-2)). Which is greater: b or -1/2?
b
Let a = 11.8 + -10. Let x = a - -0.2. Which is bigger: 8 or x?
8
Let v = 0.33 + -0.03. Let d = v + -0.1. Let u = -5 + 5. Which is greater: d or u?
d
Let s = 0.36 + -3.36. Let d be (-1)/(-9) - (-4)/18. Which is smaller: s or d?
s
Let q = -8.7 - 5.3. Is -2/5 at least as big as q?
True
Let t = 0.8 - 6.2. Let b = 5 + t. Let j = b - -0.2. Which is bigger: 2 or j?
2
Let p(k) = -k**2 - 2*k + 1. Let d be p(-2). Let c be -2 - (-6 + (d - 2)). Suppose 4*a + 0*a + 16 = -4*x, 0 = 3*a - c*x - 20. Is a greater than 0.1?
False
Let l(m) = m - 11. Let v be l(11). Suppose -z - 3*z = 8. Let a(b) = -b**3 - 2*b**2 + b + 1. Let j be a(z). Which is smaller: j or v?
j
Suppose w + 25 = 6*w. Let z(j) = j - 6. Let l be z(w). Is -2/15 bigger than l?
True
Let a = 18 - 37/2. Let v = -1 - -1. Suppose 5 + v = -5*h. Which is smaller: a or h?
h
Let d = -672391/28 - -24011. Let p = -424 - -2994/7. Let o = p + d. Which is smaller: o or 2?
o
Suppose 3*k = 2*z - 2, -7*k + 2*z = -3*k + 2. Is 10/7 less than k?
False
Let a = 1 + -1. Let u be (-9)/((-54)/(-20))*-3. Suppose -2*k + 3*z + u = -z, 5*k = -3*z - 1. Are a and k non-equal?
True
Let p = -3 - -7. Suppose 0 = -q - p*q. Is q equal to 0?
True
Let m be (1*4/(-110))/(8/40). Let l = 4 + -4.1. Let t = -0.3 - l. Which is smaller: t or m?
t
Let m(x) be the first derivative of -3*x**2/2 - 13*x + 10. Let c be m(-10). Is c greater than 18?
False
Let v(l) = l + 15. Let p be v(-13). Let q be -12 - (-2 - 1*-2). Let h = -8 - q. Which is greater: h or p?
h
Let o = 349/565 - 2/113. Is o smaller than 2?
True
Suppose -84 = -2*g - 2*g. Let m be (-6)/g + (-256)/(-994). Let s = 209/142 - m. Which is greater: s or 2?
2
Let w be (-2 - -1)*(0 + -10). Suppose h - 18 = -2*m, -3*h = 5*m - m - 48. Is w >= h?
False
Let d(r) = 2*r + 12. Let i be d(-5). Is 7 at least i?
True
Let x = 45 + -45.14. Is x less than or equal to -1?
False
Let p = -91351/167 + 547. Is p equal to 1?
False
Let i(s) = -8*s - 1. Suppose -4 + 1 = -3*d. Let m be i(d). Is m equal to -9?
True
Let j = -39650/59 + 672. Which is smaller: j or -1?
-1
Let q(t) = t**3 + 6*t**2 + 7*t + 5. Let l be q(-5). Suppose 5*z = 40 - 5. Let v(o) = o**3 - 6*o**2 - 9*o + 10. Let h be v(z). Which is smaller: h or l?
l
Suppose -5*s + 4 = v, 5*s - s = -4*v - 16. Let h = v + 8. Which is greater: 1 or h?
h
Let s be (-2)/(-3) + 1/3. Suppose 3*j - 3*a + 25 = s, -5*j - 3*a = 0. Which is bigger: -2 or j?
-2
Suppose 0*b + 5*b + 65 = 0. Let t = b + 6. Which is greater: t or -8?
t
Let b = 0.8 + -0.77. Let y = b - 0.01. Let a = y + -0.12. Is -1 <= a?
True
Let u = -60 + 60. Which is bigger: u or -21/5?
u
Let b = 0.04 + -12.04. Let t = 12.2 + b. Which is bigger: 1/2 or t?
1/2
Let k = -15.8 + 16. Let m = 0.21 + 1.79. Which is smaller: m or k?
k
Let x = -5 + 10. Let u = x - 4.8. Is u at least 0.2?
True
Suppose -2*i - 7 = 5*q, 3*q = -2*i - 0*i - 5. Which is bigger: q or 2/51?
2/51
Let j(k) = 12*k**2 + 2*k. Let a be j(-1). Suppose n + n = a. Which is smaller: 7/2 or n?
7/2
Let a(g) be the first derivative of g**3/3 + 3*g**2 - 6*g - 1. Let k be a(-7). Let t be 0/(-7)*(-2)/4. Do k and t have the same value?
False
Let h = 253 - 9363/37. Let t(z) = -2*z**3 - 4*z**2 - z + 4. Let n be t(-3). Let l = -26 + n. Is h != l?
True
Suppose 5*n - 5*l + 15 = 0, 3*l - 6 = 3*n + l. Let r be 50/(-18) - n - -3. Let k = -15 + 14. Which is smaller: r or k?
k
Let j be 19/2 - 6/(-12). Let m = 219/11 + -523/55. Let u = m - j. Which is greater: -1 or u?
u
Let x be (3 + -4)*(-1)/(-39). Let c = x - -83/195. Which is smaller: -1/6 or c?
-1/6
Let n = 44 - 46. Is n < 3?
True
Suppose 0 = 3*b - 3. Is -1 >= b?
False
Let f = 34.4 + -34. Is f at most as big as -1?
False
Let h = 2 + -3. Let n = 2/65 - -57/260. Which is greater: n or h?
n
Let i(f) = -5*f**2 + 6*f - 6. Let d(q) = 6*q**2 - 7*q + 7. Let v(p) = -6*d(p) - 7*i(p). Let x be v(1). Let j be (1*x)/((-20)/(-8)). Which is smaller: 0 or j?
j
Let v(u) = -3*u. Let y be v(-2). Suppose -5*i + 4*j - y = 0, 2 + 1 = -2*i + j. Let r be (i/(1 + -2))/8. Is r greater than -1?
True
Let p = 0.16 + -0.1. Let q = -0.56 + p. Let w = -2.5 - q. Is -1/2 at most as big as w?
False
Let g = -0.9 - -1. Let q = -2.1 + g. Let v = -21 + 23. Is v >= q?
True
Suppose 0 = 4*b - 2*n + 10, -5*b + 0*n + n = 11. Let q = 2 - 3. Which is bigger: q or b?
q
Suppose p = q + 4, -4*q - 12 = 3*p + q. Let t(l) = -3*l**2 - l + 1. Let g be t(p). Are 2 and g non-equal?
True
Let k = -3868/11 - -352. Suppose -4 = 2*p - 6*p. Is k at least as big as p?
False
Let p = 0.25 - 0.25. Suppose -4*t - q = 14 - 7, 2*q + 9 = -3*t. Are p and t equal?
False
Let c = -6 + 3. Let d be 2/c + 55/75. Does d = 0?
False
Let s be (2/(-9))/(-1) + (1 - 1). Is -0.2 < s?
True
Suppose 0 = 3*h - h + 4. Is h bigger than -0.1?
False
Let i(j) be the second derivative of j**4/24 - j**3/2 + 3*j**2/2 - 2*j. Let k(x) be the first derivative of i(x). Let n be k(3). Is n greater than 1/4?
False
Let n = -4 - -8. Suppose -n*g - 2*m - m = 16, -5*g + 5*m = -15. Is g less than or equal to -1/12?
True
Let h be (-190)/(-4)*(-5 - (-442)/90). Which is smaller: -4 or h?
h
Let o = -0.24 + 0.08. Let q = o - -7.16. Which is greater: q or -1?
q
Let x = 8 + -5. Let b(o) = -1 + 2*o - 2*o - 2*o + x*o. Let a be b(3). Are a and 5 equal?
False
Suppose 11 = -4*x + 5*g, -g + 0*g = 4*x + 17. Which is bigger: -3 or x?
-3
Let k be 27698656271317/(-36146) + -9 + 10. Let p = k - -766299348. Let f = p + 1/1166. Is f bigger than 0?
False
Suppose -x - 13 = -10. Let m be (-1)/(-8) + x/(-12). Which is smaller: m or 1?
m
Let q = 80 - 45. Which is smaller: 0 or q?
0
Suppose 5*o = -2*x - 22, 2*x + 2 + 12 = -3*o. Let n be -1 - -4 - (x - 3). Which is greater: 6 or n?
n
Let s = 1 - 2. Let j = -7 + s. Let l be ((-4)/j)/((-3)/6). Which is greater: l or -1/14?
-1/14
Let z = 11 - 11.2. Let i(d) = d**2 - 3*d + 1. Let m be i(1). Which is smaller: z or m?
m
Let c = -83 + 82. Is c < -1?
False
Let k = 2.8 - 16.8. Let m = k + 15. Which is smaller: m or -0.2?
-0.2
Suppose -4*k - 4*s - 20 = -0*s, -5*s = 20. Which is bigger: k or 0?
0
Suppose -3 = -a - 2*a - 3*m, -2*m = a + 1. Suppose -4*f - 3 = -2*r + f, 3*f + 6 = -a*r. Does 0.3 = r?
False
Let l = 36 + -20. Suppose -i + 4 = 3*k, -l = -4*i - 0*k - 5*k. Suppose m - 3*w - w = -19, w = m + i. Which is smaller: m or -1?
-1
Suppose -2*d - 16 = 2*d, 3*b = -5*d - 8. Let n(x) = x**3 - 5*x**2 + 6*x - 4. Let c be n(b). Suppose -w = -3*w - 2*r, c*r = 5*w. Does w = -1/5?
False
Suppose -m + 5*j + 19 = 0, j + 2*j + 9 = 0. Suppose 0 = n + m*n. Which is bigger: -1/9 or n?
n
Let z be 1/3 + 14/(-6). Let a be (z/4)/((-2)/24). Let f(k) = k**2 - 4. Let x be f(3). Which is bigger: a or x?
a
Suppose h + 6 = -4*c - 2*h, -h = 4*c + 2. Let b(z) = z - 7. Let m be b(c). Which is greater: -9 or m?
m
Suppose -3*u + u = 3*g - 518, -3*g - 4*u = -514. Suppose l - 2*c = -73, -g = 2*l - 0*c + 3*c. Let r be (9/l)/((-1)/(-3)). Which is bigger: 0.2 or r?
0.2
Suppose 2*r = -3*r - 60. Let k be (r/(-105))/(4/10). Let j = 0 - 1. Which is smaller: j or k?
j
Let p = 2580/74969 + -2/1229. Let w = -3 - -3. Which is bigger: w or p?
p
Let j(d) = d - 14. Let a be j(15). Which is smaller: 1/7 or a?
1/7
Let y = 1 + -1/3. Let p = -2 - -3. Which is bigger: p or y?
p
Let b be -4*(-6)/(-84)*7. Let l(f) = f**3 - f**2 + f + 1. Let x be l(0). Suppose -x = 5*g - 6. Is b less than g?
True
Let i be (-1)/1*(-2 - -3). Let o be i/(120/323) - -2. Let l = o - -1/40. Is -3 != l?
True
Let k be (29/3)/((-2)/(-6)). Let g = k - 144/5. Which is smaller: g or 1?
g
Let u(k) = -k**2 - 12*k + 11. Let j be u(-13). Which is smaller: -1 or j?
j
Let x = 5.89 - -0.11. Let d = x - 1. Let i = -8 + d. Which is smaller: i or 0.1?
i
Let o be (3/(-10))/((-6)/(-16)). Suppose 0 = 3*d - 4*p + 48, 7*d - 2*d - 5*