10. Which is smaller: 8 or n?
n
Suppose 10 = -2*v, -2 = -4*w - 2*v + 8. Suppose -2*j = w*j. Is -2/33 < j?
True
Let m = 1252/165 - 384/55. Is m greater than 1?
False
Let i = 1506 + -1494. Suppose -5 = -a + 1. Is i at most a?
False
Suppose 3*p + 5*j - 48 = 0, -2*p + 2*j = 6*j - 30. Let r(l) = -l**2 - 9*l - 8. Let g be r(-7). Let h be g*(2 + (-38)/p). Which is smaller: -1/4 or h?
-1/4
Let z = 973 + -960. Which is bigger: z or -1?
z
Let b = 10.8 - 1.8. Let v = 18.45 - 1.45. Let x = b - v. Which is greater: x or -2?
-2
Let c = -1953 - -25404/13. Let p be ((-32)/(-4) - 9)*-1. Which is smaller: p or c?
p
Let d = -125/3 - -41. Let o be -3 + (-2)/(-3) - -1. Is o smaller than d?
True
Let f = 26 - 27. Which is smaller: -42/25 or f?
-42/25
Let h(q) be the first derivative of q**3/3 - 13*q**2/2 - 13*q + 7. Let l be h(14). Which is smaller: 3 or l?
l
Let u be 48/18*3/5. Let y = -67 - -66. Which is smaller: u or y?
y
Let d be 13 - 4/(-8)*-6. Suppose 0 = 2*w - 3*h - 4 - 6, 2*w + 5*h = d. Suppose -2 = w*c - 17. Which is smaller: 1 or c?
1
Suppose 2*l = 5*l - 3. Let p = -0.2 - 5.8. Let r = p - -5. Is r at least l?
False
Suppose -4*b = 4*g + 720, -4*b + 11 = 3. Let y be -7 + 10 - g/(-61). Is -1 < y?
True
Let c(h) = -h**2 - h + 4. Suppose -3*s - 21 = 3*u, -5*s - 32 = -s + 5*u. Let z be c(s). Let t be -5*(-14)/(-105)*(-6)/(-4). Which is smaller: z or t?
z
Let k be (6/4 - 1) + 86/4. Suppose 20 - k = 2*n. Which is smaller: -2/155 or n?
n
Let v be (0 - 4/(-8))*4. Let f be v - -16*4/(-40). Let n = -3 - -4. Is f at most n?
True
Suppose j - 5*u = 193, -5*j - 7*u + 1100 = -5*u. Which is smaller: 217 or j?
217
Suppose -20 = -i - 3*i. Suppose 0 = i*x + 25 + 55. Which is greater: -31/2 or x?
-31/2
Suppose -26 + 1 = 5*y. Let s be (-1)/(-1) - (714/118 + y). Are 1 and s nonequal?
True
Let j = 11460 - 79854/7. Is j greater than or equal to 52?
True
Suppose -n + 0*n = 3*i - 62, -56 = -3*i + 2*n. Suppose 68 - i = -3*y. Let v be 2/((4 + 0)/(-32)). Is v greater than or equal to y?
True
Let h = -9094 + 3255649/358. Which is bigger: 1 or h?
1
Let x = 522316/5 + -104799. Suppose 0*f = -2*f + 674. Let z = f + x. Which is greater: 1 or z?
z
Let a(l) be the third derivative of -53*l**4/24 + l**3/3 - 7*l**2. Let w be a(1). Let i = -35 - w. Does i = 17?
False
Suppose 4*x = -4*v - 364, 352 = -4*v - 2*x + x. Let r be -7 + 2 + (-450)/v. Which is smaller: r or 0?
0
Suppose -4*o + 4*b - 9 = 15, 0 = 3*o - 5*b + 28. Let a be (5/190)/o*-24. Are a and 1 nonequal?
True
Let t = -1784 - -1784. Let s = -2/29 + 64/87. Is t greater than or equal to s?
False
Suppose 2*q + 4 = 0, 4*q = -2*a + 9*q - 644. Which is smaller: a or -326?
a
Let h be 6/(-24)*-313*(17 + -13). Which is greater: 312 or h?
h
Let l = -92.91 - -94. Let k = -0.03 - 0.06. Let h = k + l. Are h and -2/13 unequal?
True
Let q be (-4)/98 - -3 - 3. Let z = q - -157/245. Suppose u - u - 4*u = 0. Which is smaller: u or z?
u
Let u = 23 + -27. Let o = -5 - u. Which is greater: 7 or o?
7
Let p = -4 + 4. Suppose p = -4*x - x + 20. Suppose -16 = -2*v + 3*u, 0*u + x*u + 47 = 5*v. Which is bigger: v or 9?
v
Let i = -4307/31 + 139. Let t = i - 163/124. Are t and -2 unequal?
True
Let a = 3309/455 - 99/13. Let t = a + 274/595. Suppose 0*c - 3*p + 17 = 5*c, 2*c = -4*p + 18. Which is smaller: c or t?
t
Let i be 8/(-12)*(-57)/(-2). Let g(b) = 3*b + 2. Let k be g(7). Let r = i + k. Which is smaller: -1 or r?
-1
Let t be (-4090)/(-400) + 12/32. Are t and 12 equal?
False
Let g = 22 + -48. Let f = g + 21. Let o = 8 - f. Is o greater than or equal to 14?
False
Let p(a) = -2*a - 7. Let u be p(-4). Let x be 24/(3 - u) + 0. Which is smaller: x or 13?
x
Let o = -363 + 354. Are 3 and o equal?
False
Suppose 102 = 12*j - 258. Let k be ((-1)/(-5))/(36/j). Is -1/14 at most as big as k?
True
Suppose 935 + 1171 = -3*g. Do g and -702 have the same value?
True
Suppose -2*s + 3*l = 5, 0 = -3*s + 2*s + 4*l - 10. Suppose 5*c + 18 = z - s, -25 = 2*c + 3*z. Is c < -2?
True
Let t(o) = -o**3 - 4*o**2 - 3*o - 7. Let b be t(-4). Let h be -2 - -4 - (-10)/b. Suppose 16 - 8 = -h*f. Which is bigger: -5/9 or f?
-5/9
Let i be (1/((-3)/(-3 + -1398)))/(-4). Let g = -117 - i. Is -0.052 less than g?
False
Suppose b + 0*u + 16 = -4*u, 3*b - 4*u - 16 = 0. Is -4/45 >= b?
False
Suppose -w - 4*l - 55 = 0, 174 = -62*w + 59*w - 3*l. Which is greater: -61 or w?
w
Let p = 177 + -174. Is p greater than or equal to 3?
True
Let t = -5/128 - -387/13184. Which is smaller: t or -1/3?
-1/3
Suppose 7*y - 3*y + 12 = 0. Which is smaller: 2 or y?
y
Let q = -4000/29 + 138. Do -1 and q have the same value?
False
Let g = -6 + 5. Let d = 125/159 - -76535/1749. Let i = 44 - d. Is i not equal to g?
True
Suppose 4949 = -6*r - 1711. Let o = -7809/7 - r. Which is bigger: -7 or o?
o
Let j = -0.06 + 1.46. Let u = j - -0.6. Let o = -1.007 - -0.207. Which is smaller: o or u?
o
Suppose -62 = -9*s - 26. Suppose w + 3*f - 14 = 0, 0 = -s*w + 3*f - 7 + 3. Which is greater: -8 or w?
w
Let y be -1 + (2510/1376 - 0) + -1. Let b = y + -1/86. Which is greater: 0 or b?
0
Suppose 0 = 2*x - m - 49, x - 5*m = -2*x + 77. Let i be (-1)/(-3) - (-5)/(30/28). Suppose n = -5*w + 43, -i*n - w + 111 = -2*w. Which is greater: n or x?
x
Let g be (-34)/(-8) - 1/4. Suppose -g - 26 = -3*h. Let f be (-2)/h - 68/260. Which is greater: 1 or f?
1
Let m = -15 + 16. Let k be -2 + (m + 0 - -1). Let i = -9 - -6. Which is greater: k or i?
k
Let r = 39 + -39.018. Let m = r + -0.082. Is m <= -19?
False
Let x = 25/2 - 12. Let z be (-6)/12*(7 - 7). Is x at most z?
False
Let k = 4.36 + -6.56. Which is smaller: k or -1/6?
k
Let s be (64/(-15))/(2/(-6)). Suppose -202 = -14*x - 6. Which is smaller: x or s?
s
Suppose 22*u - 48 = 16*u. Suppose 0 = -4*n - 4*o - 4, 0 = 2*n - 5*o - u - 11. Is n less than or equal to 22/9?
True
Let m(k) = -k**2 + k. Let v be m(-3). Let g be ((-2)/(8/v) - 2) + -2. Is 0 less than g?
False
Let i = -0.3 + 0.25. Let z = 0.001 - 0.781. Let r = z - 0.22. Which is smaller: r or i?
r
Let h(u) = -4*u - 4. Let q be h(-3). Let i = q - 9. Which is bigger: i or -2/161?
-2/161
Let z(y) = y**2 - 17*y + 23. Let m be z(15). Is m > -49/8?
False
Let u = -120 + 99. Let i be 2 - (-28)/u - 8/30. Which is greater: -33/5 or i?
i
Suppose 0 = -9*w + 492 + 1200. Is w <= 189?
True
Suppose -5 = 3*m + w + 7, -5*w = m - 10. Let t be 1/1 + (m - 7/(-1)). Is t bigger than 3?
False
Suppose 5*b - 2*b + 73 = t, 0 = -t + 1. Let s = -23 - b. Does s = 1?
True
Let b = 39 + -26.1. Let j = -15.9 + b. Which is bigger: j or 14/3?
14/3
Let j = -33.9 - -34. Which is bigger: 294 or j?
294
Let g(s) = -46*s + 231. Let o be g(5). Are -1/50 and o nonequal?
True
Let f(n) = 6*n**2 + 53*n - 3. Let v(y) = 2*y**2 + 18*y - 1. Let s(m) = -4*f(m) + 11*v(m). Let i be s(-7). Let k be -3 + (-2)/(1 + i). Is k > -13/5?
False
Let c be (-60)/330 - 1*(-4)/22. Let r = 267 - 2934/11. Is r at least as big as c?
True
Suppose 10 = -7*q - 4. Let a(c) = -c**3 - 8*c**2 + 10*c - 3. Let i be a(-9). Let g be 27/(-20) + (-9)/i. Is g > q?
True
Suppose -2*j - 6 = 0, -i + j - 13 = -5*i. Is i less than 2?
False
Let j be 4/7*6/12. Let c = 104 + -105. Which is bigger: c or j?
j
Let m = 8.4 - 8. Suppose 4*r = 4*g - 40, 3*g - 15 = -0*g. Which is smaller: m or r?
r
Suppose -3*q = 4*z + 130, -q - 32 = 2*z + 8. Is q at most -47?
True
Let o = 4041/2771 - -290097031/124695. Let a = o + -2328. Is a <= -0.1?
False
Let z = 0.831 + -0.402. Is 0 bigger than z?
False
Let f = 294 + -294.1. Let k = -3.97 - -0.27. Which is bigger: k or f?
f
Let p be -1*1 - (-40)/52. Let v = 0 - 10. Let n be (-5)/v*-2 + 0/2. Which is smaller: n or p?
n
Let f = 17 + -37. Let a = f + 23. Suppose 0 = o + 3*c - 7 - 22, 0 = -2*o - a*c + 49. Is 20 != o?
False
Suppose k - 139 = -43*j + 48*j, -2*k = 3*j + 73. Is j >= -23?
False
Let v = 2 - 4. Let u = 35 + -37.4. Let f = u - v. Are 1/2 and f nonequal?
True
Let o = 1180/17 + -55273/799. Is o less than -1?
False
Let u = 702 - 1498. Is -796 < u?
False
Suppose 0 = 5*r - 0*c - 2*c + 81, 2*c = -2*r - 24. Is -15 at least as big as r?
True
Suppose 4*c + 2 = 2*c, -2*c = 3*w - 103. Are w and 39 unequal?
True
Let h = -14 + 34. Let s be ((-4)/(-3))/((-12)/(-36)). Suppose s*i + h = 2*i. Is -11 smaller than i?
True
Let i(r) = r**2 - 9*r + 3. Let m be i(9). Suppose -6*z - f = -z + 14, -m*z = 3*f + 6. Which is greater: -7/2 or z?
z