3. Which is smaller: -6 or s?
-6
Suppose -2*g = 2*g. Let p = -21904926 - -5432429537/248. Let c = -255/8 + p. Which is smaller: g or c?
c
Let t(w) = w**3 + 5*w**2 - 6*w - 7. Let v be t(-6). Which is bigger: 0 or v?
0
Let x be 2*-1 + (3 - 1). Suppose -u - 1 = -x*u. Suppose 4*w + 6 = -3*k, -2*k = 5*w + 3*k + 10. Is w at most u?
False
Let o = 5 + -3. Suppose -3*y + o = 2*n - 0, 5*y + 3*n = 4. Let k = 2/339 + 1342/2373. Which is smaller: k or y?
k
Let i = 6.91 - -0.09. Let d = i - 7.01. Is 0 < d?
False
Let c = -1 + 0.6. Let z = 180 + -902/5. Is z < c?
False
Let p be 24/45 + (-7)/21. Let i be (2/4)/((-1)/(-2)). Is p < i?
True
Let u be 30/4*12/9. Let n be 14/20 + (-2)/u. Which is bigger: n or 1/5?
n
Suppose 5 = -2*o - 17. Let a be (-4)/o*(-4)/(-56). Let h = a + 61/616. Which is greater: h or -1?
h
Let z = -17 - -19. Suppose 0 = z*t - 5*t - 6. Is t greater than -2?
False
Let l = 32 - 32. Which is greater: l or -1/25?
l
Let d(f) = -2*f - 7. Let z be d(-7). Do z and 5 have the same value?
False
Let f = -28 - -19. Do f and -9 have the same value?
True
Let s(m) = -m**3 - 7*m**2 - 7*m - 6. Let r be s(-4). Let t = -180/7 - r. Do t and -1 have the same value?
False
Let z = 20 + -19.88. Which is greater: -2 or z?
z
Let a = 3.9 + -4. Which is smaller: 2/7 or a?
a
Let m be -1 - (0/(-3) - 0). Let x be 732/249 - (-3 - -6). Let t = -91/1245 + x. Is m at least as big as t?
False
Let u = -1.3 + 2. Let j = u - 1. Which is smaller: j or 0?
j
Let v be 2/((-33)/(-3) + -2). Which is smaller: -0.3 or v?
-0.3
Let h = 199 - 208.7. Let l = 9 + h. Let f = l - -2.7. Are 0.3 and f nonequal?
True
Let b = 426 - 2972/7. Which is greater: 1 or b?
b
Let n(b) = 2*b**2 - 2*b + 1. Let t be n(2). Suppose -v = 3*v. Suppose -z + t*z = v. Is -1 greater than z?
False
Let m(q) = q**2 + 15*q + 26. Let t be m(-15). Are 1 and t equal?
False
Suppose -3*j + 10 = 2*j. Let w be 0/j*(-1)/1. Let r = -6/7 + 5/14. Which is smaller: w or r?
r
Let z = -1/46 - 1/138. Which is greater: z or -1?
z
Let k be (-11 + 7)*(-2 - 59/(-30)). Which is smaller: -20 or k?
-20
Suppose -5*h - 1 = -0*h + i, 3*i - 9 = -3*h. Is 4/13 less than or equal to h?
False
Let f(n) = n**3 + 11*n**2 + 9*n - 1. Let y be f(-10). Suppose -4*i - y = -5*m - 0, 1 = i + 2*m. Is -1 less than i?
False
Let l(m) = 0*m**3 + m**3 - m**2 - 2*m**2 - 1 + 6*m**2. Let n be l(-3). Do n and -1 have the same value?
True
Suppose -2*a + 4 = -3*x + 1, 5*a - 10 = 5*x. Let r(i) = -i**2 + a + 2 + 5*i - 7. Let k be r(5). Which is bigger: k or 0?
0
Let d = 5.9 + -6. Let p = 7 - 7.04. Let k = p + 0.64. Is d < k?
True
Let w be -11 - -11 - (-34)/5. Is w less than 6?
False
Let n = -1 - 3. Let s be (0 + 0/n)/(-2). Which is smaller: -10/7 or s?
-10/7
Let f = -318/559 + 8/13. Is 1 equal to f?
False
Let u = 4 - 6. Let h be (4/(-4))/(2/10). Let q be (h + 2)/12 - 1. Which is smaller: q or u?
u
Let o(p) = -p - 10. Let m be o(-9). Do -1/18 and m have the same value?
False
Let x(a) = a + 3. Let r be x(0). Which is smaller: 2/7 or r?
2/7
Let i = 2258/3 + -762. Let v = i + 82/9. Which is greater: 2/5 or v?
2/5
Let n(w) = w**3 - 4*w**2 + 5*w - 4. Let o be n(3). Suppose 3*b = -o*b + 15. Suppose -3*h + b*p - 13 = -1, 0 = 5*h + 5*p. Is 0 less than or equal to h?
False
Let k be 72/56 - (-4)/(-14). Let s be (k - -1 - 8)/(-7). Is s at most 1?
True
Let f = -592766/5177 - 1/10354. Let z = 112 + f. Is -2 < z?
False
Suppose 2 = 3*y + t, y = 9*t - 4*t - 10. Which is smaller: -7/15 or y?
-7/15
Let n be (4/(-8))/((-1)/14). Suppose -2*k + n*k - 15 = 0. Is 5 at least as big as k?
True
Suppose -3*m - 3*a = -6, -1 = -5*a + 14. Let l = m - -3. Suppose 0 = -p - 1, 0 = 6*s - l*s - 2*p + 2. Are 0 and s equal?
False
Let d be (-6)/(-42) + 81/(-609). Is d at most as big as -1?
False
Let k = 3 + -8. Let z be ((-4)/115)/(2/k). Which is smaller: 1 or z?
z
Let k = -0.001 - -0.101. Is -2/13 != k?
True
Let z be 14/2 + (-2 - 0). Let f = 0 - z. Is 0.1 at least f?
True
Let r(w) = -2*w - 2. Let y be r(3). Let b(v) = -v**3 - 7*v**2 + 8*v + 3. Let k be b(y). Suppose 0 = 4*i + k*d - 13, 3*i + 2*d - 6 = i. Is 1 >= i?
False
Let a be ((-18)/8)/(3/(-8)). Let y = a + -5. Which is greater: 0 or y?
y
Let h = -27 - -30. Suppose -2*x = 2*x. Is x smaller than h?
True
Let k(m) = 25*m - 11. Let a be k(-7). Is -186 > a?
False
Let m = 439/4 - 110. Let x be 2/2 - (-33)/(-39). Are m and x unequal?
True
Let k(y) be the first derivative of y**4/4 - 2*y**3 + 6. Suppose -20 = -2*m - 4*b, -2*m + b + 2 = -4*b. Let z be k(m). Is z > 2/5?
False
Suppose -4*s + 2*g - 10 = 0, -5*s - 9 = -4*g + 8. Is s > 2/125?
False
Let q = -5 + 9. Suppose -3*l + 0*o = -2*o + 1, -o = 2*l - q. Which is smaller: 2 or l?
l
Let f = 0.6 + 0.4. Let r = f + -4. Is 0 not equal to r?
True
Let t be 0/(2/(-4)*-2). Let o = -4 - t. Let q = -5 - o. Which is greater: q or -2/7?
-2/7
Let j be -3 - 9/((-9)/14). Do j and 11 have different values?
False
Suppose 5*a - 1000 = -0*a. Let d = -143323/5 + 28864. Let w = a - d. Which is smaller: 0 or w?
0
Let o = -512/9205 - 2/1315. Which is bigger: -1 or o?
o
Let d = -25 + 25.1. Is d > -1?
True
Let b = 63 - 5. Which is bigger: b or 0.2?
b
Let o = 0.9 - 1. Which is smaller: o or -0.11?
-0.11
Let y = 80 + -86. Which is smaller: y or -14/3?
y
Let a be (-1)/(-4)*(10 + -6). Let k = 1 - -2. Suppose -2 = -5*f + k*f. Is a < f?
False
Suppose 14 - 4 = -5*c. Let j be -3 - ((c - -1) + 0). Which is smaller: -3/5 or j?
j
Suppose -2*o = -2*v - 10, v - 4 = -2*o - 0*v. Let s(y) = -y + 4. Let i be s(o). Does -2/5 = i?
False
Let n = 2 + -4. Let g be 7/((-1)/(-2)*n). Which is smaller: g or -5?
g
Let n be ((-2)/4)/(14/(-8)). Let i = -10 - -12. Suppose 7*v - i*v + 4*p = 11, -5*v + 5*p - 25 = 0. Is n >= v?
True
Let s be 528 - (-2 + 0 + 0). Let m be (5/s)/((-1)/8). Let u = -192/265 + m. Which is greater: 0 or u?
0
Let z be (-1 + 4)*(-4)/(-6). Suppose z*n + 3 = -2*x + 3*n, 0 = -3*n + 9. Let l be ((-8)/170)/((-4)/(-10)). Is l at most as big as x?
True
Let z(r) = -2*r**2 - 7*r - 5. Let y be z(-4). Is y equal to -12?
False
Let p = -131/11 - -12. Let v(j) = j**2 + 4*j - 1. Let x be v(-4). Is x less than or equal to p?
True
Suppose 3*n + 4*i - 12 = 0, -n = 5*i - 11 - 4. Suppose s + 5*v + 11 = -s, -s - 4 = 2*v. Suppose o - 6*o - 5*l - 10 = 0, -s*o = l + 5. Are o and n non-equal?
True
Let b(n) = -2*n**2 - 4*n - 5. Let h(w) = 2*w**2 + 4*w + 6. Let r(o) = 6*b(o) + 5*h(o). Let k be r(-3). Are -1 and k equal?
False
Suppose -5*x + 3*x = -3*m + 46, 0 = 2*m - x - 32. Is m <= 17?
False
Let k(a) = 4*a - 4. Let w be k(5). Let h be 6/4*w/6. Suppose -1 = -h*o + 3. Which is bigger: o or 2/5?
o
Suppose -h - 3*n + 0*n = 14, 0 = n + 2. Is -9 equal to h?
False
Let q be 2/(5 + (2 - 4)). Let h = -0.9 + 0.85. Let w = h - 2.95. Is q <= w?
False
Let m be (4/(-5))/(4/(-10)). Let b be (9/3 + -2)*5. Suppose -b = -3*v - m*v. Which is greater: 2 or v?
2
Let p = -7 - -3. Let s = 0 - -5. Let x = s + p. Is 3/7 less than x?
True
Suppose 2*f - 14 = -4*h, -5*h = -4*f - 10*h + 22. Let n = f + -2. Let q be (n/9)/((-2)/6). Which is smaller: -1 or q?
-1
Let l = 1 - 1. Let r = 0 - l. Let w = 6 - 19/3. Which is greater: r or w?
r
Let g = -9 + 10. Which is smaller: 8/11 or g?
8/11
Let k = 3 + -2. Let x be -3 - (k + 116/(-30)). Is 1 less than x?
False
Let j = -3 - -3. Is 1 greater than or equal to j?
True
Let z be 2/3*6/5. Is z at least as big as 0?
True
Let c = -4 + 5. Let s be c - 3*4/21. Are s and 0 equal?
False
Let d(n) = -n**2 - 4. Let g be d(0). Suppose -m + 5*m + 9 = f, -21 = 4*m + 3*f. Is m >= g?
True
Let q be (18 - 2)*28/368. Let a = 216/253 - q. Let w = a + 27/44. Which is greater: -6 or w?
w
Let w(g) = g**2 - 11*g + 2. Suppose 5*l = 36 + 19. Let t be w(l). Which is smaller: t or 5/2?
t
Let z be -1 + (-4)/(-1 + -1). Suppose -4*q - 2*f = 0, 0 = 2*q + 4*f - 2*f - 4. Which is bigger: q or z?
z
Suppose 3*t - 2*p + 10 = 2*p, -p + 8 = 2*t. Suppose z - 1 = 5*u - 30, -2*u - t = 3*z. Which is smaller: z or -6?
-6
Let w = 141/5 + -28. Which is smaller: 3 or w?
w
Let a be 0 - 4/(-126)*91/(-39). Is -1 at most as big as a?
True
Let t be ((-11)/143)/((-1)/2). Is t greater than 1?
False
Let t be (-1)/2 - 3/(-6). Suppose 10 = -2*r + r + 2*m, 0 = 4*r + 4*m - 20. Is r less than t?
False
Let g be 1/42*(15 - 11). Which is smaller: -1 or g?
-1
Let k = 0.67 - -6.03. Let y = -6 + k. Let n = -0.68 + y. Is -0.1 <