p - 7 = -x for p.
-1
Suppose -114 = 129*w - 148*w. Solve -x = w*x + 35 for x.
-5
Let u = 212 + -197. Solve -f + 6*f = -u for f.
-3
Suppose 4 = -4*i, -103 - 19 = -w - 3*i. Let z = 126 - w. Solve 1 = h - z for h.
2
Let b = 6 + 7. Let h(w) = -4*w + 1. Let l be h(-3). Let u = b - l. Solve f - 3*f = u for f.
0
Suppose 56*p = 49*p + 84. Solve -3*m - p = 9*m for m.
-1
Let p(q) = q - 12. Let k be p(21). Suppose -14*d = -k*d - 15. Solve d = -0*i - i for i.
-3
Let a be 8/(-10)*(-300)/12. Let l(k) = -k + 4. Let z be l(4). Suppose -4*u + 8 + a = z. Solve -4*o = -u*o - 9 for o.
-3
Let u be ((-1296)/(-90))/((-4)/(-10)). Suppose -2*s = -56 + u. Solve -s = -4*o + 10 for o.
5
Let y = 914 + -911. Solve -y*w + 3*w = 2*w for w.
0
Let u(i) = -17*i**2 - 137*i - 6. Let a be u(-8). Solve 4*m - a = 14 for m.
4
Let d(i) = -8*i - 47. Let t be d(-9). Let s be (-3)/(-9) - t/(-15). Solve -s*q = -0*q + 4 for q.
-2
Let f = -23 - 3. Let v be f/(-4) - (-3)/(-2). Let i = v + -1. Solve 3*j - 1 + i = 0 for j.
-1
Let i(k) = -5*k + 152. Let n be i(30). Solve 0 = n*l + 2*l + 8 for l.
-2
Let v(h) = 79*h**2 - 2*h + 6. Let m be v(2). Let q be m/30 + (-2)/(-5). Solve 3*f - q + 2 = 0 for f.
3
Let h(d) = -5*d**2 - 5*d + 1. Let s be h(4). Let w be (-2)/4 + s/(-18). Suppose -2*l = 5*q - 64, w*q - 76 = 2*l - 0*l. Solve q = 5*o - 1 for o.
3
Suppose l - 2*i = -6, 5*l + i = l + 21. Let r(h) be the first derivative of -h**4/4 + 2*h**3 + 3*h**2 + 8*h - 3. Let p be r(7). Solve 0 = -l*y + p + 3 for y.
1
Suppose -4 = -i - 1. Let t be 0/(2*-1 + 1). Suppose 5*m = v + 7, -4*v + 2 = -3*m - 2*m. Solve t*r + i = v*r for r.
1
Suppose 129 + 21 = -6*h. Let g = -20 - h. Solve 1 = -2*j + g for j.
2
Let c(a) be the third derivative of 7/24*a**4 - 1/60*a**5 + 0*a + 0 - 2*a**2 - 1/3*a**3. Let p be c(6). Solve 0*o + p*o = -4 for o.
-1
Let l(r) = r**3 + 7*r**2 + r - 26. Suppose 2*y + 4*b = -20, y + 6*b = 2*b - 14. Let f be l(y). Solve 0 = -3*a + f*a + 2 for a.
-2
Suppose -7*c + 12*c = 225. Solve 55*k - c = 46*k for k.
5
Let b(p) = 4*p + 17. Let s be b(8). Let j = s + -37. Solve -5*m = -j - 3 for m.
3
Suppose 0 = 3*z + s - 47, 4*z + 3*s = 32 + 34. Let n be (0/1)/(-1 + -1). Suppose n = 5*p - z - 5. Solve 0 = p*x + x + 10 for x.
-2
Suppose 3*s = -2*v + 31 - 9, 2*s = -3*v + 18. Let o be 1 + -10 - (-3)/1. Let n = 6 + o. Solve n = -4*q - 2 - s for q.
-2
Suppose -3*b + 6 + 0 = 0. Suppose o = b*o - 10. Let u = -5 + 7. Solve -u*l + o = -0*l for l.
5
Suppose 4*v + v - 2*l = 28, -3*v - 3*l = 0. Solve -v*m + 5 = -11 for m.
4
Suppose 4*v - 3*w - 47 + 20 = 0, 4*w + 4 = 0. Solve -10*f = -v*f for f.
0
Suppose p - 3*p + 3*r = 13, 44 = -5*p - 4*r. Let k = p - -8. Solve y + 2*y = k for y.
0
Let w(r) = 2*r**2 - 6*r - 19. Let x be w(-2). Solve 0 = -5*p - 4 - x for p.
-1
Suppose 0 = -4*v - 25 + 101. Let q = 19 - v. Suppose -3*z = -w + 5, 0 = -z + w - 3 - 2. Solve r + z*r = q for r.
0
Let p = 1 - -1. Suppose -3*l + 9 = -p*l. Let o = l + -5. Solve -f - o*f - 10 = 0 for f.
-2
Suppose -3*m + 4*u = -24, -4*m + 10 = -5*u - 21. Suppose c + x + 0*x - 1 = 0, 4*x = -3*c + 2. Let d = m - c. Solve 0 = d*k + k + 6 for k.
-2
Suppose 372 = 4*c - 3*t, 3*t = -4*c - t + 372. Let z = 93 - c. Solve z = -3*a - 6 for a.
-2
Let g = -8 + 7. Let u = g + 0. Let h be (2 + u + -3)*-2. Solve z = -0 - h for z.
-4
Suppose 601 = -18*m + 763. Solve -15*i + 48 = m*i for i.
2
Suppose 5*i + 6 = -4*n - 1, 2*i + 2*n = -4. Suppose -13 = -3*k - i. Solve 0 = -0*x + k*x + 12 for x.
-3
Let f be 4/10 + 20/(-50). Suppose -5*m + 45 = 8*v - 3*v, 2*v = -m + 13. Suppose 2*s + v*z + f*z - 14 = 0, -2*z = -5*s + 83. Solve -4*w = w + s for w.
-3
Let o(n) = 2*n - n + 5*n - 12 - 5*n. Let t be o(14). Solve m = -t*m for m.
0
Suppose 0 = 5*k - 8 - 2. Suppose -k*v + 41 - 7 = 0. Let i = -16 + v. Solve 2*j + i = -3 for j.
-2
Let g(z) = z**2 + 10*z + 9. Suppose 0 = -4*i - 4*v - 0*v + 52, -12 = -3*v. Suppose 36 = -3*j + i. Let b be g(j). Solve 3*d = -b*d for d.
0
Suppose 3*s - 4*x + 201 = 8*s, 0 = 3*s + 2*x - 119. Let n = 40 - s. Solve 5 = 2*w + n for w.
1
Let m = 11 - 9. Suppose -m*t = -6*t. Suppose 5*w - w = t. Solve w = -2*b + 2 + 2 for b.
2
Let p = -229 - -234. Solve 0 = -2*i + 3*i - p for i.
5
Suppose 20 = 26*j - 21*j. Solve j*x = -x for x.
0
Let f(l) = l**3 + 7*l**2 + 6*l + 3. Let q be f(-6). Let a(d) = d**2 - 5*d + 3. Let k be a(8). Suppose -k*p + 32*p - 25 = 0. Solve q*t + 4 + p = 0 for t.
-3
Suppose -4*o + 79 = -9. Suppose 0 = -2*r - 4*c + o, 3*r + 10 = 5*r + c. Solve r*s + 1 = 2*s for s.
-1
Let i = -371 + 375. Solve -14 + i = -5*s for s.
2
Let m(u) = 6*u - 12 + u**2 - 3 + 4. Let j be m(-8). Solve j*h = 23 - 8 for h.
3
Suppose 3*b - 13 + 4 = 0. Suppose -14 = m - b*m. Suppose 0 = 2*y - m*y + 15. Solve -4*r = -y*r + 3 for r.
-3
Suppose 0 = -3*y - 2 - 1. Let f be y/1*(5 - 5). Let i = -532 + 537. Solve -i*j = -10 - f for j.
2
Suppose 116 - 599 = -21*w. Solve -36 = -w*j + 11*j for j.
3
Suppose 4*j - k - 54 = 0, -k = -4*k - 6. Suppose -15*m = -j*m. Suppose -3 = -i - m. Solve -x - i = 2 for x.
-5
Let d = 874 - 867. Solve -u + d = 4 for u.
3
Let t be (106 + -3 + 0)/(2/(-2)). Let p = t - -106. Solve -p*l + 15 = -6*l for l.
-5
Let b be -1*(-3 + 1 - -3). Let r be (-8)/(16/4)*b. Solve -5*x - 18 = r for x.
-4
Suppose -12 = 2*k - 4. Let r be (k - 0)/(-2)*2/2. Solve 6 = -2*z - r for z.
-4
Let b(i) be the third derivative of -i**5/60 - i**4/4 - i**3/6 + 8*i**2. Let h be b(-5). Solve -h = a + 1 for a.
-5
Let f be (1/((-1)/2))/((-44)/66). Suppose m - f*m + 8 = 0. Solve 7*h - m = 3*h for h.
1
Let w be (-2 + 4 + -2)/((-9)/3). Solve w = -20*n + 15*n + 25 for n.
5
Let j(m) = m**3 + 4*m**2 + 4*m + 2. Let n be j(-4). Let c = 18 + n. Solve c = -0*l + l for l.
4
Suppose -4*o = -9*o + 25. Solve -o*c + 7*c = 8 for c.
4
Let f(t) = 31*t**3 - 2*t - 6*t + 6*t**2 - 32*t**3. Let g be f(4). Solve g*d + 9 = -3*d for d.
-3
Let b(w) = -2*w**3 - 19*w**2 + 13*w + 38. Let z be b(-10). Solve 5*i + 6 = z*i for i.
2
Suppose -z - 4*z = -5*j - 105, -24 = -2*z - 4*j. Suppose 2*c = 4*c - z. Suppose 5*y - 3*p + 12 = 0, 2*y - 16 = 4*y - 4*p. Solve y = 2*i + i - c for i.
3
Let f(y) = y - 7. Let u(k) = k**3 + 5*k**2 + 3*k + 3. Let l be u(-4). Let z be f(l). Suppose 6*p + 6 - 30 = z. Solve p*w + 6 = -14 for w.
-5
Let p = 516 - 486. Solve 7*t - 2 + p = 0 for t.
-4
Suppose 16*z - 15 = 11*z. Suppose -2*a = -5*x + 7, a - 3 = -2*a + z*x. Solve -a*y + 6*y = 6 for y.
3
Let l be (3 + (-9)/(-3))*78. Let n be (-6)/15 - l/(-45). Solve h - n = 3*h for h.
-5
Suppose 0 = 70*x - 62*x. Solve x = -2*f - 0*f for f.
0
Suppose 0 = 11*y + 4*y - 105. Solve -11*u = -y*u + 12 for u.
-3
Suppose 2*f + 3*f = 10. Suppose f*g + g = -9. Let y(t) = -2*t. Let b be y(g). Solve b*x - 3*x = 9 for x.
3
Let p(n) = -n**2 + 8*n - 7. Suppose y - 28 = -3*y. Let x be p(y). Let l(c) = c**3 + 4. Let j be l(x). Solve j = -z - z for z.
-2
Let r(z) = -249*z - 1492. Let s be r(-6). Solve -14 = -s*y - 24 for y.
-5
Let c(m) = -3*m - 4. Let z be c(-3). Suppose -3*g = -9, -z*a + 0*g + 21 = 2*g. Solve 4*j - 1 = a for j.
1
Let p = -420 - -423. Suppose s = -4*i + 3, -6*i + i - 3 = -s. Solve n + i*n = -p for n.
-3
Suppose -5*r = 2*u - 7*u + 25, -4*r - 22 = -5*u. Let b = r + 7. Suppose b*o + 5 - 2 = -5*a, -3*o + 4*a = -21. Solve o*l - 2 - 10 = 0 for l.
4
Suppose -a + 4*q + 3 = 0, 5*a - 2*q - 15 = -7*q. Suppose 0 = -17*d + 16*d + a. Solve 0 = 3*w + d + 6 for w.
-3
Let o(x) = -x - 29. Let c be o(-34). Solve 0 = c*k - 0*k for k.
0
Let i(x) = -2*x**2 + 49*x + 6. Let o be i(24). Solve 0*w - o = 10*w for w.
-3
Let x be 2 - -1 - (-1 + 2). Let z(q) = 8*q**3 - q**2 + 2*q. Let a be z(x). Suppose -5*l + a = -l. Solve -l = -3*c - c for c.
4
Let n be -14*(-5)/15*(4 + -1). Solve 18*l = n*l for l.
0
Let b be ((-3)/((-18)/6))/((-2)/(-58)). Solve t - b = -24 for t.
5
Let s be 7/14 + 102/(-4). Let m = s + 11. Let c = -12 - m. Solve -c = o + 1 for o.
-3
Let y = 29 + -25. Suppose 4 = -4*z + 3*p - 6, 5*z - p = -7. Let o be 0*(2 - (z - -4)). Solve o = -y*c - c - 20 for c.
-4
Suppose 5*t = -14*t + 114. Solve -t*w = -2*w for w.
0
Let g be (7 + -4 + -5)/(2/(-3)). Suppose o = 2*o, -20 = -5*m - g*o. Solve -z = m*z for z.
0
Suppose 0*c = -c + 2. Suppose -2*k - 4*q - 12 - 2 = 0, -c*k + 4*q = -26. Let f be (432/378)/((-2)/(-21)). Solve -b + f = k*b for b.
3
Let k(v) be the second derivative of v**5/20 + 4*v**4/3 + v**3/6 