 t + 2 = 2*d + 2*t for d.
3
Suppose 395 - 85 = 62*c. Solve 0 = z - 2*r - 5, 3*z - 15 = 2*r - c*r for z.
5
Suppose -138 + 18 = -32*t + 40. Solve 32*v - 33*v = -r - 1, -t*v = 3*r + 27 for v.
-3
Let i(p) = -2*p**3 - 14*p**2 + 10*p - 45. Let m be i(-8). Solve -m*f + 6*n - n = 13, 2*f - 18 = -2*n for f.
4
Let s(i) be the second derivative of -i**3/6 - 2*i**2 - 9*i. Let n be s(-6). Let o be (11 + (-407)/33)/(8/(-18)). Solve w + 4*w + 2*l = o, n*l = -2 for w.
1
Suppose 0 = -3*f + d + 15, f + 0*f - 4*d = 27. Let p(r) = 2*r**2 - 7*r + 8. Let b be p(3). Solve b*w - 4*t + 10 = 0, f*w + 5 + 1 = 3*t for w.
-2
Let g(c) = -c**2 - 5*c + 1. Let d be g(-4). Suppose 75 = 4*q - 257. Let s = q + -59. Solve -4*z = -5*l + s, 16 = d*l + z + 3*z for l.
4
Let j = 158 + -165. Let o(w) = -w**3 - 5*w**2 + 10*w - 15. Let r be o(j). Solve 4*z = 2*z + 2*l + 2, 4*z + 5*l - r = 0 for z.
2
Let t be (-3)/(6/(-28)) - (-170)/204*6. Solve 18*o - 5*s = t*o - 10, 4*o = -4*s + 24 for o.
5
Let v(r) = r**2 - 8*r - 14. Let u be (-8 + 15/3)*(1 + 0). Let k be v(u). Solve 5*l - k = -4*n, -2*l = -2*n - 5*l + 11 for n.
1
Let h be 25/(26/26 - (1 - 1)). Suppose -5 = -6*l + h. Solve -l*t = -4*n + 7, 3*t - 2*n = 3*n + 1 for t.
-3
Let z be 0/((0 + 1)*(-15 + (-6 - -20))). Solve 2*p - b + 7 = 0, z = 5*p - 2*b + 187 - 172 for p.
-1
Suppose -k + 3*a - 7 = 0, 0*a + 2*a - 4 = k. Solve 0 = -2*i - 3*r + 1, 6*i = k*i - 2*r + 6 for i.
2
Suppose 46 = 18*g + 10. Suppose 3*k = -g*q + 8, -5*q = 4*k - 15 - 19. Solve -5*c - 3*w = -4*w - q, w = 5 for c.
3
Let t(x) = -x**3 - 7*x**2 - 11*x - 12. Let p be t(-6). Let g be (-11)/(-33)*-1*p/(-3). Solve 0 = g*i + 5*y - 0*y - 16, -3*i + 2*y = -5 for i.
3
Let k(i) = -5*i**2 + 78*i - 204. Let u be k(6). Solve 5 = 5*d, u = -5*q + 3*d + 56 for q.
-5
Let f be ((-2)/(-4)*(2 + -2))/(-2). Suppose -4*a = -16, -4*j - 3*a + 12 = -f*a. Solve 2*x + j*x - 4 = -3*u, x - 2 = -2*u for x.
2
Let b(j) = 2*j**2 - 388*j + 5376. Let i be b(15). Solve -i - 5 = -3*m - z, 4*m = z + 10 for m.
3
Let r = 295 + -277. Let n be (-3)/(-2)*((-24)/r - -8). Solve -3*u + 2*h = -14, u - n = -2*u + h for u.
2
Let s(d) = d**2 + 2*d - 32. Let n be s(-8). Suppose 13*c - n*c = -36. Solve c = -3*z, 5*m = z + 22 + 7 for m.
5
Let a be (-7)/(-2) - (-2)/4. Suppose -299*y - 1020 = -989*y + 2430. Solve -2*w - 7 = -w - a*s, y*w + 12 = -3*s for w.
-3
Suppose 0 = -q + 50*q - 147. Solve 4*h - 6*t + 4 = -2*t, -q*h + 5*t = 7 for h.
1
Let w(f) = 14*f - 192. Let v be w(14). Solve -12*p - 5 = -11*p, -v*k = p + 1 for k.
1
Let w(z) = -z**3 - z**2 - 4*z + 40. Let y be w(0). Solve 5*x + 5*b - y = 0, -28 = -3*x - x - 3*b for x.
4
Let t = 93 + -58. Suppose -t = 42*m - 49*m. Solve -2*i + 5*a + 25 = -m*i, 0 = 3*a + 15 for i.
0
Let d(k) = 7*k**3 + 5*k**2 - 62*k + 64*k - 6*k**3 - 7. Let f be d(-3). Solve -2*y - 3*y + l = -23, -2*y - l = -f for y.
4
Let y be (-14)/(-3) + 2/6. Let s = 25 + -20. Suppose 0 = 17*x - 18*x + s. Solve -14 = -4*p + 3*i, -p - 2*p = -x*i - y for p.
5
Suppose -24*g + 42 = 28*g - 38*g. Solve 4*i - i + 3*y - g = 0, 3*i + 4*y = 4 for i.
0
Let z = 3 + 11. Suppose -5*p - z = -12*p. Suppose 25 + p = 9*f. Solve 0 = -f*k + 3*l, -5*l + 0*l = 5*k - 20 for k.
2
Suppose 4*p + 2*t + 11 - 27 = 0, p - 4*t + 14 = 0. Let h be (-4)/((-8)/(-10)) + 2. Let q = h + 5. Solve -p*n - f = -0*f - 1, q*f + 3 = n for n.
1
Let m be (-114)/(-18) + 2/(-6). Suppose -i - m = -0*i. Let j be (-1 - i)/(7 + (2 - 8)). Solve 4*x + j*y + 12 = -3, x = -y - 4 for x.
-5
Let i(t) = -174*t**3 + 3*t**2 + 4*t + 2. Let k be i(-1). Let h = k + -175. Solve h = -3*u - 2*v - 15, 9 = -5*u - 3*v - 16 for u.
-5
Suppose -s - 69 = 9*x, 8*s + x = 13*s - 23. Solve 2*w - 26 + 22 = -s*y, -5 = 3*w - y for w.
-1
Let g = 20 + 2. Let x = -37 + 39. Let y(z) = 5*z**2 + 26*z - 47. Let j be y(x). Solve 5*q - j = 0, -2*q + 6*q - g = k for k.
-2
Let w(f) = 6*f**3 + 54*f**2 + 47*f - 3. Let q be w(-8). Solve 11 = 2*u + q*n - 3, -5*n = -5*u for u.
2
Let i(f) = 3 + 5 - 12 - 15*f - 2*f**2. Let o be i(-7). Solve o*q + 20 = 4*u - 12, 0 = -4*q - 3*u - 1 for q.
-4
Let z = 374 + -352. Let k(c) = -c**2 + 23*c - 22. Let n be k(z). Solve -2*f - 5*m = -5*f - 1, n = -4*f - 5*m - 13 for f.
-2
Let r = -26 - -35. Let w be r/7 + -1 + 247/91. Solve -5*s = -2*x + 10, -2*s - 7 = 3*x - w for s.
-2
Let g = -4996 + 5003. Solve 0 = 22*j - 20*j + 2, -2*z - g = j for z.
-3
Let f(l) = 104*l + 9593. Let a be f(-92). Solve 3*r = -32*j + 30*j + 17, 0 = 3*r - 2*j - a for r.
7
Let j(d) = 2*d**2 + 22*d - 19. Let n be j(1). Solve -n*r = -10*w + 6*w + 31, 4*w - 19 = r for w.
4
Let o be 54/(-16) + (-24)/(-64). Let p = -5 - -3. Let t be (p + -5)/(-1) + o. Solve -3*h - 5 = -5*z, -3*z - h = -t*h - 9 for z.
-2
Suppose p + k = -k - 12, -35 = 5*k. Solve -2*v + 8 = -2*f, 4*f + 17 = p*v + 3 for f.
-3
Suppose 3*z = 2*s - 25, 17*s - 14*s - 3*z = 30. Solve o = s*j - 4*j - 2, 0 = -o - 3 for j.
-1
Let c = 108 - 103. Suppose -68 + 73 = -c*n. Let y be n + 5/(-15) + 38/6. Solve q = 3*q + y*j - 5, -14 = -2*q + 4*j for q.
5
Let p(l) = -l**2 - 6*l + 5. Let z be p(-5). Let d = 4 + -2. Let n be 65/(2795/688) + -11. Solve z = -3*x - x - n*q, 5*q + 10 = d*x for x.
0
Suppose -45*l - 153 + 288 = 0. Solve 0 = -5*u - 2*f + l, -21 = 3*u + 5*f for u.
3
Suppose 0 = -3*f + 15, 5*o + 10 + 10 = f. Let n be -10*(o/6*1)/1. Suppose -4*s + 12 = -0. Solve 0 = 3*l - 4*z - 1, s*l - 18 = n*l + 2*z for l.
-5
Let j = -14 - -3. Let n(k) = 14*k + 109. Let y be n(-7). Let f = j + y. Solve -4 = 3*b - f*l + 2*l, -5*b + 5*l = -10 for b.
0
Let d(l) = -l**2 - 2*l + 3. Let v be d(0). Suppose v*z + 15 = -0*z, 0 = 3*y - 4*z - 113. Suppose -9*f + y = -5. Solve -2*w = -5*w - 9, w = -f*q + 9 for q.
3
Let v be (-12)/((-4)/2) + -2. Let n = -4 - -4. Suppose 15*l - 2*f - 18 = 13*l, 3*f = 4*l - 41. Solve 4*s - x = -6 - 0, n = 3*s + v*x + l for s.
-2
Let w be (5 - 7)*(4 + 1 + (-3 - 4)). Solve -4*b = n + 8, -b + 4*n - 31 = w*b for b.
-3
Let l be 34 + (-8 + (-8)/(-4) - -4). Suppose 0 = -3*v + 60 - 51, 4*z = -4*v + 32. Solve -4*o - 22 = -z*t + 19, -4*t + l = -3*o for o.
-4
Let n be 1/(-2)*(-2 - 2). Let p = 9 + 8. Let v(g) = -g + 21. Let c be v(p). Solve n*q + 7 = 3, -q + 10 = c*y for y.
3
Let i = 1161 + -1157. Solve i*y + 0*l - 4*l - 16 = 0, -5*y - 3*l = 20 for y.
-1
Let c = -4548 + 4552. Solve f - 4*v = -4*f, c*f = 5*v - 9 for f.
4
Let z(r) = r**3 - 11*r**2 + 7*r - 75. Let k be z(11). Solve -k*o - 7 = -3*o - 2*p, -3*o + 15 = 3*p for o.
3
Suppose 2*l = 6*l + 84. Let z be (14/(-21))/((-2)/l). Let q be (-1 - 9/(-2))*(-4)/z. Solve 14 = q*w + 3*g - g, -3*w + 13 = g for w.
3
Suppose n - 3*n - 7 = 5*j, 2*j - n + 10 = 0. Let u be 12 - j/(-6)*-4. Let a = 109 - 107. Solve 4*w = d - 15, -u = a*d + 4*w + 16 for d.
-5
Let f(l) be the second derivative of l**3/3 + 11*l**2/2 - l. Let z = 2079 - 2082. Let d be f(z). Solve -5*j + 3*h = -d, -h - 3*h = 0 for j.
1
Let a = 256 - 239. Solve 4 = 4*t + 4*m, 0 = -a*m + 18*m - 4 for t.
-3
Let j(p) be the first derivative of -8*p**2 + 291*p + 42. Let i be j(18). Solve r - 2*g + i = -6*g, 0 = -3*g - 3 for r.
1
Suppose 7*g - 259 = 140. Suppose -g = -14*u - 1. Solve -4*t = -4*a + 16, a + 2*t - t = -u for a.
0
Suppose -2*d - 7 + 29 = 4*j, 13 = -4*j + 5*d. Suppose j*a = 81 - 69. Solve 16 = -0*l - l - a*x, -3*l = 2*x + 18 for l.
-4
Suppose 27*t - 20*t + 352 = 18*t. Solve t*o = 31*o + 1, -5*g + 5*o + 10 = 0 for g.
3
Let u(x) = -50*x + 1852. Let p be u(37). Solve 2*g - 2*c = -6, -5*g + 10*g + p*c = -22 for g.
-4
Suppose -310*s + 544 = -160*s - 118*s. Solve -3*x + s = 7*c - 6*c, 4*c = 2*x - 2 for x.
5
Suppose -2*n = -4*s + 30, 14*n - 1 = 13*n. Suppose -s*k + 27 + 5 = 0. Solve 5*v = -4*o - 15, -k*o - o - 30 = -5*v for v.
1
Let r be 56/168 - (1 + 11/(-3)). Suppose 103 = -r*x + 115. Solve 5*k = 0, -x*k - k = n - 3 for n.
3
Let o be 134/11 + (-6)/33. Let s be (-15)/90 - (-2)/o. Solve -4*t - t + 3*x - 27 = s, -2*t - 4*x = -10 for t.
-3
Let b = 189 - 188. Let k be -3 + (4 - 3)/(b/5). Solve 3*c - g = g - 20, k*c = -2*g for c.
-4
Let i(j) = -j**3 + 12*j**2 + 5*j - 46. Let q be i(12). Solve 3*t + 2*n + q = 3*n, -3*t - 18 = -3*n for t.
-4
Let m be (270/(-60))/((-9)/14). Let y = 10 + -5. Suppose s - y*s = -4. Solve s = -2*w + 5*f - 2*f, -5*w = -3*f + m for w.
-2
Let l(y) = 7*y + 33. Let u be l(-3). Suppose -u = -49*o + 45*o. Solve -o*x = -5*a + 15, 0 = -5*x - 3*a - 19 - 6 for x.
-