i - a*g + 4, 2*i + g - u = -3*i for i.
0
Let n(y) = -y. Let j be n(-4). Solve 4*v = -0*p + p - 8, 3*v = j*p - 19 for p.
4
Suppose -2*y + 41 = -5*t, t - 5*t + 2*y - 32 = 0. Let g = 3 + 3. Let r be (-30)/9*t/g. Solve 0 = -2*o - 8, -3*d + 0*o + r = -2*o for d.
-1
Let v(n) = -n**2 + n + 15. Let f be v(0). Let p = f + -11. Suppose 0 = -0*m - m + p. Solve -3*s + 40 = m*t - 8*s, -t - 3*s = 7 for t.
5
Suppose 0 = -6*t + t + 45. Let v = t + -4. Solve 0 = v*g - 2*g + 12, 2*g + 6 = -z for z.
2
Let w be 12/2*1/(-1). Let z be 1/w + (-31)/(-6). Solve 4*i - 8 - 6 = -z*v, 5*i = -4*v + 13 for v.
2
Suppose -t = 3*t - 20. Suppose -g + 1 = -11. Solve -12 = -4*s - 3*u, -5*u = t*s - g - 3 for s.
3
Let m(q) = -q**3 - 3*q**2 - q. Let z be m(-3). Let x be (-2)/(7/z - 3). Solve -j + 5 = 2*i, -x*i = -3*j - j - 35 for j.
-5
Let r(g) = -g**3 + 3*g**2 + 7*g + 8. Let w be r(4). Solve 0*h + c = 4*h - 11, -w = -4*h + 4*c for h.
2
Suppose -2*t + 10 = 3*t. Let k = -20 + 22. Solve t*x = -l - 1, -k*x - 2*x + 16 = -4*l for x.
1
Suppose k - 3*u - 98 = -k, 0 = 3*u + 12. Solve -5*l + 3*c = -k + 17, -4*c = -4*l + 24 for l.
4
Let c be (-2)/9 - 58/(-18). Suppose 3*w + 8 = 4*o, c*w + 2*o = 8*w - 10. Suppose -2*v = -3*v + w. Solve 3*u + v*p + 0*p = -13, -2*p - 8 = 0 for u.
1
Suppose -7 = -4*m + 1. Suppose 5*d + 8 = m*k - 6*k, d - 4 = 2*k. Suppose d*v = v - 2. Solve 3*z - v*b + 1 = 0, 0 = -7*z + 2*z + b + 10 for z.
3
Let a(y) = 27*y**2 - 2*y - 1 - 1 + 3. Suppose 5*w + 1 = 6. Let k be a(w). Solve z - 16 = -3*z, -5*z + k = -2*d for d.
-3
Let w = -6 + 2. Let a be ((-6)/w)/((-2)/(-4)). Suppose a*z + 15 = 3*q, -q = -2*z - 4*q + 15. Solve x - 3*p = 4*x + 9, -4*p + 4 = z for x.
-4
Suppose 0 = 3*h - 5*h + 8. Solve h*w + 24 = -4*t, -2*w + 3*t + 7 - 4 = 0 for w.
-3
Let z be (2/3)/((-2)/(-6)). Suppose -2*p - z*i + 14 = 0, 9 = -0*p - p + 3*i. Solve 1 = -p*j + 5*j - 3*t, j - 2*t - 2 = 0 for j.
-4
Suppose -5*m - 2 = -12. Suppose -4*x + m = -10. Solve 2*r = 4*a + 14 + 12, -3*r = -x*a - 24 for a.
-5
Suppose -2*o + 3 + 17 = 5*b, 0 = -4*b + 5*o - 17. Solve -3*t = -b*a + 7, 7*t = -a + 2*t + 10 for a.
5
Let l(s) = s + 14. Suppose q + 25 - 13 = 0. Let n be l(q). Let a = -58 + 82. Solve 5*p + n*v - 3*v - 12 = 0, -3*v = 5*p - a for p.
3
Suppose -4*t + 5*t = -1. Let x be (-1 - 3 - -2)*t. Solve 7*o - x*o = -20, 5*o + 20 = -3*p for p.
0
Suppose -3*x + 5*j = -44, -4*x + 0*x + 76 = 2*j. Solve x = u + 4*w, 5*u - 2*w + 35 = 3*w for u.
-2
Let g = -4 + 5. Let t = 2 + g. Solve 2*b + t*u = -u + 2, 3*u = -3 for b.
3
Suppose -2*p - 3 + 13 = 0, -5*p = 4*d - 29. Let k = 7 + d. Suppose 4*r - k = -0*r. Solve 9 + 7 = r*w - 4*v, -3*v - 7 = -4*w for w.
-2
Suppose 0 = 3*j + 2*f - 5*f - 9, 3*j + f - 13 = 0. Suppose 9*t - j*t = 10. Let b(i) = i**2 - 3. Let x be b(-3). Solve 4*l = 5*h - 8, t*l + x = h + 2*h for h.
4
Let z(o) = o**2 + 12*o + 3. Let w be z(-13). Solve 4*r + 5 = 5*m - 11, 0 = -4*m - 4*r - w for m.
0
Let o be (-2)/(-10) + 1/(-5). Suppose 3*m - 2*m = o. Solve m*x = -x + 3*s + 7, -s = x + 1 for x.
1
Let c(x) = 4*x + 2. Let f be c(0). Solve 25 = -5*w, -27 + f = 4*s + 5*w for s.
0
Suppose 2*q - 9*q = -105. Solve -3*v + 4*t + 2 = -4, -5*t - q = 0 for v.
-2
Let v(d) = d**3 + 5*d**2 - 3*d - 1. Let x be v(-5). Suppose -3*n - i = -13, 3*n = -0*n - 2*i + x. Solve -n*b + 4*z = -12, -5*b + 27 = -z + 2*z for b.
5
Suppose -56 = 5*c - 81. Solve 0 = -3*r + 3*y - 4*y - 1, -5*y = c*r - 5 for r.
-1
Let a = 15 + -7. Let u = -2 + a. Let q be (u/4)/((-4)/(-32)). Solve 3*r = z - 8, -5*r - z - q = -3*r for r.
-4
Let z(r) = -3*r**3 + 2*r + 1. Let f be z(-1). Let m(y) = y**2 + 2*y - 5. Let t be m(-4). Suppose 0*a - t*a + 45 = 0. Solve -a = 5*c, l - 15 = f*l + 4*c for l.
-3
Let c = -12 + 14. Solve 0 = m + c*m - q + 10, 10 = 2*m - 4*q for m.
-5
Let z = -11 - -5. Let y be (-288)/27*z/4. Solve -x + 3*f + y = -f, f - 5 = -2*x for x.
4
Let g be 3/12 - (-220)/16. Suppose 0*h - g = -2*u - 4*h, 0 = -h - 5. Solve 0 = -2*w - 3*d - 3 - 6, -w - u = 4*d for w.
3
Let y(o) = o**2 + 13*o + 4. Let n(a) = -a. Let g(k) = -4*n(k) - y(k). Let q be g(-8). Solve -5*w + 15 = q*u - 3*u, -4*u + 5*w = -10 for u.
5
Suppose -p = -w - 5, -4*p - 2*w + 22 = -7*w. Suppose 2*f = 5*f. Solve 3*v + z + 3 = f, 3*v + 6*z = p*z - 9 for v.
0
Let f(w) = -w**2 - 5*w + 6. Let l be f(-6). Suppose -5*t = -d + 3*d + 2, l = -3*d - 3*t + 6. Solve -z = -d, 3*z = -k + 6 + 11 for k.
5
Let r = -9 + 4. Let w = 12 + r. Let z be (27/18)/((-3)/(-4)). Solve q = p - w, -z*q - q - 6 = 0 for p.
5
Let x be (4 - 26/6)*(-5 + -1). Solve -2*t + x*p - 4 = 0, 13 = 3*p + 4 for t.
1
Let z(r) be the third derivative of -r**6/120 + r**5/15 + 5*r**4/24 + 5*r**3/6 - 3*r**2. Let h be z(5). Solve 7*g - 2*g - 10 = h*u, -g = 5*u + 4 for g.
1
Let t(d) = -2*d**3 - 3*d**2 + 1. Let f be t(-2). Suppose 2*v + 0*v - 12 = a, f*v + a = 23. Solve -5*i + 2*h = -3*h - 15, -v*h = -5 for i.
4
Let r = -5 + 7. Let f(c) = -c**3 + 13*c**2 - 13*c + 11. Let w be f(12). Let t be w - r*(-14)/4. Solve -4 = -b + t*y - 4*y, -4*b = 2*y - 16 for b.
4
Suppose -8*w + 35 = -93. Solve -v + 3*v + 3*g - w = 0, 4 = 2*g for v.
5
Suppose -7 = 4*g - 19. Suppose 0 = p - g - 0. Suppose p*u + 0*u = 12. Solve u = -t - w, -5*t - 4 + 14 = -5*w for t.
-1
Suppose y = 5*u + 55, 3*u - 4*y - 16 = -66. Let v = -6 - u. Let a(m) = -m - 1. Let b be a(-5). Solve -b*l = 3*h - 31 - 1, -2*l = v*h - 26 for h.
4
Let y(v) = 8*v - 1. Let n be y(3). Suppose 12 = 8*c - 2*c. Solve 5*u + 2*j = -n, u + 2 = -c*j - 9 for u.
-3
Suppose 4*n - n = -3. Let m(u) = -29*u**3 + 2*u + 1. Let b be m(n). Solve 4*t - b = 5*j, 2*t - 3*t = j + 2 for t.
2
Suppose 4*q = -3*u - 3, q + 4 = -2*u - 2*u. Suppose -s - 10 = -6*s. Suppose o - s*o = q. Solve 3*n = 4*i - 12, o = -2*i - 2*i + n + 4 for i.
0
Let w(p) = -9*p - 51. Let f be w(-6). Solve 4*z - f*n = -9, 0 = 3*z - 8*z - 2*n - 17 for z.
-3
Let m be (6 - 3) + (2 - 3). Solve 5*z = t + t, m*t = z - 8 for z.
-2
Suppose 11*x - 16 = 17. Solve -9 = 4*o - x*z, 3*o - 12 = 8*o - 3*z for o.
-3
Suppose 4*q - 18 = -2. Let v(n) = n**2 - 5*n - 100. Let u be v(13). Solve 3*k + 16 = 5*y, u*y + 3*k = 3*y - q for y.
2
Let p(b) = b**2 - 8*b + 16. Let s = 6 - 0. Let x be p(s). Solve -10 = x*o + 3*q, -2*o + 4*q = -0 - 6 for o.
-1
Let z = -4 - -11. Suppose 3*g = y + z, 23 = 3*y + y + 5*g. Solve -y*i + 4*m + 16 = -6*i, i - 3*m = 12 for i.
0
Suppose n = -2*n - 5*u + 10, 5*n = u - 2. Let j be (-2)/(2 - n)*-3. Solve a + j = 4*r, a = -3*r + 4*r for a.
1
Let i be (-42)/(-12) - 3/2. Solve 0*r + 3*r = 15, p + 9 = i*r for p.
1
Suppose -17 = -4*x + 3. Let b = 0 + x. Solve -2*u + 8 = -5*p, -3*u = -p - 6*u - b for p.
-2
Let y = 27 + -15. Suppose -3 = -5*b + 4*z + y, -4*z - 8 = -4*b. Solve 3*d + s = -4, 12 = -2*d + b*s - 3*s for d.
-2
Suppose 4*o + o = 5. Let a = 5 - o. Solve 0 = r + 2*d + 2, r + d - 13 = a*r for r.
-4
Let z be (32/5)/((-4)/(-10)). Solve -q = 3*p + 14, q - z = 4*p - p for q.
1
Let t(v) = 6*v + 4. Let j be t(0). Solve -2*b = 4*a + 2, a + a - j*b = -26 for a.
-3
Let p be (-518)/(-18) - 2/(-9). Let m(x) = x**2 - 3*x - 1. Let l be 5*5/(100/16). Let u be m(l). Solve 3*j - p = u*z - 2*j, 2*z - 4*j = -22 for z.
-3
Suppose 3*m - 4*k = 24, 0 = m + 4*k + 8. Let s(t) = -t**2 - 7*t + 2. Let r be s(-8). Let j = -2 - r. Solve 4*y - m*f = 0, 3*y + y = -j*f + 32 for y.
4
Let r be (90/20)/(2/4). Solve -p + 4 = 5*f, -5*p + p - r = -5*f for f.
1
Let w = 9 - 14. Let k be 4 + 5 + 3 + w. Solve -6 = -4*l - 3*h + k, 5*l + 3*h = 17 for l.
4
Suppose -30 = -5*j - 15. Solve y - 9 = -j*o + 3*y, 0 = -5*y + 15 for o.
5
Let r = 2 + -4. Let m = 3 + r. Solve x + 4*y - m = 0, 1 - 3 = -2*x + 4*y for x.
1
Let a(t) be the third derivative of t**4/24 + t**3/6 - t**2. Let l be a(2). Solve -l*g = -2*o + 9 - 0, 0 = -2*g - o + 1 for g.
-1
Suppose 2*a = -k + 22, -26 = -2*a - 3*k - 8. Suppose 0*u - a = -2*u. Suppose -3*z + 6 + u = 0. Solve 3*b + z*n = -10, 2*b + 2*n + 0*n + 6 = 0 for b.
-2
Let k(t) = -t + 6. Let g be k(3). Suppose -g*b = -4*p - 8*b - 25, -2*p + b + 5 = 0. Solve -s + 2*r = -0 + 2, p = -4*s + 2*r - 2 for s.
0
Suppose 0 = -3*b - j + 1, -5*b + 2*j = -20. Solve 30 = 5*p - 3*l, 2*p - 5*p - b*l = 1 for p.
3
Let n be 3 - 2/(0 + -2). Solve 0 = 2*b + 5*q - 33, 3*q - 46 = -n*b - 15 for b.
4
Suppose -2*p + 86 = 7*s - 3*s, -2*s + 3*p + 39 = 0. Solve -4*d - s = -k, -d = -k - 6*d - 15 for k.
5
Let h(z) = -z + 8. 