s for s.
5
Let d(s) = -s**2 + 2*s + 28. Let r be d(6). Suppose -7*m - g = -12*m + 12, -3*m = -r*g - 14. Solve -15 = m*w + 3*w for w.
-3
Let r(g) = 22*g - 31*g - g**2 + 16*g - 6. Let x be r(5). Suppose x*a + 9 = 17. Solve a - 27 = -5*j for j.
5
Let j be -1 + -1 + 6 - (-16 + 43). Let t = j + 27. Solve -51 + 67 = t*b for b.
4
Suppose 5*d - 2*d - 27 = -2*k, 2*k = 4*d - 22. Suppose 2*x = d*x - 40. Suppose -7 = -5*z + x. Solve 7 - 19 = -z*w for w.
4
Let b(m) = -m**3 + 4*m**2 + 5*m + 3. Suppose 5*t = 32 - 7. Let v be b(t). Suppose 15 = -v*n + 6*n. Solve -n*c + 6 = -4 for c.
2
Let p(u) = -4*u + 11. Let a be p(-9). Let o = -20 + a. Let s = o - 27. Solve s = d + d + 2 for d.
-1
Suppose -4*c + 26*a - 24*a = -454, 0 = 4*a - 20. Solve c*k = 126*k + 60 for k.
-6
Let c be (-2)/((-3)/18*3). Suppose -3*f = -c*x - 3, -2*f + 7*f = 5. Solve -4*i - 10 - 10 = x for i.
-5
Suppose -318 = 2*n - 344. Suppose -6*t + 38 = n*t. Suppose 0 = -5*d - 2*u + 23, 0*d - 5*u = 3*d - 29. Solve -d*l = -t*l + 2 for l.
-2
Suppose -10*r + 7*r = -3*c - 42, 4*r - 46 = 2*c. Solve -r = -2*h + 11*h for h.
-1
Let z = -1771 - -1826. Solve -17*t + 6*t = -z for t.
5
Let r(z) = z**3 + 6*z - 2. Let s(o) = -2*o**3 - 9*o + 3. Let a(n) = 3*r(n) + 2*s(n). Let f be a(0). Solve 0 = -3*k - f*k for k.
0
Suppose -4*h = -5*y + 16, -4*y - h + 44 - 27 = 0. Solve y*x - 9 = -29 for x.
-5
Let m be (-3)/7 + (-30594)/(-42). Let o = -724 + m. Solve 3*q - 11 = o for q.
5
Let p = -8825 + 9105. Solve 135*j - 175*j - p = 0 for j.
-7
Let n = -59 - -56. Let y be 1 + (-12)/(n - 0). Suppose r + 7 = 17. Solve 0 = -7*v + y*v - r for v.
-5
Let q(z) = -z**3 + 11*z**2 + z - 9. Let a be q(11). Let r be a/1*(-9)/6. Let l = r + 6. Solve -2*d + l - 1 = 0 for d.
1
Suppose 171 = -r - 2*z, -3*z + 894 = -7*r + 2*r. Let h = -175 - r. Solve -n - n = h for n.
-1
Let k be 504/(-280)*(-100)/12. Solve -k*t = 39*t - 216 for t.
4
Let f(b) = -b**3 + 2*b**2 + b - 3. Let n be f(0). Let a be n/(5/(-7) + (-12)/42). Let h = 3 + 2. Solve 0 = -h*k + 2*k - a for k.
-1
Suppose 0 = 5*q - 5 - 5. Suppose -q*r = 4*z - 88, z - 19 + 7 = 2*r. Solve 7*b - z = 2*b for b.
4
Let w(t) = 2*t**2 + 101*t - 1445. Let s be w(13). Solve -196 = -2*c - s for c.
-5
Suppose 26*p - 31*p + 4*g + 981 = 0, -4*g = 3*p - 627. Solve -24*n + p = 43*n for n.
3
Suppose -2020 = 5*y + 5*y. Let v = y - -239. Solve 8*w - v - 3 = 0 for w.
5
Let v = 872 - 788. Solve -4*m = 10*m + v for m.
-6
Let b = -9 - -15. Let w be ((-7352)/6433)/(-1*(-1)/(-14)). Solve b*p = w*p for p.
0
Let n(t) = -14*t**2 + 8*t - 4. Let o be n(3). Let g = o + 109. Solve -g*k = -0*k + 9 for k.
-3
Suppose -5*u - 347 = -2*k - 29, -5*k = -2*u - 144. Let c = -53 - u. Solve -5 = -4*w + c*w for w.
-1
Let o be ((-3)/(-5))/(3/30). Suppose o*s - 167 = 79. Suppose -3*i - s = 2*d - 7*d, -2*d + 24 = -5*i. Solve -d*z = -3*z for z.
0
Let i be ((-2)/3*-58)/((-2)/18). Let g = i + 357. Solve 0 = -g*p + 7*p for p.
0
Let l(g) = -4*g + 110. Let j be l(32). Let b(y) = y**2 + 15*y - 49. Let o be b(j). Solve o*s + 2 - 7 = 0 for s.
1
Let d(g) = g**2 + 22*g - 21. Suppose -2*l + 122 = 2*h, -l - 4*h + 53 = h. Let i = l - 86. Let p be d(i). Solve p = n - 2*n for n.
-2
Suppose -2*d - 4*d - 330 = 0. Let f be 6/(-11) + (-1295)/d. Solve -f + 7 = 4*l for l.
-4
Let n = -9903 + 9911. Solve 35*q = n + 202 for q.
6
Suppose -74*c - 75 + 75 = 86*c. Solve c = -82*d + 19*d for d.
0
Suppose 20*u - 5*o = 16*u + 59, 3*u - 5*o = 53. Let x be (-1)/((-28)/30 + 1). Let s be (x/(-6))/(3/u). Solve p + 16 = s*p for p.
4
Let v(q) = 43*q - 1819. Let j be v(46). Solve j*x - 170*x = 0 for x.
0
Let y(v) = -5*v**2 - 7*v - 15. Let d(z) = -6*z**2 - 8*z - 15. Let s(m) = 4*d(m) - 5*y(m). Let f be s(-8). Let p = 62 - f. Solve 0 = -2*a - p + 1 for a.
-3
Let h(a) = a**3 + 17*a**2 + a + 47. Suppose 27*g = -176 - 283. Let n be h(g). Solve 6*w + 0 = -n for w.
-5
Let q(p) = -2*p**2 + 25*p + 47. Let w be (6/90*-21)/(1/(-10)). Let s be q(w). Solve 0 = 3*z + s + 1 for z.
-2
Suppose 3*l - 18 = 5*y - 5, 5*l - 15 = 5*y. Let a be (0 + -4)/y*-1. Let h be 9/((-36)/(-40)) - a. Solve -2*m - 4 = -h for m.
4
Let z = 223 + -61. Suppose -92 = -3*i + 4*f + 17, -4*i - 3*f = -z. Let u = -35 + i. Solve u = 4*r - 0 for r.
1
Let u be (6/9)/(385/(-270) - 9/(-6)). Solve -3*f + u*f + 42 = 0 for f.
-7
Suppose 0 = -4*g + 212 - 116. Solve 0 = 50*d - 42*d - g for d.
3
Let y(t) = 175*t + 389. Let q be y(-2). Solve -12*i - q*i + 306 = 0 for i.
6
Let c be 4 + 3 + -1 + (-5 - -1). Suppose -c*l + 9 = l. Let d be ((-26)/(-2) - l)/2. Solve -1 - d = -3*t for t.
2
Let p = 1066 - 1066. Suppose -d + 6*d - 4*u = 7, d - 7 = -2*u. Suppose -2*i + 2*r + 18 = p, 2*r + d = -i - 3. Solve x + 2 = i for x.
2
Suppose -2*k + 3 = 19. Let x be ((-18)/k)/(45/840*7). Solve 5*p - x = -21 for p.
-3
Let y be 546/(-12)*(-124)/434. Let k(n) = 9*n**2 + 17*n + 6. Let u(c) = 5*c**2 + 9*c + 3. Let v(f) = -6*k(f) + 11*u(f). Let m be v(5). Solve -5*h - m = y for h.
-4
Let y be (-8)/(-14)*8 - (-15)/35. Let b be (y/15)/(4/84). Suppose 3*k + b = 4*k + s, 3*k - 4*s = -14. Solve k*g = -0*g for g.
0
Let d be (-2)/(93*(-2)/174 - -1). Solve -10*y = -19 + d for y.
-1
Let x(k) = -1551*k + 15531. Let a be x(10). Let r(v) = -10*v + 1. Let q be r(-1). Solve -q*s = -4*s + a for s.
-3
Suppose 5*d - 18 = 3*q - 24, -5*d + 1 = -2*q. Solve 53*h - d = 54*h for h.
-3
Suppose -39 = b - 35, 317 = 3*i - 2*b. Solve -6*s + i = 127 for s.
-4
Suppose -23*j + 2*j - 8022 = 0. Let r = j + 403. Solve 0 = -8*b + b + r for b.
3
Let f be 6 - 6/12*6. Let n be 25/1 - (3 + f). Solve -n*v = -14*v for v.
0
Suppose -4*s - d = -153, 13*s + 5*d + 75 = 14*s. Solve -2*g = 6*g + s for g.
-5
Let w(x) = x**2 - 4*x + 5. Let y be w(-6). Suppose 90 = 3*t + u + 2*u, 3*t - 2*u - y = 0. Let p = -21 + t. Solve -f - p*f + 15 = 0 for f.
3
Suppose -97*x + 2712 + 3270 = 1617. Solve 0*n + x*n = -45 for n.
-1
Suppose 3*x - 84 = 222. Suppose -28 = 2*m - 9*m. Suppose -x + m = -7*c. Solve c = 3*r + 5 for r.
3
Suppose d = 4*z - 13, -2*d + 0*d + 14 = 2*z. Let k = 3 - -26. Let y = k - 29. Solve d*m + y = 9 for m.
3
Let c(o) = o**2 - 13*o - 15. Let j be c(11). Let l = j + 41. Solve -5 = l*k - 9*k for k.
1
Let p(h) = -1081*h + 8743. Let o be p(8). Solve -o = 25*f - 170 for f.
3
Suppose 7*g = 4*g + 84. Suppose 5*x + 3*t - 24 = -0, -5*x = t - g. Let c(j) = -j**3 + 4*j**2 - j - 4. Let v be c(3). Solve f = x - v for f.
4
Let a = -33 - -59. Let n be a + 1 + 1 + 4. Let s be (2/(-3))/(n/(-144)). Solve -b - s*b = 0 for b.
0
Let b = 42 - 38. Suppose 3*z - 69 = -p, b*p + 2*z - 7*z = 361. Let l = p + -84. Solve 5*h + 0*h - 10 = l for h.
2
Let a = 6228 - 6032. Solve 26*v + a = -23*v for v.
-4
Let q be (-16)/(-6)*(-261)/58. Let b be 27/((-4)/(q/9)). Solve -2*s = 5 - b for s.
2
Suppose x = -4 - 0. Let f(k) = -166*k + 331. Let l be f(2). Let h be (0/l)/(5 + x). Solve -z + 0*z + 2 = h for z.
2
Suppose 21*i - 14*i = 140. Let r be (-9)/(-4) + 7/(-28). Suppose -r*k = 5*m - 4*m - 8, 5*k + 3*m - 20 = 0. Solve -k*p = -0*p - i for p.
5
Let v be ((-15)/(-9))/((-2)/(-6)). Suppose -4*y + v*y = 0, -y + 20 = 4*i. Suppose i*g - g + 4*p = 8, -5*p = -g + 8. Solve q = 1 + g for q.
4
Let b = 1820 + -1693. Solve -2*k = b - 133 for k.
3
Let b = 7382 - 7193. Solve b = 7*z - 34*z for z.
-7
Let c(i) be the second derivative of i**5/20 - i**4/6 - i**3/6 + 5*i**2 + 2*i + 11. Let j be c(0). Solve j*p - 21 = -71 for p.
-5
Let f(k) = -k**3 - 5*k**2 + k + 7. Let d be (-2)/(24/10 - 2). Let o be f(d). Let l(i) = -9*i + 74. Let a be l(8). Solve o*v + a = -8 for v.
-5
Suppose -2*z = x - 5, 0 = 4*z + 4*x - 1 - 19. Suppose v + 8 = 3*t - 0*v, -4*t = -2*v - 10. Solve z*s - 9 = t*s for s.
-3
Suppose -3*h - 1574 = 2*r - 1593, -h + 3*r = -10. Let c = 2 + 7. Solve h + 38 = c*j for j.
5
Suppose 0*t + 4*t + 4*q - 24 = 0, 5*q = 20. Solve -t = -17*o - 2 for o.
0
Let c be (-8)/(-18) - 340/765. Suppose c = 29*g - 16*g. Suppose 0*v = 3*v - 15. Solve -v*z = -g*z - 10 for z.
2
Suppose -4*o + 92 = -2*t - 2*t, 95 = 4*o - 5*t. Suppose 0 = z + 3*u + 11, 3*u = -2*u - o. Solve 0 = 2*h - z - 7 for h.
4
Let i(r) = -6*r + 3*r**3 - 4*r**2 - 3*r**2 + 3 - 4*r**3. Let p be i(-6). Let d = -48455 - -48455. Solve -12 = -d*g + p*g for g.
-4
Let w(u) = -2*u**3 + 115*u**2 + 697*u - 137. Let q be w(63). Solve -31*k = q + 40 for k.
-5
Let o(t) = t - 13. Let b be o(15). Suppose -2*p = -q - b + 10, -