4
Let v(r) = r**3 - 12*r**2 + 11*r + 12. Let s be v(11). Suppose s*j = 15*j. Solve j*a - 15 = 3*a for a.
-5
Let i(n) = n**2 - 8*n - 9. Let s be i(11). Let p = 28 - s. Solve -x = -p*x - 12 for x.
-4
Let h be (-1)/(6/(-30)) + 10/(-2). Solve 0 = -5*o - h*o - 10 for o.
-2
Suppose 10 = 2*f + 3*x, 8*x - 6*x + 6 = 5*f. Solve g + f + 0 = 0 for g.
-2
Let s = 397 - 394. Solve -6*n = -s*n + 15 for n.
-5
Let m be 39/(-91) + (-1099)/(-49). Solve -3*s - 16 = -m for s.
2
Suppose -12*r = -80 - 28. Solve 5*u - 6 = r for u.
3
Let a be (24/9)/(2/3). Let y = -31 + 34. Suppose -y*p + s = -25, -4*p + 3 = 3*s - 13. Solve a*j - p = 1 for j.
2
Suppose 9 = -5*u + 4*i + 31, -i - 7 = -2*u. Let r be 0 + 1 + -4 + 8. Solve -3*c + u = r for c.
-1
Suppose -4*z = -0*z - 20. Suppose -5*j = -5 - z. Suppose -6 = -m - m. Solve -j + m = t for t.
1
Let p = -365 + 378. Solve p*b - 48 = 37*b for b.
-2
Let h = -31 + 33. Let w be (-4 + h - 2) + (5 - -4). Solve 2*i = 9 - w for i.
2
Suppose 4*w - 1 = 5*f, 4*f + 9*w - 13*w = -4. Solve i + 10 = f*i for i.
5
Let x = -652 + 655. Solve 0 = 2*r - x*r - 5 for r.
-5
Let s(h) = -h**3 + 6*h**2 + 4. Let q be s(3). Suppose 2*y = -21 + q. Solve 0 = -3*i + y + 4 for i.
3
Suppose k = 2*d - 62, 2*k + 2*k + 5*d = -183. Let v = -43 - k. Solve 24 - v = -3*a for a.
-5
Suppose -9*m + 98 = -136. Suppose -13*d = m - 130. Solve d*z = 5*z + 3 for z.
1
Let s(k) be the second derivative of -k**5/2 - k**4/12 + 13*k + 2. Let v be s(-1). Solve 7 + v = 4*r for r.
4
Let n(i) = 5*i - 9. Let v be n(-5). Let q be v/(-119) - (-19)/7. Solve d - 2 = q*d for d.
-1
Let h be (-6)/(((-54)/(-228))/(-3)). Suppose 81 = 5*o + h. Solve -2*c = -3*c + o for c.
1
Let r(o) = -7*o + 200. Let s be r(28). Solve 5*z + s*z + 18 = 0 for z.
-2
Suppose -49 = 4*z - 137. Suppose 0 = -5*b + z - 7. Suppose -5*s + 8 + 12 = 0. Solve -b*a - s = -a for a.
-2
Suppose 0 = k + 2 - 4. Suppose 0 + 4 = k*g. Suppose -g = 5*o + 3, 4*o + 2 = -p. Solve 0 = -v - p*v + 15 for v.
5
Suppose -6*k + 16*k = 1260. Let f be (9 - 1/(-1))*63/k. Solve 2 + 13 = f*b for b.
3
Let a = 20 + -12. Suppose -a*f + 116 - 28 = 0. Solve -4*h + 31 - f = 0 for h.
5
Let l = 30 - 5. Let z = l - 21. Solve 0 = -4*q + z - 0 for q.
1
Suppose 3*o + 0*o = -33. Let g be (o + (-1 - -1))*-1. Solve 5*h - 9 = g for h.
4
Let q be (-3838)/95 + 6/(-10). Let p = q - -41. Solve p*t - 12 = -3*t for t.
4
Let p be (-15)/(-25) + (-2)/(-5). Let j be (1/(-1))/((-1)/p). Solve 17 - j = 4*b for b.
4
Suppose -12*f - 84 = -16*f. Let h = 21 - f. Let k = 0 - h. Solve 4*q - 16 = -k*q for q.
4
Suppose -2*l - 38 = -44. Let j(s) = -s**2 + 6*s - 5. Let z be j(4). Suppose -z*r + l = -3. Solve -r - 2 = -2*y for y.
2
Suppose 0*w = -3*w - 2*g + 132, g = 2*w - 88. Let x be 652/w - 4/(-22). Solve -3*d = 2*d - x for d.
3
Let d be ((-16)/9)/((-31)/279). Solve d*k = 8*k + 8 for k.
1
Let b = 25 + -29. Let l = 1 - b. Solve -1 - l = 3*j for j.
-2
Let j = -44 + 36. Let h be j/6 - (-16)/12. Suppose -20 = -3*a - 4*p, 0*p - 5*p + 25 = -4*a. Solve 4*q + h*q = a for q.
0
Let u be (15/(-4))/((-12)/48). Suppose 2*s = -10, -u = -0*o - o + 2*s. Suppose 40 = 5*r - o*h, 5*r + 0 - 5 = -2*h. Solve 0*w + 9 = r*w for w.
3
Let h be 3 + 1 - (-1 - -1)/3. Solve h*n - n - 9 = 0 for n.
3
Let a = -40 - -43. Suppose -y + 24 = 2*y - a*x, -4 = -2*y - x. Solve 9 = -y*b + 1 for b.
-2
Let n be ((-3 + 3)/1)/(-2). Suppose -5*z - 108 - 72 = n. Let l be (-2)/8 - z/16. Solve l = -h - 2 for h.
-4
Let g = 270 + -267. Let m be (20/15)/((-4)/(-6)). Solve -g*v + m = -v for v.
1
Suppose -2*g + 4*f = -26, f - 13 + 57 = 3*g. Solve 0*l + g = -3*l for l.
-5
Let l(r) = r**2 - 29*r + 196. Let m be l(19). Solve 0 = 38*g - 44*g - m for g.
-1
Let p = -44 - -20. Let x = 32 + p. Solve -3*u - 2 + x = 0 for u.
2
Let g = 25 - 15. Suppose -3*r + o + o + 55 = 0, -3*r + 65 = -4*o. Suppose r = 2*m + 3*m. Solve 0 = m*p - 2 - g for p.
4
Let i(h) = -3*h**3 + h**2 + 2*h + 1. Let w be i(-1). Suppose -2*t + 4*n + 4 = 0, -20 = 5*t + 3*n - 4. Let z be t - ((-12)/(-1))/(-2). Solve d = w*d + z for d.
-2
Let d be 2/(-8) + (-23)/4. Let p be 1*110*d/(-15). Let g be (-6)/15 + p/10. Solve b + b = g for b.
2
Let b be ((-2130)/(-18))/(3/(-18)). Let r be b/(-50) - 2/10. Suppose -4 + r = 2*y. Solve -2 = y*w + 3 for w.
-1
Let r = -21 + 24. Suppose -27 = -3*o + r*y, -27 = -3*o + 4*y - 2*y. Solve -o = x + 2*x for x.
-3
Suppose 3*r + 4*b - 16 = 0, 27*r + 2*b = 23*r + 28. Solve 0 = 15*a - 7 - r for a.
1
Let f be 357/(-238)*(-9)/((-27)/(-6)). Let s be (2/(-4))/(2/(-36)). Solve -2*t + s = f for t.
3
Let l be 6/(-3) + (-2 - -2). Let o(s) be the second derivative of s**4/12 - s**3/6 - s**2 + 10*s. Let b be o(l). Solve 2*z + b = 3*z for z.
4
Suppose 3*n = 14 + 1. Suppose 0 = -g + 4*g. Suppose g = -3*z + 2*z. Solve n*p + 17 + 3 = z for p.
-4
Suppose -33*q + 37*q - 3*h = 4, -q - 4*h + 20 = 0. Solve -10 = q*t - 22 for t.
3
Suppose -14*j + 17*j - 6 = 0. Suppose 5*n = d + 5, n + 3*d = j*d - 5. Let h = 13 - 7. Solve n = -h*k + 3*k - 6 for k.
-2
Let s(l) = l + 34. Let u be s(-15). Suppose u = 3*d + 2*z - 4*z, -d + 5 = -2*z. Solve 3*i = d*i for i.
0
Let d = -351 - -357. Solve -d*w - 22 = 2 for w.
-4
Suppose 13*f + 6*f - 133 = 0. Solve -f*w + 5*w = 0 for w.
0
Suppose z - 3*t - 21 = -z, -15 = -2*z - 3*t. Let x be ((-60)/(-45))/(4/z). Solve -x*i + 6 = -0*i for i.
2
Let c be ((-13)/(-5))/(20/100). Solve -c*u + 14*u + 1 = 0 for u.
-1
Suppose 5*y - 3 = -2*r, 4*r + 4*y = y + 13. Solve r*v = -4*v - 16 for v.
-2
Let x(q) = 2*q**2 + 2*q - 102. Let j be x(-8). Solve j*u + 43 = 3 for u.
-4
Let j be (0 - -5 - 11)/(1 + -3). Solve 3*m = -j*m for m.
0
Suppose -2*q - 3 = -13. Suppose -p + 3*p + 3*i - 5 = 0, q*i = 3*p + 2. Suppose -p + 16 = 3*t. Solve 0*n = t*n - 20 for n.
4
Suppose 8 = c + 17. Let u = c - -14. Suppose u*j = -4*d + 26, 3*d - 29 + 7 = -5*j. Solve -x - j*x = 0 for x.
0
Suppose -5*g + 32 + 10 = 3*p, -4*g = 3*p - 42. Let o be (-216)/22 - (-2)/(-11). Let s = o + 12. Solve -s*v - 4 + p = 0 for v.
5
Suppose u - 5*v = 0, 22 = 5*u - 2*u - 4*v. Solve 17*w + 35 = u*w for w.
-5
Let f be (4/(-12))/((-16)/480). Solve 7*h = 2*h + f for h.
2
Suppose -z + 44 = 37. Suppose -z*t - 25 = -12*t. Solve 5 = -t*o - 5 for o.
-2
Let v be (-11 + 41)*(-1 - 2/(-6)). Let l be (-2)/(-4) - (v/8 - -2). Solve -3*w - l = -7 for w.
2
Let r(z) = z**3 - 19*z**2 + 17*z + 12. Let d be r(18). Let n(b) = -b**3 - 5*b**2 + 6*b + 2. Let u be n(d). Solve -c = u*c - 12 for c.
4
Let d = -9 - -22. Let z = d - 13. Let i be 88/20 + 4/(-10). Solve -p = -z*p - i for p.
4
Suppose -4*j + 0*j + 45 = 5*b, 3*j + 2*b - 25 = 0. Let h = -114 + 70. Let k = -26 - h. Solve -j*z + k = -2 for z.
4
Let p = 626 - 624. Solve p*c + 6 = 8*c for c.
1
Let c = -164 - -164. Solve -7*b + 11*b + 20 = c for b.
-5
Let t = -102 - -112. Solve 3*y - t = 5*y for y.
-5
Let y(t) = t**3 + 3*t**2 - 2*t - 4. Let d be y(-3). Let l be (12/(-14))/((-10)/(-70)). Let n be (-20)/l + d/(-6). Solve 0 = -5*j + 2*j - n for j.
-1
Let b(u) = -u**2 + 14*u - 14. Let s be b(9). Let p = -1 + 4. Suppose t = -2*h + 7, -t - 3*h + 8 = p. Solve -s = -5*n - t for n.
4
Let q be -2*4/52 - 548/(-13). Let c = q - 40. Solve -2*w = -w - c for w.
2
Suppose 2*r - 5*k + 33 = 38, -4*k - 21 = -5*r. Solve 3*b = r + 1 for b.
2
Suppose -4*p = -3*p, o = p + 3. Suppose -o*j = -1 - 8. Solve -j*f = -f for f.
0
Suppose -19*g - 20 = -23*g. Suppose 0 = g*h - 10, 3*h - 2*h - 5 = -z. Solve 0 = z*l - l - 8 for l.
4
Let d be -20*(-10)/(-4) - 1. Let t = -26 - d. Let m = t - 21. Solve -m = -z - 0*z for z.
4
Let g be 1 + -6*(-3)/6. Suppose -10*v + 5*v = -75. Suppose -15 = t - 5*h, -t + 0*t + h = 3. Solve t = g*a + a - v for a.
3
Suppose 0 = 127*w - 125*w - 8. Suppose 3*i - w*i + 2 = 0. Solve 3 + i = -k for k.
-5
Let n(r) = 2*r**2 + 22*r + 11. Let x be n(-12). Let m = x + -31. Solve m = 3*s - 4*s for s.
-4
Let k = -487 + 491. Solve 8*j - 9*j = k for j.
-4
Let m = 130 + -213. Let u = 87 + m. Solve -2*l = -u + 10 for l.
-3
Suppose -7*j - 336 = -21*j. Let h be 30/j + (-4)/16. Solve -h = f + 1 for f.
-2
Suppose 0 = 2*l + l + 6. Let q be (4 - 12/l) + -6 + 2. Solve 4 + q = -5*o for o.
-2
Suppose 2*u = -5*p + 225 - 194, -9 = 3*p. Solve -u*f + 25*f = -10 for f.
-5
Let d(c) be the third derivative of 0*c - 2*c**2 + 0 - 1/60*c**5 - 5/3*c**3 - 7/24*c**4. Let x be d(-5). Solve -4*w - 4 - 16 = x for w.
-5
Let c(s) = -4*s**2 +