j*h - 6*h = 1 for h.
-1
Let m = 20 - 18. Suppose 4*n - 2*l - 19 - 7 = 0, 0 = m*n + 4*l + 2. Let a = -3 + 15. Solve -n*i + a = 2 for i.
2
Let f(q) = 10*q**2 + 769*q - 71. Let w be f(-77). Let c(g) = -g**3 + 4*g**2 + 8*g - 5. Let i be c(5). Solve -4*y + w*y = -i for y.
-5
Let p = 41 + -28. Suppose 0 = 45*r - 51*r + 24. Solve r*v = -p - 7 for v.
-5
Suppose 4*r + 9*r = 39. Solve 0 = r*f - 50 + 38 for f.
4
Suppose -4*c + 27 + 1 = 0. Suppose -3*w + c*w = -w. Solve w = u + u + 4 for u.
-2
Suppose 16*v - 67 = 13. Solve -9 = v*j + 1 for j.
-2
Let v = 13 - 9. Let l(p) = p - 4. Let j be l(v). Suppose 4*z - 8*z + 8 = j. Solve -z*s + 0*s = 0 for s.
0
Let n = -20 - -28. Solve n*m = 7*m + 4 for m.
4
Let q = 6 + -3. Let s = q + 9. Solve -2 = 2*o - s for o.
5
Let h be (3 - 4)/(2/(-18)). Suppose -5*t = 16 + h. Let l be ((-30)/25)/(2/t). Solve -4 = -z - l for z.
1
Suppose 0 = -3*w + 5*t - 3, 24*w = 23*w + 5*t - 11. Solve -17*f + w = -13*f for f.
1
Let p = -185 + 188. Solve -3 = -6*l + p*l for l.
1
Let b be (-4)/(12 + 56/(-7)) + 7. Solve 0 = -27*v + 21*v + b for v.
1
Let m = -357 - -357. Solve -2*j - 9 + 5 = m for j.
-2
Let a be 2/(3/138*4). Let y = 28 - a. Let u(g) = g**2 + 3*g - 4. Let x be u(-4). Solve x*i + 5*i = -y for i.
-1
Suppose 48 - 6 = 2*s. Let b = 28 - s. Solve u + 3 - b = 0 for u.
4
Suppose 12*p - 327 = 117. Solve p*u = 42*u + 10 for u.
-2
Let c = 1981 - 1969. Solve 40*a - 46*a - c = 0 for a.
-2
Let x be (-1)/(-1) - (38 + -37). Let a = 5 - 3. Solve -2*k + 2 + a = x for k.
2
Suppose 34*w - 12 = 31*w. Solve 9 = w*f + 5*f for f.
1
Let q = -379 + 394. Solve 9*b = 6*b + q for b.
5
Let h(q) = -2*q**3 - 132*q**2 - 133*q - 186. Let b be h(-65). Solve 35 = -2*t + b*t for t.
5
Let s(h) = h + 18. Let p = -10 + 3. Let u be s(p). Suppose -u = -4*g + 9. Solve o - g = -2 for o.
3
Let t(j) = j**2 + 11*j + 22. Let i be t(-9). Solve -s - i*s = -25 for s.
5
Let k(y) = -2*y - 1. Let m be k(-2). Let z(d) = -6*d + 134. Let x be z(22). Let q = -6 - -11. Solve q*r = m + x for r.
1
Suppose -2*t = -7*t - 5*m + 305, 0 = -5*t + 4*m + 269. Solve 2*i + t - 61 = 0 for i.
2
Suppose 11*j + 88 = 264. Solve 68 = 33*t - j*t for t.
4
Let o(a) = a**2 - 7*a - 14. Suppose 4*q - 5*q = -9. Let t be o(q). Solve -5 = l + t*l for l.
-1
Suppose 2*j = -4*x + 6, -j + x = 3*j - 48. Let o(u) = -u**3 + 10*u**2 + 12*u + 2. Let h be o(j). Solve -3*i + h = 4 for i.
3
Suppose -5*h + 2*h = 0. Suppose -2*f + 5*t = 16, h*t - t = f - 6. Solve -f*c - 1 = -9 for c.
4
Let z = 7 + -1. Let u be 2/4 + z/12. Let c be -4*u/(-2) - -13. Solve 0 = -p - 4*p + c for p.
3
Let m = 696 + -689. Solve m*v + 21 + 0 = 0 for v.
-3
Let j = -1402 + 1405. Solve 0 = -15*r - j - 57 for r.
-4
Suppose 3 = 2*p + 13, 5*q + 4*p = -20. Solve q = -0*l - 5*l for l.
0
Suppose y + 6*y - 14 = 0. Let p = 7 - y. Suppose v = -p*v. Solve v = 7*w - 2*w + 5 for w.
-1
Let i be 1/2 + (-22)/(-4). Suppose -3*c = -i*c. Suppose 0 = -4*w, 57*r - 56*r + 4*w = 3. Solve -2*q - r*q = c for q.
0
Let k = -4 - -1. Suppose 0 = 4*t - 0 - 4. Let v be t/(k + 31/10). Solve 4*q + v = -q for q.
-2
Suppose g - 13*n = -8*n + 55, -g + n = -35. Solve g = -7*x + 2 for x.
-4
Suppose g + 6 = 2*c, g + 2*g + 3*c - 18 = 0. Solve -3*u = g*u + 25 for u.
-5
Let d(t) = 6*t**3 + 36*t**2 - 4*t - 8. Let r be d(-6). Solve r*s - 4*s - 12 = 0 for s.
1
Let l = -128 + 143. Let m be 2/6 + (-5)/l. Suppose 2*x = 4*x - 10. Solve m = 4*i + 11 + x for i.
-4
Let p be (0/1)/3 - 0. Suppose 5*q + 4*r - 44 = -p, 2*r + 68 = 5*q. Solve -q = 2*l + 2*l for l.
-3
Let z be 2623/915 + 1/((-15)/(-2)). Let s be (2/(-2))/(4 + -5). Solve 4 = z*g + s for g.
1
Suppose 814*d - 816*d + 28 = 4*q, -5*d + 3*q = -5. Let j = -1 - -1. Let o = 46 - 30. Solve o + j = d*l for l.
4
Let z be (4 + -11)*-2 + -2. Suppose 26*a - z = 20*a. Solve 4*i = a*i - 6 for i.
-3
Let u(n) = -79*n - 474. Let y be u(-6). Solve -12*h + 50 - 2 = y for h.
4
Let z be (45/36)/(1/4). Solve -2*s - 9 = -z*s for s.
3
Suppose 5 = 5*r, 3*r = i - 10 + 13. Let c = 0 - 0. Solve u + i*u = c for u.
0
Let t = 536 - 519. Solve -t*i + 21*i + 4 = 0 for i.
-1
Suppose -2*m + 5*n = -32 - 3, 0 = 5*m - 5*n - 95. Solve m*d = d + 57 for d.
3
Suppose 4*j = 5*v + 12, j - 14*v = -10*v + 3. Solve 3*k - j = 6*k for k.
-1
Let h = 349 + -332. Solve 0 = -h*i + 16*i + 2 for i.
2
Suppose 3*p = -1 - 5. Let a be 4/(-16) - (p + 21/12). Solve 0 = -5*b - a*b + 10 for b.
2
Let i(r) be the first derivative of r**4/4 + 4*r**3/3 + 2*r**2 + 3*r - 2. Suppose 0 = 6*t + 3*t + 27. Let f be i(t). Solve 0 = c - 2 - f for c.
2
Let n(r) = r**2 + 5*r - 62. Let i be n(6). Solve -22 = -i*v - 6 for v.
4
Suppose 4*j + 2*r = 8*j - 2, 0 = 3*j + r - 4. Solve -3*h = j + 5 for h.
-2
Let h(t) = 2*t. Let d be h(2). Suppose -2*a + 16*i - 18*i = 4, -4 = 5*a + 2*i. Solve a*l + 20 = -d*l for l.
-5
Let o(a) = -5*a. Let u be o(8). Let z be u/(-10)*6/4. Solve -l + 20 = -z*l for l.
-4
Suppose -6 = 4*k - 5*k. Solve k = -7*z - 1 for z.
-1
Let q = 202 + -197. Solve -5*k + 10 = -q for k.
3
Let s(c) = 33*c + 208. Let q be s(-6). Solve -q*b = -9*b - 4 for b.
4
Let f(q) = -2*q**2 - 9*q + 63. Let u be f(-8). Solve u*p - p + 24 = 0 for p.
-4
Suppose x + 14 = -x. Let k(n) = -2*n - 12. Let g be k(x). Let t be 1 - 2/4*2. Solve t*p - 6 = -g*p for p.
3
Let a be (56/(-35))/(4/(-30)). Suppose 2*b + 2 = -2*l + 8, 4*b - a = 4*l. Suppose 3*c - 15 = 0, 2*p = -2*p + 3*c - b. Solve -p*t = t for t.
0
Suppose 0 = 4*q - 0*l - l - 27, 5*q - l = 33. Suppose 0 = y - q*y - 5*r - 5, 2*y = -4*r - 4. Solve y = g - 3*g - 8 for g.
-4
Let j = 178 + -175. Solve j*v - 6*v = -6 for v.
2
Let z be (0/(-4))/14 - -12. Solve -7*m + z = -m for m.
2
Let f be 1/((-2)/20*6/(-18)). Suppose 51*v + f = 56*v. Solve -v*z + z = -25 for z.
5
Let l(p) = p**2 - p. Let f be l(1). Suppose 3*w = 4*j - 4, 5*j - 3 = -3*w + 2. Solve q + 4 + j = f for q.
-5
Let i be 2/2*117/3. Let r = -38 + i. Solve -d = r - 5 for d.
4
Let h be -10 + 12 + (-1 - -2). Suppose -h*x - 10 = -5*j, -6 = -j - 2*j - 5*x. Let k(g) = -g**3 + 3*g**2 - g - 2. Let m be k(2). Solve m*l + 2*l - j = 0 for l.
1
Suppose 2*j + 44 = 5*z, 3*z - j - 24 = 2. Solve 11 = v + z for v.
3
Suppose 3*u = -20*u. Solve u = 8*t - 0*t for t.
0
Suppose 117*f = 128*f - 66. Solve 18*z - 21*z = f for z.
-2
Suppose -16 = 4*g - 40. Solve -1 = -g*i + 5*i for i.
1
Let y(t) = -t + 26. Let l be y(10). Let n be l/(5/1 + -3). Suppose 0 = m + m - 16. Solve -n = -4*p + m for p.
4
Suppose 23*d - 13 = 79. Solve -d*z - 2 = 14 for z.
-4
Let w(x) = -x**2 + 8*x + 9. Let y be w(8). Let d = y - 4. Suppose -5*f + 4*q = d, -2*f + 3*q - 2 = 7. Solve -1 = -4*n + f for n.
1
Let x be (48/(-10))/((-26)/65). Solve x*y = 4*y - 32 for y.
-4
Let d = -9 - -11. Suppose -s = 3*s. Solve -2*p + s*p = -d for p.
1
Let q(z) = z**3 - 4*z**2 + 4*z - 1. Let x be q(3). Suppose -9*k = -27*k + 180. Let w(b) = -b**2 + 8*b + 21. Let m be w(k). Solve j = m - x for j.
-1
Suppose l = 3*l + 2*w + 44, 5*l - 2*w + 145 = 0. Let m = 30 + l. Solve t - 7 + m = 0 for t.
4
Let m = 31 - 18. Suppose f - 5*x + 4*x = 8, -5*f = -x - 32. Suppose -2*g - 4*p = -30, -24 = 2*g - f*g + p. Solve -5*q + g = -m for q.
4
Let r(l) = l**3 - 3*l**2 + 3*l - 2. Suppose -2*n - 3*n + 5 = 0. Let t be ((-8*n)/2)/(-2). Let q be r(t). Solve -2*v - v = q for v.
0
Let r(h) = -h**2 + 3*h + 3. Let x be r(5). Let z(q) = q**3 + 7*q**2 - q - 4. Let s be z(x). Solve -s*k + k = -2 for k.
1
Let b = 32 - 18. Suppose b = h + h. Let p(k) = k**3 - 6*k**2 - 7*k + 1. Let t be p(h). Solve 0*d + t = -d for d.
-1
Let z(g) = -2*g**3 - 4*g**2 - g - 1. Let u be z(-2). Suppose l + 4 = -3*h + 2*h, -2*l - 5*h - 20 = 0. Solve l = 4*o - 7 - u for o.
2
Let d(b) = 3*b - 7. Suppose 17*g - 60 = 2*g. Let a be d(g). Solve -4 = -3*k + a for k.
3
Suppose 2*c - 4*f - 32 = 0, 4*c - 55 = -2*f + 7*f. Let q = 12 - c. Let p(x) = -x**2 - 15*x - 6. Let r be p(-13). Solve -3*l = q*l + r for l.
-4
Suppose -5*d - 173 = 3*x, 4*x = -x - 5*d - 305. Let a = 71 + x. Solve -5*u = 15 + a for u.
-4
Suppose 2*w + 12 = -4*a, 3*w - 3*a - 2*a - 26 = 0. Let b be -2 + (2 - (-8)/w). Solve 4 = -b*z + 2*z for z.
-2
Let x(y) = -y**3 + 7*y**2 - 6*y + 3. Let k be x(6). Let w be (-9)/(-5) - k/(-15). Let l be (3 - (0 - -6)) + 8. Solve l*j - w*j = -3 for j.
-1
Let w = 314 - 299. Solve -p - w = 2*p for p.
-5
Suppose 12 = 4*g - 8. Suppose -4*i - f + 59 = 0, -2*i - 5*f + 3*f + 28 = 0