p + 12 = z for p.
3
Suppose -s = 3*d - 4*s, s = 2*d - 3. Solve 2*k - d - 3 = 0 for k.
3
Suppose 2*h - 3 + 1 = -4*r, 4*r - 4*h = 8. Let n(w) = -4*w - 208. Let t be n(-52). Solve p = -t - r for p.
-1
Let u be 1/((-1)/(-2)) + 1. Suppose 10*r + 320 = 6*r. Let h be (r/(-12))/(1/u). Solve 0*k - h = 4*k for k.
-5
Let d(n) = -n**2 + 5*n - 3. Let f be d(3). Suppose f*l = -5*p + 4 - 3, 3*l = 3*p - 39. Let m = -4 - l. Solve m*x + 9 = 25 for x.
4
Let z = 1 + 3. Let u = 64 - 64. Suppose 0 = s - 4*s + 12. Solve u - s = -z*j for j.
1
Let t = -170 + 163. Let b be 7 + 4 + t + (-5 - -1). Solve b*f = -2*f for f.
0
Let r be (4 - (-52)/(-12))/(1/(-171)). Let d = r - 53. Suppose 5*b + 4*l - 2*l = -10, 2*l + 10 = -2*b. Solve b = m + d + 1 for m.
-5
Let s = -75 + 78. Suppose 0 = -5*y - y - s*y. Solve -5 = 5*x - y*x for x.
-1
Let a be 450/90 + 1 + 3. Solve -5*m = a*m for m.
0
Suppose 18 = 7*s - 5*s. Let x = 206 + -195. Solve -x = 4*i + s for i.
-5
Let i(q) = -q**2 + 9*q + 6. Let s be i(6). Solve 9 - s = 5*r for r.
-3
Suppose 16 = 2*b - 4*t, 5*t = 3*b + 3 - 29. Suppose 0 = 2*w + b - 46. Solve 2 - w = 5*s for s.
-3
Let k be 34/7 - 86/(-602). Suppose -6*o = -4*o. Solve -2*a - k - 3 = o for a.
-4
Let p be (3/(-8))/((-4)/32). Solve -p*g = -g for g.
0
Suppose -3*l + 5*d + 34 = 0, -9*l - 4*d = -5*l + 8. Suppose l*f - 4*o = 24, -5*f + 4*f = -2*o - 8. Solve 3*u + 2 = f for u.
2
Let h = 267 - 265. Solve 0 = g + g + h for g.
-1
Let x(w) = -w**3 - 9*w**2 + 2*w + 20. Let n be x(-9). Suppose n*q - 5*q + 5*l + 32 = 0, 2*q - 24 = 4*l. Solve -q*f = f - 20 for f.
4
Let v = 1477 - 1467. Solve -v*x + 14 = -3*x for x.
2
Suppose -347 = -22*o - 347. Solve 8*v + 12 + 28 = o for v.
-5
Let r be (-2)/(-10) - (-1 - (-838)/(-10)). Let n = r - 79. Solve -3*i = -n*i + 3 for i.
1
Let h(a) = -a**2 - 6*a + 19. Let v be h(-8). Solve -2*l = v*l + 15 for l.
-3
Let p be 0/(1/(-1) + -1). Let d = 35 - 32. Let x = 5 + d. Solve -4*i + p*i = x for i.
-2
Suppose 0 = 4*r + 5*j - 3, 0 = -2*r + 3*j - 6 + 13. Suppose -2*f = -0*f - 8. Suppose -4*u + 3 - 1 = -3*x, -f*x = -5*u + 1. Solve -x = -r*z + 4 for z.
5
Suppose 166 = 12*a + 94. Solve 2*u - 16 = -a for u.
5
Let x(h) = 2*h**2 + 4*h. Let u be x(0). Solve u*w + 8*w = -w for w.
0
Suppose -4*p = -5*z - 100, -4*p + 79 = -4*z - p. Let v = z + 17. Solve q + v = -2 for q.
-3
Let p be -1 + 15*2/6. Let f(c) = -c**2 + 9*c - 16. Let u be f(p). Solve u*v + 15 - 3 = 0 for v.
-3
Suppose -30 = -4*r + 2*j, -9*r + 13*r + 4*j - 12 = 0. Suppose 8*a + r = 38. Solve a*p - 6 = 2 for p.
2
Suppose 0 = 21*f - 7*f - 700. Let j = -48 + f. Solve j = -w - 0*w for w.
-2
Let t be ((-1)/((-3)/(-9)))/(-1). Let m = t - 3. Suppose 3 = 3*o - 9. Solve m - o = -4*l for l.
1
Let p(a) = -7*a + 3. Let w be p(-1). Suppose -w*s = -7*s + 18. Let t be s + 7 - (-2)/(-2). Solve -2*f - 2*f = t for f.
0
Let g be (-4)/18 - (-12)/(-216)*-4. Solve 8*u - 20 - 4 = g for u.
3
Let v(d) = 23*d**2 - 296*d - 26. Let h be v(13). Solve h*a + 10 = 11*a for a.
-5
Let c = -19 - -25. Let s be 3 + 2/c*-3. Let z be -6 + 7 + (13 - s). Solve o - 4*o = -z for o.
4
Let t(x) = -14*x - 37. Let m be t(-8). Let n = 80 - m. Suppose -a + 32 = 3*a. Solve n*d + a = d for d.
-2
Let n be 23/4 + (-4)/(-16). Let b(k) = -23*k**3 - k**2 - k - 1. Let o be b(-1). Let j = o - 19. Solve -j*s = -s + n for s.
-3
Suppose 0 = -2*m - 2*m. Let n = 1266 + -1264. Let q(w) = w**2 - 6*w + 7. Let f be q(5). Solve -f*y + n = -m for y.
1
Suppose 0 = 4*q - z - 48, -24 = -3*q + q - z. Solve -w = -q*w - 11 for w.
-1
Let m(w) be the second derivative of -w**4/12 - 5*w**3/6 + w. Let r be m(-4). Suppose 34 = 13*c + 21*c. Solve -c = f - r for f.
3
Let t(d) = -6 + 20 + 8*d**2 + 8*d - 7*d**2. Let n be t(-6). Solve 4*v - n = 3*v for v.
2
Suppose -5*o - 6*i + 7*i = -16, -2*i = 5*o - 28. Solve -5 = o*x + 3 for x.
-2
Let r = 25 + -23. Suppose r*w = -3*w. Solve w = -0*y - 2*y - 4 for y.
-2
Suppose -2*v = -5*x - 29, -3*x - 3 - 6 = 3*v. Solve y = -v*y - 9 for y.
-3
Let y be -16*(-2 + 12 + -11). Solve -18*o = -y*o + 2 for o.
-1
Let v(p) = -p**2 + 15*p - 26. Let d be v(13). Solve d = 2*j + 5 + 5 for j.
-5
Let w = 384 - 369. Solve w*b - 13 = 2*b for b.
1
Suppose 5*g - 5*m - 145 = 0, -2*g = 29*m - 24*m - 72. Solve 35 = -4*c + g for c.
-1
Let g(x) = x**3 - 5*x**2 + 8*x - 2. Let t be g(3). Solve 0 = -5*i - 21 - t for i.
-5
Suppose -3*n = -3*b - 6, 5*b + n = -2*n + 6. Suppose -5*r = 4*a - 74, 5 = a + 4. Suppose -4*z = -5*h - 55, 5*z - r - 81 = h. Solve z + b = 5*s for s.
4
Let d be 13/3 + 8/12. Suppose d + 1 = 3*u. Solve -5 = 7*h - u*h for h.
-1
Let l be ((-3)/(-2))/(-5*(-2)/20). Solve 0 = l*u + 5*u - 16 for u.
2
Let p = -5 + 10. Let g(w) = -w + 8. Let k be g(p). Suppose -5*i = h - 25, -k*i + 16 = 3*h - 11. Solve h*r - 8 = r for r.
2
Let b be (30/4)/(-3)*(-7 + 5). Solve -5 = b*n - 15 for n.
2
Let t be (-18)/30 + 36/10. Let n = t + -2. Solve -3 = -l - n for l.
2
Suppose 0 = 5*x - 16 + 1. Let w be 3 + (-3)/x + 1. Solve -2*l + 5*l - w = 0 for l.
1
Let h(g) = 14*g**3 - 1 - 7*g**2 - 15*g**3 - g + 7*g. Let b be h(-8). Suppose -y - b = -6*y. Solve 2*s + 4 = y*s for s.
4
Suppose -3*f = -18 - 0. Let b(j) = 2*j - 15. Let x(s) = -3*s + 16. Let n(r) = f*b(r) + 5*x(r). Let y be n(-5). Solve 3*t = 2*t - y for t.
-5
Suppose 11*y = -4153 + 12139. Solve 727*o = y*o for o.
0
Suppose -150 = 639*f - 633*f. Let y(k) = -4*k - 5. Let m be y(5). Let j = f - m. Solve j = -h + 1 for h.
1
Let x(o) be the second derivative of -o**3/2 - 7*o**2 - 2*o. Let q be x(-8). Let k = q + -8. Solve k*p + 10 = 4*p for p.
5
Suppose l - 10 = -s - l, -5*l + 3 = -3*s. Suppose 2*j = -p - 21, -5*j = -p - s*p - 30. Let z = 16 + p. Solve -z = n - 2 for n.
-3
Let v be 73/6 - 2/12. Solve -9*x = -6*x - v for x.
4
Let u(g) = -g**2 + 21. Let y be u(4). Solve y*t = 6 - 21 for t.
-3
Suppose 0 = 4*y - 32 + 20. Suppose 0*a - 2 = -f - y*a, 5*f + 2*a = 10. Solve -2 - 4 = -f*h for h.
3
Suppose 7*g = -161 - 399. Let u be 1/2*1/((-8)/g). Solve u*x - 7 = 3 for x.
2
Let b(w) = 3*w**2 + 2*w + 2. Let d be b(-1). Suppose 3 = d*a - 3. Suppose -a*l + 10 = -4*n, -n + 4*n = l - 5. Solve n = -s + 3*s for s.
0
Let g(p) = -2*p - 2. Suppose -4*o + 6 = -7*o. Let v be g(o). Let f be 4/((-32)/(-20))*v. Solve -4*z = f + 7 for z.
-3
Let i = 0 - 0. Suppose i = -3*z - 9*z + 12. Solve z - 5 = b for b.
-4
Suppose 3 = 3*z - 12. Suppose g + z = 25. Solve g = -4*s - s for s.
-4
Suppose 8*f - 13 = -5*f. Let x be 1 - (0 + 1 + -3). Let o be 8/(-6)*18/(-12). Solve -o*j + x*j = f for j.
1
Suppose -v - 53 = -5*s, -4*v - 9 = -4*s + 43. Solve -2*h + 0*h = s for h.
-5
Let a(s) = -s**3 - 2*s**2 + 4. Let p be a(-2). Solve -6*y = p + 8 for y.
-2
Suppose 0 = 4*j - 3*j - h, -3*h + 18 = 3*j. Solve -5 + j = -t for t.
2
Suppose -4*z + 2*z + 10 = 0. Suppose 2*m + 2*m - z*a + 25 = 0, a - 5 = -m. Suppose 4*w + 2 = 10. Solve m = 2*r + w*r for r.
0
Let f be (18/2)/((-69)/(-22) + -3). Let z be f/55*10/2. Solve z = p + 2*p for p.
2
Let a(x) = -9*x + 63. Let n(b) = 4*b - 32. Let t(z) = -6*a(z) - 13*n(z). Let l be t(-19). Solve -h + 2*h - 1 = l for h.
1
Let t be (4/10)/((-2)/30). Let b = t + 8. Suppose -20 = -b*a - 2. Solve -4*x - a - 7 = 0 for x.
-4
Let v be ((-3)/(-6))/((-3)/(-30)). Suppose 0 = -v*i + 15. Suppose z = i*z - 4. Solve 3 = -m + z for m.
-1
Let c = -1159 - -1187. Solve c*l = -14 + 14 for l.
0
Let c(s) = -s**3 - s**2 - s + 3. Let y be c(0). Suppose 25 = f - 4*j, -y*j = 4*f + j. Solve 0 = 3*r - f - 1 for r.
2
Let c = 17 + -8. Let p(v) = -3*v - 16. Let r be p(-3). Let a = r + c. Solve a*g = 4*g - 4 for g.
2
Suppose -7*m + 23*m - 192 = 0. Solve -2*f + m*f = 20 for f.
2
Let u = -41 - -41. Suppose 6*t + 0*t - 18 = u. Solve -b = -4*b + t for b.
1
Let t(k) = -k + 1. Let y be t(-4). Suppose -4*p - 9 = 7, y*p = -4*z - 16. Solve w - z = -5 for w.
-4
Suppose -7*n = -198 - 82. Suppose 2*v = -3*y + n, 4*y - v + 35 = 7*y. Solve -5 = -5*c + y for c.
3
Let d(z) be the third derivative of z**4/24 - 2*z**3/3 - 4*z**2. Let r be d(5). Suppose r = 3*b - 2. Solve i + 0 = b for i.
1
Let u(l) = -l**2 + 6*l + 6. Let s be u(6). Suppose -w + 0*w - 2 = -2*x, 0 = -3*w - s. Solve -1 = -z - x for z.
1
Let v = 3 + -2. Let k(d) = d**2 - 7*d + 3. Let a be k(7). Let i = a - v. Solve -i*x + 3*x = 0 for x.
0
Suppose 0 = 2*u - 9 + 3. Suppose -4*z = -4*m + 5 + 3, -2*z + 11 = u*m. Solve -6 - 3 = -m*o for o.
3
Let t = -9