ve x*c + 6 = c for c.
-3
Suppose -4*u = -3*j - 25, 4*j + 16 = 4*u - 12. Suppose 0 = -4*t + 12, 2*p - u*t + 5 = 1. Solve -2 = l - p for l.
2
Suppose -4*j = -3*d + 8, 16 = 5*d - 5*j + j. Suppose 3 = o, -u + o - 4*o = -9. Solve -2*q - d = -u*q for q.
-2
Let d(q) = q**3 - 18*q**2 + q - 18. Let x be d(18). Suppose -20*y + 144 = -56. Solve x = -0*f + 2*f + y for f.
-5
Let y be 1/((-1)/(-3)) + -2. Let k be 3/(2 + y) - -3. Let a be -2 + k + (8 - 3). Solve 3*g = a - 4 for g.
1
Suppose -2*y = -2*q + 18, 5*q = 2*y - 0*y + 30. Let v be (11 - 5) + (q - 2). Suppose -3*a - a + v = 0. Solve 0 = o + a for o.
-2
Let t be (81/12)/(6/16). Let k(c) = t + 19 - c**3 - 4*c - 40 + 6*c**2. Let z be k(5). Solve -9 = -o - z*o for o.
3
Suppose 80*y = 7*y + 3504. Solve 58*k - 50 = y*k for k.
5
Suppose -16 = 3*q - 1. Let t = 5 + q. Let g(k) = 2*k + 5. Let c be g(t). Solve 25 = -0*a + c*a for a.
5
Let u(f) = 5 + 3 - 3 + 3 + f. Let y be u(-5). Let a be y - 10*2/(-4). Solve -4*l - a = -2*l for l.
-4
Let m(f) = -f + 8. Let b be m(4). Let j = 8 - b. Let p = 456 + -445. Solve 1 + p = j*r for r.
3
Let m(v) = -4*v + 6*v**2 + 0*v - v**3 + 22 - v - 21. Let g = -13 + 18. Let y be m(g). Solve -y + 5 = h for h.
4
Let s = -627 + 643. Let l = 2 + -1. Solve 5*u - l = -s for u.
-3
Let n(f) = f**3 + 15*f**2 + 50*f + 5. Let t be n(-10). Solve -t*a - 59 = -34 for a.
-5
Let l be (15 + -3)*6/9. Let k be l/10 - 62/(-10). Suppose -k = -0*h - h + 5*r, 2*r = -3*h + 4. Solve 6*d = h*d - 16 for d.
-4
Let k(h) = 2*h**2 + 29*h - 29. Let j be k(-13). Let a = -58 - j. Solve a + 0 = -5*x for x.
-2
Suppose 5 = 4*o - 0*o + x, 2 = 2*x. Let l = -185 + 185. Solve l + o = -y for y.
-1
Suppose 4*k - 32 - 40 = u, -u = 2*k - 30. Solve k = 5*c + 12 for c.
1
Let j be -1 + (-4)/(4/(-7)). Let f(a) be the second derivative of a**4/12 - 2*a**3/3 + 3*a**2 + 12*a. Let n be f(3). Solve -j = -3*c + n for c.
3
Let f be (-4)/168*-6 + (-333)/(-21). Solve 0 = -10*o + 14*o + f for o.
-4
Suppose 3*y = -4*q + 13, -3*q = 2*q - 2*y - 22. Suppose n + 5*t - 26 + q = 0, n = -2*t + 10. Solve h + 2 = n*h for h.
2
Let g(q) = -q**3 - 3*q**2 + 2*q + 6. Let r be g(-3). Solve r*m = -4*m + 16 for m.
4
Let h be (-204)/(-15) + 8/20. Let j be (-4)/h + (-132)/(-21). Suppose j*g = g. Solve -4*y + 6 + 10 = g for y.
4
Let m = -5 + 8. Let p = 105 - 109. Let u be (5 + -4)/(p/(-32)). Solve u = x + m for x.
5
Let b be (225/36)/((-1)/4). Let k be (4 - (-72)/(-15))*b. Suppose k*m - 15*m - 10 = 0. Solve m*p + 8 = -2*p for p.
-2
Suppose -5*f - 33 = -g - 43, 0 = g. Suppose 3*o + 5*r - 4 = 9, -5*r = -10. Solve -b - o = -f for b.
1
Let g = -734 + 761. Solve 11*a + g = 2*a for a.
-3
Suppose 3*l = -5 + 14. Suppose -2*a + 3 = a, -l*m - a = -31. Let q be 5/m + (-2)/4. Solve -w - 4 + 5 = q for w.
1
Suppose -5*d = -3 + 3. Let n(a) = -a**2 + 2*a + 1. Let i be n(d). Solve -i = 3*p + 2 for p.
-1
Suppose 0 = -5*n - 4*p + 94, 4*p - 30 = -2*n - 2. Solve 2 + n = 6*z for z.
4
Suppose -116 = -7*y + 3*y. Let k = -25 + y. Solve n + 12 = k*n for n.
4
Suppose 0 = 4*k - 2*q - 32, -8 = 6*q - 4*q. Solve -12*w = -10*w - k for w.
3
Let a be -1 + 14 - (-5 - -3). Let j = 346 + -346. Solve h + 2*h - a = j for h.
5
Suppose -3*d + 3 = -9. Let w be 4 + (14 - -1)/(-15). Solve -2 = w*o + d for o.
-2
Let f(h) = -6*h. Let b be f(3). Suppose -4*t - 5*r - 33 = 0, -2*r + 4*r - 6 = 0. Let x = t - b. Solve y = -y - x for y.
-3
Let b(c) = 8 - 2*c**2 - 7*c + 2*c**2 - c**2. Let f be b(-8). Solve -2*s + f*s = 2 for s.
-1
Suppose -5*o = -2*x - 111, 5*o + 4*x - 124 = -1. Suppose -2*i + o = -7. Solve 0 = -3*c - 0*c - i for c.
-5
Suppose n + 2 = 4. Suppose -2*p + 22 = 18. Solve f + n = p*f for f.
2
Let z be (-12)/(-8) - 3 - 69/(-6). Solve -7*q = -z*q + 9 for q.
3
Suppose 8*s + 1 = 49. Solve s*d = -8 - 16 for d.
-4
Let a(m) = -m - 4. Let d be a(-8). Suppose d = 5*g - 3*g. Solve g*p + 4 = 10 for p.
3
Suppose 2*g = 5*j - 11, -2*g + 7 = j - 0. Suppose 199*i + 446 - 1441 = 0. Solve -g*c = -i*c for c.
0
Let m(g) = -16*g + 2. Let y be m(-1). Let h be (-1)/(-3) + 66/y. Suppose -h*d - 3 + 15 = 0. Solve 0 = -s + 1 + d for s.
4
Let k be (6/(-5))/((-6)/20). Let w be (-1071)/(-54) + (0 - 3/(-18)). Solve 0*z + w = k*z for z.
5
Suppose 3 = 4*t + n + 4*n, 3*t - 31 = 2*n. Let q = -3 + t. Let v = 3 - 0. Solve q*p - p - v = 0 for p.
1
Let n(d) = -d**3 - 11*d**2 - 12*d - 8. Let w be n(-10). Solve -18 + w = 2*i for i.
-3
Let r = 135 + -126. Solve r*x = 17*x + 16 for x.
-2
Let c = -71 + 74. Suppose c*g = -5*m + 21, 4*m - 4*g = -m + 7. Solve 6 = -m*r - 0 for r.
-2
Let j = -147 - -237. Suppose 0 = -2*u + 7*u - j. Suppose u = 5*h + 3. Solve -h - 3 = 3*l for l.
-2
Let p = -96 - -65. Let n = p - -34. Solve -1 = n*d + 2 for d.
-1
Let o = -105 + 120. Solve -7*j = -2*j + o for j.
-3
Let w be ((-34)/136)/((-2)/24). Solve -11*y + w*y = 32 for y.
-4
Let o be ((-1)/1)/((-9)/54). Solve 3*n + 0*n = -o for n.
-2
Suppose -a + 1 = 2. Let n be (-7 - -7)/(a - 1). Let g(q) = -q + 16. Let y be g(13). Solve n = o + y*o - 16 for o.
4
Suppose -5 = -7*v + 9. Suppose 0 = -v*y + 5*y - 15. Solve y*c + 3 = -7 for c.
-2
Let k(f) = f**2 - 4*f - 3. Let g be k(5). Suppose -4*b = g*b. Solve -5*p + p - 20 = b for p.
-5
Let q be 23/(23/(-102))*(-5)/10. Solve -61 = -10*k - q for k.
1
Suppose -2*i - 3*i + 4*h - 225 = 0, -3*i - 98 = 5*h. Let s = -39 - i. Solve s*y + 2*y = 16 for y.
4
Let i = 11 - 7. Suppose -2*s - s + 5*u + 213 = 0, -3*s + 4*u = -213. Let p = s + -69. Solve i*b + 2 = -p for b.
-1
Let q(a) = a**2 - 16*a + 19. Let v = 4 + 11. Let m be q(v). Solve -z = m*z - 15 for z.
3
Suppose -21 = 2*f + 9. Let c = f + 31. Suppose 13*n = c*n. Solve 6*r - 3*r = n for r.
0
Let h = 12 - 28. Let n = h - -19. Suppose s - 2*x - 1 = 0, -n*x + 4 + 2 = 0. Solve 0*m + 20 = s*m for m.
4
Let j(g) be the second derivative of -1/12*g**4 + g**2 + 3*g - 1/3*g**3 + 0. Let y be j(-2). Solve y*v - v = 5 for v.
5
Let a(m) = m**3 + 15*m**2 - 15*m + 21. Let w be a(-16). Suppose r + 2*r = w*r. Solve -2*q + r*q = -2 for q.
1
Suppose 0 = 3*z + 3 - 0. Let k(y) = -4*y - 2. Let c be k(z). Suppose 2*a = -c*n + 8, -3*a + 0 = -4*n - 5. Solve 0 = 3*q + n + 2 for q.
-1
Let q(u) = -5*u + 4. Let g be q(3). Let n = g - -17. Suppose 5*i - 4*y = -0*y + 62, 0 = 5*i + 3*y - 41. Solve n + i = 4*w for w.
4
Suppose -169 + 61 = 6*f. Let h = 22 + f. Solve 4*x = h - 0 for x.
1
Suppose 7*h = 5*h - m + 21, 3*h = -m + 32. Solve 3*f = -4 - h for f.
-5
Let a = -1531 - -1541. Solve 4*y = a*y + 18 for y.
-3
Let t be (-6)/9 - 0 - 12/(-18). Solve 22*m - 23*m - 2 = t for m.
-2
Let q(p) = -p**2 - 2*p + 3. Let c be q(-3). Suppose -460*v = -467*v + 14. Solve -a + c*a = v for a.
-2
Let o(d) = -d - 2. Let u be o(-2). Let h be (u - 2/3)*-15. Let f = h - 8. Solve -3*k = -4*k - f for k.
-2
Suppose -5*k = -2*i + 4, -4 = -2*i - k - 2*k. Let p be (-3)/12 - 81/(-4). Suppose -v - v = -p. Solve -v = -3*q + i for q.
4
Let y(d) = -d - 15. Let w be y(-13). Let h be (w/(-3))/((-12)/(-90)). Suppose -5*g + 50 = -5*l, h*l = 2*g - 41 + 12. Solve g*u = 2*u for u.
0
Suppose -c + q - 1 = 4*c, -2 = -2*c - 2*q. Let v be (-4 + c - -3)*0. Solve v = d - 6*d - 25 for d.
-5
Suppose 2*a - 26 = -3*k, 4*k - 6*a + 8*a = 32. Solve -4*o + k*o = 0 for o.
0
Let s = -97 + 148. Suppose 0 = -2*l + 4*k + 6, -4*k - k = 4*l - s. Suppose 4 = -i + 2*i. Solve -10 = i*r - l*r for r.
2
Let z be (1040/24)/(12/(-9) - -2). Suppose 4*u = -1 + z. Solve 0*i + u = -4*i for i.
-4
Suppose -l + 3 = 3*q, -q + 9 = 2*q. Let u be (-2 + l)/(-1) + -3. Solve -9 = 4*g - u for g.
-1
Let j = 8 - 4. Suppose -3*p = 2*x - 2, 2*p + 28 - j = 5*x. Solve 1 = x*r - 19 for r.
5
Suppose 25 = 5*z + 2*i - 42, -6*i = -6. Solve 0*r + 65 = z*r for r.
5
Let o(y) = 4*y. Let q be o(1). Let m = -218 - -221. Solve q*i = m*i for i.
0
Suppose -6*l = -5*l - 2. Solve -l*o + 4*o = 6 for o.
3
Let w be (-1 - (-35)/20) + 9/4. Suppose 9 = w*s + q + 2*q, 4*s - 3*q - 5 = 0. Solve 0 = n + s*n - 15 for n.
5
Let n(w) = w**2 + 3*w - 2. Let t = -37 - -33. Let i be n(t). Suppose -4*h + i*p = -p - 7, 0 = h - p - 2. Solve s = -h + 5 for s.
4
Suppose 0 = 5*y - 5, -4*y + 15 = 4*w - 1. Solve w = -2*x - 3 for x.
-3
Let j be -4 - (7 + -3)/4. Let a(y) = y**3 + 3*y**2 - 13*y - 11. Let c be a(j). Solve -12 = -c*w - 0*w for w.
3
Let r = 545 - 541. Solve 3*x = r*x - 2*x for x.
0
Let c = -16 + 43. Let z be 18/c*(0 + 6). Solve -2*n + z - 