 (-276)/(q/(-6) - (-18)/36). Which is bigger: u or 415?
415
Let s = 134 - 19. Let g = s - 103. Let p be (g/(-1368))/((-4)/(-6)). Which is greater: p or 1?
1
Let d = 43005 + -125857/3. Is d <= 1052?
False
Let d = -9.2 + 8. Let t = d - -0.94. Let x = 0.14 - t. Which is smaller: x or -20?
-20
Let g(c) = 44*c - 199. Let n be g(5). Suppose -100 = -n*l + 41*l. Which is bigger: l or -1.3?
-1.3
Suppose -11*r = -10*r - 3. Suppose 0 = -2*g + 3*g - 4, 3*p - r*g - 6 = 0. Let y be 3/(-24)*p/(-15). Which is greater: -1 or y?
y
Let w be 24/(5/(-15)*(-6)/34). Let b be (w/(-170))/(0 - (-107)/(-5)). Is b at least as big as 0?
True
Let z be 60/24*216/2415. Which is smaller: -1 or z?
-1
Let n(q) = 2046*q + 1023. Let k be n(-8). Is -15345 equal to k?
True
Let a = 548 - 546. Suppose 5*z + 14 = 3*x - 11, 5*z = -a*x. Which is greater: z or -4/5?
-4/5
Suppose 148 = 3*p + 34. Suppose -p = 7*b - 10. Which is greater: b or -1?
-1
Suppose 2*f - 4591 = -10*f + 485. Is 2543/6 > f?
True
Let p = 9/1823 - 1434764/12761. Is p greater than -113?
True
Let s = 525/479 - 586507/7185. Let x = -280/3 - s. Which is greater: x or -14?
x
Let r = -13629 + 13735. Is r at least 106?
True
Let c = 138 + -143. Let s be 13/(260/8)*c/(-117). Let m = 3 - 2. Which is bigger: s or m?
m
Let y be (-4)/(-18) + 156/(-945). Let o = 28618 - 28617. Are y and o non-equal?
True
Let b = 140 + -140.7. Let j = 1.09 + b. Is -1/4 >= j?
False
Let h = -463 - 549. Is h equal to 0.3?
False
Let t = -1762.8 + 1505.8. Is -24 smaller than t?
False
Let g(n) = -2*n**2 - 211*n + 540. Let p be g(-108). Does p = 48/325?
False
Let m be 3*1*(-35)/(-3). Suppose -51*c + 8076 - 6546 = 0. Which is smaller: c or m?
c
Suppose 0 = f - 5*t + 53, -6*f = -f - t + 217. Let v = f + 130/3. Let y = 17 + -17. Which is bigger: y or v?
v
Let b = 15378 + -15373.4. Is b not equal to 0.7?
True
Let m = 1016 - 1017. Which is greater: m or 0.0179?
0.0179
Let n = -10359 + 12325. Is n < -1?
False
Let w(b) = 116*b - 236. Let t be w(-28). Let u = t + 34793/10. Which is smaller: -6 or u?
-6
Let k = 22 - 24. Let u be 8/(400/(-3730)) - k/(-5). Is -76 bigger than u?
False
Suppose 8*w + 43*w + 50 = w. Which is greater: w or -12/4837?
-12/4837
Suppose y = 3 - 0. Suppose -t - 2*t + 13 = -4*f, t = -y*f - 13. Let h = -7/54 + 5/27. Which is smaller: h or t?
t
Let d be (1/4)/((-5)/(-20)). Suppose -4*j - 8 = 7*u - 6*u, -5*u = -2*j - 26. Let m be (-4 + 1 + u)*(0 - d). Which is greater: -9 or m?
m
Suppose -25*p - 8*p = -1056. Suppose -3*x + 9 = -j, x - 5*x + p = -3*j. Which is greater: j or 4?
4
Suppose 0 = 749*x - 91*x - 1176504. Do x and 1790 have the same value?
False
Let x = -55 - -53.8. Suppose -4*w + 4*l = -17 - 3, -4*l - 5 = w. Suppose 1 = -v + w*t - 2, -2*t = -2. Which is smaller: v or x?
x
Suppose 0*g + 102 = 3*g. Let k be 609/42*(1 - 3/(-5 + 2)). Which is bigger: k or g?
g
Suppose 0*b = b + 2. Let w(f) = 38*f**2 + 190*f - 189. Let p be w(1). Is b > p?
False
Let m = 864258/131 + -6599. Is -1 > m?
True
Let q = -182 - -220. Suppose q = -j + 149. Which is greater: 113 or j?
113
Let n = -495 - -587. Suppose 158 = 3*u + n. Is 22 at least u?
True
Let l(k) be the second derivative of k**4/12 + 8*k**3/3 - 49*k**2/2 + 99*k. Let o be l(-16). Let j be -2 + 3 - (-6)/(-4). Which is smaller: o or j?
o
Let x(q) = 2*q**3 + 13*q**2 + 43*q + 52. Let r be x(-9). Is -743 at most as big as r?
True
Let i = 686/5 + -5654/45. Let j = i + -1252/99. Let t = -3144/11 + 286. Does j = t?
False
Let v be 28/15 + -2 + (-304)/(-30). Let j be (-8067)/130 + v/65. Let s = 62 + j. Which is bigger: s or 0?
s
Let v = 506290511977/48682 + -10399953. Let d = v - 3/964. Which is smaller: 0 or d?
d
Suppose 8767 + 16073 = 138*z. Which is smaller: 191 or z?
z
Let c = -3268 - -1830. Which is smaller: c or -1439?
-1439
Let t = -26234/53 - -495. Let r = -11 - -13. Let j = r - 1. Are t and j unequal?
True
Let p = -16.109 + 15.939. Are p and -11/2 equal?
False
Let r be (1 - -22) + -3 + 0. Suppose -3*x + 7*x = r. Suppose -5*t + 3*t = -x*n, t = -3*n. Which is smaller: t or -3/8?
-3/8
Let a = 761/80535 + 1/1239. Let c be 5/(-100)*(-138)/39. Let q = a - c. Which is smaller: q or -1?
-1
Let t = 0.091 - 105.091. Let a = -172 - t. Let r = a - -66.9. Which is smaller: r or 5/4?
r
Let y(d) be the third derivative of -d**4/24 + d**3 - 15*d**2. Let x be y(3). Suppose 14 = -2*o + 4*j - 2*j, -o - 4*j + x = 0. Is o greater than -4?
False
Let k = -453/35 + -226/35. Suppose q - 4*v - 18 = 3*q, -3*v = 5*q + 80. Are q and k equal?
False
Let w = -666.8 - -670.8. Do -920/7 and w have different values?
True
Suppose -m + 2*o = 3*o, 0 = 4*m - 2*o. Let j(p) = -p**3 + 7*p**2 + 9*p - 11. Let g be j(6). Suppose g - 66 = -13*w. Is m at least as big as w?
True
Let f = -0.0425 - 280.9575. Let p = -283 - f. Is 0.3 greater than p?
True
Let t = -44650022/1435 + 31115. Let d = t - 99027/5740. Is -17 equal to d?
False
Let b = -200.916 - -201. Let h = 121.916 + b. Which is smaller: 0 or h?
0
Let z(g) = -g**3 - 3*g**2 + 13*g + 10. Let b be z(-5). Suppose 0 = -5*r + 4*t, -3*r = 8*t - 12*t. Are r and b non-equal?
True
Let q(i) = 2*i - 6. Let h be q(6). Let s = h - 4. Suppose -1538 + 5902 = 2313*b - 4888. Is s at most b?
True
Let l = -98.6 - -99. Let k(n) = 5 + 3*n - 2 + 6*n**2 - 5*n**2. Let s be k(-2). Is l <= s?
True
Let y(w) = w**2 + 11*w. Let d be y(-11). Suppose 5*t - 4*k = 4259 - 195, -4*t - 3*k + 3276 = d. Let q be (1/(-4))/((-228)/t) - 1. Which is smaller: q or -1?
-1
Let o be -1 - 1 - (-2 + 1). Let q be (2*-1)/o - (-100)/(-40). Is 4/13 <= q?
False
Let h be (273930/(-105))/(24/(-21)) + 10/8. Is h bigger than 2283?
True
Let t be 5554/2228*7/(-182). Let u = t - 2/7241. Which is smaller: u or 0?
u
Let i = -208 + 278. Suppose 98*v = 108*v + i. Let s = -1809 + 16231/9. Is v at least as big as s?
False
Let b = 355 + -220. Suppose -141 = -6*d - b. Let q = 57027/64 + -891. Is d > q?
True
Let u = -176 - -149. Let h = -16 - u. Is 7 <= h?
True
Let p be (-35)/14 - -3 - (-54)/4. Suppose p*w - 621 = 41*w. Is -23 less than or equal to w?
True
Let a = -0.0237 + 27.1237. Let m = 24.1 - a. Is -0.05 at least as big as m?
True
Suppose 0 = -11*f + 6*f + 80. Let q = f + -25. Suppose -4*z + 9*z - 3*r + 31 = 0, -r + 2 = 0. Which is smaller: q or z?
q
Suppose -78*m = 47923 - 18751. Suppose -2*j - 106 = 644. Is m less than j?
False
Suppose 26*p + 0 - 78 = 0. Suppose 0 = p*u, -6*i = -3*i + 3*u - 84. Is i < 28?
False
Suppose -2*k + 290 - 192 = 0. Suppose -k*g - 9*g = -12876. Is 221 bigger than g?
False
Let a be 1053/(-6) - 1/(-2). Let u = -450921/2 + 225287. Is u <= a?
False
Let z = 22861 - 91445/4. Which is smaller: -4921 or z?
-4921
Let a = -49876/59135553 - -3/285679. Which is smaller: a or 1?
a
Let x = 40 + -306. Let o = x + 264. Which is smaller: 12/31 or o?
o
Let z(b) = 5*b**2 + 20*b + 38. Let d be z(-9). Let n = -356 + d. Is -93 <= n?
True
Let d = -68 - -87. Let n be (-11)/18 + 1 - d/(-38). Is n >= 0.1?
True
Let y be -9 - -5 - 905/302 - -7. Which is smaller: y or 0?
0
Let v = -14 - 37. Let t = v - -72. Is -0.2 > t?
False
Let o = -18.66 - 49.34. Is 5 at most as big as o?
False
Let f = -2/9 + 35/117. Suppose v = 5*o + 25, 4*v - 5551*o + 5546*o - 25 = 0. Which is greater: f or v?
f
Let l be 2438/(-318)*-1*6. Is l >= 15?
True
Let v(g) = -2*g**2 + 13*g + 2. Let c be v(8). Let i(o) = o**3 + 21*o**2 - 24*o - 22. Let d be i(c). Do 19 and d have different values?
True
Let b(h) = 5*h**2 - 4. Let f be b(2). Suppose -f*c - 33 = 159. Is c < -11?
True
Let d be (-2)/114*1306/2. Let f = 15/19 + d. Suppose 7*o = 5*o - 20. Which is bigger: o or f?
o
Let j(s) = -s**2 + 10*s - 8. Let c be j(9). Let x = -1292/43 - -30. Is c <= x?
False
Let m be (-2164)/30 - ((-184)/30 - (4 + -10)). Is -117 less than m?
True
Let g be -10*(-6)/42*-7. Which is smaller: g or 0.009?
g
Let k be -3485 - ((-4)/6 - (7 + 50/(-30))). Which is greater: -3481 or k?
k
Let n be ((-3)/9)/(4/(-276)). Suppose -2*c + 992 = -1180. Let b = 2215/2 - c. Is b at most n?
True
Let l = 145 + -100. Let g(k) = -2*k**3 - 6*k**2 + 21*k + 86. Let v be g(-7). Let s = -285 + v. Is s equal to l?
False
Let f be ((-8)/(-66))/((-6)/(-9)). Let y = 309 - 925/3. Which is smaller: y or f?
f
Let u = -2 - -1.75. Let w be (176/12 - 16)/(60/(-225)). Is w < u?
False
Suppose -3*d + 69 = -p - 0, 4*p = -5*d + 98. Suppose d*h + 324 = 20*h. 