0, -d - 4*x = 7 for d.
5
Suppose z - 10 = -2*u, -20 = -4*u - 8*z + 3*z. Suppose -7*i + 28 = -6*i - u*q, -5 = q. Solve -19 = i*t - 4*g, -4*t + g - 12 = -g for t.
-1
Let g = -182 + 185. Suppose -3*n - 3*r - 15 = -39, 24 = g*n - 5*r. Solve 0 = o + 5*w - 21, 0 = -5*w + 7*w - n for o.
1
Suppose 60 = -0*m + 5*m. Suppose 8*h + 12*h = -280. Let i = h - -17. Solve -5*u + 4*g = 12, g - m = 2*u - i*g for u.
0
Let w(c) = -33*c + 2015. Let d be w(61). Solve -4*b + 16 = -3*x, -2*b - 2*x = d*x + 14 for b.
1
Suppose -p - 3 = -9. Let h be p/21*(1 + 6). Let o be h/(-15) - (-94)/30. Solve 2*i + 1 = -x, 5*i + o - 1 = -2*x for x.
-1
Let k(l) = 23*l + 27 + 6*l**2 - 6*l + 8*l - 5*l**2 + 60. Let p be k(-4). Solve 3*g - p*s = 2*s + 5, 4*s = -2*g + 18 for g.
5
Suppose 0 = -6*x - 4*j + 46, 4*x - 48 = -4*j - 20. Solve n = 4, 3*t + x*n = 15 + 30 for t.
3
Suppose -3*n - 4*f = 5, 2*n + 4*f = 1 - 11. Let p = 27 + n. Suppose p = 4*q - 4*i, -4*q + 2*i = -6*q + 16. Solve 19 = s - 4*r, -q*s - 3*r + 3 = -3*s for s.
3
Suppose 2*c - 3*r = 30, -11 = -c - 146*r + 147*r. Solve -12*b - w + c = -11*b, 2*b = -5*w + 15 for b.
0
Suppose -p + 14 = -0*p. Let n = -101 + 106. Suppose -4*x + 4 = -0. Solve n*o + p - x = -3*i, -3*i - 3 = 3*o for o.
-5
Suppose -t = -17*o + 22*o + 9, -2*o = -t + 5. Let g be 1/t + -4 + 8 + -3. Solve -y - g*z - 14 = -5, y + 17 = -4*z for y.
-1
Suppose -v + 15 = -2*u, -38*u = v - 34*u + 15. Solve 5*z - 114 = -x - 99, 0 = 5*z - x - v for z.
2
Let n = -26331 + 26336. Solve 4*s + n*v - 63 = -53, -6 = s - 3*v for s.
0
Let d be (-2)/(-4) + 1096/(-16) + 7. Let b = d - -66. Solve 0 = 4*t - 6*t + 4, 0 = -5*q + b*t - 10 for q.
0
Let i be -5*((-70)/(-100) - 2/(-4)). Let a be i/27*1 + (-390)/(-54). Solve 4 = -2*o + 2*b, -5*o + 1 + a = b for o.
1
Let p be (-22 + 2)/(1 - 6/4). Let h(r) = 2*r**2 - 4*r - 12. Let y be h(-2). Solve 5*s = 2*v - v - 30, -p = -y*v + 4*s for v.
5
Let c = 4819 + -4813. Solve 3*a + 2*p = -8, c*a - 2*p + 8 = a for a.
-2
Let s = 17151 - 17151. Solve s = z + 1, 8 = 3*n - 36*z + 31*z for n.
1
Let z(v) = -6 - 7 - v**2 + 7 - 8*v + 7*v - 5*v. Suppose -2*f + 0 = 6. Let x be z(f). Solve 3*t - 5*q + 18 = -q, -x*t = 4*q - 6 for t.
-2
Suppose -s + 2*s = -3*c - 6, 4*c + 3 = -3*s. Suppose s*d - 15 = -0*d - g, 0 = g. Suppose l + 1 = d. Solve 4*q = 2*j - 0 + 2, 0 = l*j + 4*q + 28 for j.
-5
Let r(k) = -208*k - 826. Let u be r(-4). Solve 22 = -5*h + m, -2*h = 4*m - u*m + 4 for h.
-5
Let v be ((-16)/(-28))/((-8)/28). Let b(t) = -t**2 - 4*t. Let r be b(v). Solve 2*g + 0 = 4*k - 2, -5*k + 7 = -r*g for k.
-1
Suppose 64*k - 1261 = -33*k. Solve d + 34 = -5*w + k, 3*d = w + 1 for w.
-4
Suppose 1084 = 69*d + 256. Solve 3*s = -d, 0 = c + 6*s - 2*s + 20 for c.
-4
Let u(i) = 9*i + 39. Let z be u(-4). Suppose -53 = -z*q - 44. Solve 0 = -x + 2*p + 8, -5*x + 2*x - 12 = q*p for x.
0
Let z = -913 + 914. Suppose 10 - 2 = 2*v. Suppose -x + 4 = -5*s, 2*s - 4*s - 16 = -v*x. Solve 10 - z = -3*a, -c = -x*a - 8 for c.
-4
Suppose -5*a + 105 = -5*d, -4*d = 3*a - 5*a + 46. Let w be -4 + a + -10 - (1 + 0). Solve -h + 2*z = h + 4, 5*z - 13 = w*h for h.
3
Let z be 1 + (16/8)/(-2). Suppose -i = 5*g - 5, z = -8*i + 5*i - 2*g + 15. Solve i*j + 2*t = 12 + 2, -j + 2*t + 10 = 0 for j.
4
Let q(o) = 3*o**2 - 185*o + 136. Let a be q(61). Solve -a = -s + 3*b, -19*b + 14*b = s + 26 for s.
-1
Let f = 6447 - 6442. Solve 3*z - f*l + 7 = 0, -9*l + 12*l = 5*z + 17 for z.
-4
Let r be (-1*(-5)/(-1))/(9/(-27)). Let t be r/(-25) + (-26)/(-10). Solve t*n = -10, -4*i - n - n = 30 for i.
-5
Let o = 57 + -46. Let t = -5 + o. Suppose -19 + 1 = -t*m. Solve -i + 0 = -1, -i - m = 4*j for j.
-1
Let f be 12/18*(-45)/(-6). Suppose 0 = f*p - 15 - 0. Solve -4*k + 4 = 0, -4*a + 3 = -0*a + p*k for a.
0
Suppose 0 = -6*n + 19*n + 14 - 53. Solve -5 = -x - 10, -n*g = -5*x - 43 for g.
6
Let b be (-2)/(-9) + (-312)/(-54). Suppose 12 = -b*c + 10*c. Solve 3*z = -5*g + 13, c*z + z = -g + 6 for z.
1
Let a be 2/6 + (-50)/120*-76. Suppose -j + 30*t - a*t = -3, 4 = 5*j - t. Solve 5*u = -z - 0*z - j, -3 = 3*z - 4*u for z.
-1
Let q = -2123 - -2126. Solve 5*v + 3*g + 0*g = 1, -g = 5*v + q for v.
-1
Let c = -35 - -57. Let y = c - 19. Let i(j) = 10*j + 100. Let v be i(-10). Solve g + y = -x, 2*x + 0*x + 4*g + 14 = v for x.
1
Let p(j) = 2*j**3 - 6*j**2 + 10*j - 4. Let t be p(2). Suppose t*l = 18 + 6. Solve 3*o = 2*m - 25, -2*o + 5 = -6*o - l*m for o.
-5
Let m(r) = -r**3 + 20*r**2 - 17*r + 12. Let w be m(8). Suppose -6*a - 266 = -w. Let j = a - 60. Solve -5 = -0*d - d, -d = -2*p + j for p.
4
Let w(d) = 17*d + 3. Let r(l) = -2*l - 1. Let q(v) = 14*r(v) + 2*w(v). Let t be q(2). Let i = 5 + -3. Solve -h + u + i = 0, -h + 2*u = t*u + 7 for h.
-1
Let j(u) be the second derivative of -u**3/2 - 7*u**2/2 - 37*u - 1. Let i be j(-4). Solve -3*p + 1 = i*x + 4, -2*x + 4*p = 22 for x.
-3
Let v(d) = -16*d - 237. Let p be 35/28 - (-325)/(-20). Let t be v(p). Solve 4*c + 0*o = -o + t, -4*o = 20 for c.
2
Let g = 262 + -270. Let p(x) = x**2 + 8*x + 4. Let d be p(g). Solve -4*b + q + 3*q + 12 = 0, -3*q = d*b - 5 for b.
2
Suppose 0 = 3*c + 3*x + 300, -3*c + 0*x - 294 = x. Let n = -95 - c. Solve -25 = n*w + 3*u, -3*w = -4*u - 0 - 5 for w.
-5
Let o(i) = -5*i**2 - 116*i - 23. Let b be o(-23). Let x = -11 - -19. Let a = x + -4. Solve 4*v - 3*p + 4 = -p, -5*v + a*p - 2 = b for v.
-2
Let m = -2332 + 2336. Suppose -2*l + 26 = 2*f, 2*f - 49 = 4*l + 1. Solve 2*r = r - 5*d + 8, 0 = -m*r - 5*d + f for r.
3
Let k(o) = -2*o**3 + 27*o**2 - 82*o + 15. Let a be k(9). Solve 39*i = 35*i - 3*d - 1, 0 = 4*i + 2*d + a for i.
-4
Suppose 0 = 106*f - 108*f + 4. Solve 2*p = -4*h, f*h + 1 + 3 = p for p.
2
Suppose 3*l - c = 62, 5*l - 98 = -2*c + c. Solve 0 = -4*o + 3*h + l, -22*o = -23*o - 4*h - 14 for o.
2
Suppose -15*c = -9*c - 24. Suppose 3*p - c - 3 = -x, -5*x = -2*p - 18. Solve -4*m + 2*d - 21 = 3, -m - 2*d + x = 0 for m.
-4
Let f = -7 + 12. Suppose -s - 4*s + 5 = o, -f*o - 4*s + 4 = 0. Let d be (35/(-10) - -1)*(o - 2). Solve -4*r = d*b - 45, 3*r + b - 21 = -1 for r.
5
Suppose 4*j + 2*h - 22 = 0, -337*h - 19 = -3*j - 339*h. Solve 2*z - 3 = -j*q, -8 = -3*z - 5*q + 4*q for z.
3
Suppose 2*k + 3907*a - 26 = 3905*a, 2*a - 1 = 3*k. Solve -8*q + 9*q = 3*f - 2, 0 = -k*f for q.
-2
Let g = -937 + 939. Solve 4*f + 2*r = 6, 3*f + g*r - 9 + 2 = 0 for f.
-1
Suppose 9*l - 5*l - 404 = 0. Suppose 0*a = -a + l. Let j = a + -81. Solve x + j + 0 = 3*c, 0 = -5*x - 5*c for x.
-5
Let b = -69 + 85. Suppose 60*u = 64*u - b. Let t = -6 + 11. Solve -u*q - 5*y = -26, 0 = q + 4*q + t*y - 30 for q.
4
Suppose -n + t + 54 - 49 = 0, -2*t + 2 = 4*n. Let j = 10 + -10. Solve -h + z + j = 2, n*h + 7 = 5*z for h.
-1
Suppose -7*k + 10*k + 3*j + 9 = 0, -15 = 4*k + j. Let h(g) = 23*g + 95. Let a be h(k). Solve 4 = 2*v + u - 5, 0 = a*v - 4*u + 14 for v.
2
Let n(y) = -y**3 - 2*y**2 - 7. Suppose q = -5*q + 138. Let m = q + -26. Let c be n(m). Solve 2*d + c*a = -3*a + 21, 4*d - 4*a = 0 for d.
3
Let w(i) = -i**3 + 27*i**2 - 67*i - 8. Let z be w(3). Solve 8 = 3*n + 4*j, z*n - 17 = 3*n + j for n.
4
Let j be (30 - 14 - 34)/(-2). Suppose 0*b + 4*b = 0. Let h = 2 - b. Solve o + 2*a = -0*o + j, 10 = h*a for o.
-1
Let r = -9 - -1. Let v be 4/r + 26/4. Let i = -2 + v. Solve -6 = -3*n + i*s, -n + 2 = -4*s + 6*s for n.
2
Let n(o) = -o + 19. Let a be n(17). Suppose 5 = -a*x + 3. Let k be 301/42 - x/(-6). Solve -k*c + 2*z + 1 = -2*c, c - 2*z = -3 for c.
1
Suppose 48 + 101 = 11*r - 27. Solve 5*q + 46 - r = -3*b, -b = -3*q - 4 for q.
-3
Let r(p) = -8*p**2 - p - 4. Let f(j) = j**3 + 11*j**2 - 25*j + 11. Let s be f(-13). Let m be r(s). Let z = m + 35. Solve -a - y + 5 = z, -4 = -3*a + y for a.
2
Let i = -7765 + 7801. Solve -6*m + 10*m = 4*s + i, 4*s + 6 = -2*m for s.
-4
Suppose 0 = -30*g - 16*g + 19*g + 54. Solve -c + 35*m = 33*m + 6, -m - 3 = -g*c for c.
4
Let k = -65 + 76. Suppose 0 = k*j - 19*j + 24. Suppose 2*y - j*f = -2*f, -4*f = -3*y. Solve -5*x - p - 13 = y, 0 = -x - 4*p + 2 + 3 for x.
-3
Suppose 5 = 3*i + v, 4 = 256*i - 253*i + 2*v. Solve -4*b + w - 32 = -i*w, 0 = 2*w - 8 for b.
-5
Let b = 3900 - 3893. Solve 5*h = -4*k + 4*h - b, k = -3*h + 12 for k.
-3
Let w(o) = 97*o + 1845. Let z be w(-19). Solve -n + 7*l + 2 = 6*l, -5*n = z*l + 25 for n.
-3
Let j be 5 - 1*(-14 - -16). Solve -8*y + 11*y + 3 = -4*w, -j*y - 30 = -5*w for y.
-5
Let k be -12 + (-