
Let k(y) = y**2 - 13*y + 6. Let n be k(11). Let i = 20 + n. Suppose -i*u + 0 - 4 = 0. Is 4/5 less than u?
False
Suppose 0 = 17*o - 7*o - 20. Suppose 2*u - 152 = -3*p + 159, o*p - 214 = 2*u. Let w = p + -736/7. Which is greater: 7/3 or w?
7/3
Suppose 3*n = 5*y + 20, 7*n + 5*y + 15 = 9*n. Suppose -n*b - 214 + 239 = 0. Suppose z - 5*d = 29, -z - 7 = 5*d + 14. Which is bigger: z or b?
b
Suppose 0 = -2*j - 1 - 3. Let p = j + -2. Suppose 0 = -5*y + 5, 4*i - y - 4 = 3. Is p at most i?
True
Let x(k) be the second derivative of -3*k**3/2 - 61*k**2/2 - 7*k. Let b be x(-19). Which is bigger: 0.1 or b?
b
Suppose 0 = 4*s - 3*k - 11, 5*k + 14 - 29 = 0. Suppose 0 = -2*w + s*w + 129. Is w greater than -43?
False
Let o = -25141/17 + 1477. Which is smaller: -2 or o?
-2
Suppose 218*k = 213*k - 5*q + 25, 3*q - 15 = 2*k. Are k and -1290/11 non-equal?
True
Let h(u) = u - 6. Let j be h(6). Suppose j = -i - 4*i. Let s = -2866 + 2868. Which is smaller: i or s?
i
Let h be -75*14/(1120/(-208)). Suppose 3*m + 12 = 33. Suppose 4*y - m*y + h = 0. Is y > 65?
False
Let z(i) = -18*i**2 + 25*i - 120. Let p be z(9). Let o = p - -323364/239. Which is smaller: 1 or o?
o
Let j be (-32 + 0 - 2)*-3 + -1. Let u = 105 - j. Let h be 1/((35/(-2))/(-5) - u). Is h <= 5?
True
Let h = -72.0474 - -72.1. Let q = 222.0526 - h. Is 0 at most as big as q?
True
Suppose -82 = 5*n - 2*s - 527, 4*n - 4*s - 344 = 0. Let v = n - 162. Let i = v + 74. Which is greater: 24/11 or i?
i
Let t = 1350130/47 + -28728. Which is bigger: t or -2?
t
Suppose -126 = 5*w - 3*b, 5*w - 4*b - 51 = -174. Let d = 109/4 + w. Which is greater: d or 38?
38
Let j(x) = x**3 - 6*x**2 - 57*x - 10. Let q be j(-5). Is q greater than -3/86?
True
Let u(f) = f**2 - 17*f + 24. Let o = -96 - -150. Let y = -41 + o. Let s be u(y). Which is smaller: -29 or s?
-29
Let o(y) = y**2 + y - 8. Let u be o(-9). Suppose 46 = 5*c - u. Let q = 2 - 2. Which is smaller: c or q?
q
Suppose -3*f + t = 3*t + 321, 0 = f + 2*t + 111. Let d = 62 + f. Let z(b) = -2*b**3 + 5*b**2 + b + 1. Let g be z(4). Is g >= d?
True
Let u(c) = 8*c + 9. Let d(m) = -17*m - 17. Let o(q) = 6*d(q) + 13*u(q). Let a be o(9). Suppose a = -6*t - 9. Is -9 < t?
True
Let x be (117/(-156)*7/(-9))/(15/(-96)). Which is smaller: -5 or x?
-5
Let j = -29 + 30. Let k be 5 - 3 - j - 48. Is -47 equal to k?
True
Let m(o) = -o**2 + 10*o - 14. Let q be m(3). Let r(t) = -3*t - 132. Let z be r(-46). Is z at least as big as q?
False
Let m = 3/5806 + -255635/330942. Which is bigger: m or 0?
0
Let o be (-2)/(-4) - (-515)/(-30) - -1. Let u(y) = 80*y - 815. Let c be u(10). Which is smaller: o or c?
o
Let x = 0.194 + -0.054. Let a = 0.04 - x. Which is bigger: -29 or a?
a
Suppose 0 = m + 3*q + 3197, -8*m + 3*m - 15985 = 4*q. Let k = m + 60783/19. Is 3 at most k?
False
Let u be ((-936)/2028)/((-2)/23582). Is u > 5442?
False
Let o(g) = -g**2 - g + 6. Suppose 4*d = 4*f + 56, -2*d - 9 + 40 = -5*f. Suppose 21 = -d*v + 6*v. Let c be o(v). Which is smaller: c or -5?
-5
Let c = -1/21308 - -2971135/15981. Let t = -186 + c. Are t and 0 unequal?
True
Let q = -75 + 61. Let k = 44 - q. Let g = k + -58.3. Are g and 10 non-equal?
True
Let s = 40.7 - -133.9. Let b = 176 - s. Which is smaller: b or 0.3?
0.3
Let w be (-3)/6*(3 - 1). Let j be (-134 - -2)*3*(-4)/36. Let o be -9*4/j + (-10)/(-55). Is o greater than w?
True
Let t = -25 - -25.56. Let h = t + 22.44. Let c = h + -15. Which is smaller: 2 or c?
2
Suppose 5*y = 109 + 46. Suppose -6*p = p + 434. Let i be (p/(-6))/(28/84). Do y and i have the same value?
True
Suppose -675756 = 28*z + 19*z - 20*z. Which is bigger: z or -25029?
z
Let g be (-2 - (-16)/6)/((-4)/(-150)). Let v = -37 + g. Let n = 1/439 + -10977/878. Which is smaller: v or n?
n
Let l = -81 + 85. Let d = -136 + 117. Does d = l?
False
Let m = 15 + -15. Let t = 6 + -51. Let y be t/261*(-1)/5. Which is bigger: y or m?
y
Let d = -1437/4 - -360. Which is smaller: 59 or d?
d
Let o = 1172.8 - 217. Let j = o + -956. Do 30/31 and j have the same value?
False
Let d be (-6)/9 - (-1286)/(-6). Let j = d + 216. Are 3.81 and j unequal?
True
Let i = 43 - 47. Let s be i - (-98)/13 - 4. Which is bigger: s or 1?
1
Let g be 1*4*(-3)/(-4). Suppose 4*v + k = 572, -g*v = v - k - 580. Let p be v/(-76) - (-4)/2. Is 1 less than p?
False
Suppose 0 = -25*g + 907 + 909 - 1816. Is -12/157 equal to g?
False
Let z(o) = -6*o. Let i be z(-2). Let y = -41 - -53. Is i equal to y?
True
Let t = -55.17 - -57. Let r = -1.89 + t. Do r and 34 have different values?
True
Let p = -32237 - -32162. Which is greater: p or -6?
-6
Let v = 48.4 - -0.6. Is v > 1?
True
Suppose -8*v = -3*v - 120. Suppose 0 = 23*m + 181 - 641. Which is bigger: m or v?
v
Let r be 48/84 + (-524)/(-14). Suppose -41*k = -r*k + 177. Which is greater: k or -60?
k
Let f = 1515/7 + -90966/427. Is f >= 2?
True
Suppose -3*j + 713 = 2*s + 153, -4*j = -5*s - 785. Let z be 5/4*(-4)/j. Suppose 4*u = 5*v - 16, v - 11 = -4*u - 3. Is u at least z?
True
Let t be -123 + (-972)/(-27) - -1*13. Which is greater: 27 or t?
27
Let f be (4428/126)/41 - (-64)/(-91). Let z = 6 - 5.6. Let y = z - 0.3. Is f smaller than y?
False
Suppose 0 = -z - 3*z + 3*c + 1947, -4*c - 2435 = -5*z. Suppose 0 = 5*n - u - z + 1238, 4*n = 4*u - 620. Let a be ((-2)/55)/((-10)/n). Is a smaller than -5?
False
Suppose 0 = -1842*p + 55450 + 36727 + 16501. Let l = -79 - -137. Is p smaller than l?
False
Let g = 46.92 - 47. Let o = -0.43 + 0.59. Let w = o + -0.16. Is w > g?
True
Let w = 373 - 373.1. Let f be (-4)/8 + 14/(-4). Let m be 2/f*(0 - -10). Which is smaller: w or m?
m
Let d = 70187 + -98646. Which is smaller: 1/4 or d?
d
Let c = -7416 - -5306. Is c <= -2111?
False
Suppose 5*m = -15, -t + 10 = -2*m - 15. Let s(q) = q**2 - 21*q + 37. Let l be s(t). Which is greater: -6/103 or l?
-6/103
Let j = 189 + -204. Let y = -50 - -84. Suppose g + g + y = 0. Are g and j unequal?
True
Let o = -149.7 - -149. Let v = 16 + -16.7. Let s = v - o. Is 17/3 < s?
False
Let f = 101.4817 + 0.0183. Let c = f + -103. Is c <= 4/3?
True
Let l = -11 - -10.97. Let w = -437 + 321. Let p = w + 113. Which is smaller: p or l?
p
Let k be (2/65)/((-4)/(-20)). Let d be 230/2 - 1*-4. Suppose 0 = -6*o + 125 - d. Which is smaller: k or o?
k
Let d(n) = 12*n**2 - 11*n + 114. Let i be d(7). Which is bigger: 626 or i?
626
Let q = -4.34 - 16.56. Let y = q - -20. Let f = -3.7465 + 5.7465. Which is greater: f or y?
f
Suppose 0 = 415*q + 51 - 51. Let o be (-25)/(-24)*2/(-5). Which is smaller: o or q?
o
Let j = -0.05598 + -78.94402. Which is smaller: j or 1.7?
j
Let j = 1469 - 1544.6. Is 1/4 greater than j?
True
Let g = -1.4918 + -20.5082. Is g less than or equal to -332/5?
False
Suppose 52*s = 41*s + 4136. Let g = s - 431. Which is bigger: -50 or g?
-50
Let v = -381727/3 - -129813. Which is greater: v or 2570?
v
Suppose -12*u + 117900 = 22*u + 16*u. Is u greater than or equal to 4713/2?
True
Let h be 15/132*13260/150. Does 10 = h?
False
Let g(h) = -75*h + 8. Let u be g(-2). Suppose u = 5*q - 57. Is 44 less than or equal to q?
False
Let r(n) = -n**2 - 15*n + 2. Let p be r(-4). Suppose 7*c + 18 - p = 0. Let g be (-118)/4 - (c - -1 - 2). Which is greater: -32 or g?
-32
Let o(f) be the second derivative of -7*f**3/6 - 37*f**2/2 + 2*f + 74. Let k be o(11). Which is smaller: k or -116?
-116
Let m be ((-6)/414*2)/((-8)/18). Let j = -0.853 + 0.753. Is m at least as big as j?
True
Let s = -126 + 132. Let y = -6.2 + s. Which is smaller: -17 or y?
-17
Let y = -25208 + 25188. Let v = 0 + -0.2. Which is greater: v or y?
v
Let d(w) = 26*w + 70. Let c be d(-2). Suppose -12*v + c*v = 84. Is v greater than 1/4?
True
Let z = 498 - 499. Let j be (2611/525 - 5)/(z/(-3)). Which is smaller: -2/7 or j?
-2/7
Suppose -4*k + 0*k = -4*v - 56, 53 = 4*k - v. Let b be 10/65 - 2/k. Is 1/50 bigger than b?
True
Suppose 0 = -2*j - 2*x + 44, -10*j - 10*x + 6*x = -172. Let y = -22 - -38. Which is smaller: y or j?
j
Suppose -100*p + 99*p - 4*b + 22 = 0, -5*b = 2*p - 32. Suppose -d + p = 5*d. Let q(x) = -x**3 - x + 1. Let h be q(1). Is h greater than or equal to d?
False
Let h(w) = 2*w**3 - 10*w**2 + w + 22. Let r be h(4). Let c be (-8)/(-4) - 11/7. Which is smaller: c or r?
r
Let f(a) = -a**2 + 17*a - 23. Suppose h - 27 = 5*j, 5 = 2*h + 2*j - 13. Let b be f(h). Let n = 99 + -63. Are n and b nonequal?
True
S