 75*x + 70 + s for x.
-1
Suppose -f - 23 = -5*q - 233, 3*f = 0. Suppose 0 = -2*w - 6 - 0. Let p be (-7)/(q/24) - (w - -1). Solve -2*t + p*t + 12 = 0 for t.
-3
Let o = -9 + 5. Let w(h) be the first derivative of -h**2/2 + h - 1771. Let u be w(o). Solve 0*v = u*v + 15 for v.
-3
Suppose 0 = -1643*a + 1615*a + 504. Solve -5061*d + a = -5067*d for d.
-3
Suppose 42 = -5*w + 4*q, -w - 3*q - 21 = 4*w. Let d(m) = 2*m**2 - 37. Let a be d(w). Solve 2*b - 29 = -a for b.
-3
Let o be 3/((-84)/8)*-14. Let m(t) = -5*t + 4*t - o + 6 - 4. Let b be m(-2). Solve -20 = 4*l - b*l for l.
-5
Suppose 0 = 47*k + 31*k - 702. Solve -50*s + k*s = 164 for s.
-4
Let w(k) = -26*k**2 + 2*k. Let z be w(-1). Let s = 37 + z. Suppose -2*d - 35 = -s*d. Solve d = -2*h + 1 for h.
-2
Suppose 5*p - 69 = 126. Suppose -9 - p = -16*r. Solve -8*s = -r*s for s.
0
Let o(q) = -q**2 - 13*q + 4. Let b be o(-13). Suppose -b*d + 379 - 299 = 0. Solve -8*u + 4*u = -d for u.
5
Suppose -60*k = -35*k - 2950. Solve 0 = -123*a + k*a - 20 for a.
-4
Suppose -9*v - 70 = -4*v. Let y = -11 - v. Solve y*s = -s for s.
0
Let t = 4 + -3. Let m(p) be the second derivative of p**5/10 - p**4/6 + p**3/3 - p**2/2 - 6*p. Let n be m(t). Solve l - n + 6 = 0 for l.
-5
Let o(w) = 24*w - 473. Let j be o(24). Solve -26 = 116*s - j*s for s.
-2
Suppose 5*z - 186 = -16*k + 12*k, 5*k - 251 = 3*z. Solve -3*u + k*u = -230 for u.
-5
Suppose -4*p - 163 = 469. Let g = p - -161. Let n(w) = w**3 + 5*w**2 + 3*w - 3. Let h be n(-3). Solve -15 = -h*y + g*y for y.
5
Let z = 19374 + -19374. Solve 32*w - 188 - 36 = z for w.
7
Suppose 0 = -6*s + i + 182, 5*s + i - 78 = 81. Solve 4 - s = -9*d for d.
3
Let r(b) = b**2 - 27*b + 55. Let x be r(25). Let n be 48/40*x/2 - 0. Solve p + n*p = 0 for p.
0
Suppose -4*l + 20*l + 2878 = 13582. Solve -659*h = -l*h + 70 for h.
7
Suppose 0 = -1295*q + 1297*q - 12. Solve 0 = -69*w + 66*w - q for w.
-2
Suppose -x - 16*a = -0*a - 192, x + 5*a = 126. Solve 0*i + x = 24*i for i.
4
Let i(s) = 3*s + 16. Suppose 46 = -29*r + 162. Let t be i(r). Solve 0 = 9*k - 2*k + t for k.
-4
Let w be ((-473)/(-33) - 11)*(-48)/10. Let c = w - -19. Solve 4*t = c*t + 5 for t.
5
Let g(v) = 3 + 3 - 4*v + 3*v. Let d be g(3). Suppose 98*a - 39 = 85*a. Solve -d*q - 12 = a for q.
-5
Let w(t) = 2*t - 22. Let k be w(17). Let h = k - 10. Let p be 2/(-7) + (120/28 - h). Solve 3 = -p*d + 5*d for d.
1
Suppose t - 2*t - 2*n + 28 = 0, 5*t - 164 = 2*n. Suppose -12*u = -t - 4. Solve 0 = -f - u*f + 4 for f.
1
Let m = 0 - 0. Let i be m + 0 + 0 - 0. Let w = 18529 - 18526. Solve -t - 5 + w = i for t.
-2
Let t = -2202 + 2253. Solve 3*d - t = -14*d for d.
3
Let a(x) = x**3 + 15*x**2 - 76*x. Let b be a(-19). Solve 53*v - v + 156 = b for v.
-3
Let b be 13/13*(34 + 27). Solve 0 = -29*q - 171 - b for q.
-8
Let a = -725 - -738. Suppose 0 = a*g - 21 - 31. Solve -g*v + 33 = 25 for v.
2
Let x(f) = 2*f**2 + 15*f - 13. Let s be x(-8). Let d be 0/(-2*-3*s/(-30)). Suppose 0 = 4*l - 11 + 3. Solve -2*v = -d*v + l for v.
-1
Let u = -243 + 532. Suppose -59 + u = l. Let d be l/26 - (-8)/52. Solve 2*k + d = -k for k.
-3
Let o(y) = -2*y + 7. Let p(f) = 4*f - 14. Let r(s) = 5*o(s) + 3*p(s). Let n be r(6). Let a be 1648/(-2060)*(2 + (-117)/6). Solve n*z = -a - 11 for z.
-5
Let r = 10275 + -10275. Solve 86*v - 81*v + 10 = r for v.
-2
Suppose 3*m + 22*t - 27*t - 193 = 0, 0 = 4*m - 3*t - 272. Solve 0 = -22*n + m + 39 for n.
5
Suppose 0 = 4*m + k - 66, -12*m + 10*m + 2*k + 18 = 0. Solve -8*b + 55 - m = 0 for b.
5
Let d(t) = -381*t + 1167. Let o be d(3). Solve 60*r - o = 54*r for r.
4
Let f = 105 - 103. Suppose -f*q - 16 = 4*y, 0*q - 4*y - 16 = 5*q. Let i = 1 - -5. Solve i*n - 4*n = q for n.
0
Let t = 397 + -684. Let x = t + 290. Solve -13 = x*l + 2 for l.
-5
Let j be (112/(-20) + 5)*(-28 - -3). Let v be j/9*-3 + 31. Solve -v*h + 8 = -22*h for h.
2
Suppose -72 = -6*z - 24. Let a be 0*(-4)/(z - 4). Suppose 2*x - 5*d - 5 - 15 = a, -4*x = d - 18. Solve 14 = -x*l + 4 for l.
-2
Suppose -81*y + 2787 = -1749. Solve 10*i - y = 2*i for i.
7
Let c(p) = -407*p + 2463. Let w be c(6). Solve -w = -11*r + 23 for r.
4
Let d(v) be the first derivative of v**4/6 + v**3/6 + v**2/2 - 15*v - 8. Let h(q) be the first derivative of d(q). Let f be h(-1). Solve -6*u + f*u = -8 for u.
2
Let n be (6 - -3)*1040/(-24). Let f = n - -397. Solve 0 = f*d + 25 + 3 for d.
-4
Let x(k) = 258*k + 3936. Let y be x(-15). Solve -43*a = -10*a + y for a.
-2
Let r be (-3)/1*(4/(-8))/((-72)/(-9456)). Solve -12*c - r = -197 for c.
0
Suppose -9*t - 108 = -3*g - 4*t, -3*g - 3*t + 84 = 0. Solve -g*p + 22*p - 54 = 0 for p.
-6
Suppose -3*m + o + 8 = m, 2*m - 5*o = -14. Suppose 0 = -5*i + m*i + 40. Suppose -8*z + i = 2*z. Solve -z*n = -5 - 1 for n.
3
Suppose 14*i - 33 = -5*m + 10*i, 2*i = 2*m - 6. Suppose -4*h + 28 = -p, 2*p + 14 = -m*h + 7*h. Solve 6 = -h*s - 8 for s.
-2
Suppose -249 = -44*a + 47*a. Let x = a + 28. Let z = x + 55. Solve z = 2*d + 2*d for d.
0
Suppose 73 - 15 = c - 3*d, 2*c + 6*d - 32 = 0. Solve 75 = -c*s - 147 for s.
-6
Let h be 464 + -15 + 39 + -20. Solve -24*u + h = 28*u for u.
9
Let l(y) = y - 5. Let n be l(17). Suppose z = -5*t + n, -2*z - 2*t + 6 = -z. Suppose 0*v = -z*v + 12. Solve 3*r + 9 = v*r for r.
3
Suppose 5*o = 5*c + 165 + 115, -3*c = 12. Suppose 7*b - o = -17. Solve -3*q - 2 = -b for q.
1
Let y = -530 - -535. Suppose -y*j = -10 - 5. Solve 0 = j*s - 5 - 4 for s.
3
Let c = 49 - 44. Suppose -c*w = w + w. Suppose -15*n + 13*n + 40 = w. Solve k - n = -4*k for k.
4
Suppose 5*v - 4*g - 138 = -85, -2*g - 14 = 0. Solve -1457 = -v*r - 1427 for r.
6
Suppose 3*r - 52 = -5*f, r = -3 + 7. Let y = -1705 - -1705. Solve y = -4*s - 16 + f for s.
-2
Let g be (3 - (-24)/(-9))/((-22)/(-462)). Solve -21 = g*o - 0 for o.
-3
Let a = 30988 + -30971. Solve 0 = -a*t + t for t.
0
Let v be (-8)/48 - (-2)/24*38. Suppose j - 4 + 2 = v*p, -2*p = -5*j + 10. Solve p = 4*o - 5 - 11 for o.
4
Let k be (3*(-4)/(-18))/(4/24). Suppose d - k*w - 13 = 0, -4*d - d - 4*w = -17. Suppose h = -1 + d. Solve 0*o = h*o - 16 for o.
4
Suppose 3*n + 5*d = -25, 5*n - 105 = 94*d - 89*d. Let h = 0 - 0. Solve -2*t + h*t - n = 0 for t.
-5
Suppose -2*a + 17 - 9 = 0. Suppose -a*b + 67*b = 63. Solve -6*c - 23 = b for c.
-4
Let h(i) = 23*i + 163. Let r(c) = -13*c - 189. Let p be r(-14). Let y be h(p). Solve 24 = y*v + 14 for v.
5
Let v(s) = -3*s**2 + 11*s + 7. Let h be v(5). Let r = -14 - h. Let i be (-3)/(r/(7 + -5)). Solve 0 = -3*b - 3 - i for b.
-3
Suppose -243*q = -434*q. Let i be ((-2)/4)/(1/(-10)). Solve i*o - 8*o = q for o.
0
Suppose 5*n = -3*h - 0*n + 10, -h = n - 2. Suppose 0 = -8*f + 3*f + 2*q + 33, h = -5*f - 5*q + 40. Suppose -9*p - 13 + 40 = 0. Solve f = y + p for y.
4
Let i be (-52)/(-16) - 3/(-4). Suppose -1015 = 5*r - 12*r. Suppose r + 405 = 22*q. Solve -i*h + q = h for h.
5
Let g be (-4)/(140/(-1183)) - (-8)/(-10). Suppose 36*r - g*r = 3. Suppose 4*i - 11 = 3*v + r, 5*v = i - 3. Solve 4 = w - v for w.
4
Let k = -5691 - -9601. Solve k*u = 3907*u for u.
0
Suppose i - 25 = -4*i. Suppose i*b = -b. Let h = 7 + -4. Solve h*k - k + 10 = b for k.
-5
Suppose 0 = -o - 1 + 3, 0 = 4*i + 2*o - 520. Suppose k = -3*m + 4*m - 6, -14 = -3*m + k. Suppose -49 = m*v - i. Solve 4*h + v = 8*h for h.
5
Let q(h) = 5*h**3 - 52*h**2 + 20*h + 7. Let a be q(10). Let i(m) = -m**3 + 15*m**2 - 15*m + 20. Let s be i(14). Solve -a*t + t - s = 0 for t.
-1
Let z(u) = 2*u**3 + 21*u**2 + 25*u + 40. Let d be z(-9). Solve d*i - 48 = 34*i for i.
2
Suppose -b + 585 = 4*f, 2720 - 2612 = f - 4*b. Solve 0 = -131*v + f*v for v.
0
Let z(f) = f**2 - 99*f + 932. Let a be z(10). Solve 34*g - 40 = a*g for g.
-5
Let h(f) = -2932*f - 99684. Let z be h(-34). Suppose 6 = 2*r - 38. Solve -r*x = -24*x - z for x.
-2
Let n(o) = -o**3 - 3*o**2 - 12*o + 17. Let s be n(-7). Let v = 301 - s. Solve -1 - v = -c for c.
5
Suppose -38 = 6*l - 134. Suppose -2*z - 4*c = -l, -5*z - 18 = -10*z + c. Solve z = 3*q - 5 for q.
3
Let l(h) = h**3 - 8*h**2 - 8*h - 7. Let f be (45/(-10))/((-1)/2). Let s be l(f). Let a(z) = -z**3 + z**2 + 4*z - 3. Let b be a(s). Solve i - b = 2 for i.
3
Let p be 2/((28 - 33) + 27/5). Solve 0 = -10*j - p*j + 30 for j.
2
Let y = -141 + 157. Let k be y/(-12)*-1*-3 - -13. Solve k + 3 = 3*d for d.
4
Let z be (-87)/(-2) - (-4)/8. Suppose -7*g + z = 4*g. Suppose 2*n - 60 = g*h, -4*n - 3*h 