.
0
Let i = -28 + 19. Let w be i/(-5) + (-3)/(-15). Solve 3 = -c - w for c.
-5
Suppose 4*i + 36 = -5*p, i + 16 = -p - 2*i. Let x(u) = -u**3 - 3*u**2 + 5*u + 2. Let y be x(p). Let g be -1 + y/2 + 20. Solve -5*h - g = 2 for h.
-4
Suppose -4 = -2*h, -3*o - 6*h + h = -10. Solve -5*m + 2 - 27 = o for m.
-5
Suppose -5*p + 15 = -10*p. Let a(z) = z**3 + z**2 - 4*z + 1. Let x be a(p). Let q = 5 + x. Solve -4 + q = -2*m for m.
2
Let v(r) be the second derivative of -r**5/120 + r**4/24 + r**3/3 + 2*r. Let q(t) be the second derivative of v(t). Let j be q(-1). Solve 2 = j*k + 10 for k.
-4
Let a be -1 + 1 + (-10)/(-2). Suppose 40 = 5*m - a*t, 0 = 4*t - t + 12. Let n = m - 0. Solve n*c + 3 = c for c.
-1
Let h(o) = 2*o**3 - 4*o**2 + 3*o - 2. Let u be h(2). Let t(w) = w**3 + w**2 - w + 2. Let p be t(0). Let a = p - 0. Solve u*j - a*j + 4 = 0 for j.
-2
Suppose 0 = -0*o + 8*o - 24. Solve o*u = u for u.
0
Suppose 6*n - 1 - 29 = 0. Solve 2*z - 7*z - n = 0 for z.
-1
Let i be 3/(-3) - 1/(-1). Let w be 28/8 - (-3)/(-6). Let d(t) = t**3 - 3*t**2 + t - 3. Let x be d(w). Solve i*b - 2*b + 10 = x for b.
5
Let i be (-1)/8 + 5/40. Solve i = -y + 4*y for y.
0
Let v(r) = r**3 - 5*r**2 + 2*r - 7. Let c be (6/9)/((-4)/(-30)). Let k be v(c). Solve -k*w - w = 4 for w.
-1
Let i be 0 - 2/(-2 + 1). Suppose -i*j - 6 = -s - 18, -3*j = s - 18. Solve -j*v = -2*v + 12 for v.
-3
Suppose -3*x = -4*x + 5. Suppose 5*i + 70 = 3*v, v + 4*i - 2*i = x. Suppose m = -4*m + v. Solve -m = l - 5 for l.
2
Let o = -12 + 5. Let f(m) = -m - 1. Let y be f(o). Let j be 7/(y/4 - 1). Solve -1 - j = -5*z for z.
3
Suppose 20 = 5*r + 2*t, -2*t - 5 + 15 = 0. Solve -r = 4*d + 18 for d.
-5
Suppose -8 = -z - 3. Solve 2*j + 15 = z*j for j.
5
Let b be ((-25)/(-15))/(2/12). Suppose -4*c + 9*c = 5*d - b, -2 = -d - 5*c. Solve -6 + 4 = d*i for i.
-1
Let u = -7 - -5. Let t be 4*u/(32/(-28)). Let y(b) = b**3 - 5*b**2 + 2. Let p be y(5). Solve t*s = p*s - 15 for s.
-3
Suppose 5*i - 4*c - 7 = -c, 2*c - 2 = 0. Solve 2 = z - i*z for z.
-2
Suppose 0 = -5*w + 17 - 2. Solve -z - 1 = -w for z.
2
Let b = -12 - -17. Suppose 2*c = -3*c + 4*i + 4, c + 5*i + b = 0. Solve -4*j + 4 = -c*j for j.
1
Let k be 15/10*(3 - 1). Let x be (-1)/k - 4/(-3). Solve 5*f + 4 = -x for f.
-1
Suppose 0 + 38 = -g. Let k be g/(0/(-1) - 2). Suppose 4*d - k = -7. Solve -h = d - 2 for h.
-1
Suppose 4 = 2*r - 0*r. Solve 2*t + r - 8 = 0 for t.
3
Suppose -2*v = 2*v - 8. Let l be ((1 - 1)/(-3))/v. Let w = -3 - -5. Solve l + 6 = -w*f for f.
-3
Let v(m) = m**3 - 6*m**2 + 2*m - 9. Let i(g) = -g. Let c be i(-6). Let k be v(c). Suppose 0 = n + k*b - 1, -4*n + 44 = 2*b - 0*b. Solve 7 = 5*p - n for p.
4
Let a(v) = -3*v + 17. Let n be a(7). Let y be 148/(-18) - (-4)/18. Let b = n - y. Solve 0*z - z = -b for z.
4
Let q = 8 + -1. Let z = q - -18. Let h = -18 + z. Solve h*p - 12 = 3*p for p.
3
Let j = 51 + -36. Suppose f = -4*f + j. Suppose -12 = f*t, 6*a + 3*t + 3 = 3*a. Solve -6 = 6*s - a*s for s.
-2
Let w(t) = t**3 - 8*t**2 + 6*t + 7. Let j be w(7). Suppose 2*u - 20 = 10. Solve j = i + 4*i - u for i.
3
Suppose -4*m + 8 = -5*o, -o + 2*m - m = 1. Let h = o + 8. Solve 5*r = h*r for r.
0
Suppose 0 = -7*d + 33 - 5. Solve 0 = -d*p - 8 - 0 for p.
-2
Suppose -2*h - w - 4*w = 25, 4*h - w - 5 = 0. Let t(i) = i**3 - 7*i**2 + 2*i - 5. Let g be t(7). Let x = g - 7. Solve -x*a + 4*a - 4 = h for a.
2
Suppose 31*z = 30*z + 2. Solve -z*g - g = -15 for g.
5
Suppose -5*o - 3*d + 76 = 0, 0 = 5*d - 3*d + 6. Suppose -2*r + 3*r = o. Solve -r = -5*y + 3 for y.
4
Let h = -104 - -106. Solve 3*w = -h*w - 25 for w.
-5
Suppose 0 = 5*o - 40. Solve -4*l + o = -2*l for l.
4
Suppose -3*y + 77 = 4*g, 4*y = y - 3*g + 78. Solve y - 11 = -4*b for b.
-4
Suppose 0 = -9*q + 3*q + 12. Solve -8 = 5*h + q for h.
-2
Suppose -v + 22 = -0*v. Let c = v + -16. Solve 4*f + c = -10 for f.
-4
Let a be (-2)/((3/2)/((-63)/12)). Solve 5*t + a = 27 for t.
4
Let v be ((-4)/(-6) + -1)*(12 + -15). Solve -6 + v = -5*z for z.
1
Let g be (-4)/(-10) + (-44)/10. Let h(v) = v**2 + 4*v. Let l be h(g). Let c be (-4)/6*6/(-2). Solve l = c*d - 0 - 2 for d.
1
Let d(n) = -n**3 + 5*n**2 - 4*n + 2. Let y be d(3). Let x = 8 - y. Solve x = -0*h + 4*h + 8 for h.
-2
Suppose -7*v + 54 = -10*v. Let l be (-3)/v + 51/18. Solve 3*g - l = -0 for g.
1
Let v be -2 + 2/(3 + -2). Suppose v*q = -3*q. Suppose 3*x = z + 22, 6*x + 2*z = 3*x + 28. Solve -l - x + 3 = q for l.
-5
Suppose -2*q - 25 = -3*j - 2*j, -q - j = -5. Suppose -6 = -4*i + i. Solve q = -i*b + 3*b for b.
0
Let d = -8 - -8. Solve d + 4 = 2*w for w.
2
Let w(k) = k**2 - 1. Let y be w(1). Let z be (12 + 10 - (-4)/(-1)) + 2. Let q be 3/2*(0 - -2). Solve h + q*h - z = y for h.
5
Let r(k) = k - 11. Let i be r(9). Let y = -3 - -2. Let s be y + (0/(-1) - i). Solve 3*f + s = 16 for f.
5
Suppose k = 2*h + 11, 2*k - 9 = -2*k + h. Let g be 0 + (k + -4 - -11). Solve 3*v - g*v = -20 for v.
4
Suppose 10 + 2 = 3*b. Suppose -4*r = -5*r + 7. Suppose 5*a - 5*m - 25 = 0, -4*a - r = m - 2. Solve 4*k + a = -b for k.
-1
Suppose -5*i = -3*i - p - 6, 9 = 3*i - 4*p. Solve -i*a - a - 4 = 0 for a.
-1
Let m(d) = 14*d + 4 - 13*d - 2 + 7. Let y be m(-6). Solve 2*i = -y - 1 for i.
-2
Suppose -6*h + 2*h - 32 = 4*n, n - 3*h = 12. Let t be ((-9)/n)/((-3)/2). Let l be 10 + t - (3 + -1). Solve -5*p = -l - 4 for p.
2
Let d(n) = -n**3 - n**2 - n - 1. Let h be d(-3). Solve 0*a + 4*a - h = 0 for a.
5
Let n(h) = -6*h + 6. Let g be n(8). Let m be (-1)/(2/g*-3). Let z = -3 - m. Solve -z = 2*v + 2 for v.
-3
Suppose 0 = -b + 4*b - 6. Suppose 5*o - 2*o - 7 = b*r, -5*o + 3*r + 13 = 0. Suppose 7*f + o*q = 3*f + 7, -4*f + 8 = 4*q. Solve -h = f - 1 for h.
-2
Suppose 1 = 2*o - 11. Suppose -12 + 2 = -2*m. Solve -o = m*q + 19 for q.
-5
Let w = 76 - 202. Let b be w/(-15) + 6/10. Solve -b = -q + 4*q for q.
-3
Let v = 7 + -2. Let y(p) = -3*p**2 + 2*p. Let t be y(2). Let a(k) = -k**2 - 9*k - 3. Let b be a(t). Solve 5*g = -v - b for g.
-2
Let u = -3 - 1. Let r be 0/(-1)*2/u. Suppose r*o = 5*d - 2*o - 15, 4*d - 15 = o. Solve -2*y + d*y + 3 = 0 for y.
-1
Suppose 5*c + 17 = u, u + u + 2*c = -2. Let r be u/8 - 59/(-4). Solve 3*w + r = -0*w for w.
-5
Let s be 0/(-2 - (0 - 1)). Let b = 2 - s. Solve -p - 15 = b*p for p.
-5
Let p(w) = -2*w + 9*w**2 + 1 + 0*w + 0*w. Let z be p(1). Let g be (8*1)/2*1. Solve 0*i - g*i = z for i.
-2
Suppose -3*w + 3 = 15. Let t be (w/3)/((-4)/6). Solve -t*y = -7*y + 20 for y.
4
Suppose -13*d + 32 = -33. Suppose -3*i = 5 - 17. Let g be 53/i - (-1)/(-4). Solve -d*h + 7 + g = 0 for h.
4
Suppose -2*l - 2*x = -6, 3*l + 0*l - x = -3. Let y = 8 + -4. Solve l = -z - z - y for z.
-2
Let m(l) = -7 - l - l + 0*l. Let q be 2 - 12/2 - 1. Let z be m(q). Solve 17 = 4*u - z for u.
5
Let r(d) = -3*d**3 - d**2. Let q be r(-1). Let g = q + 1. Suppose -21*i + 26*i = 3*m - 20, 0 = -2*m - 4*i + 28. Solve -m + 1 = g*j for j.
-3
Suppose -6 + 14 = 2*f. Let x = 4 - f. Suppose 0 = 5*b + 4*d + 19 - 7, x = -2*b + d + 3. Solve 4*i + b*i = -16 for i.
-4
Suppose 32 = 5*c - 3*g, -g + 0*g - 16 = -3*c. Solve 0 = 2*r + 4 + c for r.
-4
Suppose 4*g + 4*u - 24 = 0, -5*g + 7*u - 2 = 4*u. Solve 0 = g*j + 3*j + 10 for j.
-2
Let o(c) = 2*c**2 + 16*c - 11. Let l be o(-9). Solve 4*u - l - 13 = 0 for u.
5
Suppose l = 5*l - 8. Solve -5*m = l + 3 for m.
-1
Let v(o) = -o**2 + o + 6. Let n be v(6). Let j = -18 - n. Solve -3*q + 0 = -j for q.
2
Let u = -13 + 18. Suppose -4*v = -y - 14, 0 = -4*v + 14 + 2. Suppose 60 = 2*z + y*z. Solve -u*i = -0*i + z for i.
-3
Let i be ((4 - 2) + -3)*-1. Solve 3 = 4*q - i for q.
1
Let h(k) = 8*k - 11. Let y(l) = -17*l + 23. Let f(q) = 13*h(q) + 6*y(q). Let z be f(5). Solve 0 = -z*g - 5 for g.
-1
Let j(k) = -k**2 + 9*k - 6. Let h = -9 - -23. Let q = -6 + h. Let z be j(q). Solve v = z*v for v.
0
Let h = 29 - 16. Solve h + 12 = -5*r for r.
-5
Suppose 6 + 9 = 5*g. Let z = 17 + -8. Solve -z - g = -3*o for o.
4
Suppose -2*n - 3 = -15. Let c(a) = 2*a - 9. Let x be c(6). Suppose -o - x*w = -33 + 2, 5*o + 2*w - 129 = 0. Solve -o = z - n*z for z.
5
Suppose 6 = 3*l - 6. Suppose -y + 3 = l*m, -3*m + 3*y = 2*m - 25. Solve -5*s = -3 - m for s.
1
Let m = 6 - 4. Suppose s = -2*x + 10, x - 4*s + 7 + 6 = 0. Suppose 0 = 3*y - 3. Solve 0 = -x*w - y - m for w.
-1
Let l(i) = 6*i - 2. Let q be l(2). Let y = 18 - 6. Let v = y - q. Solve -s = -v*s for s.
0
Let n = -