. Suppose -b - n - 15 = -6*b, 0 = 5*b - w*n - 35. Let i be -1 - (0 + 14/(-8)). Is i <= b?
True
Let o(p) = 2*p**2 - 2*p. Let d be o(-1). Let f = 1 - -3. Is f greater than d?
False
Suppose -2*h + a + 2 = 0, -5*h + 2 = -2*a - 2*a. Suppose 3*p - 5*p = 0. Suppose 0 = -2*m - p - h. Which is greater: 1 or m?
1
Let g be (4/(-20))/((-2)/5). Let d(b) = b**2 + 4*b. Let x be d(-3). Which is smaller: x or g?
x
Let j = 15 - 16. Is j bigger than 1?
False
Let t(k) = -k - 21. Let n be t(-22). Is 7 less than n?
False
Suppose -2*o = -2*z + 8, 4 + 0 = -2*z - 4*o. Suppose 3*n + 5 = 4*l - 21, -36 = z*n + 2*l. Let u be -4*(-8)/n + 2. Is 0.1 < u?
False
Let g(l) = -l + 3. Let k be 16/(-6)*(-6)/4. Suppose 0*t = -5*t + 4*r + 7, t - k*r + 5 = 0. Let o be g(t). Which is greater: 3/10 or o?
3/10
Let g be 1/(135/(-175)) - 16/(-12). Does g = 1?
False
Let t = 104/5 + -106/5. Which is greater: t or 8/11?
8/11
Let c(n) = -5*n - 12. Let z be c(-5). Let q = -10 + z. Are q and 4 non-equal?
True
Let x = 18 + -18. Is x <= -0.5?
False
Let n = 101 - 93. Does n = 9?
False
Let h(k) = k**2 + 13*k + 20. Let r be h(-12). Is r at least as big as 5?
True
Suppose q - 10 = -r, 3*r - 3*q - q = 23. Which is bigger: r or 7?
r
Let f = -102 - -66. Let c be f/21 + (-2)/(-1). Is c >= -3/4?
True
Let b = 1.3 - 0.4. Let q = 0.5 - -0.5. Let p = b - q. Which is smaller: p or 3?
p
Suppose 12 = v + v. Let t = -26/5 + v. Suppose g + 0*g = 0. Do t and g have the same value?
False
Let l(n) = n**3 - 4*n**2 - 2. Let t be l(4). Let x(d) = -d**3 + 3*d**2 + 5*d - 4. Let q be x(4). Suppose -5*y + q = 5. Is y <= t?
False
Let d be 4*(15/(-12) + 2). Let b(s) = s**3 - 3*s**2 + s - 2. Let w be b(d). Is w < 0.2?
False
Suppose 9 = 3*i, -i - 6 + 30 = 3*d. Let a(t) be the second derivative of t**3/3 + t. Let f be a(3). Is f != d?
True
Let u(t) = -t**3 + 5*t**2 - 3*t - 3. Let b be u(4). Let s be 0/(-1 - (-2 + 0)). Let k be (-1)/(s - -1) - -1. Which is smaller: k or b?
k
Let j be ((-9)/6)/(15/8). Suppose 2*y + 5 = -3*y. Which is smaller: y or j?
y
Let r be -1 - (12/(-3) + 2). Let i = r + 3. Suppose 0*v - 4*v + i = 0. Is 1 smaller than v?
False
Let o = -134 - -3083/23. Do o and 1 have the same value?
False
Let w = 0 - 0. Let c = -3 - -2.7. Let u = c + 0.1. Is u greater than or equal to w?
False
Suppose -c = 4*c - 10. Which is smaller: c or 13/6?
c
Suppose -3 = 2*m + j, -3*m + 2*j = -2*m - 6. Is m >= 0?
True
Suppose -a + 6*a + 10 = 0. Which is greater: 0 or a?
0
Let r be (-3)/(-5 - -2) + -1. Suppose r = -x - 2*x, -4*s = -2*x + 4. Which is greater: s or 2/13?
2/13
Let b be (2 - (-12)/(-4))*30. Is b bigger than -29?
False
Let y = -46.1 - -46. Is y at least -0.18?
True
Suppose 3*d - 7*d = -96. Which is greater: 25 or d?
25
Let y = 2 - -1. Let a = 4.07 + -0.07. Let b = y - a. Which is smaller: -0.1 or b?
b
Let y(m) = -2*m - 4. Let r be y(-3). Let p = -173382/5 - -4403980/127. Let k = -1/127 + p. Is r smaller than k?
False
Let t = -283/2 + 141. Which is smaller: 4/3 or t?
t
Let i = 650.066 - 653. Let q = -0.034 - i. Let p = 3 - q. Are p and -1 non-equal?
True
Let f be 927/(-60) + -1 - 2/(-10). Which is smaller: 2 or f?
f
Suppose 0*t - 4*j = 4*t - 16, 5*j = -4*t + 17. Let h be (6/136)/(0 - t). Let q = 75/476 + h. Is 0 < q?
True
Let f(i) = -i + 13. Let h be f(13). Is -1/77 bigger than h?
False
Let i be ((-39)/9 - -4)*-1. Let u = 0.1 + -0.4. Which is smaller: i or u?
u
Suppose -5 = 3*o - g, 0 = 3*o - 4*o + 5*g + 3. Is 2 less than o?
False
Let r(z) = 2*z - 5. Let g(i) = 3*i + 1 + 0*i + 3 - 4*i. Let s(t) = 3*g(t) + 2*r(t). Let p be s(-3). Is 0 >= p?
True
Let v be 0 + -3*(1 + 21/(-9)). Suppose -1 + 13 = 3*m. Is m at least as big as v?
True
Let p(o) = o**2 - 9*o + 1. Let j be p(9). Suppose 4*m - j = 3*m. Which is smaller: -2/7 or m?
-2/7
Suppose 2*t = 3*d - 7, -d = 6*t - t - 25. Is d equal to -0.02?
False
Let z be -41 + (10 + -5 - 1). Which is bigger: z or -36?
-36
Let a = -705/4 + 175. Are -1 and a unequal?
True
Let o = 29 + -28. Do -2/33 and o have different values?
True
Let t = -0.4 + 0.6. Let h = t + 0. Are h and -1/4 non-equal?
True
Let p be ((-600)/(-32))/((-2)/8). Which is smaller: -74 or p?
p
Let d = -24 + -3. Are -26 and d equal?
False
Suppose 3*y = -13 + 16. Which is greater: y or 3/4?
y
Let i = -1246/93 + 40/3. Which is smaller: 0 or i?
i
Let j be (6/5)/(3/10). Suppose j*d - 8 + 20 = 0. Is -2 <= d?
False
Let m = 11.4 - 0.4. Let c = 0.11 - -0.89. Is m < c?
False
Let j(k) = 2*k - 14. Let f(w) = w - 7. Let t(q) = -5*f(q) + 3*j(q). Let a be t(7). Suppose a = 6*m - 10*m. Is 3/10 bigger than m?
True
Let t = -0.033 + 4.833. Let y = -5 + t. Let f be -1*1/(0 - 1). Which is smaller: f or y?
y
Suppose g - 7 = -2*j, 5*j = -2*g + 20 - 2. Suppose 2*m + 13 = 3*p, 0 = -5*m + 5*p - 2*p - 19. Let a = m - g. Is a greater than or equal to 0.3?
False
Suppose 2*b + 362 = u + 3*u, -2*b - 186 = -2*u. Let q be -3*(-2 - u/(-42)). Which is greater: q or 1?
1
Let i = 152/7 - 1658/77. Suppose -2*m = -0*m. Are m and i equal?
False
Let b be (8 + -9)*(0 - -1). Does b = -1?
True
Let z = -28 + 55/2. Let x(q) = q**2 - 5*q - 8. Let f = 21 + -15. Let i be x(f). Which is smaller: z or i?
i
Let f = -2/37 - 31/111. Suppose 3*u + 13 = 5*u + 3*m, -3*m + 15 = 0. Is u smaller than f?
True
Let p(y) = -y + 4. Let o be p(-7). Let t(q) = -2*q - 15. Let m be t(-13). Is m at least as big as o?
True
Let c = 0.1 - 0. Let k(n) = 2*n - 7. Let r be k(6). Suppose -3*p + r - 2 = 0. Which is smaller: c or p?
c
Let s be (-6)/(-18) + 29/3. Let r be 5/(-25)*s/(-4). Let m be (-4)/(-2) + 1/(-1). Is r >= m?
False
Let v = 4 - -11. Let l = v + -14. Which is smaller: -1 or l?
-1
Let o(t) = -2*t. Let d be o(1). Let g be (d/(-1))/((-4)/(-10)). Is g greater than or equal to 5?
True
Suppose 0 = 3*t + 3. Let y = -2 + t. Is -3 at least y?
True
Let b(x) = -x - 7. Suppose -4*c - 10 = -3*c. Let z be b(c). Which is bigger: z or 1?
z
Suppose -4*i - 4 = -2*c, -3*i + 61 + 1 = 5*c. Let q(a) = -a + 15. Let t be q(c). Suppose 0*h - 2*k = 2*h, -5 = t*k. Is 0 != h?
True
Let y be -2 - -1 - -6 - 3*1. Is 3 bigger than y?
True
Let f be (-1 - (-1)/(-1))/(-1). Suppose -1 = -a + f*a. Let c be (-18)/20*(-4)/((-108)/45). Which is smaller: c or a?
c
Let w(x) = -3*x - 4. Let y be w(-3). Suppose -3*a + 21 = -3*d, y*a + 3*d = -4 - 1. Is a greater than 3?
False
Let o(y) be the first derivative of -y**3/3 + 2*y**2 + 6*y - 6. Let d(b) = -b**3 + 6*b**2 - 5*b + 5. Let t be d(5). Let j be o(t). Which is smaller: -1/6 or j?
-1/6
Let d = -7 - -11. Suppose -3*y - 4*m + 5 = 0, -d - 4 = -4*m. Which is greater: 0.04 or y?
0.04
Let t = -0.06 - 0.94. Let v = 1 + t. Let p = v - -1. Is 5 <= p?
False
Let j be 4/3*3/2. Let w(l) = 4*l**2 + 2*l + 1. Let a be w(-1). Is j smaller than a?
True
Suppose x - 3*s + 3 = 2*s, 3*s = -x + 37. Let i be (-4)/8*8/x. Let a = 5/33 - i. Is a less than or equal to 2?
True
Suppose 21 = -a - 3*c - 0*c, -5*a - 4*c - 61 = 0. Let j = a + 10. Suppose q = 6*q. Which is greater: q or j?
j
Let k be 0/((0 - 2) + 3). Suppose 5*q - 3*q + 2 = k. Is 0 at most q?
False
Suppose 2*o + 0*o - 28 = 0. Let a be (-4)/o + 0/(-6). Let b be (-6)/2 + 1 - -2. Which is smaller: b or a?
a
Let c(h) = h**2 + 2. Let a be c(2). Suppose 5*r + 7 = 2*r - n, -r - 2*n = -a. Which is greater: -3 or r?
-3
Suppose 3*o + 4*s + 8 = -0*s, o - 14 = 2*s. Let m(k) = -k + 3. Let i be m(o). Suppose 0*j - j + 4*u + 12 = 0, 5*j + 3*u = -9. Which is greater: j or i?
j
Let q be 2/(-2) + (-8)/((-96)/9). Let v(x) = x + 2. Let m be v(-3). Which is greater: q or m?
q
Let l = 42 - 38. Is l not equal to -4?
True
Let c(y) = -y**3 - 6*y**2 - y. Let f be c(-6). Let v be f/27 - (-2)/(-9). Let a = -3 + v. Are -3 and a equal?
True
Suppose 11 = -3*d - 2*i, -5*d + 3*i - 11 = 1. Let c be 3 + d - (-2 - 0). Which is smaller: 1 or c?
1
Let k = 361/55 + -26/11. Which is smaller: k or 3?
3
Let c be -1 - (-2 + 57/15). Which is bigger: -3 or c?
c
Suppose -3*c + 8*c - 5 = 0. Let f be (-2)/(-6) + 3/18. Which is smaller: f or c?
f
Let b be 170/(-51) - 2/3. Is -4 greater than or equal to b?
True
Let q be -3*56/7*14/24. Which is bigger: q or -6?
-6
Suppose 0 = 5*g, -4 = -u + g + 4. Let t(i) = -i**2 - 9*i. Let m be t(-8). Are u and m equal?
True
Suppose 4*p = -5*u - 96, -35 = 5*u + 3*p + 57. Are -17 and u equal?
False
Let l be 1 + 7/(-9) - 88/72. Which is greater: l or 2/37?
2/37
Suppose