40*d - 13 = 137*d + 4*j for d.
3
Suppose 4*p - 59 = -3*r - 718, 4*p = -2*r - 438. Let m = r + 225. Solve -3*n = -m*f - 18, -2 = -4*f + 2*n - 18 for f.
-3
Let b = 490 - 280. Let k be -4*((-75)/b + (-1)/7). Solve 5*f = -2*p + 9, -9 = k*p - 5*f + 4*f for p.
-3
Suppose 880 = -9099*u + 9143*u. Solve -22*r - m = -u*r + 5, -2*m + 5 = r for r.
-5
Let i = -1294 - -578. Let c = 718 + i. Solve k = c*k + 2*z + 6, 4*k + 2*z - 6 = 0 for k.
4
Suppose -229*q + 78*q + 3322 = 0. Solve 3*p + 3 = -15, n = 3*p + q for n.
4
Let r be (-1 - (-1)/(-1)) + 6. Suppose 2*v = -3*s + 9, -5*s + r*v + 12 = -s. Solve 5*q - s = 4*c + 3, -4*q = -3*c - 5 for q.
2
Let c = 3 - 0. Suppose -3*o - 5*x = o - 8, -c*x = 0. Let u be (-7 + (-56)/(2 + -10))*(-11)/(-121). Solve -4*w + o*b = 12, u = w + 3*b - 4 for w.
-2
Let k(d) = -145*d - 1010. Let a be k(-7). Solve -2*g - 21 = 2*g + a*n, 0 = g + n + 4 for g.
1
Let f be (-14 + 7)/(-56)*-6*(-88)/2. Solve -2*u - 30 + f = c, -c + 9 = -4*u for u.
-1
Suppose -54 = -3*a - 48. Suppose -5*s + 23 = 2*n, 6 = a*n - 5*s + 13. Solve u = 2*y + 2*u + 1, -n*u = 12 for y.
1
Let c = 6500 - 6494. Solve 0 = z + 4*v + 8, v - c*v + 1 = 4*z for z.
4
Suppose 3*g - 5*s - 460 + 174 = 0, 5*g + 4*s - 489 = 0. Let u = g + -93. Solve -o + 3 = 5*l, -5*l + l = -u*o - 12 for o.
-2
Suppose -2*f + 12 = 3*l, -2*l - 2*f + 0 = -10. Suppose -z = -18 + 13, -l*j - 3*z + 21 = 0. Solve h - w = 5*h + 6, j*w - 8 = h for h.
-2
Let l(p) = -p - 4. Let d be l(-6). Let h(i) = -i**3 + 9*i**2 + 120*i - 1097. Let b be h(10). Solve d*n - 5*n + 5*y = 32, -n = -b*y + 16 for n.
-4
Let d = 2918 - 2915. Solve -n - k = 5, -30*n + 7 = -25*n - d*k for n.
-1
Let o be (28/(-70) - (-1)/(-10))*-2*16. Solve -17*a + 2*s = -20*a + o, 3*a = s + 1 for a.
2
Let i = 7 + -3. Suppose i*h - 5*h = -4*f + 16, h - 24 = -4*f. Let v = -156 - -161. Solve -t + 5*s = -f*t + v, -4*s + 4 = 5*t for t.
0
Let v be -16 + -5 - -32 - 8. Solve -5*a - 15 = -o, -v*a - 3*o = 2*o + 37 for a.
-4
Let k = -197 - -197. Solve k + 1 = j, -j - 4 = z for z.
-5
Suppose 4*x - 14 = -5*i, 5*i + 32 = 5*x - 8. Suppose u - 8 = -7*w, -20 + 28 = -2*w - 2*u. Solve 3*m = 4*p - 8, m + x = w*p - 0*p for p.
5
Let q = 208 - 200. Let d(f) = -f**2 + f + 2. Let a be d(1). Solve -a*z = v - 8, v + 7*z - 9*z = -q for v.
0
Suppose 3*c + 15 = 3*i - 6, 0 = -2*i + c + 9. Suppose 0 = -i*w + 1 + 11. Let r be 0/(4 - 20/4). Solve -11 = -4*j + f - w*f, 3*j - 4*f - 16 = r for j.
4
Let j = -4 - -9. Suppose 5*y = -j*b - 65, -b - y - 16 = y. Let c(t) = -t**2 - 11*t + 6. Let g be c(b). Solve 0 = -4*v + 4*w - w - 24, g = -4*v + w for v.
-3
Let b(u) = 14*u + 18*u - 26*u + 18 + 0. Let v be b(-3). Suppose -8 = -4*x + 4*o, 3*x - 2*o - 8 = -v*o. Solve -3*z - 2*p = -4, 2*z + x*p = 4*z + 8 for z.
0
Suppose 10 = -f + 3*f. Let g(x) be the second derivative of x**4/12 + x**3/6 - 12*x**2 + 49*x. Let l be g(-6). Solve 3*z - f = -5*h, -l*z = -h - 3*z + 19 for h.
4
Let l(u) = 5*u + 25. Suppose -2*g + 244 = -2*n, 626 = 4*g + g - n. Let w = -131 + g. Let q be l(w). Solve -2*r - 3*h - 20 = 0, -4*r + 9*r + h + 24 = q for r.
-4
Suppose 2*j + 3*m - 9 = 0, 4*j - 14 + 0 = -2*m. Suppose 284*z = -369*z - 25*z - 575*z. Solve 2*l - 2*d - 4 = 0, 5*l + d - j*d - 7 = z for l.
1
Let o(m) = -m + 91. Let u be o(-4). Suppose 2*h + 17 = 5*v, 98*h - 17 = u*h - v. Solve l - 5 = x, 0 = h*x - 7*l + 2*l + 21 for x.
-4
Let a = 18 - -20. Let q = -27 + a. Suppose -q*t + 10 = -6*t. Solve -z + y = 9, -6 + 4 = t*z + 2*y for z.
-5
Let g be ((-1)/(-11))/(287/15785). Let i(x) = -x**2 - 8*x + 3. Let b be i(-7). Solve g*d = b, -p + d - 7 = -d for p.
-3
Suppose -i - 19 = -5*w, 0 = 3*i + w - 4*w - 3. Suppose i = -3*b - 12. Let x be b/(-6) - (-2 + 3). Solve q + 3 = -f, q + 2*f + x + 3 = 0 for q.
-3
Let h = -285 + 293. Suppose h*r + 21 = 37. Solve -2*g - 4*q = -2*q, 10 = 3*g - r*q for g.
2
Suppose 4*h - 632 = q - 2380, -h - 3*q - 450 = 0. Let i = h - -440. Let v = 7 + -4. Solve -v*j - 2*j = i*y - 17, -5*j - 5*y + 20 = 0 for j.
3
Let f be (-17)/(-85) + 18/10. Let x be 160/15 - ((-4)/(-3))/f. Solve 5*d = 4*j - 8 - 13, -2*d = x for j.
-1
Suppose 17 = 3*u + 4*i, 18*u - i = 15*u + 7. Solve 2*t = 3*g - u - 16, 2*t - 16 = -4*g for t.
-2
Suppose 62 = 7*x + 6. Let y = x + -4. Suppose z = y*z - 2*c - 6, -5 = -2*z + c. Solve -z*a + t + 7 + 2 = 0, -5*a + 21 = 2*t for a.
3
Let i(c) = 2*c**3 + 7*c**2 + 2*c + 1. Let m be i(-3). Let f(q) = -42*q + 172. Let v be f(m). Solve 0*u + v = u, 3*k = -u + 13 for k.
3
Suppose 599 = -6*s - 1435. Let d = s - -342. Solve -3*n + 5 = 2*z, -3*z + 5*z - d = -5*n for z.
4
Let c(t) = 2*t**2 - 8*t**2 - 56 + 6*t**2 + t**2 - 45 - 12*t. Let y be c(18). Solve -v - 2*v - 4*b = -18, b = -2*v + y for v.
2
Let p = 30 + -15. Suppose 2*h = -3*h + p, 0 = -4*z + 5*h + 97. Suppose -10 = 6*k - z. Solve k*t - 15 = 0, -3*v + 2*t + t = 0 for v.
5
Suppose -5*c - 2*i - 9 = -7, 0 = c - 4*i - 4. Let q be (-16)/(-64)*(c - -16). Solve -4*v - n = -4 - 0, -3*v + 22 = -q*n for v.
2
Let h(n) = 4*n**3 + 8*n - 8. Let p be h(1). Solve -x - 9*u + p*u = 15, -5*x + 3*u = -37 for x.
5
Let i = -4632 - -4633. Let u = 3 + 2. Let x = 5 - u. Solve 3*t - 12 = x, t + 17 = 4*f + i for f.
5
Let z(u) = -4*u**2 - 27*u + 10. Let b = -18 - -11. Let a be z(b). Solve -o = -4*o + 15, 3*r - a*o = -18 for r.
-1
Let v = 933 - 927. Suppose -3*s - 9 = -2*z - 25, 4*s - 33 = 5*z. Suppose 0 = p + s - v. Solve -15 - 3 = -2*i + 4*m, -p*m = 20 for i.
-1
Suppose -5*h + 10 = -0*h. Suppose 0*b - 5*b = -25. Suppose -o - 3*m = -12, 3*o + 2*m - b = 3. Solve -6 = 3*v - 3*x, -3*v + 4*x - h*x - 8 = o for v.
-4
Suppose 5*b + 4*h - 26 = 0, 16*b = 17*b + 4*h + 14. Solve -3*v - o - b = 0, 3*v + 10*o - 5*o - 10 = 0 for v.
-5
Suppose 3562 = 73*k + 2978. Let d = -9 + 14. Solve d*z + k*i + 5 = 3*i, -5*z = 3*i + 5 for z.
-1
Suppose 34*p - 33*p - 9 = -g, -5*p = -3*g - 5. Let v be -3 + (-27)/9 + 10. Solve 2*u = 2*w, -w + v*w = -p*u - 35 for u.
-5
Let h = -8417 - -8417. Solve 0 = -4*j - c - 20, 5*j - 3*c - 391 + 416 = h for j.
-5
Let b = -50 + 42. Let f = 6 + b. Let p be (-4)/48*-2 + f/12. Solve -3*s + 4*q + 25 = p, -2*s + 9 = -3*s - 3*q for s.
3
Let f = 17 + -9. Suppose -5*u = s + 3*s - 37, s + u - f = 0. Let z(v) = -v**3 + 5*v**2 - 3*v - 5. Let k be z(s). Solve -k*m + 4*a = -4, -m + 4*m = -a + 3 for m.
1
Suppose -58 - 6 = -2*n. Let c(t) = -5*t - 9. Let r be c(-9). Suppose -n = z - r. Solve -3*x + 4 = -2, 3*m - x = z for m.
2
Suppose -63 = 3*o - 6*o - 4*f, 0 = 3*o + 3*f - 66. Suppose 94 = w + o. Let s = -67 + w. Solve k + 5 = -s*m, -5*k - m + 5*m = -3 for k.
-1
Let s be (-2)/4*1 + 51/(-34). Let c = s + 6. Solve 0 = 3*l + c*i - 22 + 5, -l - 2*i + 7 = 0 for l.
3
Suppose q = -4*v - 6, 278 = -q + v + 292. Solve 0 = -134*n + 130*n + 2*w + q, 0 = 3*n - 4*w for n.
4
Let u = -2 - -4. Let l be -1 + 35 + 0 - (-9 - -5). Let k be (0 - (-6)/12)*l. Solve -4*o + u*o + k = -3*g, 2*g - 4*o + 26 = 0 for g.
-3
Let k be 27/(-12)*(-30)/(-27)*(-36)/15. Solve -5*t = -20, -4*t - k = -3*z - 34 for z.
-4
Suppose 11*y + 5*t - 9 = 9*y, 2*t = 3*y - 4. Solve -3*g + 5 = -5*i - 8, y*i + 3*g = -22 for i.
-5
Let j(c) = c**3 - 10*c**2 + 3*c - 152. Let n be j(11). Solve -b + 3*t = -32 + 27, 0 = n*t + 4 for b.
-1
Let d = 23308 + -23307. Solve -3*i + 13 = -5*u + 10, 5*u + d = i for i.
1
Let l(n) = 5*n + 95. Let i(t) = -3*t**2 + 5*t + 4. Let h be i(-2). Let s be l(h). Let j = -5 - -8. Solve 0 = -j*b, s*b - 4*b - 2 = -z for z.
2
Let t = -123 + 127. Suppose -72 = -5*b - 4*p, -44 = -t*b - p + 18. Solve -j + b - 4 = 5*g, -3*g - 4*j = 3 for g.
3
Let k(t) = 4*t**2 + t - 2. Let u be k(2). Suppose p + 3*p = u. Let o(n) = -421*n - 52200. Let f be o(-124). Solve 5*z = -2*y - 33, f*z + 8 = -p*y - 28 for y.
-4
Suppose 66 = 2*m - 6*f, 0 = 661*m - 657*m + 2*f - 104. Solve -26*j + 14 = -m*j + 5*s, 0 = j - s + 2 for j.
1
Let l(i) = 12*i + 147. Let y be -6 - (-2 + 7) - (9 + -8). Let r be l(y). Solve 0 = -r*u + 4*x - 12, -4*x = 3*u + 2 + 10 for u.
-4
Let g = -319 + 329. Suppose -47 - 3 = -g*q. Solve -o = i - 4 + 5, 4*o + q*i = -6 for o.
1
Let g be (108/45)/3 - 6/(-5). Let c be ((-12)/20)/(2/(-10)). Solve 0 = 2*l - z + 11, 0 = c*l + g*l + 3*z + 22 for l.
-5
Let g be ((-4)/6 + 20/12)*-4. Let o be (g/(-16) - (-1)/(-4)) + -5. Let y be 1/(3 + o/2). Solve r = 4*q - 0 - 1, -y*r = -2*q - 4 for q.
1
Let h(c) = c**2 + 37*c + 312. Let q be h(-13). Solve q = 