*b + 3 = 0. Solve u*k - 15 = -b for k.
3
Let g(l) = -l**2 - 8*l - 7. Let x(a) be the second derivative of -a**4/6 - a**3/6 - a. Let v be x(-2). Let m be g(v). Solve -m = 2*i - 13 for i.
4
Let m(a) = -a**3 + 5*a**2 + 3. Let y be m(5). Suppose 6*s = 3*s. Suppose -2*z + s*z = 2*v - 4, 6 = 3*z - 5*v. Solve -z*x = y*x for x.
0
Suppose -g = -0*g - 3*u + 7, -4*g = -2*u + 28. Let t = 11 + g. Solve 0 = t*x - 2 + 6 for x.
-1
Suppose -3*p + 7*p - 16 = 0. Let d(m) = -p*m - 4 + m + m + m**2. Let t be d(4). Solve -t*a = a - 25 for a.
5
Let p(g) = g**2 + 10*g + 14. Let x be p(-9). Solve 2 = u + x for u.
-3
Suppose -h + 66 = 5*h. Solve h = 4*f - 1 for f.
3
Suppose -4*p + 7 = -9. Let n be (-1 + 0)/((-8)/48). Let y = n - p. Solve a = -y*a for a.
0
Let x(k) = -3*k**3 - 8*k**2 + 7. Let m be x(-3). Solve 5*w = w + m for w.
4
Suppose -9 = 3*z - 57. Let v = -16 + z. Solve v = -3*j + 3 + 3 for j.
2
Suppose 3*h - h = 0. Suppose p = -h*p - 29. Let l = -14 - p. Solve 0 = -2*u - u + l for u.
5
Let h be 46/23*34/4. Solve -5 = -4*v - h for v.
-3
Let w be (-23)/(-1) + -2 + -1. Let q = 33 - w. Solve -3 = 5*d - q for d.
2
Let f(l) = -l**3 + 11*l**2 - 9*l - 10. Let n be f(10). Solve n = -z - 0*z for z.
0
Let j(r) = r**2 - 3*r - 4. Let h be j(4). Let s be (-1)/(-2) + (-2)/4. Suppose 4*i + 5*q - 90 = -s*i, 3*i = -4*q + 67. Solve h = -5*x + i for x.
5
Suppose 13 = 3*x - 8. Solve -5*g = -x - 13 for g.
4
Let l = 34 + -33. Solve -7 = -3*w - l for w.
2
Let w(o) = -2*o**3 - 10*o**2 + 10*o + 5. Let n(q) = 5*q**3 + 20*q**2 - 20*q - 10. Let p(d) = 3*n(d) + 7*w(d). Let y be p(9). Solve 5*x - y = 6 for x.
4
Suppose -3*z = -5*s + 7*s - 33, -54 = -5*z - 3*s. Solve 3*c = -z - 0 for c.
-3
Let r be (-2)/(-4)*(-4 + 4). Suppose r = -0*b - 4*b + p + 64, -3*b + 48 = -p. Suppose b = c + 6. Solve 2*y + c = -0*y for y.
-5
Let k(w) = w**3 + 15*w**2 - 17*w + 9. Let c be k(-16). Let l be (-5 - -3) + 7 + 1. Solve -r + l*r = -c for r.
-5
Let u be 3/((-2)/(-4) - 0). Let f(z) = -z**3 + 8*z**2 + 2*z - 12. Let h be f(8). Let r = u - h. Solve j = -r*j for j.
0
Let i(h) = -2*h**2 + 5*h + 1. Let l be i(4). Let m = l + 16. Solve -2 + 7 = -m*u for u.
-1
Let w be (-51)/12 - 2/(-8). Let z = w + -2. Let o be 3 + z/((-6)/(-3)). Solve o*g - 5*g + 10 = 0 for g.
2
Let s be (-2)/(-3) - (-4)/3. Suppose 9*y - 5 = 8*y, 2*v = -4*y + 50. Solve -s*f = f - v for f.
5
Let w(l) = -l + 5. Let r be w(0). Let c(q) = -4*q + 1. Let i(y) = -7*y + 2. Let h(x) = r*c(x) - 3*i(x). Let f be h(3). Solve -d - 3 = f*d for d.
-1
Suppose 4*o = -8, -5*o - 27 = -t - 5. Suppose 0 = -3*a + t. Solve 10 = -6*k + a*k for k.
-5
Let r = -7 - -9. Suppose r*z = -2*z + 68. Suppose -2*s + 6 = -10. Solve 0 = -5*m + z + s for m.
5
Suppose -2*r - 3*o = 1, 9 = r - 5*o - 10. Solve -4*j = -0*j - r for j.
1
Let f = -8 + 11. Let w = 1 + f. Solve q + w = -0*q for q.
-4
Let a = 8 + -5. Suppose 3*z - 22 = -2*i, 5*z = a*i - 3 + 65. Suppose -2*k + k + 11 = 4*j, -3*j + 12 = 2*k. Solve -k*f + f = -z for f.
5
Let i = -32 - -34. Solve 0 = i*l - 4 for l.
2
Suppose 3*p = 1 + 5. Suppose 0*a + a = p. Let q be a + -4 + (0 - -2). Solve 2*h + 6 + q = 0 for h.
-3
Let d = -77 + 82. Solve 2 = d*v - 3 for v.
1
Suppose 0*r - 65 = -5*a + r, 2*a = 5*r + 49. Solve 0*q = -4*q + a for q.
3
Suppose 15 - 3 = a. Let p = a - 10. Solve p*f = f - 4 for f.
-4
Suppose -2 = -2*d + 30. Suppose -5*r + 3*h - d = 0, 0 = -3*r - h + 3*h - 10. Let q = r - -2. Solve q*z + 4*z + 20 = 0 for z.
-5
Suppose -2*g - 8 - 14 = 0. Let v be 1*(-4 + 3) - g. Let h = v - 10. Solve -2 = u - h*u for u.
-2
Suppose f - 6 = -2*f. Suppose -f*n = 2*j - 2, 3*n + 4*j + 4 = n. Solve 0 = n*q + 13 - 1 for q.
-3
Suppose 27 - 19 = 2*f. Solve 0*y + f = 2*y for y.
2
Let b(i) = i - 9. Let l be b(13). Suppose 5*s - 26 = l. Solve s = h + h for h.
3
Suppose 5*o - 1 = -u + 14, -u - o = -7. Suppose -2*w + 2 + 2 = -4*s, 0 = 5*w + u*s - 10. Let c be 6/(((-4)/(-6))/1). Solve h = -w*h - c for h.
-3
Suppose -2*x + 3 = -1. Suppose 2*j - k = 4*k - 3, -2*j = -x*k. Solve 4*n = j - 13 for n.
-3
Let x(c) = c**2 + 3*c - 1. Let q be x(1). Solve q*v - 2*v = -2 for v.
-2
Suppose 3*i - 37 = f, 0 = -2*i + 5*f - f + 8. Let k be ((-12)/i)/(6/(-42)). Solve -2*q = 2 + k for q.
-4
Suppose -3*w + 0*w + 24 = 0. Suppose -5*t + 2*t + 2*i = w, 4*t + 5*i = 20. Let u be (-3)/(2/8*-3). Solve 0 = u*d + 8 - t for d.
-2
Let r = 10 - 15. Let y = r - -5. Suppose g - q - 5 = y, 3*g - 4*g - 4*q + 5 = 0. Solve a + g = -0 for a.
-5
Let z be (66 + -66)*((-1)/2 - -1). Solve z = -2*f + 5 - 1 for f.
2
Suppose 5*m - 97 = -2*n - 29, 5*n = -5*m + 80. Solve m = -t - 2*t for t.
-4
Suppose 0 = 4*t - 3*a - 29, t + a + 31 = 5*t. Solve -2*x + t = -6*x for x.
-2
Let c(y) = -y**3 + 5*y**2 - 4*y + 2. Suppose -13 = -4*u - 1. Let r be c(u). Solve 3*q = r*q - 20 for q.
4
Let o be ((-4)/(-5))/((-6)/(-15)). Suppose -8 = -5*r + 3*f, -4*r = -0*r + o*f - 24. Solve -r*y + 14 = -2 for y.
4
Suppose 2 = -4*m + 10. Suppose -r + 1 = -5*y, 3*y + 2 = 2*r - 0*r. Solve h - m + 1 = y for h.
1
Suppose -2*m + m + 26 = 4*b, -5*m - 14 = -4*b. Suppose 2*w + 10 = -k, b = -4*k + 3*w + 21. Solve k*s - s = -4 for s.
4
Suppose 7*a = 55 + 50. Solve 1 + a = -4*o for o.
-4
Let c be 8/28 + (-104)/(-28). Solve -c = -2*q + 2 for q.
3
Suppose 2 = 3*g - m, g - 3*m - 22 = -8*m. Solve -u - 2 = -g*u for u.
2
Let p be ((-28)/(-35))/((-4)/(-10)). Solve 3*o + 5 = p for o.
-1
Suppose -5*o + 20 = 0, 3*x - 7*x + 68 = 2*o. Suppose -2*u + 5*u = x. Solve 17 = -u*m - 3 for m.
-4
Suppose 5*v - 15 = -3*d, v + 0*d = d - 5. Suppose v = -4*m + 2*r + 98, m + 23 = 2*m - 2*r. Solve -2*q = 3*q + m for q.
-5
Suppose 4*g + 1 = 5. Let s be (-1)/g + (1 - -6). Solve 3*n = -6 - s for n.
-4
Suppose -32 = -2*i - 24. Solve -i*l - 14 = -2 for l.
-3
Suppose 9 - 1 = -2*d + 4*c, 0 = 3*d - 4*c + 8. Solve -4 = 2*v - d*v for v.
-2
Let h(n) = 26*n - 2. Let x be h(3). Suppose -3*f + x = 4*i, 3*f + 4*i + 24 = 5*f. Solve 0 = -0*r - 4*r - f for r.
-5
Let z = -19 + 23. Solve z*i + 25 = -i for i.
-5
Suppose 36 = 2*k + 26. Solve -4*f = -k*f - 3 for f.
-3
Suppose 0 = 6*o - 3*o + 105. Let b be 14/o + (-54)/(-10). Let y(n) = -4*n - 4. Let u be y(-5). Solve -b*k - u - 9 = 0 for k.
-5
Suppose -2*h + 2*p + 1 + 13 = 0, 0 = 4*h - 5*p - 33. Suppose 12 = -x - h*x. Let c be 16/3*(-6)/x. Solve c = 3*r - 5*r for r.
-4
Let o be 126/(-28)*4/(-3). Solve o*w - w - 15 = 0 for w.
3
Let d(l) = l**2 + 4 + 13*l + 4 - 5 + 1. Let v be d(-13). Solve 0*t = -4*t - v for t.
-1
Suppose 6 = -2*m - m, o + m = 10. Suppose 7*p - 3*p = o. Let q(f) = -f - 5. Let a be q(-6). Solve 2*s + a = p for s.
1
Let b(i) = 4*i - 4. Let a be b(2). Solve a*t + 0*t = 16 for t.
4
Suppose 6 = -2*x - 2*r, 5*r + 5 = -5*x + 2*r. Let b be (20/(-8))/((-1)/x). Solve -b*n + 15 + 10 = 0 for n.
5
Let k be 14/4*(-44)/(-77). Suppose 5*a - k*a = 36. Solve 2*p - a = -4 for p.
4
Let j = 91 + -88. Solve 2*m = -j + 1 for m.
-1
Suppose 0 = -2*y + 2*g + 18, -2*y + 7*y - 51 = -g. Suppose -i = i - y. Solve 6*m - i = m for m.
1
Let s = -67 - -124. Suppose q - 4*q = -s. Suppose -q = -l - l - 3*u, l - 3*u = 32. Solve 0 = -4*o + l + 3 for o.
5
Suppose -3*y - 2*m + 30 = -5*y, -4*y = 3*m + 74. Let i = -11 - y. Solve 0 = -i*w + 3*w for w.
0
Let s = 39 + -22. Let h = s - 14. Solve 3*v + 0 = -h for v.
-1
Let r be (3 - (-3)/(-6))*2. Suppose -2*m = -r - 5. Solve m*i - 6 - 9 = 0 for i.
3
Let a(o) = -8*o - 4. Let w be (3/(-4))/(2/8). Let u be a(w). Let n be u/6 + 2/3. Solve t + n*t = -25 for t.
-5
Let p(r) = -3*r - 7. Let x be p(-5). Solve -7*c - x = -3*c for c.
-2
Let p(s) = s + 10. Let i be p(-5). Solve 11 + 9 = i*f for f.
4
Let y(z) = -z**3 - 5*z**2 + z + 7. Let a(c) = c**2 - 5. Let v be a(0). Let n be y(v). Solve -b = -n*b for b.
0
Let j = -15 - -15. Solve m + j = 2 for m.
2
Let d(j) = 4*j - 5*j + 10*j**2 + 3 - 2 + 0*j. Let b be d(1). Solve z + b = -z for z.
-5
Let n be (2 - (-1 - 1)) + 0. Suppose -n = -5*h + 11. Suppose 4*a + 4 = 8*a. Solve h*g - 4 = -a for g.
1
Let o(a) = a - 1. Let u(w) = w**2 + 3*w + 2. Let f(s) = 4*o(s) + u(s). Let m be f(-8). Solve m*t + 12 = 3*t for t.
-4
Suppose y + 6 = 3*y. Suppose 0 = y*o - 0 - 9. Solve 0 = -o*l + 2*l - 5 for l.
-5
Suppose 5*t = 4*v, -v = v - 3*t. Suppose 2*m = -0*m. Solve m = -j - v*j + 5 for j.
5
Suppose 2*s - s = 0. Suppose s = -7*y + 2*y + 10. Let i be 27/21 + (-2)/7. Solve -i = -y*m + 1 for m.
1
Let v be (1