0*v for v.
-3
Let c(b) = -b**2 + b. Let p be c(1). Suppose p = 6*t - t - 10. Let v be (t - 1)*(-30)/(-5). Solve 1 - v = -5*a for a.
1
Let u(x) = x**2 + 5*x - 2. Let b be u(-5). Let q be (0 - -1)*(b - -2). Solve q = -3*v - v - 8 for v.
-2
Suppose -b + 3*b = 0. Suppose b = 3*m + 4*t + 2 + 5, 0 = 3*m + t - 5. Suppose m*x - 3*j - 9 - 12 = 0, 0 = -3*x + 2*j + 16. Solve -x*g - 1 = -9 for g.
4
Let g = -3 + 5. Suppose u = 3*o - 13, 0 = -0*u - g*u + 2*o - 6. Suppose -u*z - 4*k = -14, 3*z - 2 - 1 = 3*k. Solve -2 = z*q + 4 for q.
-2
Let r = 48 + -17. Suppose -30 = -2*w + 2*u, r + 13 = 3*w - 4*u. Let h be (-1 - -1)*(2 - 1). Solve 3*z - 7*z + w = h for z.
4
Suppose 4*c = 10 + 6, -c - 11 = -5*j. Let p = -3 + j. Let m = 7 - p. Solve 0 = -m*i + 3*i - 4 for i.
-1
Let k be (-4)/10 - 20/(-50). Suppose 2*i - 7*i = k. Solve -x - x = i for x.
0
Suppose -4*o - v = -24, 0 = -2*o - 3*o + 2*v + 17. Solve 5 = o*k + 15 for k.
-2
Suppose -d - 4*n + 13 = 0, -3*d = -0*d - n. Suppose -5*x + 30 = 3*t, 0 = 4*x - 7*t + 2*t + 13. Let y = x - d. Solve -p + 2 = -y for p.
4
Let w = -1 + 6. Solve 4 - w = -m for m.
1
Let w(i) = i**3 + 9*i**2 - i - 7. Let q be w(-9). Suppose -4*d + 4*n + q = -2, 5*d - 2*n = 14. Solve 0 = d*b - 1 - 3 for b.
1
Suppose 2*r = -5*g - 13, -5*r + g + 2*g - 17 = 0. Let u be 8/2 + (-8 - 10). Let h be r/u + (-1554)/(-49). Solve -5*i = h - 7 for i.
-5
Let l be (3/2)/((-3)/(-8)). Suppose -2*s + l*h = -28, -3*s - 4*h = 10 - 32. Let i = s + -10. Solve -r = -i*r for r.
0
Let i = 2 + 2. Solve s = -i*s for s.
0
Suppose -2*p = 4*u - 8, -4*p + 9*p + 20 = 0. Let q = 3 - 2. Let a be (q + -2)/(3 - 4). Solve 0 = u*s + 17 - a for s.
-4
Suppose 0 = -3*q - 3*y - 8 + 35, -4*q + 3*y = -1. Suppose q*p + 3 = -3*x - 2, -2*p = 2*x. Solve i = x*i - 8 for i.
2
Let h(f) = 9*f + 2*f + 2 + 0 - f**2. Let x be h(11). Suppose -4*m + 9*m + b - 10 = 0, 2*m + x*b - 4 = 0. Solve -m = -3*c - 11 for c.
-3
Suppose -3*l - 3 = -5*q + 6, -4*l = -4*q + 12. Let y be -1*0/(-1 + 0). Let j = -4 - -14. Solve y = 5*h - q*h + j for h.
-2
Suppose s - c = 4*c - 9, -s - 5*c = -21. Solve -x + s = 2*x for x.
2
Suppose r + 12 = 5*s - 2*r, -s + 8 = -2*r. Solve s*p - 16 = 4*p for p.
-4
Suppose -2 - 6 = -2*w. Let g = 10 + -14. Let p be 8 - (-3 - g) - 0. Solve p*c = w*c - 12 for c.
-4
Let h(s) = 2*s. Let g be h(6). Suppose -350*x - 4 = -352*x. Solve -x*p - g = p for p.
-4
Suppose 3*r + 2 = j, 4*r + 2 + 6 = 0. Let c = 6 - j. Suppose -4*y = -c - 2. Solve 1 = -y*n + 2*n for n.
-1
Suppose -2*b = 4*x - 86, 2*b = 4*b + 2. Let w = 24 - x. Solve 0 = -w*c - 6 - 4 for c.
-5
Let p = 7 - 7. Let z(v) = v**3 + 6*v**2 - 7*v + 7. Let i be z(-7). Suppose -1 + i = 2*w. Solve p = w*s + 2*s for s.
0
Let k be 2*((-10)/(-4) - 1). Let v be 5/((-2 + k)*1). Let u(i) = 2*i - 6. Let x be u(v). Solve 9*b - x*b = -10 for b.
-2
Let a(k) = -k**2 - 7*k - 1. Let r(s) = -3*s + 3. Let x be r(3). Let b be a(x). Solve b*c - c = 0 for c.
0
Let i be (1 - 2) + (2 - 1). Suppose 0 = -3*k, 5*b = k + 6 + 9. Suppose i*u = b*u. Solve u = 4*x - 6 + 2 for x.
1
Let q(w) = 3*w - 12. Let x be q(5). Suppose 2*a + v = 6 + 8, 12 = 4*a - 2*v. Solve -x = 4*i + a for i.
-2
Let j be 2 + (1 - (-2 + 0)). Suppose 5*d + 2*s = 23, -j = -2*d - s + 4. Solve 0 = d*b - 10*b + 10 for b.
2
Suppose 4*l + 5*o = -0*o - 5, 0 = 4*l - 5*o - 5. Solve l = 2*r + 5 - 1 for r.
-2
Let a be 27/36*(-1 + 45). Suppose j + 4*j = 0. Let k be (-2)/11 - 92/(-22). Solve k*m - 13 + a = j for m.
-5
Suppose -u + 5*u - 22 = -3*p, 0 = -4*p + 2*u. Suppose -3*d = 4*j - 5, 3*d + d = p*j + 14. Solve 0*c = d*c for c.
0
Suppose -5*x = -x. Suppose x = -6*z + z. Solve z = b - 5*b for b.
0
Suppose -4*m = -2*m - 4. Suppose m*w - 3*w = 0. Suppose w = -3*s + 6*s - 6. Solve -r + 3 = s*r for r.
1
Let a(q) = q**2 - 7*q - 5. Let x be a(7). Let c = 8 + x. Suppose -2*h = -4*t + 22, 5*t + 0 = c*h + 28. Solve 6 = -t*o - 4 for o.
-2
Let v be 55/10 - 2/(-4). Suppose v*r = 5*r + 3. Solve -r*t = -8*t - 15 for t.
-3
Let w(f) = -f**2 + 2*f + 13. Let j be w(4). Solve -k + j*k = 0 for k.
0
Suppose m + 4*v = 9, 3*v = -v + 8. Solve q - m = 1 for q.
2
Let y be (-2 - (0 - -1)) + 5. Suppose 0 = -4*m - f + 16, y*f = -0*f + 8. Solve -x - 8 = m*x for x.
-2
Let c(q) = q**2 + 3*q + 2. Suppose 3*d = 2*a - 11, -3*a - 1 = d + 10. Let j be c(a). Solve -4*u - 1 + 5 = j for u.
1
Let h(k) = -k**2 + 5*k + 19. Let v be h(7). Solve 0 = -5*r + v + 5 for r.
2
Suppose -o = -5*o + 16. Let d(q) = -q + 7. Let s be d(3). Suppose 16 = s*b, -y - 9 - 2 = -4*b. Solve -z + y*z = o for z.
1
Let i = -8 - -8. Solve -u + 6*u = i for u.
0
Suppose 4*a = 40 - 0. Let n = a + -6. Suppose 0 = -n*z - 4 + 24. Solve -z*j = -0*j + 5 for j.
-1
Let a(z) = -6*z - 16. Let l be a(-6). Solve 0 = -t + 5*t - l for t.
5
Let z(g) = -g + 12. Let w be z(0). Let a = -12 + w. Let m = 8 - 5. Solve a*p - m = p for p.
-3
Let o = -11 - -5. Let k = 10 + o. Solve -k*b = -b - 3 for b.
1
Suppose 3*c + 4 + 2 = 0. Let r = 1 - c. Suppose 0 = t + 5*s + 15, 4*t + 5*s + 0*s + 15 = 0. Solve -r*b + 0*b - 9 = t for b.
-3
Let h(g) = -g**2 - 4*g + 9. Let z(c) = -c + 3. Let u be z(-6). Let n be h(u). Let b be (1/(-3))/(4/n). Solve -b = k - 4*k for k.
3
Let k be 24*1 + (0 - 1). Let f = -16 + k. Solve 2*r - f*r = 25 for r.
-5
Let c be (0 - (-1 - 1)) + 0. Suppose 0*v + 12 = c*v. Solve -g - 2*g - v = 0 for g.
-2
Suppose 5 = 17*z + 5. Solve -2*q + 7*q = z for q.
0
Let v(c) = -c**3 - 8*c**2 - 8*c + 1. Let m be v(-7). Solve m*k - 20 = 4*k for k.
5
Let c(z) = z**2 + 9*z + 10. Let p be c(-8). Suppose g - 7 = -p. Solve -18 + 3 = g*t for t.
-3
Suppose 5*i = 5*j - 50, -i + 6*i + 25 = 0. Suppose m + 0*h - 28 = -j*h, -h = -3*m + 4. Solve 3*x = m + 6 for x.
3
Let m = 63 + -32. Solve -m + 6 = 5*g for g.
-5
Suppose -n + 5*n - 8 = 0. Solve n*r = 3*r for r.
0
Let n(d) = -d - 2. Let h be n(5). Let g be (2 - 40/14)*h. Solve -3*k = -g - 6 for k.
4
Suppose -y + 8 - 2 = 0. Suppose 0*p = 4*p - 20. Solve p*s = -y - 9 for s.
-3
Let u(r) = 4*r - 3*r + 6 - 2. Suppose -6*m = -m. Let l be u(m). Solve 6 = l*g - 6 for g.
3
Suppose 2*t = -4*k + 16 + 4, 3*t = 4*k + 10. Let s = 30 - t. Let m = s + -15. Solve -4*r + m = 25 for r.
-4
Let h be (12/(-4))/(6/(-8)). Suppose k = -h*s - 18, 0*s = -k - s - 3. Solve 0 = p + k*p for p.
0
Let s(n) be the second derivative of -n**5/20 - 3*n**4/4 - n**3/3 - 13*n**2/2 + 4*n. Let d be s(-9). Solve -k + d = -0 for k.
5
Suppose w = -w. Solve w = 2*s - 4 for s.
2
Let r be -1 - (-1 - 0) - -98. Suppose i + r = q + 4*q, 0 = 4*q - 3*i - 74. Solve -q = -4*s - 0*s for s.
5
Suppose -4*k + 4*g = -24, k + 18 = 5*k - 2*g. Suppose 2 = z - 4*n - 0, 0 = 5*z + k*n - 33. Solve z*c - 3*c - 6 = 0 for c.
2
Let u(l) = l**3 + 3*l**2 + l + 4. Let v be u(-2). Solve -4 = 2*f + v for f.
-5
Let o(c) = c**3 - c**2 - c + 5. Let r be o(0). Suppose r = -0*w - 5*w - 5*m, -5 = -w - 4*m. Let d be 0*(-2)/12*w. Solve -2*u + 4*u = d for u.
0
Let j(t) = t. Let o be j(3). Let v be (9/o)/1 + -7. Let g be (-6)/v*(-26)/(-3). Solve 3*s - 28 = -g for s.
5
Let v = 3 + -5. Let q be (-1 - v) + 3 + -2. Let z(t) = -t + 14. Let b be z(9). Solve l - b = q*l for l.
-5
Let h = -35 + 43. Solve 4*i - 6*i = h for i.
-4
Let y be (1/2)/((-1)/4). Let c be (-33)/(-9) + y/3. Suppose -3*b - 7 = -o, c*o - b - 17 = -o. Solve -o*f = -2*f - 8 for f.
4
Suppose -11 = a - 3*a + 3*u, 0 = -a + 4*u + 8. Solve 4 = a*n - 12 for n.
4
Let t(y) = 2*y**2 + 15*y - 8. Let o be t(-8). Solve 4*z + z - 25 = o for z.
5
Let n = 55 + -54. Solve 1 + n = l for l.
2
Let o = 3 - 4. Let d = -1 - o. Suppose d*j = j. Solve j = -5*c - 0*c + 5 for c.
1
Suppose 0 = 2*f - f. Solve -15 = -5*m - f*m for m.
3
Let n be 12/10*(-40)/(-6). Let q(d) = -7*d**2 + 1. Let t be q(1). Let z be 66/14 + t/(-21). Solve n = 7*v - z*v for v.
4
Suppose -34 = -4*g + 5*h - 0, 4*h - 41 = -3*g. Let o be g/2 + (-2)/4. Solve 0 = -o*m + 3*m for m.
0
Let z(t) = -t**3 - 5*t**2 - 4*t + 4. Let s(l) = l**3 + 6*l**2 + 5*l - 4. Let r(k) = 5*s(k) + 6*z(k). Let f be r(0). Solve 0*c + f*c - 4 = 0 for c.
1
Suppose -8 = -3*t - t. Suppose -8 = -i - 3*i. Solve i*q = -t*q for q.
0
Let i(h) = -15 + h**3 - 5*h**2 - 5*h**2 - 11*h - h**2 + 23*h. Let g be i(10). Solve 4 = g*q - q for q.
1
Let u be (2/5)/((-1)/(-30)). Let a be (6/8)/(1/u). Let r be ((-6)/(-4))/(9/24). Solve -a = -j + r*j for j.
-3
Let x = 97 + -97. Solve x = -d - 0 - 1 for d.
-1
Suppose 8 