+ 4*x + 2. Let p be v(-3). Solve -2 = -5*a + p for a.
2
Let q(k) = -k**3 + 10*k**2 - 15*k - 2. Let a be q(8). Let i be a + (-1)/(-3 + 4). Solve 0 = -i*l + 7 + 8 for l.
3
Let n be (-2 + 8/4)/(-30 - -28). Let q(s) = s - 4. Let i be q(0). Let c be 1/i + 202/8. Solve -4*b - b - c = n for b.
-5
Suppose -4*d + 2*d = -3*z - 47, 5*z + 85 = 2*d. Let j = z - -23. Solve 0 = 4*q - j for q.
1
Let j(n) = 7*n + 21. Let p be j(2). Solve -32*x + p*x - 6 = 0 for x.
2
Let v be (-4)/8*0/4. Suppose -5*q + 4*c + 18 = -v*q, 4*q - c = 10. Solve -7 = 5*h - q for h.
-1
Suppose 3 = 4*d - 25. Solve 5 = 2*l - d*l for l.
-1
Let r(p) = -5*p**2 + 97*p + 15. Let k be r(19). Solve 0 = 5*d + k - 33 for d.
-4
Suppose -4*o = -3*o + 5*b - 13, 4*o - 68 = -4*b. Solve 14 = -t + o for t.
4
Let b = 54 - 49. Suppose 0 = -3*v + 3*n + 21, -3*v + 29 = -v - b*n. Solve d + 0 = v for d.
2
Let u = -68 + 70. Suppose i + u*k = 7, 0*k = -2*k + 2. Solve i*t = -35 + 10 for t.
-5
Suppose 0 = 3*c - 5*o - 15, 3*c - 15 = -3*o + o. Suppose 16 = 5*r + s, -4*r + 9*r = -c*s. Solve 6*f = r*f for f.
0
Let i(o) = o**3 - 5*o**2 + o - 5. Let r = -12 - -17. Let f be i(r). Let n = 10 - f. Solve 2*l + 0*l = n for l.
5
Let b = 639 - 633. Solve 0*a - b*a = -12 for a.
2
Let s be ((-8)/(-10))/((-16)/400). Let w = s + 24. Solve 9 = h - w*h for h.
-3
Suppose 3*z + 3 = -h, 0*z - 4*h = -2*z + 12. Solve z = 8*m - 3*m + 15 for m.
-3
Suppose -2*a - 2 = 2*j, 12 = -2*j - 0*j + 3*a. Let b be (-6)/(-27) - (j + 10/45). Solve 6 = b*u - u for u.
3
Let o be 8 - (1 - (-2)/1). Solve -4*r - 15 = o for r.
-5
Suppose 0 = 16*r - 452 + 164. Solve -22*g + r = -4*g for g.
1
Let l = 154 + -152. Let a = 2 - -21. Suppose -l*q = 15 - a. Solve 4*d + q + 8 = 0 for d.
-3
Suppose -20 = 8*a - 236. Solve -5*v = -7 + a for v.
-4
Let x(d) = -14*d + 101. Let o be x(7). Solve -o*r + 6 = -9*r for r.
-1
Let m be -3*((-84)/32 + 9/(-24)). Solve m*c - 3*c = -0*c for c.
0
Let s(k) = -k**3 - k**2 - 6*k - 6. Let g be s(-1). Solve 2*x + x + 2*x = g for x.
0
Let a(z) = -z**2 + 9*z - 3. Suppose -5*l = -s + 30, 2*s + 5 = -0*s - 3*l. Let w be a(s). Let u = -16 + w. Solve 0 = j - u for j.
1
Let j be 2/(-5) + (-999)/(-185). Solve -2*c - 1 = j for c.
-3
Let i(k) = -2*k**2 - 16*k - 8. Let d be i(-7). Let z = -4 + d. Solve z = -j - j for j.
-1
Let s(m) = m + 10. Let x be s(-12). Let b = x + 2. Suppose -6 = -2*k, -k = 4*o - b*k - 3. Solve o = 2*w + w + 3 for w.
-1
Let x(u) = u**2 + 2*u + 3. Let q(w) = -w**2 + 8 - 3*w - 4 - 7. Let s be q(-3). Let a be x(s). Solve 5*n + a = -4 for n.
-2
Suppose 0 = -304*x + 301*x + 15. Solve 15 = -2*v + x*v for v.
5
Let u be (0/2)/(-9 + 5). Solve 0*y - 4*y - 4 = u for y.
-1
Let q = -15 - -48. Let g = q - 20. Solve 3*h = -g + 1 for h.
-4
Let c(q) = -q**2 + 7*q + 9. Let k be c(8). Let l be (-4 + 35)*k/1. Suppose -l = -3*u - 4*r, -3*u = -0*u - 5*r + 5. Solve u - 1 = -2*b for b.
-2
Let j(p) = 2*p. Let i(m) = -8*m - 2. Let u(r) = -2*i(r) - 10*j(r). Let c(o) = o. Let w(x) = -5*c(x) - u(x). Let s be w(-7). Solve 0 = -y - s + 5 for y.
2
Let k(j) = 13*j - 51. Let i be k(5). Solve 4*r + 6 = i for r.
2
Suppose 0 = -2*v - 2*v - 84. Let u = 36 + v. Solve -y = 4*y + u for y.
-3
Suppose 2*u - 3 - 21 = 0. Let r(o) = -6*o - 6. Let y be r(-3). Let x = y - u. Solve x*s = 3*s - 12 for s.
4
Let k(c) = c**2 - 4*c - 12. Let v be k(6). Let z(l) = -7*l - 25. Let w(n) = 3*n + 12. Let h(m) = 5*w(m) + 2*z(m). Let t be h(-7). Solve v*b = -t*b for b.
0
Let j = -2925 - -2930. Solve 6*d - j*d = 0 for d.
0
Suppose 37 = 4*f - f + 4*c, -5*c = -f + 6. Let h = 16 - f. Suppose -4*k + 2*u = 10, -k - h = -u - 0. Solve k*i - 2*i = 4 for i.
-2
Suppose -412*h = -433*h + 462. Solve -3*n - h = -7 for n.
-5
Let u be ((504/(-30))/(-14))/(6/20). Solve u*f = -f for f.
0
Suppose -j - 4*q = -0*q - 16, 2*j + 3*q = 22. Solve 0 = -8*u + 4*u - j for u.
-2
Let h(v) = -v**3 - 4*v**2 - 5*v - 10. Let r be h(-3). Let a(p) = -3*p - 12. Let g be a(r). Solve -2*x = -g + 2 for x.
-1
Suppose -21 = -z - 1. Let o(y) be the first derivative of -y**4/4 - 8*y**3/3 - y**2 - 12*y - 4. Let h be o(-8). Solve h*t = -0*t + z for t.
5
Let t(y) = -y**3 + 9*y**2 - 6*y + 1. Let w be t(8). Suppose 3*l - w = -5*k + 10, 0 = k + 5*l - 23. Solve -k*r = -r - 6 for r.
3
Let m be ((-12)/30)/(1/(-15)). Suppose -2*o + m*o = 100. Solve -8*a = -3*a - o for a.
5
Suppose -2*w = -0*k + 2*k - 22, 0 = 3*w - 4*k - 33. Suppose w + 10 = 7*o. Solve -1 = -o*b - 10 for b.
-3
Let f(m) = -m**2 - 8*m - 1. Let j be f(-7). Let q(y) = -3*y + 21. Let s be q(j). Solve -13 = s*u - 1 for u.
-4
Let b = -23 + 20. Let x be (-6)/6 + (-21)/b. Solve -x*g = -2*g for g.
0
Let m(r) = 2*r**2 + r + 1. Let k be m(-3). Let v = k - 16. Suppose -5*t = -17 - 3. Solve -4*s = -v - t for s.
1
Suppose -3*w + 3*n - 39 = -27, 0 = 4*w - 3*n + 12. Solve w = -4*s - 2 + 6 for s.
1
Suppose -4*c = 35*v - 36*v - 27, 2*c - 2*v - 12 = 0. Solve 11*o - 17*o = -c*o for o.
0
Suppose -4*q = -3*y - 54, y + 38 = -0*q + 3*q. Suppose -3*s + q = 3. Suppose -4*z - 2*o = -5*o + s, -o + 1 = -5*z. Solve -3*b - 2*b - 5 = z for b.
-1
Let v(i) = -i**3 - 3*i**2 - 2. Let m be v(-3). Let o = -2 - m. Solve 6*t - 2*t + 8 = o for t.
-2
Let w be 65 - (-5)/(25/15). Let x be (-17)/w + 22/(-8). Let a(q) = -q**2 - 7*q - 8. Let o be a(x). Solve 0*n = o*n for n.
0
Let m(v) = -53*v + 587. Let l be m(11). Solve -6 + 10 = l*p for p.
1
Let p(x) = -x**2 - x + 4. Let r be p(0). Suppose r*v = 55 + 45. Solve 6*a + v = a for a.
-5
Let m be 45 - ((-8)/(-4) + (-2 - -3)). Solve j - 40 + m = 0 for j.
-2
Suppose -156*b + 140*b + 848 = 0. Solve 16*d - b = -5 for d.
3
Let c(b) = b**3 + 4*b**2 + 2*b + 5. Let x be c(-3). Suppose f = 5*q - x, q + 1 = -f - 1. Let y be ((-15)/(-60))/(q/4). Solve 5*d + 6 = y for d.
-1
Let q = 1161 - 1159. Solve -6*n + 7*n = q*n for n.
0
Let n = 130 - 100. Let t = n - 28. Solve 0 = t*m - 0*m + 6 for m.
-3
Let f be (-1)/2*2 + 6. Let h = 9 - f. Suppose -h*r = -5*r + 2. Solve -r*c - 25 = -7*c for c.
5
Let m be 4*1*-20*5/(-80). Solve m*r - 1 = -21 for r.
-4
Let q(u) = 14*u - 250. Let o be q(18). Solve 0 = o*y + 17 - 21 for y.
2
Let d = -8 + 8. Suppose d = -0*v + 3*v + 42. Let f = -14 - v. Solve f*l = -2*l - 8 for l.
-4
Suppose 0 = -4*v - 3*i + 5*i + 62, -2*v - 2*i + 46 = 0. Suppose v*j - 19 - 17 = 0. Solve 6*f - 12 = j*f for f.
3
Let x(j) be the second derivative of -5/2*j**2 - 9*j + 1/6*j**3 + 0. Let q be x(12). Solve -5*w + q*w = -8 for w.
-4
Suppose 0 = -23*m + 20*m + 36. Solve -k - m = 3*k for k.
-3
Suppose 0 = -3*f - 3*d + 30 - 12, 3*f - 15 = -2*d. Solve 0 = f*a - 13*a - 40 for a.
-4
Let s be 38 + -22 - (0 - 0). Let g be (s/20)/(2/10). Solve g*w = 6*w - 10 for w.
5
Let o be 0 + 24/(-4) + 6. Solve o*y = 3*y + y for y.
0
Suppose 4*x - 3*w + 2*w + 272 = 0, x = -3*w - 68. Let k be (-17)/x - ((-31)/4 - 2). Solve -k = -0*a - 2*a for a.
5
Suppose 0 = -4*p + 5*p - 1. Suppose q + p = 4. Solve 0*b - 9 = q*b for b.
-3
Suppose 4*l = -5*k + 20, -5*k + 50 = -5*l - 15. Solve 2*q - 14 + k = 0 for q.
3
Let u(p) = p**3 - 15*p**2 - 16*p. Let w be u(16). Let z(m) = m**2 + 3*m + 8. Let k be z(w). Solve 3*q + k = q for q.
-4
Let g be -2 - -2 - 1 - -1. Suppose g = -4*j + 2*j + 4. Suppose -2*q = -10 + j. Solve 0*r + q = -r for r.
-4
Let k = 943 + -936. Solve 6 = k*n - 5*n for n.
3
Let a = -38 - -27. Let u(c) = -c**2 - 3*c + 1. Let s be u(-4). Let l = s - a. Solve 0 - l = -2*o for o.
4
Suppose 0 = 21*d + 11*d - 96. Solve -d*n - 198 = -192 for n.
-2
Suppose 4*v + 2*a = -8 + 84, 0 = -v - 4*a + 26. Solve 12*i - v = 6*i for i.
3
Suppose -9*b + 4*b = 0. Suppose b*i = 5*i - 5*a + 15, 4*i + 2*a = 6. Solve 0 = m - 1 - i for m.
1
Let i(b) = b**2 + 18*b + 34. Let u(g) = -g**3 - 9*g**2 - 4*g + 16. Let k be u(-8). Let x be i(k). Solve -2*h + x = 8 for h.
-3
Let r be 15 + (-1 - 0)*(1 + 4). Solve 0 = 3*g - r - 2 for g.
4
Suppose -308 + 44 = -33*j. Let x(k) = -k**2 + 3*k + 4. Let s be x(4). Solve s = -5*l - 23 + j for l.
-3
Suppose f + 4*w = 2, 4*f + 4*w - 3 = 5. Solve 8*g + f*g = 30 for g.
3
Let c be 2 + (-4 - -1) - -76. Suppose c = 4*l + l + 5*d, 0 = -3*l - 2*d + 44. Let n be (-23)/(-7) - 4/l. Solve -n*w = -w for w.
0
Let w(j) = 23*j**3 - 2*j**2 + 20*j - 29. Let b be w(2). Solve 10 = b*q - 189*q for q.
-5
Let a = 354 + -350. Solve -a*d + 0*d = -8 for d.
2
Let c = -34 + 39. Suppose c*s - 5 = z, -5*s = -s - 12. Solve z = -t - t for t.
