ve -d + 3*d - 2 = x for d.
1
Let o be ((0/(-2))/(0 - 2))/1. Solve -20*n + 14*n + 24 = o for n.
4
Let f(v) = -7*v + 7. Let k be f(6). Let m be 7*-1*10/k. Solve j + m*j = -3 for j.
-1
Suppose 7*n + 50 = 155. Suppose n = 2*i + 3*i. Solve 0 = -2*d + 3 + i for d.
3
Suppose -20 = -5*s, -2*s + 5 - 21 = -2*z. Solve 4*p = -0 - z for p.
-3
Let x(b) = b - 3. Let h be x(9). Let l(y) be the third derivative of -y**4/24 + 3*y**3/2 + 9*y**2. Let u be l(h). Solve 2*v = -u*v - 10 for v.
-2
Let d = 17 - 14. Suppose -d*l - l + 12 = 0. Let i be 22/3 - (-1)/(-3). Solve 4 = l*y - i*y for y.
-1
Suppose -5*o - 51 = -8*o. Solve c - o = -18 for c.
-1
Let m = 500 + -491. Solve 0 = 6*y - m*y for y.
0
Let j = 351 + -339. Solve -26*x = -29*x - j for x.
-4
Suppose 3*h - 2*x + 7*x - 77 = 0, 0 = h - 5*x - 59. Let y = h - 34. Solve y*n + 4*n = 0 for n.
0
Suppose -3 = 7*m - 8*m. Let d(h) be the second derivative of h**4/4 + 3*h. Let t be d(1). Solve m - 9 = -t*o for o.
2
Suppose 0 = -32*n + 901 + 1019. Solve n = 2*y + 58 for y.
1
Let b(h) = -h**3 + 11*h**2 + h - 11. Let l be b(11). Solve 0 = -4*g - 16 - l for g.
-4
Let l = -13 - -18. Suppose 2*d = d + l*k - 3, -3*d - 3*k + 9 = 0. Suppose 10 = 2*b, 2*f + b - 3 = d*b. Solve 9 = f*q - 3 for q.
3
Suppose 0 = -2*o + 162*i - 159*i + 4, -5*o = 4*i - 10. Solve -3*r - 14 = -o for r.
-4
Let n = 99 - 67. Suppose -5*o - n = -o. Let i = 8 + o. Solve 4*k - 20 = -i for k.
5
Let t(l) = l + 2. Let u(d) = 1. Let m(f) = -2*t(f) + 5*u(f). Let x be m(-1). Solve -1 = -x*w - 7 for w.
-2
Let x(q) be the third derivative of 7*q**2 + 0 - 1/6*q**3 - 1/120*q**6 + 0*q - 1/12*q**4 + 1/15*q**5. Let s be x(2). Solve s = -c - 1 for c.
-4
Let u(c) = 6*c - 43. Let r be u(8). Solve 0 = j + r*j - 6 for j.
1
Let a be (0 + -1)*-6 + (117 - 120). Solve 0 = a*v - 6 - 9 for v.
5
Suppose 0 = 5*d + 2*l - 6*l - 32, 4*l = -12. Suppose 5*r - 20 = -0. Let a = 6 - r. Solve q + d - a = 0 for q.
-2
Let f be (2 - 2)*2/(-6). Suppose f = 10*m - 8*m. Solve -3*g + 8*g = m for g.
0
Suppose -3*r + 155 = -6*a + a, -5*a = r + 135. Let c = a + 32. Solve -c = o - 7 for o.
3
Let f(d) = -2*d**2 + 14*d + 12. Let q be f(0). Solve 9 = -q*m - 15 for m.
-2
Let b = 21 - 19. Let z be -118 + b/(-2)*2. Let y be z/(-16)*(-10)/(-3). Solve 0 = -5*h - 5 + y for h.
4
Let v = 280 - 257. Solve 6*c + 7 + v = 0 for c.
-5
Let c(w) = -2*w**3 + 4*w**2 + 5*w - 2. Let g be c(-2). Solve -18*k - 8 = -g*k for k.
4
Let c = 1295 - 1267. Solve 7*s + c = 21*s for s.
2
Let r be 27/12*(-3 - 125/(-15)). Solve 14 = r*p - 22 for p.
3
Suppose 0 = 32*b - 33*b + 2. Solve -5 = -b*w + 3 for w.
4
Let o(j) be the third derivative of j**4/24 - 7*j**3/6 - 3*j**2. Let x = 7 - -5. Let d be o(x). Solve d*f = 11 + 4 for f.
3
Let x = -34 + 20. Let s be x/8 + (-11)/44. Let m be 6*(s - 0 - -3). Solve -w + m*w = 15 for w.
3
Let s(n) = 19*n**2 - 3*n - 2. Suppose -5 = -8*o - 13. Let h be s(o). Solve -2*j - 2*j + h = 0 for j.
5
Let t(o) = 4*o + 26. Let n be t(-6). Suppose -g = z, -7 = -g + n*z + 2. Solve -f - 16 = g*f for f.
-4
Suppose -5*r = 8 - 28. Suppose 3*j + 2*h - 58 = -46, 17 = j + 5*h. Solve f - j*f + r = 0 for f.
4
Let b(o) = -2*o**3 + 8*o**2 + 2*o - 6. Let n be b(4). Suppose 4*k = -n*s, 3*s + 2*s - 14 = -3*k. Solve 0 = -s*u - 0 + 12 for u.
3
Let p(x) = -13*x**3 + 17*x**2 - 1. Let n(w) = -7*w**3 + 9*w**2 - 1. Let i(b) = -11*n(b) + 6*p(b). Let o be i(3). Solve 6 = -3*s + o*s for s.
3
Let l be 15 + 4/(-8)*(3 + -3). Let n(y) = y - 11. Let f be n(l). Solve -f*g - 4 = 4 for g.
-2
Let g(q) = -22 + q - 3*q - 17 + 10. Let l be g(-17). Solve l*x - 4 = x for x.
1
Suppose 0*r = -4*r - 3*w + 3, -2*w + 2 = 0. Suppose -3*z + i = -10, 4*z - 2*i - 12 = -r*i. Solve -z*n + 3 - 7 = 0 for n.
-1
Suppose -36*k = -0*k - 180. Solve -5*a = -4*a + k for a.
-5
Suppose 34 = 5*g - 3*n - n, -3*n - 3 = 0. Suppose 20 = 3*q + 2. Let l be ((-39)/26)/(q/(-8)). Solve -v + g = l*v for v.
2
Let l be (13 + 4 + 2 - 7)/2. Solve -54 = -l*o - 78 for o.
-4
Suppose -8*b = -9*b + 8. Let u = 23 - b. Suppose 0 = -4*m + u - 3. Solve f = 5 - m for f.
2
Suppose 6*s - 51 = 81. Let b be ((-4)/6)/(s/(-825)). Solve -4*k - k = -b for k.
5
Let o be ((-18)/3)/((-24)/(-16)). Let q be o*(-2 + -3)/10. Solve -w = -q*w for w.
0
Suppose -n + 5 = -4*o, -o + 1 = -n + 6. Solve o = -5*w + 34 - 19 for w.
3
Let u(y) = y**2 + 4*y + 8. Let x be u(-7). Let o = 32 - x. Solve -h + 0*h = o for h.
-3
Suppose -8 = -7*y + 27. Solve f - 30 = -y*f for f.
5
Suppose 23 = 2*z - 3*s, -z - 4*s + 9 = -6*s. Suppose 22*x - z*x = 12. Solve -x*m = -5*m - 3 for m.
-3
Let n(s) = s**3 + 8*s**2 - 2*s - 13. Let p be n(-8). Suppose -1 = -2*g + 3, -g + 23 = p*a. Solve 5*h = a - 22 for h.
-3
Let s = 21 - 17. Suppose -s*m + 0*m - 4 = 0. Let l be (-1 - -4) + m - -1. Solve 0 = q + l*q for q.
0
Let y = 19 - 9. Suppose -76 = -111*u + 92*u. Solve 6 = u*p - y for p.
4
Let n = 59 - 48. Suppose 4*d + 7 = n*d. Solve d = y - 3 for y.
4
Suppose 0 = 33*k - 31*k - 12. Solve -k*m + 8*m = 2 for m.
1
Let a = 31 - 28. Suppose 0*o - o = -a. Solve -k = -o*k + 8 for k.
4
Let i = 2765 + -2762. Solve i*m - 12 + 3 = 0 for m.
3
Let i be 48706/3234 - 4/66. Solve -i*l = 1 + 59 for l.
-4
Let r = -780 + 814. Solve r*g - 29*g = -20 for g.
-4
Let q(m) = m - 1. Let r be q(4). Let w be 4696/(-84) - 6/63. Let o be ((-98)/w)/((-2)/(-8)). Solve -o = r*n + 2 for n.
-3
Let n be 1*(-3)/((-21)/(-28)) - -14. Solve n*f - 3*f + 28 = 0 for f.
-4
Let y = -5 + 8. Let z = 853 + -851. Solve -z*u = y*u - 15 for u.
3
Let w be 284/14 - ((-705)/105 - -7). Solve -6*y - 4*y = w for y.
-2
Let k = 9 + 1. Suppose -k*x + 5*x + 35 = 0. Suppose 3*n - 23 - x = 0. Solve 0 = -3*c + c - n for c.
-5
Suppose 4*i - 1 - 11 = 0. Let x = -45 + 97. Suppose 5*b - x = 8. Solve 3*f + i = -b for f.
-5
Let h = 0 + 8. Let d = h + -6. Suppose 3 - 11 = -3*a - d*w, -5*w - 30 = -5*a. Solve 0*i = -i + a for i.
4
Suppose -13*x = -16*x + 51. Suppose 5*m = 61 - 21. Let f = -3 + m. Solve f*b - 3 = x for b.
4
Suppose -2*w + 9 = 1. Let c(r) = -1 + 7*r - 5*r - 4*r**3 + 6*r**3. Let d be c(1). Solve -i = d*i - w for i.
1
Suppose 3*q + 81 = 4*h, -4*h + 31 = -q - 60. Solve -t + 13*t = -h for t.
-2
Suppose 0 = -4*f + 3*z - 0*z + 12, -f + 3 = -3*z. Let n be (-4)/5*45/(-18). Suppose k + k - 4*q - 8 = 0, 2*q = n*k - 6. Solve -4 = -f*g + k for g.
2
Let a(t) = t**3 - 13*t**2 + 2*t - 14. Let f be a(13). Suppose 0 = 73*y - 69*y - f. Solve 1 = y*s - 2 for s.
1
Suppose 0 = -3*u - 127 + 133. Solve u*v + 3*v - 10 = 0 for v.
2
Let i = 7 - 3. Let c = 10 - i. Suppose x = c*x. Solve x = 3*g + 3 for g.
-1
Suppose -7*z + 18 = -4*z. Solve 5*v + z = 1 for v.
-1
Suppose -4*k + 26*f = 25*f - 24, -2*f = -4*k + 20. Solve 13*m - k*m - 12 = 0 for m.
2
Suppose -3*k + 8*k + 2*n + 20 = 0, 3*n - 15 = 0. Let f = 10 + k. Suppose f*b = -b + 30. Solve b*d = 2*d for d.
0
Let l(o) = -2*o - 4. Let j be l(-5). Suppose 16*r - 231 = -17*r. Suppose -h + r = j. Solve -3*z = 5 + h for z.
-2
Let z = 305 - 287. Solve 6 + z = 6*d for d.
4
Suppose 5*c + 38 = 3*x, -26*x - 18 = -27*x + 3*c. Solve x*b + 17 = -7 for b.
-4
Suppose -2*d = -7*d + 20, w + 2*d + 37 = 0. Let x = 45 + w. Solve x*p = -2*p - 8 for p.
-4
Let x be (-3 + 4)/(5 + 98/(-20)). Solve -4*d + x = 22 for d.
-3
Let q = -274 + 282. Solve q = 13*r - 15*r for r.
-4
Let k be (-3 - (-385)/125) + (-1269)/(-75). Solve -16*u = -k - 31 for u.
3
Suppose -5*t + 2*j - 83 = -8*t, -5*t - 2*j = -133. Solve 24*x = t*x for x.
0
Suppose -115*g + 200 = -95*g. Solve g*r = -17*r for r.
0
Let i(z) be the third derivative of -z**5/60 - z**4/3 + 7*z**3/3 - 6*z**2. Let r be i(-10). Let f be 5/1 + r/3. Solve 0 = -h - f*h - 12 for h.
-3
Let r(u) = u**3 + 6*u**2 + 5*u - 8. Let h be r(-3). Solve -f = h*f for f.
0
Suppose -g + 7*k - 9*k - 2 = 0, 3*g - 4 = -k. Let a = 18 - 11. Solve a*s = g*s + 15 for s.
3
Let d be -3 + (-17)/((-102)/48). Solve 2*r = 3*r + d for r.
-5
Let a = 941 - 937. Solve -2*r = 2*r + a for r.
-1
Let z = 12 - 12. Let d be 142 + z + 1 + 2. Suppose 5*w + 20 - d = 0. Solve 3*b = -2*b + w for b.
5
Let s(k) = -6*k + 6. Let z be s(5). Let b = -21 - z. Solve b*y = -y + 16 for y.
4
Let x(y) = -y**3 + 6*y**2 + 5*y + 16. Let a be x(7). Suppose -4*u = -3*r + 11, -2*u + 8 = r + u. Let i = 8 - r. Solve -h + i*h = -a for h.
-1
Suppose -b - 3*a - 3 = -7, -4*b + 4*a = -16. Suppose -20 - 24 = -5*s + 4*n, 2*s + b*n = 12. Solve z = -z 