2 - 6*s - 10. Let o be y(-6). Which is smaller: o or -11?
-11
Let l = 3/110 + -3089/330. Which is smaller: l or -9?
l
Let s be 1 + (-4 + 2 - (-21)/15). Which is smaller: -6 or s?
-6
Let n be 1/21 + (24/(-14) - -2). Which is greater: n or -1?
n
Let f(l) = 5*l + 22. Let d be f(-4). Suppose -a - 4*a - u = -24, 2*u = 8. Which is smaller: a or d?
d
Let t = -0.02 - -0.06. Let y = 3.04 - t. Let d = 0.3 - 0.2. Is d less than y?
True
Let a = 0.4 - 0.5. Let l = 0.2 + a. Let u = -106/15 + 32/5. Which is greater: u or l?
l
Let g(f) = f**2 - 4*f - 6. Let n be g(5). Which is greater: -2 or n?
n
Let d = 78 - 77. Let j be (-184)/88 + 2/1. Is j equal to d?
False
Let j = 16 + -24. Which is smaller: -11 or j?
-11
Let x = 71134/57 + -1248. Which is bigger: -1 or x?
x
Let d = 0.7 - 0.9. Let v = d + 0.1. Which is smaller: -1/4 or v?
-1/4
Let p = -5 + 9. Let y(i) = i**2 - 4*i + 5. Let f be y(p). Suppose 0 = f*w + 1 - 6. Which is smaller: 1/2 or w?
1/2
Let d = 10 + -10.7. Let h = d - -0.7. Does h = 1?
False
Suppose 0 = 4*p + 7 + 17. Suppose -3*r - 22 = -4. Is p at most r?
True
Let a = 0.1 + 2.1. Let x = 0.8 + a. Let m = 6 - x. Which is smaller: -1 or m?
-1
Let q(w) = w**3 + 8*w**2 - 3. Let d be q(-8). Let g be d/7 + (-90)/(-14). Do 7 and g have different values?
True
Let n = -1.02 + 1. Let p = 18 + -17.68. Let c = p + n. Is 2/3 less than c?
False
Let f be (7 - 18)/((-9)/2). Is 1 smaller than f?
True
Let k be (-2)/(-4)*(-9)/(-171). Let t be -20*2/152*-2. Let w = t - k. Which is bigger: w or 1?
1
Let t = -16 + 16. Let m = -0.1 + 0.08. Which is bigger: t or m?
t
Let o = -125/31 + 4. Which is bigger: o or 0?
0
Let z = -4/439 + -5248/2195. Suppose 6*w = 10*w + 4. Which is bigger: z or w?
w
Let j = -3 - -5. Let v be 1 - j - 15/(-3). Suppose -2 = -v*i - 10. Which is greater: i or 0?
0
Let v = -9/40 + 5/8. Which is smaller: -0.6 or v?
-0.6
Let b = -2749/285 - -29/3. Is -1 at least as big as b?
False
Let j = 7 - -2. Let w = j + -8. Which is greater: w or -0.2?
w
Let j be -3 - (4/(-2) + -7). Let i be ((-1)/9)/(2/j). Is -3 at least i?
False
Let s be 4/(-16) - 3/(-12). Is -1/3 < s?
True
Suppose 4 = -5*m + 3*s, 0*m - s - 6 = 2*m. Let y be (m - -7) + (-3)/(-9). Let r = y - 35/6. Which is smaller: r or -1/5?
r
Let t(d) = -d**2 + 6*d - 4. Let p be t(5). Suppose 2*a + 3*a - 14 = -z, z - 5*a = -16. Let j be z*9/(-15) - p. Which is greater: j or 2?
2
Suppose -8 = -4*y + 3*y. Let x = 14 - y. Let k be 13/x - (-2)/(-12). Does k = 1?
False
Suppose 0 = -4*s, n - s = -2*s + 75. Is n less than 75?
False
Let x be (-8)/20 - 74/(-10). Suppose x = 5*y + 22. Which is smaller: -2 or y?
y
Suppose 0 = 3*k + 3*k + 72. Let i be k/4 - 0 - -3. Are i and -1 nonequal?
True
Let n be (-1)/(-2)*6/9. Let u = 3 + -3. Suppose 0*v - 2*v = u. Which is smaller: v or n?
v
Let s = -6 + 5. Let z = 2 + s. Suppose -4*p = 4*g - 12, g = -0*p - 5*p + 11. Are z and g nonequal?
False
Suppose 0 = 5*s - n + 1, -3*s - 2 = -4*n + 2*n. Suppose -o + 3*f = 6, 4*o - 3 + 5 = f. Is s greater than o?
False
Suppose -3*l + 5*d - 10 = 0, 4*l - 5*d = -5 - 5. Let m = -0.6 - 0. Let o = m + 0.4. Which is bigger: l or o?
l
Let o be 68/18 - (-10)/45. Suppose -a + o*a = -3. Which is smaller: 2/31 or a?
a
Let w = -1 - -0.6. Let h = 0.2 + w. Let r be 0 - (-39)/(-9) - -4. Is h at least r?
True
Let t be (-3*3)/(-3) - -1. Let y be 10/t*(-14)/(-140). Is y smaller than -2?
False
Suppose 5*q - 3*q + 2 = 0. Let s be (6/(-6))/(q/10). Which is greater: 11 or s?
11
Suppose -u - 16 = -x - 2*x, -2*x + u = -9. Is x != 9?
True
Let v = -41/4 - -19/2. Which is smaller: -1 or v?
-1
Let w = 35 - 41. Is w <= 1?
True
Suppose -5*r + 30 = -5*k, 5*r + 10 - 34 = 3*k. Let w = 99/35 - -4/7. Does r = w?
False
Suppose -8*s + 17*s - 45 = 0. Which is bigger: 4 or s?
s
Let t(u) = u**3 - 7*u**2 - 7*u - 6. Let z(b) = -b**2 - 8*b - 7. Let n be z(-5). Let d be t(n). Is d at least 1?
True
Let u be 187/(-77) + 3/7. Suppose -5*g + 3*v - 7 = 3, -v - 10 = 5*g. Is g less than u?
False
Let o be (-8)/(-60) - 88/(-15). Which is smaller: 5 or o?
5
Let y = -27 - -59. Let m = y - 14. Which is smaller: 19 or m?
m
Suppose -2*l = 2*l - 8. Let g be (13/260)/(l/5). Which is bigger: 2/7 or g?
2/7
Let a(s) = -s**2 - 2*s + 2. Let o be a(1). Do 2/15 and o have the same value?
False
Let g = 0.5 - 0.2. Let k = g + -0.6. Let f = -0.5 - k. Which is bigger: -1 or f?
f
Suppose -3*o = 3*l - 78, -o = 3*o + 5*l - 106. Suppose -y + 6*y = -3*k - o, k - 2*y - 3 = 0. Let z = -3 - k. Which is smaller: z or -2?
-2
Let u(w) = w**2 - 5*w - 4. Suppose 2*x - 7 - 5 = 0. Let o be u(x). Let q be 1 + 4 - (-33)/(-7). Which is greater: q or o?
o
Let x be 3/((-1377)/(-12))*30/(-20). Are 2 and x equal?
False
Suppose 3*p - p = 2. Let l be (2 + (-8 - p))*-1. Suppose -l*r + 3*r = 0. Which is smaller: 1 or r?
r
Let i be (5/2)/((-9)/4). Let o = 228 - 228. Is o at most as big as i?
False
Suppose -5 = 2*p + 3*p - 4*r, -4*r = -2*p - 14. Suppose -5*b + 5*w + 2 - 12 = 0, 0 = p*b - 5*w + 10. Is b <= -2?
False
Suppose 70 - 16 = -3*j. Suppose 0 = -w + 13 - 5. Let q be (-3)/(j/w) + -1. Does q = 1/3?
True
Let r = -28 + 27. Is r greater than -3/17?
False
Let t(p) = 2*p. Let w be t(1). Suppose -8 = w*j, 3*j - 12 = -4*q + 4*j. Is 0.3 > q?
False
Let y be 4 + (170/(-25) - -4). Which is bigger: 0 or y?
y
Suppose 16 = 3*z + z, -3*u + 13 = z. Let a be 4 + 4/((-4)/3). Let d be a/u*-1*3. Which is smaller: d or 0?
d
Let c = -18 + 36. Which is smaller: c or 17?
17
Let o be 4/(-6) + 8/(-6). Let x = -1 + o. Let c = -6 + 4. Is x less than or equal to c?
True
Let z = -23.39 + 23. Let a = 0.09 + z. Which is smaller: a or -2/13?
a
Let w = -0.2 + 3.2. Which is bigger: 0 or w?
w
Let f be 1 + 1 + (-3)/1. Let h = f - -6. Let i be (-12)/(-15) - (-1)/h. Is i > 0?
True
Let v be 179 + (-9)/(-2 - -5). Let c be 3/(-3) + v/(-6). Let d = -446/15 - c. Is 0 < d?
True
Let k = 315 - 293.9. Let m = -21 + k. Which is smaller: m or 2/11?
m
Let l be 6/10 + (-4)/(-10). Let i be (-23)/((-1 + -2)/6). Let u = i - 231/5. Is u at most as big as l?
True
Let y = -0.7 - -0.6. Is y > -0.3?
True
Let f = -1 + 0.9. Let y = 6514/3 - 397384/183. Let j = -8/793 - y. Which is smaller: f or j?
f
Suppose 2*b = 3*r - 14, -4*r = r - 4*b - 24. Let g = r - 7. Let z be (-9)/(-4)*(-2)/3. Is z less than g?
False
Suppose 7 = f - 2*f + g, -3*g + 25 = -5*f. Let b = f - -1. Which is smaller: 2 or b?
b
Let l be 10/156*94/20. Let z = 2/39 - l. Suppose -2*u = -3*a + 11, a - 9 = -4*a + u. Which is greater: a or z?
a
Suppose b - 3*b + 52 = 0. Let n = -133/5 + b. Let d be 0*(-1 + (-1 - -3)). Which is bigger: d or n?
d
Suppose 2*h - 6 - 2 = 0. Let f = -4 + h. Suppose g + 1 = -3*l, -3*l - 4*g + 2 = -3. Are l and f equal?
False
Let j be (-8)/(-48)*(3 + -1). Let l(y) = -y - 2. Let s be l(0). Which is bigger: s or j?
j
Let f = 0.6 - 5.1. Let z = f - -1. Let b = 0.5 + z. Is b greater than or equal to 0.2?
False
Let t(b) = -b**3 - 2*b**2 + 2*b - 4. Let p be (2/6)/((-1)/9). Let w be t(p). Let h be -1 + (-2)/20 - w. Which is bigger: h or 0?
0
Let c be (36/(-10) - -2)/((-12)/30). Which is greater: c or 12?
12
Suppose -v + 21 = -2*v - 4*f, 0 = 5*f + 15. Is v at most -10?
False
Suppose 0*f + 20 = 5*f, -3*f = -3*m - 6. Suppose 0*c = -m*c - s + 1, c = -2*s - 4. Suppose 1 = -c*o - 5. Is o less than or equal to -3?
True
Let f = 17 + -15. Let p be (f + (-5)/2)*14. Is -4 != p?
True
Let n(y) = -y**2 - 6*y - 5. Let r be n(-4). Suppose r*l = -0*l - 3. Is -0.1 not equal to l?
True
Suppose -808 = 5*m - 803. Suppose 6*u = 3*u - 12. Let l be (-2)/(-16) + 1/u. Which is smaller: m or l?
m
Let x(d) = 4*d + 3. Let s be x(-1). Let f = -43/132 - -17/44. Which is greater: f or s?
f
Suppose 12*g - 2 = 11*g. Suppose 3*y = -3*f, y = -f - g*y - 6. Which is smaller: f or 0?
0
Let k be 4/(-1) + 180/40. Are -0.4 and k non-equal?
True
Suppose -4*x = 4*z + 12, 2*x + 2*x = 4*z + 4. Which is greater: -15/7 or z?
z
Let c = -1.1 - -0.1. Let b = 302/3 + -100. Is b less than or equal to c?
False
Suppose -2*k = k. Suppose -5*v - 10 = 3*h - 11, -h = 2*v. Which is bigger: k or h?
h
Let h(m) = -2*m + 13. Let a be h(6). Is a less than or equal to -3/46?
False
Let c be (-28)/(-8)*4/7. Let t be (15/(-25))/(c/10). Which is smaller: t or -4?
-4
Let i = 8 - 9. Let q be (1 + i - 0)*1. Suppose 4*l + q = -n - 6, 4*n - 2*l = -6. Is n > -3?
True
Suppose 138*k + 8 = 146*k.