-3 - -2). Suppose 3*x - 30 + c = 0. Let v be (0 + 6/15)*x. Solve -2 + v = i for i.
2
Let r(j) = -20 + 3*j + 4*j**2 + 0*j**2 + j**3 + 22. Let f be r(-3). Let t(a) = -a**2 - 7*a + 2. Let d be t(-5). Solve i = -f*i - d for i.
-4
Suppose -2*p = 4*a + 5 - 1, p - 4*a - 10 = 0. Solve p*r - 2 = 6 for r.
4
Suppose 0 = 3*d - 0 - 36. Suppose 0 = 6*i - 3*i - d. Suppose i*m - 3*f = 27, -4*m - f - f = -2. Solve 6 = -m*b - 9 for b.
-5
Suppose h + 5*x = -28, 3*h = 2*h + 3*x + 12. Let i(f) = -f**3 - 2*f**2 - f. Let g be i(h). Solve 5*k + 8 = -g for k.
-4
Let d = 1 + 1. Suppose -w = -d*w + 7. Solve 1 + w = -2*z for z.
-4
Let t(y) = 2*y - 6. Let r = 14 - 7. Let h be t(r). Solve -h = i + i for i.
-4
Suppose 2*q + n + 3*n = 10, -20 = -4*q - 3*n. Suppose 0*j - q = -j. Let g be (6/(-15))/(2/(-20)). Solve 16 + g = -j*x for x.
-4
Let k(f) = f**3 - 9*f**2 + 2*f - 13. Let i be k(9). Solve i = -2*y + y for y.
-5
Suppose 2*f + u = 4*u + 15, 15 = -4*f - 3*u. Suppose 0 = -2*g - 2*g + 12. Solve f*n = g*n + 6 for n.
-2
Let g be (-18)/(-3) - 3 - -2. Suppose -2*p + g*x - 2*x + 10 = 0, 5 = p - x. Solve 4*r = p*r - 5 for r.
5
Let z(h) = 4*h**2 + 5*h - 1. Let p be z(-2). Solve -s = -p*s - 8 for s.
-2
Suppose 2*c - 10 = -0*c. Solve c*p = p + 8 for p.
2
Let f(i) = -i**2 + 7*i + 3. Let x be f(7). Solve o - x = -0 for o.
3
Suppose -7*v - 2*v = -135. Solve -2*l - l = -v for l.
5
Let w(h) = -14*h + 1. Suppose -4*b = -0*i + 3*i - 8, 16 = 4*b + 5*i. Let v be w(b). Suppose -3*k - 16 = -7*k, 0 = -s + 4*k - v. Solve -s + 21 = -4*c for c.
-5
Let k be 20/1 - 0/(-12). Solve 0 = -4*r - r + k for r.
4
Suppose g - 4*z - 2 = -0*g, 2 = g + 2*z. Solve -g*c + 2 = -0 for c.
1
Suppose 0*t = -4*t + 36. Suppose 2*m = 5*m - t. Suppose -3*s + 15 - 7 = -2*r, 2*s - 27 = -3*r. Solve 3*k + m = s*k for k.
1
Let x = -5 + 4. Let i be x/(-2)*(-10 - -10). Solve i = -4*u + u + 6 for u.
2
Let n = 22 + -14. Suppose -10 = 5*d, -4*h + n - 2 = 5*d. Solve -h = t - 3*t for t.
2
Let b be (-36)/45*5/(-2). Solve b*g + 12 = 5*g for g.
4
Let p(v) = v - 1. Let r(g) = 60*g - 55. Let k(b) = 220*p(b) - 4*r(b). Let s be k(-1). Solve -4*a - s = -0*a for a.
-5
Suppose 0*r = -4*r - 4*x + 24, 9 = 2*r + x. Solve -a - r = -0 for a.
-3
Let t(c) = c**2 + 2*c - 12. Let k be t(-5). Suppose 0 = -3*y + 6*y - d - 16, -3*d = 3*y. Solve y = -g + k for g.
-1
Let f(n) = -n + 0*n + 0 - 1. Let o be f(-5). Suppose r + 2 = o. Solve r*z = -z + 15 for z.
5
Suppose -2*z = 2*h - 2, 2*h + 2 = 3*z + 6*h. Solve u + z*u = -6 for u.
-2
Suppose 3*z - 4*x = -8, -2*z - 2*z = -2*x + 4. Solve 2*i + z = -6 for i.
-3
Suppose f - 4*f = -30. Let k = f - 10. Solve 4*x + 0 + 4 = k for x.
-1
Let r be 1 + 60/14 + 16/(-56). Suppose -v = l - 5*l - 21, 96 = 4*v - 4*l. Solve 0*q = -r*q + v for q.
5
Suppose -37 + 47 = 5*l. Solve -l = -z + 1 for z.
3
Suppose -37 = 8*d - 269. Solve -5*p - d = -4 for p.
-5
Suppose -2*p + 6 = -a - 2, p + 5*a = -18. Suppose p*h - 12 = -h. Solve 14 = -h*g - 2 for g.
-4
Suppose 0 = -2*h + 3*h - 1. Suppose 3*i - 6*x = -x + 34, -x + h = 2*i. Solve 4*v + 5 = -i for v.
-2
Suppose -2*l + 4 = 2*i - 2, -5*l = -3*i - 23. Solve -14 = l*q - 2 for q.
-3
Suppose 5*y = 3*y + 4. Let j be 6/(-3) + 20/y. Solve -5*n - 3 = -j for n.
1
Let w = 7 + -5. Suppose 0 = w*k - 3*p - 7, -13 = -3*k + p + p. Suppose -9*s + k*s = -8. Solve 0 = 3*j + s*j for j.
0
Suppose r - 2*b = 25, 7*b - 3*b = 5*r - 131. Solve -4*c = -7 + r for c.
-5
Let q(m) = 5*m**2 + 5. Let z be q(2). Solve 2*i = 7*i + z for i.
-5
Let f = -4 - -3. Let w be -5 + 4 + 102 + f. Suppose 4*m = -m + w. Solve -6*h - m = -h for h.
-4
Let p be (-54)/(-24)*(-8)/(-6). Solve -2*w = w - p for w.
1
Let k be ((-3)/6)/(2/(-156)). Let i be k*(6/2 - 2). Suppose -5*x + 0*x + 2*u + 24 = 0, -5*x - 3*u = -i. Solve 2*w + x = -0 for w.
-3
Let k be (-12)/(-16)*4 + 7. Solve o = 6*o - k for o.
2
Let y(l) = l**3 + 7*l**2 + 7*l + 1. Let v be y(-6). Let p(h) = -h**2 - 6*h - 3. Let o be p(v). Solve 0 = -o*g - 2*g + 20 for g.
5
Let z = 3 + -11. Let m(r) = -2*r - 9. Let j be m(z). Solve j = 3*n - 5 for n.
4
Let m be (7/2 - 3)*10. Suppose -5*b = 5*a + 10, -3*b = 4*a - 3 + 11. Let l = b - 0. Solve -4*p + m - 1 = l for p.
1
Let x(j) = j**3 - 2*j**2 - 2*j - 3. Let w be x(3). Solve 20 = -4*q - w*q for q.
-5
Let x be (-110)/(-3)*12/5. Suppose 5*d + 28 = x. Let c be ((-2)/4)/((-2)/d). Solve c = -2*a - a for a.
-1
Suppose -3*c + 6 = 3*h, -3*h + 8 = 4*c - h. Solve -8 = 2*v - c for v.
-3
Let l be -1*3/3*8. Let z(i) = 2*i + 10. Let h be z(l). Let m = -1 - h. Solve -m*v = 6 - 1 for v.
-1
Let v be (-472)/(-20) + (-3)/5. Suppose 5 = -f, 10*f + v = -b + 5*f. Solve 0 = 3*l + b + 1 for l.
-1
Let s be 1*(15/5 - 1). Solve 8 = -2*x - s*x for x.
-2
Suppose 0*s = -s + 2. Let h be 2/((-35)/(-10) + -3). Let w = 2 + 0. Solve s*d - h = -w for d.
1
Suppose -307 = -5*x - 3*p, 2*p = -0*x - 2*x + 122. Let b = -88 + x. Let j be b/(-8) - 1/4. Solve h + 0*h = -j for h.
-3
Let b = 18 + -6. Let d(f) = f + 2. Let v be d(0). Solve -v*c - c = -b for c.
4
Let g(o) = o**2 + 7*o + 6. Let q be g(-7). Let y(c) = c**3 - 6*c**2 + 4. Let s be y(q). Solve 14 - 2 = s*j for j.
3
Let q be (-39)/(-26)*4/6. Suppose 2*h - 8 = -4*f, f = -3*h - 2*h + 11. Let w be (-1)/((-2)/h) + q. Solve -w*u - 6 = u for u.
-2
Let u(i) = i**3 + i + 4. Let d be u(0). Solve -o + d = 2 for o.
2
Suppose 3*t = -5*m + 8, 4*t + 28 = -m + 4*m. Solve 0 = m*a - 4 for a.
1
Suppose 4*t - 5 = 3. Solve -t*q - 2 + 4 = 0 for q.
1
Suppose 0 = 4*q - 2*m + m, 0 = q + 5*m. Suppose -3*l + 4*w + 7 = -q*l, 0 = 2*w + 2. Solve -l = 2*y - 3 for y.
1
Let j be (-39)/(-26) + 5/2. Solve 0*f = j*f - 20 for f.
5
Let d = -91 + 107. Solve 0 = -3*n + 7*n - d for n.
4
Let y(n) = -n**3 - 10*n**2 - 10*n - 7. Let p be y(-9). Solve -p*m = -4*m for m.
0
Let b be (1/3)/(2/6). Suppose 0 + b = 2*h - o, 4*h + 1 = -o. Solve h = -z - 2 - 3 for z.
-5
Suppose 0 = 5*h - 100 - 0. Solve 0 = 4*k - 9*k - h for k.
-4
Suppose -6 = 4*d - 2. Let v(c) = c**3 + 4*c**2 + c - 3. Let k be v(-3). Let w = k + d. Solve -s = w*s for s.
0
Suppose 32*i = 31*i. Solve 0 = 2*s - i*s + 8 for s.
-4
Let z = -9 + 12. Suppose 3 = 4*d - z*d. Solve -d*h = 2 + 1 for h.
-1
Let d be 2/8 + 62/8. Let n be (-6)/(-4)*(0 - 2). Let j = n + 5. Solve 0 = j*g + d for g.
-4
Let l(g) = g - 3. Let c be l(7). Suppose c*j = j. Solve -y + 0*y - 1 = j for y.
-1
Let c = 45 + -33. Solve -f + c = -4*f for f.
-4
Let l(f) = f + 6. Suppose -4 + 10 = -2*p, -3*i + 2*p = 12. Let w be l(i). Solve 2*g + 0*g = w for g.
0
Let l be (-20)/(-8) + 2/(-4). Let d(k) be the third derivative of -k**6/120 - 2*k**5/15 - 7*k**4/24 + 3*k**2. Let q be d(-7). Solve -t - l*t = q for t.
0
Let h be (1 - (-1 + 2))*1. Suppose h = 4*r + r - 5. Solve -4*a = -11 - r for a.
3
Suppose 0 = -6*r - 4*r + 40. Solve k + 0 = r for k.
4
Suppose -7 - 7 = 3*p + 4*u, 4*p = -4*u - 12. Solve p*w = w for w.
0
Suppose -x = -0*x, -x = -h. Solve h = 2*d - 5 - 5 for d.
5
Let j(n) = n**2 - 8*n + 2. Let s be j(8). Suppose -z + f - 3 = s, z + 5*f = 25. Solve z = 5*l - l + 16 for l.
-4
Let x(j) = -j**3 - 7*j**2 - 8*j - 8. Let q be x(-6). Solve 19 = -q*z - 1 for z.
-5
Let n(v) = -v + 3. Let q be n(-3). Suppose 5*t = 3*t + q. Solve y + t = -0*y for y.
-3
Let r = 42 - 40. Solve -r + 0 = g for g.
-2
Suppose b + 5*l = -30, 33 = -b - b - l. Let x = b + 21. Solve 2*z - 4 = x*z for z.
-1
Suppose -22 = 5*k + 8. Let n be (-8)/k*(-3)/(-2). Suppose -3*t = -n*y + y + 15, -15 = 2*y + 3*t. Solve y*v - 3*v = -6 for v.
2
Let u = -124 - -128. Solve 4*c + u = 2*c for c.
-2
Suppose h - 6 = 5. Solve 4*t - h = -27 for t.
-4
Let y be 14 + -1*(2 - 0). Suppose -4*l - y = 0, 5*l + 2 = -4*h - 5. Let o be (-15)/10*(-2)/3. Solve o = h*v - v for v.
1
Let g be 1/(-4) - 225/(-36). Suppose -2*q - 2*b + g = -18, -5*q + 40 = -5*b. Solve -4*t = t - q for t.
2
Suppose 2*q - 4*q + 4 = 0. Suppose -v + 2 = r, -4*r - v + 2*v = -28. Solve q*i - r = -i for i.
2
Suppose 5*v - 5*p = 25, 5*v - 4*p - 24 = -0*p. Let j = 15 - 10. Solve -j*c + v = -c for c.
1
Let v(q) = q**3 - 3*q**2 - q - 1. Let l be v(3). Let x be (l/(-2))/((-7)/(-7)). Solve x + 8 = -2*n for n.
-5
Let q(u) = 4*u**3 - u**2 + u. Let x be q(1). Suppose 5*p + x*v = -0*p + 32, p - 4*v = -8. Solve -p*i + 0 - 4 = 0 for i.
-1
Suppose 0*u = 2*u. Suppose 0 = 5*c + m - 6, 0*m + 5 = c + 4*m. Suppose -k + u*y = y - 5, -y = -3*k - c. Solve -2*z = k + 1 for z.