
Let p = 45 - 25. Let q = 12 - 16. Let m be (-2)/(q - 6/(-2)). Solve m*d - d = 4*v - p, 4*d + 2*v = -8 for d.
-4
Let m = -79 - -81. Solve -5*n - 13 = -p, m*p + 9 = -n - p for n.
-3
Suppose 3*p - 12 = -0. Suppose 28 = 2*o + 2*o + 4*u, -12 = -p*u. Solve -4*k + 9*k = -f + 20, -4*f = o*k - 32 for f.
5
Let q(x) = -x + 3. Let v be q(6). Let b = v - -5. Let m = 33 + -22. Solve 6*r + 2*g + m = r, 2*g - 10 = b*r for r.
-3
Suppose 3*q = -q + 16. Let v(h) = 2*h**2 - 6*h. Let u be v(q). Solve 0 = 4*n + 5*r - u, 4*r - 2*r = -2*n + 2 for n.
-3
Let u(p) = p**2 + 8*p + 13. Let q be u(-9). Let b = q - 19. Solve 7 = -b*i + c - 0*c, -5*c = -2*i - 22 for i.
-1
Let w(d) = -6*d - 4*d**2 + 4*d**2 - d**2. Let b be w(-5). Solve -2*r - 3*z = 11, -b*r + 3*z + 22 + 3 = 0 for r.
2
Suppose 0 = n - 3*n - 5*y + 47, n = -4*y + 31. Solve b = -a - 3*a - n, -5*b - 3*a = 4 for b.
1
Let a(c) = -18*c**3 - 1. Let z be a(-1). Let s = -9 + z. Suppose 7 = 2*k - o - 12, -4*o = 4*k - s. Solve 3*m + 2 + 1 = -2*f, m - k = 2*f for m.
1
Suppose 4*a - 2*a = -2*u + 22, 5*u + 4*a = 51. Solve 12 + u = 4*k + o, -31 = -4*k - 5*o for k.
4
Let r = 28 + -25. Solve r*z = 5*g + 23, 4*g - 5 = -5*z - 16 for g.
-4
Let b be 2 + -2 + 12 + 1. Let j be (-30)/9 - (-4)/(-6). Let g(a) = 2*a**2 + 2*a - 5. Let m be g(j). Solve 5*d + b = -f, -f - 2*f - m = 5*d for f.
-3
Let f = 74 - 113. Let h be (-238)/(-26) + 6/f. Solve 2*u + h = z, -2*u - 16 = -2*z + u for z.
5
Let p be (-4)/10 - (-17)/5. Let i be (-1)/(-4 + (-44)/(-12)). Solve -3*x = -p*r + i, -r + 0*r - 3*x + 5 = 0 for r.
2
Let n be (-3 - -2)*(4 - 4). Suppose -x = -4*d, -4*x + n*d = -d - 15. Solve -2*h - y = 0, 2*h - x*h = 3*y for h.
0
Suppose 3*f + 22 = 14*f. Solve 4*q - 10 = -0*k + f*k, 3*k + 3*q = -15 for k.
-5
Let r(q) be the second derivative of -q**3/3 + q**2 - 3*q. Let u be r(4). Let l = -3 - u. Solve 2*v - l*v = o - 6, 4*o = -3*v + 23 for o.
5
Suppose 3*v + 24 = 5*w, -3*v = -7*v - 4*w. Let z be (-2 + 2)/(v/(-1)). Solve -5*m = -z*q + 4*q - 32, 0 = -2*m - 3*q + 17 for m.
4
Let v(t) = 3*t. Let u(p) = -2*p. Let l(d) = 4*u(d) + 3*v(d). Let r be l(3). Solve 1 = r*x - 2, 5*k + 2*x = -3 for k.
-1
Let t(b) be the first derivative of -b**4/4 + 4*b**3/3 - b**2 - b - 4. Let q be t(3). Suppose 5*j - 13 = 7. Solve -4*u - 3*v = 2*v + q, -2*v = j for u.
2
Let z = -7 + 7. Suppose z*g - 30 = -5*g. Let d be 46/g - (-12)/(-18). Solve -v = -5*n + 3*v - 7, -n - 2*v = d for n.
-3
Let k(g) be the first derivative of -g**3/3 + 5*g**2/2 - g + 1. Suppose 15*n - 8*n - 28 = 0. Let x be k(n). Solve s - 6 = -2*h + x*h, -2*s - h = 0 for s.
2
Let i be (-10)/(-6) - (-2)/6. Let m(f) = f**3 + 10*f**2 - 2*f - 15. Let l be m(-10). Let p = 7 - l. Solve -p*o - 5*h = 0, 0 = -i*o + 4*h + 3 - 21 for o.
-5
Let w(p) be the second derivative of -p**3/6 + 9*p**2/2 - 2*p. Let d be w(5). Solve 2*y - 1 = k, d*y - 5*k + k + 8 = 0 for y.
3
Let t(o) = o - 7. Let m be t(10). Suppose 2 = m*s - 5*i, 5*i + 2 = 12. Solve -5*d + 16 = y, 2*d - 2*y - 8 = -s*y for d.
3
Let x be -1*((-4)/(-1))/(-2). Let d = 5 - x. Let k be 2 + (5 - d)/2. Solve -3*j = -j + 5*s - 4, j + 3*s = k for j.
-3
Let o(l) = -l**3 - 2*l**2 + l - 1. Let r be o(-3). Solve 0 = -3*d + 2*w + 2*w - 19, 0 = 2*d + r*w - 18 for d.
-1
Let y(l) = -l**3 + 7*l**2 - 7*l + 9. Let g be y(6). Suppose a = -g + 7. Solve -2 = -2*r, -r = q + a*r - 7 for q.
2
Suppose 2*n - 6 = 2*x - 0, 0 = -5*x - 5. Let l be (21/3 - n)*1. Suppose -28 = -4*z - 3*c, 0*z = z - c - 7. Solve z + 4 = 3*h - v, -13 = -2*h - l*v for h.
4
Let i(s) = -2*s**2 - s**3 + 9*s + 2*s**3 - 5 - 7*s**2. Let p be i(8). Solve -5*j = -4*k - 20, -8*k = -p*k + 25 for j.
0
Let k be (2 - (-44)/(-16))*-8. Solve o + 5*u - k = -31, -3*u - 12 = 0 for o.
-5
Let t be 4*2*(6 - 5). Let b = -5 + t. Solve 0*h + 2*o = h + 10, -4*o = b*h for h.
-4
Suppose -4*i = 5*r - 89 + 9, 2*i = 10. Solve 2*j = 2*v + r, 2*j - 2 = 4 for v.
-3
Let b = -22 + 32. Let g(j) = 6*j - 1. Let k be g(1). Suppose 3*p = k*p. Solve 0*z + 4*z + b = -2*u, p = 5*z + 3*u + 13 for z.
-2
Let v = 22 + -10. Let x be (-2)/v + 25/6. Solve 3*j - 15 = -6*p + p, x*p - 2*j = -10 for p.
0
Let p = -5 + 9. Suppose p*v - 21 - 6 = -5*q, 4*v = q + 9. Solve v*c = -2*a + 2*c, -a + 3 = -c for a.
1
Let t be (28/(-35))/(4/(-10)). Suppose -m - 2 = -t*o + 2*m, o + m - 11 = 0. Solve -12 = 4*v, -2*c + o = -4*c + v for c.
-5
Let c(q) = 4 - 3 - q**3 + 3*q**3. Let r be c(1). Solve 5*x - i + 11 = r*i, 5*x - 5*i = -10 for x.
-3
Let q(j) = 3 + 3*j**2 - 1 - j + 0*j**2. Let u be q(2). Suppose -u = -5*r + 2*r. Solve -r*t - t + 31 = -2*h, 0 = 5*t + 3*h - 16 for t.
5
Suppose 2*d - 6*l = -4*l - 12, 2*d + 4*l = 0. Let m = 4 + d. Solve 4*s - 10 = 5*z, 2*z + 2*s + s + 4 = m for z.
-2
Suppose -2 = -2*c + 2. Let t be (-5 - c)*(-4)/14. Solve 4*g = 2*y + 1 + 5, 5*y + t*g - 9 = 0 for y.
1
Let w = -15 + 4. Let k = w - -13. Solve -6 = 4*j + 5*i, k*j + 3*i + 2 = -0*i for j.
-4
Let j(p) = p + 5. Let o be j(-3). Solve 5*s + 2*q - 11 = 0, o*q + q = 4*s - 18 for s.
3
Suppose -x = -2*x + 6. Suppose 0 = -4*s + x + 10. Solve 0 = -5*i + p - 28, -7 = s*i - 5*i - 4*p for i.
-5
Suppose 5 = r - 2. Solve 5*z + 15 = 5*j, -j - 3*z + r = -5*z for j.
-1
Let z be (15/(-3) - 2)/(-1). Let x = z - 7. Solve -2*d - 3*n = 3 - x, 0 = -2*d - 5*n - 9 for d.
3
Let z(k) = 2*k**2 + 4 + 1 + 0*k**2 - 2 - 4*k. Let q be z(2). Let x = q + 7. Solve h + 3*o = 6, -o - x = 2*h - 6*o for h.
0
Let d(j) = -j + 1. Let q be d(1). Suppose -n + 2 = q, p + 3*n = -n + 10. Solve x + f - 24 = -4*f, -3*x + p*f = -4 for x.
4
Let k(m) = -m**3 - 7*m**2 - 6*m. Let c = -2 + -4. Let a be k(c). Suppose a*z - 14 = -z. Solve 3*i = -4*u + i + 20, 3*u = -i + z for u.
4
Suppose 2*r = -1 + 9. Solve -r*p + i - 4 = 0, 2 + 1 = -3*p - i for p.
-1
Let w = 20 - 18. Solve 2*h - 1 + 3 = -w*i, -3*i + 22 = -2*h for i.
4
Let d(m) = 3*m - 5. Let p be d(3). Let c be 50/15 + p/6. Solve c*f - 24 = 5*v, 5*v - 2*f + 17 = -5 for v.
-4
Let r be 0/(21/14*4/6). Suppose 4 = -2*c + 10. Solve b = 3*k, 0 = c*b + 3*k - r*k - 12 for b.
3
Suppose -w - 4*t + 10 = 0, 2*t = 4*w - 2*t. Solve 3*p + 1 = 13, f = w*p - 5 for f.
3
Suppose 5*j + 2*o = 27, -4 = o - 0*o. Let b = -5 + j. Solve 0*v + g = b*v + 3, -v = 4*g + 6 for v.
-2
Let q = 0 + 2. Suppose q*a - 6*a = -24. Let t = a + -2. Solve -3*u = -k - 9 + 1, t = 2*k + 4*u for k.
-2
Let b(w) = -6 + 6*w**2 + 0 + 0 + w**3 - 6*w. Let r be b(-6). Suppose -d + 6*d = r. Solve -g + 2 = 0, 5*u + 2*g + 10 = -d for u.
-4
Suppose q + 4*i + 32 = 4*q, -3*i = 15. Solve -2*c - 5*b = 33, -c + b + 17 = -q*c for c.
-4
Suppose 5 + 11 = 4*i. Suppose 0 = i*k - 20, -3*y + 6 = 2*k - 52. Solve 4*n + y = 5*l, -2*l - l = n + 4 for l.
0
Suppose 0 = -0*g - 4*g + 116. Let y = 41 - g. Solve 4*b + 4*m - 4 = 8, -4*m = 2*b - y for b.
0
Let f be 1 - 2 - (-28)/1. Suppose -3*r - 4*k = -f, -11 = 2*r - 6*r + 3*k. Solve -4*b = -3*s - 19 - 4, -b = -r*s - 27 for b.
2
Let j = 5 + -7. Let n be (-8)/(-20) + j/5. Solve -3*x + 6 = n, 2*q - q + 3*x = 7 for q.
1
Let u(d) = d**2 - 8*d + 8. Let q be (6 - 0)/(6/4). Suppose 0 = -q*r, 3*n + 2*n - 35 = 3*r. Let p be u(n). Solve -5 = 2*z + p, 4*z + 12 = c for c.
0
Let r(k) = -k - 1. Let h be r(-6). Solve 0*b = -5*b - h*n, 6 = 3*n for b.
-2
Suppose 0 = -3*j - 5*d + 30, -50 = -j - 4*j - d. Solve -2*n = -3*a + 7*a + 30, -3*a - j = -n for n.
-5
Let x(i) = i**3 + 5*i**2. Let a(l) = l**3 + 3*l**2 + l - 2. Let k be a(-3). Let j be x(k). Solve -s = -j*r - r - 2, -3*r - 2 = -2*s for s.
4
Let z(b) = b**2 + 25*b + 53. Let k be z(-23). Let p = -6 + 10. Solve 0 = -o - 3*g + k + 3, 2*o - 2*g = p for o.
4
Suppose -3*j - 3*v = 0, 0*v = -3*j + 3*v. Solve 0 = 4*o + 2*t - 12, 0 = o - j*t + 4*t - 10 for o.
2
Suppose 2 = 2*j - j. Suppose w = -j*w + 6. Solve -c + w*s + 1 = -5, -4*s - 14 = -3*c for c.
2
Suppose -8*a = -48 + 8. Suppose 0 = 4*t + 4*h - 4, t - 6*t + 4*h = -32. Let f = 8 + -1. Solve -3*p - 2 = -t*n, 2*p - 15 = f*p + a*n for p.
-2
Let f be 2*-4*1 + 2. Let q(c) be the third derivative of c**4/24 + 4*c**3/3 - 2*c**2. Let x be q(f). Solve 0 = -3*d + 5*t - 8, x*d - 5*t = -3*d - 10 for d.
-1
Suppose -3*u + 2*f = -10, -3*f - 19 = -5*u - 2*f. Solve 0 = -u*m + 3*m + 1, 3*m + 6 = 3*t for t.
3
Let x be ((-9)/4)/(9/48). Let m = x + 16. Solve -4*u + 5 + 11 = m*s, 4*u - 15 = -5*s for u.
5
Let v = -7 - 5. Let y = 14 + v. Solve -p + 4 = 4*x, 2*x - 14 = y*p - x for p.
-4
