p.
-1
Let q(t) = -5 + 3 + 3*t - 4*t. Let m be q(-5). Solve 2*o - 2 = m*o for o.
-2
Suppose -3 - 5 = -2*m. Suppose -m*k = 14 - 6. Let x be k*1 + 0 + 7. Solve -x*p - 33 = -8 for p.
-5
Let h = -5 + 8. Suppose 44*k = 39*k + 10. Solve k*r = h*r for r.
0
Let g(j) = -3*j + 19. Let m be g(3). Solve 2*w + 3*w - m = 0 for w.
2
Suppose -g - 8 = -4*x, -2 = 5*g + x - 4. Suppose 14*w - 16 = 10*w. Suppose g = j - w*j + 6. Solve 3*c + 4 = j*c for c.
-4
Suppose f - 8 + 2 = 0. Solve 4*c + 2 = f for c.
1
Let i(q) = q**3 - q - 1. Let m be i(2). Suppose 0*j + 3*u = -m*j + 10, 25 = 4*j - u. Solve -j*l = -9 - 11 for l.
4
Let g(d) be the second derivative of -d**5/20 - 7*d**4/12 - 3*d**3/2 + 2*d. Let y be g(-6). Let n be (6/y)/((-1)/(-21)). Solve 0 = n*k - 3*k for k.
0
Let u(d) = -3*d**3 + d**2 + 2*d + 9. Let r(j) = -2*j**3 + 2*j**2 + 3*j + 8. Let p(s) = -4*r(s) + 3*u(s). Let y be p(-4). Solve v = y*v for v.
0
Suppose -g + 5*t = 15, -5*g - 4*t + 5 = -36. Suppose -2*k + 204 = k - 3*f, -k - 3*f = -88. Suppose 25 = 5*h, 3*r + 9*h = 4*h + k. Solve 9 + r = g*q for q.
5
Let w = 36 + -34. Solve 2*r + w*r - 12 = 0 for r.
3
Let t = -50 + 31. Let j = -12 - t. Solve j*w + 12 = 3*w for w.
-3
Let m(n) = -n**2 - 2*n + 2. Let v be m(0). Suppose 5*d = -0*d - 4*j - 12, 3*j + 9 = 2*d. Solve v*t = -d*t - 4 for t.
-2
Suppose 5*k = 2*g + 3, 6*g - 5*k - 15 = g. Let f(x) = -x**2 - 9*x - 10. Let w be f(-7). Solve 0 = 2*p + w - g for p.
1
Let j be (-3)/4*8/(-3). Suppose 15 - 1 = 2*v. Solve -v*y = -j*y for y.
0
Suppose 0 = 5*x + 9 - 24. Suppose 3*t + 24 = 5*a, x*a - 16 = t - 4. Let p be 15/(4*12/32). Solve -p = -a*f + f for f.
5
Suppose 0 = -5*b - 4*h + 60, 0 = -2*b - h - 2*h + 31. Solve 5*s - b = s for s.
2
Let o be 6/8*(3 - -17). Let w = o + -10. Solve -1 - 4 = w*n for n.
-1
Let t(c) = -2*c**2 - 4*c**3 - 8*c + 9 + 0*c**3 + 3*c**3 - 8*c**2. Let u be t(-9). Solve u = -0*k - 5*k + 20 for k.
4
Suppose -3*s + 18 = 4*w, -w - 3 + 0 = 0. Solve -3*c - 2*c = -s for c.
2
Let i = -143 + 146. Solve 0 = -i*h - h - 12 for h.
-3
Suppose 2*x - x = 0. Let z be (-4)/4 + x + 3. Solve z*u + 2 = -2 for u.
-2
Suppose 3*k + 11 = 3*c - 4, -3*c + 2*k = -18. Solve -5*b + 23 - c = 0 for b.
3
Let z = 15 + -15. Solve z = -2*a - 3*a - 15 for a.
-3
Let f = 5 + -3. Solve 0 = f*d - 0*d - 8 for d.
4
Let g = -11 - -17. Suppose 2*u = -0*u + 18. Solve -3*y + u = -g*y for y.
-3
Suppose 5*p - 7 = 13. Suppose 4*t - 15 - 41 = -2*d, d = -p*t + 52. Solve t = 4*f + 4 for f.
2
Suppose -6*h + h = -5*f + 35, 19 = 5*f - h. Solve 0*z + f = z for z.
3
Suppose 2*z = 8 + 18. Let f = 2 + z. Solve -f = -4*a + 5 for a.
5
Let q(x) = -x**3 + 7*x**2 - 5*x + 2. Let w(z) = 2*z**3 - 15*z**2 + 11*z - 5. Let a(o) = 5*q(o) + 2*w(o). Let h be a(4). Solve -y + 1 - h = 0 for y.
-3
Let l = 7 - 4. Suppose 0 = -2*z + 2*u + 12, 3*z - 7*z = -2*u - 18. Let b(y) = y**3 + 3*y**2 - 4*y + 2. Let w be b(-4). Solve l*v = w*v - z for v.
-3
Suppose -v + 120 = -4*v. Let r be 4/(-6) + v/(-6). Let n = r - 2. Solve -n*k + 2*k + 6 = 0 for k.
3
Suppose -4*r = 3*o - 25, -6*o + 5*r = -4*o + 14. Solve f = -o - 1 for f.
-4
Let d be 4*1/8*-6. Let i = 11 + d. Solve -5*n + 7 = -i for n.
3
Let c be 4*(-2)/16*-2. Suppose 2*h - h - c = 0. Let n be (-6)/(-3) + h*-2. Solve 3*p - 9 + 0 = n for p.
3
Suppose 2*f - 10 = -5*i, 2*i = -2*f - 2*f + 4. Solve 1 = i*t - 3 for t.
2
Suppose 0*x - 2*x = -40. Let z be (x/(-12))/(1/(-3)). Solve 0*s - 25 = z*s for s.
-5
Let p = -7 - -10. Suppose 3 = 4*v - p*v. Let h(q) = 2*q**2 + 4*q + 2. Let b be h(-2). Solve x + b*x = v for x.
1
Let b = 8 + -5. Suppose -5*r + 14 = 7*u - 3*u, -3*r + b*u = -3. Let s be (0 - 2)/(-1) + r. Solve 0 = -0*l + s*l for l.
0
Let y be 4 + -3 + 2/2. Suppose 2 = -y*v - 2. Let j = v + 6. Solve 0 = -j*q + 7 - 27 for q.
-5
Suppose 4*g + r = 14, 2*g - 25 = -3*g - 5*r. Suppose g*k = 2*k + 5. Solve a = k*a for a.
0
Let y = 7 - -2. Solve -29 + y = -5*g for g.
4
Let d(f) = -f**3 - f**2 - f. Let r be d(-2). Solve -6 = -3*l + r for l.
4
Let t(p) = p**2 - p + 4. Let j be t(0). Solve j*c = c for c.
0
Suppose -4*z = -48 + 20. Solve -z - 1 = 4*b for b.
-2
Let v be (11/(-55))/((-1)/5) - -7. Solve -f = -5*f + v for f.
2
Let w = 18 - -5. Let k = 2 + w. Suppose 10 = 3*j + 1. Solve j*x - 10 = -k for x.
-5
Let w be (-6)/4*(-6)/9. Let d be ((-5)/(-3))/(2/6). Suppose d*s + 7 + 3 = 2*c, 5*s = c - 5. Solve -x + s = -w for x.
1
Let z be (-6)/(-15) + 92/20. Solve -3 + 8 = -z*c for c.
-1
Let l(p) = p**2 + p - 4. Let b be l(-3). Solve -b*n + 8 = -4*n for n.
-4
Let a(o) = o + 12. Let m be a(-6). Suppose 0 = -m*n + 2*n + 4*g + 40, 4*n - 5*g - 45 = 0. Solve 3*j = n - 17 for j.
-4
Let q(w) = -w**3 + 2*w**2 + 2*w - 1. Let b be q(2). Suppose -i = -b*i + 8. Solve 0 = 3*g - g + i for g.
-2
Let f be 5 - (0/(-1) + 1). Suppose -f*v + 4 = -4. Solve -2*u - 2 = v for u.
-2
Suppose 0*q = -5*q. Suppose q*h = -2*h. Let j be (1 - 2 - -1)/(-1). Solve -d + j - 4 = h for d.
-4
Let y(k) = k**2 + k - 3. Let g be y(2). Solve 0 = 2*a - g + 13 for a.
-5
Suppose 0 = 7*c + 6 - 34. Solve -o = -c*o + 9 for o.
3
Suppose -3*k + 64 = k. Solve -4*j = 4 - k for j.
3
Suppose -s = 3*s. Let w = s + 1. Solve -10 = -3*y - w for y.
3
Let x(c) = -c**3 + c**2 + c + 3. Let o be x(2). Let q = 6 - o. Solve -t - 2 = -q for t.
3
Let s(k) = -4*k**3 - 3*k**2. Let f be s(-2). Solve f = -q - 4*q for q.
-4
Suppose 0 = 3*d - 9 - 18. Solve -2*g - g + d = 0 for g.
3
Let x(o) = o**3 - 3*o**2 + 3*o + 2. Let z(y) = 2*y**3 - 7*y**2 + 7*y + 4. Let t(v) = 9*x(v) - 4*z(v). Let a be t(0). Solve -f + 4 = a for f.
2
Let s be (-24)/20*(-5 - 0). Solve p + 8 = s for p.
-2
Suppose a + 3*a - 4 = 0. Solve -v + a = 4 for v.
-3
Let p(j) = -j**2 + 4*j - 3. Let z be p(3). Solve z*i - 2 = i for i.
-2
Suppose 5 = 5*y - 0*y. Suppose c - 3*n = -n - 4, 4*c + 4*n = 8. Solve -k + c*k = -y for k.
1
Let o(z) = -z**2 + 8*z - 1. Let i be o(7). Suppose y - i*y = 0. Let t be y + (0 - (-4 - -2)). Solve 4 + 4 = t*k for k.
4
Let n(w) = w**3 - 2*w**2 - w + 1. Let d(t) = t**2 - t - 1. Let i(f) = 5*d(f) + n(f). Let y be i(-4). Solve -p + 2*p = y for p.
4
Let n be (-10)/(-50) + 1/(-5). Solve 0*t + 4*t = n for t.
0
Let g(b) = b**2 + 9*b + 16. Let h be g(-7). Solve s + h*s = -3 for s.
-1
Let f(v) = -v**3 - 5*v**2 + 5*v + 9. Let j be f(-6). Solve -r + j = -4*r for r.
-5
Suppose 3*g - 3 = 3*i, -2*i + 3*g = 7*g - 4. Solve -j + 0*j = i for j.
0
Let t(q) = q**3 + 8*q**2 + 7*q. Let v be t(-7). Suppose v = p + 3*k - 17, 35 + 0 = 5*p + 5*k. Let i be (-112)/24*(-6)/4. Solve p*c = i*c + 10 for c.
-2
Let l(v) = v**3 + v**2 - 5*v - 2. Let s be l(-3). Let i = s - -6. Solve t + 0 + i = 0 for t.
-1
Suppose -3 = 3*l, 3*b + l = -5 + 13. Suppose 0*u + b*w = -2*u + 25, 0 = 5*u - 4*w - 5. Solve 1 = u*p - 4 for p.
1
Suppose -11*v = -10*v - 4. Solve -v = -b + 3*b for b.
-2
Let a = -7 + 26. Let q = -19 + a. Solve -j + 0*j = q for j.
0
Suppose -3 = 2*g + q - 0, -4*g - 4*q = 12. Suppose r + g*r = 2. Suppose 6 = r*v - 5*k - 14, -3*v - 20 = 5*k. Solve 3*o + v + 6 = 0 for o.
-2
Let r(c) = 2*c**3 - 4*c**2 + 3*c + 3. Suppose -3*z - 3 = -3*m, 0 = 3*z - z + m - 10. Let t be r(z). Suppose -2*s + t = 3*s. Solve 0*k + s = 2*k for k.
3
Suppose -3*y + 34 - 4 = 0. Solve 10 = 5*w - y for w.
4
Let v be (4 - 4)/(-2*1). Suppose 25 = 3*p + 2*p + 4*f, v = 2*p - 2*f + 8. Let r = p + -1. Solve 0 = -4*o + 8 - r for o.
2
Let t = 3 + 1. Suppose -4*v = -3*l + 12, 3*l - l - 12 = 4*v. Suppose l*z = -z. Solve z = -t*c - c + 10 for c.
2
Let c(k) be the second derivative of -k**4/12 - k**3 + 9*k**2/2 + 3*k. Let u be c(-7). Solve -u = -5*y + 8 for y.
2
Let r be 4 + (3 - (4 + -1)). Solve 3 - 7 = -r*c for c.
1
Suppose 5*d = d + 8. Suppose -2*o + 8 = d*o. Solve -o*j + 16 = -6*j for j.
-4
Let n be -3 + 0/2 - -2. Let t = 2 - n. Solve -t*c = 2*c for c.
0
Let y(x) = x**3 - 3*x**2 - 3*x - 1. Let f be y(4). Suppose 0*j - j = 3*u - 8, 2*j = 5*u - 6. Solve -g - u = -f for g.
1
Let k = 11 + -11. Let q(d) = -d**3 + 3*d**2 + d - 3. Let r be q(3). Suppose r = -g + 2*g - 2. Solve y - g = -k for y.
2
Let i = -2 - -5. Suppose -4*x = 31 + 9. Let o = x + 26. Solve p - o = -i*p for p.
4
Suppose 0 = 2*b - 3*d - 4, 24 = 4*b - 2*d - 0*d. Suppose -3*i = -b*i. Solve i = -n - 3*n + 8 for n.
2
Suppose -3*p - 2*b - 11 = 0, 3*b + 16 = -4*p - 0*b. Let v be p/(-3) + 4/6. Suppose -4*m - 2*m = -66. Solve -5*r + m = v for r.
2
Let s(t) = -t 