y + 12 = 0. Let r(u) = u**3 - 8*u**2 - 9*u + 10. Let z be r(9). Solve -8*x = -y*x - z for x.
2
Suppose 15 = 4*m - 13. Let h be (18/8 + -1)*(8 - 0). Let y be (5 + (-35)/h)*(-2)/(-3). Solve -m - y = -4*f for f.
2
Let h be -2 + 33 + (-5)/(-15)*3. Solve -5*c = h - 12 for c.
-4
Suppose -w - w - 2*f - 2 = 0, -3*w = -3*f - 21. Let v(m) = m**3 - 4*m**2 - 3*m + 1. Let a be v(4). Let n(u) = u + 11. Let j be n(a). Solve j*s = -w*s for s.
0
Let t(c) = c**2 + 12*c + 19. Suppose -10 = 2*u, q - 2*u + 21 = -4*u. Let d be t(q). Solve -17 - d = 5*i for i.
-5
Let c = 299 + -281. Solve 3*p - c = -3*p for p.
3
Let q = 62 + -42. Suppose 8 = 4*a + q. Let l be (a/6)/(1/(-10)). Solve -l*d + 6 = 11 for d.
-1
Let n(o) = 3*o**3 - 6*o**2 - 4*o + 15. Let t be n(3). Solve t = 9*r + r for r.
3
Let b = 328 - 321. Solve 8 = 5*d - b*d for d.
-4
Let g(a) = 2*a**2 + 46*a - 46. Let q be g(1). Solve -135*b = -133*b - q for b.
1
Suppose -35 = -4*l + n, 47 = 5*l + 3*n - n. Solve -l*w = -4*w + 5 for w.
-1
Suppose 3*j - 39 - 27 = -2*a, 2*j - 44 = -a. Solve -18*l - 8 = -j*l for l.
2
Let b(m) = m + 9. Let c be b(-4). Suppose 0 = -5*z + 5*x + 20, z = -c*x - 3 + 1. Solve -z*u - 4 = u for u.
-1
Suppose -3*t + 3*z + 3 = 0, 5*t + 90*z - 92*z - 14 = 0. Let m = -8 + 24. Solve 0 = t*j - m for j.
4
Let i(k) = -k**3 + 10*k**2 - 7*k - 11. Let g be i(9). Let u(d) = -d - 5. Let v be u(g). Let c be (-4)/v + 1/(-3). Solve c = -3*t - t for t.
0
Let z(q) = 3*q + 3. Let u be z(0). Let a(p) = -3*p - 6. Let g be a(-6). Suppose -4*k = 3*v + g, -4*k + v + u + 1 = 0. Solve k*c - c + 1 = 0 for c.
1
Let x = 799 + -794. Let c = 15 + -9. Solve -19 = x*a + c for a.
-5
Let j be (19 + 1)/(-5) + 8. Suppose 4 = 2*s - j. Solve 4*k - s = 4 for k.
2
Let u(c) = -15*c + 151. Let v be u(9). Solve -2*r + v = 6 for r.
5
Suppose -246 = -6*b - 90. Let k = b - 1. Suppose -4*o - o + k = 0. Solve 0*u + 25 = o*u for u.
5
Suppose 0*b - 3*b - 5*v + 47 = 0, -v + 15 = b. Let m(r) = r**3 - 15*r**2 + 14*r + 5. Let d be m(b). Solve 3*t = -17 + d for t.
-4
Let w be (33/(-15) + 1)*-5. Solve w*z - 3*z - 6 = 0 for z.
2
Suppose -556*r = -551*r - 195. Solve 35*p = 22*p + r for p.
3
Suppose 3*i = 2*q - 86 + 65, 5*q + 5 = -4*i. Let j be (1 - 1)/(4 - 5). Solve -q*f + f - 10 = j for f.
-5
Let j = 19 + -15. Suppose j*x = -4*o + 112, -5*x - 3*o + 64 + 70 = 0. Let b(a) = a + 23. Let t be b(-17). Solve -t*g = -g + x for g.
-5
Let h(u) = 11 - 3*u - 4*u + u + u**2. Let m be (-2)/(-3)*729/162. Let k be h(m). Solve -k*y + y = 0 for y.
0
Let l(u) = u**3 + 3*u**2 + u + 9. Let f be l(-3). Solve g + f = -g for g.
-3
Let x(j) = j**2 - 7*j - 16. Let g be x(7). Let a = 16 + g. Solve 4*c = -a*c + 8 for c.
2
Let j be (30 + -35)/(20/(-64)). Solve 2*b - 10 + j = 0 for b.
-3
Let v be 12/(-8)*14/(-3). Suppose -v*m = -8*m - 3. Let x be m/(-5) - (-3)/(-5). Solve x = 3*u - 2*u - 1 for u.
1
Let v(i) = i**2 - 14*i + 89. Let p be v(9). Solve -48*b - 16 = -p*b for b.
-4
Suppose -222*r = -244*r + 88. Solve -l = -0 - r for l.
4
Let z = 1983 - 1878. Solve 12*x = 33*x - z for x.
5
Let y be -2*(-3)/(-3) - 23. Let i(w) = w + 29. Let t be i(y). Solve -13 - 3 = -t*x for x.
4
Let l(i) = -2*i + 6. Let d be l(5). Let o be 2/(-2 + 0 - d). Let a be (-12)/(-3) + (-2)/o. Solve -a*g + 6 = g for g.
2
Let b = 104 - 100. Let j be (-5)/(-15)*6*b. Solve j*t - 10 = 3*t for t.
2
Suppose 2*q + 2 = 3*h, -2*q + h + 16 = 2*q. Solve 0 = -q*f + 2*f + 15 for f.
5
Let g = -82 + 109. Solve 5*z + 42 = g for z.
-3
Let y(w) = 2*w + 20. Let l(v) = v**2 - 3*v + 2. Let z be l(1). Let h be y(z). Solve h = -x - 4*x for x.
-4
Let b = 11 + -11. Suppose 25 = -0*u + 5*u + 2*c, 17 = -u + 4*c. Solve b = 4*j - u*j for j.
0
Let v(z) = z + 29. Let r be v(0). Let b = 29 - r. Solve b = 2*u - u - 2 for u.
2
Suppose 2*l = s + 21 + 27, 4*s = 3*l - 67. Suppose 12 + 13 = 5*b - y, 5*y - l = -5*b. Solve 3*o + 2 - b = 0 for o.
1
Let q = -28 - -40. Suppose z = -3*z + q. Suppose z*a = 2*o - 1 - 2, o + 4*a = 18. Solve 9 = 3*f - o for f.
5
Let a = 570 + -570. Solve 0 + a = j for j.
0
Let z = 3 - 3. Let b be 27*8/(-20)*(-10)/3. Let l = b + -36. Solve l = -z*u - 3*u + 3 for u.
1
Let h be 159/21 - (-3)/7. Let g be (h/6)/(3/18). Solve l + l = -g for l.
-4
Let q be (-6)/(-15) - 24/10. Let m be 0 + 104/18 - q/9. Solve 0 = -5*x + m + 14 for x.
4
Suppose t = -122*k + 119*k + 26, -5*t = -k - 2. Suppose 24 = o + 2*o + 3*i, 5*i - 31 = -2*o. Solve o*n + 2 = t*n for n.
-2
Let v(w) = 7*w - 24. Let k be v(8). Suppose -3*h = k + 58. Let g be (-4)/(-6) - h/(-45). Solve b - 2*b + 3 = g for b.
3
Suppose -17*y + 18 = -15*y. Solve -l - 2*l = y for l.
-3
Let r be (2 + 4)*-6*1. Let g = -36 - r. Solve x + g*x = -2 for x.
-2
Let f(r) = -r**2 + 4*r - 4. Let x be f(5). Suppose -79 = 4*v + 3*w, 4*v + w + 8 = -61. Let l = x - v. Solve 3*o = l*o for o.
0
Suppose -5*u - r + 12 = 0, -5*u + 3*r = -3 - 1. Solve -n + 1 + u = 0 for n.
3
Let u(v) = -v**3 - 16*v**2 - 17*v - 26. Let i be u(-15). Suppose 0 = -i*b - 3*k + 4*k + 3, 18 = -b + 4*k. Solve b*c + 1 = c for c.
-1
Suppose 466 = 23*j + 213. Suppose 2*t - 4*q = -0*t + 8, 4*q = -2*t - 8. Solve -7*g + j*g = t for g.
0
Let s be -3 - 10/(-10)*(-52 + -1). Let d = 58 + s. Solve d = -3*j - 10 for j.
-4
Let h = -4 + 11. Suppose 2*v = a + 9, -3*v + h*v - 5*a = 21. Suppose v*u = 5*g - 42, -4*g - 2*u - 24 = -7*g. Solve -g*y + 2*y - 8 = 0 for y.
-2
Let i = -45 + 49. Solve -i*w + 14 = 18 for w.
-1
Let k be (-17)/2*(-49 + 47). Solve k*t = -49 + 15 for t.
-2
Let j = -112 + 132. Solve 8*v = j - 4 for v.
2
Let l(j) = j**3 - 7*j**2 - 9*j + 4. Let w be l(8). Let i be w/(-10) - 130/(-50). Solve -2*v = i - 7 for v.
2
Let k = 16 + -30. Let m be (-49)/k*(-12)/(-14). Solve -p = 2*p + m for p.
-1
Suppose 0 = 34*f - 1285 - 1231. Solve 2*q - f = -84 for q.
-5
Suppose 5*i - 2*i + 0*i = 0. Let w be 1/(3 + 40/(-15)). Solve i*d = 3*d + w for d.
-1
Suppose -13*u + 12 = -10*u. Let i = u + -1. Solve 0 = 2*r + i*r for r.
0
Let m be (-13)/((-8)/6 - (-84)/252). Solve 0 = -m*f + 7*f - 12 for f.
-2
Let a = 71 + -17. Let u = a - 38. Suppose 11*r + 845 = 878. Solve n + r*n = u for n.
4
Let m be (-2*2)/((-17)/17). Suppose q = -2*f + 4, 2*q + 4 = -m. Solve -b = -5*b + f for b.
1
Let c = -31 + 34. Let g be (-3)/18*c*0. Solve r + 0*r = g for r.
0
Suppose -22 = -6*h - 4. Let d be 28/8*-8*(-2)/28. Solve h*f = -d*f for f.
0
Suppose -11*y = -2*y + 9. Let b = 3 - y. Solve 0 = b*p - 3 - 1 for p.
1
Let r(x) = 2*x**2 - 4*x + 3. Let z be r(6). Suppose 0 = -2*v + 2*y - 24, -5*v - 3*y - y - z = 0. Let a = v + 16. Solve a*n - n = 4 for n.
1
Let a(d) = 12*d + 579. Let n be a(-48). Let c be (0 - 1)*(-1 - 2). Solve 12 = n*m + c for m.
3
Let s(q) = q**2 + q - 1. Let z(f) = 51*f**2 + 6*f - 5. Let g(d) = -5*s(d) + z(d). Let m be g(-1). Suppose 4*n - m = n. Solve -y - 2*y = -n for y.
5
Let n be 0 - -5 - 10/(-2). Solve n = 2*w + 14 for w.
-2
Suppose 2*r + 0*r = -10. Let m be (-2)/(r/3 + 1). Suppose -2*s - 2*s - m*w + 6 = 0, 0 = 5*w + 10. Solve -j = -4*j + s for j.
1
Suppose 5*a = 2*a + 6. Let x be -6*a*(-2)/8. Let m = x - 0. Solve -2*j = -m*j - 1 for j.
-1
Suppose -8 + 14 = 3*a. Suppose 0 = -4*b + 4*g + 36 + 8, 0 = a*b + g - 31. Solve 6 = -4*u - b for u.
-5
Let u(m) = -m + 10. Let q be u(2). Solve -h = -q*h for h.
0
Let k(z) be the first derivative of z**2/2 + 11*z + 17. Suppose 4*l = -3*i - 35, -2*i + 3*i - 5*l = 20. Let v be k(i). Solve 3*x = x - v for x.
-3
Let n(l) = 24*l + 96. Let r be n(-4). Suppose 2*p - 1 = p. Let s = 4 - p. Solve r*q = 3*q + s for q.
-1
Let m(t) = 5*t + 45. Let w be m(-19). Let l be 6/(0 - 15/w). Let y be (4 - l/5)/3. Solve 3*n + 2*n = y for n.
0
Let q = -19 + 21. Solve -q*h - 2 = -4 for h.
1
Let w = -240 + 268. Solve 29*f + 2 = w*f for f.
-2
Let n(m) = -m**2 + 3*m + 4. Let l be n(4). Suppose 4 = a - l*a. Solve 12 = o - a*o for o.
-4
Let i = 158 - 111. Suppose 7 = 6*t - i. Solve 0*y = -3*y + t for y.
3
Let j = 4 - 4. Suppose -2*w + j*w = 62. Let g = w - -35. Solve 0 = 5*b - 29 + g for b.
5
Let u(n) = -n**3 - 15*n**2 - 28*n - 9. Let j be u(-13). Suppose 0 = -3*s + 5*l + 22, s = 4*l - 5 + j. Solve 3*c - s*c = 0 for c.
0
Let d(i) = 2*i + 22. Let p be d(-10). Suppose p*j + 2 = 0, -4*q - 2*j + 0*j + 6 = 0. Solve 0 = -0*k - q*k for k.
0
Suppose 3*z - 4 = 2*d - 6*d, 2*z = 2*d - 2. Suppose 4*b + 5*f = -7, -4*f - 12 = -z*f. Solve b*j - 5 = j for j.
5
Suppose 5*s +