 = -4*p + y for p.
4
Let c be -1*(-3*5)/3. Solve c*t - 20 = -0*t for t.
4
Suppose -p - 3*g = -16, -p = 5*g - 12 - 2. Let j = p - 35. Let z be (j/(-6))/(8/12). Solve z = 4*y - 4 for y.
2
Let l be (-18)/(-99) - 70/22. Let b be (300/9)/(-4)*l. Solve s - b = 6*s for s.
-5
Let q be (-2)/(-11) - (-2)/(-11). Suppose 4*c - 3*c = 0. Suppose c = -q*i - 4*i. Solve i = -3*t - 7 - 2 for t.
-3
Suppose 1 = -4*q + 9. Suppose f + f = 5*p - 37, 4*f + 2*p = -14. Let w = -3 - f. Solve -l + w = -q for l.
5
Let v be (-85)/(-20) + 1/(-4). Solve 3*k - v = 5 for k.
3
Let f(m) = -m + 10. Let d(z) = -z - 6. Let v be d(-4). Let s be (1/v)/(4/(-80)). Let r be f(s). Solve g + r = -1 for g.
-1
Let i(z) = 4*z**2 - z + 1. Let q be (-10)/35 + (-23)/(-7). Suppose -3*h - q*f + 15 = -6, 0 = 5*f - 25. Let o be i(h). Solve 4*r - r = -o for r.
-5
Suppose 64 = 3*j + j. Solve -5*g = -j - 4 for g.
4
Suppose 38 = 2*w + 2*h, 3*w + w - 72 = -2*h. Suppose -4*m + 23 = -w. Suppose -2 = 2*d, -4*v + 7*v = 3*d + 18. Solve v*o = -m - 15 for o.
-5
Suppose -4*j + 7 + 6 = -u, 3*j - 5*u = 31. Let r = -2 - -5. Let n be j - r/(-4 - -1). Solve -n*g = -2*g - 3 for g.
3
Let r be 1/(-3)*2*-3. Let g be (r + 0)/((-2)/(-3)). Solve 5*n + 17 = -g for n.
-4
Suppose 2*v = n + 2 + 1, 2*n = -2*v + 12. Solve -v + 0 = -u for u.
3
Suppose 0*g = -g + x + 8, -4*x = -2*g + 26. Suppose 4*k = 5*h - k + 15, -g*h - 4 = -2*k. Solve 4*p = 2 + h for p.
1
Let n be ((-7 - -3) + 3)*-3. Suppose 0*y + 2*p = -n*y + 22, 5*p = -y + 16. Solve -y*i = -i - 5 for i.
1
Suppose 3*j + 2*m - 14 = m, 0 = 4*m - 20. Solve 2 + 4 = -j*q for q.
-2
Let v(f) = f**3 + 11*f**2 - f - 7. Let a be v(-11). Suppose -a*j + 20 = 4. Solve 4*b = -j - 16 for b.
-5
Suppose 2*d = 3*a - 22, a + 7 = -a - 3*d. Suppose -3*m = 4*h + 5, 0 = m + 4*h - h. Let o = a + m. Solve o = 3*j + 4 for j.
-1
Suppose 0 = 4*l - 0*l + 4*r - 24, -r - 6 = -5*l. Suppose k + 3*k = -2*p + 16, l*k + 5*p = 0. Let d be (-8)/(-2) - 12*1/4. Solve 4*j = k - d for j.
1
Let f(r) = r**2 - 3*r + 4. Suppose -3 = -2*v - y + 1, 0 = 5*v + 2*y - 11. Let a be f(v). Solve 2*o + a = o for o.
-4
Let a = 6 + -1. Solve -y + a*y - 12 = 0 for y.
3
Let j(r) = 14*r - 3. Let c be j(2). Solve -3*s = 2*s + c for s.
-5
Suppose 0 = 2*s + 2*h - 10, -5*s - 4*h + 17 = -11. Let d(v) = v**3 - 9*v**2 + 8*v + 5. Let t be d(s). Let o = 10 - 6. Solve t*f = o*f for f.
0
Let i(r) = r - 13. Let y be i(8). Let m(t) = t + 9 + 0*t - 1. Let n be m(y). Solve -4 = -k - n for k.
1
Suppose 0 = 2*z - 4*z + 26. Let l = 7 + z. Let a = -1 + 1. Solve 0 = -a*j - 4*j - l for j.
-5
Suppose 0 = -14*z + 18*z. Let w be (-44)/(-6) - 2/(-3). Suppose 4*d - w = -z*d. Solve d*p = p + 3 for p.
3
Suppose 0 = -t - 2*i - 2, -10 = -t + 4*i. Solve -6*u + t*u - 4 = 0 for u.
-1
Let q be 0/(-1)*(-1)/(-2). Suppose 5*h = 20, -4*n + q*h + 28 = 4*h. Let y(m) = m - 6. Let b be y(6). Solve -n*s - 6 + b = 0 for s.
-2
Let g(r) = 4*r**2 + r + 2. Let c be g(-2). Suppose -4 = 2*m - c. Let h = m + -2. Solve l - h*l - 6 = 0 for l.
-2
Let s(a) be the third derivative of a**6/120 + a**5/15 + a**4/12 - a**3/3 + 2*a**2. Let f be s(-2). Solve f*j = -0*j for j.
0
Let x = 8 + -6. Suppose -x*q + 0*q + 8 = 0. Let l be ((-2)/q)/(2/(-4)). Solve -4*k - l = -13 for k.
3
Let i = -45 + 45. Solve 0 = z - i*z + 3 for z.
-3
Let t(b) = -23*b - 1. Let p be t(-1). Let x = 44 - p. Suppose 2*l - 4 = x. Solve -3 = 5*n - l for n.
2
Let i be 12/(-8)*4/(-6). Solve -2*y = -y - i for y.
1
Let r = -6 - -9. Suppose j + r*j + 2*h = 106, 5*j - 2*h = 119. Solve -6*o - j = -o for o.
-5
Suppose -2*f - 123 = g, 7 + 161 = -3*f + 4*g. Let d be (6/4)/((-18)/f). Solve -d*a = -2*a for a.
0
Let q(z) = -z**3 - 10*z**2 - 18*z - 13. Let s be q(-8). Solve 9 = -s*l + 6*l for l.
3
Let b be (6/30)/(1/10). Solve -i = b - 4 for i.
2
Suppose 11*z = 8*z + 9. Solve 0 = -n - 0*n + z for n.
3
Suppose 2*s = 15 - 3. Solve s*q + 3 = 3*q for q.
-1
Let i(p) = 3*p + 2. Let l(a) = -10*a - 5. Let m(g) = 7*i(g) + 2*l(g). Let v be m(-2). Suppose 4*u - 14 = 2*u - v*z, -19 = -u - 4*z. Solve -u + 4 = n for n.
1
Let n = 6 + -2. Suppose n*q + 0 = 16. Suppose d - q*d = 0. Solve w - 6*w + 10 = d for w.
2
Let u = 16 - 3. Suppose 2*i + u = 3*c, -5*i - 6 = 2*c + 17. Suppose -2*g - c = -5. Solve 3*b = 4*b + g for b.
-2
Let g(s) = 5*s**2 + s. Let d be g(1). Let b(o) = -o + 9. Let k be b(d). Let l(v) = -v**2 + 11*v + 42. Let u be l(14). Solve u = k*r - r for r.
0
Let p be 3 + (8 - 4 - 4). Solve 0 = -5*c + 12 + p for c.
3
Suppose 3*k - 17 - 10 = 0. Solve k = 4*f - 7 for f.
4
Let h(g) = g**2 - 4*g + 3. Let r be h(4). Suppose -14 = -2*w - 2*b, -2*b - 4 = r*w - 7*w. Let t be w/(((-9)/(-1))/3). Solve 0 = 2*v + 7 - t for v.
-3
Let s(n) = n**2 + 2*n - 19. Let a be s(-6). Solve -a*k + 11 = -9 for k.
4
Let w be 10*(4/(-8))/(-1). Solve -w*y = -2*y for y.
0
Suppose -3*q = 5 + 10. Suppose 0*u = -5*s - 4*u + 52, 2*u = s - 2. Let n = q + s. Solve -2*t + n - 1 = 0 for t.
1
Let z(r) = -r**3 - r**2 - 2*r - 3. Let q be z(-2). Suppose -4*x + q*x - 3 = 0. Solve 2*h + x = -5 for h.
-4
Suppose -5*w + 47 = 3*d + 1, 4*w - d = 30. Solve 2*f = -w - 0 for f.
-4
Suppose 4*v + 3*c - 11 = 2*c, c = -v - 1. Suppose -7*i + 3 = -v*i. Solve -4*x = i - 13 for x.
3
Let a = -21 + 7. Let f = 14 + a. Solve q + q = f for q.
0
Suppose 5*x = 4*x. Suppose -3 = -2*n + 7. Suppose -q - n = 0, b - 4*q - 16 = 3*b. Solve b*r + r = x for r.
0
Let m be 3 - (-4)/((-12)/(-3)). Let q = -2 + 2. Suppose 0 = -3*d + t + t + 10, q = d - t - 5. Solve 0*x - 2*x - m = d for x.
-2
Let z(i) = -i - 6. Let x be z(-9). Suppose x*p - 18 = 3*l, -12 = -2*p + l + 3*l. Solve p*b - 2*b = 20 for b.
5
Let n be ((-6)/(-3) + -6)*3/(-2). Solve n*q = 2*q - 20 for q.
-5
Let h = -2 - 1. Let s be h/(((-15)/2)/(-5)). Let k = s - -3. Solve -g + 2*g = k for g.
1
Let k be (-29)/(-5) + (-1)/(-5). Let q be -5*(-1)/4*-4. Let h(b) = -b**2 - 8*b - 10. Let t be h(q). Solve t = -k*n + n for n.
-1
Let z = -2 + 2. Solve 0 = -z*l + l for l.
0
Suppose -36 = -16*k - 2*k. Solve -12 = k*s + 2*s for s.
-3
Let a = -29 + 33. Solve -2*b - a - 4 = 0 for b.
-4
Let o = 9 - 6. Let k(w) = w**3 - w**2 - 4*w + 1. Let q be k(o). Let y = -4 + q. Solve -y*f + 9 = 3 for f.
2
Let j(c) = -3*c - 11. Let q be j(-5). Solve -16 = q*r + 4 for r.
-5
Let t = -11 - -15. Let m(y) = -y**3 + 8*y**2 - 2*y + 4. Let g be m(6). Suppose 5*k - 11 = g. Solve p = t*p + k for p.
-5
Suppose 0 = -4*p + 6 + 6. Solve -i + p = -2 for i.
5
Let h(m) = 2*m**3 - 3*m**2. Let y be h(2). Suppose -y*k = 2*u - 20, -k = 3*u + u - 19. Let p = 14 + -10. Solve -d = -k*d - p for d.
-2
Let m(n) = -n**3 + 7*n**2 + 2*n - 10. Let t be m(7). Let r(j) = j**3 - 4*j**2 + 2*j - 5. Let o be r(t). Solve -o*z = 2*z for z.
0
Suppose -3*g = 5*d - 20, 5*d + 0*g - 4*g + 15 = 0. Let w be (-2)/d*(1 + 0). Let a be (-1*8)/(w - -1). Solve -4*l = a + 8 for l.
-4
Let m be (0 - -3) + 1 + 4. Solve -j - j = m for j.
-4
Suppose 0 = v + 3*v - 16. Let f(l) = -l**3 + 3*l**2 + 6*l - 4. Let o be f(v). Suppose -5*w = -4*w. Solve 2*u - 4*u - o = w for u.
-2
Let c be ((-72)/16)/((-3)/4). Solve -2*s + 0*s + c = 0 for s.
3
Suppose -4*f = -f + 9, -4*x + 5*f + 19 = 0. Let m(c) = 3*c**3 + 2*c**2 - 1. Let n be m(x). Solve 20 = -4*y + n for y.
-4
Let u be (-2)/(-8) - (-3)/(-12). Suppose u = -p + 1. Solve p = -g + 2*g for g.
1
Suppose 5 = -m, -92 = 3*s + 6*m - 2*m. Let k = s - 5. Let t be 6/(-15)*(k - 1). Solve j + t = -3*j for j.
-3
Let m = 16 + -11. Let c(h) = h**3 + 7*h**2 - 8*h + 8. Let a be c(-8). Solve m*u - a = 2 for u.
2
Suppose q - 5 + 1 = 0. Solve -q*w - 6 = 10 for w.
-4
Let d be ((-18)/(-4))/(6/8). Suppose -k - d = -4*g, 3*k + 2*g - 8 = k. Suppose -i = 0, 2*s - 3*s = -k*i - 7. Solve s*c + 5 = 2*c for c.
-1
Let o be 2/(-1 - -3) - -2. Let y be 30*(3 + (-13)/5). Solve -o*a + y = a for a.
3
Let l(m) = m + 3. Let y be l(5). Suppose 18 = 5*t + y. Solve 2*r + 0 + t = 0 for r.
-1
Let r = 12 - 24. Let v be 4/20 + r/(-15). Solve v = x - 2 for x.
3
Let x = -24 + 27. Solve 0 = x*h + 2 + 4 for h.
-2
Let s = 0 - -3. Let w(z) = -3 + 14*z + 3 - s. Let a be w(2). Solve -a = 2*i + 3*i for i.
-5
Let r(y) = -y**2 + 3. Let h be r(0). Suppose -h*c + 5*c = 0. Suppose 2*a - 1 = -u - a, c = 4*a. Solve -2*m - 5 = -u for m.
-2
Suppose -2*d + d - 5 = 0. Let j = d - -5. Solve -2 = -r - j*r for r.
2
Let k = 10 - 8. Let z be (-4)/(-6) - (-44)/(-12). Let j = -3 - z. 