3*i - 180. Solve 3*v + x = i, -v + 5*x + 13 = -1 for v.
4
Let j = -1974 - -1978. Solve -12 = -c + j*z + z, 5*z = 4*c - 3 for c.
-3
Suppose 3*r = 4*a - 2*r + 4, 2*a + 8 = 4*r. Suppose 2*w = 2*p + 10 + 10, w - a*p + 2 = 0. Solve -5*k + 17 = x, -4*x = -0*k + 2*k - w for k.
3
Let g = -2617 - -2625. Solve -t = -i - g, 0 = -t - 11 + 14 for i.
-5
Let x = -112 + 194. Let m = 87 - x. Solve 5*b = -m*y + 20, 5*b + 2*y - 8 = 6 for b.
2
Suppose 12 = -11*c - 21. Let p(u) = u**3 + 5*u**2 + 2*u - 5. Let m be p(c). Let r = 6 + -1. Solve -2*g - d + 0*d - 1 = 0, -4*g - r*d = -m for g.
-2
Let a(m) = 384*m - 3067. Let y be a(8). Solve 5*p - 45 = 4*i, -15 = -i + p - y*p for i.
-5
Let o(y) = -y**3 + 19*y**2 - 89*y + 18. Let w be o(11). Solve 5*n + 6*m + 11 = w*m, 6*m = 4*n - 12 for n.
-3
Let r(g) = g**3 + 11*g**2 + 10*g + 7. Let s = 23 - 33. Let b be r(s). Let u be 2/(-7) - (-16)/b. Solve -l - 5*f = -24, 3*f - u*f = l for l.
4
Suppose 0 = 2*g - 2 - 22. Suppose g*m - 26 = -2. Let r be (((-6)/(-3))/(-2))/(2/(-10)). Solve x - r*s + 5 = -s, -5*x = -m*s - 11 for x.
3
Let y(v) = 2*v**2 - 7*v + 10. Let o be y(-6). Let m = 101 - 220. Let l = m + o. Solve n = 0, l*t - t = -4*n - 4 for t.
-1
Let g(p) = p**3 - 5*p**2 - 42*p - 76. Let d be g(10). Solve 5*o + 13 = -u + 6, -d*o - 8 = 0 for u.
3
Let p = 1477 - 1474. Solve 0 = p*d + 15, 4*d - d = 5*b - 20 for b.
1
Let r(j) = j**2 + 9*j + 7. Let g be r(-8). Let a be (-11 - g)/(-8 + 9 + -2). Solve -2*w - a = -m, -5*w = -m + 6*m + 25 for w.
-5
Let t(y) = y**3 - 12*y**2 - 12*y - 13. Let u be t(13). Suppose u*d + 3*d - v = 18, 12 = -4*v. Let w = 651 + -639. Solve 5*p + 15 = 0, q - w = -0*q + d*p for q.
-3
Suppose -5*z - 25 = -2*w - 0*z, 0 = -3*w + 4*z + 27. Let b(o) = o**2 - 1 + 7*o - 3 - 2*o**2. Let u be b(w). Solve -2*c = -u*d + d + 1, 3*d = c + 1 for c.
2
Let o = -7 - -23. Let t = 561 - 1002. Let p = t + 445. Solve -o = -p*n, 2*y + 12 = -2*y + 4*n for y.
1
Suppose 4*s = -4*u - 6 + 2, 0 = u + 5*s + 13. Let k(l) = 7 + 4*l**u + 9*l - 2*l - 15. Let y be k(1). Solve -r = -4*m - 1 + 7, 4*r = -y*m - 5 for m.
1
Suppose 79*r + 12383 = 12541. Solve -r*l + 5 = -f + 10, -3*f + 8 = l for l.
-1
Let i(k) = k**2 - 5*k - 9. Let b be i(7). Solve -3*a = -v + 4*v - 15, b*v = -a + 9 for v.
1
Let q = 28218 + -28217. Solve 15 = -5*w + h - 8, -2*h = -w - q for w.
-5
Let x(l) = -4*l**2 + 5. Let c be x(0). Solve 2*u + a + 3 = 0, 30 - c = 5*u - 4*a for u.
1
Suppose 5*g = -3 - 2, 2*b + 12 = -4*g. Let r be (46 - (1 + 1)) + 4 + b. Let j be ((-5)/2)/((-22)/r). Solve 0*a - 2*a - 10 = 4*y, 4*a = -j*y - 14 for a.
-1
Let i = 43 - 42. Suppose 7*r - 4*r + 19 = 4*n, -4*r = -5*n + 24. Solve -5*k - n*t = -4, 0 = -5*k + 2*t - t - i for k.
0
Let g(u) = -15*u - 111. Let z(t) = 7*t + 55. Let q(r) = 2*g(r) + 5*z(r). Let j be q(-10). Solve 0*x = -x - 4*s + 3, -j*s = -2*x + 6 for x.
3
Let i(s) = 6*s - 1. Let n(r) = -r. Let g(t) = -i(t) + 3*n(t). Let m be g(-2). Let z = 17344 + -17340. Solve 0 = z*f - 5*b + m, -f - 13 = -0*f - 4*b for f.
-1
Suppose -5*x - 8 = 2*c, -2*c + 3*x + 22 = -2. Let f be (c - (-138)/(-24))/(4/48). Solve q - 1 = p - 3*q, -f*p = -3*q + 3 for p.
-1
Let p(k) = -26*k + 2. Let f be p(-1). Let s = f + -26. Solve d = s*z, 0*z + 4*z = -4*d for d.
0
Let h = 0 + 2. Suppose 3*y - h = 13. Let m(u) = -327*u - 2603. Let c be m(-8). Solve -4*i - 16 = -y*p + p, c = -3*i + 4*p for i.
-3
Let g(n) = -10*n + 42. Let f = -150 - -154. Let k be g(f). Solve 2*h - b + 2 = 0, 0*b = -k*h + 2*b - 6 for h.
1
Let k = 13164 - 13159. Solve -i = 43*m - 47*m, k*m = 2*i for m.
0
Let y = -41 + 46. Suppose 2*u + 3*d + 18 = -d, -u - 9 = -y*d. Let r be (-6)/((108/32)/u). Solve 0 = 3*m - 5*x - r, 0 = m - 0*m - 4*x - 10 for m.
2
Let l(m) = -m**3 - 35*m**2 + 219*m + 764. Let s be l(-40). Solve 5*b + s*y = 6, -6*b - 18 = -5*b - 4*y for b.
-2
Suppose -5 - 17 = -d. Suppose 0 = -q + 5*o + 10, -5*q + 2 = o + 4. Suppose -2*r - 2*r + 2*r = q. Solve 4*w + 2*c - d = r, 4*w + 0*c - 23 = -3*c for w.
5
Let t be (5/(-21)*6 - 0)/(2/(-7)). Solve -5*p = -2*g, -t*g - 3*p = -39 + 8 for g.
5
Suppose -3*b = 4*p - 23, 0*p + 10 = 3*p - 5*b. Suppose 5*q + 0*g - 45 = -p*g, -q + 3*g = -29. Solve -7 = 5*c - r + q, -4*r + 4 = 0 for c.
-4
Let t(h) = -h**2 - 12*h - 7. Let d be t(-5). Suppose 0 = -2*j - 5*j + d. Solve -2*s + 3*v = -7, -2 = -3*s + 3*v + j for s.
-1
Let w be 4/1*126/84. Suppose -2*x = w*x. Solve -t + 4*f = 9, x*f = -3*f + 9 for t.
3
Suppose u = -1, 33*f + 4 = 37*f + 4*u. Solve -4*s = -20, 1 = -3*z + s + f for z.
2
Let w = -216 + 233. Suppose 0 = -w*v + 22*v + 3*q - 72, -2*v = 5*q - 25. Solve 5*g - 2*b + v = -5*b, -4*g = b + 12 for g.
-3
Suppose -x - 2837 = -4*h, 3*x = 5*x + 2. Let v = -707 + h. Solve -v*s = 3*l + 6, 6*l + 13 = -s + 2*l for s.
3
Suppose -34*j + 53 = -117. Suppose 5*x + 1 = j*r - 2*r, 3 = 3*x. Solve z = 3*f + 3, f - 5*f - 6 = -r*z for z.
3
Suppose 269*f = 284*f - 75. Suppose -4*p = 4*t - 14 + 2, -3*t = -6. Let w be ((p - 0) + -1)/2. Solve 11 = 3*b - 5*r, 5*b + f*r - 1 - 4 = w for b.
2
Let f be 336/(-54) - (-2)/9 - -3. Let d be 103/2 - (-2)/4*f. Let a be ((-20)/d)/((-1)/20). Solve -4*b + 4 = 0, 3*x + 5*b - a + 3 = 0 for x.
0
Let p be 6108/(-6)*6/12. Let m = 512 + p. Solve d - 5*d = i, 4*d - m*i - 16 = 0 for d.
1
Suppose 6*q - 10*q - 23 = 3*x, 16 = -3*q - 2*x. Let a be (q/7)/((-28)/392). Solve 2*d = -j - 12, 0*j = 4*d - a*j + 12 for d.
-5
Let q = 1 - 1. Let d be 3/(8 + (-18)/30*703/57). Solve 2*l + q*l + d = -w, -w = l for l.
-5
Let r be 544/(-12) + 4/(-6). Let b = r - -51. Suppose h + b = -u + 7, -h = -5*u - 14. Solve -h*y + 5*f = 45, -f + 3*f = 10 for y.
-5
Suppose p - 224 = -3*p. Let f be 157/(-4) - 1/(-4). Let k = f + p. Solve 0 = 3*h - 5*w + 17, -3*h = h - w + k for h.
-4
Suppose 10*q - 981 = -251. Let k = -71 + q. Solve -k*b + b + 4 = 0, 4*m + 3*b - 20 = 0 for m.
2
Let r(y) = 28*y**2 + 139*y. Let l be r(-5). Solve -2*q + q + l = -5*f, -2*q = -5*f - 5 for f.
-1
Suppose 114 = 416*c - 419*c. Let q = 38 + c. Solve 5*o - 4*k = 33, q*o + k + 22 = 4*o for o.
5
Let j be 248/88*3 - 12/(-22). Let n = 10 + -6. Solve 0 = d - n*z + j, z + 4 = 5*z for d.
-5
Suppose 3*b + 501 = 3*m, -2*m + b + 541 = 203. Suppose m*c - 178*c + 21 = 0. Solve -n = n + c*d - 11, 2*d = -3*n + 9 for n.
1
Let l be 130/78 + (-2)/(-6). Solve 4*n - 5*m = 29, -l*n + 6*n + 4*m = -16 for n.
1
Suppose -44*k + 29*k + 75 = 0. Suppose 2*b - 7 = -k*q + 9, -3*b + 14 = 5*q. Solve -8*l - q*u = -3*l - 45, 4*u - 20 = 0 for l.
5
Let f be 1*(2 - 72/(-3)). Let t be (-4 + 6)*2/(8/f). Suppose -m = -t - 12. Solve -2*w - w + 14 = h, 5*w = m for h.
-1
Let j(v) = -4*v**3 - 14*v**2 + 5*v - 7. Let c be j(-4). Solve 0 = c*y - b - 15, 0 = -0*b - b for y.
3
Let a(x) = 19*x + 8. Let k be a(-3). Let c = -37 - k. Suppose c*n - 14*n + 4 = 0. Solve -5*m - 4*s = 15, 0 = -n*m + 5*s - 5 - 1 for m.
-3
Suppose 0*l = 7*l - 5*l - 50. Solve 0 = -f + 6*a - 3, -26*a + l*a = 0 for f.
-3
Let a be (-5)/(-5)*-2 - -182. Let b be (-4)/(-10) + a/50. Solve -3*w + b*k - 11 = 0, -3*w = 4*k - 24 - 5 for w.
3
Suppose 16*c + 0*c = -20*c. Suppose 4*k + 4*d - 3*d - 14 = c, k = 2*d + 8. Solve 6 = -3*z - 0*z, -k*z + 1 = -3*t for t.
-3
Suppose -4580*x = -4586*x + 54. Solve -4*z = 2*n + 6, 0 = -5*z + x*z + n + 7 for z.
-2
Let v be 3*(-1 + 5)/4. Suppose 0 = v*s + 6, -4*b + s + 21 = 3. Suppose -u = -5*u + 3*x, 2*u = -4*x. Solve 4*a = -m + 3 - 5, u = -m + b*a + 6 for m.
2
Suppose 0 = -5*g - g + 24. Suppose -5*c + c - 2*b = -16, 0 = -g*c + 5*b - 12. Solve 4*p + 1 = c*s + 7*p, 2*s - 4 = -2*p for s.
5
Let n be 8/(-3)*(-8)/(48/9). Suppose 47*l - 49*l + 6 = 0. Solve 0 = -n*q - a - 12, 3*a = -l*q + 4*a - 9 for q.
-3
Suppose 281 = 2*u - 0*u + k, k + 145 = u. Suppose -146*r = -u*r - 16. Solve 5*t - 37 = 4*x - 0*t, -5*x - r*t = -5 for x.
-3
Let m = 2440 - 2438. Solve -2*f + m*n = 0, -4*f - 13*n = -9*n + 8 for f.
-1
Suppose 5*y - 59 - 196 = 0. Let l(d) = -36*d - 620. Let u be l(-16). Let a = y + u. Solve j + a = -2*n, j - 2*n = 3*j + 6 for j.
1
Suppose 14*z - c = 11*z + 17, 0 = -4*z - 5*c - 9. Let d = -3 - -8. Suppose -1 = d*o - 6. Solve -5*m + 22 = -z*x + 9, 3*m + x = o for m.
1
Let m(u) be the second derivative of 5*u**4/12 + 17*u**3/3 - 7*u**2/2 + 88*u. Let s be m(-7). Solve -2*h + s*h + 6 = -2*t, 0 = 3*t - 5*h + 7 for t.
-4
Let i be -4 + (-96)/9*3/(-4). Solve 3*q + 2 = j, 0 = -q - q - i for j.
-4
Let