6)/12)/(8/(-12)). Suppose 3*q - 11 = -q - 3*n, -2*n = -5*q + 8. Let m be q/(-3)*6/d. Which is bigger: m or -2/3?
-2/3
Suppose o - 28 + 34 = 0. Suppose -2*z - 5 = -z. Let c = z - o. Is c < 1/11?
False
Suppose 0 = -5*o + 5*l + 1 + 4, -5*o - 40 = 4*l. Let j(r) = -r**3 - 5*r**2 - 5*r - 1. Let g be j(o). Suppose -g*v - 5 + 17 = 0. Is v at least 3?
True
Let q = 3 - 1. Let i be (30/26 - q) + 1. Are i and 1 unequal?
True
Let g = -69/7381 + 4979147/2834304. Let v = 1/384 + g. Is 2 smaller than v?
False
Suppose 0*o = 3*o - 9. Suppose -2*x + 2 = l - 1, 0 = 4*l - x - 3. Let z be -2 + 0 + 5/l. Are o and z nonequal?
False
Suppose 0 = -3*a - 3 - 3. Let n be -20*1 - (-9 - -5). Let l be (4/6)/(n/42). Is l greater than a?
True
Let b be 3*((-56)/(-12) - 3). Suppose -3 = -2*j - j. Suppose -4*x + j = b. Which is smaller: 0 or x?
x
Let d = -83/2 + 42. Is d greater than or equal to -12?
True
Let w = -2/13 + 31/117. Is 0 less than or equal to w?
True
Suppose 3*g = -5*x + g + 4, 2*x = -g + 2. Let u = 6 + -8. Are x and u non-equal?
True
Let b be 6/33 - 75/(-11). Is b bigger than 7?
False
Let g = 23 - 24. Which is smaller: g or 8?
g
Let t = -10/3 + 2. Are -1 and t equal?
False
Let z be ((-8)/6)/((-2)/(-6)). Let p(h) = h + 8. Let k be p(z). Is k equal to 4?
True
Let n be 5/(-3)*(1 + -2). Which is smaller: 2 or n?
n
Let m(r) = -2*r**2 + r - 1. Let d be m(1). Let u be d - 2*-1*1. Let c = u - 0. Which is smaller: c or -1/3?
-1/3
Let o = 305 - 1227/4. Which is bigger: o or -1?
-1
Let t = -184 - -1469/8. Is t greater than -1?
True
Let q = -7 - -7. Let i = q + 0. Which is bigger: i or -2/7?
i
Let d be (-1 - -10)*3/9. Suppose 2*c + 6 = -4*t, -d*c - 2*t = -0*t - 3. Let z = c - 1. Is z greater than 3?
False
Let f(s) = s**3 + 2*s**2 - 3*s + 1. Suppose 7*z = 2*z + 2*i - 21, 3*z - 2*i = -15. Let n be f(z). Is n != -2/17?
True
Suppose -3*j - h = -1, 3*j - 5 + 1 = -4*h. Which is smaller: -38 or j?
-38
Let w be (-6)/(-40)*10*3/72. Is -1 at least as big as w?
False
Let v = -48 - -59. Which is bigger: 0 or v?
v
Let q(h) = h**2 - 7*h + 4. Let t be q(8). Suppose 0 = f + 2*f - 5*i + 12, 3*i - t = -3*f. Which is bigger: -1 or f?
f
Suppose -7*p = -3*j - 6*p, -2*j = 5*p + 17. Is -2/113 at least as big as j?
True
Suppose 0 = -4*k + 5*k + 3. Let i = 3 + k. Is i less than or equal to 2/15?
True
Suppose 8*o = 4*o - 8. Is o bigger than -14/9?
False
Let v be -4 + 2 - (0 + -5). Suppose o + v - 5 = 0. Suppose -3*p = o*p. Do p and 0 have different values?
False
Let m = 6 - -2. Suppose m = 2*p + 2*p. Let z be p/(-10) + 12/20. Which is greater: 0 or z?
z
Let p be -1 - (-2 + (2 - -2)). Let h be p/5 - 38/(-70). Which is bigger: 1 or h?
1
Suppose -3*c - 3 = -0*r - 3*r, 4*r = c - 8. Let b = -1 - -1. Is c <= b?
True
Let t(n) be the third derivative of -7*n**4/24 - 3*n**2. Let l be t(-3). Let s be (-1)/(l/(-54)) - 2. Which is smaller: s or 1?
s
Let s(h) = 4*h**2 - 3*h + 2. Let o be s(4). Let u be (-40)/(-6)*o/30. Is 12 equal to u?
True
Let x(j) = 3*j**3 + j**2 + j. Let r be x(-1). Suppose 5 = -c - 3*n, 4 = 3*c - n - 11. Suppose -c = 2*i - i. Are r and i non-equal?
True
Suppose 5*o + 2*m - 4*m = -25, -5*m + 37 = -4*o. Suppose -2*q - 3 = 1. Which is smaller: q or o?
o
Let m = -41 - -44. Which is smaller: 0.04 or m?
0.04
Suppose 18 = 5*f + 3. Let o = f + -2. Let z be ((-2)/25)/((-1)/5). Which is greater: o or z?
o
Let s(m) = m**2 - 10*m + 16. Let j be s(8). Does -2 = j?
False
Let o = 97 + -98. Let f be 2/48 + (-2)/(-6). Is o greater than f?
False
Let y = -19 - -21. Suppose -y*m = 2*m. Which is smaller: m or 1/15?
m
Let g = 32 + -29. Suppose -5*q - 2 = -4*x - 11, 0 = q + x. Suppose -q - 8 = g*i. Is i <= -3?
True
Let l(p) = p**3 - 8*p**2 - 2*p + 9. Let i be l(8). Let c be i*(-3)/(-15) - -1. Let j = -3 + 5. Is c <= j?
True
Let g = 2/1027 + 6148/7189. Is 2 at most g?
False
Let p = -18.3 + 18.3. Is p < -3/22?
False
Suppose -5 - 4 = 3*q, 3*q + 25 = 4*o. Are 3 and o unequal?
True
Let i(o) = o**2 + 9*o + 14. Let x be i(-7). Let p be ((-1074)/4)/(39/(-42)). Let a = -289 + p. Is a at most x?
False
Suppose 2*o - 82 = 6. Is 44 bigger than o?
False
Suppose -4*z - 61 = -p, -2*z - 14 = -z + p. Let t be (-2)/(-80) + (-6)/z. Let g = t - 1/40. Which is smaller: -0.1 or g?
-0.1
Let j = 5 + -5. Let a = -1 - j. Suppose -8 = -2*n + 3*y, -2*n = -n + 3*y + 14. Which is smaller: a or n?
n
Suppose 2*g - 16 = 4. Let b be (-4)/g - 14/(-10). Which is smaller: 1/5 or b?
1/5
Let d be (-4)/6 + (-12)/144. Suppose 3*a = 2*s + 4, -5*a + 1 + 5 = -3*s. Which is bigger: s or d?
d
Let r = 205/72 - 21/8. Is 0.3 less than or equal to r?
False
Let j = 0.22 + -0.02. Let k = -0.5 - -0.1. Let x = j + k. Which is smaller: x or -1/4?
-1/4
Let s = -1 + 1. Let f(y) = -y**2 - 6*y - 5. Let r be f(-4). Suppose r*n - 7*n - 4 = 0. Is s greater than or equal to n?
True
Let x be (-10)/5*(-2)/(-4). Let t be (-1)/4 - x/4. Suppose -m - m + 2 = t. Is 1/6 greater than m?
False
Suppose -2 = -2*y - 0. Let c = 61/3 - 424/21. Which is smaller: c or y?
c
Let a be 6/(-20)*(-20)/15. Let v = 11/2 + -6. Which is smaller: a or v?
v
Suppose -5 = -3*t - 5*j + 3*j, 3*t - j = 11. Suppose 23 = -4*s + b, -t*b + 30 = -3*s + 2*b. Let n be (s/((-90)/4))/1. Is 0 greater than or equal to n?
False
Suppose -2*c = 2*c - 12. Suppose c*s + 5 = 8*s. Which is smaller: 0 or s?
0
Let c(f) = -f**3 + 7*f + 2*f**3 - 2*f**2 + 11*f**2 - 7. Let p be c(-8). Let q be -1*(p + (0 - 0)). Which is bigger: q or 0?
0
Let j(u) = -3*u**2 + 7*u - 9. Let i(s) = -7*s**2 + 13*s - 18. Let a(h) = 2*i(h) - 5*j(h). Let d be a(8). Is 1 at least as big as d?
True
Let y = 10 - -9. Suppose 5*t = 4*o - y, -1 = t + 2. Let z = 3941/13 + -303. Is z >= o?
False
Let y(g) = -g**2 - 13*g + 5. Let b be y(-13). Let n(c) = -c**3 + 4*c**2 + 4*c + 3. Let p be n(b). Which is bigger: -4/5 or p?
-4/5
Let a = -181 - -170. Are -0.1 and a equal?
False
Suppose -3*c + 6 = -3. Let v = -1.7 + 1.7. Which is smaller: v or c?
v
Let j(n) = -n**2 - 21*n - 53. Let y be j(-18). Let r = 143/525 + 1/75. Which is bigger: r or y?
y
Let o = -6.05 + 6. Let s = o - -0.04. Let y = s + -0.39. Which is greater: 0 or y?
0
Let z = 0.21 + 9.79. Let h = z - 7. Let t = h + -1. Are t and 0 nonequal?
True
Let v be (-88)/(-20) - (-2)/(-5). Let l(m) = -m**2 + 9*m - 4. Let y be l(8). Is v smaller than y?
False
Let u(i) = -i**3 + 2*i**2 - 8*i + 16. Let d be u(3). Let t(p) = -19*p**2 - 2*p - 1. Let w be t(-1). Which is greater: w or d?
d
Suppose 2 = -x - 2. Let r(k) = 3 + 3*k - 1 + 2*k + k**2. Let q be r(x). Which is bigger: -1 or q?
-1
Let o = -73/779 - -6/41. Is -1 bigger than o?
False
Let m = -1021/12 + 85. Suppose -2*u - u = 0. Is m bigger than u?
False
Let v = -54 + 51. Which is bigger: -1 or v?
-1
Let l = -2 + 2. Let c = -1 - l. Let o(z) = -z**3 - 4*z**2 - z - 4. Let w be o(-4). Is w > c?
True
Let w(h) = -2*h - 2. Let g be w(5). Let b be ((-4)/g)/((-1)/(-3)). Let f be (-1)/(-1*2*b). Is 2 less than or equal to f?
False
Let i = -13 - -6. Suppose -4*p - 10 - 14 = 0. Which is greater: i or p?
p
Let z = -26.3 + 39. Let g = z - 13. Let q be -1*2/6*1. Which is bigger: q or g?
g
Let u be (-1)/4*-10 - (2 + 1). Let z = 0 + 3. Let v = z + -2. Which is smaller: v or u?
u
Let h = -0.004 + -0.026. Which is bigger: 7 or h?
7
Let x be (-21)/(-868)*4/6. Let t = x - -29/124. Which is greater: t or 1?
1
Let r = -36 + 20. Let n be r/(-56)*(-3)/(-2). Which is smaller: n or -1?
-1
Let d be (-18)/(-300)*(-2)/(-3)*-1. Which is smaller: 0 or d?
d
Suppose -s + i + 12 = s, 5*s + 2*i - 48 = 0. Is 6 <= s?
True
Let s = -1/63 + 191/126. Which is bigger: s or 2?
2
Let w = -2 + 2.3. Is w equal to 6?
False
Suppose -2*s + 3*s = 2. Suppose -s*j + 9 = 3. Let p be -1 - (-2)/(4/10). Which is bigger: j or p?
p
Suppose -5*h = -4*h - 3*m + 27, -3*m - 57 = 3*h. Are h and -23 equal?
False
Let y be (-3)/(-1) - (0 - 5). Let n(h) = h - 8. Let m be n(y). Is m less than 0?
False
Suppose -2*m = -5*h + m - 9, 0 = -3*h + 3*m - 9. Let q = h + -1. Let s = 3 + -5. Is s >= q?
False
Let g be 0*2/(-8)*-2. Let f(x) = 4*x**2 + x + 3. Let t be f(6). Let a = 1685/11 - t. Is g greater than or equal to a?
False
Suppose h - 12 = -2*h. Suppose 3*j - 13 = -h. Let f = 2 - j. Which is smaller: 1/5 or f?
f
Suppose x = 2*x + 3. Let f = x - -3. Let o(h) = h**2 + 2*h + 1. Let p be o(-2). Which is smaller: p or f?
f
Let i be ((-2)/6)/((-1)/18