(8). Is m > u?
False
Let l = 0.341 + 1.149. Let k = l + 103.51. Is k bigger than 0?
True
Let f(y) = 10*y**2 + 1. Let o be f(-1). Let d = o + -11. Let s be 3*-1 + 35/12. Is d at most s?
False
Let x be 6 + (-90)/10 + (305/35 - 6). Let g = -2.02 + 0.02. Let q = -4 - g. Which is greater: x or q?
x
Let l(v) = 7*v - 12. Let f(d) = -d. Let p(q) = 6*f(q) + l(q). Let t be p(17). Suppose j + t*c = -30, 10 - 80 = 5*j + 5*c. Is -11 greater than or equal to j?
False
Let o = -29 - -24.3. Let u = o - 3.3. Is u bigger than 1?
False
Suppose 225 = -5*x + 30. Let j = x + 79. Is j greater than 42?
False
Let j = 33 - 23. Suppose 146*u = 121*u + 100. Is u <= j?
True
Let w = 9/35 - 12/455. Which is greater: w or -9/5?
w
Let o = -50 + 114. Suppose -5*w + o = 39. Is 5 equal to w?
True
Let h = -7.5 + 48.4. Let a = h - 39. Let m = a + 1.1. Which is smaller: m or 2?
2
Let v be 0*(-1)/(-6) + 2*-31. Let o = v - -184/3. Which is greater: 0 or o?
0
Let b be (290/(-12))/(13 - (-150)/(-12)). Is b less than 0.1?
True
Let z be 6 + -2 - (8*-23 + 8). Is z bigger than 183?
False
Suppose u - 101 - 52 = -2*g, 4*u + 148 = 2*g. Suppose 3*f = -5*o + g, 4*f + 3*o - 105 = -0*o. Is f at least 27?
True
Let u(g) = 3*g**2 + 34*g + 17. Let a be u(-14). Which is smaller: 128 or a?
128
Let s = 45646/17 + -2686. Is s greater than or equal to 0?
False
Suppose -n = 4*q + 3*n + 196, 3*q + 5*n = -157. Let g = q + 39. Are -5 and g non-equal?
False
Let f = 73799 - 5682420/77. Let b = 10/11 - f. Let t(h) = -h. Let a be t(-1). Which is bigger: a or b?
a
Suppose 100 = -45*b + 65*b. Is 58 at most b?
False
Let m(x) = -x**2 - 9*x + 41. Let i(j) = -j + 7. Let r be i(19). Let s be m(r). Which is bigger: 33/7 or s?
s
Let a = -0.094 + 50.094. Let m = 5 - a. Which is greater: 1 or m?
1
Let n = 950/3 - 316. Is n at least as big as -39?
True
Suppose -26*l - 255 = 57. Which is smaller: 30 or l?
l
Suppose -3*x - 96 = 2*m, -9*x + 8*x + 5*m - 15 = 0. Which is smaller: -31 or x?
-31
Suppose -378 = -15*i + 22*i. Which is greater: -55 or i?
i
Let p be 0/(-3) - (-1 + 0). Let h = -58 - -64. Let t be -2*(-4)/14*21/h. Is p equal to t?
False
Let a = 177259 - 38287709/216. Let k = a + -9/8. Is 1 > k?
True
Let s = 34059.09 + -33677. Let i = 380 - s. Let n = 0.09 + i. Is -5 less than n?
True
Let i be ((-8)/(-144)*6)/(3/2763). Is i at most 306?
False
Suppose -3*f - f = -2*f. Let j be f + 12/(-6) + 4/1. Let a = 194 - 769/4. Is a < j?
True
Suppose -4*x + 6*x = 4. Suppose 3*n + 4*n = x*n. Which is bigger: 9/17 or n?
9/17
Let u = 12 + -13. Let q be ((-6)/45 - 0) + (-126)/3105. Is q <= u?
False
Suppose -3*n + 1073 = 5*q, 3*q - 638 = 4*n - 0*n. Let s = q - 1279/6. Is 2 < s?
False
Let m be 1/6*(-11 + -10). Let j = m + 219/62. Which is bigger: 1 or j?
1
Let b(k) = -153*k - 95. Let x be b(-5). Is 671 less than x?
False
Suppose t + 4*j = 5, 0 = -2*t + 2*j + 3*j - 55. Let k(f) = 3*f - 8*f - 15 + f**3 - 13*f - 2*f**2 - 5*f**2. Let s be k(9). Is t equal to s?
True
Suppose -2 = 2*n - 2*w, 1 = -n + 2*w - 1. Suppose 3*t - 15 = -n*t. Suppose 3*g - 10 = 2*g + 4*a, 0 = -t*a - 15. Do 2/7 and g have the same value?
False
Let y = 1604 - 1581. Which is greater: 21 or y?
y
Suppose -2 = u - 2*u. Let b = u - 1. Suppose -3 = -4*h + b. Do h and 1/14 have different values?
True
Let o be (-1)/(-4) + 13/(-4). Suppose -4*p - 1 = -3*r - 3, 0 = 5*p + 4*r - 18. Suppose 3*z + 10 = -p*z. Which is bigger: o or z?
z
Let v be ((-3)/42)/((-1)/(-346)). Let r = v - -25. Is 0 greater than or equal to r?
False
Suppose 4*a + 5*y - 80 = 152, -4*y = 0. Let h = a + -43. Which is smaller: 0.1 or h?
0.1
Let o(q) = q**2 - 16*q + 13. Let y be o(16). Let p(v) = 3*v**3 - 3*v**2 + v - 2. Let l be p(2). Are y and l equal?
False
Let n = -67205/6 - -11253. Which is smaller: 53 or n?
n
Let n = 1775/9 - 197. Suppose m + 8 = 7. Let f be (m/2)/1 + 3/2. Which is smaller: f or n?
n
Suppose k = 5*c - 29 + 3, 3*c - 16 = k. Suppose -2*v + 4*v = n + 16, 26 = 4*v - c*n. Let r be (3/v)/((-2)/6). Are -2/5 and r nonequal?
True
Let o = 23/6 + -109/30. Suppose 3*c + 2*l + 4 = 23, 0 = -3*c + l + 22. Let r(v) = -v + 7. Let j be r(c). Which is smaller: j or o?
j
Let o be 2 - 21/2 - -2. Let a be (-31)/(-5) - (-3)/(-15). Let n = o + a. Which is smaller: 1/2 or n?
n
Let b be 54/12*1/6. Let a = -317.1 + 317. Which is smaller: a or b?
a
Let p = 1847 + -1817. Which is greater: p or 14?
p
Let c(b) = b - 2. Let t(g) = g - 2. Let f(y) = 5*c(y) - 4*t(y). Let o be f(1). Which is smaller: o or 0?
o
Let d = -15 - 25. Let v = -39.73 - d. Does 0.1 = v?
False
Let k = 3503 - 620029/177. Which is bigger: -1 or k?
k
Let t be 4/18 + 80/45. Suppose 81 = d + t*d. Let c = 151 + -124. Is d greater than c?
False
Let h(m) = 59*m**3 + 5*m**2 - 4*m + 4. Let o be h(1). Is 64 greater than or equal to o?
True
Let t = -208987/99 - -2111. Which is smaller: 1 or t?
t
Let h be (-10)/(300/138) + 8. Suppose 3*a = -2 + 11. Which is bigger: a or h?
h
Suppose -6*l + 3*l + 22 = 5*u, 4*l = -4*u + 16. Are -6/29 and l nonequal?
True
Let b be (-2)/(196/(-462)) + (-2)/(-7). Suppose -2*o + 4 = 2*q, 3*q - 2*o = 21 - 0. Suppose q*k - 22 - 8 = 0. Which is smaller: k or b?
b
Let m = -186 + 222. Are 36 and m nonequal?
False
Let f(i) = 7*i + 260. Let w be f(-37). Which is smaller: -9/41 or w?
-9/41
Let u be 122/36*2 - (-4)/18. Suppose 6*p - u*p - 35 = 0. Is -36 smaller than p?
True
Let i = 4.2 - 4.04. Let j = 2.84 + i. Is j less than or equal to -2?
False
Suppose -5*k - 3841 = -59*s + 62*s, 0 = -2*s + 6. Is -769 > k?
True
Let g be (-14)/(-63) + (-10)/(-9). Let k be -2*4*3/(-6). Suppose 0 = -2*c + k*c. Which is smaller: c or g?
c
Let r be ((-12)/5)/4*13/3. Suppose 6 = -3*x - 3. Does x = r?
False
Suppose l = 5*m + 33, 0*m + 4*l - 6 = -m. Let i be 2/m*(-6)/8. Suppose 8*f = 44*f. Which is greater: i or f?
i
Let i be 1456/455*(-490)/4. Is -394 != i?
True
Suppose w - 14 = b + 53, -2*w = 2*b - 122. Is 63 at most w?
True
Let c = 0.004 - 2.904. Let v = c + 17.9. Let h = v + -15. Is -0.1 at least h?
False
Let p = -620 + 500. Is -121 at least p?
False
Suppose -4*u = -10 - 6. Suppose 0 = -s + 4*k + 4, k + u = 5*k. Let g(r) = r - 6. Let h be g(s). Which is smaller: h or 3?
h
Suppose -12*p - 497 = -1625. Let b = p + -51. Which is smaller: 44 or b?
b
Let b(k) = -k**3 - k**2 + 1. Let n be b(-2). Suppose 3 = 8*l - n*l. Is l at most as big as 3/4?
False
Suppose 42*z - 13 = 43*z. Suppose 27 = 3*m + 4*s, -5*m + 4*s + 0*s = -13. Suppose -5*w = -2*l - 0*w - 19, -m*l + 2*w - 58 = 0. Is l smaller than z?
False
Suppose 5*g = 15, -2*q - 16*g + 34 = -20*g. Which is smaller: q or -2/5?
-2/5
Let g = -1.18 - 2.82. Which is smaller: g or 2/9?
g
Let d = 35 + -33. Let y be d/12 - 2/12. Which is greater: -2/47 or y?
y
Suppose -7*v = -v + 174. Is -29 at most v?
True
Let g = -2.2 - -2. Let m = g - -0.4. Let b = -377 - -380. Is m >= b?
False
Let n(o) = -o**2 + o + 14. Let r be n(0). Suppose 0 = 4*z - 3*z - r. Let x be (30/(-35))/(2/z). Is -6 < x?
False
Let l = 140 + -48. Suppose -2*g - 71 = -3*t, 4*g = 3*t - 65 - l. Which is bigger: -42 or g?
-42
Let b = 0.548 + -0.348. Is b at most as big as 0.5?
True
Suppose 0 = 4*h - 2*z - 10, 3*h = h + 4*z + 2. Let x = h + -8. Let s be 69/(-18) + (-5)/30. Is x at least as big as s?
False
Let g = -2540863/329 - -7723. Which is smaller: -1 or g?
-1
Let f(a) = -17*a**3 - a**2 + 4*a - 2. Let y be f(1). Which is bigger: y or -2/11?
-2/11
Let g(m) = 5 - 6 - 2*m**2 + 5. Let y be g(2). Let i(h) = -h**3 + h**2 + h - 2. Let k be i(0). Is k at least y?
True
Let k(j) = -3*j - 5. Let c be k(0). Let z(r) = -r**3 - 4*r**2 - r - 7. Let w be z(-4). Is c <= w?
True
Let o = 54 + -65. Let k be (o/(-55))/((-4)/(-65)). Is k greater than or equal to 3?
True
Suppose -c = -2*c. Suppose 8 = -10*n - 2. Which is smaller: c or n?
n
Suppose -3*v + w + 16 = -v, 2*w - 4 = -2*v. Suppose 6 = v*b + 138. Is b at least as big as -21?
False
Suppose 9*d = 4*d. Let o(v) = -12*v**2 - 3*v + 3. Let s be o(2). Let q = s - -405/8. Are d and q non-equal?
True
Let n(q) = q**3 + 3*q + 1. Let p be n(-2). Let s = p - -11. Let c be (s/4)/(2/(-8)). Which is greater: c or 0?
c
Suppose 4*h + 17*z - 15*z + 36 = 0, -3*h = -z + 37. Suppose -4*x + 2*i - 5*i = -107, -8 = -x + 3*i. Let k = -33 + x. Is h > k?
False
Suppose 12*v - 115 - 173 = 0. Which is greater: v or 29?
29
Suppose 35 = -5*k - 0. Let q be 2/k - (