 -3*l = -4*l + s for l.
2
Let y(v) = v - 6. Let o be y(8). Let f(t) = -3*t + 0*t - t**3 + 2*t**3 + o*t + 3*t**2. Let p be f(-3). Solve p*c + 5 = -4 for c.
-3
Let n(p) = 5*p + 8. Let b(g) = 4*g + 9. Let y(v) = -4*b(v) + 3*n(v). Let z be y(-12). Solve 5*d - 2*d = z for d.
0
Suppose -31 = -4*g - n, -4*g + 4*n + 47 = -g. Solve g*p - 11*p = -10 for p.
5
Suppose 0*n - 100 = -5*n. Let v be ((-2)/5)/((-4)/n). Solve 0 = -v*p - 1 - 1 for p.
-1
Let n(c) = 2*c**2 + 2*c - 1. Let r(w) = w - 5. Let z be r(6). Let s be n(z). Let d = 1 - -1. Solve -d*j = j - s for j.
1
Let k(n) = -n**2 - 5*n. Suppose 0*y + 16 = -4*y. Let u be k(y). Solve 0 = w + u - 5 for w.
1
Let p(k) = -4*k + 2. Let l be p(0). Suppose 4*f - 5*v = 27, -20 = -f - l*f + 4*v. Solve 0 = -2*h + 6*h + f for h.
-2
Let l(z) = -z**3 + 2*z**2 + 4*z. Let c be l(3). Solve -c = -2*i + 1 for i.
2
Let x(t) = 9*t - 211. Let l be x(24). Solve 2*s = l - 7 for s.
-1
Let a = -2 - 0. Let s be ((-3)/a)/(3/8). Suppose 18*o = 5872 - 5584. Solve -4 = s*v - o for v.
3
Let r(j) = j**2 + 26*j + 207. Let c be r(-11). Solve -c = 15*z - z for z.
-3
Let p(o) = -3*o**2 + 2*o + 1. Let z be p(2). Let l = 12 + z. Let t = -12 + 26. Solve -l*g + 39 = t for g.
5
Let a = 175 + -159. Suppose -o = -a*o + 75. Solve -2 - 3 = -o*v for v.
1
Suppose 44 = -4*u + 5*j, -u + 4 = 4*j - 6. Let q be (-3)/((u/(-3))/(-2)). Solve -q*w + 0*w = 3 for w.
-1
Let f be (-3)/15 - (-112)/10. Suppose -f*l + 15*l - 8 = 0. Suppose -4 = -2*q - 4*j, 0*j - 12 = -q + 3*j. Solve l*g = q*g for g.
0
Suppose -42 = -15*a + 18. Solve a*f = 6 - 26 for f.
-5
Let k be 50/6 - (-5 - (-20)/6). Solve -30*c = -32*c - k for c.
-5
Let t(c) = -c**2 - 15*c - 5. Let y be t(-15). Let a(m) = -3*m - 13. Let j be a(y). Solve 2*n + 4 - j = 0 for n.
-1
Let k(f) = 12*f**2 + f + 1. Let h be k(-1). Let l(j) = -2*j + 38. Let b be l(15). Solve -h = 5*x + b for x.
-4
Suppose 0 = x + o - 4 - 61, 5*x - 313 = o. Let l be 3/(x/7*(-2)/(-24)). Solve l*v = 8*v - 8 for v.
2
Let y(i) = -i**3 + 49*i**2 + 51*i - 41. Let j be y(50). Solve j*r + 11 = -7 for r.
-2
Let w = -681 - -681. Solve 8*o - 3*o = w for o.
0
Suppose -6 = -2*a, 3*k - 3*a = -0*a + 27. Let g = k + -8. Suppose -2 = -2*n + g. Solve -3*c = -2*c + n for c.
-3
Let a = -8 - -9. Let h be 5 - (3 + -3 + 2). Solve 4*g = h*g + a for g.
1
Let z(f) = f. Suppose 15 = 3*j + 2*j. Let t be z(j). Solve 0*k + 6 = t*k for k.
2
Let w = -262 + 267. Solve -6 = w*k - 11*k for k.
1
Let h be -19*-2*(-2)/(-4). Solve -h*y - 14 = -12*y for y.
-2
Let d(m) = 2*m + 4. Let p be d(0). Suppose -p*v + 3 = -v. Suppose -13 = -7*a + v. Solve 0 = -4*w + a + 2 for w.
1
Let o = -100 + 106. Suppose -30 = -4*v - h, 5*h - 26 = -4*v + o*h. Solve -3 = -v*r + 4*r for r.
1
Suppose -2*a - 2*k = -52, 5*k - 21 = a - 29. Solve -a*j = 13*j - 36 for j.
1
Suppose 0 = -2*v - x + 24, -6*v + 5*v + 2*x = -12. Suppose -k - 8 = -5. Let a = k - -3. Solve -3*n + a*n = v for n.
-4
Let h = 15 - 10. Suppose -43 = -h*r - 28. Solve -r*s = -8*s + 10 for s.
2
Suppose -48*i - 13 = -61*i. Solve 5*g - i = -26 for g.
-5
Let l = 5 + 1. Let g be 0*2/8*-2. Let q = l + g. Solve 1 = -5*m + q for m.
1
Suppose 3*d - b = 106, -4*d - 3*b = -91 - 59. Solve -2*k - d = -32 for k.
-2
Suppose m + 2*m + 5*f + 13 = 0, 32 = 3*m - 4*f. Let w(u) = -2*u**3 + 9*u**2 - u - 9. Let p be w(m). Solve o - p = 2*o for o.
-3
Let a be 17 - (5 + -1 + -4)/1. Suppose -a - 11 = -4*j + 4*p, 3*p + 25 = 4*j. Solve j = d + d for d.
2
Let k = -35 + 46. Solve -2*i + 9 = k for i.
-1
Let t be 1 + (-128)/(-9) + 26/(-117). Solve t = 4*x + 3 for x.
3
Let a be 0/(1 + 0/(-7)). Solve a = -12*g + 8*g for g.
0
Let q be 9/1 + (3 - 2)*-1. Suppose q*l = 3*l + 15. Solve -w = -l*w for w.
0
Suppose 2*m - 3*m + 2 = u, -m + 2 = 4*u. Solve 4*j + 0*j + 4 = u for j.
-1
Let i = 4 + 1. Let l(g) = -g**3 + g**2 + 5*g + 5. Let w be l(3). Suppose -2*v - 5*n = v - 33, -w*v + 6 = -2*n. Solve -i*a - v - 4 = 0 for a.
-2
Suppose 0 = -f - 4*u + 8, -f + 4 = 5*u - 5. Suppose -1 = -5*x - v + 1, 5*v = -f*x + 10. Solve 0*l - l + 1 = x for l.
1
Suppose 4*d - 3*d = -3. Let t = d - -5. Solve v = t*v + 2 for v.
-2
Let l(v) = v**2 - 5*v - 9. Let n be l(7). Let w be (n/10)/(2/12). Solve -2*i = w*i for i.
0
Let s = 6 + -3. Suppose 0*n - s = -n. Solve 0 = n*i + i + 16 for i.
-4
Let p(g) = -g**3 + 7*g**2 + g + 5. Let h be p(7). Solve h = 4*x - 8*x for x.
-3
Let m(p) = -p**2 + 3*p + 119. Let w be m(11). Solve -36*z + w*z = 10 for z.
-2
Suppose 5*m = -4*l + 144, -4*m = -5*l + 7*l - 120. Solve 39*h = m*h - 7 for h.
-1
Suppose -2*a - 30 + 6 = 2*r, 5*a = -15. Let o(m) be the third derivative of m**5/60 + 7*m**4/24 - 13*m**3/6 + 7*m**2. Let p be o(r). Solve p*i = 4*i - 5 for i.
-5
Let k = 423 + -423. Solve k = 6*l - 3*l + 15 for l.
-5
Let b(o) = 4 - 8*o - 6*o + o**2 - 5*o - 2*o**2. Let l be b(-19). Suppose -59 + 11 = -3*y. Solve l*t + y = -0*t for t.
-4
Let z = -10 + 10. Suppose 4*j + s = 2, -2*j - 2*s + 4 = -z. Suppose l - 2*t + 1 - 4 = j, -3 = -l - 4*t. Solve 4*d = l*d - 1 for d.
-1
Let j = 13 + -12. Let t be j*(2 - (-14 + 3)). Suppose -5*s - 3*a + 2*a = -7, -5*s + t = -a. Solve 0 = 4*x - s*x for x.
0
Let i be 7/4 - (-1)/4. Suppose t = -2*z - 6 + 2, t - z - i = 0. Suppose 9 = -7*h + 30. Solve t = -h*b + 21 - 6 for b.
5
Suppose -k - 5*l = -5, -2*k + 2*l = k - 49. Solve 12 = 11*b - k*b for b.
-3
Let x be (2 - -8) + 3 + 2. Let a be 267/x + 2/10. Let g = a + -16. Solve 0 = g*n - 0*n for n.
0
Let w(t) = t**2 + 8*t - 5. Let r be w(-9). Suppose 0 = -3*u - 2*g + 6 - 15, -5*g = 2*u - 5. Let c be -4 + 8/r - u. Solve 5*y = c + 2 for y.
1
Let n(m) = -m**3 + 12*m**2 - 11*m - 13. Let q be n(11). Let u = 13 + q. Suppose u = x, 2*x = t + x. Solve f + 3*f = t for f.
0
Let n be (-4)/32*2 + (-45)/(-36). Solve -12*b + 13*b + n = 0 for b.
-1
Let x be (-15)/(-35) - (-81)/7. Let j be (-90)/(-12)*x/(-10). Let k be 1/j - (-518)/126. Solve -k*s + 15 = s for s.
3
Let q(n) = n**3 - 7*n**2 - 97*n - 12. Let s be q(14). Suppose -2*o = 3 - 33. Suppose -s*w + j + 9 = -0*j, -o = -5*w + 5*j. Solve 0 = w*b - 2*b - 12 for b.
3
Let n = -392 + 393. Suppose -2*l = 130 - 36. Let h be (-6)/27 + l/(-9). Solve 11 = -h*y + n for y.
-2
Suppose 10*g - 5*g + 90 = 0. Let p be 60/g*(-12)/10. Let b be (-4)/(-10) + 2/(-5). Solve b*i + p = 2*i for i.
2
Let h(p) = -p**2 + 10*p - 9. Let m be -2*7 - (-1 + 3). Let k be 6*1 + m/(-8). Let s be h(k). Solve 5*j + s = -8 for j.
-3
Let d(c) = 10*c - 40. Let m be ((4 - (-6)/(-2)) + -3)*-2. Let y be d(m). Solve y = 2*q + q - 3 for q.
1
Let r(t) = 24*t - 413. Let h be r(19). Solve -h + 47 = -2*c for c.
-2
Let k(r) = -r. Suppose 3*g = 5*x + 10 + 6, -3*x - 27 = 4*g. Let o be k(x). Let q be ((-24)/(-40))/((-1)/(-5)). Solve o*t = 6*t + q for t.
-3
Let p be 20/45*3*-3. Let w be p + (10/3 - 4/(-6)). Solve w = -l - l for l.
0
Let p(j) = -7*j**2 - 41*j + 11. Let t be p(-6). Solve -8*n + 27 = -t for n.
4
Suppose -148*i + 139*i = -9. Suppose -8 + 2 = -3*y. Solve -t = -y*t + i for t.
1
Let i be (-8 + (-37)/(-5))*(0 + -5). Let p be ((-3)/6)/(3/(-60)). Solve -p = -2*b - i*b for b.
2
Let q(b) = -2*b - 4. Let h(a) = a + 1. Let c(d) = 3*h(d) + q(d). Let y be c(4). Solve -y = -n + 4*n for n.
-1
Let i = 399 - 394. Let q(z) = z**3 + 6*z**2 + z + 4. Let d be q(-5). Suppose -d - 1 = -i*b. Solve -15 - b = -5*w for w.
4
Let l be 22/8 + (-4)/(-16). Solve 0 = o + l - 1 for o.
-2
Suppose 3*l = l + 5*i + 5, 3*l = -5*i - 5. Suppose -3*d - 4*r + 23 = l, 0*r - 6 = 4*d - 2*r. Let b be 13 - -4*d/2. Solve t = -4*t - b for t.
-3
Let d = -20 + 25. Suppose -7*q + 12 = -d*q. Solve -t = t + q for t.
-3
Let a = -78 + 80. Let q be (-1 + 2)/(a/4). Solve -q*b = -6 - 2 for b.
4
Suppose 25 = 2*i - 3*x, -6*i + 34 = -i + 2*x. Let t be (i/(-28))/((-4)/56). Let q be (-5 - -6) + (-4)/(-2). Solve q*p - t = p for p.
2
Suppose 0 = -20*m + 21*m - 4. Solve m*r + 15 = -5 for r.
-5
Suppose -26 = -10*q + 4. Let a = q - 3. Solve a = -z + 5*z + 20 for z.
-5
Suppose 0 = -2*q + 3*q + 3*u, q = 2*u + 5. Solve -25 = 2*t + q*t for t.
-5
Let u(t) = -7*t + 18. Let k(f) = -2*f + 1. Let r(o) = -6*k(o) + 2*u(o). Let g be r(11). Solve y = g - 5 for y.
3
Suppose 2*x - 2 = -4*v, 4*v - x - x = 14. Solve j + v + 0 = 0 for j.
-2
Suppose 285 = 31*y - 25. Solve 18 = 4*h + y for h.
2
Let z(a) = a - 2. Let r be z(2). Suppose -3*h - 3 - 9 = 0. Let c be 8/h*12/(-8). Solve r = -c*i - 0*i for 