be j(10). Let r(s) = 28*s + 158. Let b be r(v). Which is greater: y or b?
y
Let o be (10 - (-245)/(-25)) + 19/5. Suppose -5*r + o = -4*l - 26, l + 15 = 5*r. Let q be (-4 + -2)/((-28)/(-22)). Which is smaller: q or l?
l
Let f be 1/(-1*3/186). Let d = f + 90. Suppose s - 4*s - 14 = n, -2*n = -4*s + d. Which is bigger: n or -17?
n
Suppose 8*s = 4*s + 36. Let u be -2 + s/6 - (-25)/(-10). Which is smaller: 1 or u?
u
Let m = 4333 - 10107. Let c = -5741.99 - m. Let p = 32 - c. Is -0.8 at least as big as p?
False
Let w = -2691.7 + 2691. Is w at most 583?
True
Suppose -4*i - 2*h - 142 = 0, -99*i + 77 = -101*i + h. Let j(b) = b**3 + 6*b**2 - 6*b + 7. Let q be j(-7). Are i and q equal?
False
Suppose 12*m - 13572 = 41*m. Let d be (2/(-3))/(3*1/m). Which is bigger: d or 102?
d
Let u = 320603916917987/483 - 663774051647. Let t = 2173858 - u. Let w = 42/23 - t. Is -0.2 smaller than w?
True
Let y = -485 + 488. Suppose -5*h + 25 = 0, 0 = 2*w - y*h - 80 + 559. Is -232 at most w?
True
Let h be ((-19)/(-171))/(((-1)/130)/1). Let v = 983/45 + h. Do 6 and v have different values?
True
Let x be 6/16*12*8/6. Suppose -4*p - 3*y + 8*y = -10, -6 = -2*p + 3*y. Suppose 3*i + 3*z = -9, -3*i + 2*z + x = -p*i. Which is smaller: 9/13 or i?
i
Let i(u) = -80*u - 401. Let c be i(-5). Let x = -6/271 + -621/8672. Is c at most as big as x?
True
Let q = 7123 + -8562. Which is greater: -1438 or q?
-1438
Let o = 1070.8 - 956. Let c = 115 - o. Which is smaller: c or 73?
c
Let c be (8/(-20))/((-169)/5). Let z = c - -328/845. Let i be 7/(-13)*(-72)/252. Do i and z have the same value?
False
Let a = 15926 + -15913. Which is smaller: -408 or a?
-408
Suppose -8*m = -0*m - 160. Let w be (14/(-105)*-5)/((-4)/222). Let z be 15/m + w/(-4). Is 12 at least z?
True
Let x = -25.84 - -1.14. Let k = 20 + 5. Let s = k + x. Which is bigger: s or -1.2?
s
Let t be -5 + (2/18 - (-15)/((-30645)/(-9961))). Is -6 greater than or equal to t?
False
Suppose -16*t + 23474 = -8110. Suppose 0*b = -21*b + t. Is 94 <= b?
True
Let p be 43/129 + (-390 - (-3)/9*-1). Is -383 smaller than p?
False
Suppose 22*h = -12535 - 13689. Is h not equal to -1192?
False
Suppose 0 = 13*p - 1716 + 1677. Is 43/5 less than p?
False
Let f be ((92/18)/(-23))/((-2)/(54/15)). Which is smaller: 4812 or f?
f
Suppose -5*k + 8*k - 13 = -4*z, 2*z - k = -1. Let a(r) = r**3 + 4*r**2. Let b be a(-4). Let u be 3/(-459)*(b + -2). Which is greater: z or u?
z
Suppose 28*u - 6*u + 39 = -17*u. Which is bigger: 1/13733 or u?
1/13733
Let m be (-2256)/(-39) - 1 - (-8)/52. Let l = m - 27. Suppose 166 = -4*s + 286. Is s <= l?
True
Let f = 2.63295 - -0.31635. Let l = f - -0.0507. Is 0.5 <= l?
True
Let d(x) = 16*x - 508. Let m be d(16). Which is smaller: m or -251?
m
Suppose 5*y - 11758 - 8360 = -r, 4*r + 4*y = 80440. Let g = r - 764587/38. Let l = 110/19 - g. Is 18 > l?
False
Let k(v) = 212*v - 386. Let o be k(1). Is o at most as big as -19?
True
Suppose -119*p + 39129 + 17849 = -24418. Is p smaller than 683?
False
Suppose 2*s = -s - 69. Let d = -11 - s. Let k(y) = -3*y**2 - 20*y - 1. Let a be k(-6). Is d < a?
False
Suppose 11*v - 240 = 7*v. Let a be 2/5 - (-7836)/v. Is 131 <= a?
True
Suppose -11*o = -8*o - 3. Let z be o/(-3) + (-1)/(-3). Let i = -2897/10947 - -25/89. Is i < z?
False
Let b be (-12835)/13611 + (0 - -1). Let j be 1/(-18)*4 - 5440/(-25128). Let v = b + j. Which is smaller: v or -1?
-1
Let j be ((-1)/15)/((-264)/(-15)). Suppose z - 2*m + 6 = 0, 0 = -0*z + z - m + 3. Is z at most j?
False
Let b(z) be the first derivative of 2*z**3/3 + 5*z**2 - 10*z + 30. Let u(t) = -5*t**2 - 30*t + 30. Let d(f) = 8*b(f) + 3*u(f). Let r be d(10). Is 48/5 > r?
False
Let i(m) = -44*m - 272. Let o be i(-7). Let c be 64/8 + (-261)/o. Let u = 6 - -3. Is u smaller than c?
False
Let x(f) = 12*f**3 + f**2 + 3*f - 4. Let n be x(1). Let o be 3/2 - (-6)/n. Suppose -2*t - 10 = 3*a - t, -3*a - o*t = 11. Which is smaller: 6 or a?
a
Let b be (-1)/(2/6) - 15011/(-35105)*7. Are 1 and b unequal?
True
Let p(v) = -43*v**2 + 22*v + 89. Let s be p(-5). Let h be 290/s - (4/(-16) - 0). Let u be -1*0*(-1)/2. Which is bigger: u or h?
u
Let f = -47 + 119. Let g = -71.7561 - 0.0439. Let w = g + f. Is 31 bigger than w?
True
Let p = 3152 - 2575. Do 580 and p have the same value?
False
Let m = 2601.7 + -2609.9. Are m and -6/29 equal?
False
Suppose 48 = -4*h + 4*p, 4*h - 2*p - 61 = 7*h. Let z = 275 - 181. Let t be (4/(-8))/(3/z). Is t greater than h?
True
Suppose -14*h + 62904 - 59670 = 0. Is 231 bigger than h?
False
Let i(m) = -m**2 + 5*m - 6. Let r be i(12). Let h = r + 87. Which is smaller: -18 or h?
-18
Let y = -15 - -9. Let k = y - -35. Let l = -16.213 - -16.113. Are k and l equal?
False
Let h = -6986 + 6913. Is h less than or equal to 31?
True
Suppose 4*i = -4*k - 1160, 6*i = 5*i + 2*k - 287. Is i at most as big as -289?
True
Let q(b) = 132*b**3 + 2*b**2 - 1. Let o be q(-1). Let j = -10289 - -10160. Is j at most as big as o?
False
Let k = -574/5 - -217541/1895. Do 0 and k have the same value?
False
Let f = -2441 + 63463/26. Which is smaller: -1/35 or f?
f
Suppose -q = 7*q + q. Which is greater: q or -2/4579?
q
Let j = -1 - -1.1. Let k = j + 0. Let c = -581311/2 - -290641. Is k greater than or equal to c?
True
Let a = -7134 - -10033. Is a >= 2899?
True
Let c = 4 - -1. Let b be -1 + 1 - 640/(-20). Let z be 40/9 + b/144. Which is greater: c or z?
c
Suppose -2409*q + 2394*q = 7290. Is -3407/7 at least as big as q?
False
Suppose -5*g + 5*f + 32 = 22, -g = -3*f - 2. Suppose 2*v = -3*v, -g*p = 5*v. Which is smaller: p or -3/299?
-3/299
Let i = -1/49 + -46/147. Let z = 3.3 - 145.3. Let x = 142 + z. Is x greater than i?
True
Let v = -6 + 2. Suppose -23 - 201 = -8*u. Let p be -3 - -7 - u/4. Which is smaller: v or p?
v
Let h be (2 + (-19)/2)*2. Suppose 8*w - 13*w + 255 = -2*c, 5*c + 153 = 3*w. Suppose w = -3*o + 2*n, -o - 3*n + 69 = -5*o. Is o bigger than h?
False
Suppose y - v - 2*v - 17 = 0, 3*y + 1 = -4*v. Suppose -4*s - 7 - y = -3*p, s + 12 = 3*p. Is p at most 25?
True
Let d = 274 + -274.23. Let z = d - 31.77. Let a = 1 - 1. Which is smaller: z or a?
z
Let z be (3/31)/((-1274)/49469). Let t = 117/31 + z. Let j = -1077/910 - t. Are j and -0.2 non-equal?
True
Suppose -v - 5*y - 31 = 0, -5*v + 3*y - y - 20 = 0. Let a be (-4)/v*(68 - -1). Suppose 0 = 8*d + 138 + a. Is -24 at least as big as d?
False
Let l be (-15)/(-4)*(-1504)/564. Which is smaller: l or -278/29?
l
Suppose 27*v - 47*v = -40. Suppose 3*l = l. Let f be v - (-9 + l)*1. Which is smaller: 9 or f?
9
Let r(w) = 40*w - 897. Let q be r(22). Does q = -0.18?
False
Let l(x) = 6*x + 10. Let u be l(-1). Suppose 2*c = r - 0*r - 141, u*r - c = 536. Let m be (-1 - (2 + -2))/((-19)/r). Is m less than 11?
True
Let n(a) = 2*a - 3*a + 63 - 22*a - 9*a. Let j be n(3). Do j and -3 have different values?
True
Suppose 0 = 5*p - g + 6, -7 = -3*g - 4. Which is greater: p or 2/39531?
2/39531
Let r be 2/3 + (-6 - 63511/(-13440)). Let h = r - -1/128. Let u(i) = 27*i**3 - i - 1. Let j be u(-1). Which is greater: h or j?
h
Let i = -1268 - -2135. Are i and 869 equal?
False
Suppose 4*w + 1736 = 4*j, -33*w + 2150 = -38*w - 5*j. Which is bigger: -430 or w?
-430
Suppose 23*s = 8*s - 11250. Let p = -754 - s. Which is smaller: p or -50?
-50
Suppose -2*k - 42 = -12. Suppose 702*z + 2139 = 609*z. Is k >= z?
True
Let p = 827 + -353. Let f be 7 + -3 + p/(-130). Let j = f - -3/65. Which is greater: j or 26?
26
Let k = -234.9462 - 0.0538. Let o = k + 234.2. Is 0.15 at least as big as o?
True
Let w = -6.49 - 0.51. Let h = 6.2655 - -1.7345. Is h less than or equal to w?
False
Let m be (-1032)/(-18) + (-1)/3. Let n be 0/(3 + -5) - m. Which is smaller: -1 or n?
n
Let t(z) = -z**2 + 32*z - 59. Let a be t(30). Suppose 2*h + 8 = 18. Let w be (a - 3) + 3 - h. Which is greater: w or -6?
w
Suppose -7*g + 587 = 293*p - 295*p, -3*p - 948 = 3*g. Let n(a) = -11*a**3 - a**2 - 2*a. Let l be n(3). Is l at least p?
False
Suppose 67*p + 613 = -57. Suppose -o - 29 + 22 = 0. Is o greater than p?
True
Let q(o) = -o**3 + 44*o**2 - 2*o + 87. Let i be q(44). Is i greater than or equal to -2/1383?
False
Let n(k) = -k**2 - 13*k - 28. Let l be n(-12). Let p be 72/l*(-8)/18. Is 2/15 less than p?
True
Let u = -4211 + 6174. Which is greater: 1964 or u?
1964
Let y(j) = j**2 - 4*j - 6. Let b be y(-6). Suppos