h*i + 2 = 4*i for i.
1
Suppose 3*d - 5*i = 84, i + i + 159 = 5*d. Suppose 128 = -4*o + 4*s, d + 15 = -2*o - 2*s. Let f = 32 + o. Solve f*n + 3 = 3*n for n.
-3
Suppose -13*g = -1683 - 540. Let z = 177 - g. Solve z = k + 5 for k.
1
Let s be 4 + (-99)/22*8/(-18). Solve 4 = -s*c + 4*c for c.
-2
Let n(p) = 3*p**2 - 6*p + 3. Let k be n(2). Solve 0*m + 9 = k*m for m.
3
Let z(b) = 15*b**2 - b + 10. Let l be z(0). Solve l*q + 8 = 8*q for q.
-4
Suppose -2*f - 10 = 0, 3*m = -8*f + 6*f + 5. Solve m*l + 4 = 9 for l.
1
Suppose -2*u + 2*t = -8, u - 4 = -0*u - t. Let a = -1 + 1. Solve a = -u*x - 19 + 3 for x.
-4
Let a = -31 + 33. Let j(b) = -b**3 + 10*b**2 + b - 4. Let o be j(10). Let d = o - 1. Solve -d + 3 = -a*m for m.
1
Let s(j) = 2*j**3 - j**2 - 4*j. Let n be s(2). Suppose -10 + 8 = -2*p. Solve -p = n*d + 7 for d.
-2
Let p = 652 - 649. Solve 0 = -p*n - 17 + 29 for n.
4
Let f(x) = x**2 + 4*x - 2. Suppose -4*z = 6 + 18. Let m be f(z). Solve -4*o - m = 6 for o.
-4
Suppose -h - 2*p = -11, 26 = 2*h + 9*p - 4*p. Solve 2*a = h*a - 1 for a.
1
Let w = -13 + 15. Suppose 4*c - 8 = p, 4*p + 50*c - 53*c - 7 = 0. Solve -p*z = w - 14 for z.
3
Let k = 14 - 11. Let v(b) = -b**3 - 3*b**2 - 4*b - 4. Let r be v(-3). Suppose 5*h = 5, 3*m - r*h - 1 = -k*h. Solve 0 = -d + m - 6 for d.
-4
Let j be (-2)/(-13) - 532/(-91). Solve 6*f - 6 - j = 0 for f.
2
Suppose 0 = 60*c - 143*c + 1079. Solve -16*l + 9 = -c*l for l.
3
Suppose 4*c = -c + 10. Suppose 0 = f + 3*f + 4, c*f = 4*p - 2. Let q(n) = -n**2 + 12*n + 4. Let x be q(12). Solve x*y + 0*y = p for y.
0
Let b(d) = 28*d - 2. Let j be b(-1). Let y be 10/(-75)*1 + (-4)/j. Solve p + 0*p - 3 = y for p.
3
Suppose -983*s = -982*s - 6. Solve -3*h = -6 - s for h.
4
Let n be -30 + 34 + 1*-4. Solve -7*v + n*v = 3*v for v.
0
Let p = -2 + 13. Let h(q) = q**2 - 10*q + 4. Let l be h(p). Solve 0 = -s - 4*s - l for s.
-3
Suppose -3*o + 18 = -4*g - 13, -4*o + 32 = -3*g. Let a = -75 - -78. Suppose -q + 24 = a*q. Solve -q*i + o = -i for i.
1
Let f be (20 - -5)/(1 + (0 - 0)). Solve -f = w - 28 for w.
3
Suppose -66 = -17*g + 11*g. Solve -6*j = -g*j for j.
0
Let u(f) = -10*f - 68. Let c be u(-7). Solve -11 + 11 = -c*w for w.
0
Let c(z) = 7*z - 14. Let r be c(2). Let o(h) = -h**2 - 7*h - 8. Let v be o(-6). Let g be 4 + v*(-2 - -3). Solve 0 = -g*w - r - 4 for w.
-2
Let p be 17/(-15) - (-40)/300. Let r be ((-2)/1 + -1)*p. Solve j + 8 = r for j.
-5
Suppose -9*x = 14*x - 667. Solve -q = x - 28 for q.
-1
Suppose 5*x = 3*a - 25, -a - 2*x = -0 - 1. Let z be (0/(a + -1))/2. Solve z*s - s = 0 for s.
0
Suppose 5*v + 4*b - 205 = 0, 0 = -2*v - b + 2*b + 69. Let w = v - 35. Solve o = w + 2 for o.
4
Let g be (0/(-2 - 5))/(0 - -2). Solve g*q - 16 = 8*q for q.
-2
Let r be (-3)/(-7) - (-87)/(-7). Let i = 19 + r. Suppose 2*p + 17 = i*c - 2*c, p = 5*c - 21. Solve 5*d = p*d for d.
0
Let o(b) = b**2 + 2*b - 1. Let r be o(-4). Let w = 9 - r. Suppose 0 = z + u + w*u + 12, -u - 8 = -z. Solve 0 = z*v - 15 + 3 for v.
4
Let v = -2 - -4. Let q(g) = -2*g - 6. Let z be q(-3). Solve -2 = -z*w + v*w for w.
-1
Let a(n) = -n**2 - 7*n + 11. Suppose 13*d - 10*d = -24. Let y be a(d). Solve -11 = 4*h - y for h.
-2
Suppose 53*r - 3*y - 10 = 52*r, 0 = r + 4*y - 3. Solve 5*q = r*q - 2 for q.
1
Suppose -12 = -98*l + 96*l. Suppose -4*z + 1 = -15. Solve l*h + z = 2*h for h.
-1
Suppose l + m - 9 = 0, -4*l - m + 51 = -2*m. Suppose -5*n + 125 = 5*x, 5*x - 36 - 73 = -n. Let c = x - l. Solve c = 2*h - 5*h for h.
-3
Let b(x) = 3*x**2 + 3*x - 4. Let p = -47 - -48. Let g be b(p). Solve g = -s - 0*s for s.
-2
Let d be (-290)/(-16) - -5*(-8)/320. Solve -d = p + 5*p for p.
-3
Let y = 34 - 14. Suppose 4*h + 5*a = -h + y, -a - 14 = -5*h. Solve -2*u - h = -u for u.
-3
Suppose -10 + 234 = 7*u. Let v be u/18 - (-4)/18. Suppose 2*i - 19 = -5*m, -2*m + 7*i = 4*i. Solve b + m = v*b for b.
3
Let l = 18 - 14. Let j(x) = x + 5 - 3 + 4. Let h be j(12). Solve l*n = -6 + h for n.
3
Let z be 180/(-18) + 7 + 5*29. Let p(j) = 11*j - 2. Let h be p(4). Suppose -h = 4*a - z. Solve -a = -6*m + m for m.
5
Let i(f) = -3*f**3 - 2*f**2 - f. Let m be i(-1). Let q be 15 + (-1 - 8)/3. Suppose 3*d - q = -d. Solve -m*g - d = 3 for g.
-3
Suppose 3*j + 3*h - 6 = 48, 2*h - 68 = -4*j. Let x be (j/6 + -3)*-45. Suppose 0 = 5*z + y - 4 - 5, 0 = -5*z + 5*y + x. Solve z*w = -w - 12 for w.
-4
Let v(j) = -18*j**3 + 5*j**2 + 6*j + 3. Let i be v(-1). Solve 0*k = 4*k + i for k.
-5
Let j be 0 + -2 - (17 - -2282)/(-19). Solve -j*z = -117*z - 2 for z.
1
Let f(o) = -2*o**3 - 29*o**2 - 38*o + 18. Let h be f(-13). Let y(x) = x**2 - 4*x + 1. Let w be y(3). Let a be 1*w/(-4)*38. Solve 1 = -h*k - a for k.
-4
Let q be 6/4*(-184)/(-69). Suppose -q + 68 = 4*d. Solve -13*b = -9*b - d for b.
4
Suppose -35*z = -38*z, 0 = -3*x - 3*z + 84. Solve 0 = -h + x*h for h.
0
Suppose 0 = -2*p - p + 5*o + 26, 3*o = -12. Solve p*u = 14*u - 24 for u.
2
Let q be 6 + 7/(49/(-42)). Solve q = -5*v - 1 - 14 for v.
-3
Suppose f - 5*z = 4 + 9, -7 = 5*f - z. Let r = f - -4. Suppose -5*o + 681 = 661. Solve -3*b = o + r for b.
-2
Let q(x) = x**2 + x. Let u be q(0). Let r = -5254 + 5257. Solve u = r*o - 4*o + 4 for o.
4
Let j = -723 - -725. Solve 0 + 6 = -j*g for g.
-3
Let m(z) = z**2 - 8. Let h be m(4). Suppose -h*x + 42 = -2*x. Suppose g = -0*g - 3*u - x, 0 = -4*u - 12. Solve -g = -5*s - 12 for s.
-2
Let w be -2*15/(-6) + -2. Let q be 65/20 - w/(-4). Suppose -q*z = -z. Solve -3*c + 17 - 2 = z for c.
5
Suppose 6*n + 95 = -85. Let i be 4/n - 1098/(-135). Solve -3*k = -i*k for k.
0
Let x = 5 + -5. Let z be x + (4 - 3) + 1. Solve -1 = m - z for m.
1
Suppose 50 = 4*c - 2*t, 5*t - 25 = -2*c - 18. Solve -c*o = 5*o - 32 for o.
2
Let d(z) = 2*z + 6. Let h be d(0). Suppose n = 4*n - 21. Let q = 7 - n. Solve h = 3*v - q for v.
2
Let b be (-2)/(-4)*4*5/2. Suppose b*w = 4*i - 25, -5*i + 4*w + 10 = 2*w. Solve -z + 4*z = i for z.
0
Suppose 0 = 5*i - 337 + 147. Solve -2*v - 40 = -i for v.
-1
Let q be -9 - -24 - (-6 + 4). Solve -5 = 16*w - q*w for w.
5
Let p be 46/6 - (-4)/(-6). Let b(j) = 139*j + 5143. Let g be b(-37). Solve 2*k - p*k = g for k.
0
Suppose -9 = 7*a - 10*a. Solve y + 6 - a = 0 for y.
-3
Let v be (8/5)/(15/(750/20)). Solve s - 3*s = v for s.
-2
Suppose -4*i + 50 = 18. Let l = 12 - i. Suppose -x = 4*p - 15, l*p - 6 - 7 = -3*x. Solve 4*m - 2*m = -p for m.
-2
Let g be (48/9 + -4)*6/4. Suppose -2*h - 2*a + 14 = 0, 4*a = g*h - a. Solve -2*m = -m - h for m.
5
Let s(u) = -11*u - 47. Let k(j) = -32*j - 141. Let q(f) = 4*k(f) - 11*s(f). Let r be q(-7). Solve r = 2*g + 4 for g.
-1
Suppose -3 = -9*j + 8*j + x, -2*j + x + 3 = 0. Solve 4*a - 7 - 1 = j for a.
2
Let t = -11 - -19. Suppose -a + t*a - 7 = 0. Solve 2*d + a = 7 for d.
3
Let m be (-37)/333 - 208/(-9). Solve -31 + m = 2*s for s.
-4
Let p = 32 + -27. Suppose -2*t + 3 = -5*t - 5*h, -p*h = t + 11. Suppose 5 - 17 = -t*l, -o - 9 = -3*l. Solve o*y = 4*y for y.
0
Suppose 4*t - 44 = -5*r, t + 2*t + 29 = 4*r. Solve -r*g + 20 = -3*g for g.
4
Let n = -5 + 9. Suppose -7*h + n = -6*h. Solve h*k - k = 6 for k.
2
Let d be (-17 - 228/(-19))*(-22)/10. Solve 0 = -20*m + 9*m + d for m.
1
Let u(c) = 9*c - 9. Let h be u(6). Suppose -2*a + n = 2*a - h, 3*a + 2*n = 42. Solve 2*x + a = -x for x.
-4
Let x = -8 + -2. Let n be (-3 + -2)*4/x. Suppose -5*h + 32 + 53 = -5*j, -5*j + 11 = h. Solve 2*c = -n*c - h for c.
-4
Suppose 0 = -5*g - 2*b + 8, 3*b = -9*g + 5*g + 5. Let m = -53 + 53. Solve -h = -m*h + g for h.
-2
Let y(f) = -12*f**3 + 3*f**2 - f - 5. Let p be y(-2). Let r = -103 + p. Solve -r*v = 3*v - 25 for v.
5
Let u(s) = -s**3 - 3*s**2 + 10*s. Let i(z) = -z. Let b be i(5). Let n be u(b). Solve -5*y + 3 - 23 = n for y.
-4
Let s(a) = 4*a**2 - 12*a + 3. Let n(z) = 3*z**2 - 11*z + 4. Let d(b) = 5*n(b) - 4*s(b). Let i be d(-4). Solve 3*j + i = 7*j for j.
5
Let h(t) = 5*t - t**2 - 1 + 1 - 14*t. Let d be h(-9). Solve d*f - 6 = 2*f for f.
-3
Suppose 0*r = r. Suppose 4*i - y = -4, 2*y = -0*i - 4*i + 8. Let d(s) = s**3 + 6*s**2 + 4. Let b be d(-6). Solve r = b*n - i*n for n.
0
Suppose 0 = -4*n - z + 8, -3*z + 18 = -n + 7. Solve -n - 2 = -3*d for d.
1
Let q(j) = j**3 - 9*j**2 - 7*j + 1. Suppose 0 = 2*a - 4*a + 20. Let u be q(a). Let i = 45 - u. Solve 5*b + i = -6 for b.
-4
Let b = -18 + 22. Let z(p) = 2*p**2 + 4*p + 2. Suppose 3*m - 15 = t - 4, -2*m + 6 = 0. Let f be z(t). 