 + 15 = 0 for l.
5
Let d = 178 - 166. Solve -d = 16*x - 13*x for x.
-4
Let m(o) = -o**2 + 5*o + 4. Let y be m(7). Let z = -7 - y. Suppose 4*f - z*q - 33 = 0, -5*q + 2*q + 3 = 0. Solve -f = -s - 2*s for s.
3
Let p(l) = -l**2 - l + 3. Let t be p(4). Let k = 20 + t. Suppose -3*c + 10 = 4*f - 2*f, k*f = -3*c + 12. Solve 3*u - f*u - 1 = 0 for u.
1
Let t be -4 - (-1)/2*16. Solve t = -12*o + 4 for o.
0
Let z(x) = -x**3 - 2*x**2 + 12*x - 5. Let i be z(2). Solve a + i = -1 for a.
-4
Let a(b) = 2*b**2 - 12*b + 20. Let z be a(7). Solve 0 = 3*g + 31 - z for g.
1
Let u(y) = -y**2 + 3*y + 2. Let v be u(-6). Let d = 25 + v. Let c = d - -43. Solve -t = 3*t + c for t.
-4
Let z(k) = 2 - 7*k + 3*k - 3. Let o be z(-4). Suppose -3*s = -7*s + 3*f + 5, 5*f = -s + 7. Solve o = -s*v - 3*v for v.
-3
Let h be -5 - 7/(-1) - 3/(-3). Let f be (-6)/24 + (-23)/4. Let u be 12/h + 3 + f. Solve u = -s - 2 for s.
-3
Let n(h) = -3 - 2*h - 4*h - 8 - h. Let l(k) = 6*k + 12. Let t(i) = 5*l(i) + 4*n(i). Let w be t(-7). Solve 5 = 3*r + w*r for r.
1
Let y = -38 - -31. Let v be 28/98 - 19/y. Suppose 0 = u + 4*n - 12, -2*n - v*n + 15 = 0. Solve -q = -u*q - 4 for q.
4
Let v be 231/15 - (-10)/225*-9. Solve v = 8*q - 13*q for q.
-3
Suppose 4*o = 5*k - 46, k - 6*k + 22 = 2*o. Suppose k*s = -s. Suppose -9*r + 7*r = s. Solve r = -3*i + 7 - 1 for i.
2
Suppose -3*r - 6 = 6, 4*r = -2*w - 6. Suppose 2*k - 16 = -w*h + 13, h - 9 = -2*k. Suppose 0 = -15*p + 49*p. Solve -k*a - 4 + 6 = p for a.
1
Let h = -33 - -49. Let y be (h/(-48))/(1/(-12)). Solve -r = y*r for r.
0
Suppose -2*i + 8 + 20 = 0. Suppose 4*q + 12 = -3*k + 1, -3*k = q + i. Suppose 0 = -4*j - g + 1, -5*g + 3 = -3*j - 2. Solve j = -n + q - 5 for n.
-4
Let y = 11 - 6. Let l be (-1272)/(-96)*3/(3/4). Let g = -45 + l. Solve -g - 7 = -y*b for b.
3
Suppose 0 = 4*u - 34 + 14. Suppose 0*b + b + 1 = -k, 0 = u*k - 4*b - 22. Solve 3*v - 25 = -k*v for v.
5
Let z = 521 + -521. Solve y - 5 + z = 0 for y.
5
Suppose 7*o - 3*o - 4 = 0. Suppose -a = -0*r + 2*r - o, 4*a + r - 4 = 0. Let m = 15 + -12. Solve -5 = m*p + a for p.
-2
Let l be 2 + (3 - 1) + 2. Let v be (-3 - l)*(-4)/(-6). Let b = 7 + v. Solve -3 = -2*s + b for s.
2
Let r(f) = -f**3 - 7*f**2 + 16*f - 12. Let t(z) = -z**2 + z - 3. Let j be t(3). Let l be r(j). Solve i + l = -2*i for i.
-2
Let h(d) = -d**2 + 2*d. Let n be h(2). Let z = -18 + 21. Suppose z*i = -3*f + 21, -4*i - 6 = -4*f - 2. Solve n*r = -f*r for r.
0
Let l = -26 - -27. Suppose -5*x = 4*m - 5*m + l, -4*m - 5*x = -29. Solve m*a = 2*a for a.
0
Let t(w) = 5*w**2 + 5*w - 9. Let v(d) = -d**2 - d + 2. Let k(g) = -2*t(g) - 11*v(g). Let z = -168 - -165. Let c be k(z). Solve -c*f - 2*f = -16 for f.
4
Let j(s) = s + 6. Let p be j(-6). Suppose -c + 3*c = p. Let n = 81 + -78. Solve c = -n*x + 3 for x.
1
Suppose -16*m + 36 = -76. Solve 0 = -4*r + m + 13 for r.
5
Suppose -3*h - 5*c + 37 = 0, -4*c + 18 = -2. Suppose -5*i + h*l + 13 = 0, -i - 10 + 0 = -5*l. Solve 20 = -3*k + i for k.
-5
Let j = 1465 + -1464. Let q = 15 - 10. Solve -q = -2*h - j for h.
2
Let r(f) = f**3 + 6*f**2 - 2*f - 8. Let q be r(-6). Suppose -4*x + 3*x + 25 = 4*j, 2 = 2*x. Let l be 1 + 16 + j/(-2). Solve q = 5*k + l for k.
-2
Let d = -8144 - -8149. Let t = -8 - -11. Let x(b) = b + 1. Let r be x(t). Solve s = d*s + r for s.
-1
Let f = -735 + 847. Solve u + 113 = f for u.
-1
Suppose 29*t = 34*t - 5. Solve y - t = -3 for y.
-2
Suppose 0 = 4*z - 4*l, 2*l = 4*z - 2 - 2. Solve z = -3*u - 7 for u.
-3
Let u(a) be the second derivative of a**4/12 + a**2/2 + 29*a. Let d be u(-2). Solve -7*k + 2*k - d = 0 for k.
-1
Suppose 4*h + 0*z = 4*z + 20, 3*h + 3*z = 9. Suppose 5*d - 7 = 2*d + i, -2*i - 10 = -2*d. Let q = d + 1. Solve 0 = -q*j - h for j.
-2
Suppose 0 = 3*x - 6, 3*x = -6*f + 2*f + 38. Solve -26*j + f*j = 90 for j.
-5
Let b = 679 + -659. Solve -2*j = 3*j + b for j.
-4
Suppose 0 = 109*x - 123*x + 294. Solve 8*b - 45 = -x for b.
3
Let i(p) = p**2 + 6*p - 7. Let u(h) = -7*h**2 + h - 1. Let c be u(1). Let y be i(c). Suppose -w + 4 = 0, y = v + 4*v - 2*w - 2. Solve -v*a + 5 = -a for a.
5
Suppose -4*m = -m - 9. Suppose -11 = -m*z + x, -4*x = x + 25. Solve -1 = z*c - 11 for c.
5
Let t be 4/(-22) + 204/33. Solve 8 = t*o - 22 for o.
5
Let v = -6 + 10. Suppose -4*c = v*t - 28, -2*t = 2*t + c - 43. Solve -5*p - t - 8 = 0 for p.
-4
Let c = -2262 + 2262. Solve -3*r - 12 + 9 = c for r.
-1
Let c(x) = 5*x + 79. Let q be c(-14). Let b(d) = 2*d**2 - 19*d - 8. Let m be b(10). Solve -k = m*k - q for k.
3
Suppose -4 = -y - 2. Let h be 8/2 + (-6 - -2). Solve h = y*w - 5 - 5 for w.
5
Let l = -171 + 259. Let s = 103 - l. Solve -4*u + s = -u for u.
5
Let o be 3/6 - (-4)/(-8). Suppose o*g - g = g. Solve 4*u + g*u = 16 for u.
4
Let z be 8/36 - 86/(-18). Suppose w + j - 10 = 0, 8*w + 4*j = 7*w + 19. Solve y - z = -w for y.
-2
Let c be (13 + -17)/(-1 + 0). Suppose 0 = t - 5*u, -c*u = -2*t - 9*u. Let a(h) = h + 6. Let w be a(-5). Solve 2*v + w + 1 = t for v.
-1
Let b = -13 + 18. Let v(y) = 6*y**2 - 20*y - 15. Let m be v(4). Solve 0 = b*c + m - 11 for c.
2
Let z be -2*(-4 - (-39)/6). Let n(g) = -g + 1. Let m(a) = -4*a + 12. Let x(i) = z*n(i) + m(i). Let c be x(-5). Solve -c*s - 6 = s for s.
-2
Let b be (4 - 36/8)/(2/(-20)). Suppose 3*r = -5*c - 46, 3*c = 4*r - r - 18. Let y = c + 12. Solve q + y*q = -b for q.
-1
Let x = -591 - -594. Solve -7 = -x*y + 5 for y.
4
Let w be 328/18 + (-8)/36. Let k = w + -28. Let d be (k + 12)/((-1)/(-2)). Solve -d*m + 6 = -m for m.
2
Let z = -1 - -1. Let r = 4 + 5. Let h = 16 - r. Solve z = 2*s + 1 + h for s.
-4
Let h(n) = 7*n - 140. Let x be h(20). Solve -c + 4*c + 9 = x for c.
-3
Suppose -5*k + 95 = 10. Suppose -k = -4*m + 11. Suppose -2 - m = -y. Solve 4*r - 3 - y = 0 for r.
3
Suppose 2*g + 12 = -5*t + 7, 4 = -2*g - 4*t. Let x(b) = 2*b**2 + b - 1. Let z be x(1). Solve 2*l - z - 4 = g for l.
3
Suppose -4*i + 5*f + 17 = 0, 3*i = -2*f + 1 + 6. Solve 27 = 6*p + i for p.
4
Let g(b) = -b**3 - 42*b**2 + 5. Let i be g(-42). Solve -1 - i = 2*u for u.
-3
Let l(g) = -3*g + 8. Suppose 0 = 2*i + 5*b + 14, 2*b - 22 = 3*i - 1. Let c be l(i). Solve 0 = 4*t + 9 - c for t.
5
Suppose -2*y - 26 = 5*k - 5*y, 4*k + 22 = 3*y. Let z = 4 - k. Solve -4*h + z + 4 = 0 for h.
3
Let k(w) = -4*w - 3. Let f be k(-2). Let q be 3 + (-5)/(f/(-3)). Suppose -b + 9 = -q. Solve -2*g - b = 3*g for g.
-3
Suppose 4*l + 18 = z, -4*l = -3*z + 6*z + 10. Let w = 6629 - 6626. Suppose 5*d + 5*y = 5, 0*d - 5*d + 9 = 4*y. Solve 0 = -z*j + w*j - d for j.
5
Let f be (19 - 3)/8 + 1. Let b = 6 - 4. Solve f*m = 13 + b for m.
5
Suppose 4 = -2*y + 3*y. Suppose -y*m = -0*m. Let s = -28264 + 28264. Solve m = -s*t + 2*t + 8 for t.
-4
Suppose -3*y + 17 = -13. Let b be (-18)/12*(-16)/6. Suppose -l - b*l = -y. Solve 0 - l = k for k.
-2
Let z(r) = -6*r**2 - 111*r - 54. Let k be z(-18). Solve k = -10*u - 16 - 4 for u.
-2
Suppose 2*d + 19 = b - 4*b, b + 13 = -2*d. Let z(o) = -5*o - 10. Let t be z(b). Let s(n) = n**2 + n - 3. Let y be s(-3). Solve -10 = t*x - y*x for x.
-5
Suppose -3*n + 13 = z, 4*n - 6*z - 19 = -9*z. Solve 0 = -n*f + 13*f + 9 for f.
-1
Let u be 5/(-15) + 109/3. Suppose -u = -5*c + 4. Solve -c = 2*r - 0 for r.
-4
Suppose -52 = -4*x + 4*t + 32, 72 = 4*x + 2*t. Solve -5*a + 6 = -x for a.
5
Let a(d) = -d**2 + 8*d + 9. Let q be a(9). Suppose 4*c + 3*o - 21 = q, o - 5*o + 15 = c. Let y be 7/((-105)/6)*-50. Solve 2*k + y = -c*k for k.
-4
Let m(s) = s - 5. Let z be m(7). Let w(b) = -b**3 + 10*b**2 - 10*b + 5. Let l be w(9). Let r be -2 + 1/(-2)*l. Solve -z*p = -r*p for p.
0
Suppose -4*w = 16, -18*s - 2*w = -22*s + 84. Solve 0 = 9*i + s - 1 for i.
-2
Let k be 21 + (-49)/(-21)*-3. Solve 8*b + k + 26 = 0 for b.
-5
Let n(m) be the second derivative of m**4/12 - 5*m**3/3 + 9*m**2/2 - 2*m. Suppose 9*p - 62 = 19. Let q be n(p). Solve q = 2*y + y for y.
0
Let l be (-54)/126 + (17/(-7))/(-1). Solve 57*z - 59*z - l = 0 for z.
-1
Let q(j) = -5*j + 362. Let s be q(71). Solve s*r - 1 = 6 for r.
1
Let a = -445 - -458. Solve -3*s - 16 + a = 0 for s.
-1
Suppose 368 - 356 = 3*r. Solve 15 = r*j - 7*j for j.
-5
Suppose 0 = -0*x + 6*x. Suppose x*a = 2*a. Let z(j) = j**3 - j**2 - j + 20. Let u be z(0). Solve -4*n + 0 - u = a for n.
-5
Let z be 1092/104 + (1 - (-6)/(-4)). Solve z*n + 28 = 3*n for n.
-4
Let u be 10/(-135) - (-2 - 336/162). Solve -u = -44*r + 