 - 19 for x.
3
Let d = 25 - -24. Let g = d - 82. Let q = 33 + g. Solve 6 = -q*a - 3*a for a.
-2
Let v be 1/(-2)*4/(-2). Let c = 800 + -799. Let p = c - v. Solve p*d - d = 5 for d.
-5
Suppose 740*n - 6341 + 37 = -748 + 1844. Suppose 0*k = -2*k. Solve n*y = -k*y + 40 for y.
4
Let x(r) = r**3 + 13*r**2 - 42*r + 79. Let u be x(-16). Let w(h) = h**2 + h + 1. Let s be w(-5). Let f = u + s. Solve -f*d + 3*d + 3 = 0 for d.
3
Let l = 6 - 3. Suppose 13 = 2*y - r, -2*y = 3*r + 11 - 20. Suppose y*w = 3*w + 5*t + 15, 5*w = 5*t + 25. Solve l*f = w*f - 10 for f.
5
Suppose -8*v - 84 = -20*v - 24. Solve -v*o = -0*o - 15 for o.
3
Let u(q) = 1000*q - 16350. Let a be u(17). Solve -4*m = 658 - a for m.
-2
Let n(p) = p + 4. Let f be n(0). Suppose -42*t - 6457 = -31*t. Let d = 592 + t. Solve -f*k + 1 = d for k.
-1
Let f = -765 - -765. Let r(u) = u**3 + 3*u**2 - 15*u - 1. Let d be r(3). Suppose 5*h + w - 23 = 1, 4*w = h + 12. Solve -3*g + h + d = f for g.
4
Let v be 2 - (0 + (3 - -1)) - -2. Suppose 0 = -42*d - v*d. Solve 13*f - 15*f - 8 = d for f.
-4
Suppose -3*m - 3*k = -27, -2*m + 33 = 3*k + 2*k. Let c be (-47 + 62)*(-1)/(3/(-2)). Solve m*f - 2 = c for f.
3
Let k = 28211 - 28143. Solve -21*c - k = -5 for c.
-3
Let y be 8/12 + (-1796)/12. Let l = -139 - y. Solve -14*w - 8 = -l*w for w.
-2
Suppose -4*o - 544 = -3*d + 130, 936 = 4*d + 4*o. Solve 38*v - d = -8*v for v.
5
Suppose 50*u - 55*u + 130 = 0. Suppose 0 = -5*r + 3*l + u, -5*r + l = -3*l - 28. Solve -n = r - 2 for n.
-2
Suppose -3*o = z - 531, -8*o + 4*z = -11*o + 540. Let m = o - 112. Solve l = -15*l - m for l.
-4
Suppose -q = 5*x - 1318 + 1246, 2*x = -2*q + 176. Solve -5*r - q = -92 for r.
0
Let v be 6 + (0 - 0)*1. Suppose 5*p + 3*o = -9, 4*o = 2*p - 5*p - 12. Suppose p = -3*t + 46 - 1. Solve t = -3*x + v*x for x.
5
Let n(b) = 4*b - 23. Let q be n(7). Suppose 2*f = q*s + 17, -f = 5*s - 3 + 2. Solve -5*h + 4 + f = 0 for h.
2
Suppose 0 = -2*q + 36 - 16. Suppose 13*z = q*z + 18. Let p = z + -2. Solve -p*d + 5 = -9*d for d.
-1
Let t be ((-252)/(-140))/((-3)/(-75)) - (5 - 2). Suppose -2*x = -5*u - 12, 12 = -0*x + 2*x - u. Suppose 6*v = t + x. Solve 0 = 2*g + v for g.
-4
Let g = 45 + -35. Suppose 2*m - g*v + 13*v = -4, 2*v - 1 = -5*m. Suppose 0 = -2*j - 2*l + m + 11, 8 = 2*l. Solve c + 2 + j = 0 for c.
-4
Suppose 172*g - 3939 = 133*g. Solve -4*t + g = 97 for t.
1
Let i(w) = w**3 - 5*w**2 + 29*w - 583. Let n be i(9). Solve -n*x + 4 = -4*x for x.
-2
Let h(y) = -2. Let t(o) = -o - 34. Let b(a) = -40*h(a) + 5*t(a). Let x be b(-18). Solve 3*j - j = x for j.
0
Suppose 338*l + 5 = 342*l + 5*m, -1 = 5*l - m. Solve -880*i + 888*i = l for i.
0
Let p(l) = l**3 + 16*l**2 + 12*l - 40. Let y be p(-15). Suppose 0 - 6 = 3*c. Let o be 6 - (3 + -2 - c). Solve o*a = y*a + 2 for a.
-1
Let y(t) = t**3 + 3*t**2 - 3*t - 6. Suppose -17 = 18*r + 19. Let j be y(r). Solve j*n + 3 = 11 for n.
2
Let u = 42571 + -42449. Solve -u = -30*k - 332 for k.
-7
Let g be (2/3)/((-85)/1326)*75/(-10). Solve -48 = -5*r - g for r.
-6
Let q(w) = -2*w**3 + 18*w**2 - 3*w + 27. Let x(l) = -7*l**3 + 84*l**2 - l + 21. Let y be x(12). Let k be q(y). Solve -5*v + k*v + 15 = 0 for v.
3
Let c = -9648 + 9648. Solve c = 20*o - 93 - 27 for o.
6
Let h be 8/(-36) - 87/(-27). Let u(m) = -1 - 370*m**3 + 369*m**h - 3. Let d be u(-2). Solve a + 6 = d*a for a.
2
Let z(b) = 3*b**2 - 5*b - 2. Let d = -300 + 298. Let y be z(d). Solve -7*n = -2*n - y for n.
4
Let z(d) = 3*d**2 - 27*d - 3. Let o be z(9). Let p be (0/o)/(16 - 17). Solve p = 3*l + 24 - 18 for l.
-2
Let p = -15 - -21. Let f(u) be the third derivative of u**6/120 - u**5/12 - u**4/4 + u**3/3 - u**2 - 629*u. Let o be f(p). Solve 5*a = o*a + 6 for a.
2
Let i be (-4)/8*(-8)/4 - -7. Suppose -13*z + i*z = -15. Let w = 5 - 3. Solve -z*b + w = -1 for b.
1
Let o be 95 + -5*(-9)/15. Let r = -103 + o. Let w be (6/r)/(45/(-150)). Solve -w*k = -3*k - 1 for k.
1
Let w be (-4)/(12/15)*3. Let x be 3/15 - 147/w. Let a = -28473 + 28473. Solve -x*l + 8*l - 10 = a for l.
-5
Let l be ((-20)/(-40))/(-2*(-2)/176). Suppose l = -7*i + 43. Solve 5*x = 2 + i for x.
1
Let q(c) = -15*c + 4*c - 11*c**2 - 1 - 8 + 2*c**3 - 3*c**3. Let o be q(-10). Let z be ((-6)/(-1))/(3 - o). Solve z*g - 6 = -0*g for g.
2
Suppose -5*s + 4*h = -2*s + 147, h + 222 = -5*s. Suppose 45 = -y + v, -y + 90 = -3*y - 2*v. Let d = s - y. Solve d = -0*a + a + 5 for a.
-5
Suppose -476 = -12*o + 26*o. Let t = -26 - o. Solve -t*d = -3*d + 5 for d.
-1
Suppose -4887*n = -4895*n. Solve n = -11*c - 101 + 68 for c.
-3
Let u be 196/105 - 2 - (-1086)/45. Suppose i + 1 = 2*y + u, -1 = y. Solve 33 - i = 3*p for p.
4
Suppose 8*x - 18*x + 20 = 0. Suppose 0 = v + x*c - 6 + 11, 2*c + 7 = v. Solve l + 3 = -v for l.
-4
Let j = 974 - 966. Let k(b) = -3*b + 2. Let r be k(-3). Let x = 17 - r. Solve -x*o + j = -2*o for o.
2
Let o = -20 + 25. Suppose o*y = 9*y + 292. Let j = -70 - y. Solve -j*l = -18 + 6 for l.
4
Suppose -i = -5*b + 35, -i = 2*b - 5 - 16. Suppose 30*c - b = 22. Solve -2*s + 5 = -c for s.
3
Let o = -113 - -125. Suppose -3*x - 2*x = -10. Suppose o*l - 26 = -x. Solve 2*p - l = 3*p for p.
-2
Suppose 2*s - 54 = 80*m - 84*m, 4*m - 31 = -s. Solve 0 = s*o - 15*o - 8 for o.
1
Let u(x) = -x - 1. Let w be u(-2). Let c = w + -1. Suppose 26*v - 85*v - 83*v - 35*v = 0. Solve y - 1 + v = c for y.
1
Suppose 1 = 2*f - 7. Suppose 0 = -f*q - 3 - 5. Let z be (5 - 4)*2 - q. Solve -h + 0*h = -z for h.
4
Suppose 0 = -3*f - 22 + 16, -266 = -4*w - f. Solve -w + 91 = 4*x for x.
6
Let c(r) be the second derivative of r**4/12 - 11*r**3/6 + 33*r**2/2 - 32*r. Let j be c(5). Solve -5 - 1 = -j*f for f.
2
Let y(z) = -z**3 + 21*z**2 + 20*z - 412. Let d be y(21). Solve 8*o - 12*o + d = 0 for o.
2
Suppose 2*v - 2*c + 6 = 3*v, 5*c = -v + 9. Let k(l) = -l**3 - 28*l**2 - 16*l + 297. Let z be k(-27). Solve z*p - 2*p + v = 0 for p.
2
Let j = 24 + -15. Suppose -35 = -13*q - j. Solve q*o = -3 - 1 for o.
-2
Let w(j) be the third derivative of -5*j**4/24 + 35*j**3/6 - j**2. Let z be w(5). Let a(v) = -v**2 + 12*v - 20. Let n be a(z). Solve q + n*q - 4 = 0 for q.
4
Suppose -169*w - 119 = -174*w - 24. Solve -23 = w*d + 91 for d.
-6
Suppose 5*k = 5, -4*x + 16 = -k - 3*k. Suppose -u = 3*j - 2, -x*j = 25*u - 26*u + 2. Solve u = 2*v - 2 for v.
2
Let i be 392/5 + (3 - (-153)/(-45)). Suppose i = -7*y + 13*y. Suppose 1 = -3*v + 2*w + 2, 0 = -v + 4*w - y. Solve -3*d + v = -2*d for d.
3
Suppose n = -11 - 24. Let h = n + 40. Suppose h*z - 6 = 14. Solve s + 2 = z for s.
2
Let g = -9875 + 11082. Solve 1218*b = g*b - 22 for b.
-2
Let g be 5 + 24/40 + 16/(-10). Suppose 5*z - g*j = 9, -2*z + 3*j = 4*j - 14. Solve 2*i = -z*i for i.
0
Let w(x) = 27*x - 344. Let o be 13 + 9 - 9*1. Let l be w(o). Solve -u - 5 = -l for u.
2
Suppose -4*f - 4 = 0, -4*f - 49 - 80 = -5*t. Suppose -t*n = -13*n. Solve n*s + 9 = 3*s for s.
3
Suppose 2817 - 233 = 130*k + 244. Solve -k*o = -45*o for o.
0
Let k(n) = n**3 - 11*n**2 - 58. Let l be k(12). Solve -3*m = l - 92 for m.
2
Let d(p) = 10*p + 6. Let q be d(-4). Let i be (-2 - -3)/((-164)/168 + 1). Let j = q + i. Solve -24 = -4*z - j for z.
4
Let u be (366240/110)/14 - (-4)/22. Let l be 680/u - -1*(-2)/(-14). Solve -l*p = -2*p - 5 for p.
5
Let h(i) = -628*i + 641. Let m be h(1). Let f be 3 + -2*(-11)/2. Solve -f = -a - m for a.
1
Let i(m) = -26*m - 7. Let t be i(-1). Suppose 6*j = t*j. Solve j*s = -s - 4 for s.
-4
Let s be -2*((44/(-8) - -1) + 3). Suppose -5*u + 5*h = -10*u - 10, -4*u + 6 = -s*h. Solve z - 7 + 11 = u for z.
-4
Suppose 0 = 4*l - 6 - 102. Let x be ((-117)/15)/(-13) + 256/(-10) - -2. Let t = x + l. Solve 2*d = t*d + 8 for d.
-4
Let x = -1 + 1. Suppose 383*i + 160 = 391*i. Suppose -13*k = -19 - i. Solve -2*b - b + k = x for b.
1
Let p(c) = -c**2 + 32*c + 179. Let h be p(30). Solve -h*t = -237*t for t.
0
Suppose 0 = -5*o + 6*o + 13. Let p = 15 + o. Suppose 2*c = 6, -2*y + p*c + 41 - 7 = 0. Solve 7*q - y = 3*q for q.
5
Let l be 1*(-2 + 5 + -6) + 800. Solve 0 = -11*b + l - 775 for b.
2
Let f(b) = -2*b**2 - 39*b - 1. Let k be f(-19). Let p = k - -14. Solve 5*y + p = 12 for y.
-4
Let b(v) = -90*v**3 + 4*v**2 + 14*v + 12. Let i be b(-1). Solve 7*j - i = -106 for j.
-2
Suppose y + 2*y = -3*j + 15, 0 = j - 5*y + 25. Let o(n) = -2*n + 16. Let b be o(j). Suppose b = 2*c + 2*g, 3*c + 0*g + g - 32 = 0. Solve -2 + c = 