p - 16 for p.
-4
Let f be -1*3*12/(-9). Suppose f*q = -5*r - 0 + 1, r = 5*q - 23. Solve -q*u + 0*u = 16 for u.
-4
Let r(w) = 4*w - 1. Let l be r(1). Let h be ((-6)/(-4))/(l/4). Solve 3*c + h*c = 15 for c.
3
Let h be 36/21 - (-3)/42*4. Solve -h*i + 12 = 4 for i.
4
Let k be (5/4)/((-1)/(-4)). Let i = -4 + 6. Suppose -i*p + p + 4 = 0. Solve -p*x = x + k for x.
-1
Let r(j) = j**2 - 4*j + 9. Let w be r(4). Let q(z) = 2*z**2 - z + 4. Let t(p) = p**2. Let s(v) = -q(v) + 3*t(v). Let y be s(-3). Solve -y*k - w = -3 for k.
-3
Let f = -3 + 11. Suppose 5*l = -f*g + 3*g + 15, -2*g + 21 = 5*l. Solve -h - 4 = -l for h.
1
Let p be ((0 - 0)*(-5 - -4))/3. Solve 2*y - 2 = -p*y for y.
1
Let d = -2 - -7. Solve z - 2 + d = 0 for z.
-3
Let w be (-6)/2*(-7)/(-3). Let l be (-36)/(-14)*(-49)/w. Suppose -3*a = -3*q - 0*q + l, 12 = -4*a. Solve 0 = -q*j - 10 - 2 for j.
-4
Let d = 5 - 3. Suppose 2*p = -0*p + 12. Let a = -2 + p. Solve -i + a = -d*i for i.
-4
Let c(n) be the third derivative of n**5/60 + n**4/24 + n**3/3 - 2*n**2. Let f be c(-2). Suppose -2 = v - f. Solve v*m - 1 = -5 for m.
-2
Let n be 1/((0 - -1)*-1). Let z be -16*(n/(-2))/(-1). Suppose 5*p = 2 + z. Solve l - p = -3 for l.
-1
Let k be (1 - 3)/2 - -6. Suppose m = k*m. Solve r + 3*r = m for r.
0
Let n(p) = -5*p - 35. Let t be n(-8). Solve -8 + t = 3*r for r.
-1
Let q be 2*(2 - (-1)/(-2)). Suppose 5*y - 6 = 2*y, q*o + y = 11. Solve -3 - 12 = o*p for p.
-5
Suppose 3*u = 5*a + 23, -3*a + a = 2*u + 6. Suppose -u - 5 = -y. Solve -6 = -4*h + y for h.
3
Let y(u) = -u**2 + 5*u + 3. Let g be y(5). Suppose -2 + 8 = -g*a. Let v be (-2 - a)/(-4 - -3). Solve v = -x - 2 for x.
-2
Suppose -2*k - 6 = -4*k. Let d = -6 + 8. Let v be (-5 - (2 - 5))/((-4)/8). Solve -v = -k*l + d*l for l.
4
Let b be (-1)/2*0/2. Solve b = 3*d + 5 - 2 for d.
-1
Suppose 4*i - 5*i = 2, -4 = -2*m - 2*i. Solve -m*c = -5 - 11 for c.
4
Let y be (-2)/(-4) - (-27)/6. Suppose -22 = -2*l - 2. Solve -y*s + 0*s = l for s.
-2
Suppose -2*h = h. Let l = -13 + 16. Let u = h + l. Solve -3*x + 0 = u for x.
-1
Let j(l) = l**3 + 6*l**2 - 6*l + 13. Let d be j(-7). Solve -3*w + 18 - d = 0 for w.
4
Let t(w) = -5*w + 3. Let d(r) = 14*r - 10. Let n(h) = -4*d(h) - 11*t(h). Let l be n(-8). Solve -o + 6*o = l for o.
3
Let p(b) = b - 8. Let v be p(8). Solve v*o = 2*o for o.
0
Suppose -7 = -4*d - 119. Let x be (-16)/d - 8/14. Solve 0 = -x*z - z - 2 for z.
-2
Let k(x) = -5*x + 38. Let g be k(7). Suppose 0*a + 10 = 2*a. Suppose a*v + 3 = 2*q, v + 20 = 2*q + 5. Solve 0 = -g*u + q + 3 for u.
4
Let y = 4 - 4. Suppose 5*j + 15 - 3 = 4*m, 5*j + 5*m - 15 = 0. Suppose 3*h + h - 12 = j. Solve y*i + i - h = 0 for i.
3
Let r(l) = l**3 - 6*l**2 + 1. Let g be r(5). Let n = g + 42. Let t = -13 + n. Solve -14 = t*v + 6 for v.
-4
Suppose 0 = 9*a - 5*a - 56. Solve 4*j + a = -2 for j.
-4
Suppose 2*o - 5*c = -0 - 3, 5*o = c + 4. Let j(k) = -k**3 + 6*k**2 - 6*k + 5. Let h be j(5). Solve h = v - 2*v + o for v.
1
Let b = -5 - -10. Let t = b + -13. Let m be (t/(-3))/((-4)/(-6)). Solve -12 = m*z - 7*z for z.
4
Suppose 0 = 4*r - 18 + 2. Solve -r*c + 4 = -0*c for c.
1
Let n = -3 + 11. Suppose -2*w - 2 = -n. Solve -3*g - 6 = -w for g.
-1
Let y(v) = 6*v**2 + v. Let p be y(-1). Suppose 0*i + i + 8 = -2*n, 4*n = p*i - 30. Suppose 0 = i*q + q. Solve q = 3*f - 0*f for f.
0
Let q be (-187)/(-77) - (-3)/(-7). Solve -j - q*j = 0 for j.
0
Suppose 3*c - 33 = 5*v, 0*c + 2*c - 18 = 2*v. Solve b - 3*b = c for b.
-3
Let n(m) = -1. Let w(i) = -i**2 + 3*i - 2. Let d(o) = -3*n(o) + w(o). Let t be d(2). Suppose 4*r - 2 = 2. Solve -t*p - r = 2 for p.
-1
Let v = -3 + 5. Let m = 0 + 0. Suppose 3*k + m*k - 30 = 0. Solve v*l - k = -0*l for l.
5
Suppose -7*k - 20 = -3*k, 2*k + 13 = y. Solve 0*f = y*f for f.
0
Let x(z) = -10*z. Let j be x(-2). Let w(t) = -2*t + 5. Let g be w(-2). Suppose -4*d + g*d - j = 0. Solve -d = -2*m + 2 for m.
3
Let w = 1 + 0. Let k be 1/((-3 - -2)/(-9)). Suppose 4 = 13*r - k*r. Solve -l = -r - w for l.
2
Suppose -3*f + 4 = -f. Let d = -2 + f. Solve d*a = -2*a for a.
0
Let k = -80 + 80. Solve -3*r + 4*r - 2 = k for r.
2
Let i = -6 + 9. Suppose 5*f + 0*f - 20 = 0. Suppose -f*n + 9 = -11. Solve -i - 2 = n*u for u.
-1
Let u(p) = -2 - 3 - 4 - 2*p. Let t be u(-6). Suppose t*f = f. Solve f*d = 3*d + 15 for d.
-5
Suppose 0 = 2*t - 13 + 5. Let q = 3 + t. Solve 5 = -3*h - q for h.
-4
Let t(y) = 2*y**2 + 3*y + 1. Suppose -26 = -2*p + 5*o - 10, 2*p - 3*o = 8. Let x be t(p). Solve -x = -3*b - 0 for b.
1
Let u = 15 - 10. Solve a = u*a + 20 for a.
-5
Let q(c) = -c. Let o be -1 - ((-1)/1 + 1). Let p be q(o). Solve 0 = k - 4 + p for k.
3
Suppose -5*w + 15 = -10. Solve m = -4*m + w for m.
1
Suppose 3*c + 11 = -4, -2*x + 29 = -c. Solve -3*n + 3 = x for n.
-3
Let i = 1 - 1. Let y = 1 - i. Solve -y - 1 = -b for b.
2
Suppose 4*h + 2 = -18, 4*h + 25 = 5*q. Solve -w + 5 = q for w.
4
Let h = -32 + 39. Solve 8 = -3*m - h for m.
-5
Let j(r) = -r**3 + 7*r**2 + 9*r - 8. Let p be j(8). Suppose -27 = -5*k + 4*s, 2*s - 12 = -5*k + s. Solve p*f + 9 = -k*f for f.
-3
Let a be (-30)/5*(-6)/9. Let h be (144/3)/3 - 2. Let b = 5 + h. Solve -a*w - 3 = -b for w.
4
Suppose -t = -6*t - 10, -2 = -4*s - 5*t. Let b = s - 0. Solve 0 + b = -3*w for w.
-1
Suppose 0 = -3*n - 0*n + 15. Suppose 0 = 7*m + 3 - 3. Solve m = -s + n*s - 16 for s.
4
Let u(v) = v**2 + 7*v - 4. Let c be u(-8). Solve -10 = c*t - 2 for t.
-2
Let r = 1 + -1. Suppose -4*j - 1 - 23 = r. Let m be (-4)/j + (-4)/6. Solve m = -0*a - a for a.
0
Let q = -1 - -1. Suppose -3*z + 3*o = -6, -5*z + 15 = -o - 3*o. Let s = z + -4. Solve -s*i - 9 = -q*i for i.
-3
Suppose 0 = -4*h - c + 4*c + 13, -2*h - 1 = c. Solve -5*m + 4*m = h for m.
-1
Let y be 1 + 2/1 + -6. Let a = -2 - y. Suppose 2*f - 3*r - 14 = 0, 3*r + a + 5 = 0. Solve 0 = -d - f*d for d.
0
Suppose 16 = 3*h - 2*c, 5*c - 9 - 1 = -5*h. Let u(q) = q**2 - 5*q + 10. Let m be u(h). Solve 0 = -m*f + 4*f - 2 for f.
-1
Let g be 4 - (0/1 + 0). Let q be 1*5*(-3 + g). Suppose q*y - 6 - 4 = 0. Solve x = -3 + y for x.
-1
Suppose 6*r = -3*l + 4*r - 3, -2*l - r = 1. Let s = 613 - 610. Solve -7 = -s*b - l for b.
2
Let l be 0*(-1 - -2)*-1. Suppose l*d + 2*d + 4*f - 24 = 0, -2*d - f = -9. Let i(m) = -m**3 - 4*m**2 - 4*m - 2. Let c be i(-4). Solve -d = -4*z - c for z.
-3
Suppose 4*r + 7 = 3*d, 2*d - 4 - 4 = r. Suppose 3*i - 4 = -1. Solve -d*z + 4 = -i for z.
1
Let h = -17 - -21. Solve -9 = h*c - 21 for c.
3
Let r be 2 + (-1 - (-4 + 2)). Suppose -r*c = -4*t - 13, 2*c - 5 - 2 = t. Suppose 3*l - 4 = y, 2*y + 2 = l + c*l. Solve 3*j + 2*j + y = 0 for j.
-1
Suppose -k + 11 = -4*i, -i = -2 + 4. Solve -4 = -k*y + y for y.
2
Let j(q) = q**2 + 8*q - 7. Let t be j(-9). Solve 3 = t*u - 7 for u.
5
Suppose 7*c + 3 = 17. Solve c - 14 = -4*f for f.
3
Let y be -1*2/1 - -2. Let g be 4/3 + 2/(-6). Suppose -4*z + 12 = -0*z. Solve y = -z*s + 2*s - g for s.
-1
Let p(n) = -n**3 + 5*n**2 - 4*n. Let f = 10 + -6. Let x be p(f). Solve x*a + 6 = 3*a for a.
2
Suppose 5*m + 17 = -3*k - 18, m + 4 = 0. Let u = 9 + k. Suppose 2*w - v = 10, 3*w + 3*v + 7 = u. Solve -d = -w*d for d.
0
Let d be 17 + -7 - (1 - 1). Solve 2*b - 7*b = -d for b.
2
Let o(q) = -q**2 - 3*q + 6. Let s be o(4). Let r = s - -22. Solve -3*v + 1 + 2 = r for v.
1
Suppose 2*u + 13 = 7*u - 3*p, 5 = u - 3*p. Suppose -2*b + 8 = 2*b. Suppose u*d + 1 = -a, b*d + d - 16 = -5*a. Solve -24 + 9 = -a*o for o.
3
Let n(t) = -t**2 - 8*t - 10. Let v be n(-5). Solve 0 = -0*w + v*w - 10 for w.
2
Let s(f) = -4*f**3 - 1 + 2*f + 3*f**3 + 28*f**2 - 30*f**2. Let m be s(-3). Solve 1 = m*i - 3*i for i.
-1
Suppose -2*r = -2*o - 8, 3*r = 3*o - 2*o + 6. Suppose 0*s - 15 = -3*s. Suppose 0 = -2*f - 2*a + 8, -3*f - s*a + 13 = -1. Solve f*u = r - 10 for u.
-3
Let z = 3 - -2. Let a = 33 + -32. Solve -x - z + a = 0 for x.
-4
Suppose 29*u + 30 = 35*u. Solve 0 = -2*s - u - 1 for s.
-3
Suppose 4*a - 5*c = 10, 4*a + 3 + 5 = -4*c. Suppose 4*x = 7*x. Solve a = -x*f + f for f.
0
Let w be ((-80)/24)/((-2)/(-12)). Let n be w/8*6/(-5). Solve 0*o = -n*o + 3 for o.
1
Let i be 3*2 - (18 + -14). Solve i*m = -m + 12 for m.
4
Let h = 9 - 12. Let a be (h/9)/(1/(-15)). Solve a*b + 15 + 10 = 0 for b.
-5
Let y(n) = n**2 - 5*n - 3. Let c be y(6). Suppose 2*j - m - 14 = -c*j, 2*m = -4*j + 14. Suppose 4*v - 13 - j = -2*u, -5*v + 15 = 0. Solve -u*d = 3*d for d.
0
Let j = -5 -