 for u.
2
Suppose -25 = -5*m, 1898 = 3*r + 2*m - 734. Let x = r + -872. Let n be 1/(-2)*56/(-2). Solve -4*w - 1 = -g + 9, n = -5*w + x*g for w.
-2
Let r = -2156 - -2159. Solve 3*u + 6 = -3*n + 15, 11 = r*u + 4*n for u.
1
Suppose 9*c - 17 = 8*c - 5*g, -5*c + 5*g + 205 = 0. Suppose -3*u - 20 + c = 5*w, -u - 1 = -5*w. Solve -u*k = 20, j = -j - k + 5 for j.
5
Let k be 0 - (0 + 0) - -4. Let q be 936/162 - ((-21)/(-27) + -1). Let p = q - k. Solve -6 = -p*c, 0 = 4*r - 4*c + 28 for r.
-4
Suppose 5 = 5*v + 10, 4*f - 23 = 3*v. Solve -f*c - 19 = d, -4*c - 5 - 15 = -4*d for d.
1
Let q(u) = 2*u**3 - 5*u**2 + 8*u - 7. Let v be q(2). Suppose -m - 5*c = 11, -2*m - 6 = -v*m - 2*c. Solve 9*d - m*d + 26 = a, d - 5*a = -10 for d.
-5
Let l(v) = v**3 - 40*v**2 - 72*v - 500. Let g be l(42). Solve -3 = -3*z - d, 0*z - 5*d + 4 = g*z for z.
1
Suppose -10 = -5*h + 92*i - 87*i, -2*i = 2*h - 4. Solve 0 = o - 3*o + 3*u, -o + 1 = -h*u for o.
-3
Let g(r) = -3*r - 1. Let p be g(-9). Let u = 29 - p. Suppose -9 = -3*v - 3*y - 6, -2*y = 5*v - 11. Solve 3*h + 3 = u*f, v*f + 2*f - 11 = 2*h for f.
3
Suppose 117 = -22*l + 25*l. Suppose -42*f - 15 = -l*f. Let a be 6 + (-35)/f + -4. Solve 5*q - 1 = -3*d, -5*d + a = 3*q - 2*q for d.
2
Let o = -579 + 582. Suppose 2*h = -2*h + 8, o*d = -4*h + 17. Solve 4*g = d*q + 2*q + 3, 0 = 4*g + 4*q + 24 for g.
-3
Let n be 3/(-2 - -5) - (2 - 11). Let z be 39/(-9)*(-3 + 0). Let p = z - n. Solve y = 5*r - 1, -r = 3*y - p + 6 for r.
0
Suppose 5*w = 29 - 14. Suppose -w*d + 1 = -2. Let z be 0/(((-2)/1)/1 + d). Solve 4*q + 3*k = -0*q - 11, z = 2*q + 4*k - 2 for q.
-5
Let k = 24 + -21. Suppose k*h = 6*h, 12 = 4*v - 2*h. Suppose 0 = -3*m + 5*i + 7, i = 4*i - v. Solve -4*p = -y - 16 + 4, 0 = -p - m*y + 3 for p.
3
Let y = 942 - 940. Solve -2*o + r + y = 5*r, 0 = -4*o + 5*r + 17 for o.
3
Suppose 0 = -57*y - 327 + 555. Solve 5*i - 7 - y = 2*n, 4*i + 2*n = 16 for i.
3
Let r(g) = 7*g + 44. Let a be r(-6). Suppose 4 = -3*p - a*j, -50*p + 51*p + 8 = -2*j. Solve -m = p*l + 1, 13 = 4*l + 2*m + 3*m for l.
-3
Let p(d) = d**3 + 8*d**2 - 8*d + d - 4 - 3*d. Suppose 120*g + 927 = 17*g. Let m be p(g). Solve 2*w = m*x - 5, 28 = x - 0*x + 5*w for x.
3
Let v = 806 - 803. Suppose 2*a - 16 = -3*t - 0*a, -v*a = t - 10. Solve t*w + x + 36 = 5*x, -3*x + 2 = 2*w for w.
-5
Let a(k) = k**3 + 5*k**2 - 6*k + 1. Suppose -12 = -158*g + 152*g. Let d be a(g). Solve 5*y = 4*f - d, -7*y + f = -3*y + 7 for y.
-1
Let u = -10 - -16. Let o be 0*((-1157)/(-117) - 10). Solve u = -3*n + 3*d, o*n - n - 5*d = -16 for n.
1
Let n = -12833 + 12837. Solve -13 = 3*i - t, -4*i - n*t = -10 + 22 for i.
-4
Let d = -1 + 4. Let o(j) = j**3 - 7*j**2 + 22*j - 18. Let l be o(8). Let s = l - 218. Solve -4*h + d*q + 5 = 0, s*q + 14 = -5*h + q for h.
-1
Let d(p) = p**3 + 19*p**2 - 41*p + 23. Let o be d(-21). Suppose n - 4 = 4*c - 3*c, -2*n + o = 4*c. Solve -4*y = -n*x - 2*x - 17, -3*x = y for y.
3
Let j be 2*(-2)/(-10)*30. Let v be 11 + (j/(-18))/((-2)/(-3)). Suppose -2 = 2*h - v. Solve 3*a + a + h*z = -4, -4*a = -z + 4 for a.
-1
Let j be -22 + 20 - (-5)/1. Solve 3 = j*w, 5*q = 9*q - 5*w - 15 for q.
5
Let c(x) = x**3 - 11*x**2 + 11*x + 15. Let q be c(10). Suppose 2*b - 7 = -2*i + 5*b, -q = -4*i - 5*b. Solve i*m = -2*t + 30, 2*m + 3*t = -m + 27 for m.
4
Let z be ((-15)/(-6) - -2)*(-280)/(-252). Let h(v) = -v**2 + 10*v + 14. Suppose -2 = u - 13. Let d be h(u). Solve w = -0*w - 4*l - 1, z*w + d*l = -22 for w.
-5
Let s = 41946 + -41942. Solve 0 = -4*n + 4*f + s, 0 = -4*n + 4*f + f + 6 for n.
-1
Let x(y) = -134*y - 664. Let p be x(-5). Let a be (-6)/(-1)*(-4)/6. Let j = 6 + a. Solve -k = -u - 2, j*u + k - p = u for u.
2
Suppose -5*n + 14 = -41. Suppose 2*p - m = 0, 4*m = 5*p - 5 + n. Solve -4*c - c = -p*u + 27, -2*c - 15 = -5*u for c.
-5
Let c(r) be the second derivative of r**4/12 + 7*r**3/2 + 49*r**2 + 151*r. Let b be c(-7). Solve 0 = -3*p + 5*g + 3, b = -5*p + 4*g - 8 for p.
-4
Suppose 4*c + 111 - 123 = 0. Suppose -3*w - 4 = -4*w. Suppose c*o + 3 = 5*z + 5, -w*z + 56 = 4*o. Solve 3*a + 3*j + o = 0, 6*j = j - 15 for a.
0
Let v(f) = 60*f - 123. Let q be v(2). Let p be (-16)/104 - 205/195*q. Solve -p*j + 4 = -0*d + 2*d, -2*d = -10 for j.
-2
Let a = 429 - 425. Let n(d) = -d**2 + 5*d. Let f be n(5). Suppose 3*v = c + 10, f = a*c + 2*v - 0*v - 30. Solve 2*p + 16 = c*o - o, 4*p = o - 18 for p.
-4
Let p = 19503 + -19476. Let n = 47 - 18. Solve -p = 3*w - 3*t, 3*w - n = 4*w - 5*t for w.
-4
Let n(c) = 2*c - 1. Let u be n(2). Suppose 0 = -637*w + 668*w - 62. Solve 1 = -b, 5*q - u*b - w*b = 0 for q.
-1
Let w be 7 - (0 - (-7 + 20/4)). Solve -x - 2*n = 10, -w*n = -3*x + 11 - 8 for x.
-4
Let p be (-144)/(-27)*((-90)/8)/5. Let h be 1/((2/p)/(24/(-16))). Solve -5*v - 4*i = -h, 0 = i - 1 for v.
1
Let k(s) = 181*s - 3247. Let z be k(18). Solve j - 3*x = -9, z*x - 8*x - 9 = -5*j for j.
0
Suppose 179 - 122 = 19*b. Solve -u = -a - 6, 5 = -b*a + 5*u - 19 for a.
-3
Let a(b) = -10*b - 2*b**2 - 2 + b**2 + 4*b + 4. Let l be a(-6). Suppose -3*h = -3*j - 5*h + 31, -l*h = -10. Solve -r = d - 8, d = 2*d - 2*r + j for d.
3
Suppose -194 - 108 = -151*h. Solve 0 = 4*z + h*g + 10, 15 = -170*z + 165*z - 3*g for z.
0
Let q be 219/9 + -6*(-1)/9. Suppose 0 = 2*w + a - 10, w = 4*a + q - 20. Solve 4*g = -2*t + 6, -w*t + 4*g + g = 30 for t.
-3
Let r be (14 + -9)/(1 + 0). Suppose -170 = -r*m + 10. Let p be (2/3)/(12/m). Solve 7*t + 15 = 2*t + 3*d, -5*d + 25 = -p*t for t.
0
Suppose -17*x + 18 = -14*x. Let s be 26/4 - x/(-12)*1. Suppose 0 = -14*r + 17*r - 12. Solve 3*c + h - 15 = 0, -r*c - 2*h = -5*h - s for c.
4
Suppose 5*q - 20 = -15. Suppose -y = -w - q, -y = -4*y + w - 3. Let v be 8/4*((-35)/y)/7. Solve -d = -4*n + 2*d - 11, 2*d = v*n + 19 for n.
-5
Suppose -a + 1 = 244*p - 246*p, -3*a + 3 = 3*p. Solve p = -3*s - w + 14, -15 = -5*w + 10 for s.
3
Let x = -1737 + 1741. Solve 4*u = -x*y - 8, 2*u + 4*y + 4 = 6 for u.
-5
Suppose 3*h - n - 3 + 0 = 0, -2*h = 3*n + 9. Let d be h/2*2/(-10). Solve 6 = y - 3*y + 3*g, -3*y + 3*g - 6 = d for y.
0
Let h(c) = 2*c**3 - 6*c**2 - c + 15. Let g be h(2). Solve 9*l + w = 10*l, -l - 30 = g*w for l.
-5
Let i(y) = -y**3 - 15 + 17*y**2 - 10*y - 30 + 10. Let z be i(16). Let s = 64 - z. Solve -5*g = -s*n + 34, 2*g - 5 = -4*n - 3 for g.
-5
Let c be 15*(8/(-6))/(-4). Let y(b) = 5*b**2 - 95*b - 210. Let v be y(21). Solve v = 3*z - 5*g - 7, 3*z + 4*g + c - 21 = 0 for z.
4
Let z(h) be the third derivative of 5/3*h**3 - 28*h**2 - 1/12*h**4 + 0 + 0*h. Let m be z(3). Solve 6 = -2*p, -2*p = m*d - 4*p + 6 for d.
-3
Suppose 0 = 3*s, -3*c - 59 - 28 = -2*s. Let h = c - -39. Suppose 4*i - h*i + 18 = 0. Solve 0 = i*p - 5*y - 5, p + 3*p - 3*y = 14 for p.
5
Let k be (8 + -7)*4/2. Suppose -b = k*w + 137, 0 = -4*b - 3*w - w - 556. Let t = -135 - b. Solve 4*m + 11 + 0 = -5*d, 3*m = -3*d - t for d.
-3
Let s = -145 - -105. Let l = -135 - -96. Let m = l - s. Solve -t + 2*f = f + m, -4 = f for t.
-5
Suppose 5*d = b + 2*d - 60, 2*d = -5*b + 249. Let k = 53 - b. Let y be (k*9/12)/((-3)/(-6)). Solve 5*p = -3*o + 29, 2*p = o + y*p - 7 for o.
3
Suppose -4*i = 2*b - 466, 5*i + 200 = b - 5. Let v = b - 220. Solve h - 8*x = -3*x + 3, -v*x = 5*h + 15 for h.
-2
Suppose 0 = -3*m - h + 41, -m - 3*h + 11 = -8. Suppose -5*i + m = 5*n - 6*i, -3*n = -3*i - 15. Solve 4*w - 3 = 3*o, 2*o + 0*w + w + n = 0 for o.
-1
Let b(l) = -l**3 + 87*l**2 + 361*l + 285. Let c be b(91). Solve 5*p + c + 15 = z, 2*z + 16 = -4*p for p.
-5
Suppose 2*x - 2 - 6 = 0. Suppose 0*y + 2*r + 52 = y, -x*y = r - 181. Let w = -42 + y. Solve 10 = k + 4*k, 4*d = w*k - 28 for d.
-5
Let n(q) = 28*q - 423. Let s be n(17). Solve f - 5*j - 22 = 0, -j - 67 = 3*f - s for f.
-3
Let z be (2/(-10) - (-76)/80)*960/360. Solve -15*l + 14*l - 4*j = 20, z*l + j = -12 for l.
-4
Let o(f) = 25*f + 143. Let c be o(-6). Let x be c - (-30)/(-3 - -6). Solve 3*k + 4*m = -0 + 7, x*k - 25 = 5*m for k.
5
Suppose -4*u = 2*z - 22, -327*u = -323*u + z - 15. Solve u*r - 30 = 4*b, -b = 2*b + 3*r + 9 for b.
-6
Let j be -69 - (1/3)/((-15)/(-45)). Let q = -68 - j. Solve -10 = -4*x - q*a + 8, a - 13 = -4*x for x.
2
Let a(t) = -8*t**2 + 9*t**2 + 50 - 52. Let n be a(4). Solve -n = -z - 5*f + 15, z + 4*f - 24 = 0 for z.
4
Let f(p) = p**3 + 26*p**2 + 4*p + 109. Let s be f(-26). Solve -5*d + 4*h + 26 = 0, 3*h + 3 = -s*d + 1 for d.
2
Suppose 113*n