 = -3*p + 6*p - 12 for p.
4
Let n = -104 + 104. Solve 2*r + 2*r = n for r.
0
Let q(b) = -8 - 15 - 11 + 9 - b**3 + 8*b**2 + 12*b. Let r be q(9). Solve 4 = -j + r*j for j.
4
Let r = 69 + -32. Let q = 42 - r. Solve 4*v - q = -v for v.
1
Suppose -901 + 891 = -5*t. Solve b = t*b - 5*b for b.
0
Let c be 1*(-2 + 2)*35/70. Solve c = -2*z - 4 for z.
-2
Let g = 52 - 27. Let d = -24 + g. Suppose -44 = 2*r - 6*r. Solve 4*l = -r - d for l.
-3
Suppose 0 = -5*q - h + 4*h - 37, -q = h + 1. Let f be 3/5 - 2/q. Solve -x = -1 - f for x.
2
Let w be 357/18 + 3/18. Solve 2*r + 22 = w for r.
-1
Suppose 2*q = 0, -l + 2*l + 4*q = -4. Let a be l/(-10) - 65/(-25). Suppose -a*z + 5 = 2*z. Solve -z = 2*j - 11 for j.
5
Suppose 0 = -4*y + 5*l + 51, 0 = y + 3*l + 7 - 24. Suppose 4*d - y = -3*d. Let p(i) = i + 2. Let j be p(0). Solve -d*x = -4*x + j for x.
1
Let t(y) = -y**2 + 11*y - 12. Let q be t(10). Let v(c) = c**2 - 4. Let f be v(q). Solve f = -0*w - w - 4 for w.
-4
Let i = 26 + -21. Suppose 72 = 3*q + 3*k, -i*q + 0*k - 3*k + 112 = 0. Solve -3*h = h + q for h.
-5
Let z(c) = -10*c + 10. Let w be z(5). Let h = w - -40. Solve h = 4*v + 2 - 22 for v.
5
Let l = -595 + 598. Solve l*j = -2*j - 10 for j.
-2
Suppose 0 = -g - 3 + 1. Let h = 4 - g. Suppose -3*d = 2*o - 0*o - 36, -23 = -o - 4*d. Solve -h*f = -f - o for f.
3
Let i = 77 - 75. Suppose -4*x = -i*q + 1 + 1, 0 = 5*q - 25. Solve 3 = n + x for n.
1
Suppose -239 = -3*i + 4*d - 66, -d = 3*i - 163. Let j = -55 + i. Solve -p + 2 = -j*p for p.
2
Let y(i) = i**2 + 4*i + 8. Let h be y(-6). Solve 2*z - 7*z + h = 0 for z.
4
Suppose -250 = -8*v + 3*v + 5*r, -25 = -5*r. Solve v = -6*m + 85 for m.
5
Let w be 1 - 0/(4 + -2). Let d be (1 + w)*(-3)/(12/(-50)). Solve -5*n = 5 - d for n.
4
Let t be ((-1)/2)/((-1)/8). Solve t - 1 = -z for z.
-3
Let h be 3/(-4)*(-4 + 0). Suppose 3 = -3*b - 4*n, h*b - 18 = -0*n + 3*n. Solve -g + 2 - b = 0 for g.
-1
Let v be (8/3)/((-18)/(-27)). Suppose -g = v*g - 25. Suppose 2*j = -5*f + 29, f + 1 = g*j - 4. Solve 1 = -f*n - 9 for n.
-2
Suppose 5*v - 35 = -5*c, 5*c + v = 29 - 2. Suppose 26 = -2*p + 5*y, 24 = 5*p - y + 20. Solve c = 3*t + p for t.
1
Suppose 3*m + 22 = 2*s + 6, m + 12 = 4*s. Let i(n) = -2*n + 2. Let q be i(3). Let k be (0/m)/q + 4. Solve 3 = -k*c - 1 for c.
-1
Let p be (40/(-25) + 2)/(5/25). Solve p*x = -7 + 17 for x.
5
Suppose -a - 4 = -3. Let v = a + 3. Let h = 5 - v. Solve h*u - u = 6 for u.
3
Let w = 1055 + -1051. Solve w*p - 4 + 16 = 0 for p.
-3
Suppose -154 = -3*h - 160, 3*w = 4*h + 38. Suppose 3*d = -5*m, d - 5*m + 4 = 24. Solve d*u + 0 = w for u.
2
Let c be (-795)/(-100) + (-2)/(-40). Solve g + c = 3*g for g.
4
Let i(f) = f**3 - 4*f**2 + 4*f + 1. Let u be i(3). Suppose 5*m - g - 1 = -2*g, m + u = 4*g. Solve 2*r + 10 = -m for r.
-5
Suppose -2*i = -9 + 1. Let a be 5/5*-1 - -1. Suppose a = -2*x + 3*x - 12. Solve x + 8 = i*v for v.
5
Let c = 8 - 3. Suppose -c*t = -9 - 1. Suppose 1 = 2*l + t*l - a, -4*a = -4*l + 4. Solve -5*z + l = 10 for z.
-2
Suppose 0 = b - u + 1, u + 3 = 7. Let z be (0 - -3 - 5)/(4/(-6)). Suppose 15 = -3*c, -b*c - 4 = v + z. Solve -2*d = 2*d - v for d.
2
Let t = 190 - 185. Solve 2*n - t = -1 for n.
2
Let s(t) = -11*t + 190. Let g be s(16). Solve 14 = -i + g for i.
0
Let s be ((-8)/40*0)/3 - -2. Solve 0*i - s = 2*i for i.
-1
Let j = 212 + -211. Solve j = -3*x - 2 for x.
-1
Let p be 78/(-351) - ((-281)/9 + 1). Solve o - p = 7*o for o.
-5
Suppose 7*j + 14*j = 588. Solve j - 19 = -3*z for z.
-3
Suppose 5*k + 2 = k + z, -5*k = 2*z - 4. Suppose 3*f - 5*b - 15 = k, -8 = -f + 3*b + 1. Solve 5*l + f*l = 0 for l.
0
Suppose -15*p = -5*p. Solve p = 2*v + 1 + 1 for v.
-1
Suppose -4*a - 5*h + 11 = 1, 2*a - 2*h - 14 = 0. Let c = 1 - -11. Suppose 0 = 10*t - c*t + 20. Solve -5 = a*q + t for q.
-3
Let i be (-1)/2 - (-26)/4. Suppose 3*a - 18 = -3*k, -3*k - 6 - i = -2*a. Let b(g) = g**3 - 9*g**2 + 7*g + 11. Let s be b(8). Solve 0 = -s*t + a for t.
2
Let u(p) = p**3 + 9*p**2 - 1. Let s be u(-9). Let l be (s - 1) + 1*4. Solve -l*c + 2 + 8 = 0 for c.
5
Let o be 1 - 3 - (5 + -7 + 2). Let x be ((-3 - -5) + -3)/1*o. Solve -w = -3*w + x for w.
1
Let l(j) = j + 9. Let v = 10 + -20. Let r be l(v). Let q = 10 + r. Solve 2*x = -x - q for x.
-3
Let g = 16 + -16. Let p = -6 + 4. Let t be (-102)/(-4) + p/4. Solve -5*v + 0*v - t = g for v.
-5
Suppose -4*i + 9*i - 20 = 0. Solve -i*g = 4 + 4 for g.
-2
Let l(n) = -2*n**2 + 19*n - 4. Let u be l(9). Suppose -u*z + 0 = -20. Let v(m) = m**3 - 2*m**2 - 5*m + 3. Let d be v(4). Solve -z*b + b - d = 0 for b.
-5
Let z = 25 - 20. Let n = 0 + z. Let j(p) = p**2 - 6*p + 12. Let l be j(n). Solve 5*w + l = -3 for w.
-2
Let b = 15 + -9. Let l be (-330)/9 + b/9. Let d be (-75)/(-27) - 8/l. Solve d*z = 5 + 1 for z.
2
Let h = 176 - 164. Suppose z - 13 + h = 0. Let t = -3 + 7. Solve -t*v + z = -11 for v.
3
Let x(f) be the second derivative of f**4/12 - f**3/3 - 2*f**2 - 5*f. Let v be x(3). Let k be v*0*3/6. Solve k = 5*u + 25 for u.
-5
Let z = 119 + -119. Solve z*x + 4*x = -12 for x.
-3
Let b be (0 - (-22)/6)*-3. Let j = -11 - b. Solve -3*w - w - 4 = j for w.
-1
Suppose 0*k + k - 5 = 0. Suppose k*x + x = x. Solve x = 5*l + 2 - 22 for l.
4
Let q(g) = 18*g**3 - g**2. Let p be q(1). Let v be 4/(-6) - p/(-3). Suppose 7*x = 4*x + 2*m + 83, -3*x + 87 = -3*m. Solve -v*d + x = -10*d for d.
-5
Let v be ((-10)/(-3))/(6/9). Let p be 1*(4 - v) + 2. Solve -i - 3 + p = 0 for i.
-2
Let y(q) = 2*q - 49 + 86 - 3*q - 24. Let v be y(-5). Solve 0 = -4*c + v + 2 for c.
5
Let q = -7 + 7. Suppose -5*j = -q*j. Suppose 5*a + 2*y = -2 + 14, j = -y + 1. Solve 4*h = a*h - 6 for h.
-3
Let l = 750 + -745. Solve l*r + 8 = 13*r for r.
1
Let m(n) = -12*n - 8*n**2 + 0*n**2 - 7 + 7*n**2. Let q be m(-11). Solve -q*r + 6 = -10 for r.
4
Suppose -4*w - 3*v = -v + 2, w - 3*v = 17. Suppose 3*x - 12 = 0, -5*z + z = -w*x. Solve -7 - 3 = z*h for h.
-5
Let d = -913 + 925. Solve 5*p = p - d for p.
-3
Let y = 185 - 93. Let k = y - 72. Solve 0 = -5*i + i + k for i.
5
Suppose -2*n + 48 = 3*i - 2*i, -3*i + 108 = -3*n. Suppose -4*j - j = -i. Let q = 28 + -24. Solve q*o - j = 12 for o.
5
Suppose 9*c - 23 - 202 = 0. Solve -3*r + c = 2*r for r.
5
Let y = 11 - 8. Solve -l = -y*l - 8 for l.
-4
Let h = 764 + -761. Solve 6 = i - h*i for i.
-3
Let c(s) = 3*s - 139. Let v be c(40). Let k(n) = -n**3 - 4*n**2 + 5*n - 3. Let t be k(-4). Let l = v - t. Solve -l*o = 5 + 7 for o.
-3
Let o = -76 + 79. Solve 9 = o*m - 6 for m.
5
Let x = -2362 + 2365. Solve x = -2*s + 5*s for s.
1
Suppose 1 = 3*l - 5. Let j(k) = 6*k - l + 2*k - 4 + 2. Let g be j(3). Solve -g = 2*n - 6*n for n.
5
Let b be (-12)/(-66) + 4/(-22). Suppose 2*a - a = b. Solve -g - 4*g - 15 = a for g.
-3
Let h = 73 + -53. Suppose h - 24 = -2*z. Solve z = 5*l - 4*l for l.
2
Let a = -5 - -10. Suppose a*x - 6 = 19. Let f be (-576)/(-60) + 2/x. Solve -3*w - f = -w for w.
-5
Suppose 0 = -2*q - 3*m + 25, 4*m + 4 = -0. Let b be 60/q - 6/21. Suppose r = b*r. Solve r*l = -l for l.
0
Suppose -5*u + 9*u - 24 = 0. Let v be ((-9)/5)/(u/(-90)). Suppose h = -o - o + 15, 3*h = 2*o - v. Solve o = b + 2*b for b.
3
Suppose l + 4*z = 5 + 7, 2*l - 34 = -3*z. Solve 21*w - l*w - 3 = 0 for w.
3
Suppose -32 = -3*c - 8. Suppose 3*r + c = 7*r. Suppose -5 + 15 = r*f. Solve -35 = -f*u - 10 for u.
5
Suppose 3*g = -2*g. Let q(k) = k + 5. Let a be q(g). Solve b - a*b = 0 for b.
0
Let u(o) = o**2 - o - 4. Let p be u(-2). Suppose -w + p = -2*f - 2, -5*w - 3*f + 20 = 0. Solve 0 = -w*z + z for z.
0
Let y be -1 - (14/(-2) + 2). Suppose -y*d = -31 - 1. Suppose d*g = 13*g. Solve 2*i - 3*i = g for i.
0
Let n = 17 - 17. Let t(c) = 2*c**2 - c + 3. Let j be t(n). Solve f = -j*f for f.
0
Let z = -9 - -25. Let a = -98 + 100. Suppose 6*t = a*t + z. Solve o = -t*o + 15 for o.
3
Let t = -28 - -48. Suppose 6*w = 40*w - 136. Solve w*y + t = -y for y.
-4
Let w = 180 - 176. Solve 0 = -a + w*a - 6 for a.
2
Let x = -50 + -29. Let t = 79 + x. Solve t = -l - 3*l for l.
0
Let t(u) = u**3 + 19*u**2 + u + 23. Let q be (-165)/9 + 4/(-6). Let z be t(q). Solve 15 = z*w - w for w.
5
Let w = -70 + 6. Let f = w + 67. Solve 0 = 2*p + f - 5 for p.
1
Let u(p) = -p**2 + 16*p - 45. Let r be u(10). Solve 71 = r*k - 4 for k.
5
Let n(p) = p**3 - 6*p**2 - 5*p - 10. Let v(w) = -w**2 - 5*w + 7. Let i be v(-5). Let z be n(i). Solve z = 3*y + 1 for y.
1
Let