Let f = b + 32. Is f not equal to -1/5?
False
Let f(h) = 5*h - 25. Let i be f(10). Let j = i - 23. Does j = 0.1?
False
Let o = -9 + 8. Let k be 1*(o - (-15 + 1)). Is 12 less than k?
True
Suppose -2*k - k + 4*m + 12 = 0, 4 = k - 2*m. Suppose -k*z + 5*p = 25, -8 = -4*z - 4*p + 12. Let q be (-6 - (-3 - z)) + 0. Is -1 < q?
False
Let u(x) = -x**3 - 5*x**2 + 8*x + 8. Let y be u(-6). Let p be 6/y - (-27)/18. Is -2/63 equal to p?
False
Let b be ((-4)/16*-4)/(-1). Which is smaller: b or 1/14?
b
Suppose 0 = 3*x - 6, -4*i + 2*x + 2 = 6. Suppose i = k - 3*k. Which is bigger: -8/9 or k?
k
Let v be (1 - 2) + -4 + (-54)/(-12). Is 3/4 at most as big as v?
False
Let c = -1.5 - -1.1. Let n = 7.6 - 7. Let h = c + n. Which is greater: 1 or h?
1
Let g(l) = l**2 + 4*l + 11. Let b be g(-4). Is b <= 9?
False
Let u(g) = -g**3 - 3*g**2 + 3*g + 4. Let f be u(-3). Let b be 90/12*(-1)/f. Suppose -3*l - 3 = -6*l. Is b at most l?
False
Let q be 2 + 461/20*-2. Let b = q - -87/2. Let f be (-2)/(-9) - 11/9. Is f at least b?
False
Let n = -46.9 - -47. Which is smaller: n or -4?
-4
Let i(c) = 10*c. Let p be i(2). Let k be p/6*(-6 + 3). Which is greater: k or -9?
-9
Let j(x) = -x**3 - 2*x**2 - 2*x. Let i be j(-3). Let l = i - 2. Let d = l - 27/2. Do 0 and d have different values?
True
Suppose -5*l - 71 = 3*y + 109, 5*y = l - 328. Which is smaller: -66 or y?
-66
Suppose 0 = 3*v + 3, -4*u + 9*u - 2 = 2*v. Suppose 2*w + u = 20. Which is smaller: w or 11?
w
Suppose 4*j - 3*j - 21 = 0. Let d be 5/j - (-4)/(-6). Let c = 4 - 5. Is c != d?
True
Let x be -1 + (-1 - 6/(-4)). Let d(z) = -2*z**2. Let y be d(-1). Which is bigger: y or x?
x
Suppose 0 = u - 4*f - 22, -4*u + 5*f = -45 + 12. Suppose -2*j + 8 = -5*d, -4*d + 3*j = u*j + 4. Let v = -1 + d. Is v at least 0?
False
Let p = -15 + 14. Let b = 0 - 1. Does p = b?
True
Let d = -1 + 4. Suppose 3*i + k - 4*k - d = 0, 2 = 2*i + 5*k. Let m be i - -1*(-1)/3. Is m at most as big as 2?
True
Let q be ((-9)/114)/(0 + 0 + 1). Is -1 greater than or equal to q?
False
Suppose -8*c = -3*c - 95. Is 1 smaller than c?
True
Let z be 1 - (2 - (-1 + 4)). Suppose -z + 8 = 3*f. Suppose -5*a + 12 = -0*a + 4*d, -6 = -f*a - 2*d. Which is greater: a or -3?
a
Suppose 3*g + 0*g = 0. Let c = -1 + g. Let l = 0 + -2. Is l at most as big as c?
True
Let z(p) = -2*p**3 - p**2 - p. Let u be z(-1). Suppose -2*y = 3*m - 8, -5*m + 3 = -3*y - 4. Suppose -u*s + 0 = m. Are s and 1 unequal?
True
Suppose 0*z = -4*z, 5*z = -4*s. Is s less than 3/11?
True
Let u(p) = p**2 + p. Let v be u(3). Suppose -3*b + v = -5*b. Let z(s) = s**3 + 7*s**2 + 6*s. Let d be z(b). Is 0 != d?
False
Let t(z) = z**2 - 2*z + 1. Let k be t(2). Suppose k = -0*d + d. Let x(l) = -l**2 - 2*l + 2. Let f be x(-2). Is f greater than or equal to d?
True
Let u(b) = -b**3 + 6*b**2 - 5*b - 1. Let c be u(5). Is c less than or equal to 1/5?
True
Let f = -2 + 5. Suppose -4*h + f*h = 0. Suppose h = -0*j - 5*j - 10. Is j bigger than -2/7?
False
Let u = 3558/13 - 274. Which is smaller: u or 1?
u
Suppose 0 = -3*p + 3 + 12. Suppose -p*t = 6*l - 2*l - 51, 2*l = t + 1. Which is smaller: t or 5?
5
Let o be -4*3/(24/(-10)). Let w = 84 + -21. Let y be (6/(-9))/((-12)/w). Which is smaller: o or y?
y
Let h = 42 - 67. Is -24 not equal to h?
True
Let b(j) = -5*j**2 - j + 8. Let z be b(-9). Let r be (z/(-12))/(686/6). Let i = r + 1/343. Which is greater: -1 or i?
i
Let d(v) = v**3 + 2*v**2 - 5*v - 4. Let m be d(-3). Suppose -3*g = -m + 5. Is g at most as big as -3?
False
Let v = -3 - -7. Let d = v + -3. Let t be 3/(-6) - (-6)/(-12). Which is greater: d or t?
d
Let k = 7 - -25. Is 32 greater than or equal to k?
True
Suppose 4*b = 7*b - 12. Suppose 0 = c - 4 - 0. Is c less than or equal to b?
True
Let p be ((-6)/(-5))/(2/(-10)). Suppose 0*h = -3*a + 5*h - 10, -5*a = -5*h + 20. Is a >= p?
True
Suppose i = -4, -i = -2*d - 3*i - 2. Suppose -d*f = -0*k + k + 7, k = -2*f - 6. Which is smaller: f or -1/4?
f
Let s be 3/6*(-4 + 4). Let t = 8 + -14. Let y(p) = p**2 + 7*p + 9. Let j be y(t). Is j greater than s?
True
Let t(s) = 3*s + 1. Let p be t(-2). Let o = 188 - 192. Which is smaller: p or o?
p
Let a = -15.4 + 14. Let h = -0.4 - a. Is -0.2 less than or equal to h?
True
Let t = -3.4 + -0.6. Let r = 82 - 82.2. Which is smaller: r or t?
t
Let v be (-2)/(-7) + 1124/(-1435). Let x be 24/(-82)*(-1)/3. Let m = v + x. Which is bigger: -2/3 or m?
m
Let n = 21 + -14. Let h = -5 + -3. Let x be (h/20)/((-1)/15). Which is smaller: x or n?
x
Let h(p) = -5*p**2 + 2*p + 1. Let n be h(-1). Let b be ((-4)/n)/((-4)/(-9)). Let c = 0.1 - 0.2. Is c at most b?
True
Suppose -7 = f + 3*a - 19, f - 4*a + 23 = 0. Let h be (-2)/(-12)*(2 + f). Let x = -5/6 - h. Which is bigger: 0 or x?
0
Let u = -5 - -15. Suppose 2*j - 5*o - u = 0, -3*j + 2 - 12 = 5*o. Suppose 0*d = 5*d, 4*h - 3*d - 8 = 0. Is h less than j?
False
Let d = 0.8 + -1. Let n = 17 + -17.08. Let h = 0.12 - n. Is h greater than d?
True
Let d = -0.05 + -0.05. Suppose 3*o - 1 = 3*r + 14, r = -5*o + 1. Let m be (2/(-35))/(o/(-5)). Is m bigger than d?
True
Let g = 74 - 82. Is g at most as big as -10?
False
Let s(a) = -a**3 + 4*a**2 + a - 2. Let m be s(4). Suppose q = -5*j - 14, -2*q + 17 = -m*j - 3*j. Let c be (1 - 3)/(39/3). Is q at most as big as c?
False
Let u = -64 + 63. Are u and 1/4 nonequal?
True
Let b(f) = 2*f - 2. Let z be b(-4). Let n be 4/(-20) + (-2)/z. Which is greater: -1/5 or n?
n
Suppose -4*v + 3 = -f, 0 = 4*v - 9*f + 4*f + 1. Let u = -6 - -6. Are v and u equal?
False
Let x = 78 - 141. Is -64 bigger than x?
False
Let o = 18890/579 - -8/193. Let n = o + -33. Which is bigger: -0.1 or n?
-0.1
Let j = 1.92 - 2. Let p be 7 + -10 - (-15)/6. Which is greater: j or p?
j
Let q = 14 + -18. Let b be (-24)/9*1/q. Which is greater: 1 or b?
1
Let o(m) = m - 4. Let h be o(6). Let b be 2/(-112) + h/14. Is b <= 1?
True
Suppose -o = 3*o + 4. Let d = o + 1. Which is bigger: 2 or d?
2
Suppose -4*k - 16 = 2*n, -3*n - n - 29 = 5*k. Which is bigger: -5 or n?
-5
Let q = -191/15 + 37/3. Which is bigger: 3 or q?
3
Let t = 0.67 - -0.13. Let u = -0.2 - t. Let b be 2 - ((-130)/(-12))/5. Is u <= b?
True
Let a(j) = -j**2 + 4*j - 4. Let k be a(3). Suppose 3*s + s = 72. Let p be 2/(-6) + 3/s. Is p smaller than k?
False
Let n be (-460)/126*30/40. Let s = n - -5/21. Let j(f) = -f**3 - 5*f**2 + f + 3. Let l be j(-5). Which is smaller: s or l?
s
Let s = 0.3 + -0.4. Let p(z) = 18*z - 25. Let y be p(1). Which is greater: y or s?
s
Let y = -1.9 - -2.04. Let k = y - 0.06. Which is smaller: k or -1?
-1
Let a be (-1)/4 - (-26)/(-88). Let l(f) = f**2 + 5*f + 4. Let g be l(-4). Which is bigger: g or a?
g
Let f(w) = -w**3 + 6*w**2 + 8*w - 5. Let y be f(7). Suppose 21 + 11 = -3*g - 4*s, y*g + 2*s = -18. Let d = -4 - g. Which is smaller: d or 1/2?
d
Let j(z) = z + 6. Let b be j(-6). Let y be (-2)/7 + (-120)/756. Is y > b?
False
Suppose 2*z - 10 = -2. Suppose 0 = -0*g - 4*g + z. Let s be 12*(g + (-2)/3). Which is smaller: 3 or s?
3
Let l(x) = -8*x**2 + 8 - 11*x + 9*x**2 + 3*x. Let h be l(6). Suppose -5*z - 22 = -z + 2*q, 2*z = 2*q - 2. Is z smaller than h?
False
Let s = 25.6 - 23. Let m = s + -3. Let v = -198 - -196. Which is smaller: v or m?
v
Let d = -5.5 + 5. Let x = d + -3.5. Let c = x - -4.1. Which is smaller: c or -1?
-1
Let j = 9 + -6. Suppose -2*a - a - j*r = -9, -2*r = 0. Which is bigger: a or 0?
a
Suppose 0 = 5*p - 27 - 3. Suppose -h + 5 = -p*h. Let d be (h/2)/((-1)/4). Is d smaller than 0?
False
Let j(s) = s**2 - 6*s + 3. Let g be j(5). Let n = -8 + g. Let a be (6/n)/(2/(-10)). Is a equal to 4?
False
Let b = -1897/39729 + -1/969. Is b not equal to 1?
True
Suppose 4*m - 3*m - 5 = 0. Let n(s) = -6*s + 3*s + m + 2*s. Let c be n(6). Is -1 <= c?
True
Let p = -2 + 3. Let i be p - (-1)/(-1)*2. Let k = 55 + -55. Is i greater than k?
False
Let i = 8 - 54/7. Are 10 and i unequal?
True
Let z be 2/(-6)*(3 + -6). Let h(j) = -j**2 - j + 1. Let u be h(z). Which is smaller: u or -1/6?
u
Let w be 21/15 - 3/(-5). Suppose 0*d = w*d. Is d at least -3?
True
Let y = 137 + -1237/9. Let j = -1 - 0. Is j smaller than y?
True
Let m = 0.07 + 4.93. Let f = -7 - -4. Let v = m + f. Is 2/7 at least v?
False
Let r = 0.07 - 0.67. Let v = r - -0.6. Is v bigger than -2/3?
True
Suppose 0*q - 108 = 2*q. Let c be 8/198 - (-12)/q. Which is bigger: c or 0?
0
Let j = 39 + -15