r c.
1
Suppose 0 = 10*p - 11 - 39. Solve 13 = p*n - 12 for n.
5
Let y = -129 + 133. Solve 2*x - y = -2*x for x.
1
Let r(f) = -13*f - 9. Let w(i) = -6*i - 4. Let s(l) = 4*r(l) - 9*w(l). Let z be s(4). Solve -3*x = x - z for x.
2
Let i be 1/4 + (-1)/4. Suppose 6*f - 10 = f. Let g = f + 1. Solve i = l - g*l - 4 for l.
-2
Let u(y) = -y**2 - 4*y + 14. Let b be u(-6). Suppose 3*v - 4 = v. Solve v*r = b + 2 for r.
2
Let y(z) = -2*z - 6. Let k be y(-4). Suppose -2*f = 2*j - 4*j + 4, -f + 10 = k*j. Solve -3 + 11 = f*q for q.
4
Let a = -17 - -23. Solve a*j + 15 = 3*j for j.
-5
Suppose -5 + 1 = -4*f. Suppose -f - 5 = -2*l. Let n(c) = c**3 + 9*c**2 + 9*c + 10. Let w be n(-8). Solve x + w = l*x for x.
1
Let j = -19 + 23. Solve 0 = -j*p + p for p.
0
Suppose 2*n + 9 = 3*l + 2*l, 0 = -2*n + 2*l + 6. Let o = n - 4. Suppose 0 = 5*s + 20, -5 + 4 = a + o*s. Solve -5*d - a = -0 for d.
-3
Let c be (-3)/(-3)*1 - -5. Let v = -3 + c. Solve 13 + v = 4*p for p.
4
Suppose -2*o = 8 - 20. Solve -o = 4*a - 2 for a.
-1
Let a be 3/(-1) - (-4)/1. Let d(f) = -f**2 + 2*f - 1. Let b be d(a). Solve -5*k + 3*k + 8 = b for k.
4
Let p(w) = -2*w + 4. Let f be p(0). Solve f = -b - 0*b for b.
-4
Suppose 2*t = -3*a + 3*t + 10, 2*t + 18 = 5*a. Suppose 0 = a*b + o - 2, -4*b + 3*o + 16 = 2*o. Let c be (-2)/2*-25 + 0. Solve -b*z + c = 2*z for z.
5
Suppose 15 = 4*k + k. Let v be (-1)/k + 212/6. Let n be (-2)/7 + 115/v. Solve -n = 3*s - 0 for s.
-1
Let a = -8 + 5. Let l = 1 - a. Solve c - 12 = l*c for c.
-4
Let c be (1/(-4) - -2)*4. Solve -c*d = -3*d for d.
0
Suppose 0 = -i - 0*i + 3. Suppose -3*s + 10 = q, s + i*q - q = 0. Solve s = -d - 0 for d.
-4
Suppose -3*m + 63 = 54. Solve d = -1 + m for d.
2
Let j be 1 + 3*(-5)/15 + 4. Solve 0*f - 2*f = j for f.
-2
Suppose 0 = -4*z - 8, z = -t + 7 - 0. Let d = t - 14. Let c be 4/(6/(-3)) - d. Solve c*l = l for l.
0
Let f(t) = t**3 - 3*t**2 + t. Let o(r) = r - 10. Let d be o(13). Let i be f(d). Solve i*v + 0*v - 3 = 0 for v.
1
Let i be -2 - 20/(-9) - 490/(-63). Suppose 3*m + 2*n - 40 = n, -4*m = 3*n - 45. Solve -m = -i*z + 3*z for z.
3
Let t = -12 - -8. Let u be 3/5 - t/10. Solve 3*v + 7 = u for v.
-2
Let p(b) = 7 - 2*b - 4 - b**2 + 0*b. Suppose 0 = 3*q - 3*n + 18, 0 = -2*q + 5*n - 29 + 8. Let z be p(q). Solve -5*c + 4 - 19 = z for c.
-3
Let m be -3 - (-12)/4 - -2. Suppose 4 = -0*w + m*w + 2*x, -2*w + 4 = -2*x. Solve 4*b + w = 2*b for b.
-1
Let x = -33 + 17. Let p be 22/4 - (-8)/x. Solve -p*w - 20 = -10*w for w.
4
Let k = -15 + 18. Let t be (8 - 2)*k/9. Solve -4*c + t = -5*c for c.
-2
Let a(h) = -h - 2. Let l be a(-7). Let q be l*(3 - 4/2). Solve -j - 1 = -q for j.
4
Suppose 0 = 4*a + 3 - 19. Solve -a*u + 2 = 18 for u.
-4
Suppose 0 = -13*c + 6*c + 49. Solve -3*g - 20 = -c*g for g.
5
Let q(k) = k - 9. Let s be q(10). Suppose u - 8 = s. Solve 0*c + u = -3*c for c.
-3
Suppose 7 = -4*d - 21. Let h = -5 - d. Solve 2*b = -h*b + 16 for b.
4
Let i(h) = -h**2 + 3*h. Let f(z) = -z**2 + 5*z - 3. Let k be f(3). Let s be i(k). Suppose -w + 2*w = s. Solve -2*c = -w*c for c.
0
Let o = -43 + 58. Solve 0 = -5*x + 5 + o for x.
4
Let i be 0/((-3)/(-3)) - -2. Let c be (-18)/5 + i/(-5). Let o be 18/24 + (-5)/c. Solve 0 = -2*u - 0 + o for u.
1
Suppose -3*n + 36 = -n. Suppose 2*w + 5*l + 13 = -28, w + 4*l = -25. Let p = w + n. Solve -5 + 0 = -p*h for h.
1
Let n be -2 + -3 + 0 + 1. Let f = -2 - n. Solve -5*m = -f*m + 3 for m.
-1
Let i(u) = 0 + u - 1 + 4. Let r be i(6). Suppose -4*g + 24 = f, r*g - 2*f - 17 = 4*g. Solve -2*t = -g*t for t.
0
Suppose 0 = 2*l - l + 2. Let d be (-10 + 2)*l/4. Solve 2*b + d = -2*b for b.
-1
Let z(q) = -5*q**2 - 16*q + 11. Let c(v) = -v**2 - v. Let a(p) = -4*c(p) + z(p). Let w be a(-13). Let x = w - -5. Solve -s + x*s = -2 for s.
-1
Let l be (-1)/1 + 0 - -3. Let c = l - -3. Suppose -c*f + 31 = -j, 5*f + 30 = -3*j + 77. Solve 1 = 3*t + f for t.
-2
Let u be 2/4 - ((-126)/12 + 3). Let o = 4 - 1. Solve -u = d + o*d for d.
-2
Let x be 22/4*(-2 + 0). Let t be 2/(-6)*(x + -7). Solve t = 3*w - w for w.
3
Let d = 18 + -15. Solve d*p - 8*p = -15 for p.
3
Let q(c) = c**2 - 4*c - 7. Let t be q(6). Suppose -t + 1 = -2*p. Let j(b) = -b**2 + 5*b - 6. Let x be j(3). Solve p*a + x = -2 for a.
-1
Let d(j) = j + 5. Let f be d(5). Solve -m - m + f = 0 for m.
5
Let p(l) = l - 3. Let k be p(7). Let v = 7 + -3. Suppose -2*g + 12 = 4*y, -4*y + 12 = v*g - k. Solve y*w + 3 = 1 for w.
-1
Suppose n - 3 = -0*n. Suppose -4 = -n*w + 8. Let p be 6 - (1 - -1)/(-2). Solve 1 = -w*t - p for t.
-2
Let t(h) = h**3 + 14*h**2. Let k be t(-14). Solve k = 2*o - 3*o for o.
0
Let r be (-17)/(-4) - (-1)/(-4). Suppose -r*h - 8 = 2*t, -h = 4*t + t + 2. Let a = -2 - -5. Solve t = -a*y - y - 20 for y.
-5
Let w(r) = r + 8. Let d be w(-6). Solve d = -5*k + 7 for k.
1
Let q be (-1)/(-3)*1*3. Let w be (-4 + q)*1 + 7. Solve o = w*o for o.
0
Suppose 1 = -a, 3*a - 9 = -i - 3*i. Let v(o) = o**2 - 4*o**2 + 6*o**2 - i - o**3 + 6*o. Let q be v(4). Solve 0 = -5*n - q - 0 for n.
-1
Suppose -o - 6 = 5*n, -4*o - 2 = -5*n - 7*o. Let t be (-2 + 0)/(n - -1). Suppose 2*a = -t*a - 3*u, -4*u - 4 = 4*a. Solve 12 = a*w - 6*w for w.
-4
Let y(c) be the second derivative of 5*c**3/6 - c. Let r be y(1). Solve -2*l = -r*l - 12 for l.
-4
Let y(b) = 7*b - 2. Suppose 45 = 2*t + 3*t. Let i(a) = -3*a + 1. Let c(x) = t*i(x) + 4*y(x). Let q be c(2). Solve 2*r = -q - 5 for r.
-4
Suppose 12*s = -112 + 376. Solve -5*w = s + 3 for w.
-5
Let i(h) = h + 9. Let o be i(-6). Suppose 94 = 4*r + y + y, -3 = 3*y. Suppose -r = -f - 5*g, f - 10 + 2 = -g. Solve -o*j = j - f for j.
1
Suppose -4*r + 4 = 12. Let j(d) = d**2 + 2*d + 2. Let v be j(r). Solve v*u - u = 4 for u.
4
Let j = 11 - -3. Solve j = -4*c + 6 for c.
-2
Let n(p) be the second derivative of p**4/12 - p**3/6 + 2*p**2 + 3*p. Let i be n(0). Solve -3*u = -5*u + i for u.
2
Let s(y) = -17*y**2 - 1. Let r be s(-1). Let q = -6 - r. Solve -4 = 4*l - q for l.
2
Suppose 5*g - 3 = -4*u + 20, 5*u = g + 7. Solve -2*w = u*w - 12 for w.
3
Suppose 108 = 19*r + 32. Solve -s + r = 1 for s.
3
Suppose v + 2 = -2*d, -2*d - d - 3 = 0. Suppose 2*l - l = v. Solve l = -4*w - 5 + 21 for w.
4
Suppose 0 = -7*u + 2*u. Let l(h) = h**2 + 2*h + 2. Let c be l(u). Solve c*o + 0*o - 6 = 0 for o.
3
Let s = 16 + -11. Suppose -16 = -s*c + 24. Solve q + 3 - c = 0 for q.
5
Let q = 22 + -20. Solve 2*v + 16 = -q*v for v.
-4
Suppose 2*b + b = g, g - b = 0. Solve g*m + 5*m = 20 for m.
4
Suppose 4*l = -5*m + 39, -5*m - 3 = 4*l - 7*l. Solve 2*k - l + 0 = 0 for k.
3
Let z = 17 - 12. Suppose 0 = -4*h - 5*j + 32, -4*h + j + 8 = -0. Suppose x = h*x. Solve z*l - 20 = -x for l.
4
Let m(x) be the first derivative of x**3/3 - 2*x**2 - 5*x + 3. Let w be m(-4). Solve 5*z - w = -7 for z.
4
Let v be 51/10 + (-16)/160. Solve -v = 4*n - 3*n for n.
-5
Let w(g) = g - 2. Let l be w(8). Let h = -4 + l. Suppose 0 = -3*x + s + 13, h*s + 14 = -2*x - 3*s. Solve 2*o + x*o = -10 for o.
-2
Let p = 4 - 4. Suppose 0 = 3*h - p*h. Suppose h*v - 4 = -2*v. Solve v*k = k for k.
0
Suppose 3*n = 5 + 1. Suppose 0 = 5*g + 2*y - 26, 0 = g + 5*y + n - 21. Let k(m) = m**3 - 4*m**2 + 2. Let s be k(g). Solve z - s*z = 1 for z.
-1
Let c = 10 + -4. Let t(i) = i**3 - 6*i - 3. Let b(s) = s**3 + s**2 - 6*s - 4. Let y(k) = -5*b(k) + 6*t(k). Let j be y(c). Solve j*d = -d for d.
0
Let u(q) = 23*q**2 + 2*q + 1. Let b be u(-1). Let p(z) = z**2 + z + 12. Let d be p(0). Let h = b - d. Solve -4*r - 26 = -h for r.
-4
Let f = 4 - 2. Let s be f/6 - 2/(-3). Let l be (-3)/(-4 + 13/4). Solve n + s = l for n.
3
Let j = 22 - 16. Solve 2*w = j*w for w.
0
Suppose -25 = -5*r, -j + 5 = 8*r - 10*r. Solve 0*z = 5*z - j for z.
3
Suppose -40 = -3*x + 7*x. Let n(v) = -v**2 - 11*v - 7. Let g be n(x). Let f(b) = b + 1. Let c be f(g). Solve c*k - 25 = -k for k.
5
Suppose -5*a - 20 = -c, 3*c - a = -3*a + 60. Solve 2*d = -2*d + c for d.
5
Suppose 2*o + m - 39 = -4*m, o + 18 = 5*m. Solve 2*t = -o - 1 for t.
-4
Suppose w - 12 = -10. Solve 8 = -w*c - 0*c for c.
-4
Let k(b) = 2*b - 4. Let q be k(5). Solve 0 = p + 1 - q for p.
5
Let t = -32 - -34. Suppose -1 = 3*j - 7. Suppose -5*m = -x - 5 + j, m + 4*x + 12 = 0. Solve -10 = t*d - m for d.
-5
Let t = 12 + -7. Solve 0 = t*p - 7 + 22 for p.
-3
Let h(w) = w**3 + 4*w**2 + 2*w - 2. Let m(r) = -r + 11. Let y be m(13). Let f be h(y). Solve 0 = -3*z + f*z - 3 fo