 -q*j for j.
2
Suppose -17*x + 3 = -16*x. Suppose x*v + 5 = 4*v. Solve v*l + 2 - 17 = 0 for l.
3
Let r = 16 - 12. Solve -8 = -r*a - 4 for a.
1
Suppose 11*g - 22 = -0. Let n be 5/g + (-1)/2. Solve 0 = v - 3 - n for v.
5
Suppose 12*d - 245 = -65. Let y be (-1*(-24)/d)/((-4)/(-10)). Solve y*u = u - 15 for u.
-5
Let r(q) = q**3 + 5*q**2 + 6. Let u be r(-5). Suppose -3*a + 3 = -u. Suppose 0*d - 5*d = 0. Solve d = -m - a*m - 16 for m.
-4
Let h(a) be the first derivative of a**4/12 + a**3/2 - 3*a**2/2 - 6*a - 2. Let s(k) be the first derivative of h(k). Let w be s(-5). Solve 0 = -w*v + 2*v for v.
0
Suppose -q = 2*o - 2 + 6, -3*o - 8 = q. Let k be (2 - 3)/((-7)/56). Suppose 0 = 4*p - u - 4*u + k, 2 = -2*p + 2*u. Solve -q + 19 = -p*h for h.
-5
Suppose -5*o - 10 = n, 8*o = 3*o - 15. Let f(h) = h**3 - 4*h. Let v be f(3). Solve -2*j = -n*j + v for j.
5
Let u(f) = 2*f**3 - 27*f**2 + 27*f - 181. Let a be u(13). Solve 0*p = p + a for p.
-1
Suppose 50*k - 31*k - 38 = 0. Solve 24 - 32 = k*o for o.
-4
Suppose -7*j + 4*j + 30 = 0. Suppose 3*i - 2 = j. Solve 0*p = -i*p + 12 for p.
3
Let n(j) = -j**2 + 5*j - 2. Let p be n(4). Suppose p + 7 = 3*r. Suppose -r*q + 7 = -2. Solve q*v = 18 - 6 for v.
4
Let h(z) = -2*z + 7. Let k be h(5). Let g(x) = -3*x**2. Let o(f) = 46*f**2. Let t(l) = k*o(l) - 48*g(l). Let n be t(1). Solve -3*v + 0 = -n for v.
2
Suppose 25 - 1 = 8*c. Solve -8 = -r - c for r.
5
Let y(a) = 3*a. Let r be y(1). Suppose -26 = -3*o - 2*w, 0 = 3*o - 4*w - 35 - r. Solve -h = h - o for h.
5
Suppose -2*c = 2*m - 8, -6*c + 3*c = -m - 12. Solve -g + 0 - 5 = m for g.
-5
Let j(f) = f**3 - 5*f**2 - 6*f + 4. Let d be j(6). Suppose 42 = -62*o + 83*o. Suppose 0 = -g - 5*m - 5, -5*g + 2*g - 2*m = 2. Solve -d*t + o*t + 10 = g for t.
5
Let x(f) = 5*f + 21*f**2 - f - 5*f. Let b be x(1). Let c(t) = t**2 - 28*t + 32. Let i be c(27). Solve i*s + 0 = -b for s.
-4
Let t be ((-312)/18)/(-13)*(4 + -1). Solve -t - 3 = -7*o for o.
1
Let d be (14/(-8))/(11/(-132)). Let u = -23 + d. Let t = 0 - u. Solve 3 + 3 = t*z for z.
3
Let r(j) = -13 + 13 - 3*j - j**2. Let u be (-4 - 0)*((-49)/(-14) + -3). Let x be r(u). Solve x*p - 5*p = 3 for p.
-1
Let p(f) = 8*f**2 + 91*f - 91. Let a be p(1). Solve -3*l + a*l - 10 = 0 for l.
2
Suppose -4*g = 4*l - 16, 5*g + 22 = 5*l + 2. Solve -6*i + 30 = l*i for i.
3
Suppose 2*m - 9*t - 208 = 0, -7*t + 5*t + 312 = 3*m. Solve m*h + 7 = 97*h for h.
-1
Let l = -32 + 69. Suppose k - l = -3*k - u, 0 = -5*k - 2*u + 50. Suppose -o = 2*g + k, 0 = -4*o - 2*g - 0 - 2. Solve 5*r - 17 + o = 0 for r.
3
Let x = 59 - 45. Solve x + 7 = 7*h for h.
3
Let j = -22 + 29. Suppose -i - 5 = -j. Suppose 0 = s - 0*s - 20. Solve -s = i*v + 2*v for v.
-5
Let f = 36 + -36. Solve f = -2*r + 111 - 103 for r.
4
Let b = 161 - 161. Solve 2*f + 6 - 4 = b for f.
-1
Suppose 10*j - 14*j + 40 = -4*y, -2*j - 3*y + 35 = 0. Solve -2*t = 9 - j for t.
2
Suppose c = -5*i + 4, -2*i = 5 - 1. Let l be 6/(-21) + 4/c. Suppose -10*g + 5*g = l. Solve -r + g*r + 1 = 0 for r.
1
Let q be (3 - 1)/(-1 - (-39)/33). Suppose -2*w + 3*c + 2 + 5 = 0, -c = -5*w + q. Solve 5*k = 3 + w for k.
1
Let r(g) = 2*g**2 + 21*g - 33. Let f be r(-12). Solve f*o = -21 + 15 for o.
-2
Let o = 11 - 8. Suppose 5*k + 4*q + 16 = 0, -o*k + 2*q = -k - 8. Solve k*u - 6 = -2*u for u.
3
Let a be ((24/15)/(-2))/((-9)/270). Solve -7*k = -13*k - a for k.
-4
Let h(p) = -p**2 - 8*p + 12. Let j be h(-9). Suppose -87 = -7*d - 17. Solve 0 = -j*y - 2*y - d for y.
-2
Let a = 15 + -10. Let y(r) = -r**3 + 4*r**2 + 8*r - 15. Let i be y(5). Solve i = h - a*h for h.
0
Suppose 2*h - a - 37 = -2*h, 2*h - 4*a - 22 = 0. Let g = 67 - h. Let y = g + -33. Solve 0 = 2*w + 3*w - y for w.
5
Suppose -59*k + 21 = -52*k. Let x be 114/10 + 9/15. Solve k*d = -d - x for d.
-3
Let g be (-2 + -6)*(-7)/14. Let d be -9*(0 - g - -3). Let n(q) = q - 6. Let m be n(d). Solve 2*k = 5*k + m for k.
-1
Let w(o) = -o**3 + 9*o**2 - 27*o + 56. Let a be w(6). Suppose -4*i + q + 2*q = -16, -12 = -3*i + 3*q. Solve 3*x = a + i for x.
2
Let z(b) be the first derivative of b**3/3 + 2*b**2 + 1. Let s be z(-5). Let x = 5435 - 5426. Solve x + 11 = -s*h for h.
-4
Let z(o) = -10*o + 2. Let l be z(-2). Let r be 6/(-4) - 589/38. Let g = l + r. Solve -h + g*h - 20 = 0 for h.
5
Suppose 0 = -3*o - 5*z - 9, -7*z + 10*z + 17 = 4*o. Let d(k) = -k + 1. Let a be d(-4). Suppose a*y = o*y + 9. Solve -4*q + y = -17 for q.
5
Let u be -6*(-4)/(-8) - (-8 - -1). Solve -u = -2*r + 6 for r.
5
Let m(w) = -w**3 - 7*w**2 - 3*w + 25. Let b be m(-6). Let a(s) = s**3 - 6*s**2 - 3*s - 17. Let p be a(b). Solve p = -2*u + 3 for u.
-4
Suppose 3 - 87 = -4*m. Suppose -l - 2*l = -4*z, 3*z - m = -3*l. Solve -l*o + 11 + 9 = 0 for o.
5
Let a(c) be the first derivative of 5*c**2 + 5*c + 33. Let l be a(1). Solve -m + l = 2*m for m.
5
Suppose -2*j = -7*j - 10. Let t be ((-1 - 2) + -17)*(1 + j). Solve -4*m - t = -0*m for m.
-5
Let i(m) = -2*m**2 - 8 + 2*m**2 - 13*m + 2*m**2. Let c(q) = 3*q**2 - 14*q - 7. Let v(j) = -3*c(j) + 4*i(j). Let u be v(-8). Solve 0 = u*o + 2 + 3 for o.
-1
Let m be (-1)/(21/(-10) + 2). Suppose 0 = 7*c - 2*c - 3*a - 22, -3*c + 5*a = -m. Solve c*i = -0*i + 20 for i.
4
Let f be 2/(-45)*-3 - (-298)/15. Suppose -m - 44 = -3*m + 5*q, 0 = 5*q + f. Solve -m = w + 3*w for w.
-3
Let k(i) = -4*i + 108. Let a be k(27). Let j = -3 - -2. Let n(l) = -l + 1. Let w be n(j). Solve p - 5 + w = a for p.
3
Suppose 23*c + 4*g = 25*c - 8, 5*g = -4*c - 10. Solve -8*b + 1 - 25 = c for b.
-3
Let m be (3/(-4))/((-18)/40)*54. Let n be (30/m)/(2/42). Let x(h) = -h**3 + h**2 - 1. Let t be x(-1). Solve n = -4*v - t for v.
-2
Suppose 16 = t + o, 3*t + 25 = 5*t - 5*o. Suppose -4*c - 9 = -3*b, 5*c + 4*b - t = -3. Let g be 1 + c + 1 + 2. Solve 0 = v + 3*v + g for v.
-1
Let x = -457 - -476. Solve 3*u - 13 = -x for u.
-2
Let z(m) = -m**3 - 8*m**2 + 3*m - 48. Let j be z(-9). Solve -39*y = -33*y + j for y.
-1
Suppose -51 + 11 = -5*u. Let c = 33 - 33. Let a = u - c. Solve -17 = -5*g + a for g.
5
Let b(f) = 2*f**3 - 4*f**2 + 3*f + 2. Let i be b(2). Solve -4*a + i = 24 for a.
-4
Suppose 0 = -6*a + 37 - 13. Solve -f - 1 = a for f.
-5
Suppose 4*a + 22 = 2*y, 6*y = 7*y + 2*a - 3. Solve 10 = -2*k + y*k for k.
2
Let u(x) = -x**2 - 14*x + 211. Let s be u(-23). Solve s*k = 17 + 3 for k.
5
Suppose 8 = -c + 2*i + 9, 5*i + 20 = 5*c. Solve c*v - 7 - 21 = 0 for v.
4
Suppose 10 = 2*c - a, -2*c - 2*c = 4*a - 32. Solve -4 = 5*q + c for q.
-2
Let l(y) = 2*y**2 + 9*y - 23. Let r be l(3). Solve -30 = -4*i - r for i.
2
Suppose 0 = u - 4*u + 18. Suppose -u*i + i = -40. Suppose 2*k - 10 = -4*j, -2*k - 5*j = -3 - i. Solve -k*p = 14 - 5 for p.
-3
Let u be (1056/80)/(6/15). Solve 0 = -8*y - 7 - u for y.
-5
Suppose 3*m - 4*r - 50 = 0, -3*r - 17 + 2 = -m. Let a = -15 - -2. Let b = m + a. Solve 0*d - b = -d for d.
5
Suppose p - 10 + 64 = 5*z, 3*z - 4*p - 46 = 0. Suppose -12*u + 8 = -z*u. Solve -u*y + 18 = 6 for y.
3
Suppose 4*n + 20 = k, 8 = 6*k - k + 3*n. Suppose 3*h + 5*w + 12 = 0, 5*w + 42 = -2*h + 29. Solve k = r - h for r.
5
Let c(v) = -22*v**2 - 2*v + 1. Let n be c(1). Let u = n - -23. Solve u = 2*j - 1 - 3 for j.
2
Let t = 270 - 260. Solve -50 = t*i - 10 for i.
-4
Suppose 7 = -i + 2*i. Suppose -7 = -2*n + 5*u, -23*n + 18*n - 2*u = -3. Solve -i + n = -2*k for k.
3
Let y(t) = t**2 - t - 12. Let o be y(7). Let g = 32 - o. Solve -5*s + g = -23 for s.
5
Let c(g) = g**2 - 6*g + 7. Let r be c(5). Suppose -3*t - 15 + 69 = 0. Let q = t + r. Solve -3*o + 7*o - q = 0 for o.
5
Let m(p) = p**2 - 6*p + 12. Let h be m(4). Suppose -2*s + h*s = 0. Solve s = -4*n + 8*n + 8 for n.
-2
Let k(i) = 3*i. Let v be k(1). Suppose -15 = v*t - 5*o - 0, -4*t - 9 = -3*o. Solve w = -t*w + 4 for w.
4
Let w(v) = -7*v - 222. Let i be w(-32). Solve -11*s - i = -13*s for s.
1
Let z be (-6)/(-4) + 81/(-6). Let m be (z/15 - 0)*-5. Solve -m*k - 15 = -3 for k.
-3
Let o(i) = 6*i**2 - 178*i + 120. Let u be o(29). Suppose d - 5*m = 12 + 3, -2*m = 6. Solve d*w + 8 = -u*w for w.
-2
Let t = -52 - -78. Suppose 5*f - 5 = 4*f + 4*n, -5*f + 3*n - t = 0. Let b be 24/(-42)*f/2. Solve -b - 10 = 3*a for a.
-4
Suppose 96 = 5*h - h. Let y = h - 12. Solve -5*g - 8 = y for g.
-4
Let k = 14 + -9. Suppose -3*x + 5*l = -k, -3*x + 2*x + 4*l = 3. Suppose -13 = -3*s + x. Solve -c + s - 2 = 0 for c.
4
Suppose z + 2*q = 17, 2*z = 6*q 