15 = -z. Suppose -3 = -3*b + z. Solve -6 + b = -c for c.
4
Let o(g) = 3*g + 5. Let x be o(4). Suppose 5*v - x = 3. Solve -v - 4 = 4*k for k.
-2
Suppose 8*g - g - 28 = 0. Let m be (-6)/3*(-6)/g. Solve z = -m*z - 16 for z.
-4
Suppose 4*y = -4*w + 41 + 7, -19 = -2*w + 3*y. Suppose 3*s = 3 - 0. Solve s = 4*f - w for f.
3
Let c be -1*10*(-1)/1. Suppose 2*z + 3*v + c + 5 = 0, z + 4*v + 20 = 0. Suppose z*l = -l. Solve -4*a + a - 9 = l for a.
-3
Let r = 3 + 13. Solve r - 1 = -5*d for d.
-3
Let u(k) = -10*k - 7. Let s(l) = l. Let c(z) = -5*s(z) - u(z). Let g be c(5). Suppose 5*y - g = y. Solve n + y = 5*n for n.
2
Let x = -23 - -23. Solve 5*f + 10 + 5 = x for f.
-3
Suppose 125 - 125 = -2*q. Solve -2*v + v - 4 = q for v.
-4
Suppose q + 2*q = 0, v = -q - 2. Let f be v + (-7)/((-7)/6). Solve -f*k = -9*k for k.
0
Let j be (-532)/(-91) - (-2)/13. Suppose -c = 4*b - 9 - j, 4*b + 2*c = 18. Solve -5*s = -b*s + 6 for s.
-3
Let n be 26/7 - (-8)/28. Suppose -f - 3 = 0, -n*f + 13 = 2*r + 3. Let v = r + -4. Solve 5*l - v - 13 = 0 for l.
4
Let f = 5 + -1. Let k = f + -4. Solve k - 6 = 3*d for d.
-2
Let t = 0 + -1. Let i be t/2 + (-62)/(-4). Let c(l) = l + 4. Let r be c(0). Solve -r*g = -g - i for g.
5
Let q(w) = -4*w**2 + 3*w**2 - 4*w - 2 + 2*w**2. Let h be q(5). Suppose 0 = -2*a + 6 + 2. Solve o + a = -h*o for o.
-1
Let c = 62 - 60. Solve 3*q - c*q = -1 for q.
-1
Suppose -4*i = -3*g - 8, -2*i + 0*g = g - 4. Suppose -2*u + 8 = v, -2*u + u - v = -6. Let c be (u + 24/3)/i. Solve -4*s + c = 21 for s.
-4
Let b(d) = d**3 + 8*d**2 + 5*d - 8. Let g be b(-7). Let n be (-3)/(-2)*16/g. Suppose -n*w + 5*u - 3*u = -8, -3*w = 3*u + 3. Solve p - 3 = -w for p.
2
Suppose 0 = -3*u + 5*t, 0*t + t - 8 = -u. Suppose -3*q - 5*d + 8 = -0*q, -3*d = -3*q. Suppose 4*h - 11 = q. Solve u*o = h*o - 8 for o.
-4
Let w be (0 - -3) + -2 + 2. Solve x - w = -1 for x.
2
Suppose -5*f - 3*h - 4 = -26, 4*h - 26 = -5*f. Suppose f*k + 3*k + 46 = -2*s, 3*s - 16 = k. Let w be ((-6)/4)/(5/k). Solve -w*a = -8*a for a.
0
Let r be 1/(((-9)/(-3))/21). Let x(q) = q**2 - 8*q + 7. Let a be x(r). Suppose a = -s - 2*s + 9. Solve s*m + 5 = 8 for m.
1
Let b(w) = w + 10. Let t be b(-6). Let v(m) = -1 + 0 + 7*m - 5*m. Let g be v(1). Solve t*x + 3 = -g for x.
-1
Let k(l) = 3*l**3 + 4*l**2 - 4. Let u(y) = y**3 + y**2 + y - 1. Let c(b) = -k(b) + 2*u(b). Let r be c(-3). Solve 0 = -m + r for m.
5
Let l(r) = r**3 + 3*r**2 - 1. Let p be l(-2). Let j be 8/p*3 + -2. Let x be 2/3 - 1/(-3). Solve j = v + x for v.
5
Let q(h) = h + 2. Let r be q(0). Suppose 3*v + 6 = r*t, 0 = -t + v - 0*v + 2. Suppose 3*p - 36 = -t*p. Solve -7*d + 3*d - p = 0 for d.
-3
Suppose 0*y - 4 = -4*y. Let r = 6 + y. Solve 2*a - r = -1 for a.
3
Suppose 3*n + p = -1 + 14, 4*p - 16 = 0. Solve -1 + 4 = -n*k for k.
-1
Let x be 30/(-25)*(-1 + -9). Suppose -5*f = 2*c - 14 - 21, 5*c = 5*f - 35. Solve -x = -3*b + f*b for b.
-3
Let g = 56 - 54. Solve -g*q = -3 + 11 for q.
-4
Let p(i) = -i**3 + i**2 + 2. Let h be p(0). Let o(j) = -14*j**3 - 2*j - 1. Let k(g) = -g - 7. Let l be k(-6). Let u be o(l). Solve -h*t - 3*t = -u for t.
3
Let f be 3/(-15) + (-52)/(-10). Suppose -y + 5*k - 35 = -3*y, -f*y + 5*k = 0. Solve y*j = j - 16 for j.
-4
Let y(a) = 2*a - 2. Let s be y(-1). Let d = 2 - s. Solve d*p + 20 = p for p.
-4
Let t(y) = y**3 + 7*y**2 + 3. Let m be t(-7). Solve 0 = x + m for x.
-3
Suppose -4*t - 2*r = -2, -2*t + r = 3*r. Solve -14 - t = -3*v for v.
5
Let n be (2/5)/(1/15). Let q(o) = 3*o**2 - o - 3. Let k be q(n). Suppose 19 = -5*a + k. Solve -u = 3*u + a for u.
-4
Let p be 1/6 - (-345)/90. Suppose -3*v - p*t + 19 = 0, -3*v - 2*t + 3 = -8*v. Solve 0 = -y - 4 - v for y.
-5
Suppose -13 = -h - 2. Let p = -8 + h. Solve -4*r - 1 = -p*r for r.
-1
Let k(s) = 2*s + 20. Let m be k(-5). Solve 6*v - 4*v = -m for v.
-5
Let x(z) = -z + 10 - 4 + 4. Let i be x(6). Solve 0 = -i*g - 16 for g.
-4
Suppose -5*u = -4*u - 8. Solve 9*k = u*k - 2 for k.
-2
Let k(z) = z**3 + 8*z**2 + 7*z - 3. Let f be k(-7). Let t = 6 + f. Solve 0 = t*o + 2 + 10 for o.
-4
Let k = 7 - 3. Let x be -8*(-1 + 0 - 0) + 3. Solve k*a - 9 = x for a.
5
Let r = 18 + -31. Let d = -10 - r. Solve -c = -0*c + d for c.
-3
Let t(r) = r**2 + 6*r + 5. Let b be t(-5). Suppose q = -b + 2. Suppose 0*n + q*o = 4*n - 24, 3*o = -6. Solve -6 = n*g + 19 for g.
-5
Let s = 0 - 0. Suppose s = -a + 5*a. Suppose -9*m + 15 = -30. Solve a = 4*k - 9*k - m for k.
-1
Suppose j + 5*o = -13, 2*o + 5 = j - 10. Let r(p) = j*p**2 + 0*p**3 + p**3 - 3*p**2 - 2 - p. Let t be r(-4). Solve -5*h + 27 = t for h.
5
Suppose -5*d = 15, -3*d - 1 - 5 = r. Let s be 13/6 - 1/6. Suppose 5*h - s + r = m, 0 = -4*m - h + 25. Solve m*a = a for a.
0
Let w(s) = -s**3 + 3*s**2 + 6*s - 2. Let m be w(4). Let y = 6 - m. Solve y = -c - 4*c - 5 for c.
-1
Let w = 11 + -3. Suppose n = -3*n - w. Let z = 4 + n. Solve -2*l + 4*l = -z for l.
-1
Suppose 21 - 1 = 5*i. Suppose 2*x + 2*a + 10 = -3*a, 5*x - 4 = 2*a. Solve x*b = b - i for b.
4
Let m = 1 - -2. Solve 4 = -m*v - 8 for v.
-4
Let b(m) = m - 5 + 5 - 1. Let v be b(4). Suppose 0 = -3*l + v, w + 1 = -2*l + 5*l. Solve 0*y - y = w for y.
-2
Suppose 2*q - 17 - 29 = 0. Suppose -2 + q = 3*j. Solve -3*d = -j*d + 12 for d.
3
Let c(i) = -i**2 - 7*i + 7. Let j be c(-7). Let f = -3 - -4. Suppose f = -3*v + j. Solve 0*q - 10 = -v*q for q.
5
Suppose -3*n = 12, 0 = -t + 3*n + 2 + 12. Suppose -3*m = t*m - 35. Solve 2*q - 15 = m*q for q.
-3
Let z(w) be the second derivative of w**3/6 - w**2 - 2*w. Let f be z(2). Solve f = -5*a + 2*a for a.
0
Suppose -2*u - 16 = -0*u + 4*c, 2*c = -8. Solve 4*b - 16 = -u*b for b.
4
Let w(g) = 4*g**2 + g + 1. Let h be w(-1). Let n be 4/(-2)*1*-1. Let k(u) = 6*u**2 + u - 1. Let y be k(n). Solve 5 - y = h*c for c.
-5
Suppose -9 = -5*i - 4*y, i = 4*y + 10 + 11. Solve -i*s - 5 + 20 = 0 for s.
3
Let p(d) = -d**3 - 4*d**2 + 5*d + 3. Let y be p(-5). Let r = 6 - y. Suppose -3*t + 5*a = 17, -r*t + 4*a + 0*a - 13 = 0. Solve -j - 3 = t for j.
-4
Let v be 2/(-10) - 48/(-15). Let j(b) = 2*b - 4. Let l be j(3). Suppose 3*k = -2*s - 11, k - 4 = -l*s - 5. Solve 0 = v*d - 1 - s for d.
1
Suppose -114 = -5*z + 2*a - 15, 5*z - 3*a - 101 = 0. Solve z = -3*t + 4 for t.
-5
Let t(a) = a**3 + 8*a**2 + a + 8. Let y be t(-8). Let u be (18/21)/((-4)/(-14)). Solve 0*x + x + u = y for x.
-3
Let m be (2/(-5))/(3/(-105)). Suppose u + u - m = 0. Solve -u = a - 2 for a.
-5
Suppose -4*t = -t - 12. Let s be 6*(-3 - (-22)/6). Suppose s*l - 2 = 6. Solve t = -2*d - l*d for d.
-1
Let p = -2 - -6. Suppose z + p = 2*z. Solve -2 = -z*f + 2 for f.
1
Let p(g) = 4 + 2*g**2 + 3 + 9*g + 5 - g**2. Suppose -2*n = -0*n - 5*i - 4, -i - 44 = 5*n. Let q be p(n). Solve r + 2 = q for r.
2
Let a(f) = f. Let k be a(-4). Let u(b) = b**2 + 4*b + 4. Let j be u(k). Let d = j - 2. Solve -d*q = -0*q for q.
0
Suppose -3*x + 3*a + 24 = 2*x, -5*a - 27 = -4*x. Solve 1 = -4*u - x for u.
-1
Let z(b) = b - 7. Suppose 3*r = 4*d - 34, 30 = 2*d + 2*d - 5*r. Let s be z(d). Solve -s*m = 5 - 20 for m.
5
Suppose 6*d - d = 40. Let u be (2/4)/(1/d). Solve -u*v = -6 - 2 for v.
2
Let y(h) = -4*h**2 - h. Let v be y(-1). Let c be (v - (-1 + -1)) + -11. Let n be (0 - 1)/(2/c). Solve r + r = -n for r.
-3
Suppose z + 6 = -4*c - c, -2*z + 2*c = -12. Suppose 5*g - 94 = -v, z*g - 98 = -5*v - 27. Solve 5*d = -4 + g for d.
3
Suppose 10 = 5*i + r - 0*r, -i - 4*r = 17. Solve -i*s + 8*s + 10 = 0 for s.
-2
Let p(l) = -l + 23. Let k be p(8). Let v(j) = j + 8. Let w be v(-6). Let z = 3 + w. Solve 2*n + k = z*n for n.
5
Suppose -8 = -5*w + 2. Let t(p) = -2*p + 2*p + p**w + 2*p - 2*p**3. Let m be t(-2). Solve 0 = 4*f - 0*f + m for f.
-4
Let y = 13 - 19. Let h(c) = -c**3 - 6*c**2 + c + 6. Let u be h(y). Solve -3*n - 2*n - 25 = u for n.
-5
Let h = 6 - 6. Suppose 39 = -h*o + 3*o. Solve -5*d - 12 - o = 0 for d.
-5
Suppose 0 = -0*o + 2*o - 54. Let w(j) = -5*j**2 - 2*j - 1. Let p be w(-2). Let x = o + p. Solve u = -u - x for u.
-5
Suppose -13 + 16 = s. Suppose s*m - 10 = -2*m. Solve -m*n = 3*n for n.
0
Let d(u) = 3 + 0*u - 2 - u. Suppose 3 - 1 = 2*r. Let t be d(r). Solve t = 2*j + 1 + 1 for j.
-1
Let y(n) = n - 4. Suppose -4*z = 4*i - 36, 0*z - 6 = -3*z. Let p be y(i). Solve 0 = -d - p + 1 for d.
-2
Suppose 7*i - 4*i = 6. Let d(s) = -4*s**3 - 2*s**2 - s. Let x be d(-1). Solve 0 = x*r - i - 7 for r.
3
Let n be -3*1