e -3*x + j - 6 = 0 for x.
-2
Suppose -11*b + 84 = -70. Solve 25 = -b*l + 19*l for l.
5
Let l(r) = -3*r**3 - 13*r**2 - 6*r - 5. Let w be l(-5). Suppose 2*u + u = w. Solve 5*s = u - 0 for s.
5
Let v = -67 + 70. Solve v*c - 16 = -c for c.
4
Suppose h - 545 = -4*m, -287 + 14 = -2*m - h. Let y = m - 134. Solve y*l = 4*l - 8 for l.
4
Let p be (0 - 4)/2 + 6. Let f = -4 + p. Solve -2*q - 2*q - 20 = f for q.
-5
Suppose 48 = -30*h + 34*h. Suppose -5*n + 63 = -h. Solve 0*a - 3*a + n = 0 for a.
5
Let x = 251 - 251. Solve x*q + 12*q = 48 for q.
4
Suppose 3*m + 0 = 6. Suppose -x - 25 = -m*x. Solve -3*z - x = -8*z for z.
5
Let z = 2966 + -2962. Suppose 2*u + 3 = 13. Suppose p = -5*k - 25, 2*p + 5*k = -8 - 17. Solve p = u*w - z - 1 for w.
1
Let s = 16 + -11. Suppose -3*r - w + 9 = 0, r - s*w = -0*r + 19. Solve 14 - 2 = -r*t for t.
-3
Let a be 10/(10/(-3)) - -5. Solve -8*p - 24 = -a*p for p.
-4
Suppose -c + 45 + 38 = 4*v, 3*v - c - 64 = 0. Solve -26*a + v*a = -5 for a.
1
Suppose -5*d - 2 = 28. Let f be 44/12 - 2/d. Solve 1 = f*n + 21 for n.
-5
Suppose 18*d = 2*d + 144. Solve 2*v + 11 = -d*v for v.
-1
Let j(x) = -3*x**2 - 40*x + 2. Let s be j(-13). Solve -s = v - 17 for v.
2
Let n(z) = -z - 3*z - 13 + 5*z + z. Let j be n(9). Let v(c) = 2*c + 20. Let k be v(-8). Solve -k*w - j - 3 = 0 for w.
-2
Let w = -532 + 547. Solve -w*b + 9 = -12*b for b.
3
Let q = -86 - -86. Suppose q = -30*w + 34*w. Let j be (-1 + 2)*1/1. Solve -b + 4 + j = w for b.
5
Let z = 176 + -168. Solve 4 = -4*r + z*r for r.
1
Suppose 0 = 46*j - 48*j + 10. Solve j*i = 9*i - 16 for i.
4
Let r(f) be the third derivative of -f**4/12 + 34*f**2. Let u be r(0). Solve 4*z + u*z = 4 for z.
1
Let q be 78/65*(-10)/(-4)*2. Suppose 0*y - y = -q. Solve 3*c - 15 = y*c for c.
-5
Let s(h) = -17*h - 55. Let a be s(-8). Let x = -81 + a. Solve x*k = k for k.
0
Let r(f) = -f + 20. Let l be r(17). Suppose -l = -3*m + 3. Suppose -3*z + m*z + 9 = 0. Solve 0 = 5*x - z - 16 for x.
5
Let y = 10 + 13. Solve -g + y = 22 for g.
1
Let f be (52 + -12)/1 + -4 + -1. Solve f*v = 37*v for v.
0
Let v(q) = -5*q + 19. Let u be v(-6). Let g = 49 - u. Solve g*o - 3*o = 0 for o.
0
Let x = 0 + 0. Suppose -7*s = -2*s - 45. Suppose -s = -6*c + 9. Solve c*h - 3 = -x*h for h.
1
Let o(t) = -t**3 + 7*t**2 + 10*t - 9. Let a be o(8). Suppose 0 = -a*w + w. Solve w*m - 6 = 2*m for m.
-3
Suppose 2*s - 11 = 7. Let v(q) = -30*q**2 + 3*q - 1. Let f be v(1). Let o = 28 + f. Solve 3*k = -o - s for k.
-3
Let m be 0 + 13 + 28/(-4). Solve 0 = 12*y + m*y + 72 for y.
-4
Let v = 27 - 15. Let d be 1*(-4 + v/3). Solve 0*m + 3*m + 15 = d for m.
-5
Suppose -4*u + 2 = -10. Let c be (u + (-4 - -2))/(-1). Let h be 0/((c - -3) + -4). Solve -r + h*r = 5 for r.
-5
Let z = -2 - -9. Let o(j) = j**2 - 3*j + 3. Let q be o(3). Suppose 0 = 2*t - 10, -5*t + 18 = -3*y + 29. Solve -q*x = -z*x - y for x.
-3
Suppose -10 = -3*h - 5*k, h + k - 2 = 4*h. Let q be h - (-2)/4*0. Let s = 648 - 646. Solve s*t = -q*t for t.
0
Let c(d) = d**3 + 2*d**2 - d. Let s be c(0). Suppose 4*j = 3*a + 2 + 1, s = 4*j + 5*a + 5. Solve 2*f + f - 12 = j for f.
4
Let r = -1169 - -1172. Solve 29*o = 26*o - r for o.
-1
Let g be -2 + 44 + 2 - (-12)/(-2). Solve -10 = -g*c + 33*c for c.
2
Let b be (42/(-30))/(7/(-70)). Solve -72 = -b*q - 30 for q.
3
Let d(h) be the third derivative of -h**5/60 + h**4/24 + 24*h**2. Let p be d(0). Let s = 28 + -13. Solve p = 4*z - z + s for z.
-5
Let f be 2 - ((-2)/1 + 1). Let y = -326 - -330. Solve -f = y*k + 1 for k.
-1
Suppose 2*g = 5*k - 8 - 2, -5*k - 4*g = -10. Solve k = -5*p - 13 for p.
-3
Let q be 2*1 - (3 - 1). Suppose -18*b = -20*b + 10. Suppose 29 + 1 = 5*s + v, -b*v = 4*s - 3. Solve 4*x + s + 13 = q for x.
-5
Let o(p) = -p**2 - 5*p + 15. Let v be o(-5). Solve 0 = -10*u - 5*u - v for u.
-1
Suppose 2*v = f + 10, -f = -2*v - 5*f. Suppose 6 = v*c - 6. Suppose -29 = -5*k - 4. Solve 0 = c*o - 1 - k for o.
2
Let t(h) = -100 + 109 + 0*h + 4*h - 3*h. Let c be t(-5). Solve 2 = -c*l - 2 for l.
-1
Let u(x) = 3*x + 6. Let z be u(-3). Let l(t) = -t + 11. Let f be l(12). Let j = f - z. Solve 0 = 4*h - j*h + 4 for h.
-2
Suppose 19 = 5*q - 3*i + 6*i, -12 = -4*i. Suppose -q*s + 0*s = 0. Solve k + 4 = -s for k.
-4
Suppose 5*s = -3*o - 37, -o - 5*s + 3 = 32. Let k(d) = -d**2 - 5*d. Let n be k(o). Solve -n*a = a for a.
0
Let c(n) = n + 16. Let j be (-396)/90*5/2. Let m be c(j). Solve -7*p + m*p + 4 = 0 for p.
2
Let f be 49/(-35) - 171/(-15). Solve -14*b + 9*b = -f for b.
2
Let k = -25 + 27. Suppose 3*z - 30 = -5*b + 4, k*b - 1 = 3*z. Solve -b = -q + 6*q for q.
-1
Suppose 7*j + 24 = 5*j. Let n be (-1 - 3)*j/8. Solve 2*d - 2 + n = 0 for d.
-2
Let f(s) = -s**3 - 9*s**2 + 24. Let d be f(-9). Solve 2*j - 10*j = d for j.
-3
Suppose -95 = 2*v - 3*r + 17, -v - 3*r = 65. Let w = v - -63. Suppose 0 = 2*y - t + 4*t - 15, -24 = -3*y - 4*t. Solve 7*f - w*f = -y for f.
-4
Let a be 19/(-3) - (-8)/24. Let b be a/21*(-21)/6. Suppose 0 = 2*p - 3*p + 1. Solve -p = 2*v + b for v.
-1
Let k(l) = -l + 10. Suppose -12 = -r - 4*g + 3, -5*g = 5*r - 45. Let v be k(r). Suppose c = 5*s + 5*c + 10, v*s = -5*c - 19. Solve 0*h - s*h = 8 for h.
-4
Let p(v) be the third derivative of v**6/120 + v**5/10 - v**4/4 + 7*v**3/6 - 2*v**2. Let m be p(-7). Suppose m = q + 4 - 24. Solve 9*a - 4*a - q = 0 for a.
4
Suppose 0 = -33*a + 43*a. Solve -9*w + 12 - 3 = a for w.
1
Let t(d) = 4*d**2 + 10 + 4*d**2 - 6*d**2 + 0*d**2 - 8*d. Let w be t(5). Solve u = 5*u + w for u.
-5
Let m = 2 - -1. Suppose 170*x - 366 = -39*x + 26*x. Solve 5 + m = -x*w for w.
-4
Let i = 45 + -41. Suppose 5*t - i*t = 3. Solve g + 20 = -t*g for g.
-5
Suppose -13*t + t = -60. Let u(o) = o**3 + 6*o**2 - 7*o + 2. Let a be u(-7). Solve -t = -r + a*r for r.
-5
Suppose 3*b = -2*b. Let j be b + -4 + 2 - 0. Let c(u) = u**2 - 1. Let k be c(j). Solve k*r + 8 = -1 for r.
-3
Suppose -210 = -8*o - 27*o. Solve -g + 5 = -o*g for g.
-1
Suppose 5*x = 3*x + 17*x. Solve x = -5*k - 9 - 1 for k.
-2
Let n be (-3 - -6 - 2) + -7. Let r = -2 - n. Suppose -12 = -19*z + 15*z. Solve 11 - z = r*l for l.
2
Suppose 3 + 109 = 16*x. Solve -6 = x*r - 20 for r.
2
Let r(y) = -y**2 - 26*y - 47. Let h be r(-23). Solve 4*a + 26 = h for a.
-1
Let m be ((-5)/(-10))/((-2)/(-12)) + 0. Solve -4*d + m*d - 5 = 0 for d.
-5
Let z = 26 - 12. Suppose 2*w = z*w - 108. Solve 5*g - w = 16 for g.
5
Let b be -91 + (4 + -4)*1. Let g be (-3)/5 - b/35. Solve x = g*x for x.
0
Suppose -3*v + 9 = 3. Suppose 0 = -k - 5, 3*k = 4*m - 17 - v. Let n be m/(-3*(-1)/6). Solve 2*x - 2 = n for x.
2
Let h = -1266 + 1270. Solve h*c + 23 = 3 for c.
-5
Let d be (-13)/(-14) - 48/(-672). Solve 8*i - d - 15 = 0 for i.
2
Suppose -r + 3*r + 8 = 2*v, 0 = -2*v + 5*r + 11. Let l = -1 - -3. Suppose v*f - 5*f - 16 = -l*c, 0 = -2*f. Solve 0 = -w - w + c for w.
4
Let x(m) = -2*m**2 - 12*m - 7. Let y be x(-5). Solve -y = 4*h + 5 for h.
-2
Let g = 12 - 6. Suppose 7*f - 10*f = -g. Solve -4*k + f*k = 2 for k.
-1
Let z be (-1 - -3)*(40/5)/4. Let b = 11 - 8. Solve b*q + 1 = z for q.
1
Let s = -37 + 29. Let d be 80/s*(-4)/10. Solve 0 = -d*y - 0*y for y.
0
Suppose -p - 7*t = -2*t - 103, 2*p + 5*t - 196 = 0. Solve 13*b + 28 = p for b.
5
Suppose -2*m = 4*b - 1 - 1, -5*m + 19 = -4*b. Suppose -4 = -v + m*v. Let h be 2 + v + 3 + 3. Solve 5*u + 3 = h*u for u.
3
Suppose -9 = -4*d + 4*q + 111, 0 = 4*d + 2*q - 132. Solve 3*r + d = 17 for r.
-5
Let b(q) be the third derivative of q**5/60 - q**4/3 + 7*q**3/6 + 25*q**2. Let d be b(7). Solve -2*a + 5*a = d for a.
0
Suppose 2*c - 3*c + 4 = 0. Suppose 4*r = 5*x + 138, -x + 40 = r - 5*x. Let m be 520/(-39)*(2 - r/10). Solve -c = 4*f - m for f.
3
Let a = 833 - 819. Solve a*r + 36 = -20 for r.
-4
Let t = 7 + -5. Suppose -6*k + 9 + 99 = 0. Solve -4*j = k - t for j.
-4
Let a be -6*(-11 + 1 + 8). Solve a*y + 12 - 12 = 0 for y.
0
Let i be (-4)/(-3)*(4 - 1). Suppose -5*f + 9 + 11 = -2*y, 16 = -3*y + 4*f. Solve y*q = -i*q for q.
0
Suppose 3*z - z = 8, -4*q + 20 = z. Let j = 0 + 4. Solve 0 = 4*o + q + j for o.
-2
Suppose -20 = u - 6*u, 28 = 3*a + 4*u. Let x = 812 - 803. Solve a*v = -x - 7 for v.
-4
Let n(x) = -30*x + 5. Let l be n(-3). Suppose -2*r + a + 43 = 0, l = 5*r - 2*a - 12. Let i = r - 20. Solve 0 = -2*z - i - 5 for z.
-3
Let f be (-2)/5 - (235/(-25) + 1). Solve -g = g + f for g.
-4
Let w = -258 + 260. Solve -9 = -b - w*