). Which is greater: m or 1/15?
m
Let g(l) = -l**2 + 6*l - 8. Let x be g(6). Let h = x - -6. Suppose -6*n + 3*n = 9. Which is bigger: n or h?
h
Let k = 5.8 - 2.8. Which is smaller: k or 0?
0
Let q be (2/12)/((-9)/(-6)). Let m(b) = -2*b + 0 - 4 - 9 + 2. Let t be m(-6). Which is smaller: q or t?
q
Suppose -2*n = 4*x - 24, -2*n + 30 = 5*x + 2*n. Suppose 0*t + 3*t = 2*f + x, -5*f + t + 11 = 0. Let d = f - 1. Is 2 smaller than d?
False
Suppose -4*q = 3*b - 18, 4*q - 8 + 2 = -b. Let o = b - 7. Is -2/3 smaller than o?
False
Suppose 3*q - 2*q - g + 1 = 0, -5 = -5*g. Which is bigger: q or -6/7?
q
Let a be (-1)/(-2) - 0 - (-1380)/(-168). Which is bigger: -7 or a?
-7
Let s = -0.054 + -0.346. Let q be 11/(-14) + 1/2. Is s bigger than q?
False
Let q be 9/42*8/6. Let a = -194 - -178. Is a >= q?
False
Suppose -5*i = -4*c + 3*c + 24, -23 = 3*c + 4*i. Let p be (-7)/28 - (-1 - c). Is 0 at least as big as p?
True
Let z = -12 + 23/2. Is -36 equal to z?
False
Let r be (4/5)/((-1)/5). Are r and -6 unequal?
True
Suppose -33 + 6 = 3*p - 4*n, -5*p = -n + 45. Let a be (-12)/p*3/(-26). Let u = 2 - 3. Is a not equal to u?
True
Let x(v) = -v**2 - 10*v. Let d be x(-10). Suppose d = 2*t + t. Let y(o) = -o**3 + 5*o**2 + 7*o - 5. Let h be y(6). Which is bigger: h or t?
h
Suppose 3*q = 7*q + 5*g + 60, -g = 4. Let u = -5 - q. Suppose -u*s + 2 - 12 = 0. Which is smaller: -4 or s?
-4
Let s(o) = -5*o - 13. Let b be s(-7). Suppose 4*z = -b - 10. Which is greater: -7 or z?
-7
Let a be (-48)/(-40)*15/(-14). Which is smaller: -1 or a?
a
Suppose 0 = 3*t + 21 + 3. Is -9 >= t?
False
Let i = -1 - -1. Let h = 15/13 + -1. Which is smaller: i or h?
i
Let l = -28 + 30. Is 7 less than or equal to l?
False
Let h = 35/32 - -1/32. Let u = h + -43/24. Let p be -1 + 1 - (0 + 1). Which is bigger: u or p?
u
Let f be (-3)/3 - (-98)/4. Let x = -24 + f. Let v = -20 - -19.9. Which is bigger: v or x?
v
Let t = -0.1 - -1.1. Let a(f) = -3*f**2 - 2 + 0*f - 4*f**2 - f**3 - 6*f. Let y be a(-6). Which is bigger: y or t?
t
Let s be 14/21*18/4. Suppose 4*q = 3*o, s*q - 5*o - 17 = 2*q. Suppose 0 = 3*n - 4*r + 2 + 7, 3*r = 0. Do q and n have different values?
False
Let y(n) = n**3 + 7*n**2 + 3*n + 6. Let x be y(-7). Let g be 6/3 - x/(-7). Which is smaller: g or 0?
g
Let z = 60 - 57. Suppose 0 = 2*s - 4*m, -s = -6*s - 5*m + 15. Which is smaller: s or z?
s
Let o = 56348/161 + -350. Which is bigger: -1 or o?
o
Let q = 2 + -2. Let f = 3.13 - 0.13. Let v = f - q. Are 0.1 and v equal?
False
Let n(b) = b**2 + 10*b - 1. Suppose 0*x + 18 = -2*x + 2*l, -2*l - 42 = 4*x. Let t be n(x). Let s = 11/5 - 9/5. Which is smaller: s or t?
t
Suppose -a = -3*a - 20. Let o be 14/a + (-2)/(-2). Suppose -z + 6 = -4*z, -3*z - 5 = q. Which is smaller: o or q?
o
Let z(d) = -d**3 + 5*d**2 + 8*d - 8. Let s be z(6). Let i be s/8 + (-1)/2. Suppose -4*u - 2*c - 4 - 2 = i, -5*c + 15 = 0. Are u and -2 unequal?
True
Suppose 0*m + 4*h - 57 = 5*m, 3*m + 5*h + 12 = 0. Let f = 10 + m. Is 14 at most as big as f?
False
Let z be (-1)/2*(-1)/2. Are -29 and z unequal?
True
Let t(p) = -65*p. Let n be t(3). Let c = 46/551 - -432351/2204. Let k = n + c. Which is bigger: k or 1?
k
Let l(w) = w**2 + 18*w + 8. Let g be l(-18). Is g >= 26/3?
False
Let y(l) = l**2 + 6*l. Let m(k) = -2*k + k - 2*k**2 - 3*k**2. Let j be m(1). Let x be y(j). Is 0.2 bigger than x?
True
Let i be -79 - -77 - ((-1 - -1) + -4). Is i <= 5?
True
Let d(r) = 9*r + 7. Let c be d(-3). Let f be ((-4)/(-10))/((-48)/c). Are f and 0 unequal?
True
Let w = 168 - 1178/7. Let c = 11 + -10. Which is smaller: c or w?
w
Let p = 135 + -87. Which is greater: 50 or p?
50
Suppose 2*u + 4 = 6*u. Let p(x) = 0*x**2 - 6*x + 2*x**2 - x**2. Let r be p(6). Is r at most as big as u?
True
Let s = 3 - 2. Does 6 = s?
False
Let t be (-8)/(-20)*4*2/(-28). Is 1 smaller than t?
False
Let n = -5 + 9. Let g = -3 + n. Which is bigger: g or 4/9?
g
Suppose -m + 2 = 5*j - 13, -3 = m - j. Suppose m*y - 18 = -3*y. Suppose y = 4*r + 5*o, 4*r - 2*o + 6 = -2. Which is bigger: -2/5 or r?
-2/5
Let y be ((-1 - 1)/(-2))/(-1). Suppose 4*j - 3*j = 0. Let a = y + j. Which is greater: 0 or a?
0
Let j be 16/7 - (-2)/(-7). Suppose -j = -3*h + h. Let w = -4 - -7. Which is smaller: w or h?
h
Let y(s) = s**3 - 8*s**2 - 11*s + 8. Let h be y(9). Let q be h/(-35) + 62/(-70). Which is bigger: q or 0.1?
0.1
Let y(i) = i**3 + 6*i**2 + 6*i + 2. Suppose -k - 5 = 5*c, -4*k - 8 = 5*c + 12. Let u be y(k). Let q(w) = -w**2 - 2*w - 3. Let g be q(-2). Are u and g unequal?
False
Suppose 0 = 3*f + f - 124. Suppose -2 = c - 2*q - 4, 4*c + f = -5*q. Which is smaller: c or -3?
c
Suppose d = 5*n + 3*d - 11, 3*d + 6 = 0. Suppose 0*m = -2*m + 8. Which is bigger: m or n?
m
Let j be -1 - 0 - 9*-3. Let d be j + -1 - (-2 + 1). Let a be (d/8 - 2) + -1. Are 1/2 and a non-equal?
True
Let f = 12 - 33. Let s = 20.95 + f. Do 2/3 and s have the same value?
False
Let f be -1 - 0 - 2/2. Let u be f/(1 + 2 + -2). Let y(z) = -z**3 + 8*z**2 + 8*z + 8. Let c be y(9). Is u at least c?
False
Suppose -2*b = -4, 2*t + 5*b - 6 = -2*t. Let n be 2/(-2)*(-6)/14. Which is smaller: t or n?
t
Let h = 1867/84 - 10/21. Let u = -22 + h. Let c be 1/(0 - -2*1/2). Which is greater: c or u?
c
Let v(r) = -6*r. Let l be v(-1). Let a(k) = k + 6. Let o be a(-4). Suppose n = -o*n + l. Which is smaller: 3 or n?
n
Let v be (-3 - -2)/(-2 - 3/(-1)). Which is greater: v or 1/131?
1/131
Let g = -42.1 - -44. Let j = g - -0.1. Are -0.3 and j equal?
False
Let j(a) = a + 2*a - 2*a**3 - 4*a**2 + a**3. Let c be j(-5). Suppose 2*g - c = -p, -15 = -3*g - 2*g. Which is smaller: 3 or p?
3
Let w(o) = o**2 - 1. Let m be w(-4). Let f be 5/m - 7/(-6). Which is smaller: f or 1?
1
Let d = -597 + 7153/12. Let i = d + 2/3. Is i at least 1?
False
Suppose -3*a - 4*r = -9*r - 20, 0 = 2*a + r + 4. Suppose -z + 9 = 2*z. Suppose -3*o - y = -3*y, z*y = 5*o. Is a < o?
False
Suppose 0 = 4*u + 23 + 13. Let c(w) = -8*w + 13*w**2 + w**3 + 8 + 0*w**3 - 5*w**2. Let x be c(u). Is x at most as big as -2?
False
Let d be (3/4)/((-1)/(-4)). Let q = 3 + -5. Let g = d + q. Which is greater: g or -0.1?
g
Let l be (-197)/67 - (-3 - -4)*-3. Are l and 0 non-equal?
True
Suppose 4*i = 2*l - 8, 2*i = l - 3*i - 19. Let u = l - -8. Let h be -2*1*3/u. Is h smaller than -1?
True
Let j(s) = 7*s - 6. Let n(p) = -8*p + 7. Let d(f) = 7*j(f) + 6*n(f). Let l be d(-1). Let r be (-4)/6 + 1/(-3). Are r and l nonequal?
False
Let u(o) = o + 5. Let t be u(-3). Suppose t*l + 138 = -8. Let x = 364/5 + l. Which is bigger: 1 or x?
1
Let d(u) = u + 6. Let p be d(-6). Suppose -2*k + k - 1 = p. Let q = 3/4 - 1/2. Which is smaller: k or q?
k
Let r = -2 - 2. Let w = r + 5. Are 3/8 and w equal?
False
Let u = 345 - 16902/49. Is u < -1?
False
Let q = -9 - -5. Let u = 0 - -4. Let t = q + u. Which is greater: 0.1 or t?
0.1
Let g be 0 + 0 + (1 - -1). Suppose j + g = 0, -1 - 2 = 5*z + 4*j. Let p be 15/27*(-2)/5. Do z and p have different values?
True
Suppose 1 = -8*f + 7*f. Which is smaller: f or -1/8?
f
Let u = 13 + -4. Let x = -9 + u. Let c = 0.2 + 0.8. Is c at least as big as x?
True
Let v(l) = -2*l. Let r be v(-1). Suppose 0*s - x = -2*s + 1, -2 = r*s - 2*x. Suppose 5*m + 2*o = 9, 6*m - 14 = s*m - 5*o. Is 1 not equal to m?
False
Let h = -4 + 2. Let f = 2 + h. Suppose 0 = -f*s + 5*s + 5. Which is smaller: -2/9 or s?
s
Let v = 28 + -111/4. Suppose 0 = 5*c - c + 4. Let t = c - -2. Is t > v?
True
Let y be (-57)/(-15) + 1/5. Suppose -h + 1 = 5. Let v(w) = -w - 1. Let t be v(h). Are y and t unequal?
True
Suppose 0 = 5*f - f + 36. Let j = f - -7. Let h be 2 + j - (-2)/13. Which is smaller: 0 or h?
0
Let a(r) = -r - 7. Let l(o) = o**3 + 2. Let h be l(-2). Let v be a(h). Suppose -u = -11 + 10. Which is smaller: v or u?
v
Let j be 0/((-1 - 2)/(-3)). Suppose j = v + 3*v. Let t = v - -1. Do -1/3 and t have different values?
True
Let c be 2 + -1 + 6/3. Suppose -5*s - t + 11 = 0, -12 = 6*t - 3*t. Is c bigger than s?
False
Let h be 24/6 - (-1)/1. Suppose x + 3 = 0, -22 = -o + h*x - 6. Which is smaller: 3 or o?
o
Let c(l) = -2*l**2 + 4. Let h be c(2). Let t(w) be the third derivative of -w**5/60 - w**4/6 + w**3/6 - w**2. Let v be t(h). Is -3/7 <= v?
True
Suppose -10 = -3*u - 13. Is 1 greater than u?
True
Suppose 5*n + 5 = 4*g + 100, 5*n = -4*g - 65. Let x be (2/(-5))/(24/g). Which is greater: x or 1?
