 - 2*b + b + 5, 4*l - 2 = -3*b. Is l smaller than -1/7?
True
Let d(t) = -t**2 + 5*t - 5. Let n be d(5). Let l(u) = -u**3 - 6*u**2 - 4*u + 5. Let m be l(n). Which is bigger: m or -0.1?
m
Suppose -x + 3 = 3. Is x not equal to -45?
True
Let g = 1065/608 + -1/608. Are g and 2/5 equal?
False
Let r = 9 - 25. Let j = -79/5 - r. Is j != -2?
True
Let b be 3 - (3/3 + 3). Let q(m) = 4*m - 1. Let f be q(b). Is f <= -4?
True
Let d(t) = -4*t - 4 + 2*t - t + 2*t. Let y be d(-7). Which is bigger: y or -0.1?
y
Let p = 9 - 9.1. Is -10 bigger than p?
False
Let x(f) = 6 - 1 + f**2 - 3*f - 2*f - 2*f. Let y be x(4). Do y and -7 have the same value?
True
Let y be (4/5)/(8/60). Suppose -3*d + y*d = 0. Suppose -3*j - 4 = -10. Are j and d equal?
False
Let w = -0.31 + 0.3. Let d = 0.06 - w. Let f = -0.0029 + -0.0971. Which is smaller: d or f?
f
Suppose -62 = -5*m + 4*k, -3*k + 11 = -m + 3*m. Let u = 9 - m. Is u at most as big as 0?
True
Let k(n) = 2 - 3 - n**3 - 3*n**2 - 3*n**2. Let p be k(-6). Which is smaller: 1/4 or p?
p
Let i be 87/(-12) - 12/(-3). Is i less than -4?
False
Let s(g) = -g**3 + 52*g**2 + 3 - 4*g - 59*g**2 + 3. Let v be s(-6). Which is smaller: v or -7?
-7
Let s = 0.32 + -2.32. Are s and -1.8 unequal?
True
Let w = 2/199 + 593/398. Let l(v) = v - 2. Let m be l(4). Is w at most m?
True
Let m(o) = -o**2 - 5*o + 7. Suppose -20 + 0 = -5*f. Let s be (-11)/2 - 2/f. Let n be m(s). Is n greater than -3/8?
True
Let u = 0 - -3. Suppose 0 = -u*f + 2*d + 22, -7 - 5 = 2*f + 4*d. Which is smaller: f or 3?
3
Suppose 2*p - 3*p = -4. Suppose 2*k = p*n + 30, 2 - 6 = n - 4*k. Which is smaller: n or -7?
n
Let o(v) = 0*v**3 + 1 + 2*v**2 + 0 + v**3 + 5*v**2. Let m be o(-7). Is m not equal to 2?
True
Let d = -27 - -21. Which is greater: d or -0.2?
-0.2
Let d = 3.05 + -0.05. Let r be (10/(-8) - -1)/(-1). Let p = r - -1/4. Which is smaller: p or d?
p
Let i = 1 + -2. Let t = i + 3. Suppose 4*w + 2 = -t. Is w bigger than -1?
False
Suppose 2*r + 6 = 4*r, 9 = 5*j + 3*r. Which is smaller: -4/3 or j?
-4/3
Let v be ((3 - 2) + -9)/(-2). Does v = 4?
True
Let m = -6/49 - 32/539. Let p(x) = 6*x - x**2 + 4 + 5*x**2 - 3*x**2. Let i be p(-5). Which is smaller: i or m?
i
Let t = -6 - -4. Let c(k) = k**2 - 3*k + 4. Let u be c(3). Suppose 0 = -0*q - q - u. Do q and t have the same value?
False
Suppose -5*q - 5*o + 45 = 0, -11 = -q + 4*o - 2. Which is smaller: 0 or q?
0
Let k = -311 - -116. Let q = k - -4097/21. Let h be (2/4)/((-1)/(-2)). Which is bigger: q or h?
h
Suppose 0 = 2*k - 2*p - 2 - 2, 2 = -2*k - 4*p. Which is smaller: 0 or k?
0
Let r(a) = -a - 2. Let c be r(-2). Which is smaller: -5/12 or c?
-5/12
Suppose -3*g = 145 + 17. Let d be ((-9)/g)/(1/(-3)). Let p = 8 - 17. Is d < p?
False
Let r(s) = 7*s**2 + 19*s - 17. Let u(f) = 3*f**2 + 9*f - 8. Let l(z) = 4*r(z) - 9*u(z). Let g be l(4). Let m be 0/(-1) - 12/42. Is g smaller than m?
False
Let t(z) = -z + 9. Let u be t(7). Suppose v - 6 = -u*v. Let b be ((-3)/(6/v))/1. Which is bigger: -1/3 or b?
-1/3
Suppose -x + 5 = -5*l - 7, -2*x = -4*l - 12. Which is smaller: x or -1?
-1
Suppose -z - 4*y - y = 25, 3*z = -5*y - 25. Let q = z - -1. Which is smaller: -1 or q?
-1
Suppose 3*n + 0 - 6 = 0. Suppose 0 = -a - n*a. Which is greater: a or -3/4?
a
Let p = 4 + -2. Let m(d) = -d - 1. Let c be m(p). Is c greater than -3?
False
Let o = -7.03 + 7. Let v = o - -3.03. Let h = 2.9 - v. Which is smaller: h or -4?
-4
Suppose -h - 4 = 2*o - 5*o, 3 = 2*o - h. Let t be (1 - 2 - -1)/o. Which is bigger: t or -2/3?
t
Suppose -i + m - 2 = 0, 0 = 5*i - 6*m + 3*m + 4. Which is smaller: -6/13 or i?
-6/13
Let s(g) = 2 - g - 5 + g**3 + 0*g**3 + 2*g**2 - g. Suppose 3*h + l = -8, -3*l = -h - 2*h. Let a be s(h). Which is smaller: a or 1/6?
1/6
Let k(x) = 3*x**3 + x**2 - x. Let j be k(-1). Let n = -40970/147 - -836/3. Which is bigger: j or n?
n
Let l be (-43)/2*(-8)/(-6)*3. Which is smaller: -85 or l?
l
Let z = 8 - 15. Let d = -9 - z. Is d less than or equal to 2/3?
True
Let q(y) = y**2 - 4*y - 7. Let g be (-54)/(-10) - 4/10. Let l be q(g). Is l not equal to -1?
True
Let y = 17 + -16.97. Is 0.6 at most y?
False
Let m(o) = -o**2 + 8*o - 8. Let i be m(6). Suppose i*g + 7 = 3. Let y = g - -2. Is y <= 1/5?
False
Let v(m) = m**3 + 5*m**2 + 3*m - 3. Let o be v(-4). Do o and 0.13 have the same value?
False
Let x(u) = u**2 + 7*u + 6. Let i be x(-4). Is -4 at most i?
False
Suppose 3*c + 219335 = -5*b, 3*c + 169959 = -2*b - 49364. Let d = c - -585577/8. Let u = -185/2 + d. Is 0 greater than u?
True
Let q be -4 - 5/(15/(-6)). Let r be 1*(-24)/10 - q. Is -1/4 at least r?
True
Let m(u) = -u**2 + 13*u + 79. Let f be m(18). Suppose 0*c = -2*c - 20. Which is greater: f or c?
c
Let b = 2.1 - 1.6. Which is smaller: b or -2?
-2
Let o(q) = q**3 - 4*q**2 - 6*q + 3. Let c be (2 - -3)*3/3. Let m be o(c). Is m not equal to 2?
True
Let c be 1/2 - (-25)/(-10). Let a = 1 - c. Suppose s + 2 = m, -3*m + 0*m - a*s = 0. Which is smaller: m or -2/5?
-2/5
Let a = -9 - -8.93. Let m = 0.03 + a. Let s = 0.14 + m. Is 3 bigger than s?
True
Let a = -10 + 12. Let t be (-4 + 0)/2 + a. Is t >= 3/8?
False
Let y = 3809/12 - 317. Is y bigger than 0?
True
Suppose -9*u - 24 = -6*u. Let g(o) = o**3 + 9*o**2 + 7*o - 9. Let q be g(u). Is q at least as big as -1?
True
Let n = -13 - -16. Which is bigger: 5 or n?
5
Let m be (-4)/5 + (-1)/5. Is m greater than or equal to 1/3?
False
Let m be 2*4*(-9)/12. Let d = 20 - -8. Let x be 8/(-6)*m/d. Which is smaller: x or -0.3?
-0.3
Suppose 2 = -5*u - 3. Let a be -1 - -3 - 2*u. Suppose -4*n + 0 = p - 8, 2*p = -n + 9. Does p = a?
True
Let u(w) = 10 - 7 - 2*w**2 + 10*w - 1. Let f be u(4). Is 10 >= f?
True
Let k = -12.72 - 0.28. Let n = 13.1 + k. Let m = 0 - -1. Which is smaller: m or n?
n
Let s = -27 - -23. Is s >= -2?
False
Let a = 0.53 + -0.6. Let i = a - 0.03. Suppose 4*g + 10 = -3*z - 7, -8 = 2*z + g. Is i greater than z?
True
Let d = 10 + -7. Suppose 0 = 5*w + 5*x, w - 15 = -w + d*x. Let p be (((-12)/(-24))/((-1)/12))/(-2). Is p smaller than w?
False
Let x(n) = n**3 - 8*n**2 + 8*n - 7. Let m be x(7). Is m greater than or equal to 7?
False
Let b(k) = -3*k + 6. Let f = 7 - 2. Let y be b(f). Let s be -1 - (0 + 15/y). Are 2 and s equal?
False
Let k = 48 - 46. Let n = 8 - 5. Is k equal to n?
False
Let c be 14/28*(0 - -5). Suppose 0*g + 9 = 3*g, -4*l - 15 = -5*g. Suppose l = -2*t + 4 - 0. Is c not equal to t?
True
Suppose 5*y - 4*y - 2 = 0. Suppose n + 21 = y*n. Suppose z - 3*p + 13 = 0, 0 = 4*z + z - 4*p + n. Are z and -1 non-equal?
False
Let n = 29 - 86/3. Let r = -1.3 + 1.5. Is n <= r?
False
Let r = -39 - -38.94. Is 0 less than r?
False
Let f = -24 - -22. Which is smaller: f or -13/4?
-13/4
Let s = 4/147 + 194/3675. Let p be 1*(0/(-2) - 1). Is s greater than p?
True
Let a(o) = o - 7. Suppose k - 13 + 2 = 0. Let r be a(k). Which is smaller: 3 or r?
3
Let z = -10 - 2. Let c = 11.7 + z. Is -0.2 less than c?
False
Suppose 10*l - 2*l = 32. Is -2/19 at least as big as l?
False
Suppose 3*w - k + 5 = -0*k, 0 = -5*w + 5*k - 25. Let i = 331/7 + -47. Is i not equal to w?
True
Let a = 9 - 24. Let n be (9/a)/(9/6). Is 0 < n?
False
Let y = -18/83 - 3865/166. Let p = y + 24. Is 2 smaller than p?
False
Let k(r) = r**2 - 4*r - 3. Let l = 7 + -1. Let t be k(l). Is 11 at least as big as t?
True
Suppose 80 = -i - 27. Let g = 751/7 + i. Let h = 0.2 - 0.1. Is h <= g?
True
Suppose 3*p - 6 = 0, -i - p - 32 = -9. Which is greater: -26 or i?
i
Let h = -2 - -4. Suppose m - 5 - 9 = 0. Suppose -5*y = b - 26, -m - 16 = -5*b - 5*y. Is h less than b?
False
Let z = 1 - -1. Let x = 6 + -6. Which is bigger: x or z?
z
Let i = -71 + 73. Which is greater: i or 4?
4
Let v(i) = -i - 2. Suppose -8*a + 3*a + 80 = 0. Suppose -13 - a = 5*z + f, -13 = z + 2*f. Let x be v(z). Which is smaller: x or 1?
1
Let q(j) = -j**3 + 9*j**2 + 2*j - 4. Let a be q(9). Let h be 4/a + (-8)/(-168). Let x be (2 + -1)/(2/(-4)). Is x smaller than h?
True
Let a(w) = -8*w**2 + w. Let i be 6*(3/1)/18. Let d be a(i). Is d at most -5?
True
Let z be -4*(25/(-4))/5. Suppose z*o - 3 = 7. Let i = o + 1. Which is smaller: 4 or i?
i
Let j be (-2)/3 - (-830)/30. Which is smaller: 26 or j?
26
Let n = 0 + -0.3. Let z = -0.3 - -0.5. Let j = z + n. Which is bigger: j or -4?
j
Suppose -r + 5*q - 1134 = r, -2*r = -2*q + 1128. Let h = -23044/41 - r. Which is bigger