7*l for l.
1
Suppose -57 + 23 = -2*y. Solve -12*t = -y*t - 5 for t.
-1
Let r be 0 - -4*(-1)/(-2). Let f(k) = -2*k**2 - 6*k + k**r + 2*k. Let p be f(-2). Solve 10 = 2*h - p*h for h.
-5
Let x(q) = -13*q - 55. Let i be x(-10). Let y = i + -71. Let p be 4/(-14) + 2/7. Solve -y*t + 0*t = p for t.
0
Let s be (-11)/(55/(-48)) - (-21)/(-35). Solve 5*x - 6 = s for x.
3
Suppose -3*o + 53 = 5*h, -20 = -o - 2*h - 3. Solve -4*p + 11*p - o = 0 for p.
3
Suppose -4*d = 3*l - 54, -d + 20 = -3*l - 1. Solve -7*m = -4*m + d for m.
-5
Let m(f) = f - 2. Let j(c) = -7*c + 6. Let h be j(-3). Let r = h + -24. Let z be m(r). Solve -4 = b + z for b.
-5
Let u = -1116 + 1121. Solve u*r - r - 8 = 0 for r.
2
Suppose -70*g + 75*g - 25 = 0. Solve x - 6*x = -g for x.
1
Let v(f) = 10*f + 178. Let l be v(-17). Solve -15 = -3*n + l*n for n.
-3
Let r = -56 - -66. Suppose -2*s - 9 = -k, k - 7 - r = 4*s. Solve -k - 14 = 5*a for a.
-3
Suppose 6*r = 2*r + 428. Let n = r - 75. Suppose 0 = -3*k - n + 44. Solve -k*x = -3*x - 1 for x.
1
Let c(z) = -2*z**3 - 3*z**2 - 7*z - 4. Let y be c(-4). Let g be 2/13 + 400/y. Solve -g*m = -9*m - 10 for m.
-2
Let t be (364/(-520))/((-2)/20). Solve t = -5*o + 12 for o.
1
Suppose -a + 3*a = 5*u - 20, 8 = 3*a + 2*u. Suppose -45 + 21 = -12*y. Solve 3*q + y*q = a for q.
0
Suppose 4*m + 19 - 22 = 3*z, 3*m - 5*z = 5. Solve 6*s - 10 + 22 = m for s.
-2
Let u(h) = 4*h - 25. Let l be u(7). Suppose 4*t - n - 3 = -2, -2*n + l = -3*t. Solve t = -z - 2 for z.
-3
Suppose -6*y + 2*y + 96 = 0. Let q = -12 + y. Let w = 12 - q. Solve 4*b - 16 + 4 = w for b.
3
Let z(o) = o**3 - 2*o**2 + 3*o - 3. Let y be (3 - 5)*3/(-2). Suppose -4*s - y*b + 5 = 0, 4*s + 0*s - 12 = 4*b. Let p be z(s). Solve -p*g = 2 + 1 for g.
-1
Let d = 5 - 1. Suppose 0 = 5*f - 72 + 47. Suppose -5*m = -f*s + 90, d*m + 16 = -0. Solve -5*u + s = -1 for u.
3
Let h(t) = 17*t - 1. Let w be h(-1). Let m = w - -33. Let i be (-3)/m - (-55)/25. Solve -i*z - z = -15 for z.
5
Let n = -721 - -725. Solve 0 = -n*g + 1 - 1 for g.
0
Suppose -2*o + 5*q + 5 = 0, -2*q - 2 = 3*o - 0*o. Let n = 138 + -122. Suppose -3*i - i + n = o. Solve 15 = -i*h - h for h.
-3
Let k(x) = -x - 33. Let n be k(-33). Let t = -3 - -7. Suppose 2*s - t = -n. Solve 0 = s*z + z - 15 for z.
5
Suppose -9*y + y + 112 = 0. Solve 18*d = y*d + 12 for d.
3
Suppose -2*v = -6*r + 8*r - 18, -r + 19 = 3*v. Solve 0 = 2*k + v - 11 for k.
3
Let c = -8 - -40. Let k = c + -24. Solve -k = h - 3*h for h.
4
Let z be -4 + (26 - (-12)/(-3)). Let g = z - -9. Let p = 29 - g. Solve -u = -p + 5 for u.
-3
Let k be (6 - 3)/(-3) - 3. Let j be (4/5)/(k/(-20)). Suppose 0 = j*o - i - 6, o + i - 4 = 0. Solve -5*b + 9 = -o*b for b.
3
Suppose 6 = 3*l + 2*l - 3*u, 2*l = u + 3. Let w = 6668 - 6666. Solve k - l*k = -w for k.
1
Let w be (-6)/14 + 752/56. Suppose -w = 3*g - 58. Let h = 19 - g. Solve -i + h = -0 for i.
4
Let p = 16 + -10. Let k be (-26)/(-39) + 2/p. Solve -k + 7 = 2*t for t.
3
Suppose 4*o - 3 = -l, -22*l = 5*o - 24*l - 20. Solve 0 = -o*u + 4 - 2 for u.
1
Let b = -6 - -14. Suppose 8 = -4*i - b. Let a be (-14)/i*16/14. Solve 16 = -0*n + a*n for n.
4
Let k be 84/16 + 10/(-40). Solve 0 = k*z - 0 + 15 for z.
-3
Suppose -5*l - 24 = -54. Solve -1 = 5*i - l for i.
1
Let r(x) = x**2 + 3*x - 1. Let k(g) = g - 18. Let d be k(14). Let y be r(d). Solve y*n - 11 = 1 for n.
4
Let a(p) = -p**3 + 5*p + 23. Let f be a(-3). Solve -28*c = -21*c - f for c.
5
Suppose 2*b - 4*b = 4. Let x be -6 + 0/(-5) + b. Let u be (-27)/(-5) - x/(-20). Solve u*z + 0 - 5 = 0 for z.
1
Suppose -3*g + 1133 = d, 4*g + d = -0*d + 1512. Suppose -l + f = 77, -g = 5*l - f + 18. Let j be (1/2)/((-8)/l). Solve -j*k = -2 - 3 for k.
1
Let u = 13 + -9. Let n be 3*10/24*u. Suppose 5*k = -q + 18, n*k - 6 = 6*k + 5*q. Solve y + k = -y for y.
-2
Let r(f) = f**3 - 13*f**2 - 37*f + 122. Let j be r(15). Suppose -5*o = 4*k + 11, k + 2 - 6 = o. Solve j = -4*t + k for t.
-4
Let n be (14/6)/1 - (-16)/24. Let o(w) = w**3 - 2*w**2 - 6*w + 11. Let q be o(n). Solve q*g = 2 + 4 for g.
3
Let j(c) = c**2 + 4*c - 17. Let h be j(3). Solve -h*r - 1 = 7 for r.
-2
Let p = -5462 + 5464. Let v be (-2 - -2)/(2 + -3). Suppose 2*j - 4*j = v. Solve p*t = -j*t - 4 for t.
-2
Suppose 0 = 4*x + 2*y - 18, -2*x + y + 3 = -0*x. Suppose -15 = -3*m - 141. Let b be (5 - 1) + m/(-2). Solve -x*w - b = 2*w for w.
-5
Let m = -260 + 262. Solve -12 = -6*v + m*v for v.
3
Let s(d) = -d**3 + 37*d**2. Let z be s(37). Solve z = -9*n - 24 + 60 for n.
4
Let a be ((-3 - -3)/2)/2. Suppose -3*k + 2*u + 10 + 6 = 0, 15 = -3*u. Suppose w = -a*p - 3*p + 9, -20 = -k*p + 4*w. Solve p*t - 31 = -11 for t.
5
Suppose 4*l - 12 = -2*q, 3*l - 4*q + 12 = 8*l. Solve -f - 6 + l = 0 for f.
-2
Let m = -90 - -147. Suppose -9 - m = -6*g. Solve -5*h = 36 - g for h.
-5
Suppose -4 = -145*n + 143*n. Suppose -6*s + 5 = -s. Solve -s = n*k - k for k.
-1
Suppose 8*p + 21 = 11*p. Suppose -3*f = -2*d + 19, 14 = -5*d + p*d - 2*f. Let c(x) = x**2 + 5*x + 4. Let o be c(-5). Solve o*r = d*r for r.
0
Suppose 4*z - 4 = 8. Solve -2*m - 10 = z*m for m.
-2
Let b = 9 + -7. Let m be (8/24)/(b/24). Solve -5 - 15 = -m*x for x.
5
Let c(x) = x - 8. Let a be c(10). Let s be (4/5)/(a/5). Let h(b) = -7*b + 135. Let y be h(18). Solve -5*g - y = -s*g for g.
-3
Let v(y) = -y**2 + 8*y + 4. Let b be v(9). Let t = b - -15. Solve 3*h - 8*h - t = 0 for h.
-2
Suppose 3*c - 4*a = 24, -2*c = -7*c - 2*a + 14. Solve 6*t - 14 = c for t.
3
Suppose -5*l + 0 = -10. Let z be 25*((1 - 2) + l). Let n(p) = 70*p - 348. Let b be n(5). Solve -b*k + 7*k + z = 0 for k.
-5
Let p(y) = 20*y**2 - 35*y - 7. Let f be p(2). Let w(z) = 3*z - 1. Let r be w(1). Solve 0 = -r*m + 1 - f for m.
-1
Let s(n) = -9*n - 14. Let m be s(-4). Suppose -4*a + m + 38 = 0. Suppose -4*h - 32 = -2*t, 3*h = -2*h - a. Solve -6*y + t = -4*y for y.
5
Suppose 0 = -2*z - 2, -l - 5*z + 12 + 33 = 0. Solve 51*m + 2 = l*m for m.
-2
Let j be 39 - (0 + 3 + -4). Suppose 2*z - 28 = -4*s, -z = -4*s - 0*z + j. Let b be (s/6)/(1/2). Solve w = 1 - b for w.
-2
Suppose 0*t - 5*t + 70 = 0. Let w be 1 + -3 + -2 + t. Solve 3*h = h + w for h.
5
Let l(k) = 10 + 923*k**2 - 9*k + k - 922*k**2. Suppose 4*m - 4*w + 5 - 53 = 0, 26 = 3*m - w. Let d be l(m). Solve d*z = -z for z.
0
Let g = 0 + -18. Let u(p) = -p**2 - 17*p + 14. Let k be u(g). Let a(x) = -3*x - 9. Let o be a(k). Solve o*m - 16 = -m for m.
4
Let w(t) = -t**2 + 12*t. Let k be w(12). Suppose 2*v + 3*v + 5*d - 40 = k, 4*d = 4*v. Let s = 13 + -5. Solve 0 = -4*m - v - s for m.
-3
Let g(j) = j**2 - j - 9. Let k(q) = -2*q - 8. Let a be k(-6). Let s be g(a). Suppose 5 = -s*o + 4*o. Solve -o*l = 18 + 7 for l.
-5
Suppose -3*v = -31 + 10. Let p(g) = -6*g + 43. Let f be p(v). Solve r = -f + 3 for r.
2
Let n(k) = -k**3 - 11*k**2 - 12*k - 24. Let a be n(-10). Let w be ((-24)/14)/(a + 26/7). Let g be (-2)/(-6) + (-2)/6. Solve 0 = -g*y - 3*y + w for y.
2
Let q(a) = -a**3 + 13*a**2 + 14*a + 10. Let d be q(14). Suppose 5*b + 7*b = d*b. Solve -2*o + 1 + 5 = b for o.
3
Let j be 176/(-264) + 10/6. Solve -o = -3 + j for o.
2
Let s(i) be the second derivative of -1/20*i**5 - 1/3*i**3 + 4*i - 1/12*i**4 - 1/2*i**2 + 0. Let f be s(-1). Solve -4*j + 3 = -f for j.
1
Let k be 106/1007 + 9*12/57. Let p be (-1)/(-2)*2*0. Suppose r + 3 = 6, p = -z - k*r + 6. Solve b - 1 = -z*b for b.
1
Let y = -9 + 13. Suppose -5*b - 19 = -2*x + y*x, 62 = -5*x + 2*b. Let s = 12 + x. Solve s + 8 = 4*f for f.
2
Suppose 0 = -244*p + 211*p + 528. Solve 8*o = p + 16 for o.
4
Let i be ((-13)/(130/(-12)))/(2/5). Solve 9 = 3*p - i for p.
4
Suppose -5*y + 8*y - 72 = 0. Suppose -5*s - 77 = 28. Let w = y + s. Solve w*p + 9 = -0 for p.
-3
Suppose -3 = -i, 4*i - 26 = -2*g + 2*i. Suppose r = -3*l - 2*r - 6, -4*l + 2*r + g = 0. Solve -4 = -v - l for v.
3
Let b(f) = f**3 - 6*f**2 + 4*f + 3. Let m be b(5). Let u(l) = l**2 - 2*l - 1. Let s be u(m). Suppose 4*v - 5*v = -10. Solve -2*y + v = -s*y for y.
-2
Suppose -u + 10 = 3*x, 24*u - 21*u - 2*x = 8. Solve u*g - 140 + 160 = 0 for g.
-5
Let c be 203/(-5) + (-4)/10. Let r = c - -44. Solve 0 = r*k - 3 for k.
1
Suppose 0 = 3*c + 75 + 96. Let o = c + 63. Solve 2*d = -o - 0 for d.
-3
Suppose 4*n - 2*z - 24 = 0, -3*n = 2*n - 5*z - 30. Suppose n = 5*j - 2*j. Solve 0*i - j = -2*i for i.
1
Suppose 2 = -2*z + c + 12, -5*c = 4*z - 48. Solve -12*t + 25 = -z*t for t.
5
