 - 12 = -13*u for u.
-2
Let c be 7/3 - 2/6. Let o(z) = 6*z**2 - 4*z**3 + c + 5*z - 2*z**3 + 3*z**3 + 4*z**3. Let t be o(-5). Solve 2*b = -t*b for b.
0
Let u be ((-3)/(-2))/(21/(-28)) - -4. Solve -34*v + 32*v = u for v.
-1
Suppose -49 + 1 = -8*d. Let u(z) = -2*z**2 + 15*z - 8. Let v be u(d). Solve 7*t = v*t - 9 for t.
3
Let c = 71 - 47. Suppose 7*f = 11*f - c. Solve f*j = 3*j for j.
0
Let q = 1 + -3. Let l be (-1 - q) + 10*-1. Let m(a) = a**3 + 9*a**2 - 2*a - 9. Let g be m(l). Solve -s + g = 2*s for s.
3
Suppose 195 = -5*z + 5*f - 190, z = -3*f - 57. Let r be 27/8 + 27/z. Solve r*v = v + 6 for v.
3
Suppose -3*n + 18 = -3*y, -5*y = 3*n - 0*n - 18. Let j(c) = -c**2 - 5*c - 4. Let b be j(-4). Solve b = -n*i + i - 25 for i.
-5
Let h(f) = 51*f**2 - 3*f + 1. Let w be h(1). Let v = w + -41. Solve 0*n = -4*n + v for n.
2
Suppose -q + 60 = 19*q. Solve q*n + 7 = -2 for n.
-3
Let p be ((-393)/6 - 2)*(-112)/(-70). Let a = p - -114. Solve d + a = -d for d.
-3
Suppose 8*v + 46 = s, -2*v + 32 = 2*s - 6*v. Solve 11*f = s*f - 15 for f.
-3
Suppose 3*g + x - 38 = 0, -5*g - 5*x + 39 = -11. Let a be -4 + -1 + -1 - 1. Let f = a + g. Solve 1 + f = -2*w for w.
-4
Let a = 18 + -14. Solve -i = i - a for i.
2
Suppose -17 = -2*h - 5*z, h - z = z - 5. Let f be (-3)/(h - (-20)/(-18)). Solve 4*i + f = 7 for i.
-5
Let n(u) = -42*u - 2. Let c be n(1). Let z = -39 - c. Solve z*k + 5 = -0*k for k.
-1
Suppose -700*m + 694*m = -18. Solve 2 = -2*a + m*a for a.
2
Suppose -3*x + 3 + 12 = 0. Let h be (-4)/6*(-4)/((-32)/(-84)). Let r(c) = c**2 - 11*c + 20. Let t be r(9). Solve -h*s + t*s = x for s.
-1
Suppose 3*x + 3*f - 120 = 0, 0*x - x = -f - 44. Suppose -x = v - 8*v. Solve 19 = -5*y - v for y.
-5
Let a(h) = -h**3 - 10*h**2 - 11*h - 14. Let p = 210 - 219. Let y be a(p). Let t be ((-4)/2 + 1)*0. Solve t*j = -4*j + y for j.
1
Suppose -4*k - 2*i + 10 = -14, k - 6 = -5*i. Let d = k + -4. Suppose 5*o = 15, 27 = -f + d*f + 5*o. Solve -2*r - f = -2 for r.
-5
Let h(x) = 2*x**3 - 10*x**2 + 3*x - 1. Let u be h(5). Solve 0 = u*z - 11*z for z.
0
Let b be ((-4)/6)/((-1)/3). Let t = 49 + -44. Solve 1 = b*f - t for f.
3
Suppose -5 = -a, 2*a = -3*h + 15 + 52. Let o = -18 + h. Suppose -2*s = 3*z + o, 4*z + 5*s + 8 = 2*z. Solve z = t - 1 for t.
2
Let m(b) = -6*b**3 + 2*b + 5*b**2 + b**2 - 7 + 5*b**3. Suppose 24 = -3*t + 7*t. Let s be m(t). Solve -5*v - s = -0*v for v.
-1
Let l(u) be the first derivative of -u**2/2 - 2*u - 2. Let g be l(-2). Let k(q) = -2*q**2 + 20*q - 32. Let f be k(8). Solve g = -3*a - f + 9 for a.
3
Suppose 5*w - 11 = 5*m - 2*m, 0 = -m - w + 7. Suppose -16 = -m*l - 7. Solve 12 = -l*o - 3 for o.
-5
Let a = 7 - 4. Suppose -3*r + 0 - 3 = -q, -q = -4*r - a. Suppose -9 = 26*o - 23*o, 4 = -2*z - 4*o. Solve 12 = -r*g - z*g for g.
-3
Let m be (7 - 5) + (2 - 0). Suppose -a - m*a = 30. Let h = a - -9. Solve q - h = -4 for q.
-1
Let g(d) = d**2 - 9*d + 6. Let c be g(9). Suppose 2*p - c = 8. Suppose -6*h = -4*h - 2. Solve p - h = -2*f for f.
-3
Suppose -9*g = 2*g. Solve -12*a - 12 = -g for a.
-1
Suppose 27 = 2*f + f. Let k = 3 + -3. Suppose 5*t - 4*t - 3 = 0. Solve -t*b - f = -k*b for b.
-3
Let f be (2/(-8))/((-21)/(-532))*-9. Let o = -42 + f. Solve 0*v + o = 5*v for v.
3
Suppose 5*d + 3*j = 36, 6*d - 4*j - 16 = 2*d. Suppose -3*t + 26 = 4*v + d, -10 = -5*t + 5*v. Solve -t = -r - 0 for r.
4
Let l = -13 + 17. Suppose -4*b - l*i = 0, -2*i = -5*b - 6*i. Suppose 2*w + b*w + 3*u = 4, 0 = u. Solve w + 3 = o for o.
5
Let o be 1/(30/12) - 36/(-10). Let q = -10 - -7. Let y = 0 - q. Solve -y*a - a = -o for a.
1
Let q(a) = -a**3 + 0 + 1 + 0*a**2 + 6*a**2 - 5*a - 4. Let j be q(4). Suppose 0 = 3*w - 0 - j. Solve 4*s - w*s + 2 = 0 for s.
-2
Suppose 0 = 2*l + 12 - 30. Let r(k) = k**2 + 14*k - 32. Let o be r(-16). Solve o = l*h - 7*h for h.
0
Suppose -4*d + 4*m = 0, m + 0*m = 2. Let a be (14 + -12)*1/d. Solve 4*u - a = 3 for u.
1
Let r = -299 + 304. Solve 6*v + r = 35 for v.
5
Let x be (1 - 2) + (4 - -6). Let w(a) be the first derivative of a**4/4 - 8*a**3/3 - 9*a**2/2 + 2*a - 4. Let y be w(x). Solve -y = -3*o + 7 for o.
3
Let z be (0 + -1)*-5 + 4. Suppose -z*j + 66 = -6*j. Let h = j + -17. Solve 2*c - h = c for c.
5
Suppose 9*k - 4*k + 48 = 4*i, -4*k = 3*i - 36. Solve 0 = i*x - 7*x for x.
0
Let m(k) = 4*k - 11. Let z be m(12). Let h = z - 23. Solve h = 2*f + 4 for f.
5
Let y(d) = d**2 - 14*d - 29. Let x be y(16). Suppose -15 = 5*w - 3*t, -4*w + t - x = 2. Solve w = -4*c + c for c.
0
Let q(f) = 4*f**2 - 2*f - 6. Let z be q(4). Solve z*n = 45*n + 15 for n.
3
Suppose -3*k = -2*b - 1 - 1, -b = 5*k - 25. Solve 4*f + k*f - 32 = 0 for f.
4
Suppose -4*u + 11 = -3*u. Let c = 16 - u. Suppose -4*z = -3*n - 4, 3*n + 2*n = -4*z + 36. Solve -n*v - v = c for v.
-1
Suppose 44 = 4*d + 4*a, 5*d + 0*a - 5*a = 35. Let y(u) = -2*u - 2. Let c be y(d). Let o = 22 + c. Solve -15 = -i - o*i for i.
5
Let k = 1538 - 1520. Solve 10*w = k*w + 16 for w.
-2
Suppose -2*s + 5 = -3*g - 0, -3*s + 9 = -4*g. Let a be (-4)/s + 50/14. Solve 0*t - t = a for t.
-3
Let t be 11/(-22) + (-65)/(-2). Suppose -t*x = -36*x + 24. Suppose -n + 3 = -0. Solve x*l - n*l - 12 = 0 for l.
4
Let s(r) = 5*r + 84. Let b be s(-13). Solve 20*c = b*c + 1 for c.
1
Let m be 2/(-3) - (-4)/6. Suppose 16*k = 12*k + 20. Suppose -2*a - 14 = -k*y, -y - 5*a + 19 = -m*y. Solve 0*f = y*f for f.
0
Let w(g) = 9*g - 499. Let i be w(56). Solve 10 = -i*p + 7*p for p.
5
Let p(d) = 7*d + 32. Let i(l) = 3*l + 16. Let x(o) = 10*i(o) - 4*p(o). Let v be x(-15). Solve 2*n + v*n = 0 for n.
0
Let r = -20 - -22. Solve -q = -3*q + r for q.
1
Suppose -20*b + 16*b + 20 = 0. Let n(i) = -i**2 + 4*i + 11. Let m be n(b). Solve 4*k + 10 = -m for k.
-4
Suppose z - 4 = -z. Suppose z + 18 = 5*b. Solve b*c - 15 = c for c.
5
Suppose 2 = b + s, b - 2*s = 2*b - 4. Let v(w) = -8 - 2*w + 4*w - 4*w + b*w. Let t be v(-5). Solve 7 = t*d + 3 for d.
2
Suppose 1 = 3*u + 4*f, u - f - 8 = -u. Solve 0 = -u*c - 77 + 74 for c.
-1
Let g(z) = z + 17. Let j be g(-8). Suppose 3*i - 4*u - j = -3, -3*i - 4*u + 6 = 0. Suppose 0 = -4*k - 0*k + t - 5, i*t = 10. Solve k = -0*a + 5*a - 5 for a.
1
Let x = 108 - 170. Let o = x - -66. Solve -o*r = 8 - 0 for r.
-2
Let k = 7 - 12. Let x = -4 - k. Suppose 4*p - 8 = 12. Solve p*c + x = -4 for c.
-1
Suppose 10*s - 1027 = -69*s. Solve 0 = s*x - 84 + 19 for x.
5
Let p = -521 - -529. Solve p*h - 12*h = h for h.
0
Suppose -269 - 211 = -8*c. Let w be 2/((-3)/(c/(-8)*1)). Solve w*b - 3*b + 4 = 0 for b.
-2
Let u(n) = 64 - n - 64. Let m be u(0). Solve m = 5*b - 0*b + 15 for b.
-3
Let d be -15*(-18)/(-135)*-27. Solve -d = s - 56 for s.
2
Let k = -39 - -81. Suppose 39*t - k*t = -12. Solve -t*f = -3*f + 5 for f.
-5
Suppose 0*s = -s. Suppose s = -o + 1, 5*y - 4*o + 29 = -15. Let x be ((-32)/20)/(y/20). Solve g = -0*g - x for g.
-4
Let w be 8/20 + 485/(-25). Let j = w - -23. Solve -j*b = -0*b + 16 for b.
-4
Let x(c) = c**2 + 5*c + 6. Let f be x(-4). Let j = -18 + 18. Suppose -w - f*w + 18 = j. Solve -z + w = 2*z for z.
2
Suppose 3*b = 2*c + 10, 0*b - 3*c = -3*b + 6. Solve -b = -4*p + 2 for p.
2
Suppose -4*q = 28*q + 18*q. Solve 3*h + 9 - 3 = q for h.
-2
Suppose -6*z = -3*z - 12. Suppose 4*x - 13 = -0*l - l, z*l - 35 = x. Suppose 0 = l*d - 11*d. Solve 0*p - 3*p - 12 = d for p.
-4
Let s = 0 - 6. Let t be -6 - 3*4/s. Let u be (-16)/t - -11 - 3. Solve 4*a + u = a for a.
-4
Let b be (-4 + 4 + 0)*(-5)/10. Suppose -4*v + 2 = 5*o - 14, 4*v = -4*o + 16. Solve b*y - v = -y for y.
4
Let q be -1 + ((-2 - -4) + -2 - -15). Let z = q + -12. Solve -20 = -z*p - 2*p for p.
5
Let f(l) = -l**3 + 5*l**2. Let x be f(5). Suppose -19691*n - 76 = -19710*n. Solve -h = -x*h + n for h.
-4
Let s(q) = -5*q - 97. Let x be s(-25). Solve 0 = 14*c - 7*c - x for c.
4
Let i = 6 - 3. Let z be 38/(-10) + (-36)/(-45). Let n = i + z. Solve n = -2*m + 1 + 5 for m.
3
Let r = -12 - -21. Suppose 5 = -5*b, -r = -2*n - b + 6*b. Let h be (-10)/(-25) - 136/(-10). Solve n = -4*j - h for j.
-4
Let g(j) = -2 + 8*j - 2 - 4*j**2 + j**2. Let r(z) = -z**2 - 1. Let h(c) = -g(c) + 2*r(c). Let k be h(8). Solve 0*p = -k*p for p.
0
Let f be (5 + (-64)/12)*-21. Solve -f*s + 9 - 30 = 0 for s.
-3
Let b(x) = -x**3 - 7*x**2 + 18*x + 2. Let p(u) = u - 20. Let l be p(11). Let m be b(l). Solve -8 = 4*i - m*i for i.
-4
Let b(k) = k - 1. Let z be b(5). Suppose -12 = -z