 0*m - 62 = 4*n. Let u be (-60)/n - 6/21. Suppose 2*g = u + 2. Is g < 4?
True
Let c = -11 - -7. Let i(t) = -t**2 - 7*t - 5. Let v be i(c). Let h be 12/(-9)*3/v. Which is greater: -1 or h?
h
Let d(v) = v - 3*v + 3*v - 6. Suppose -4*z + 34 = -0*z + 3*s, -4*z - 5*s + 38 = 0. Let j be d(z). Is j less than or equal to -1/4?
False
Suppose -6*d + 5 = -d. Let n(z) be the first derivative of -z**2/2 + z - 2. Let k be n(d). Which is smaller: 1/8 or k?
k
Let x be 0 - 1 - (-8)/6. Let o = -0.38 - -0.34. Which is greater: o or x?
x
Suppose -4*f - 2*a - 20 = 0, -4*f - 4 = -4*a + 4. Do f and -5 have the same value?
False
Let q = 27 + -29. Which is bigger: -36/11 or q?
q
Let t = -30234/19 + 1590. Let f = t - -416/209. Which is smaller: 1 or f?
f
Suppose -9*u = -11*u + 176. Let s be 24/(-84) + u/259. Is 1 <= s?
False
Let n = -15 - -9. Let y = -8 - n. Which is smaller: -5/7 or y?
y
Let x = 3.09 - 0.09. Let n = x - 3.1. Is n less than or equal to -0.1?
True
Suppose 3*a + 3 - 15 = 0. Suppose t = -a*t + 25. Is 4 less than or equal to t?
True
Let d = -63 + 31. Is -1/5 not equal to d?
True
Let g(j) = -j**3 - 5*j**2 + 6*j + 3. Let l be g(-6). Suppose 3*p - 5*a + 3*a = 0, -2*a = l*p. Let h = -5 - -5. Is p less than or equal to h?
True
Let m(f) = 14*f - 21. Let y(u) = -5*u + 7. Let v(n) = 6*m(n) + 17*y(n). Let k be 18/(-4) - (-2)/(-4). Let w be v(k). Are w and 0.1 unequal?
True
Let i = -248 - -231.3. Let p = i - -13. Let f = 4 + p. Which is bigger: 0.2 or f?
f
Let n = -10 + 21. Let o = n - 11. Is o less than or equal to -0.2?
False
Let o(d) = d**3 + 11*d**2 + 10*d - 6. Let r be o(-10). Let b(f) = -6*f + f**3 + 5*f**2 - f - f - 9. Let x be b(r). Is x less than or equal to 3?
True
Let j = 2.9 - 1.7. Let n = -5.2 + j. Do -0.1 and n have the same value?
False
Let u(p) = 7*p + 1. Let t be u(-1). Let w be 9/3*(-160)/60. Which is bigger: t or w?
t
Let t(x) = 2*x**2 + 26*x + 22. Let f be t(-12). Which is greater: -1 or f?
-1
Let m = -19027/6 - -3178. Let k = 709/102 - m. Let s(t) = t - 5. Let v be s(5). Which is greater: k or v?
k
Let j be ((-7)/(-147))/(2/(-12)). Is -0.7 less than j?
True
Let l = -16.7 + 17. Let r = l - 0.2. Which is bigger: r or 1/4?
1/4
Let i = -9/22 + 309/110. Is 3 != i?
True
Let o = 0.07 - -0.93. Let m = 0.1 + 0.3. Let y = -0.3 + m. Which is smaller: o or y?
y
Let r be 1*((-100)/(-52) - 2). Suppose 4*s - z - 6 = 0, -5*s + 0*z + 2*z = -9. Is s not equal to r?
True
Let o be 4 + (1 + 11)/((-2)/17). Is -98 < o?
False
Let f be -1*(-2)/2 - 4. Let p(g) = -g**3 - 4*g**2 + 13*g + 3. Let c be p(-6). Do c and f have different values?
False
Suppose 0 = -3*m - 0 - 6. Let u be (-4)/6*3/m. Suppose 2*d = -3 - u. Which is smaller: d or -3?
-3
Suppose 0 = 2*n + 2*u, 5*n = 3*n - 3*u + 4. Let l be (n/(-12))/(1/3). Are 2/15 and l unequal?
True
Let b = 416401/1785 + -1178/105. Let j = b - 222. Is j greater than or equal to 0?
True
Let i = 86 - 87. Is -3/2 at most as big as i?
True
Let z be 3/(-32)*(-13)/(-39). Let s = -29/96 + z. Which is smaller: s or 0.1?
s
Let s = -49/5 - -10. Suppose -33*t + 8 = -29*t. Suppose -2*o + 2*b = -t, b = -4*o + 1 - 2. Which is smaller: o or s?
o
Let x = -1.2 - 0.8. Let a = 10 - 10.1. Does a = x?
False
Let s = 10 + -7. Suppose 4*h = -c - 7, 14 = -5*c + s*c + 5*h. Let g be 2/(-6) + c/(-3). Which is greater: 4/7 or g?
g
Let u = -73/10 - -15/2. Suppose 3*d + 0*n + n = -1, 2*d + 2*n = -2. Is u bigger than d?
True
Let n = -604/14455 - -2/2065. Which is bigger: -1 or n?
n
Let q = -0.1 + 0.2. Let t = 1.1 - 0.1. Is t greater than or equal to q?
True
Let c(x) = 10*x**2 - x + 3. Let q be c(-3). Let d be (-50)/q*-2 + -1. Let t = -7/24 - d. Which is smaller: t or -2/5?
-2/5
Let f = 0.8 - -5.2. Let y = -21 - -15. Let o = y + f. Is -2/3 less than o?
True
Let i be (-2)/(-1)*(-6)/(-4). Let f(b) = -4*b**2 + 4*b + 4. Let o(n) = -5*n**2 + 4*n + 5. Let m(t) = -4*f(t) + 3*o(t). Let d be m(5). Which is greater: d or i?
d
Let k = 302 + -1817/6. Suppose 0 = -0*o + 5*o. Which is smaller: o or k?
k
Let n = -337 - -3037/9. Is 1 greater than or equal to n?
True
Suppose 0 = t - 2*z - 2 - 3, -3*t = 4*z + 35. Suppose 3 = b + 2, k = -5*b + 13. Let d be ((-4)/t)/(k/20). Are 2 and d non-equal?
False
Suppose -2*i = -l - 12, 3 = -4*l - 13. Suppose -5 = -3*d + 25. Suppose -4*m + 6 = -d. Is m at most i?
True
Let m = 14/27 + -515/837. Is 0 < m?
False
Suppose b - 3*d + 8 = 0, -3 = -d - 0*d. Let c be (1 - -2)/9 + (-22)/(-6). Which is smaller: b or c?
b
Let d be (5 + 5)*(24/(-9) + 2). Which is greater: d or -8?
d
Let q(a) be the first derivative of a**7/840 + a**6/180 - a**4/24 - a**3/3 + 1. Let p(n) be the third derivative of q(n). Let h be p(-2). Are h and -1 equal?
True
Let r be 2/(-4) + 2/(-4). Let n be -2*2*21/(-12). Let g be 1*3 + (-7)/n. Is g bigger than r?
True
Let m(j) = -j**3 + 6*j**2 - 6*j + 7. Let v be m(5). Suppose 0 = 2*o + 4*t + 14, -t = -v*o + 2*t. Let f be (3/2)/(o/(-6)). Is f not equal to 4?
True
Let r(b) = 3*b + 2. Let t be r(-3). Let i be (-4)/12 - t/3. Let h be 4 - i - 4*1. Is -1 smaller than h?
False
Let n be 7/(-5) + 8/20. Is n smaller than 4/9?
True
Suppose -6 = -2*q + 4*q + 2*i, -5*q - 2*i = 9. Is q less than 2/23?
True
Let o(w) = w - 3. Let m be o(7). Suppose -g = -2*g + 9. Suppose b = m*b + g. Does -2 = b?
False
Suppose -a + 14 - 15 = 0. Which is smaller: a or 1/3?
a
Suppose u = -x + 2, 4 - 6 = -x + 3*u. Let o = -3 + -22. Let k = o + 77/3. Is k greater than x?
False
Let f = 19 + -41/2. Let z(t) = -t**3 - 8*t**2 - 6*t + 4. Let b be z(-7). Which is bigger: b or f?
f
Let i = -2 + 1. Let v = -318 - -973/3. Let t = -6 + v. Is i smaller than t?
True
Suppose -3 = -4*y + 1. Suppose -h = -y + 2. Let m be 4/10 + h - -1. Which is greater: 3/10 or m?
m
Let b be (0 + 0 - 1)*1. Is b at most -2/23?
True
Suppose 4*c = -10 - 14. Let b = c - -9. Suppose 4 = -j + b. Do -2 and j have the same value?
False
Let l = -0.1 - -0.1. Let y(w) = w + 8. Let f be y(-5). Which is bigger: f or l?
f
Let y be (25/2825)/(2/(-1) + 3). Is y less than or equal to 0?
False
Let s = 64 + -63.7. Let x be 3/(-2 - (1 + -2)). Let w = x + 1. Is s <= w?
False
Suppose 0 = 18*u - 16*u. Which is greater: 1/7 or u?
1/7
Let d(g) = g**3 + 11*g**2 + 9*g - 8. Let w be d(-10). Let z(u) = 10*u + 6 - 5*u - 4*u. Let i be z(-4). Is w greater than i?
False
Let w = -90/253 - -4/23. Which is bigger: w or 1?
1
Let c = -29 - -67. Which is greater: c or 39?
39
Suppose 12*g + 6 = 6*g. Is g >= -2/55?
False
Let a = -0.5 - -0.3. Let j = 0.2 + 0. Let y = j + a. Is 0 at most y?
True
Let i = -464 - -4180/9. Suppose -6*z = -0*z. Is z smaller than i?
True
Let p be 2/(-3)*(-50)/20. Which is smaller: p or 1?
1
Suppose -5*a - 14 = -b, 5*a = b + 3*b - 26. Suppose b*i = 15 + 1. Suppose 4*k = r - 4, 0 = 5*k + r - 0*r - i. Is k less than 2/13?
True
Let y = -123/524 + -2/131. Let a(x) = x**2 - 2*x - 1. Let j be a(2). Is j less than or equal to y?
True
Let a(t) = t**2 + 2*t - 3. Let o be a(-3). Let x be (-14 + 6)*(-2)/8. Let d = o + x. Which is smaller: d or 1?
1
Suppose 35 = 3*n - 8*n. Let k be (2/28)/(n/28). Is 1 at least as big as k?
True
Let c = -0.24 + -0.16. Which is smaller: c or 0?
c
Let j(z) = -z**3 + 7*z**2 + z - 8. Let i be j(7). Let l = -12 - -8. Let n = i - l. Is 3 > n?
False
Let o = -14 + 13. Let q = 71 - 50. Let k be 24/q - 2/2. Does k = o?
False
Let m(q) = -q**2 + 2*q + 1. Suppose -r + 1 = 3. Let h be m(r). Let v be 1/(-3) - h/12. Is -1 smaller than v?
True
Let a be 1*((-28)/16)/(-7). Which is bigger: a or 10?
10
Let j = -17 - -29. Suppose -2*h + 7*h + 40 = 0. Let o = h + j. Is o < 4?
False
Let d be ((-1)/(-2))/(26/8). Let f be (6/(-9))/(2/18). Let z = f - -5. Is z less than d?
True
Suppose 3*p + 8 = -1, 0 = -5*l + 5*p. Let v = 2/299 + -2398/897. Let j = 2 + v. Which is smaller: l or j?
l
Let y = -7519/11 - -681. Is -4 less than y?
True
Let t(l) = -l - 2. Let a be t(0). Let c(k) = -2*k. Let d be c(a). Suppose -d*v + 5*y = 21, -3*v = -0*v + 3*y + 9. Which is smaller: v or -5?
-5
Let x be (-2)/(-16) - 77/(-440). Which is greater: x or 0?
x
Let a be ((-2)/(-3))/(235/(-30)). Which is greater: 1 or a?
1
Let b(v) = 3*v**2 - 11*v - 11. Let y be b(6). Is y != 31?
False
Let k(s) = -s**3 + 7*s**2 - 10. Let j be k(7). Let y = j - -21/2. Which is smaller: y or 0?
0
Let x be 26/90 + (-25)/75. Which is greater: x or -1?
x
Let w = 8.7 - 0.7