Let b be 1844/(-66) + c/12. Let l = -28 - b. Which is smaller: l or 1?
l
Suppose -4*d = -0*z - z - 4, -2*d = -2. Suppose 5*t - t + 8 = z. Let u be t - (-2 - (-2 + 1)). Is u < -1?
False
Let g be (-2)/3 + (-32)/24. Which is bigger: -3 or g?
g
Let z be -4*(-4 - -3)/(-2). Which is greater: -9/5 or z?
-9/5
Let j = -0.16 - -0.2. Let h = -291 + 293. Which is greater: h or j?
h
Suppose -23*s = -35*s - 12. Let g be 1 - 8/14*2. Are s and g non-equal?
True
Let i be 90/(-21) + (-2)/(-7). Are i and -6 nonequal?
True
Let b(m) = -m**3 - 9*m**2 - 7*m - 12. Let j be b(-8). Let i be -2 - (108/j + 3). Is i <= -1?
False
Let o = 331/425 + -18/25. Are 0 and o equal?
False
Let x be 248/(-14) + (-4)/14. Let u be ((-16)/(-24))/((-8)/x). Is 1 != u?
True
Let b = -5 + 7. Suppose -t - 12 = 2*i + 1, 2 = -3*i + b*t. Let g(v) = v + 5. Let q be g(i). Is q less than -1?
False
Let l = 659/4 + -164. Which is greater: l or 1?
1
Let i = 0.06 + -1.06. Let u be ((-1)/(-11))/(2/(-4)). Which is smaller: i or u?
i
Let f(d) = -d**2 + 2*d - 5. Let c be f(0). Is -28/5 less than or equal to c?
True
Let s = 0.3 + -0.54. Let j = s - -0.04. Is j greater than or equal to 2/3?
False
Suppose 4*r = 7*r. Is -8/7 <= r?
True
Let s = 30 + -28. Suppose -k = -2 + 10. Let o be 2/k - 87/(-60). Which is smaller: o or s?
o
Let i(u) = -u**3 - 3*u**2 + 5*u + 6. Let j(d) = 3*d - 1. Suppose 5*b + 3 + 2 = 0. Let g be j(b). Let c be i(g). Is c less than or equal to 2?
True
Let c(i) = i**2 - 20*i + 23. Let z be c(19). Let k be 4 - ((-1 - 0) + 1). Suppose -z*m + 5*q = 35, 2*m + k*q - 27 = 5*m. Do -5 and m have different values?
False
Let u(p) = 2*p**2. Let d be u(-2). Suppose 2*j + d = 6*j. Suppose -4*t = -4*q, 5*q - 2*t = j*t - 1. Which is greater: -5/6 or q?
-5/6
Let r = -162 + 12149/75. Let k = r - 33/25. Let m = 21 + -23. Which is greater: m or k?
k
Let w = -0.23 + 3.23. Which is smaller: w or 2?
2
Let y be ((-19)/(-2))/((-4)/(-8)). Let n be 6/(-24) + y/(-4). Let h = -5 - n. Is -3/7 less than h?
True
Let v = 56/1717 - -2/303. Is v != -1?
True
Let h = -28 - -32. Suppose 11 + 25 = 4*m. Suppose 0 = 2*i + i - m. Is i less than h?
True
Let n(h) = 2*h - 3. Let v(z) = z - 4 - 3 + 4. Let f(a) = 5*n(a) - 6*v(a). Let w be f(-2). Is -4 > w?
True
Let m = -56 - -56. Which is smaller: 1 or m?
m
Let r(s) be the second derivative of 5/6*s**3 - 1/2*s**2 - s + 0. Let m be r(1). Which is smaller: 2 or m?
2
Let h = 6.24 - 0.24. Which is smaller: h or 3?
3
Let y = 4 - 2. Let z be 5/y - (0 - -1). Is 1 at most as big as z?
True
Let a = 0.36 - 3.36. Is a at least as big as 1?
False
Let v be (-2)/9 + (-346)/(-18). Let d = v - 13. Let h be d/3 - 4/2. Which is smaller: h or 2?
h
Let w(l) = -l - 17. Suppose -j = 5*g - 33, 3*j = 3*g - 14 - 13. Let c be w(g). Is -25 > c?
False
Let j(s) = 19*s**2 + 2. Let y be j(-2). Suppose 2*x - 3*u - y = -3*x, 0 = -3*u + 12. Is 17 at most as big as x?
True
Let i be (-848)/(-72) - (-2)/9. Which is greater: 11 or i?
i
Suppose 15 = 4*l - 9*l. Let m(y) = y + 4. Let h be m(-2). Let o = l + h. Which is smaller: o or -2/9?
o
Suppose 0 = 5*x - 0*f + f - 73, 4*x - 5*f = 41. Let p = 14 - x. Which is bigger: 1/5 or p?
1/5
Suppose 0 = -b - 3*q - 49, -128 - 1 = 3*b + 3*q. Let u = b - -22. Is -18 at least u?
True
Suppose 0 = -0*l - 2*l + 20. Suppose 0 = 3*n + 4*z - 20, 3*z - z = -3*n + l. Is 0 > n?
False
Let z be (1 + 4)/(3/(-3)). Let o be (z + 1)/((-2)/(-1)). Let m be o - ((-2)/1 - 0). Is m smaller than 0?
False
Let c be ((-2)/(-15))/(78/(-5)). Which is bigger: c or 0?
0
Suppose 0 = -3*z + 11 + 10. Let a(o) = o**3 - 6*o**2 - 7*o - 3. Let r be a(z). Let k(b) = -b**2 - 8*b - 10. Let n be k(-7). Is n > r?
False
Let x(k) = k**3 + 7*k**2 + k - 4. Let w be x(-7). Let n = w - -9. Which is smaller: -3 or n?
-3
Let s = 0.09 + -0.1. Let r = s + 3.01. Let l = -3.1 + r. Is l bigger than 2?
False
Let r = 121/105 - 23/21. Which is greater: -1 or r?
r
Let u = 0.3 + -1.3. Let z = u + 2. Let q = 9 + -8. Is z < q?
False
Let s(v) = -6*v**3 + 3*v**2 + v - 1. Let n be s(-1). Is 7 less than n?
False
Let m(n) = n**3 + n**2 - n + 13. Let z be m(0). Is z greater than or equal to -0.1?
True
Let n = 63 + -59. Is 0.05 at most n?
True
Let d(q) = 0*q**2 - 2*q**2 + q**2 + 3*q + 0*q + 1. Let w be d(3). Is -1/12 >= w?
False
Let t = -1.9 - -2. Let g = 0.2 - t. Let q = -0.6 - -0.4. Are q and g non-equal?
True
Suppose -2*j = 3*d + 23, 0*d + 2*d - 3*j = -11. Which is smaller: -4 or d?
d
Let j be ((-2)/(-6)*-1)/13. Let z = j + 41/78. Suppose 2*v + 3 = -3*k + 2*k, 2*v + 6 = 2*k. Which is smaller: k or z?
z
Let x = -3/10 + 2/5. Which is greater: 0 or x?
x
Let w be -3 + -4 + 9 + -2. Does w = -3?
False
Let t = 26.4 - 25. Which is smaller: t or -0.1?
-0.1
Let d be (-226)/(-38) + -4 - 2. Which is bigger: d or 0?
0
Let h be ((-6)/(-4) + -1)*18. Which is smaller: h or 10?
h
Let c = 18 + -30. Is -12 bigger than c?
False
Let d = -16 + 15. Is d != -1/3?
True
Suppose 3*t = -11 + 212. Let y = t - 334/5. Which is greater: y or -0.2?
y
Let b = -19 + 16. Let t be ((-64)/(-48))/((-2)/b). Which is bigger: t or -2?
t
Let x(f) = f**2 + 15*f - 14. Let h be x(-16). Suppose 3 = m + 2. Is m < h?
True
Let o = 6 - 9. Let w(p) = p**3 + 6*p**2 + 6*p + 1. Let b be w(-5). Is b equal to o?
False
Let x(l) = -l + 13. Let m be x(10). Is 3 at least m?
True
Suppose -15 = -3*h - s, -5*s = -3*h + 27 - 12. Let u = h + -6. Which is smaller: u or -3/5?
u
Let s be (-18)/36 + 130/(-4). Which is bigger: s or -32?
-32
Suppose u - 2*u - 17 = 0. Let w = 10 + u. Is w less than or equal to -7?
True
Let k = 11.2 - 13. Let c = k - -1.7. Which is bigger: 15 or c?
15
Let x be ((-2)/(-4))/(-2 - (-9)/6). Which is smaller: x or -1/10?
x
Suppose 6 = 2*v - 2. Suppose -5*y - 6 - 4 = 0. Let s = y + 6. Is s greater than v?
False
Let h = -2 + 3. Let b be ((0 - -2) + -1)/h. Let x be ((-2)/3)/((-4)/3). Which is smaller: b or x?
x
Let l = -17 + 16.3. Let x = -1.7 - l. Are x and -5/6 non-equal?
True
Let m(y) = -y**2 - 6*y. Let l(i) = 6*i**2 + 31*i. Let x(v) = 2*l(v) + 11*m(v). Let n be x(3). Which is bigger: -2 or n?
-2
Let r(l) = 2*l**2 + 4*l + 2. Let y be r(-2). Suppose -3*k + 22 = -a + y*k, -8 = 2*a - k. Which is smaller: a or -8/5?
a
Let m be 47/91 + (-12)/42. Which is bigger: m or 1?
1
Let u = 1/24 - 7/24. Let q = -0.38 - -0.18. Is u bigger than q?
False
Let s(l) = l**3 + 5*l**2 + 6. Let u be s(-5). Let n(m) = -m + 9. Let h be n(u). Suppose h*x - x = 0. Is 0 smaller than x?
False
Suppose 2*x = -3*x - 3070. Let u = x - -14124/23. Let r = 5/3 + -1. Which is smaller: u or r?
u
Let l = 0 - -1. Suppose -4*a + 3*u - 27 = 0, 2*a - 2*u = -0*u - 14. Let c be 2/6 - a/9. Does l = c?
True
Let k(p) = -p**2 + p. Let b be k(-1). Let z be ((b - -1) + 2)*11. Is 12 less than z?
False
Suppose -3*w = -8*w - 5. Let x = w + -5. Let z = 4 + x. Which is smaller: -3 or z?
-3
Let q be 2/6*(-7)/7*3. Let c be 6/8*4*1. Let y be (-2)/3 + (-1)/c. Is y at most q?
True
Let c = 2 - -2. Let j be 16/(-20)*50/(-4). Suppose -5*p - 4*u = -45, p - u + 2*u - j = 0. Is p less than or equal to c?
False
Let n be -24 + (-2)/4*-6. Let r be (-8)/n*18/(-12). Do -2 and r have the same value?
False
Let p(b) = -b**2 - 10*b + 4. Let z be p(-9). Is 3 at least z?
False
Let u(x) = x - 7. Let v be u(6). Let h = 1 + 2. Let f = -3.1 + h. Which is smaller: f or v?
v
Suppose -5*q + 232 = 2. Which is smaller: q or 47?
q
Let m be -4 + 2/4*4. Suppose 22 = -5*a - 3. Let q = -7 - a. Is m >= q?
True
Let x(m) = -m**2 + 7*m - 2. Let h be x(4). Suppose -g - 1 = h. Is -11 smaller than g?
False
Let u = 1 - 2. Suppose 0 = 11*o + 6*o. Are u and o nonequal?
True
Let x = 1177.9 + -1130. Let u = x - 45. Let r = 3 - u. Is r at most 0.1?
True
Suppose 5*y - j = -0*y + 12, -5*y + 2*j = -9. Suppose 0 = 2*s + s - 9. Are y and s nonequal?
False
Let y be (-1)/2*(-10)/(-4). Suppose 5*b + 6*i - 37 = 3*i, 5*i = 2*b + 10. Suppose -b*u = -u + 8. Is y < u?
False
Let s(r) = r**2 + 3*r + 4. Let g be s(-4). Let c be g/20 + (-21)/15. Is 1/4 smaller than c?
False
Suppose -2 = -v, v + 3 = 5*y + 5. Let m be (-2)/(-4) + 6/(-4). Let u be m/(-3)*(-4)/(-6). Which is smaller: u or y?
y
Let t = -2 + 5. Is t <= -27?
False
Suppose 0 = d - 2*d + 4. Let q(f) = f**3 - 3*f**2 - 5*f + 2. Let n be q(d). Let i(z) = z**2 + 5*z + 1. Let l be i(-4). Which is smaller: l or n?
l
Suppose 4*k = 2*k + 44. Suppose 2*z - 3 = 5*p