3*q - 6 = w for q.
2
Suppose 3*j - 12 = 4*u, 6*j - 20 = -4*u + j. Let n = -1 - -6. Suppose 16 = 5*f - 2*t + t, -4*f + 17 = -n*t. Solve -q + u*q = -f for q.
3
Let l(v) = v**3 + v**2 - v + 4. Let q be l(0). Suppose q*c + 0 = 8. Let r(w) = -4*w - 1. Let t be r(-1). Solve 1 = -t*a - c for a.
-1
Let a = -16 - -36. Let p = a - 16. Suppose -13 = 2*z + 5*r, -5*r - 17 + 7 = 5*z. Solve 5*f = -p - z for f.
-1
Let b(l) = 3 + 2*l**2 - l**3 - 4 + 2*l**3. Let s be b(-1). Let a(p) = 4*p**2 - p - 2. Let d be a(-2). Solve d + s = 4*x for x.
4
Suppose 0*k - 20 = -2*k. Solve -6*v + v = -k for v.
2
Suppose -3*c = -2*g + 33, g - c - 14 = -0*c. Let i be 76/18 + (-2)/g. Suppose 5*x = 2*f - f - 3, -5*x - 5*f + 15 = 0. Solve -i*a - 20 = -x*a for a.
-5
Suppose c + 5 = i + 2*i, i + 2*c - 11 = 0. Suppose 2*w = i*w - 3. Solve -2 = 5*u + w for u.
-1
Let p = 14 + -10. Suppose -2*y = -4*y + p. Let k = y - 0. Solve k*s = s - 3 for s.
-3
Let t(z) be the third derivative of 5*z**4/24 + z**3/6 + 4*z**2. Let a be t(3). Solve k - a = -3*k for k.
4
Suppose 0 = 3*a + a - 16. Suppose a + 4 = 4*w. Solve d = w*d + 5 for d.
-5
Suppose 5*n = n + 48. Suppose 0 = -4*i + n - 4. Solve -5*g = -i*g for g.
0
Suppose 3*y + 1 = -p + 3, 41 = 4*p + y. Let x = 15 - p. Solve 0 = -0*m - x*m - 12 for m.
-3
Let t be (-12)/(-10)*10/2. Solve -4 = -t*m + 4*m for m.
2
Let i be (1 - -1)/(-2) + 21. Suppose -5*m + 20 = -i. Solve -3*r + m*r = 10 for r.
2
Let j be (-47)/(-9) - (-4)/(-18). Suppose -j*a + 2*a + 9 = 0. Solve 0 = w - a for w.
3
Suppose -3*k = -3 - 0. Solve -l - k = -2 for l.
1
Suppose -5*c - 3*s + 4*s = -27, 3*c = 4*s + 23. Suppose 2*a + 2*a + 10 = 3*w, -7 = -w + c*a. Solve f - w*f = 1 for f.
-1
Let d be (-8)/14*(-7)/2. Solve -c = -d - 2 for c.
4
Let k(n) = 5*n**2 + 4*n. Let y be k(4). Let r be y/(-16)*(-3)/2. Solve -2*x - r = x for x.
-3
Let c(x) be the first derivative of x**3 + x**2 + x + 2. Let n be c(-1). Suppose 2*m = -4*r + 50, -n*m = -2*r - 18 + 58. Solve -r = f + 2*f for f.
-5
Suppose -5*m - 2 = -6*m. Solve 0 = m*g + 1 + 1 for g.
-1
Suppose -2*p + 2*u = -u - 15, 0 = 2*p + 2*u. Suppose 9 = 2*b - q, b = 3*b + q - 15. Let z(r) = -r + 6. Let s be z(b). Solve -w + p + 1 = s for w.
4
Let k be (-4 - -2)*(2 + -3). Solve w + k = 2*w for w.
2
Let j(o) = o**2 + 2*o - 8. Let i be j(-6). Solve r + 3*r = -i for r.
-4
Let o be 10 + -2 + 2 + 2. Solve 3*g = -o - 0 for g.
-4
Suppose 15 = 2*d + 3*d. Suppose -24 = -3*f + d*a - 0*a, -4*f = 4*a. Suppose 2*v - 1 = u, 0 = 5*u + 5*v - v - 23. Solve 0 = -w - u*w + f for w.
1
Let r(t) = -t**3 - 2*t**2 + 1. Let d be r(-1). Let c(u) = u + 1. Let x be c(6). Solve d = 3*q - x*q - 12 for q.
-3
Suppose -4*r = -6 - 2. Suppose 4*y - r*l - 4 = -3*l, y + 10 = -3*l. Solve -j + 3 + y = 0 for j.
5
Suppose 6*a - 4*a - 4 = 0. Let n be (-7 - -1)/((-3)/a). Suppose -20 = -4*y - 8. Solve -2*o - n = -y*o for o.
4
Let b be ((-3)/2)/(2/(-4)). Solve -s + b = 2*s for s.
1
Suppose 14*h - 9*h = 0. Solve h = -q + 5*q for q.
0
Let q(c) = c**3 - c**2 - c + 3. Let k be q(0). Let j be -1 + 1/(-1) + 2. Solve -k*v = -j*v - 6 for v.
2
Let t(z) = z + 15. Let j be t(-9). Let r be (18/4)/(j/8). Solve -d + r = d for d.
3
Let j be (-3)/6 + 11/2. Suppose h - 3*n - 22 = 0, -5*n = 3*h - h. Suppose -4*f - 26 + 6 = j*p, -2*f = h. Solve -i - 2*i + 15 = p for i.
5
Suppose 0 = -4*l - 16, -5*l - 18 = 2*j + 16. Let p(b) = b**3 + 7*b**2 + 6. Let w be p(j). Solve 0 = 3*x - x - w for x.
3
Let u(i) = i**2 + i + 10. Let h be u(0). Solve k - 6*k = h for k.
-2
Let l = -24 + 27. Solve -3*i - 6 - l = 0 for i.
-3
Let n = -50 + 87. Suppose 5*k = n + 23. Solve 2*b - 6*b = k for b.
-3
Let v(h) = 2*h**2 - 9*h + 12. Let b be v(6). Suppose 15 = 5*i + p, 5*i - 2*p - b = -0*i. Solve 0*c = -i*c for c.
0
Suppose -2*y = -y. Suppose 0 = -3*m - y*m + 9. Solve m = 4*v - 7*v for v.
-1
Let z(y) = 5*y**2 + 2*y + 1. Let h = 7 - 5. Suppose 0 = r + r + h. Let x be z(r). Solve x = i - 1 for i.
5
Let g be 1 + (-14)/(-4)*-6. Let j = 36 + g. Solve 4*p - j = -0 for p.
4
Let k be 2/6 - (-5)/(-15). Solve 2*a = -k*a for a.
0
Let o = 74 - 71. Solve 0 = -o*j - 6 for j.
-2
Let r = 3 + 0. Suppose -q - 5 = r*p, -q + 2*p = 3*q - 22. Solve -y = y + q for y.
-2
Let s = -1 - -5. Solve 2*f = f - s for f.
-4
Let a = -14 - -17. Solve -b + 2 = -a*b for b.
-1
Let j = 3 - 3. Solve 2*w + j = 4 for w.
2
Let t be 17 - 8/((-8)/(-5)). Solve -5*c + t = -2*c for c.
4
Suppose -12*t + 10*t = 0. Solve t = -m + 7 - 3 for m.
4
Suppose 4*a - 9*a = 15. Let f be 4*4/(-12)*a. Solve -u = -0 + f for u.
-4
Let r = 3 - -5. Suppose -4*x + r = -0*x. Solve -6*q + x*q = 8 for q.
-2
Let c(j) = 3*j - 8. Let l be c(8). Suppose 5*o = 4*n - 15, 5*n - 9 = l. Solve -21 = -4*p - o for p.
5
Suppose -26*s + 31*s - 5 = 0. Solve -2*h - s = 7 for h.
-4
Suppose 3 - 8 = -m. Solve 0 = 2*k - m*k - 12 for k.
-4
Let g = 50 - 30. Solve -3*t = 2*t + g for t.
-4
Suppose 3*b - 27 = -3*t, -2*b + 0*b - 3*t = -23. Suppose 0 = 2*u, -2*u - 2*u + 36 = 4*f. Suppose 4*d - f = -1. Solve c + b = d*c for c.
4
Let p(n) = 7*n + 4. Let c(w) = w + 1. Let j(o) = 4*c(o) - p(o). Let f be j(-1). Let t(i) = i**2 + 5*i + 6. Let h be t(-5). Solve f*d - h*d - 15 = 0 for d.
-5
Suppose -5*j - 4*l + 138 = 0, -4*j = -2*l - 0*l - 100. Suppose m - 2 = -4*c, -3*c + j + 1 = 5*m. Solve 2*r - m = -0 for r.
3
Let a(v) = v**2 - 3*v + 1. Let i be a(5). Suppose i = 3*d - 2*d. Solve -2*l - 3 = -d for l.
4
Suppose 2*b - z + 2*z = 4, b - 5*z = 24. Suppose 4*r - 2*w - 4 = 0, -4*r + 6 - 2 = w. Solve 0 = 5*m - r - b for m.
1
Suppose -5*l + 0*l + 8 = -2*g, -g - 9 = -5*l. Solve y = 3*y + l for y.
-1
Let k(p) = p**2 + 4*p + 3. Let w be k(-5). Suppose -3*z + w = z. Solve 0 = -c + 1 + z for c.
3
Suppose 2*x = 3*h + 23, 3*h = -2*x + 26 + 15. Let c = -7 + 12. Solve x - 1 = -c*n for n.
-3
Let p = -15 + 18. Solve -p*l - 12 = -0 for l.
-4
Let w = 6 + -8. Let h be 0 + (w - -1)*-5. Let c = -3 + h. Solve c*r = 4*r - 6 for r.
3
Let d be (-13)/26 - (-18)/4. Suppose -4*o + 12 = 2*q, -12 = -d*o + 3*q - 0*q. Solve -5*z + 22 = -o for z.
5
Let h be (1 - 0)*(1 + 2). Let k(a) = -3*a - 4. Let u be k(-4). Solve -u = -h*p - p for p.
2
Let i be 6/2*8/12. Solve f = -i*f - 3 for f.
-1
Let x = 1 - -3. Suppose -t - t = -x. Suppose 2*i + 4*d + 1 = 3*d, -i = 2*d + 5. Solve -t*w - i = -w for w.
-1
Suppose -41 = -2*y + 21. Suppose -18 = u - 4*k, 3*u + 5*k = -0*k + y. Solve 0 = 6*b - u*b for b.
0
Suppose -3*g + 5*d + 0 = 3, -3 = -3*g + 3*d. Suppose -4*x + 21 + 3 = g*w, -3*w + 3 = 0. Suppose 0 = x*o - 39 + 9. Solve q + o = 3*q for q.
3
Let s = -19 + 22. Solve 10 = s*x - 2 for x.
4
Suppose b + 4*c - 3 = 2*c, b = -5*c. Let v = -16 - -29. Suppose 5*g + 5*y - 20 = 0, 2*y + v = -4*g + 35. Solve -b*k + 13 = -g for k.
4
Let o be 2*(-2)/(-8)*6. Suppose o*w - w = 4. Solve -p - 2 - w = 0 for p.
-4
Let r = -319 - -324. Let i(v) = -v**3 - 4*v**2 - 2*v - 5. Let w be i(-4). Solve -w*m = -r*m for m.
0
Let f be ((-72)/30)/((-4)/10). Solve 0 = 3*t - 15 + f for t.
3
Suppose -3*g + 0*f - 1 = 4*f, 3*g = 4*f + 7. Let s be 1 + (-1 - g)/(-2). Suppose 0 + 7 = p. Solve -p = s*h + 3 for h.
-5
Let v be 6/1 - (-3 + 3). Solve -v*i - 3 = -3*i for i.
-1
Let n(l) = -3 + 0*l - l + 0 + 1. Let y be n(-6). Solve -y*u = -0*u - 8 for u.
2
Suppose x - 5*n = 1, 0*x - 5*n - 2 = -2*x. Solve 0 = -4*b - 9 + x for b.
-2
Let r be (-2 + -1)/(3/18). Let g be 18/5 - r/45. Solve -g*i = i for i.
0
Let y(g) = 14*g + 1. Let l be y(1). Suppose 3*o = -0*o + l. Suppose -7 = -3*s + o. Solve -s*c = 4 + 8 for c.
-3
Let i(q) = 5*q - 4. Let z be i(4). Suppose 3*y + 3*k = 0, -2*k - k - 14 = -4*y. Solve -z = y*f + 2*f for f.
-4
Suppose -3*m - 38 = -5*r, -5*r = -5*m + 13 - 63. Let g = m - -1. Let q be -2 + 4/((-4)/g). Solve q*c + c - 12 = 0 for c.
3
Let i(x) = x**3 - 7*x**2 - 7*x - 4. Let q be i(8). Suppose 21 = 2*t + 3*u, 3*t + u - 8 = 6. Solve 5*o - t*o - q = 0 for o.
2
Let y = -1 - 0. Let p be -1 - y/(4 + -3). Solve -4*u + 1 + 3 = p for u.
1
Suppose -u = -4*h + 1 + 11, -h + 24 = 5*u. Suppose -l + 2*w + 10 = 0, 2*l - 10 = 5*l + 4*w. Suppose l*a - 24 = -0. Solve -h*f = -f - a for f.
4
Suppose 4*y - 5*a + 5 = 0, 3*a = 5*y - 2*a + 5. Solve f - 4 - 1 = y for f.
5
Suppose 7 + 1 = 2*a + 2*m, -7 = -4*a - m. Let c be (-3 - -5) + -1 + a. Let o = 6 - c. Solve -2*l = -o*l - 2 for l.
-1
Let y = 38 + -38. Solve d = -y*d + 4 for d.
4
Let j(t) = -t - 3. Suppose 