= 3*h + 28, 0 = 5*w - 4*h + 21. Let q be w/(-2)*12/15. Which is bigger: q or -0.2?
q
Let b = -1 - 2. Let k be (1 + b)*10/(-4). Suppose 6 = -k*u - 4. Are 0 and u unequal?
True
Let y = -8.2 + 8.1. Let k = 3 - 2. Is k >= y?
True
Let i = 7960/1521 + -4/1521. Let a = i - 202/39. Is 1 not equal to a?
True
Let q = 2/1199 + 2080/190641. Do 0 and q have the same value?
False
Let x be (-1 + 0)/((-7)/(-3)). Suppose 4*m - 3 = -9*l + 4*l, -l + 9 = 5*m. Does l = x?
False
Suppose 0*o = -o + 7. Suppose -3*a - a - o = 5*x, -5*a = 15. Suppose q = -0*q - x. Which is greater: 0 or q?
0
Let d = 1621/18 + -90. Let q(b) = -b**2 + 7*b - 5. Let y be (-2)/(-6) - (-119)/21. Let g be q(y). Which is greater: d or g?
g
Let k = -24 + -9. Which is greater: k or 2?
2
Let k = -63 - -29. Let f be k/8*16/4. Let x = -11 - f. Do x and 6 have the same value?
True
Let s(f) = 2*f - 10. Let c be s(-8). Let j be 552/(-39) - 4/c. Let h be -4 + 1 + (-49)/j. Is h at most 4?
True
Suppose -x = -4*x - 2*k + 48, 4*k = -2*x + 24. Suppose 2*p + p = -4*o - 10, -3*p = -3*o - x. Let r be p - 0*(-3)/(-6). Is r equal to 2?
True
Let i(s) = -4*s + 28. Let j(y) = y - 9. Let d(k) = 2*i(k) + 7*j(k). Suppose 5*t = -3*l - 29, 5*t + 0*l + 41 = 3*l. Let w be d(t). Are w and 1 unequal?
True
Let l be (-3)/4 - (-3)/(-12). Let r be (-15)/((-3)/l) + 1. Is -4 > r?
False
Let k(o) be the second derivative of o**3/6 - o**2/2 + 3*o. Let r be k(3). Is r < 0?
False
Suppose 5*b - 2*q - 5 = 0, 0*b + 22 = 4*b + 2*q. Which is greater: b or 15?
15
Suppose 2*s - 10 = 7*s. Let z be -1 - s - 1/4. Which is smaller: z or -0.2?
-0.2
Let d(q) be the second derivative of -q**5/20 - 7*q**4/12 + q**3 - 5*q**2/2 + 2*q. Let v be d(-8). Does 12 = v?
False
Let a(z) = -3*z - 5. Let d be a(-5). Let y be (-4 - d/18) + 3. Is 2/7 < y?
False
Suppose d = -0*s - 2*s, -2*s = 0. Let h = -345 - -342.14. Let a = h - 0.14. Which is smaller: d or a?
a
Let o = -1 + 8. Suppose 22 = -3*l + o. Is -7 greater than or equal to l?
False
Suppose -n + 5*h = -8, 4*n + 0*n + 3*h + 14 = 0. Let b be (0 + -12 - n) + 2. Are -8 and b equal?
True
Let q be 3/(-6) + 2/(-4). Let s be 8/(-72)*(-6)/4. Which is bigger: s or q?
s
Let k = -7 + 4. Let d be 6/(-15) + k/(-15). Which is bigger: d or 2/5?
2/5
Let a be 4/(-9)*(-4)/8. Is -2/13 less than a?
True
Let s = -29 - -31. Do s and 1 have different values?
True
Let m be 2/10 - 3/15. Is -3 less than m?
True
Let b = 4 - 3. Let k be 6*(30/(-32) + b). Suppose 4*r + 4 = -2*g, 4 = -r + g + 3. Which is smaller: k or r?
r
Suppose -8*k + 29 = 2*n - 3*k, -3*n - 2*k + 38 = 0. Let p be 17/11 - (n - 11). Which is bigger: p or 2?
2
Suppose 4*o = -0*o + 4. Let n be (-168)/132 + 1/o. Is n not equal to 0?
True
Let k(w) = w - 2. Suppose 0 = -3*t + 3, -4*m + 2*t = -10 - 8. Let x be k(m). Let a be (-13)/(-5) - x/5. Is 2 less than a?
False
Let a(k) = -k**2 - 7*k - 6. Let j be a(-6). Let i(o) = o. Let y be i(5). Suppose m + 1 = j, 2*w - 7*w + y*m = -25. Is w > 3?
True
Let w = -3 - 9. Let r = w - -7. Is r at least -5?
True
Suppose -4*r - r - 229 = 4*y, -2*y = -5*r - 223. Which is smaller: r or -44?
r
Let g(y) = -y + 4. Let x be g(5). Suppose 2*r - 5 = -j - 2, 5*j + 45 = 5*r. Let w = 64/13 + j. Is x less than w?
True
Let c = 36 + -38. Let q = -2 + 4. Which is greater: c or q?
q
Let n = -8.8 - -7. Let i = n - -2. Let u be 9/(-12) - 8/(-16). Which is bigger: u or i?
i
Let a be ((-3)/6 - 0)*14. Which is smaller: -15/2 or a?
-15/2
Let k = 11 + -7. Suppose i - 4 = -2*b, i = b - 0*i + k. Suppose c = -b*c. Which is smaller: c or 2/15?
c
Let c(r) = r**2 - 3*r - 2. Let d be c(3). Let j(g) = 2*g - 1. Let y be j(1). Which is smaller: d or y?
d
Let z = -0.4 - -3.6. Let h = 3 - z. Is -0.1 at least h?
True
Let j(a) = a**3 + 6*a**2 + 2*a - 2. Let m be j(-5). Let w = m + -15. Is w not equal to -4/5?
True
Let n(t) = -t**2 - 3*t - 1. Let c be n(-3). Let l = -105 + 946/9. Are c and l nonequal?
True
Let c be 1 - 1/4*2. Suppose -15 = -3*v - 0. Suppose 5*s - v = -0*s. Which is smaller: c or s?
c
Let b be 4/8*56 - -2. Let w = 17 - b. Is -13 smaller than w?
False
Let y = 500 + -11497/23. Is y bigger than 0?
True
Let q(w) be the second derivative of -w**4/4 + w**3/6 - w**2 - 2*w. Let x be q(1). Is 0 equal to x?
False
Let b(n) = n**3 - 6*n**2 - 6*n - 7. Let p(o) = o. Let s be p(7). Let c be b(s). Suppose -5*i - 5 = -c. Which is smaller: i or -2?
-2
Let d = 0.4 + -0.36. Let p = d + 4.96. Let c = p - 5. Is c equal to 3?
False
Let x = -1/88 - -91/264. Is -1/11 less than x?
True
Let t = -103/75 - -1/25. Let w = -0.1 - 0. Which is smaller: t or w?
t
Let y be ((3 - 1) + -1)*-1. Suppose -x - 5*w + 18 = 0, 1 = 3*w - 11. Let l be -1*2/(-1) + x. Which is bigger: y or l?
l
Suppose -43 = 5*p - 118. Which is greater: p or 17?
17
Let o(l) be the second derivative of -l**3/6 - l**2/2 + 3*l. Let n be o(-1). Is 0 equal to n?
True
Let s = 9013/6204 - -1/564. Which is smaller: 2 or s?
s
Let s(q) = -2 + 2*q - 2 - 4*q + 3. Let n be s(-1). Is n at most 1/3?
False
Let j = 8 + -15. Let q = 11 + j. Suppose 2*x - 12 = -x - 3*d, -q*d = -2*x - 22. Are x and -1/2 equal?
False
Let u = -2 + 3. Let o be (-3)/(-6)*-2 + 5. Suppose -p - o*p = -4*z - 20, -5*z = -5*p + 20. Which is bigger: z or u?
u
Let m = -0.01 + -19.99. Let g = -19.87 - m. Is 1 at least as big as g?
True
Suppose 5*n = 5*o + 20, -3*n + 32 = 4*o - 2*o. Is n != 6?
True
Let w(n) = -n - 8. Let a be w(0). Let q be (6/a)/(2/(-95)). Let o = -8249/232 + q. Which is smaller: -1 or o?
-1
Let d(j) = j**3 - 3*j**2 + 3*j - 1. Let r be d(2). Let s = 337 - 121. Let v be 4/14 - s/560. Which is bigger: r or v?
r
Suppose 2*r - 17 = -4*k + 5, -3*k = -4*r. Suppose 6*d = r*d + 3. Which is bigger: -2/17 or d?
d
Let g be 2 - (12/(-20) - -3). Which is smaller: g or 0.4?
g
Let f = 8 + -7. Which is smaller: f or -1?
-1
Let r = -496/3 - -165. Which is bigger: -1 or r?
r
Let x be (588/22 - -2)*-8. Let z be ((-16)/(-32))/((-1)/(-460)). Let o = x + z. Which is smaller: o or 1?
o
Let v(x) = -2*x**2 + 20*x - 17. Let y be v(9). Is y bigger than 1/38?
True
Suppose p + 0*p - 5 = 0. Let j be p + -4 + 0/1. Which is smaller: 2/43 or j?
2/43
Let z be 0/((-1 - 0) + 0). Let u(h) = -h**3 - h**2 + 1. Let c be u(z). Let f be 7*c/5 - 1. Which is smaller: 0 or f?
0
Suppose -6*a - 12 = -6. Which is greater: 29 or a?
29
Let y be (-2)/14 + (-8)/(-56). Is y < 1?
True
Let x be 12/(-8) - 1/(-2). Let l = 352/2703 + -2/159. Are x and l nonequal?
True
Let v be 20/8*(-2 + 1 + 2). Which is bigger: 2 or v?
v
Let m = 307/6 - 51. Which is bigger: m or 0?
m
Let m(q) = -q**2 + 7*q - 6. Let c be m(6). Suppose -5*u + 6*u = -5. Let k be (-1)/(u/((-5)/2)). Which is bigger: k or c?
c
Let l = 5 + -8. Let n = -7 - l. Is -2 at most n?
False
Let g be 2/(-4) - (-10)/(-4). Let x be (-3)/g*2/8. Let v = 0.132 - -0.068. Which is smaller: v or x?
v
Suppose 4 = -k + 8. Let l = k - -6. Is -0.1 greater than or equal to l?
False
Suppose 4 = 5*f - f. Let d(g) = g**3 - 2*g**2 - 5*g + 6. Let t be d(4). Let j be (-4)/t + 6/27. Is f bigger than j?
True
Let w = -6.1 - -6. Let c = 2 + -2. Let l = w + c. Which is bigger: -2 or l?
l
Let a(j) = -j**3 + 5*j**2 + 6*j + 6. Let n be a(6). Let m = n + -7. Which is smaller: 2/23 or m?
m
Suppose -4*j + 63 = 5*q - 17, j = -2*q + 23. Which is greater: 57/4 or j?
j
Let u = 6 - -2. Suppose -3*m = 2*n - 1, u*m - 4*m + 17 = n. Let a be 1/m*9/(-2). Which is greater: 2 or a?
2
Let k(b) = -b + 9. Let i be k(7). Suppose i*g + 15 = -3*g. Do g and 1 have different values?
True
Let b = -11 + 11. Let l be b/(1 - -2) + 2. Which is smaller: 3/4 or l?
3/4
Let k be 4/3 + (-88)/12. Is -3 at most as big as k?
False
Suppose 13 = 2*h - 3. Let p be (6/30)/(h/(-10)). Is p at least -2?
True
Let m be -18*1/4*-2. Are 8 and m non-equal?
True
Let w(i) = i**2 - 6*i - 10. Let p be w(10). Is p at least 32?
False
Let r(z) = -z**3 - 6*z**2 + z + 5. Suppose j + 6 = -0*j. Let g be r(j). Let q be (-6)/8*(-2)/(-6). Is g at most as big as q?
True
Let n be (-6)/(-10) - (-2)/5. Suppose 10*z - 12*z = 2. Let k be 0*(-2)/(-5 - z). Are n and k nonequal?
True
Suppose 0 = 7*o - 1 + 8. Let b be 2*(-3)/2 - -1. Which is bigger: b or o?
o
Suppose 2*l = -5*t - 2 - 18, 2*l + 4 = -t. Is -5 < l?
True
Let d(t) = t**3 - 10*t**2 + 9*t. Let c be d(9). Suppose c*a = a. Does 4 = a?
False
Let i(l) = l**3 + l + 2. Let v be i(0). Suppose -8 = -4*h 