i - 17 + 7 = t for i.
5
Let r = 387 + -386. Solve -4*t = -r + 9 for t.
-2
Let k = 146 - 148. Let q be (-145 + 0)*-1 + -2. Let s be k/(-12) - q/(-78). Solve 1 + s = -u for u.
-3
Suppose -274*l + 275*l - 15 = 0. Solve 0 = 4*f - l*f - 11 for f.
-1
Suppose 10*v = 12*v + 5*j - 28, 2*v = j + 28. Solve v - 29 = -5*u for u.
3
Let n(z) = z + 6. Let m be n(2). Suppose -11 + 107 = m*k. Solve -v + k = 3*v for v.
3
Let h = -126 + 180. Let d = h - 51. Solve -d*a = -2 - 7 for a.
3
Let d(p) = 41*p**3 - p**2 + 2*p + 1. Let q be d(1). Solve 17*a = -9 + q for a.
2
Let k(m) = m**2 + m. Let y be k(0). Let c be y/9*1/3. Solve c*i + 16 = -4*i for i.
-4
Let z be (-4 - -8 - 3)/(2/(-50)). Let v = z + 29. Solve -l + v = -5*l for l.
-1
Let v(o) = -16*o + 71. Let g be v(4). Solve -g*u + 13 = -15 for u.
4
Let j(q) be the first derivative of -q**4/4 - 8*q**3/3 + 4*q**2 - 8*q + 2. Let r be j(-9). Let p be (2 + r)/(6/4). Solve n = -n + p for n.
1
Let r = -25 + 47. Let b be 158/22 + r/(-121). Solve b = -4*c - 9 for c.
-4
Suppose y - 26 = 5*q, y + 20 = -5*q - 4*y. Let g be -15*(9/135 - (-2)/q). Solve -3 - g = 4*i for i.
-2
Let g be (-6)/10 + (-978)/(-30). Let u = g - 16. Solve u = 5*a - 4 for a.
4
Suppose 2*t - 4*p = -0*p - 12, 3*t = -4*p + 12. Let d be (-2 - t) + 4 - 1. Solve -2*w + 3*w = d for w.
1
Suppose -2*z + 3*z = -1, 0 = -4*a + 2*z + 14. Let f = -17 + 20. Suppose 0 = 4*c - 5*t - f, -a*c + 3 + 4 = t. Solve -3*m = -c*m + 3 for m.
-3
Let b = -502 - -533. Solve 12*d = -5 - b for d.
-3
Suppose 23 = -p + 19, k = -3*p + 2. Solve 0*u = -k*u for u.
0
Let k(i) = -57*i + 173. Let j be k(3). Solve j*h + 3*h = -10 for h.
-2
Let f(x) = x**2 + 11*x - 9. Let w be f(-12). Suppose 0*d - 21 = w*d. Let i = d - -11. Solve -2*s + 0*s - i = 0 for s.
-2
Let m = 391 - 383. Solve 7*a = 3*a + m for a.
2
Let l(t) = -7*t**2 - 23*t + 2. Let b be l(-3). Solve -b = -w - 7 for w.
1
Let z be 0 + (-2)/(-9) + 32/18. Solve z*d = -9*d + 33 for d.
3
Let o = -44 - -42. Let s be -4 + -3 + 15 + o. Solve -2*u = s + 4 for u.
-5
Suppose 0 = -11*w - 31 + 350. Let y = 46 - 67. Let z = y + w. Solve -3*g + g + z = 0 for g.
4
Let s(p) = -16*p + 3. Let j be s(1). Let c = -10 - j. Solve 0*z - 3 = -c*z for z.
1
Let r be (-9)/(-6) - (-2)/4. Suppose r*i - 3 = -3. Solve 4*y = -i*y - 20 for y.
-5
Let i = 8 + -32. Let w be 3/2*i/(-18). Solve -d + w + 2 = 0 for d.
4
Suppose -11 = q - 14. Suppose -4*f + 16 = 0, -3*b = -2*f - f + q. Solve b*z = 5*z + 6 for z.
-3
Let s = -37 + 38. Suppose 2*h = -2*g + 10, -3*g + 3 = -h - 4. Solve -g = k - s for k.
-2
Suppose -11 = 4*x - 3*x + 4*m, -5*m + 107 = -4*x. Let f = x + 29. Let i = 6 - f. Solve i = 4*b + b - 20 for b.
4
Let c be (2/4)/((-2)/12). Let n be ((-4)/10)/(c/30). Suppose 0 = -6*w + n*w. Solve 0 = -w*r + 5*r - 20 for r.
4
Suppose 3*h = 5*i + 93, 4*h - i + 37 = 161. Let r = h + -27. Solve -1 = r*u - 3*u for u.
-1
Suppose 32 - 117 = -5*q. Suppose -b - 60 = -5*b. Let o = q - b. Solve o*f - 6 = -f for f.
2
Let r be -4 + 7 + -2 + 4. Suppose r*c = 10 + 65. Solve 0*a = -3*a + c for a.
5
Let y be 48/(-168) - 69/(-21). Solve -y*f = 2 + 7 for f.
-3
Let b be (-1 + 6)/(2/2). Let l(v) = 9*v + 36. Let j be l(-3). Solve -b*m + 11 = -j for m.
4
Let r = -293 + 297. Solve -4 - 4 = r*q for q.
-2
Suppose 2*p - 7*p = -15. Suppose 4*m = -5*i - 442, 0 = m + 3*m + 3*i + 438. Let b = -108 - m. Solve b = -p*c + c - 8 for c.
-4
Suppose 0 = -4*h - 0 + 8. Let n = -1396 - -1396. Solve 2*b + n*b = h for b.
1
Suppose -2*p = 2*p. Suppose 0 = 3*u - p*u + 18. Let k be (u - (0 - 3)) + 7. Solve -1 + 5 = k*z for z.
1
Suppose 94*h + 68 = 98*h. Solve 16*p = h*p + 3 for p.
-3
Suppose 0 = -2269*t + 2280*t - 88. Solve 19 + t = 9*q for q.
3
Let i(h) = 2*h - 7. Let b be i(-10). Let m = -24 - b. Solve -m*a - 10 = -5*a for a.
5
Suppose 2*u - 43 = -3*a + 3*u, 0 = 4*u - 8. Let t be (-9)/a - (-54)/(-10). Let q be t/10 + (-104)/(-40). Solve -q = 3*v + 1 for v.
-1
Let n(p) = -2*p + 10 - 4 - 5. Let k be n(-1). Suppose k*l = -2*c - 2*c + 32, 0 = -5*l + 4*c + 64. Solve -2*v + l = 2*v for v.
3
Let a = 1342 + -1331. Solve -a*g + 10*g = -2 for g.
2
Let d(u) = 6*u**3 - 2*u**2 + u. Let q be d(1). Suppose 3*j - v - 10 = 0, 15 = 4*j - q*v + 2*v. Solve -j*s = -s for s.
0
Suppose -2*f + 10 = 3*p, 2*p - 16*f - 12 = -20*f. Solve 2 = p*j + 6 for j.
-2
Suppose 0 = -3*x - q + 16, -x + 3*q = -2*x. Solve 7*i - 4 = x*i for i.
4
Suppose 0 = -2*w - 135 + 5. Let n = w - -110. Suppose 8*y + n = 13*y. Solve 3*j - y = 3 for j.
4
Let w(a) be the third derivative of -a**6/120 + 7*a**5/60 + a**4/24 - 7*a**3/6 - 11*a**2. Let g be w(7). Solve g = v - 0 - 2 for v.
2
Let x = 34 + -29. Let f(k) = 4*k**2 - 20*k. Let q be f(x). Solve q = -3*w - 0*w + 12 for w.
4
Suppose 5*h + 6 + 12 = f, -3*f = 5*h + 6. Let i(q) = q**3 - 62*q**2 + 119*q + 64. Let k be i(60). Solve -f = k*d - 15 for d.
3
Suppose -12 = -3*b + s - 2*s, -4*b + 27 = 5*s. Suppose -2*r - 10 = -3*k - 0, -b*k = -6. Let z be (70/20)/((-1)/r). Solve -25 = -z*q + 2*q for q.
5
Let i be -9 + (-2 + -2 - -16). Solve 0 = i*b - 7 + 1 for b.
2
Suppose 4*j - 2 = -26. Let d be (104/12)/(j/(-9)). Solve 3*s - d = -1 for s.
4
Suppose -15 = -2*i + h, -2*i + 18 = -3*h + 5*h. Let j = -7 + i. Solve -j + 5 = 4*x for x.
1
Let g(k) = k**3 - 7*k**2 - k + 4. Let l be g(7). Let o = l - -4. Suppose 0*r - o = -r. Solve -r = -2*v + 1 for v.
1
Suppose -5*p + 15 + 30 = 0. Suppose 4*b - 8 = 2*o, 5*b = 5*o - 2*o + p. Let s be o/(-4) + (-10)/(-4). Solve s*d = d for d.
0
Let t(o) = 2*o**3 + o**2 - 3*o + 2. Let m be t(1). Suppose -b = -5*i + 27, -2*i + 0 = 2*b - 6. Solve -i*h = -13 - m for h.
3
Suppose -38 = -9*v + 43. Solve v*w - 3*w = 24 for w.
4
Let n = -46 + 51. Suppose m + 5*r = n - 3, -6 = -3*m + 5*r. Solve 3*b + 5 = m for b.
-1
Let m be 2/5 + 354/15. Let t = 25 - m. Solve -t = -w - 5 for w.
-4
Let u = -393 + 399. Solve 2*o - u*o + 20 = 0 for o.
5
Let w(j) = -j**2 + 2*j + 19. Let u be w(5). Let i = 3 - 1. Solve -u*q = -i - 2 for q.
1
Let n = 76 - 61. Let k be n/12 + (-1)/4 + 3. Solve k*p + 0 - 4 = 0 for p.
1
Suppose -497*l + 69 = -474*l. Suppose 0 = -2*i - 2*i - 2*u + 14, 5*i - 5*u = 10. Solve l*y = -0*y + i for y.
1
Let s = -6 + 12. Let d be (-4)/s + (-44)/(-12). Solve -l + d*l + 2 = 0 for l.
-1
Let l = -65 - -10. Let h = 55 + l. Suppose 45 = -4*k + 157. Solve h = -4*s + 8 - k for s.
-5
Suppose 2*m = m + 14. Suppose 2*u - 4*f - m = -3*f, 0 = -4*f - 16. Solve -2*z = -u*z - 9 for z.
-3
Suppose 0 = 5*i - 6 - 19. Let u be 61 + (3 - (3 + -3)). Suppose 0 = 4*q + 8 - u. Solve i*b + 11 + q = 0 for b.
-5
Let o(p) = -p**3 + 20*p**2 - 19*p + 3. Let n be o(19). Solve 8*d = n*d for d.
0
Let c = 357 - 352. Solve 1 = -3*v - c for v.
-2
Let b(z) = -13*z - 19. Suppose 9*c + 33 = 6. Let k be b(c). Solve 0 = -4*a - 0*a + k for a.
5
Suppose -2*c - 15 = -b, -b - 11*c = -6*c + 6. Solve 5 = -b*q - 40 for q.
-5
Let c be ((-114)/(-12) - 11)*-10. Solve -9 = -2*b - c for b.
-3
Let q = -7 - -11. Suppose 4*p + o = 13, 0 = 4*p - 0*p - q*o - 28. Solve 3*k = p*k + 3 for k.
-3
Suppose -3*z = 2*x - 3, 2 = -2*x - 2*z + 4*z. Solve 0 = -x*m + m - 4 for m.
4
Let l(j) = -j**3 - 6*j**2 + 5*j - 12. Let y be l(-7). Suppose y*n = n + 4. Solve -5*u - n = 6 for u.
-2
Suppose 6 = -g + 4*g. Suppose 4*y = -5*o + 12, 0 = g*o - y + 5*y. Let f be (-12)/18 - 10/(-6). Solve -3*w = f - o for w.
1
Let q(b) = -3*b**3 + 3*b**2 + 2*b + 1. Let a = 38 - 39. Let t be q(a). Solve t*w - w - 12 = 0 for w.
3
Let v = 123 - 24. Let w = v + -99. Solve w = -o + 3 - 1 for o.
2
Suppose -34*c = -33*c. Suppose 3*z - 7 + 1 = c. Solve -4*b - 18 = z for b.
-5
Suppose -22 = -5*v + n + 2, -12 = 3*n. Solve -2*j = v*j + 24 for j.
-4
Let l be 2/4 - 9/(-2). Let u(y) = -y**2 + 14*y + 77. Let n be u(18). Solve n = 6*o - l*o for o.
5
Let i be -1 + 5 - 3 - 17. Let z be (-4)/6*(i + 7). Solve 3*c - z = -0 for c.
2
Let j(n) = n + 12. Let q be j(-6). Suppose 0 = -91*u + 442 - 78. Solve -q = u*p - p for p.
-2
Let w be (123/24 - 2/16) + 1. Suppose 0 = 4*r + 2*h + 6, -w*r - 3*h = -3*r + 9. Solve -5*x + 15 + 5 = r for x.
4
Let m be (-14)/(-4*(-5)/(-40)*1). Solve -m*b + 25*b + 15 = 0 for b.
5
Let x be 1/6 + (-11)/(-6). Let p be (-2)/(-3)*(-3)/2 + x. Solve 0 = 2*b - 3 + p for b.
1
Let t = 16 + -11. Suppose -2*a = -t*a + 24. Solve b = 3*b - a for b.
4
Let t be 4 - ((-1)/(-1) - 0). Suppose 2*q - 4 = g, 0 = -t*q - g - 10 + 11. So