
Let z be (1*2)/(12/(-78)). Let d = -9 - z. Suppose -5*f + 0*f + 25 = 0, -2*f = -d*a + 22. Solve j + a = -j for j.
-4
Let c(d) = -2*d - 5. Let i be c(-4). Let g = -17 + 19. Solve -i*y - g*y = -10 for y.
2
Let j = 0 - 3. Let d = j - -5. Let x be (-1)/((-2)/(-16)*-2). Solve -4 = -d*s + x for s.
4
Suppose 4*j - 5 = 11. Suppose 6 = -2*v + 5*m, -5*v - j*m + 20 = m. Solve 0 = f - 2 - v for f.
4
Let q = 3 - -2. Let h(v) = -2*v - 4. Let g(o) = o + 1. Let y(z) = -3*g(z) - h(z). Let k be y(1). Solve q*d + 0 + 10 = k for d.
-2
Let m be ((-18)/(-15))/((-9)/(-30)). Suppose 0 = 3*r + v - 6, r = 2*r - m*v - 2. Suppose -4 = -r*o - 0*o. Solve d + 4 = o*d for d.
4
Let t(c) = c**2 + 8*c + 10. Let p be t(-7). Solve -2 = p*u + 4 for u.
-2
Let q be 2*(1 + (1 - -6)). Let c = -8 + 10. Solve c*x - q = -2*x for x.
4
Let q(n) = -22*n - 182. Let i be q(-9). Let b(u) = -2*u - 2. Let a be b(-4). Solve -2*g = -a*g + i for g.
4
Let m(w) = -6 - 2*w**3 - 9*w**2 + 15 + w + w**3. Let i be m(-9). Suppose y - 8 + 3 = i. Solve 0 = y*p - 17 + 42 for p.
-5
Suppose 2*y + o - 6 = y, -3*y + 21 = 4*o. Solve y*a - 1 = 2*a for a.
1
Suppose -16 = 5*h + 4. Let q = h - -7. Solve k = q*k for k.
0
Let p be (-3)/((-12)/8) - -2. Let x = p - -6. Solve 0 = 3*f + 2*f + x for f.
-2
Suppose -6*b + 19 + 5 = 0. Solve 5 + b = 3*h for h.
3
Let y = 31 + -1. Let o be (-18)/y - (-46)/10. Let r = 7 + -5. Solve r + o = 3*j for j.
2
Suppose -g - 4 = -9. Solve -3*b + 10 = -g for b.
5
Let z = 46 - 44. Solve -n + 1 = -z*n for n.
-1
Let x(y) = -y + 0*y + 0*y - 5. Let k be x(-7). Suppose -k*t = 1 - 3. Solve 0 + t = j for j.
1
Let d = -21 + 21. Solve -3*v + v - 2 = d for v.
-1
Let l be 2/8 - (-5)/(-4). Let u(d) = 6*d**2 - 1. Let k be u(l). Suppose 7 - 15 = -2*f. Solve -3*s = -f*s + k for s.
5
Suppose 5*a = -7 + 27. Let p(d) = 4*d**2 - 3*d + 1. Let c be p(1). Solve -2*b - a = c*b for b.
-1
Let s(l) = l**3 - 8*l**2 - 8*l - 5. Let c be s(9). Suppose c*x + 8 = 36. Suppose -40 = 3*q - x*q. Solve -4*g + 2*g = -q for g.
5
Suppose -3*d = 2*w + d + 4, -4*w + 4 = 2*d. Let i be (-2)/5 - 27/(-5). Solve -i*h = 7 - w for h.
-1
Suppose -s + 4*n = -5*s + 36, 2*n = 4*s - 30. Let a = s + -8. Let z = 1 - a. Solve -i + 2 = z for i.
1
Let s = -3 + 13. Suppose 0 = -x + 4*i - 9, s = -4*x + 4*i - i. Let h be 0*x/(-2) - -2. Solve 3*p = p - h for p.
-1
Let z = -47 - -49. Solve -z*n - 8 = 2*n for n.
-2
Let n(z) = -2 + 0 - 6*z + 6*z**2 - 5*z**2. Let l be n(7). Solve -3*v = -l*v + 8 for v.
4
Suppose 25 = -x - 5*g, -5 = -5*x + 2*x + g. Solve -6*j + j + 20 = x for j.
4
Suppose 4*b - 4*w = 4, 3*w = -2*w - 10. Let y be (7/(-14))/(b/6). Solve 10 - 22 = y*z for z.
-4
Let t = 64 + -64. Solve 2*o + o = t for o.
0
Let j = -10 + 12. Suppose 0 = q - j*q + 3. Solve q*u = u for u.
0
Let i(g) = g + 3. Let a be i(4). Solve 3 = 2*t - a for t.
5
Let z = 10 + -3. Let r = 5 - 3. Suppose b + 0 = r. Solve -z = a - b for a.
-5
Suppose -4*d + 29 = -31. Let u = d - 7. Suppose 5*a + 41 = 4*w, -3*w + 4*a + u = -24. Solve o + w*o = 0 for o.
0
Let t = -12 + 15. Solve 2*h = h + t for h.
3
Suppose t = 2*t - 5*w - 14, 4*w + 7 = 5*t. Let b = 1 + t. Let u be 1 + -1 + (b - -2). Solve -u*r - 1 = -3 for r.
1
Suppose 0*y = -5*y. Solve w + y*w - 3 = 0 for w.
3
Let v = -30 - -39. Solve -v = 4*d + 7 for d.
-4
Suppose -2*u - 2*u + 8 = 0. Let d = -8 + 24. Solve u*g = -2*g + d for g.
4
Let n(k) = k**2 + 3*k - 7. Let o be n(-5). Suppose w = -o*w. Solve w = 2*r - 3 + 5 for r.
-1
Let c = 33 - 19. Suppose i = -2*v - 2*v - c, 3*i = -4*v - 10. Solve -i*q = -q for q.
0
Suppose -15 = -3*d + 2*l, 0 = -7*d + 9*d - 2*l - 10. Solve -5 - 5 = d*i for i.
-2
Suppose 0 = d - 3, 3*d + 2*d = -4*a + 3. Let z be ((-2)/a)/(8/12). Solve -3*b - z - 14 = 0 for b.
-5
Suppose k = -1 + 5. Suppose 0 = -k*u + 2 - 6. Let j be (-5)/10 + u/(-2). Solve j*l + l = 5 for l.
5
Suppose 13*s - 9*s - 20 = 0. Solve 2*u = s*u - 3 for u.
1
Suppose -6 = 2*t + 2*b, 4*b - 5*b - 3 = -5*t. Solve 4*m + m - 25 = t for m.
5
Let s(h) = h**2 + 3*h + 4. Let w be s(-4). Solve -3*u + w = -u for u.
4
Let u(r) = r**2 + r + 1. Let k be u(0). Suppose -2*i = -k - 3. Solve t - 3 = -i for t.
1
Suppose -3*t - w + 12 = 0, 0 = -w + 4*w - 9. Let x be 4*(30/8)/1. Solve -2*c + x = t*c for c.
3
Let p = -111 + 120. Solve -2*u = 15 - p for u.
-3
Let t(i) = -5*i + 5. Let q(w) = -15*w + 14. Let r(j) = 6*q(j) - 17*t(j). Let h(k) = -k**2 + 8. Let c be h(-3). Let x be r(c). Solve -x*v - v = 25 for v.
-5
Let d = -25 + 40. Solve 7*z - 2*z = -d for z.
-3
Let w be -1 + (11 - (0 + 0)). Solve -d = -3*d - w for d.
-5
Let n be (-3 - -1)*(-7 - -5). Solve 15 = n*d + 3 for d.
3
Let m = -25 + 15. Let g be (-1)/(1 - (-12)/m). Suppose 4*s - 16 = g*q, 5*q = q + 5*s - 20. Solve q = -6*n + n for n.
0
Suppose 5*z - 4*u = 60, 2*z + u - 30 = 7. Suppose -2*y + 4*s - 20 = 0, 6 = 5*s - 19. Solve y = -t - 3*t - z for t.
-4
Let u be (-13)/(-4) + 1/(-4). Suppose u*r = 8*r - 50. Solve 0 = -5*v + 3*v - r for v.
-5
Suppose 5*d - 62 = 13. Let m be -1 + 1/(-1)*(5 - 8). Solve 0 = m*g + g - d for g.
5
Let t be (-12)/3 + (3 - -1). Solve t = 2*w + 3*w - 20 for w.
4
Suppose l = -4*f + 5, -3*l = -2*f - 0*l - 1. Suppose -2*j - f = -9. Let t = 9 - 1. Solve 4*d = t*d + j for d.
-1
Suppose b - 20 = -3*b. Let d(o) = o**2 + o + 4. Let p be d(-3). Solve -b*t + 5 = -p for t.
3
Suppose 1 = 3*y - 2. Suppose -5*n = -3*n - 18. Let i = n - 4. Solve 0 = 2*w - i - y for w.
3
Let c(k) be the second derivative of -k**3/6 + k**2 - 2*k. Let f be c(-1). Solve 4*b + f = 5*b for b.
3
Suppose 20 = 5*y - 5*h, 4*y = -0*y + 2*h + 16. Solve q - 2 + y = 0 for q.
-2
Suppose -6*w + 2*w = -72. Suppose -4*b - 2*q - 4 + w = 0, -3*b + 2*q = -14. Solve 2*l = b - 14 for l.
-5
Let t(s) = -s - 13. Let r be t(0). Let n = -7 - r. Suppose 0 = -k - w - 5, n*w - 2*w = -20. Solve k = 4*b - 0*b - 12 for b.
3
Suppose -4*c = 5*g - g - 20, 0 = g. Let h(w) be the third derivative of w**4/24 + w**3/6 + 2*w**2. Let o be h(7). Solve -c*t = o - 33 for t.
5
Let l = 1 + 5. Solve 0 = l*n - 5*n + 3 for n.
-3
Suppose g = 0, 2*g - 5*g + 3 = 3*x. Let s = 4 - x. Solve s = 3*j - 2*j for j.
3
Let f be (-4 - -5) + 2 + -1. Let h be 0 + (10 - (f - -1)). Solve -h = -5*s - 2 for s.
1
Suppose -5*u + 71 = -4*y, 3*y - 28 = -2*u + 5. Let c(n) = -n**3 + 7*n**2 - n + 9. Let i be c(7). Solve x + u = -i*x for x.
-5
Let p(j) = j + 4. Let n be p(4). Let g be (-2 + 1)*0 - 1. Let f be -2 - (-1 + (g - 0)). Solve 4*z = -f*z - n for z.
-2
Let f = 1 + 1. Let m(y) = y**2 - 7*y - 5. Let w be m(8). Suppose o = 5*h - 10, 0 = 2*h + w*o - 4*o - 7. Solve -h - 9 = f*p for p.
-5
Let t(j) = -j + 3. Let l be t(8). Let g = -2 - l. Solve 5*s = 2*s - g for s.
-1
Let s be (-9)/(-2) + (-90)/12 + 7. Suppose -3*q + 4*x = -8 - 13, 4*q - x = 15. Solve s = q*k - 2*k for k.
4
Suppose -7 = -4*w + o, 2*w + 0*o = o + 1. Solve -6 + w = x for x.
-3
Suppose -2 = -2*f + 2. Suppose f*d + 10 - 14 = 0. Solve -3 - 1 = -d*h for h.
2
Let a = 14 - 14. Solve a = t + 4 - 5 for t.
1
Suppose 5*c - 29 = -3*i, 5*i - 2*c = -19 + 57. Suppose v - i = -3*v. Suppose -x = -2*x - 5, 30 = 5*y + v*x. Solve -5 = -3*j + y*j for j.
-1
Let o(h) = -5 + 0 - 2 + h. Suppose 0 = -2*w - n + 9, 2 - 12 = 2*n. Let u be o(w). Solve -5*l = -u*l + 15 for l.
-3
Let q = -9 - -3. Let u = q + 10. Solve -y - u*y = -25 for y.
5
Suppose 8 = -4*q, 20 = 4*z - 6*q + 2*q. Solve z*i - 4*i - 3 = 0 for i.
-3
Let t(y) = y. Let h be t(3). Solve -8*k + h*k - 25 = 0 for k.
-5
Let u be (24/15)/(4/10). Suppose -3*n + 4*r + 23 = 0, 0 = -3*n - 4*r + u + 3. Let h be (-86)/(-4) + 3/(-2). Solve 0 + h = -n*g for g.
-4
Let h(b) = b + 1. Let k be h(2). Let o = 1 + -12. Let a = -10 - o. Solve -a + k = t for t.
2
Let g be (90/(-24))/(6*3/(-120)). Solve 3*o + 2*o = g for o.
5
Let z(n) = -n**3 + 4*n**2 - 3*n + 1. Let d be z(2). Solve 0*i = i - d for i.
3
Let r = 65 + -62. Solve -r = -0*x - x for x.
3
Let t(x) = x - 2. Let z be t(5). Suppose -5*b = z*l - 13, 2*b + l - 4*l = 22. Solve p + b = 2 for p.
-3
Let m(t) = -3*t - 4. Let f be m(-4). Suppose 2*n - 7*n = -15. Solve y - n*y = -f for y.
4
Let h(q) = -3*q**2 - 1. Let j be h(-1). Let y = j + 8. Solve y*d = 5 - 21 for d.
-4
Let k(m) = m**2 - 6*m + 2. Let t be k(6). Let b(a) = -a + 3 - 9*a**2 + 9*a - t + a**3. Let n be b(8). Solve 0 = -2*f - 1 - n for f.
-1
Let d(a) = -a**2 - 8*a - 5. Let f be (-1 + 2)/(2/(-14)). Let v be d(f)