lve a = 2*p + 3*p for p.
0
Let x = 101 + -91. Suppose k = -3*t - 0*k + 14, -t + 2*k = 7. Let i be 0/(t*4/6). Solve -x = 5*h - i*h for h.
-2
Suppose -3*m - 5*o = -m + 14, 5*o = -20. Solve 7 + 5 = -m*t for t.
-4
Let s = 51 - 41. Solve 2*q + 3*q = -s for q.
-2
Let m be (-10)/(5/(-1)) - 2. Solve 4*b + 27 - 7 = m for b.
-5
Suppose -9 - 6 = 3*v. Let c(l) = 1 - 4*l**2 - l**3 + 5*l - 3*l + 0*l. Let m be c(v). Solve 5*g = g + m for g.
4
Let j(g) = g**2 + 5*g - 10. Let q be j(-7). Suppose -15 = -q*v + 9. Suppose -3*a - h + v = -35, 2*a - 39 = -3*h. Solve i = 4*i + a for i.
-4
Suppose 5*m = -4*r - 4, 5*m - 1 = 6*r - 5*r. Solve m = 5*f + 8 + 12 for f.
-4
Let p be (4 - (-6)/(-6))/1. Solve 6 = p*i - 9 for i.
5
Let k = -6 - -11. Let h(z) = k*z + 7*z**2 + 8*z - 12 - 8*z**2. Let y be h(12). Solve -2*g + 10 = -y for g.
5
Let v be 2 - (-3)/(1 - 4). Let r be v/(-2)*(2 + -2). Suppose r*j = -2*j. Solve j = 3*u + 1 - 4 for u.
1
Suppose -4*s + 6 + 2 = 0. Let b = 0 + 4. Suppose -i - b*u = -21, 4*u = u + 12. Solve -s = -i*x + 13 for x.
3
Let h(w) = w + 16. Let d be h(-9). Suppose 3*t + 3*r - 1 = -4, 5*r + 13 = -t. Solve -d*x + t*x = 15 for x.
-3
Let i be (2 - -1) + (-3)/24*0. Solve 0 = i*z + 4 + 2 for z.
-2
Suppose -j = -6*j + 50. Solve -j = -k - k for k.
5
Let a be 2*1/2*1. Suppose 5*q - 25 = 0, -2*q + 15 = -2*k + q. Solve k = r - 5 + a for r.
4
Let z(c) = -c**2 + 6*c. Let n be z(6). Solve -2*m + 3*m = n for m.
0
Let i(m) = -m**2 + 6*m. Let c be (20 - 2)*2/6. Let d be i(c). Solve d*w = 2*w for w.
0
Let c be (-3 + -4)/1 + 0. Let g = c - -11. Solve 0 = g*y - 0*y + 16 for y.
-4
Let f = 7 - 5. Solve -f = -s + 3 for s.
5
Suppose -1 = r + 4. Let m = -4 - r. Let c be (-2)/(1*(-3)/6). Solve -c*x + 21 - m = 0 for x.
5
Let s(t) = -t - 1. Let o be s(-9). Solve o = -2*x - 2 for x.
-5
Let f = 38 + -27. Suppose f = 5*p - 34. Solve 1 = -2*c + p for c.
4
Let f(b) = b + 4. Let m be f(-5). Let s be 1 - -1*(0 + m). Solve s*j - 5*j = 0 for j.
0
Let c be 2*((-6)/(-12) - -3). Solve -5*k = -c*k - 6 for k.
-3
Suppose 0 = 8*t - 10*t. Let a be (t - -8) + -4 - -16. Solve o + a = 6*o for o.
4
Suppose 0 = 3*g - 2*g - 5. Suppose -g*a = -0*a. Let o = 5 + a. Solve -o*l + 4*l = 0 for l.
0
Let b be 2/(-7) + 30/7. Suppose -z + 0*z = -b. Solve -4*v + 3*v = z for v.
-4
Let m(w) = 5*w - 3. Let k be m(1). Solve k*a - 4*a = 10 for a.
-5
Let l(i) = i**2 - 12*i + 7. Let b be l(11). Suppose 5*o = -11 - 9. Let t = o - b. Solve t = 2*g - g + 5 for g.
-5
Suppose 9 = 5*t - 61. Suppose -2*d - 2 = -d + a, -3*a = 2*d + 4. Let h be 40/(-12)*3/d. Solve -t - 11 = h*r for r.
-5
Let f = -1 - -3. Let h be (6/f)/((-3)/(-20)). Solve -h = -i - 4*i for i.
4
Let d be 10/3 - (-2)/(-6). Suppose -d*a - 4 = 2. Let c be ((-20)/3)/(a/6). Solve 4*s + s + c = 0 for s.
-4
Let h be (-86 - -4)/((-4)/(-2)). Let b = h + 61. Let g = b - 14. Solve -j = j - g for j.
3
Suppose -12*y = x - 17*y - 8, -5*y + 1 = 2*x. Solve 0 = -c - x*c + 8 for c.
2
Let x(i) be the third derivative of -i**5/60 + 5*i**4/24 - 5*i**2. Let o be x(3). Solve 0 = 4*j - o*j for j.
0
Let p = -6 + 12. Suppose -d + 0*d = -p. Suppose d*o = o + 75. Solve -3*z - o = -0*z for z.
-5
Let u be (-12)/(-2) + -2 + 0. Let b = 16 - u. Let w = b - 7. Solve -3*s = -w*s for s.
0
Let i(o) = o**2 - 3*o - 3. Let z be i(5). Let w = -7 + z. Suppose w*n = -4*n + 12. Solve 12 = -5*h - n for h.
-3
Suppose -13 = -7*l + 8. Let i be 2 + 0/((-2)/(-1)). Suppose -5 = -r - 2*h - h, -i*r + 10 = -2*h. Solve 10 = -r*g + l*g for g.
-5
Let x(o) = -o - 2*o + 2*o - 9. Let y be x(-9). Solve y*r + 3*r + 15 = 0 for r.
-5
Let v be (-2 + 8)/3*2. Suppose -2*l + 19 = -5. Solve 0*c - v*c + l = 0 for c.
3
Suppose -3*t + 2*w = -0*t + 8, -2*t + 20 = 5*w. Suppose 0 = 2*h - 3*h + 2*n + 6, h + 2*n - 10 = t. Solve -5*r - h = -r for r.
-2
Let w be (-45)/25 + 2/(-10). Let k = 2 + w. Solve k = 4*j - j + 3 for j.
-1
Let c be 28/12 - (-4)/(-12). Let g be (10/4 - c)*8. Let u(q) = q**2 - 3*q + 4. Let v be u(3). Solve 12 = -v*m + g for m.
-2
Suppose -2*w + 9 + 4 = -y, 2*w = -4*y - 12. Let z be (4/(-5))/((-5)/(-25)). Let n(t) = -t**3 - 5*t**2 - 5*t - 3. Let c be n(z). Solve w - c = 3*d for d.
1
Let q be 1/(-2)*4 + 2. Suppose q = -5*v - 0 + 5. Solve 3 + v = a for a.
4
Let l = 17 + -10. Let z = l + -5. Solve 0 = -4*j + z*j for j.
0
Let w(f) be the third derivative of 0 + 0*f - f**2 - 1/24*f**4 - 1/60*f**5 + 2/3*f**3. Let b be w(0). Solve j = b*j - 12 for j.
4
Let k(n) = -n**3 + 5*n + 5. Let f be k(-2). Solve 3 + f = 2*x for x.
3
Let f = 13 + -9. Suppose f*h - 2*r + 7*r - 28 = 0, -3*r + 2 = -5*h. Suppose 0 = 5*g - 8 - h. Solve g = 2*p - 8 for p.
5
Let l(u) = -u**3 + 6*u**2 - 9*u + 7. Let q be l(4). Solve -4 + q = o for o.
-1
Let h(g) = -4*g**2 + 5*g + 3 - 1 - 4 + g**3. Let c be h(3). Suppose 1 = l - 4*n - 4, 3*n = l - c. Solve 3 = v - l for v.
4
Let o be (15/(-25))/((-2)/10). Suppose -10 - 5 = -o*v. Suppose -a + v*p + 12 = -0*a, -5*a = 4*p - 60. Solve 0*h = -3*h + a for h.
4
Let k(h) = 3*h**2 + h + 1. Let q be k(-1). Suppose -c - q = -5. Solve -4*r = -c*r + 8 for r.
-4
Suppose -6*m - 12 = 2*s - 2*m, -2*s + m = -13. Solve -s*k = -0*k for k.
0
Let u(m) be the first derivative of m**2/2 + m + 2. Let o be u(4). Suppose 0 = -o*d - j + 1, 4*d + 2*j + 4 = -0. Solve -4 = q + d for q.
-5
Let q be -1 - 15 - 0/(-4). Let s = q + 17. Solve g + 0 = -s for g.
-1
Suppose d + 1 = -y - 2, 2 = -4*d - 2*y. Suppose -d*o = -12 + 2. Solve -2*r = -o*r + 3 for r.
1
Suppose 4*r - 95 = 5*a, 2*a = -2*r - 0*a + 52. Suppose 30 = -5*z - 2*x, 5*z - 8 = -3*x - 38. Let g be 10/(-2)*z/5. Solve g*v - r = v for v.
5
Suppose -5*v + 9 + 1 = 0. Suppose v*c + 12 - 3 = 5*k, 0 = 5*c + k - 18. Suppose -4*w - n = 0, w = 4*w + 2*n. Solve o + c*o = w for o.
0
Suppose 4*l = -5 + 37. Let a = 8 - l. Solve a = -x - 3 + 6 for x.
3
Suppose 24 = x + 3*x. Solve 0 = g - 1 + x for g.
-5
Suppose -2*o - 4*i + 14 = 0, -25 + 135 = 5*o - 5*i. Solve 5*p - 7 = -o for p.
-2
Let t(h) = -h**3 - 2*h**2 + h - 2. Let x be t(-3). Let m be ((-2 - -10)/1)/1. Solve -x*c + 8 = -m for c.
4
Let n be 1/2*(2 - 2). Suppose 8 = -n*f + 5*f - 4*z, -z - 2 = -f. Solve b - 5 + 0 = f for b.
5
Let b(j) = -j**3 + 17*j**2 + 19*j - 18. Let d be b(18). Solve d*v + 5*v = 5 for v.
1
Suppose 0 = 2*u - 2 - 4. Let k = 4 - u. Solve -k = -2*g - 3 for g.
-1
Suppose 3*p - 5 = -3*x - 14, 3*x = -2*p - 1. Let b be 2 - 5 - (-3 + p). Solve -3*o + b*o = 10 for o.
2
Let y = 2 - 2. Suppose -2*j - 8 = 8. Let u(x) = x**3 + 7*x**2 - 10*x - 12. Let o be u(j). Solve y = -2*i + 2 - o for i.
-1
Suppose o = 5*t - 10, 5*t - 2*t + 4*o = 6. Solve 2*f - t = -0*f for f.
1
Let l = -3 + 5. Suppose 0 = 2*s - l*v - 8, 0*s + v + 3 = 2*s. Let x = s - -3. Solve -t + 3 = x*t for t.
1
Let l = 21 - 21. Solve l = -9*v + 4*v - 20 for v.
-4
Suppose 0 = -2*h + 2 - 2. Solve h = -4*n + 3*n + 1 for n.
1
Suppose 5*k + 6 = -g + 3*g, -9 = -5*k - 3*g. Suppose k = 2*o - 1 - 7. Solve -o*n = -7*n for n.
0
Suppose -4*o = -0*o - 2*p - 28, -4 = -2*p. Solve o*h = 4*h for h.
0
Let d(h) = -h**3 - 2*h**2 - 2*h + 2. Let x be d(-2). Solve 0 = -x*s + 2*s for s.
0
Suppose 7*f - 3 = 6*f. Let q(y) = y**2 - y - 4. Let j be q(f). Suppose -7*h = -j*h. Solve h = a - 2*a + 1 for a.
1
Suppose -24 = -9*c - 6. Solve c*p + 5 = p for p.
-5
Suppose -2*p = 2*q - 2, 0 = p + 2*p - 12. Let y be ((-2)/q)/((-1)/(-3)). Solve -s = y*s - 15 for s.
5
Suppose j - 2*b = -3*b + 8, -5*j = -b - 16. Suppose -3*d + j = -2*d. Suppose 32 = d*k - 6*c + 2*c, 4*k = 5*c + 36. Solve -k = -4*s + 12 for s.
4
Suppose -3 = -5*f + 3*h, 2*f - 4*h + 5*h = 10. Suppose -3*a + 5*k - 104 = -0*k, a + 29 = -4*k. Let r be a/(-6) - f/(-6). Solve -2*b + r + 2 = 0 for b.
4
Let u be (0 - -2 - 2)/2. Let t = 5 - 5. Suppose -k - 3*o + 15 = t, -2*k = k - 3*o + 3. Solve k*q = -u*q + 15 for q.
5
Let z(b) = b**3 - 8*b**2 + 7*b + 5. Let q be z(7). Solve 5 = q*a + 20 for a.
-3
Suppose 3*o = 2*t - 22, -11 - 5 = 4*o. Let s(b) be the first derivative of -b**2/2 + 4*b + 1. Let m be s(3). Solve 0 = 2*d + t - m for d.
-2
Let x = -70 - -70. Solve -j - 4*j = x for j.
0
Suppose 0 = -6*o + 10 + 14. Solve -2*p = o + 2 for p.
-3
Suppose 116 = 4*w - 36. Let f(i) = i**2 + 3*i - 3. Let h be f(6). Suppose 3*o + 2*l - 6*l - h = 0, 3*o - l - 42 = 0. Solve -5*y = w - o for y.
-5
Suppose -10 = -h - 0*h. Suppose -h*y + 7*y = -6. Solve y + 3 = 5*q for q.
1
Suppose -4*h = 