*a - 7 + 2 = y for a.
1
Suppose 70 + 0 = 7*r. Solve 4*s + s = -r for s.
-2
Suppose -54*z = -260 - 280. Solve 15*w - z*w + 20 = 0 for w.
-4
Let o be (3/6)/(4/24). Let s be (-2)/(1/(15/(-6))). Suppose -1 = -s*n + 9. Solve o*w = -n*w + 25 for w.
5
Suppose 2*w = 6*v - 11*v - 25, v = -5. Solve w = -5*a + 19*a - 70 for a.
5
Let u = 3 + -5. Let q be (1/u)/((-3)/(-30)). Let c be q + (4 - 2) + 13. Solve -b = b + c for b.
-5
Let s = 1032 - 1017. Solve 30*x - s = 25*x for x.
3
Let c(y) = 47*y - 89*y - 3 + 44*y + 3*y**2. Let z be c(-2). Solve -5*b + z = -0*b for b.
1
Let n be 260/(-117)*(-36)/8. Solve n + 0 = -2*l for l.
-5
Suppose -2*i + 4 = -4. Let r(f) = -7*f + 2*f**2 - 8 - 4*f**2 + 3*f**2. Let m be r(8). Solve y + m = -i for y.
-4
Let y be 1 - ((-2)/1)/2. Let x(b) = -b - 2. Suppose 4*a + 9 = -2*p - 21, 6 = -2*p. Let q be x(a). Solve c - y = -q for c.
-2
Let k(n) = n**2 + 12*n + 11. Let h be k(-15). Suppose -6*r = r - h. Suppose f = -f + r. Solve f*c + c + 20 = 0 for c.
-4
Let a be (-2 - 28/(-15)) + 4220/150. Suppose 3*j - 9 = 2*w - 22, 4*w - a = 4*j. Solve -2*s - 2*s + w = 0 for s.
2
Suppose 3*u - 12 = k, 2*k + 23 = 4*u + 3*k. Suppose 0 = t - 5*b + 6*b + 5, 0 = u*b + 15. Let n be 8 - (-1 - t - -2). Solve -2*q + n = 3*q for q.
1
Let k = 8 + -4. Let x = -7 + 67. Suppose -x*y + 63*y = 30. Solve -y = -k*p + 2*p for p.
5
Suppose -4*a - 3*m = -33, -7*m + 8*m = -4*a + 43. Solve 0 = 2*c + 6 - a for c.
3
Let j(t) = t**3 - 17*t**2 + t - 13. Suppose 2*w = -3*w + 85. Let y be j(w). Solve 17 = -y*d - 3 for d.
-5
Suppose 15*o + 6 = 51. Solve o*p - 3 = 2*p for p.
3
Let v(d) be the first derivative of -d**2 + 10*d - 10. Let p be v(5). Solve 2*h - 5 - 1 = p for h.
3
Let r = -101 - -112. Solve r*m = 10*m + 4 for m.
4
Let g be (-4)/18 + (-3 - (-141)/27). Suppose 0*z - 15 = -3*z. Solve 3 = z*l - g for l.
1
Let o(f) = -12 - 14*f + 8*f**2 - 3*f**2 + 9. Let s be o(3). Solve t + 0*t - 2 = s for t.
2
Suppose -h - 18 = h + 3*s, 3*s - 6 = 2*h. Let y = 6 + h. Solve -1 = -y*d - d for d.
1
Let s = -8 + 11. Suppose 14 = 2*v + 4*d, 4*v - 3*d - 21 = -4*d. Let n be ((-15)/v - -7) + 1. Solve -n*i - 13 = -s for i.
-2
Let q be (-368)/26 + (-26)/(-169). Let b be (-7)/q*(1 - 37). Let u = -12 - b. Solve -m - 2*m - u = 0 for m.
-2
Let f be (-2 + 2)/(-1) - 17. Let o = f - -19. Suppose o*g + 18 = 5*g. Solve 2*y = -0*y - g for y.
-3
Suppose 0 = -5*o - t - t + 117, 2*t = -8. Solve 38*r = 33*r + o for r.
5
Suppose -5*g = 9*o - 6*o - 35, -45 = -5*g - 5*o. Solve 0 = 2*p + g*p for p.
0
Let n be (45/9 - -6) + 9. Solve 33*y - 38*y + n = 0 for y.
4
Suppose -1 = -4*x + 5*x, 1 = 2*h + 3*x. Solve 0 = h*a + 9*a + 55 for a.
-5
Suppose 140 = -3*a + 8*a. Suppose -t = -5*t + a. Suppose 0 = 4*n - 1 - t. Solve -n*g - 6 = -0*g for g.
-3
Let t(l) = -l**3 - 6*l**2 - 7*l. Let p be t(-5). Let b be (-12 + p)*(-1)/(-2). Let v = 1 - b. Solve -3 = -v*a - a for a.
1
Let w = -67 - -73. Suppose -2*a = -3*t + w, t = a + 2 - 0. Solve 0 = -a*v + v for v.
0
Let s(k) = -k**2 - 3*k - 2. Let z be s(-2). Suppose -3*v + 40 = -v. Suppose 42 = -25*f + 167. Solve -f*t + v = -z*t for t.
4
Let m(g) = 99*g - 182. Let t be m(2). Solve t*d - 30*d - 70 = 0 for d.
-5
Let k = 272 - 270. Solve -k*y + 3*y = 0 for y.
0
Let x = 85 + -77. Solve 11*j - 9 = x*j for j.
3
Suppose 0 = -7*l + 2*l + 25. Solve 0*k = -l*k for k.
0
Let i(o) = 7*o + o**2 - 14*o + 10*o. Let k be i(1). Solve k*c - 7 = 13 for c.
5
Let b = 1622 + -1622. Solve n - 15 + 17 = b for n.
-2
Let l = -7 + 16. Suppose 0 = -d - 5 + l. Solve -6 = -p + d*p for p.
-2
Suppose -3*o + 6 = -18. Let n(y) = y**3 + 17*y**2 + 16*y + 2. Let t be n(-16). Suppose 0*l = t*l - 24. Solve 4*f = o + l for f.
5
Let w = 236 - 164. Suppose 136 = 13*k - w. Solve -g - k = 3*g for g.
-4
Suppose 122*z = 126*z - 32. Solve -4*q + 2*q = -z for q.
4
Let y(u) = u**3 + 8 + 2*u**2 - 3 + u + 1 - 2*u. Let q be y(-3). Suppose q*v = 5*v - 10. Solve 0 = 5*p + 7 - v for p.
-1
Suppose 3*d = 2*k - 2, 3*k - 3*d + 7*d = 20. Suppose -4*n - 3*o = 7, -5*o = -k*o + 5. Solve n = -0*u - 2*u for u.
-1
Suppose 0 = -3*c - c. Let v = -145 - -157. Suppose r - v = -d, -8*d - r + 60 = -4*d. Solve 2*o - 6*o + d = c for o.
4
Let c(a) = 4*a**3 - 243*a**2 - 56*a - 101. Let q be c(61). Solve 199 - q = -5*y for y.
1
Let a = 1215 - 1185. Solve 4 = a*b - 34*b for b.
-1
Suppose 0*y = -6*y - 12. Let k be 2 - (-10 + 0 - y). Let z be 5/k + 14/4. Solve -o + 5*o = z for o.
1
Let o = 458 - 422. Solve 6*q = o - 18 for q.
3
Suppose 8*k - 32 = -8*k. Solve 0 = b - k*b for b.
0
Let a(p) = -p**3 - 11*p**2 - 12*p - 10. Let c be a(-10). Solve c*f - 7 = 3*f for f.
1
Let g be (-15)/(-25) - 264/15. Let a be (-4)/6*(g + -13). Let y = a - 20. Solve y = 2*p + 3 - 7 for p.
2
Let g(f) = 2*f**2 - 1. Let w be g(-1). Suppose 0 = 5*o - 26 + 21. Let l(u) = u**3 - u + 1. Let m be l(o). Solve -n = -m - w for n.
2
Let w be (-56)/4*8/(-16). Solve -3*j + w*j - 8 = 0 for j.
2
Suppose w = q + 22, 2*q + 19 + 9 = -2*w. Let m = q - -18. Solve 0 = 5*o - m*o for o.
0
Let a be -10*((-36)/(-15))/3. Let k = a + 9. Let n be 2 + -3 + k*4. Solve 16 = -n*x - x for x.
-4
Let j be (-1 - (-5)/2)*(-55 + 57). Solve -j*q + 9 = 3 for q.
2
Let q(h) = 10*h + 0*h + 1 - 2*h**2 + h**2. Let r be q(10). Suppose 4 = s + 2. Solve s = -k + r for k.
-1
Let x(j) = -2*j**2 + 31*j - 10. Let w be x(15). Solve 4 - 9 = -w*c for c.
1
Let x be 0 - -2*(-22)/(-4). Suppose x + 0 = 5*l + p, 3*l - 2 = 4*p. Let s(t) = 3*t - 4. Let v be s(l). Solve -2 = v*u + 4 for u.
-3
Let v(a) = 2*a - 2. Let l be v(4). Let w be l/4 + 46/(-4). Let n = w + 15. Solve n*t + 4 = -6 for t.
-2
Suppose f - d = 11, -3*d + 6*d = -3*f + 45. Solve f*m - 22 = 30 for m.
4
Suppose -2*v = -b + 1, 0 = -2*b + v + 6 - 1. Let j be (-4)/(-6) - 5/(-15). Solve -b*k = -10 + j for k.
3
Let u(c) = c**3 - c**2 - 14. Let y be u(0). Let n = 16 + y. Suppose -2*v - n*v = 0. Solve v = 2*d + 7 + 1 for d.
-4
Suppose 2*r - 120 = -2*r. Let k = r + -25. Solve -k*v + 0*v = 10 for v.
-2
Suppose 5*y - 314 = -c, 4*y - c - 20 = 233. Let x = y + -59. Solve 0 = -f + x for f.
4
Let x = -75 + 92. Solve x = -4*i - 3 for i.
-5
Suppose -3 = -f + 5*d + 4, 3*f - 7 = d. Solve -5*c = -7*c - f for c.
-1
Suppose 13*t - 89 = 2. Solve -t*b - 26 + 61 = 0 for b.
5
Suppose 6*w + 8 = 4*w, z + 5*w = -17. Solve z = 2*t + t for t.
1
Let a(x) = x**3 + 7*x**2. Let l be a(-7). Let t be ((-2)/(-2) + l)*1. Solve -3*u + t = -4*u for u.
-1
Let g(v) = v**3 + 8*v**2 + 9*v + 7. Suppose -6 = d + 5*s, 0 = -3*d - 3*s - s - 18. Let z be g(d). Solve -3*u = 2*u + z for u.
-5
Suppose -3*v + 8 = -31. Let t(q) = -2*q**2 + 2*q - 1. Let s be t(3). Let x = s + v. Solve 5*o - 2*o + 9 = x for o.
-3
Let z = 61 - 58. Suppose -4 + 0 = -4*v - 3*x, -2*x + 4 = 3*v. Solve -z*g - v = -4*g for g.
4
Let b be -3*19 + 3 - -3. Let l = b + 52. Solve -l - 2 = -3*s for s.
1
Let o = -94 - -98. Suppose n = 2*l + 3*l + 5, -o*n - 2 = 2*l. Solve n = p - 3*p for p.
0
Suppose 0 = -t + 3*p + 3 + 10, 2*p - 31 = -5*t. Suppose -t = -24*w + 25*w - 5*l, 0 = -4*w + 4*l + 4. Let h = 9 - 3. Solve c + w = h for c.
3
Suppose 5*f - 3*f - 2*n = 16, -4*n = -5*f + 37. Solve -f*v + 25 = -10*v for v.
-5
Let k = 0 - -2. Let t be 2/(-5) + 16*(-18)/(-120). Solve k*v - t = 4 for v.
3
Let p = -143 - -106. Let i = p - -40. Solve -t - 16 = i*t for t.
-4
Let j be 2*(6 - (-50)/(-10)). Suppose -4*v = v - 35. Solve -j*i = v - 1 for i.
-3
Let m be ((-57)/(-9) + -1)*3. Suppose 5*i = 9*i - m. Let b be (-1 + (-7)/(-2))*2. Solve 0 = b*g - i*g - 4 for g.
4
Suppose -5 = -5*r, -2*u - 8 = 4*r - 32. Suppose -10 - u = -2*l. Solve 4*t + l = -t for t.
-2
Suppose 0 = -7*q + 6 + 1. Let b be (-39)/39*(-2 + 1)/q. Solve -3 = 2*p + b for p.
-2
Let t = -654 + 658. Solve 14*a = t*a - 40 for a.
-4
Let g be -35*(351/45 + -8). Solve 5*n - g = -22 for n.
-3
Suppose x + 4*r = 6*r - 4, 4*x + 1 = 5*r. Solve x*y = -0*y - 18 for y.
-3
Suppose -5*r = 2*n - n, r = 2*n. Solve 12*t - 7*t - 25 = n for t.
5
Let c(t) = t**2 + 13*t + 5. Let f be c(-13). Let g be (-8)/(-10) + (-34)/f. Let k(m) = m**2 + 4*m - 10. Let q be k(g). Solve -n = -q*n for n.
0
Let n be (23 + (-19 - -6))*(2 - 1). Solve 0 = -n*g + 7*g - 3 for g.
-1
Let j be 2/7 - (-3960)/105. Solve 40*z + 10 = j*z for z.
-5
Let h = -423 + 425. Solve -1 = 3*r - h*r for r.
-1
Suppose 0 = 4*o + r - 0*r - 25, 3*o = 3*r + 30. Solve 0 = 3*l + 2 + o for l.
-3
Let d