+ 2*v + 18, 0 = 4*v - 2*v - 6. Let k(z) = -z + 20. Let l be k(d). Suppose 4*a - 15 = 3*a. Which is greater: l or a?
a
Suppose -20*n + 154 + 6 = 0. Let x = -0.058 - -0.058. Which is smaller: x or n?
x
Let y = -10.13 - -522.13. Let v = y + -512.13. Which is smaller: -2.8 or v?
-2.8
Suppose -3*a + t + 2 + 3 = 0, 2*a + 10 = -2*t. Let j be 4 - (-111 - a)/((-2)/4). Which is smaller: -217 or j?
j
Let j be (20/(-15))/((-182)/(-1365)). Let a be (-2)/5 + (-1388)/130. Which is bigger: a or j?
j
Let w = 2/105 - 24/35. Let i = -6643 + 6306.1. Let c = -342 - i. Are w and c equal?
False
Suppose 0 = -5*p - 5*z + 4*z, z = 3*p. Suppose -5*r + 230 = a, -2*r = -2*a - 19 - 85. Let t = -47 + r. Is p not equal to t?
False
Let x = -31.6 - -25. Let k = 6.3 + x. Which is bigger: k or 17?
17
Let p = 1929 + -1878. Which is smaller: p or -38?
-38
Let y(f) = -587*f**2 - 312*f - 627. Let k be y(-2). Which is smaller: k or -2354?
-2354
Let n(v) = 106*v - 1859. Let m be n(18). Which is greater: 648/13 or m?
648/13
Suppose -265 = -15*a - 115. Let k be (a - 1) + (-15609)/1720. Which is smaller: 0 or k?
k
Suppose -5*l = -4*d + 3938, -12*d + 802 = -l - 16*d. Which is greater: l or -791?
l
Let z be (-2 + 7)*-9*15/(-675). Is z less than or equal to 16940?
True
Let x be 0/(-1) + 12/(-15). Let l = -0.38744 - -0.28744. Is x >= l?
False
Let c be (3 - 2)*(122 - (0 - 0)). Suppose 0 = 5*u + s + 187, -36 = 4*u + 5*s + c. Let f = u - -40. Which is smaller: f or -5?
-5
Let b be 1*(6/(-4))/(36/(-120)). Suppose 4*u + u = b. Which is smaller: u or -4/41?
-4/41
Let l = -196146 - -196145. Let o = -10561/23 + 459. Which is greater: l or o?
o
Suppose o = -5*u + 35, 4*o - 80*u + 84*u - 28 = 0. Which is greater: o or 46/363?
46/363
Let j = 24128/1701 + 823/243. Suppose -3*u = 4*w - 39, -3*u - 4*w + 5 = -2*u. Is j at most as big as u?
False
Let j = -779 + 1162. Let g = 349 - j. Which is greater: -37 or g?
g
Suppose -n + 4*n = -w + 87, 5*n = -w + 145. Let b = -19 + n. Suppose -u = 4*f - 24, 3*f + u + 32 = 7*f. Is f >= b?
False
Let w = -24724 - -24909. Which is bigger: w or 4?
w
Let p = -3 - -4. Suppose -2*h + 10 = 3*d + p, -3*h = -2*d + 6. Let f = -3/8 + -1/8. Which is bigger: h or f?
h
Let z = 416.708 + -418. Let u = -1.3 - z. Which is smaller: u or 1/7?
u
Suppose 5*y + 30 = 0, 2*g - 9034 = 3*y - y. Is g less than 4510?
False
Let p = 1693/160 - -3/160. Let o(q) = 6*q + 126. Let a be o(-19). Suppose a*h + 14 = 2*i + 9*h, -4*i = 2*h - 44. Which is bigger: p or i?
p
Let o = 463 + -458. Suppose 75 = 4*k + o*g - 0, 4*g + 33 = 3*k. Let z be (-206)/(-14) - (-4)/14. Is z at least as big as k?
True
Suppose -23*j = -31*j - 2*k + 1664, 5*j - 2*k = 1027. Is j > 216?
False
Let k = -4582.9 - -4583. Is -15.71 at least as big as k?
False
Let k = -208 - -223. Let f = 83 + -59. Suppose -21*h + k*h - f = 0. Are h and -4 equal?
True
Suppose 9*c - 6*c = -4*d + 68, -24 = -2*d + c. Suppose 481 + 373 = d*l. Is l > 121/2?
True
Suppose -3*o + 81 = -4*f, -3*o - 5*f + 2*f = -60. Suppose -d = -24*d + o. Let i be ((-1)/6)/((-13)/9). Are d and i non-equal?
True
Let f = -5718 - -7241. Which is smaller: 1521 or f?
1521
Suppose -39*s = -44*s + 290. Let x = s - 64. Let f be 0*((-2)/x - 22/33). Which is bigger: 1/48 or f?
1/48
Let w = 117/784 - -8/49. Let p(f) = -f + 2. Let s(a) = -5*a + 28. Let t(x) = 6*p(x) - s(x). Let d be t(-17). Is w greater than or equal to d?
False
Let g be 13 - 2 - 16/(4 - 0). Let o = -11 - -20. Let d be 6/4*((-966)/o)/g. Which is bigger: -21 or d?
-21
Let m(q) = -q**3 - 21*q**2 - 26*q + 27. Let c be m(-20). Let y be -7*(-13)/((-91)/(-147)). Is y greater than or equal to c?
True
Let b = 5/15412 + -9401355/107884. Let w = b + 34742/399. Is w greater than -0.1?
True
Let y = -3/421 + 32871/4631. Let d(u) = u**2 + 10*u - 5. Let j be d(-11). Which is smaller: y or j?
j
Let q be -55*(-11)/(94325/56) + 14/(-35). Is q > 0?
False
Let k be (9 - (61568/2568 - 15))*(-150)/8. Which is smaller: -1 or k?
-1
Let b be (-966)/(1 + -7) - 0. Let p = 109 - b. Let k be 4 + -2 + 1 + -54. Is p smaller than k?
True
Suppose 3*a = -2*k + 3, 2*k = -k - 5*a + 5. Which is greater: k or 1/12?
1/12
Let m = 687/5 + -137. Let x = -782/7 - -115. Let d = 1/21 + x. Is d > m?
True
Let r be 10/20 + (-25)/50. Are r and -183/200 non-equal?
True
Let i = 35.64 - 64.64. Let a = -4 + 3.97. Let u = 0.97 - a. Which is smaller: i or u?
i
Suppose -5*x = -15, 2*x + 3*x - 27 = 3*s. Let i be 46764/(-15300) + 15/(-125). Which is smaller: s or i?
s
Let z = -1 + 0. Let t = 15749 - 15756. Is z at most t?
False
Let i be (435/423 - 1)*(-51)/(-102). Is 1/9 at most i?
False
Suppose 22762*w + 7 = 22755*w. Is w less than -71/44?
False
Let n be 1/(-9) + (-1177168)/(-4248). Which is smaller: n or 551/2?
551/2
Let j = 432 - 389.2. Let f = -26.8 + j. Is 0 at most f?
True
Let l be -2*2*(-2)/8. Let f = -463/6 - -77. Let v = 49/258 + f. Which is smaller: l or v?
v
Suppose -2*d - m - 132 = 0, -3*d - 7*m - 198 = -8*m. Let t be (3/(-2))/(9 - (-583)/d). Suppose 0*b - b - 11 = 0. Are t and b equal?
False
Suppose -3*d = 0, 0*u + 2*u - 4*u + 3*d + 420 = 0. Which is greater: 214 or u?
214
Suppose 19 = -4*a - 3*n, -2*a + 4*n - 2 - 2 = 0. Suppose 29*h - 31*h = -30. Suppose -h*c + 5 = 35. Are c and a nonequal?
True
Let d = -55/4 + 173/20. Are -5 and d unequal?
True
Let m = 118 - 114. Suppose -2*n - 14 = -5*q + q, m*n + 28 = 5*q. Which is smaller: n or -9?
-9
Let u be (-112)/(-28) + (-1 - 3). Which is greater: 2/11 or u?
2/11
Let y(b) be the third derivative of -b**5/60 + 3*b**4/8 - 7*b**3/2 - 39*b**2. Let l be y(4). Is -4/117 > l?
True
Suppose i = 3*i + 62. Let a be ((-52)/(-10))/(141/(-31020)). Let o = a + 1115. Which is smaller: o or i?
i
Let z = 4272 + -14024/3. Let k = z - -404. Which is bigger: -9 or k?
k
Let o = -26/105 + 116/105. Let u = -1.36 - -1.4. Is o <= u?
False
Suppose -g + 4 = 2. Suppose -226 - 34 = -5*o - 4*a, -g*o + 81 = -3*a. Let i = -555 + 602. Which is greater: i or o?
o
Let g(a) = -a**3 - 6*a**2 + 21*a + 6. Let v be g(7). Let h be 212*(-11)/v - 10/2. Which is smaller: h or 1?
h
Let r(m) = -2*m**3 - 5*m**2 + 2. Let u be r(-3). Suppose -u*v = -3*v + 328. Is v equal to -40?
False
Let p(z) = -2*z**2 - 44*z + 50. Let w be p(-23). Suppose -6*h - 60 = w*h. Which is smaller: h or -29/5?
h
Let g(h) = -h**2 + 84*h - 468. Let u be g(6). Which is greater: -206 or u?
u
Let l = -1607.59 + 1607. Which is greater: 2/9 or l?
2/9
Let g(a) = 8*a - 66. Let b be g(8). Let k be (-6)/(-20)*b + (-1)/15. Let y = -2.21 + 0.11. Are k and y non-equal?
True
Let u = 1.255 - 1.21. Let n = -0.185 - u. Which is greater: -1 or n?
n
Suppose 24*l - 6 = 22*l. Let f(c) = -c**3 + 4*c**2 - 3*c. Let i be f(l). Suppose 2*j + 3 - 1 = i. Which is smaller: -2 or j?
-2
Let m(q) = 6*q - 115. Let h be m(19). Is -3/7495 < h?
False
Let q = 40270 - 40312. Suppose -b = -3*a + 34, 3*b - 2*b - 2*a + 36 = 0. Which is smaller: q or b?
q
Let s = -12679/5285 - 1/1057. Let m(h) = h**2 + 8*h + 13. Let t = -16 - -12. Let i be m(t). Is s less than or equal to i?
False
Let o be 16*((-1296)/588 + 2). Which is greater: -2 or o?
-2
Let m = 24840 - 17010. Which is greater: m or 7831?
7831
Let z be (707/476)/((-11)/2). Let r = z - -3/34. Let i = 21 + -33. Which is smaller: i or r?
i
Suppose 179 - 329 = -7*k - 2838. Which is smaller: k or -383?
k
Let q be ((-16)/(-10) + -2)/(352/2022240). Which is greater: -2301 or q?
q
Suppose 6*w + 20 = 5*m, 0 = -4*w + 8*w + 3*m - 12. Let c be ((-8)/2)/(148/7846). Let d = c + 212. Which is greater: w or d?
w
Suppose 20*s - 21*s = -1430. Let q be 88/s*(-3)/(-8). Is 0 > q?
False
Let r(h) = -h**2 + h + 44. Let i be r(0). Suppose 2*n + 65 = 7*n + 5*y, 4*y + i = 4*n. Let w be 13*-6*(-4)/n. Is 26 < w?
False
Let d be 1 + 1 + (-373142)/3108. Let k = d - -1254/37. Let o = k - -84. Is o > -0.4?
True
Let l = -4.81 - -4.31. Is l greater than or equal to -0.429?
False
Let u = 184854/11 - 16805. Let d = -1.2 - -0.2. Is d > u?
False
Let k = -67778 + 67781. Let d = -4 - -4.04. Which is smaller: k or d?
d
Suppose 22*b - 20*b - 4*o = 192, 0 = -5*b - 3*o + 545. Is 2/7 greater than b?
False
Let z = 7706/4908631 + -3/4199. Is 1 > z?
True
Suppose 0 = 2*i + 3*h - 13, -47*i + 4*h - 19 = -48*i. Let f = 3.4 + 0.4. Which is smaller: i or f?
i
Suppose 0 = -120*u + 104*u - 3504. Which is greater: u or -220?
u
Suppose 4*r = h 