
Let a(f) = -4*f + 2. Let j(b) = 11*b - 7. Let p(u) = -8*a(u) - 3*j(u). Let h be p(6). Is -2 at most h?
True
Let n = -0.1 - 0.9. Which is greater: n or -0.16?
-0.16
Let p = -1.11 + 6.01. Let t = 2 - p. Let s = t + 3. Which is greater: 5 or s?
5
Suppose -4*g - 2 = 2. Let k be 0/g - (15 + -2). Which is smaller: -12 or k?
k
Suppose 5*a + 16 = 1. Let f be 2/a*(-18)/60. Is f greater than or equal to 0?
True
Let s be (136/44 - 3)*2. Which is bigger: s or -1?
s
Suppose 4*n = 2*b - 20, 0 = -n - 4*b - 5 - 0. Which is greater: 2 or n?
2
Let b = 27 + -27.1. Let a = -0.3 - -0.1. Which is greater: b or a?
b
Let z = -25 + 24. Does z = 1?
False
Let u = 3 - 1. Suppose 7 = 5*f - 3. Is f greater than u?
False
Let b = 140 - 125. Which is smaller: b or 11?
11
Let w be -4*1/(-2) + -2. Let k be -4 - (3 + -2 + 1). Let o = -8 - k. Do o and w have the same value?
False
Let b be 3 - (-4)/(4/(-7)). Let i = -2 - b. Which is smaller: 2/9 or i?
2/9
Let u = -21 + 24. Let p be 6*(0 + (-1)/u). Suppose -r + 4*s = -2*r - 15, 0 = -4*r - 3*s - 21. Is p < r?
False
Let g(a) = a**3 - 4*a**2 - 3*a - 3. Let j be g(4). Let x(l) = -l - 8. Let r be x(6). Is j smaller than r?
True
Let o(m) = m. Let l be o(-2). Let s be l/4 - 14/(-4). Let n = -2 - -2. Which is bigger: n or s?
s
Suppose 0*s + 6 = 2*s. Suppose -2*v = -3*r + 2*v + 8, 16 = s*r + 4*v. Let q be (3 + (-14)/r)*10. Are q and -5 equal?
True
Let y = -0.2 + 0.1. Suppose 0 = -j - j + 6. Suppose 0 = 5*x + 2*q + j, x - q = 2 + 3. Is x smaller than y?
False
Let c be 14/6*(-2)/(-7). Let k(i) = -i + 11. Let z be k(10). Which is greater: c or z?
z
Let o(f) = 7*f**2 + f - 1. Let i be o(-2). Suppose 0 = 2*w + 2*d - i + 11, 3*d = -w + 3. Suppose -w*h = -5*h - 12. Do 4 and h have the same value?
False
Suppose 2*h - 2 = -4. Let q be 4/6*3/(-5). Is h smaller than q?
True
Let i = -0.2 - -0.1. Is 12/13 less than i?
False
Let v = 13 + -12. Let k be 2 - (1 + 13)/(-2). Let u be (0 + -3)*2/k. Which is greater: u or v?
v
Suppose -6 = 10*z + 4. Is z equal to 4/41?
False
Let o be 5/((-50)/(-12))*-5. Let h = o - -8. Which is smaller: 5/6 or h?
5/6
Suppose 55 = -5*d + 15. Let k be 6/d - (-15)/4. Let r be (k/(-1))/((-9)/12). Which is greater: -2/7 or r?
r
Suppose 0 = -4*i + 5*y - 10, y + 1 = 3*i + 3. Let v = -46/3 + 15. Which is smaller: i or v?
v
Let q(o) = o**2 + 4*o - 9. Let d be q(-7). Suppose -4*l = m - d, 5*m - 5*l = -0*l - 15. Does m = 0.05?
False
Let m be 5 + 1*(-2 + 0). Let r(x) = -2*x - 4. Let g be r(-3). Suppose -3*u - g*u + 15 = 0. Is u >= m?
True
Let g(r) = r**2 + 4*r - 4. Let z be g(-5). Suppose -y + z = -0*y. Suppose 2*l = -f + 7, 2*f = 3*l - y + 8. Which is smaller: l or 3/7?
3/7
Let p be (-6)/(-5)*(-10)/3. Let x(o) = -o**3 - 4*o**2 - 2*o - 6. Let n be x(p). Suppose 4*y + n*z = -0*z + 4, 2*z - 4 = -y. Is -1 equal to y?
False
Let h be (-2 + (-4 - -2))*1. Suppose n - 7*g = -3*g - 8, -4*n - 19 = -3*g. Is n less than h?
False
Let o = -3.2 + 1.2. Let m = -8 + 6. Let i = -1.8 - m. Is o greater than or equal to i?
False
Let h(u) = -u**3 + 4*u**2 - 2*u - 2. Let c(w) = w**2 - 6*w - 5. Let k be c(7). Let q be h(k). Let f be -1 + q + (-18)/21. Is 0 > f?
False
Let m(i) = -i**2 + 3*i - 2. Let j be m(3). Is j at most as big as -11/6?
True
Let h(s) = 3*s - 5. Let i(k) = -k + 1. Let b(f) = h(f) + 4*i(f). Let j be b(0). Let n = -1 - 2. Which is bigger: j or n?
j
Let h = -0.742 - 0.058. Are -0.4 and h unequal?
True
Suppose 4*q - 13 = -1. Let r be (1*-4 - -2)*-2. Suppose -t - r*b + 4 = -b, -3*b = 0. Which is smaller: t or q?
q
Let n(p) = -p**2. Let a be n(-1). Let t = -2 - -2. Is t less than or equal to a?
False
Suppose -2*s + 7*s - n + 13 = 0, 2*s + 4 = n. Suppose 4*a = 2*a + 8. Suppose k - a*k = 6. Which is smaller: k or s?
s
Suppose 5*j = 4*n - 4, 1 + 4 = 4*j + 5*n. Which is greater: -8/11 or j?
j
Suppose 8 = 4*s + u, -5*s + 10 = -6*u + 2*u. Let w = 3 + s. Is w > 8?
False
Let d = -52 + 33. Is d bigger than -17?
False
Suppose 2*u - 2*j + 8 = 0, -3*u + 6 = j + 18. Suppose 0 = b + 4*r - 16, r + 4*r = 25. Is u smaller than b?
False
Let p(u) = u**2 - 7*u + 8. Let q be p(6). Let d be 3/4*1*q. Suppose 0 = 3*m - 1 - 5. Is d bigger than m?
False
Let b = -539 - -41505/77. Which is smaller: -1 or b?
-1
Let g = -35 + 21. Which is smaller: -13 or g?
g
Let l = -10 + 20. Let i = -9 + l. Which is greater: 2 or i?
2
Let n be (-3)/(-252)*3/3. Which is smaller: 1 or n?
n
Let b be ((-4)/14)/(1/(-2)). Are -2/11 and b unequal?
True
Let a be -1 + (-2 - -1 - -1). Suppose 2*v + 3 = 5*v. Let s be (-34)/(-14) + v*-2. Are a and s equal?
False
Let w = 99 - 100.96. Let u = w - -2. Let r = u - -2.96. Which is smaller: -2 or r?
-2
Let p(u) = -2*u + 2. Let z be p(2). Suppose -2 + 3 = m. Let x be (m/(-3))/(3/3). Are z and x nonequal?
True
Let q = 3 - 2. Suppose -3*d = 17 + 46. Let s be (-4)/(-8)*6/d. Is q not equal to s?
True
Let o = -25.2 + 25. Suppose 4*n + n - 450 = 0. Let p = n - 452/5. Which is smaller: p or o?
p
Let v be 3/(0 + 6/(-4)). Let c = 1 - v. Is c at most 4?
True
Let c = 5 + -5. Let d = 3 + c. Let l = d - 4. Are 1 and l unequal?
True
Let a be 20/(-24)*8/(-4). Let h = -2 + a. Which is smaller: -1 or h?
-1
Let w = -42 - -26. Let i = -11 - w. Suppose 3*b = -l - 7, -6*l + i*b + 23 = -2*l. Is -1/4 less than l?
True
Suppose 8*z - 276 + 84 = 0. Is 26 != z?
True
Suppose -6*n + 36 = -3*n. Let o be (-2)/n + (-10)/12. Let l = o + -1. Is l bigger than -3/5?
False
Let k be -22*(-5)/520 + (-1)/(-4). Suppose 2*z + 2 = 2*s - 0*z, 3 = -s - 3*z. Are k and s unequal?
True
Let u be 7/2 - (-1)/(-2). Let t be 3*(-6 - 102/(-18)). Which is smaller: u or t?
t
Let o = -0.014 - -76.714. Let d = o - 71. Let k = d + 0.3. Which is bigger: k or 0.1?
k
Suppose 0 = -3*i + 4*i. Let p = -11/36 - -5/9. Are i and p non-equal?
True
Let w be (-57)/6 + 4 + -3. Is -10 > w?
False
Let i be -2*((-13)/(-14) - 1). Which is bigger: i or 2/3?
2/3
Let p(r) = 9*r**3 + r**2 - 2*r + 1. Let h be p(1). Let i = 29/3 - h. Is i greater than or equal to 1/4?
True
Let n be (-1)/((39/(-2))/(-3)). Is -0.3 < n?
True
Let y be 34/8 + 1/(-4). Let g be 17/(-204) - 1/y. Is -4/5 not equal to g?
True
Let k = -4755/13 - -366. Is 1 less than or equal to k?
False
Let z(y) = 2*y - 10. Let v be z(7). Are v and 6 unequal?
True
Suppose -4*j - 1 = 15. Let s(c) = -5*c - 11. Let r(q) = q + 1. Let f(o) = 4*r(o) + s(o). Let h be f(-3). Do j and h have the same value?
True
Suppose 0 = -i + 2*z + 79, 4*i = -3*z + 183 + 144. Is 80 bigger than i?
False
Let l be (6/4)/((-18)/48). Let s(k) = k + 3. Let j be s(l). Is -1/20 bigger than j?
True
Suppose -22 = -3*b - 0*b - 2*o, 0 = 5*b + 3*o - 35. Let l be (b/(-20))/1*-1. Which is bigger: l or 2/3?
2/3
Let h be (-4)/(-170)*-42 + 4 + -3. Is -1 less than or equal to h?
True
Suppose a + 61 = -w - 4*w, w + 10 = 2*a. Let x = w - -30. Let v be 1 + (3 - x/5). Which is smaller: 2 or v?
v
Let b(j) = j**3 + 10*j**2 + 10*j + 10. Let d be b(-9). Suppose -2*x + 0*x = 0. Let t = d - x. Do t and -0.3 have the same value?
False
Let z = -26807 + 26536.93. Let g = 269 + z. Let x = 0.07 + g. Which is bigger: 2/3 or x?
2/3
Let j = -0.3 - -0.1. Which is smaller: 11/5 or j?
j
Suppose -4*q = -5*v + q - 10, -2*q = -6. Let l be (-10)/4*6/(-5). Which is smaller: v or l?
v
Suppose -4*r = -2*v - 970, -4*v + 1203 - 470 = 3*r. Let i = r + -1697/7. Which is smaller: 2 or i?
i
Let g(m) = m**3 + 4*m**2 + 3*m. Let k be g(-3). Let t be (4931/3)/((-22)/6). Let w = -448 - t. Is w greater than or equal to k?
True
Let i = 321969 + -6110151/19. Let y be 1719/(-3)*(-12)/18. Let l = y - i. Which is greater: l or 1?
1
Let u = -0.9 + 1. Let i = -5 - -5. Let w = u - i. Which is smaller: -0.1 or w?
-0.1
Let k(j) = j - 1. Suppose -7 = -3*d + 14. Let u = d - 5. Let v be k(u). Which is greater: v or -2?
v
Let x be ((-4)/(-16))/(22/16). Which is bigger: 0 or x?
x
Let a = 7.97 + 0.03. Let w = a + -8. Let j = -0.1 + 0.1. Is w at least j?
True
Let l(m) = 4*m**3 - 2*m**2 + 3*m. Let j be l(2). Suppose 3*o + 0*o = 5*t - j, 2*t = 2*o + 16. Suppose 2*v = -t*v + 5. Which is greater: 4 or v?
4
Let k = -5.5 - -7. Let v = -1.4 + k. Is 2/3 > v?
True
Suppose -11 = 3*k + 2*j - 0*j, k - 15 = 4*j. Let t = 2 - 2. Suppose 2*p + 2 = -t*p. Does k = p?
True
Let y(a) = a**2 - 6*a - 10. Let l be y(7). Let i = l - -5. Let m be i + 1 + 11/(-3). Is 0 smaller than m?
False
Let k = 976/7 - 