 for l.
1
Suppose h - 120 = -23*h. Solve k + 20 = -5*m, -20 + 1 = h*k - 2*m for k.
-5
Let x be -5*5*((-889)/175 - -5). Solve 5*r + x*w - 12 = 0, -r + 3*w + 2 - 3 = 0 for r.
2
Suppose -3*v = -5*v + 8. Let b be -9 + (9 - 11)*-6. Solve -v*a = -12, -8*z + 8 = -b*z - 4*a for z.
4
Suppose 0 = -3*l - 2*s + 266, 4*l = -0*s + 3*s + 383. Let n be 182/(-2) + (4 + 10)/7. Let d = n + l. Solve 5*h - 5 = -3*y - 2*y, d*h = y + 11 for h.
3
Let a be -8*(-2 + 3/2). Let z = -1 + a. Suppose 268*i - 18 = -r + 263*i, 5*r = -2*i + 21. Solve 0*s + s = -2*n - r, z*s + 5*n = -7 for s.
1
Let q(p) = p + 9. Let y be q(-6). Suppose 0 = -2*x + y*x - 45. Suppose 0*m + x = 5*m. Solve -2*u - t + m = 0, 2*t - t - 15 = -4*u for u.
3
Suppose -i - 3*z - 9 = -2*i, -3*z - 9 = 5*i. Let s(g) = 5*g - 16 + 21 - 63 + 2*g. Let j be s(9). Solve -j*o - 4*k - k - 10 = i, 2*o + k = 0 for o.
2
Let t(k) = -5*k - 4. Let l be t(-2). Let p(c) = -46*c + 279. Let j be p(l). Solve -3*o + u = 19 - 8, -19 = j*o + u for o.
-5
Suppose -15 = -13*a + 8*a. Suppose 0 = 3*c - 5*w + 6, -8*w = -a*w - 15. Solve 8*b + 6 = -2*q + c*b, -q - b = 0 for q.
2
Suppose 55*a + 9 - 9 = -46*a. Let p = 5 + -8. Let c be (1/p)/(2/(-12)). Solve a = -l + c*k - 9, -3*k = -l - 4*k + 3 for l.
-1
Let g be (68/20 - 1)*(-16)/64*-10. Solve -3*n - 3 = -g*n, 2*u = 4*n - 12 for u.
-4
Let x(j) = j**3 + 132*j**2 - 548*j - 537. Let a be x(-136). Solve -10*c + 2*u - a = -7*c, -4*c = u + 13 for c.
-3
Let r = -6 - -2. Let v(z) be the second derivative of -z**3/6 + z**2/2 - 23*z. Let x be v(r). Solve 5*y = x*q - 0*q, -2*y = -3*q for y.
0
Let b(w) = w**3 + 4*w**2 - 13*w - 2. Let c be b(-6). Solve -v = 62*u - 60*u - 3, u + c = 5*v for v.
1
Let x(t) = -142*t - 19. Let y be x(-2). Let f = 272 - y. Solve 0 = -0*s - 4*s - 5*c + 21, -2*s + f = -c for s.
4
Let y = 57 - 59. Let p be (16*(-2)/4)/y. Solve 0 = j - 2*a - 6, p*j + 3*a + 12 = -a for j.
0
Suppose -75*w - 96*w = -237*w + 330. Solve r = 3*i + 7, 33 = -0*i - 2*i - w*r for i.
-4
Let u = 15182 + -15151. Solve 5*h = g - 22 + u, 5*h = 5*g + 5 for g.
1
Let a(g) = -g**3 + 19*g**2 + 31*g + 236. Let l be a(21). Solve 4*z - 5*y = -40, 35 = z - 4*z + l*y for z.
-5
Let o = 14030 + -14025. Solve 0 = -5*n - 3*p - 4, p - 2 = -o for n.
1
Let q = 254 + -138. Let n = -128 + q. Let y = -8 - n. Solve 0 = y*t - 2*t - 4*z - 4, -20 = 2*t + 4*z for t.
-4
Let y be -1 - -1 - (-9 - -14). Let a = y + 29. Let c(o) = o**2 - 7*o - 40. Let l be c(11). Solve 3*h - 2 = 5*p + 30, a = 2*h - l*p for h.
4
Let q(o) = -o**3 + 120*o**2 + 624*o + 126. Let l be q(125). Solve -3*t + 3*r - 8 - l = 0, -t - 2 = -2*r for t.
-4
Suppose 19*j + 1720 = 257*j + 292. Solve 4*d + 2*m = -j, 5*d + 13 = -2*m + 3 for d.
-4
Let b be 1 - 2*(-2)/4. Let r = 67 + -59. Suppose 12 = a + r. Solve 3 = -2*c - a*f - 3, 3 = b*c + f for c.
3
Let s(h) = -1. Let t(g) = 5*g - 23. Let w(m) = -s(m) + t(m). Let n be w(7). Suppose 15*j - n*j = 8. Solve l - 8 = o + 4*o, 0 = 3*l - j*o - 13 for l.
3
Suppose -5*v - 5*h = 34 + 156, 3*v + 4*h = -115. Let s = -40 - v. Let c be ((-1)/s)/((-20)/(-240)). Solve 21 = -5*z - 2*l, -3*l + c*l - 17 = 3*z for z.
-5
Let s be (6/10)/(((-6)/(-5))/6). Suppose -x + 138 = -s*x. Let a = -57 - x. Solve -h + 2*m = -3*h, 4*h - a = -m for h.
4
Let p(f) = -3*f + 6 - 4*f - 46 + f. Let a be p(-7). Let r be (-1)/(1 + 4/(-3)). Solve -a*n = -r*m - 10, -5*n + 14 = -2*m - 0*m for n.
2
Suppose 27 = 2*s + 34 - 37. Solve 7*u - 3*u - a = -s, -5*u - 12 = a for u.
-3
Let m be (1 + -2 - 3)*-4. Let o(q) = -13*q + 211. Let f be o(m). Solve 4*r - 24 = -4*j, 0*r - 10 = r - f*j for r.
2
Suppose -4*n + 22 = n + 4*w, 3*w = 2*n + 5. Suppose -n = -f + 4. Suppose -2*y = -f*s + 3*s + 5, 5*y + 5*s = 25. Solve -3*u - 8 = y*t - 29, 25 = 5*u for t.
3
Let n(q) = 279*q - 52. Let z be n(2). Let x = 509 - z. Solve -3*v + 4*f = 7, -6*v + x = -v - 3*f for v.
3
Let h(j) = 2*j**2 + 5*j + 23. Let n be h(12). Suppose 0 = 369*l - n*l + 4. Solve 3*w + 2*v = l*w - 3, 5*v + 45 = 5*w for w.
5
Let i be 6 - (-1 + 2 + 1)*632/316. Solve 18 = -2*k + 4*n, -i*k - 5*n = -4*n - 2 for k.
-1
Suppose 0 = 61*r - 1429 - 828. Solve -z + 4*q = 1, -z + 36*q = r*q - 4 for z.
3
Let i = -3168 - -3172. Solve 46 - 30 = 4*w, i*f + 16 = 3*w for f.
-1
Suppose -g + 5*c + 12 = 0, 2*c = 4*g - 0*c - 48. Suppose 12 = 4*i - g. Suppose -547*s + 855*s - 4665 = -1247*s. Solve 0 = -s*p + i, -5 = -0*b + 5*b + 5*p for b.
-3
Let w(j) = 52*j - 100. Let y be -2*1*(-11)/(0 + 11). Let g be w(y). Solve 0*o = 3*o - 2*r + 2, 5*o + g*r = 26 for o.
2
Suppose 2 = 2*h, 117*u = 120*u - 2*h - 133. Suppose -2*y = -3*y - 35. Let c = u + y. Solve -s - s = -c, 0 = -v + 3*s - 16 for v.
-1
Suppose 5*s - t + 5*t = 35, -s = -5*t - 7. Let x = -3 + 4. Suppose 2*n - s = -x. Solve -4*w + a - 6*a - n = 0, -3 = -5*w - 4*a for w.
3
Let m = 270 - 256. Suppose -m*q + 7 + 147 = 0. Solve 3*k = -5*t - q, -4*k + 7 + 21 = -4*t for t.
-4
Suppose 0 = -2*o + 3*s + 10, -2*o = -16*s + 17*s - 42. Solve 0 = -o*j + 16*j - 3*h, -5*j - 2*h = 13 for j.
-3
Suppose 0 = 5*z - 56 - 519. Let y = z - 116. Let k be ((-2)/y)/((-24)/(-84)). Solve -k*m - 4 = -2*x - 3*m, 3*x - 3*m = 0 for x.
-2
Suppose 0*m - 2*b = -5*m - 2878, 5*b = 20. Let q = m - -577. Solve 0 = -4*t - 8, -f - t = -q*f for f.
-1
Let n(t) = t**2 + 13*t + 3. Let j be n(-13). Suppose -2*c + 2*f - 6 = 0, 2*c + j*f + 3 = 12. Solve 0 = p, -4*s - s + 3*p + 5 = c for s.
1
Let d be -8 + (9 + 1 - -2). Let g(n) = -n - 13. Let j be g(-7). Let c be j/((-4)/2) + 2. Solve -2*k = -p, -c*p = -4*k - 16 + d for k.
2
Let z(x) = -x**2 - 69*x + 1361. Let q be z(-85). Solve d - q = -s, -10*s + 14*s - 4*d - 20 = 0 for s.
3
Let u(s) = -15*s + 154. Let t(d) = d + 2. Let g(y) = -6*t(y) - u(y). Let q be g(19). Solve -r + 3 = 4*n - 0*r, -n + 4*r + q = 0 for n.
1
Suppose -1 = -5*o + 114. Suppose -o*k = -29*k + 78. Solve -5*u = -5*q + 30, -2*u = -2*q + u + k for q.
5
Let x = 149 + -147. Let h be (39/21 - x) + 88/28. Solve f = -5*g + 6, 3*f = h*g - 0*f - 18 for g.
2
Suppose 5*t = 2*n + 26, 2*n + 20 = 29*t - 27*t. Solve 0 = -10*u + 8*u - t*g, -g = -u - 4 for u.
-2
Let u be -9*14/(-1176)*16 - 4/(-14). Solve -g - 6 = -2*s - 4, 0 = -u*s - 2 for g.
-4
Suppose 2*g - 5*f - 73 = 0, 5*f - 101 = -3*g + 4*f. Let p(d) = 3*d**2 - 6*d - 9. Let k be p(-2). Let h = g - k. Solve 10*t - 5*t + 3*l = h, -13 = t - 5*l for t.
2
Suppose 2*v - 4 = 3*v, -j = 5*v + 15. Suppose 2*g - 32 = -14*g. Let t be (g + (-2 - -2))/((-27)/(-135)). Solve 0*r + 4*r + 2 = j*b, 2*b + t = -2*r for b.
-2
Let q be ((-588)/(-56))/(35/30). Solve -t + 5*u = -q - 13, t + 2*u = -13 for t.
-3
Suppose -5628*o + 5614*o = -238. Solve -o*m = x - 13*m + 7, 8 = 4*x - 2*m for x.
1
Let b be (-2)/(-5 + 1)*30. Suppose -u - 3 = 5*a, 7*a + b = 6*a - 5*u. Solve 5*q - 25 = a, 4*m - 7*m - q = -2 for m.
-1
Suppose -v - 344 = -5*x - 130, x + 5*v - 22 = 0. Suppose -23*t = -2*t - x. Solve -t*n - 2 = -i - 1, -2*i = -2*n - 2 for n.
0
Suppose 0*a - 4*a + 1260 = 0. Suppose -a = -2*l - 5*l. Let y be (-1 + 2)*-3*l/(-27). Solve 0*z = -3*s + z + y, -z - 9 = -5*s for s.
2
Let h be 19/(4560/688) + (-3)/((-45)/2). Suppose -m + 2 = -4. Solve -5*o = -2*y + m, 2*o + 12 = -y - h*y for y.
-2
Let y(q) be the first derivative of q**4/4 + 2*q**3/3 - 3*q**2/2 + 3*q - 45. Let w be y(0). Solve 0*b + 16 = 2*b - w*v, -b + 10 = -2*v for b.
2
Suppose -10*n + 200 = -200. Suppose -704 - n = -12*v. Let g = -58 + v. Solve -35 = 5*y - g*f - 10, 4*f - 19 = -y for y.
-1
Suppose -l - 4*c = -3, 3*l + 1 = 2*c + 10. Suppose 3*a - 10 = 6*j - 7*j, -5*a = -l*j - 12. Solve 3*w = -m + 7*w + j, -5*w = 4*m + 17 for m.
-3
Suppose 4*k + 31 - 10 = m, -19 = -3*m + k. Suppose 3*t = 2*w + 15, 3*w = -m*t + 6*w + 25. Solve c = 2*u - 8, -t*c - 5 = -4*u + 17 for c.
-2
Let m be (9/(-15))/((-7)/175). Suppose -5*l + 3*v - 15 = 0, 3*v - m = 18*l - 17*l. Solve -2*t + 6 = -w, -4*w - 4*t + l*t + 12 = 0 for w.
0
Let t(d) = d**3 - 7*d**2 - 5*d - 5. Let p be t(7). Let h = 290 + -300. Let w be 1 + 5 + p/h. Solve 3*k - 3*c + 12 = 0, 0*c = 3*k - c + w for k.
-3
Suppose 21*o + 0*o = 3*o. Solve 5*a + 3*q + 2*q + 10 = o, 3*a = 4*q - 20 for a.
-4
Let n be (1 - -1)/(244/488). Solve 5*p - 1 = j, n*p + j - 6 = 2 for p.
1
Suppose 0 = 2*s + 38 - 42. Suppose -s*y - 42 = -23*y. Solve y*z - 5*n = -4, -8 = -2*n - 2*n for z.
3
Let y(u) = -13*u - 323. Let w be y(-25). Solve -2*s - 10 = -2*f, -3*s 