. Let s be v(p). Suppose -56 = -3*q - 47. Solve 0 = q*x - s - 2 for x.
1
Let p be -7*-6*4/56. Let g be 2 + -3 + (p - 0). Solve n = g + 3 for n.
5
Let g be (-12 + 8)/(-2*1). Solve 0*i - g*i = -6 for i.
3
Suppose 2*y + 9 - 27 = 0. Let f = y + -4. Suppose -8 + 33 = 4*a - 5*l, -4*a = -4*l - 24. Solve -a*p + f = -0 for p.
1
Let s(o) = -2*o**2 - 5*o + 10. Let c be s(-7). Let l = -38 - c. Solve l = j + 2*j for j.
5
Suppose 53 + 1 = a. Suppose -6*v + 3*v = -a. Solve -3*q + 3 = v for q.
-5
Let q = -4 - -6. Suppose 5*v = q*l + 16, v - 2*v + l + 5 = 0. Solve -g + v*g + 2 = 0 for g.
-2
Let l(d) = -d**2 + d + 10. Suppose -25 = -5*w - 10. Let f be 0/(w*4/6). Let y be l(f). Solve -5*x + 5 = -y for x.
3
Let r(a) = -a - 12. Let v be r(-15). Let m be 1/2 - 14/(-4). Suppose 0 = m*t - 3*t. Solve t = v*c - 12 - 0 for c.
4
Let t = 13 - 3. Suppose -o = 2 - 0, t = 4*z - 5*o. Let q(n) = n**2. Let v be q(z). Solve v = g - 2*g - 4 for g.
-4
Suppose 0 = 40*v - 45*v + 15. Suppose -c = 4*c. Solve w + v = -c for w.
-3
Let v(o) = -o**3 - 4*o**2 - 4*o - 3. Let f be v(-3). Solve j - 4*j = f for j.
0
Let x(z) be the second derivative of 2*z**3/3 + 3*z**2/2 - 2*z. Suppose -4 = 2*s - 10. Let q be x(s). Solve 0 = 3*j - 6 + q for j.
-3
Suppose 0 = -2*m - 18 + 48. Suppose 3*x = -5*j, j - 3 = 3*x + m. Let z be j + 3/3 + 0. Solve -3*h - z = -h for h.
-2
Suppose 2*i + 6 = 4*i. Solve 0 = i*b + b - 16 for b.
4
Let v = 3 - -1. Suppose -16 = -b - v. Solve 0 = -3*d - b for d.
-4
Let d = 0 - -6. Let v be (3 - 3) + (d - -1). Solve -2*c + 20 = -v*c for c.
-4
Suppose 5*k - 3*k = 10. Let w be 2/8 - 127/(-4). Suppose 5*x + 95 = 5*t, -3*t - 3*x = -x - w. Solve -4 = -k*y - t for y.
-2
Suppose 0 = h - 2. Solve 5*s + h + 3 = 0 for s.
-1
Let r be (-1)/2 - 3/2. Let q be (-3)/3*(0 + r). Solve -q*f = -f for f.
0
Let n(m) = -3*m + 3. Let l be n(-1). Solve -f = -4*f - l for f.
-2
Let t(q) = -q**2 + 3*q + 5. Let l = -2 - -6. Let c be t(l). Suppose -5*w = 2*r - 29, -4*w - 2*r = 2*r - 28. Solve w = -2*b + c for b.
-2
Let w be 3/(-15) - (-204)/20. Suppose -2*s + w = 4. Solve -s = 4*j - 19 for j.
4
Suppose 0 - 12 = -3*g. Solve g*t - 2 = -18 for t.
-4
Let b be (-4)/14 + 16/7. Let z be 3/(3/5) - (-13)/13. Solve -b*d - d - z = 0 for d.
-2
Let n = 42 - 60. Let p = -13 - n. Solve p = -2*v + v for v.
-5
Let h(x) = x**3 - 3*x**2 - 2*x - 4. Suppose -2 = -w - 0*w. Suppose w*j + 3*t = 14, 18 = 2*j + j + 3*t. Let g be h(j). Solve 0 = -4*q + 5*q - g for q.
4
Let y be 21/7 - (-2 - -15). Suppose 9 = -2*z - 11. Let n be (y - 0)*6/z. Solve -n = -4*m - 2 for m.
1
Let w be 3*1/6 - (-116)/8. Solve -7*v = -2*v - w for v.
3
Let d(x) = 3*x - 2. Let m be d(2). Solve -n + m = n for n.
2
Let r = -11 - -20. Let x(v) = -v + 12. Let z be x(r). Solve 0 = -7*u + z*u + 4 for u.
1
Suppose 4*z = 32 - 8. Let i = -1 - -1. Suppose -r - r + 4 = i. Solve z = r*k - 4 for k.
5
Suppose -11 = a - 4*u, 3*u - 20 = -u. Let y = 6 - 2. Suppose 15 = -3*p + 48. Solve -p - a = y*g for g.
-5
Suppose -3 = -39*a + 36*a. Solve -3*n = 4 - a for n.
-1
Suppose -7*r = -5*r - a - 3, 5*r + 9 = -3*a. Solve 3*c + r*c = -12 for c.
-4
Let b(o) = o**2. Let n be b(1). Solve 6 - n = x for x.
5
Suppose -2*q - 4*q = -0*q. Solve q*i = -4*i + 20 for i.
5
Let i(n) = n**3 - 5*n**2 + 5*n - 2. Let p be i(4). Solve -p*w - w = -12 for w.
4
Let w be (4 + -4)/(-1*2). Let s be -2 - (-2 + 0 + -3). Solve -s*n + w*n - 6 = 0 for n.
-2
Let b(i) = -i**3 - 7*i**2 - 2*i - 10. Let d be b(-7). Solve -2*q + d = 2 for q.
1
Suppose 11*u - 35 = 6*u. Solve z - 30 = u*z for z.
-5
Let n = -1 - -6. Suppose g = n*g. Let b be (6 - 2) + (g - -2). Solve -3*v - 9 = -b*v for v.
3
Suppose -c - c = 0. Suppose -3*x - 9 = 0, -4*t + 2*x + x + 33 = c. Solve 5*d + t = -4 for d.
-2
Let m be (-4 - -4)/(-6 + 4). Solve m = l + 4*l + 25 for l.
-5
Let d(u) = -u**3 + 6*u**2 + 16*u + 2. Let k be d(8). Solve 4*q + k = 18 for q.
4
Let f = -6 + 11. Suppose f*p - w - 2 = 0, -4*p - 5*w = 9 - 28. Let u be 8/(p/(3/6)). Solve y + 25 = -u*y for y.
-5
Suppose 4 = -2*p + 6*p + 4*f, 3*p = f + 11. Let v be 6/(-10) - 76/(-10). Let g(c) = c - 7. Let r be g(v). Solve r = m - 2*m + p for m.
3
Suppose 3*x = -3*a + 12, 5*x - 2*a = -a + 2. Suppose 0 = 3*t - 13 + x. Suppose -5 = 4*q + 3, -4*f - t*q = 0. Solve -f*r - 3 = -1 for r.
-1
Let j(x) = x - 1. Let t be j(2). Suppose 4*z + a = -t, 0*a + 2*a + 2 = 2*z. Let r = z - -2. Solve -m = -3*m + r for m.
1
Suppose g + 200 = -3*g. Let f be (-2)/(-3) - g/15. Solve d + 0 = -f for d.
-4
Suppose 7*o - 5*x = 3*o - 15, x - 3 = 2*o. Let b(k) = k + 1. Let y be b(3). Solve o - y = -2*z for z.
2
Let l = 7 + -1. Let c = 33 - 23. Let n be (l/2)/(15/c). Solve -k + 2 = -n for k.
4
Suppose -5*g + 15 = -0. Suppose 3*v - 27 = -g*s + 4*s, s = 0. Let r = v + -5. Solve r*x + x - 10 = 0 for x.
2
Let l(o) = o**2 + 3*o. Let n be l(-4). Solve 6 + n = 5*h for h.
2
Let i = 7 + -2. Solve -5 = -i*q - 0 for q.
1
Let u = -6 - -6. Let n(x) = 2*x - 2*x + x**2 - 8*x + 4. Let g be n(8). Solve 0 = -4*j - g - u for j.
-1
Suppose 70 = -7*c + 12*c. Let d be 16/(-28) + 176/c. Solve -4*v = -0*v - d for v.
3
Let t = -18 + 17. Let q be 0/(t + (-4 - -3)). Solve q*b = b for b.
0
Let n(h) = -h. Let r be n(-5). Let j be 8/((-3)/(6/(-4))). Solve -r = -j*z - z for z.
1
Let h(f) be the second derivative of -f**3/6 - f. Let o be ((-3)/(-6))/((-1)/10). Let s be h(o). Solve 0 = -s*j + 12 - 2 for j.
2
Let i = 17 + -38. Let x = 21 + i. Solve 6 = 2*n - x*n for n.
3
Suppose -2*x + 25 = 3*x. Suppose -x*y + 7 = -3. Solve -8 = -0*d - y*d for d.
4
Suppose 0 = r + r - 3*m - 7, 6 = 2*r - 2*m. Let s(f) = -f**2 + 2*f + 2. Let x be s(r). Let j be (x/4)/(4/40). Solve -4*u + j*u = 0 for u.
0
Let r be -1*(1 + -2) + 34. Suppose d - r = -0*d. Solve 15 = 4*q + d for q.
-5
Let m be (6*-1)/(9/(-6)). Let s(a) = -a**3 + 4*a**2 - a + 4. Let i be s(m). Solve 0 = -3*p - i - 9 for p.
-3
Let d be (-7)/(-3)*3/(-1). Let h be 2/d - 111/(-21). Let s be 2/5 - 8/20. Solve s = 4*w + w + h for w.
-1
Suppose 5*b + 5 = -3*o, -17 = b - 4*o + 7. Let n = 8 - b. Solve -3 = -3*k + n for k.
5
Let v(n) = 3*n + 5. Let w be v(3). Let i = w + -11. Solve -2*k = -i*k - 1 for k.
-1
Let g(r) = 2*r - 9. Let q be g(9). Let o = -3 + 5. Suppose o + 6 = 2*p. Solve 11 = p*b - q for b.
5
Suppose 0 = -4*i - 10 + 10. Solve i*x = 3*x - 15 for x.
5
Let y(j) = -j**2 - 10*j + 3. Let c be y(-12). Let s = -9 - c. Solve p + s = 4*p for p.
4
Let u(b) = -b - 1. Let x be u(-1). Let i = x + 4. Suppose i*g + c + 3*c = -12, 3*g - 5*c - 31 = 0. Solve 2*r + g*r = -12 for r.
-3
Suppose -2*n + n = -5*l - 21, 3*l = 4*n - 16. Let c be 2 - (0 - n - -2). Let w = 40 + -38. Solve 3*d + c + w = 0 for d.
-1
Suppose -3 = 3*k - 12. Let j be 28/6 + 6/(-9). Let o = j + -2. Solve 10 = -k*v - o for v.
-4
Let n = -47 - -51. Solve n*m + 4 = -16 for m.
-5
Suppose -3*a + 42 = -5*m, 5*a - 4*a + 19 = -2*m. Let h(v) = 1. Let z(d) = -d**2 - 8*d + 8. Let y(s) = 3*h(s) + z(s). Let k be y(m). Solve 4*q + k = -2 for q.
-1
Let g be 0/3 - 2*-1. Suppose 11*a - 6*a + 2 = g*j, 12 = -4*a - j. Let z = 0 - a. Solve -y = z*y + 9 for y.
-3
Suppose 4*d + w = -85 + 285, 3*d - 157 = w. Suppose -2 + 0 = -2*g, 3*g = 4*h - 13. Let b be d/15 - h/10. Solve -16 + 1 = b*i for i.
-5
Let n = 10 + -8. Solve -3*k - n = 7 for k.
-3
Let l be (21/6 + -3)*10. Suppose 3*p + 0*p = -l*x + 17, -3*x - 4*p = -8. Solve 0 = 3*o - 5*o + x for o.
2
Let i(g) = -2*g**2 - 5*g - 2. Let c(k) = 5*k**2 + 11*k + 3. Let z(v) = 3*c(v) + 7*i(v). Let u be z(4). Solve -3 = -u*j + 9 for j.
4
Suppose -4*o + 0*o = -32. Suppose -3*s + o = s. Solve 20 = s*w + 2*w for w.
5
Suppose 3*n + 7*n + n = 0. Let j = 11 + -7. Solve n = -j*l + l for l.
0
Suppose 4*u + 12 = 4*m, u + 4 = 4*m - 8. Suppose 0 = -6*x + m*x. Solve 0 = 2*c - x - 2 for c.
1
Suppose -q - 2*p - 4 = 0, 5*p = 3*q + 3*p - 4. Solve 3*t + 0*t + 6 = q for t.
-2
Let w(m) = m**3 + 2*m**2 - 24*m + 7. Let c be w(-6). Solve -25 = -c*z + 2*z for z.
5
Suppose 5*i - 15 - 5 = 0. Suppose i*v - 23 = 1. Solve -v*t - 3 = -5*t for t.
-3
Suppose -h - 3*b + 9 = 0, 3*h + 2*h - 6 = -2*b. Let o be 1/((-2)/(-4)) - 0. Let a(w) = w**2 + 8. Let l be a(0). Solve -o*r + h*r = -l for r.
4
Let y(v) = v**2 + 8*v + 10. Let q be y(-7). Suppose -7*l - q*z = -4*l, -2 = l + 3*z. Let t be 28/3 - (-1)/(-3). Solve -l = -5*c + t for c.
2
Suppose 5*f - 3*g + 5*g + 57 = 0, -4*g + 29 = -3*f.