
Let k(m) = 51*m**2 - 2*m + 2. Let a be k(1). Solve -18*x + a = -x for x.
3
Suppose 5*k = -3*b - 7, 0 = -4*k - 20 - 0. Suppose 21*j = 18*j + 66. Suppose -t - g = -j, 0*t + 78 = 3*t - g. Solve b*v + t = v for v.
-5
Let l(a) = a**2 + 8*a + 13. Let x be l(-7). Let z(h) = -h**3 + 7*h**2 - 4*h - 4. Let w be z(x). Suppose -4*d - 8 = -w*d. Solve -5*r + d*r = 15 for r.
-5
Let m be 5 - (5 + -5) - 0/(-2). Let a be 2/(2 + (-8)/m). Solve a*c + 6 = 3*c for c.
-3
Let t = -48 - -48. Suppose 5*m - 18 = 5*h - h, 5*h - 21 = -m. Let g be m*1/3 - t. Solve -g*c - 3 = -1 for c.
-1
Let m = -20 + 20. Solve m = 4*v - 8 for v.
2
Suppose -3*q + 8*q = 25, h - 5*q + 17 = 0. Let y = h + -2. Solve 2 - y = -2*o for o.
2
Let c(k) = k**2 + 6*k - 2. Let o(y) = -y**2 - 7*y + 3. Let u(h) = -3*c(h) - 2*o(h). Suppose -9 = 4*j + 3. Let r be u(j). Solve -18 + 3 = r*i for i.
-5
Let l(o) = o + 3. Let i be l(-2). Let u = 1 - i. Solve u = 3*f + 3 - 0 for f.
-1
Let k(u) = 7*u**3 + u**2 - 2*u + 1. Let w be k(1). Solve 2 = -n + w for n.
5
Let f be -57*(-5)/(-30)*-2. Suppose -3*x - f = -106. Let u = -25 + x. Solve -u*d - 5 = 11 for d.
-4
Let x be (-4 - 54/(-12))*34. Solve -6*v - 1 = x for v.
-3
Suppose -9*c - 47 + 65 = 0. Solve p = c*p for p.
0
Let a be 3*(-2)/(-3) + -2. Suppose -2*v + v + 5 = a. Solve 2*l - v*l + 6 = 0 for l.
2
Let s(c) = -5*c - 15. Let o be (5 - 10)*6/5. Let b be s(o). Let k be b/45 - (-16)/6. Solve -m - 2 = k for m.
-5
Let n = 17 + 3. Suppose 19*g = n*g - 4. Solve -g*a + 2*a = -8 for a.
4
Let k = 860 - 857. Solve -k - 13 = -4*s for s.
4
Let o(b) = -2*b**3 - 2*b**2 - b + 21. Let d be o(0). Solve -6*z - d = 3 for z.
-4
Suppose -2*w - 5*s + 11 = 0, s - 6 = -4*w + 7. Let m(x) = -x - 11. Let n be m(-11). Solve n = w*q + q + 16 for q.
-4
Let j(g) = g**2 + 3*g - 1. Let c be j(-5). Let u be 3 - 0/(c/3). Let a = -3 + 5. Solve a*p = -u*p - 15 for p.
-3
Let d be 1/(-4) + 1053/52. Let p be (16/d - -4)*5. Let c be (p/(-30))/((-2)/30). Solve -2*w = w - c for w.
4
Suppose 0 = -g + 2*y + 3, -4*g + 2*y = -12. Let a = -7 - -11. Solve g*u + a = -u for u.
-1
Suppose 2*x + 3*r - 67 = 0, -2*x + 7*r = 3*r - 46. Solve 8 = -x*v + 31*v for v.
4
Suppose -4*h - 4*p = h - 27, 2*p = 2*h. Let l(i) = 0*i**2 + h*i - 2*i - 2*i**2 + i**2 + 2. Let z be l(-1). Solve -n - 4 + z = 0 for n.
-4
Let q(l) = l**3 + 2*l**2 + l. Let p be q(-1). Suppose p = -g + x - 0 + 8, 5 = 5*g + 2*x. Let i = -139 - -144. Solve g*m + 8 = i*m for m.
4
Let m(y) = y**3 - 6*y**2 + 35*y - 87. Let u be m(4). Solve u*n = 14*n + 21 for n.
3
Suppose -13*k + 33 = -6. Solve -9 + 24 = k*y for y.
5
Let o = 1 + -1. Let v be ((-44)/(-12) - 3)/(-2)*-9. Suppose 27 = r + 24. Solve v*k + r = -o for k.
-1
Let q be -6 + (-1 + -3)*-12 + -4. Solve q = h + 40 for h.
-2
Let o(u) = -3*u**3 - 3*u**2 + 2. Let n be o(-2). Let h(d) = d - 9. Let l be h(n). Solve 0 = l*z + 14 + 11 for z.
-5
Let u be (36/2)/(4/((-32)/(-6))). Suppose a - u = -5*r, 4*a = -3*r + 4*r + 12. Solve 5*v - a = 6 for v.
2
Let r be 6 + -2 + (-96)/(-32). Solve r*a + 19 = 5 for a.
-2
Let r(o) = 13*o - 2. Let z be r(4). Let a = z + -50. Solve 0 = -3*l - a*l - 3 for l.
-1
Let d be (2 - (-105)/(-30))/(2/(-4)). Solve 0 = d*r + 4 - 13 for r.
3
Suppose -459 = -d - 453. Solve -d*i + 12 = -10*i for i.
-3
Let s(d) be the second derivative of d**4/12 - 3*d**3/2 + d**2 - 9*d. Let t be s(9). Suppose 2*a - 24 = -t*p, 5*p = -a - 9 + 33. Solve 4*o + 3 = -a for o.
-3
Suppose 71*c - 115 = 66*c. Solve 7*s + c = 9 for s.
-2
Let f(u) = u**2 - 3*u + 2. Let w be f(1). Let s = 84 + -82. Solve -s*b = -w + 6 for b.
-3
Let u(p) = p + 9. Let n be u(10). Let t = n - 15. Suppose -5*g - t*r + 41 = 0, 0*g - 4*g + 40 = 5*r. Solve 7 + 18 = -g*z for z.
-5
Suppose 0 = -y + 4*y. Let v(o) be the second derivative of -o**4/12 + 11*o**3/6 + 14*o**2 - 10*o. Let x be v(13). Solve y*a - x = -2*a for a.
1
Suppose -13*b - 62 = -387. Solve -11*x + b = -8 for x.
3
Let h = 42 + -42. Let k(d) = -d**3 + d. Let b be k(h). Solve -2*q + 3*q = b for q.
0
Let b(k) = k**2 - 24*k + 82. Let c be b(20). Solve 25*g + c = 23*g for g.
-1
Let q(p) be the third derivative of p**4/24 + 7*p**3/2 + 18*p**2. Let b be q(-17). Solve 5*n + b = 3*n for n.
-2
Let p = -619 + 622. Let x = -2 - -2. Solve -o + p*o + 10 = x for o.
-5
Let l(c) = -2*c + 22. Let v be l(10). Solve -v*t - 1 = 9 for t.
-5
Suppose 0 = 5*x + 490 - 520. Solve -x*w - w = 7 for w.
-1
Let j = 18 - 14. Suppose j*w = -2*i + 5*w + 25, -4*w = -4*i + 52. Solve 3 = -3*z + i for z.
3
Let t(q) = q**3 + 27*q**2 + 2*q + 58. Let o(a) = a**3 + 27*a**2 + 2*a + 57. Let n(i) = -4*o(i) + 3*t(i). Let g be n(-27). Solve 2*j + 8 - 10 = g for j.
1
Let n(u) = 0*u**2 - 34*u - u**2 - 4 + 43*u. Let b be n(8). Suppose -8 = 4*c, 1 + 3 = 3*z + b*c. Solve 28 = -z*y + 8 for y.
-5
Let z(u) = u**3 - 4*u**2 - 11. Let s be ((-20)/(-12))/((-1)/(-3)). Let h be z(s). Let m be (21/(-49))/((-2)/h). Solve 2 = -m*y + 2*y for y.
-2
Let b(g) = -g**3 + 3*g**2 - 2*g - 1. Let l be b(5). Let y = -31 - l. Let z = 38 - y. Solve -4*j + 0*j + z = 0 for j.
2
Suppose 49*w - 68 = 373. Solve q + 13 = w for q.
-4
Suppose 44*n - 72*n = -35*n. Solve n = 15*o - 5 + 5 for o.
0
Suppose 0 = -3*m - 4*f - 3, -2*f - 12 = 4*m - 6*m. Let h = m + 3. Solve -h*r + 3*r = -3 for r.
1
Suppose -14*o = -3*o - 66. Let k be o - (-2 - -3) - -3. Solve 0 = 4*w - k - 0 for w.
2
Let h be (248/(-93))/((-2)/48). Solve h*a - 28 = 57*a for a.
4
Let j(h) = -h**3 - 5*h**2 - 3*h - 7. Let o be j(-5). Suppose 9*x = o*x. Solve 4*k - 6 - 2 = x for k.
2
Suppose 0 = 2*x + 5*j - 3, 11*x - 4*j - 39 = 8*x. Solve 65*n - 62*n = -x for n.
-3
Let u = 66 + -66. Solve z + 3*z = u for z.
0
Suppose -5*y - 7 + 12 = 3*p, 5*y = -p - 15. Solve -5*r - 10 - p = 0 for r.
-4
Suppose -13 = 5*y - 33. Solve y*q + 9 = 13 for q.
1
Let a = -251 + 252. Solve 5 - a = -b for b.
-4
Let x be (-50)/(-6) - (-4)/6. Let t(u) = -u**3 - 6*u**2 - 4*u + 5. Let g = -8 + 3. Let r be t(g). Solve r = -v + 4*v + x for v.
-3
Let s(a) = 2*a**2 - 2*a + 3. Let k be s(2). Let r = -5 + k. Solve d = r*d for d.
0
Let j be (3/5)/(8/40). Suppose 0 = 3*a - 0*a - j*b - 3, -3*a - 2 = -4*b. Solve -3*g = -g - a for g.
3
Let z = 8 - 12. Let c(h) = h**3 + 6*h**2 + 7*h + 5. Let p be c(z). Suppose u + 12 = 2*m, -6*m = -m - u - 30. Solve 5*x + m = -p for x.
-3
Suppose -102*a + 180 = -72*a. Solve -4*w = -0*w - a*w for w.
0
Suppose 4*i - 11 - 15 = v, 0 = 2*i - 3*v - 8. Let n(c) = -2 + c - 4 + 1. Let r be n(i). Solve 0*y = r*y + 8 for y.
-4
Let g = -43 - -47. Let v be 0*g/(5 - 1). Solve v*f - 2*f - 2 = 0 for f.
-1
Let f = 70 - 49. Suppose f*m - 30 = 16*m. Solve 2*q - 2 = -m for q.
-2
Suppose 5*q = 2*q - 12. Let f(n) = n**2 + 4*n + 5. Let v be f(q). Let z(p) = p**3 + 5*p**2 + 4*p + 1. Let x be z(-3). Solve -x = -v*c + 8 for c.
3
Let h(i) = -i**3 + 7*i**2 + 6. Let y be h(7). Solve y*l = l for l.
0
Let n(t) = t + 2. Let w be n(0). Let q(b) = -b**3 + b**2 - 34*b + 6. Let g be q(0). Solve w*v + g = 2 for v.
-2
Suppose 5*x + g + 12 = 2*g, 4*x = 5*g + 3. Let w be 14/21 - 32/(-6). Let o = w + x. Solve -o*s + 1 = -2*s for s.
1
Let w(k) = -k**2 + 12*k + 1. Let n be w(12). Let s = -5 - -8. Suppose -4*z = s*b + n, -5*b - 7 = 5*z - 2. Solve j + z = -1 for j.
-3
Suppose s - 3*s + 4 = -4*m, -2*m = 4*s - 8. Let g = s + 1. Suppose -5*u + 14 = n + 4, -n - 20 = -5*u. Solve 12 = -g*b + u for b.
-3
Let t = 159 + -148. Let y be 20 - t - 1/(1/(-3)). Solve 4*s - y = -4 for s.
2
Suppose -3*j - 3 = -2*f + 1, 0 = 4*f - 2*j - 16. Suppose 6 = 5*h - 2*h. Let s = 82 - 74. Solve s = f*c - h for c.
2
Let s = -58 + -90. Let c = s + 149. Solve -g + 0*g = c for g.
-1
Let d(j) = 3*j - 11. Let g(c) = -2*c + 6. Let n(x) = -2*d(x) - 5*g(x). Let r be n(3). Solve r*p - 7 = -3 for p.
1
Suppose 15 = 3*f - 0*i - 3*i, 9 = 2*f - i. Let z = -3 + 7. Suppose 2*h = -f*u, u = -z*h - h + 18. Solve -h = n - 5*n for n.
1
Let j be (-8)/10*5/(-2). Suppose 16 = 2*u - 0*y - 4*y, y - 1 = -j*u. Solve x + x = -u for x.
-1
Suppose -4*x + 3*d = -6*x + 81, 3*x = 3*d + 129. Solve -6*m = -20*m - x for m.
-3
Let h be ((-9)/6)/((-210)/6860). Solve h*v = 54*v + 10 for v.
-2
Let k be (-3)/(-3 + 108/32). Let q = k - -10. Let c = -20 + 28. Solve -q*h + c = -0*h for h.
4
Let r = -437 + 482. Solve r*p = 40*p + 10 for p.
2
Let p(n) = n**3 + 8*n**2 + 7*n + 8. Let w be p(-6). Let q = 23 - w. Let d = -10 - q. Solve -d*s = 9 + 