for l.
1
Let m(s) = -2*s + 10. Let c be m(5). Solve g - 2*g - 5 = -3*l, g + 5*l - 11 = c for g.
1
Suppose 5*c - 213 = 4*h, 3*c - 3*h - 29 - 97 = 0. Solve 5*q = 5*p - c, -q - 25 = -p - 4*p for p.
4
Suppose 10 = 48*c - 43*c. Solve c*k = -5*t - 0*t + 13, 5*k = -3*t + 23 for k.
4
Suppose 5*j = -7*j + 36. Solve -3*w = -r + 4*r + 18, -3*w = -j*r for r.
-3
Let v(l) be the first derivative of -l**2 + 19*l + 7. Let n be v(7). Solve 4*t + 3 + 1 = -3*q, -n*t - 5*q = 10 for t.
2
Suppose 0 = a - 3*a + 8. Let b(i) = -2*i - 3. Let j be b(-4). Suppose -u - 60 = -j*p, u + 17 - 41 = -2*p. Solve a*h + 0 - p = 4*g, 3*g + 2*h + 9 = 0 for g.
-3
Let k(c) = -2*c**2 - 2*c - 3. Let s be k(-4). Let q = s - -31. Solve 2*w + 4 = -b - b, 0 = -5*w - q*b - 6 for w.
2
Let m(l) = 2*l**2 + 50*l - 298. Let a be m(-30). Solve a*h - 4*h + 10 = 2*n, -n + 9 = 5*h for h.
1
Suppose q - 17 = 4*y, -25*y - 2*q = -22*y + 10. Let f = 8 + -11. Let g be (6 + -3)*y/f. Solve -t + 3*m = -2, g*t = 8*t - 2*m + 12 for t.
-4
Suppose -4*m = 3*f - 8, 0 = -m - 2*f - f - 7. Suppose -m*s + 11 = 6. Solve 14 = -j + d + 3*d, -j = d - s for j.
-2
Let w(n) be the second derivative of -6*n + n**2 + 1/12*n**4 - 5/6*n**3 + 0. Let i be w(5). Solve -g + i*g + 13 = -3*c, 2*g = -5*c - 21 for g.
2
Suppose 20 = -4*r, 5*n - 5*r - 85 = -9*r. Solve i + 6 = z, -2*z + 5*i = -0*i - n for z.
3
Let j = -630 - -634. Solve j*y - 2 = -5*l - 0, -5*y - 6 = 2*l for y.
-2
Let t be 5 + -8 + (129 - -1). Suppose -8 = 5*o + t. Let w = -22 - o. Solve -5*n = -6*n + 2*l + 10, 0 = w*n + 5*l - 5 for n.
4
Let i = -5 + 2. Let n be ((-4)/10)/((-20)/(-100)). Let c be i - 2/(-2) - n. Solve 4*j + 12 = 4*g, 5*g + c*g - 5 = -5*j for j.
-1
Suppose 6*d = 2*d + 32. Solve 5*v + 4*k = v + 16, 2*v - 3*k = d for v.
4
Suppose 5*v - 35*k + 38*k - 34 = 0, -4*v + 5*k = -5. Solve l = 2*l - 3*d + 2, 0 = -v*l + 5*d - 10 for l.
-2
Let z be (-10)/(-6) + 11/33. Suppose 2*n = -z*n + 132. Suppose 3*h + w = n, 5*h + 2*w + 10 = 65. Solve 3*v - 2*r = h, -v + 0*r - r = -7 for v.
5
Suppose w = 4*x - w - 22, -3*w = 3*x - 12. Solve -4*q + x*k = 0, -2*q - 4*k = 3*q - 41 for q.
5
Suppose 22*d - 115 = -5. Suppose -3 = -w + 2. Solve 8 = 4*g + 3*b, 0 = 2*g - d*b - 35 + w for g.
5
Suppose 5*z - 3*k - 35 = 0, 1 = -2*z - 3*k - 6. Suppose 5*j + 0*i = -2*i + 33, z = i. Solve 0*q = 4*q, 5*q + 5 = j*o for o.
1
Suppose 5*j - 5*c = j + 76, -2*j = c - 24. Let y be (-1 - 5/7)*(-105)/10. Let l = y - j. Solve -3*n = -l*p - 5*n + 26, p = -2*n + 11 for p.
5
Suppose 0 = 3*d - 114 - 54. Suppose 2*g = -2*q + 4*g + 22, -4*q + d = -g. Solve 5*w = -2*l - q, 4*w - 3 = 3*l + 8 for l.
-5
Let a(s) = s**2 - 33. Let r be a(6). Suppose r*k - 2*k = 3. Solve 0 = j + 2*t + 6, j + 2*j + k*t = -12 for j.
-2
Suppose 0*l = -24*l + 312. Solve 4*o + l = q - 0, o = 2*q + 2 for q.
-3
Let o(p) = 6*p - 1. Let j be o(1). Let h = -90 + 60. Let u be 9/2 - 15/h. Solve 4*a + 18 = v + j, u*v - 15 = -5*a for v.
5
Let m be (-1)/(-1) + 8 - (14 - 16). Solve -3*i = -n - 14, -4*i + 34 - m = 3*n for n.
1
Let o = 352 - 348. Solve 8 = -4*j + 5*p - o, j = -3*p + 14 for j.
2
Let g be (0 - (1 + -2)) + 3. Suppose -2*k = -g, -n + 5*k - 4 = k. Solve -2*m + 4*y + 1 = 5*y, -5*m + n*y - 17 = 0 for m.
-1
Let m = 19 + 15. Let s = -31 + m. Let g = -5 - -8. Solve g*p + s*n - n = 15, -5*p = -3*n - 6 for p.
3
Suppose 0 = -3*k + p + 17, 0 = 2*k + 2*p - 11 + 5. Solve 0 = -k*u + u - 5*n + 41, n = -u + 9 for u.
4
Suppose 1425*z = 1433*z - 40. Solve 3*n = -4*w + z*n + 6, 3*w = -4*n + 21 for w.
3
Let b be (-1 - (-2 + 2))*3. Let l be (-4 - -1)*-1 + b. Solve -4*q - q - 2*o + 30 = l, -3*q = o - 17 for q.
4
Let r(u) = 2*u**2 + 24*u + 68. Let a be r(-4). Solve 5*g = -l + 24, 5*g - g = -a*l + 16 for l.
-1
Suppose 3*t - 4*z + 39 = 0, -4*t - z - 66 + 14 = 0. Let q = -202 + 219. Let w = t + q. Solve -2*d - 15 = 3*d + 5*f, d - w*f - 12 = 0 for d.
0
Let w be (-309)/721 - (-52)/7. Solve -x - 4*u - w = 0, 15 + 13 = 5*x - u for x.
5
Let z be (-4)/7 + (-234)/(-42). Let t(k) = k**3 + 7*k**2 - k - 1. Let v be t(-7). Let c = 10 - v. Solve c*x + 12 = 0, 2*u - 3*x + 2 = -z*x for u.
2
Suppose -y + 4*q - 14 = -5, -3*y + 24 = 5*q. Solve y*w - 4*v = -23, 0 = -5*w - 0*v - v for w.
-1
Suppose 10 + 46 = 2*x. Solve 1 = -t - 2*c - 6, x = -5*t - 3*c for t.
-5
Let q(f) = f**3 - f**2 - 5*f + 2. Let g be q(3). Let t = 54 - 25. Suppose -3*v + 17 + 8 = 5*c, g*v = -2*c + t. Solve x - 13 = -c*x + p, x = 4*p + 8 for x.
4
Let u be 2/(-1 + (-9)/(-6)). Suppose -u*m + 40 = m. Suppose l - m = -3*l. Solve -3*x - 5 + 1 = 2*q, -l*x - q = 4 for x.
-4
Let r(d) = d**3 - 8*d**2 + 26*d - 32. Let l be r(4). Solve 12*h - l*h = -5*y - 36, 0 = 4*h + 3*y + 28 for h.
-4
Let a = 526 - 522. Solve 7 = -3*c - 2*y, 2*c + a*y - 3*y + 3 = 0 for c.
1
Suppose 4*i = -0*h + 2*h + 8, -2*i + 4 = 2*h. Let u be 20*(h - 4/(-16)). Solve -u*c - 25 = 3*o - 8*o, 2*c = o - 8 for c.
-3
Let o = -32 + 38. Solve 0 = 2*m - 2*s + o, -4*s + 9 = 2*m - s for m.
0
Let t(z) = -z**3 - 7*z**2 + z - 8. Let x be t(-8). Let a be x/8*(-1)/(-3). Solve -h + 7 = a*l, l = 4*h - 0*h - 1 for h.
1
Suppose 2*z + 11 - 41 = 0. Let i = 53 + -51. Suppose -q - i*j + z = 0, 4*j + 3 = -3*q + 4*q. Solve -4*m - q = -5*w + 5, 0 = 2*m - 4*w + 14 for m.
1
Suppose 2*a + 6*y + 6 = 2*y, 2*a - 2 = -2*y. Suppose 3*z = -3*s + 12, 3*z - a*z = -2. Solve 7*t - s*t - 20 = 4*w, -5*t - 2*w + 25 = 0 for t.
5
Suppose 0 = z - 4*m - 19, -3*z + 2*m - 4 = -7*z. Solve -5*l - 7*o - 32 = -4*o, 3*l - z*o = 0 for l.
-4
Let a = 118 + -83. Let d = -30 + a. Solve d = -o, 2*o + 7 = -2*l + 3*l for l.
-3
Suppose y = 5*o, y + 3*o = 2*y. Suppose 0 = -y*n + 5*n - 25. Solve 0 = w + n*j - 4*j - 4, w - 5*j = -26 for w.
-1
Let z be 244/28 - (-30)/105. Solve d + z - 16 = 4*s, 3*d = -s + 8 for s.
-1
Let a = 33 - 33. Let s(d) = -d**2 + 3*d + 4. Let l be s(a). Solve 7*o - 2*o = -l*g + 35, 4*g = -2*o + 26 for g.
5
Let d be (-9526)/(-99) + (-4)/18. Let a = -93 + d. Solve -2*s = k + 1, -a*s = 3*k - 0*k - 3 for k.
3
Suppose 0 = 3*g - 3*x - 3 - 21, 5*g = -5*x. Solve -g*c + 0*j - 23 = -3*j, 2*c + 5 = -5*j for c.
-5
Let f be ((-4)/(-6))/((-22)/(-132)). Solve 0 = l - 5*v - 10, 0 = 5*v + 1 + f for l.
5
Suppose 0 = 5*y - 4*q - 40, y + 1 = -0*y - q. Solve 4 = l - y*l + 4*w, -2*w = -2 for l.
0
Let t be -25*(-5)/(25/2). Suppose -2*x + t = 3*x. Let c = -31 - -35. Solve -x*z - d = -6, -c*z - d = 4*d - 18 for z.
2
Let t be (-4)/(-22) + (-16)/88. Suppose 14*w - 11*w - 63 = t. Solve f + w = 5*k - 2*f, 2*k = -3*f for k.
3
Suppose 0*v = -7*v - 0*v. Suppose v = 6*d - 42 - 12. Solve -4*u - 2*f + 1 = -9, d = 3*u + f for u.
4
Suppose 20*s = 139 - 59. Solve 0 = -4*h - 5*g + 21, g + s + 11 = 4*h for h.
4
Suppose 0 = x + 2*p - 3, -5*p - 3 = -5*x + 12. Solve -y + x*t = 4, 3 + 5 = -2*y + 4*t for y.
-4
Let z = -80 + 167. Suppose 2*m + 0*m = -x + 41, 3*x + z = 4*m. Solve 3*c = -h - 2*h + m, -5*c + 5 = -5*h for c.
4
Suppose -5*l - 4*f = -38, -15*f + 13*f + 16 = 2*l. Solve l*r - 4 = 4*r - 3*n, 10 = 5*r - 5*n for r.
2
Let f(h) = h**2 - 5*h - 5. Let n = -131 - -138. Let m be f(n). Solve -4*a + 4*d - m - 3 = 0, a + 3 = -3*d for a.
-3
Suppose -519*k = -514*k - 10. Solve -2*m - 3 = -0*a + a, k*a = 5*m + 30 for m.
-4
Suppose b + 9*u - 6 = 11*u, 4*u = -b. Solve -b*o - 7 - 21 = -4*c, 2*c + 5*o = -21 for c.
2
Let r be (-1 - -4)*(-132)/(-36). Let b = 14 - r. Solve -2*l + 8 = 3*s, 4*s - b*l - 9 = -4*l for s.
2
Let w = 113 - 113. Solve 5*n - 5 = w, 4*n = -3*u - n + 8 for u.
1
Let u be (-6 + 8)*(-6)/(-4). Suppose -3*v + 7 = -5*d - 0*v, 0 = 2*d + 4*v + 8. Let c be (-1 - d)/(2/10). Solve -c*q = -4*s + 10 + u, 4*s + 12 = 0 for q.
-5
Let t be 3 + ((-14)/(-6) - 4/12). Solve t*z - 2 = -3*n, -z + 2*n = n + 6 for z.
-2
Let k = 2 - 1. Let m = -5 + 11. Let v = m - k. Solve 4 = -v*p + 5*i - 11, i = 5*p + 3 for p.
0
Let q = -6 + -3. Let t be ((-3)/q)/((-2)/(-12)). Suppose -227 = -8*s - 75. Solve 0 = -5*n + 3*j - 6, -t*n - s = 4*j - 1 for n.
-3
Let r(k) = -2*k**2 + 12*k + 2. Let g be r(6). Solve 4*f - 4*y - 12 = 0, 3*f = g*f - 4*y - 12 for f.
0
Let v = -30 + 34. Let x(k) = k**2 - 1. Let d be x(-5). Let c(a) = -a**3 - 5*a**2 + 6*a + 2. Let h be c(-6). Solve -2*g + h*y - 4 = 14, 0 = g - v*y + d for g.
-4
Suppose 3*b = -5*u + 8 - 3, -3*u - b = -7. Let h = 23 + -10. Suppose 8*d - 5*d - 4*v - 62 = 0, -v + 51 = 4*d. Solve -i + h = 2*i - u*j, 4*i = 2*j + d for i.
3
