u = 3*y + 2*y for y.
5
Suppose -1 + 0 = -f. Solve f + 2 = -3*a for a.
-1
Suppose -u - 11 = -4*a, -3*u - 1 = -4*a - 0*a. Suppose 0 = -u*d - 1 + 16. Solve -3 = -3*z + d for z.
2
Let b be -2*(-2)/(-4)*4. Let x = 8 + b. Suppose 0 = -t + 3*t - 40. Solve 0*q = x*q + t for q.
-5
Suppose i - 4*p - 14 = 0, 4*i = -3*p - p - 4. Suppose 0 = i*a + 2*a - 32. Let d be 57/12 - (-2)/a. Solve d*v - 25 = -0 for v.
5
Let k(q) = q**3 - 3*q**2 - q - 4. Let r be k(4). Solve 2*n = 4*n - r for n.
4
Let k be 26/91 - 47/(-7). Solve -4*a - 9 = k for a.
-4
Let n(v) = -v**3 - v**2 + v + 12. Let t be n(0). Suppose 0 = 5*r - r - t. Suppose 2*j - r*m + 0*m = 15, -m = -j + 6. Solve 6*l - j*l = 6 for l.
2
Let j(m) = -3*m - 2 + 1 + 4*m**3 - 11*m**2 + 4*m. Let z(t) = -t**3 + t**2 + 1. Let r(g) = -j(g) - 5*z(g). Let w be r(-6). Solve w = 3*q - 13 for q.
5
Let h(g) = g**2 + 4*g - 6. Let z be h(-5). Let m be 1/z + 7 + -4. Solve -j + 0 = m for j.
-2
Let u = -2 - -5. Suppose -u*r = r - 24. Solve -t + r*t = 0 for t.
0
Suppose 4*a = -4, 4*n + 3 = -0*n + 5*a. Let h be 5/(n*3/(-18)). Let b be ((-10)/15)/((-2)/h). Solve -2*f - b = -1 for f.
-2
Suppose 3*u - 11 = 4. Suppose -2*n - 5 + 1 = -4*x, -5*x - 10 = u*n. Solve x*b = 4*b for b.
0
Let p(u) = u**3 - 6*u**2 + 2. Let r be p(6). Let q be (4/6)/((-2)/(-6)). Solve 0 + r = -q*s for s.
-1
Let m(h) be the first derivative of h**4/4 + 2*h**3/3 - h**2/2 - 2*h + 3. Let s be m(-2). Solve 4*d = -4 - s for d.
-1
Let x(y) = -y**3 + 5*y**2 - 1. Let u be x(4). Solve 0 = -3*p + 8*p - u for p.
3
Let p(v) = 3*v + 9. Let f(x) = 2*x + 6. Let b(t) = -7*f(t) + 5*p(t). Let q be b(0). Suppose 0 = h - q*h. Solve h*g = -3*g for g.
0
Suppose 4*u + 8 = 24. Solve u*b = -b for b.
0
Let n be 1*(0 + 0) - -8. Solve -v - v = -n for v.
4
Let d be 0 + 0 + 0/2. Let b = -20 - -22. Solve d*n - b*n = 6 for n.
-3
Let f = -80 + 86. Solve -25 = f*a - a for a.
-5
Let j be (3 - (-21)/(-6))*-42. Suppose j - 1 = 5*l. Solve -l*i - i - 25 = 0 for i.
-5
Let o = 42 - -154. Let t be o/10 + 34/85. Solve -2*c = 3*c - t for c.
4
Suppose -2*t + 5 = -t. Suppose 0 = -t*q + 2*c - 0*c + 45, 45 = 5*q - c. Solve 0*l + 3*l + q = 0 for l.
-3
Suppose 4*j + k - 7 = 0, -4*k + 3*k = -4*j + 9. Suppose 0 = j*p - 3*p + 4. Suppose 2*x - p = -2*x. Solve -5*m + 4 = -x for m.
1
Let b be 2/(-10) + 915/75. Solve 0 = -h - 2*h + b for h.
4
Let s be (-12)/78 - 472/(-26). Let u = s - 14. Solve -u*x = -x for x.
0
Let r be (1 + (-3)/(-2))/(47/470). Solve 3*o + r = 8*o for o.
5
Suppose 5*k - 5*a = 190, -k + a + 48 = -2*a. Suppose -3*c = q - c - 13, -5*q + k = 2*c. Solve -q*m - 9 = 6 for m.
-3
Suppose -4*b = 8, 2*c - 2*b = -0*b + 10. Let s = c + -1. Solve -s*n = -4 + 2 for n.
1
Suppose 0 = -2*l + 5*h, -2*l - 4*h + 4 = -14. Solve -3*s - l = -4*s for s.
5
Let l = -62 + 70. Solve -t + l = t for t.
4
Let h(r) = 2*r**2 + r + 1. Let z be h(-1). Solve -i + z = -3 for i.
5
Suppose -2*b + 7*b + 2*h = 10, 25 = -b + 5*h. Solve 6*a - 2*a = b for a.
0
Suppose -6*n + 11*n + 60 = 0. Let l = n - -12. Solve u + 2 = -l*u for u.
-2
Let u(h) = -h**2 + 9*h - 12. Let y be u(6). Solve y = c + c for c.
3
Suppose 2*j = 5*j - 3. Solve b = j + 2 for b.
3
Let t be (90/(-20))/(3/(-4)). Suppose -15*h + 12*h = -t. Solve h*b = 4*b + 8 for b.
-4
Let t(v) = 2*v**2 + 6*v - 4. Let y be t(-5). Suppose 2*b = -2*w + y, 2*b - 9 - 7 = 4*w. Solve 2*l + 0*l = b for l.
4
Let a = 31 - -7. Let g = -26 + a. Solve -y = 2*y + g for y.
-4
Let a be (3/2)/((-3)/(-32)). Suppose o - 3*o + a = 4*y, 5*o = 2*y - 8. Solve 2*f + 0 - 10 = o for f.
5
Suppose 0 = z + 8*z - 6*z. Solve 3*a + z*a = 0 for a.
0
Let q be (338/4)/13 + (-6)/4. Solve -b - q = -0 for b.
-5
Let i(p) = p**3 + 9*p**2 - 12*p - 17. Let s be i(-10). Solve 2*y = s*y for y.
0
Let s = 11 + -6. Let f be 8 - 6/(0 - -3). Solve -l = -f*l - s for l.
-1
Let h = -32 + 35. Solve 0 = q - h*q + 8 for q.
4
Let q = -46 - -48. Solve -2*g = q*g for g.
0
Suppose y = 6*y - 20. Solve -5*t + y = -t for t.
1
Suppose 0*j = 2*j - 4*g + 20, 4*j + 4*g = 20. Let w(s) = 2*s**3 + 5*s**2 + 2*s - 2. Let v be w(-3). Let d = -8 - v. Solve 5*x - 29 + d = j for x.
4
Suppose 0 = -5*p - 4*f + 17 + 31, 0 = -5*p - 3*f + 46. Suppose 0 = 4*k + p - 68. Solve 3*i + k = -0*i for i.
-5
Let w = 6 - -3. Solve 3*b + 0*b + w = 0 for b.
-3
Suppose 0 = 3*a + 5*q - 30, -4*a - 2*q + 26 = -0*a. Suppose z + a = 7. Suppose -z - 16 = -3*g. Solve 2*x + 0*x + g = 0 for x.
-3
Let l be ((-5)/(-10))/((-1)/(-4)). Suppose 4 = -4*v + o, 0*v - l = 2*v + 2*o. Let i be (-8 - 1)*1*v. Solve 0 = 2*w + w + i for w.
-3
Let v(l) be the first derivative of -1/3*l**3 + 0*l + 15/4*l**4 + 2 + 0*l**2. Let w be v(1). Solve -4*s + 6 + w = 0 for s.
5
Let m be 10/(-1) - (-4 + 3). Let v be 6*3*(-1)/m. Solve v*f + 0*f = -4 for f.
-2
Let n = 16 - 9. Suppose 5*o - 28 = n. Suppose -o*f + 2*f + 15 = 5*r, -5*r + 10 = 0. Solve -f + 4 = -w for w.
-3
Suppose -f - 8 = 5*z - 27, 5*z - 3*f - 3 = 0. Let d be (4/6)/(1/z). Solve 5*s - 4*s - d = 0 for s.
2
Suppose 0 = -3*l + 9*l - 18. Solve 2*a + l = -7 for a.
-5
Suppose 2 - 1 = m. Let h = m - -1. Suppose -h*f - 5 = -g, 2*f = -3*g - 2*f - 5. Solve g = j + 3 for j.
-2
Suppose 0 = -4*q, q = 3*i - 3*q + 9. Let c = 9 - 13. Let n be (-1)/(1 - c/i). Solve a = -2*a - n for a.
-1
Let k = -46 - -48. Solve 0*z = z - k for z.
2
Suppose 3*t + 3 = 6. Suppose t = -p - 6. Let b = -4 - p. Solve 3*j + 0*j - b = 0 for j.
1
Let q = 63 + -153. Let t be (1/(-3))/(6/q). Solve t*l = -12 - 8 for l.
-4
Let y(j) = j**3 - 2*j**2 - 3*j + 3. Let u be y(3). Suppose -u*a + 3*t + 2 = -25, -3*a + 2*t + 27 = 0. Solve a*g - 4*g - 25 = 0 for g.
5
Let i(s) = s**3 - 7*s**2 + 10*s. Let x be i(5). Solve x = z - 2*z for z.
0
Suppose a + 46 = 3*a. Let s be (-39)/39*(0 - 3). Solve a = s*l + 8 for l.
5
Suppose -12 = -2*d + d. Let h = d + -12. Solve 5*u + 0*u = h for u.
0
Let z(k) = 2*k + 1 + 1 - 3. Let n be (-3)/12 + 27/12. Let p be z(n). Solve -u - p = -5 for u.
2
Suppose 7 = 2*b - 3. Suppose 0 = -b*d + d + 8. Solve d*k = -k - 6 for k.
-2
Let q = -22 + 24. Solve q*v - 6 = -0*v for v.
3
Suppose 0 = 2*d - 13 - 1. Solve d = -3*s - 5 for s.
-4
Let t(w) be the first derivative of w**2 - 6*w - 8. Let z be t(4). Solve -2*k - z*k = -12 for k.
3
Let p(f) = -2*f**3 - 3*f**2 - f + 1. Let a be p(-2). Suppose 3*s - a*s = 0. Solve s*i = -2*i + 8 for i.
4
Let z(b) = b**2 + 9*b + 2. Let a(c) = c**2 + 8*c + 2. Let r(x) = 5*a(x) - 4*z(x). Let m = 9 + -13. Let d be r(m). Solve 2 + d = 2*i for i.
2
Let q = 33 - 31. Solve -8 = q*x + 2 for x.
-5
Let n = 11 - 6. Solve -n = -8*i + 3*i for i.
1
Let i be -2*(-2 + 0)*-2. Suppose 5*p - 21 = 34. Let f = i + p. Solve z - 2*z = -f for z.
3
Let u = -2 - -4. Suppose 0 = 4*a - 13 + 1. Let r(v) = 2*v**3 - 5*v**2 + 3*v. Let l be r(a). Solve l + u = 5*z for z.
4
Let r = -21 - -25. Solve 0 = j + r*j - 15 for j.
3
Let y(h) = -h**3 + 6*h**2 - 4*h - 3. Let m be y(5). Let c be m + (0 - (0 + 0)). Solve 0 = c*s - 2 for s.
1
Suppose 0 = -3*n + 2*l - 0*l + 14, -3*n + 7 = 5*l. Let o be (-6)/(-4) + n/8. Let v = -9 - -12. Solve 0 = -o*k - v*k for k.
0
Suppose -2*a + 2 = -2. Let h = 10 - 10. Solve -5*z + a*z = h for z.
0
Let r be 3/(-12) - 9/(-4). Suppose -4*y - 5*k = -56 + 4, -4*y = k - 36. Let x be 36/y - 2/4. Solve 0 = -s + r*s - x for s.
4
Let v(s) = -s + 1. Let p be v(-2). Let t = 0 + p. Solve 0*b = t*b for b.
0
Suppose -3*h + 5*w = -h + 11, 0 = -3*h + 3*w - 12. Let j be (0 - (-3)/9)*0. Let f be (-3)/h + j + 0. Solve 4 + f = -i for i.
-5
Let h(o) = o**3 - 1 - 2*o + 0 - 2 - 2*o**2 - o**2. Let z be h(4). Solve z*a - 3*a = -6 for a.
-3
Let u(w) = w**2 - 6*w - 12. Let q be u(8). Solve q*s + 4 = -8 for s.
-3
Let h be (-6)/((-3)/4*1). Let m(k) = 5*k + 20. Let o be m(-5). Let d = o + h. Solve 8*x = d*x for x.
0
Let b = -79 + 82. Let o(s) = 3*s**2 - 4*s + 2. Let x be o(2). Solve -b*y = -x*y + 9 for y.
3
Let q = 22 - 19. Let r(j) = j**2 - 2*j + 4. Let h be r(4). Solve h + q = 5*y for y.
3
Let b = 68 - 65. Solve b*o + 20 = -2*o for o.
-4
Let i = 44 + -30. Let f be -8*4/8 + i. Let b(q) = -q**2 - 6*q + 2. Let o be b(-6). Solve 2*d - o = -f for d.
-4
Suppose 2*z = -3*j + 14, -z + 12 = 3*j + j. Solve -2*k + 4 = -j for k.
3
Let p(a) = -3 + 7*a + 9 - 5. Let z be p(2). Solve 2*v + z = 7*v for v.
3
Let b be (-4)/2 - (-5 + -1). Suppose 0 = -5*n - 31 - b. Let a = n + 7. Solve z - 5*z = a for z.
0
Let v = 29 - 21. 