1
Suppose -206 = 9*r - 287. Solve -r*j - 7*j = -16 for j.
1
Let a(y) = -7*y**2 - 27*y + 10. Let u be a(-4). Solve -4*r + u*r = 0 for r.
0
Let i be 8/(-2)*(-274)/(-8). Let j = i - -137. Solve j*x = -x + 3 for x.
3
Let b = -135 - -137. Suppose 1 = -b*z + 51. Solve h - 6*h = z for h.
-5
Let y be 2 - (-2)/(1 - 0). Let g(w) = w**3 + 2*w**2 - 6*w + 2. Let h be g(0). Solve 0 + y = -h*m for m.
-2
Let t(m) = m + 2*m + 0 - 6. Let q be t(2). Solve q*y - 1 = y for y.
-1
Suppose 0 = -r + 4*v + 2, -2*r - 4*v + 4 = v. Suppose -r*t = -14 - 10. Let z = t + -8. Solve 4*c + z + 0 = 0 for c.
-1
Let c = -31 + 31. Suppose -5*r + 19 = z - 6, c = -z - 4*r + 21. Solve -b + z = -6*b for b.
-1
Suppose 9*v = 12*v - 3. Let q(f) = 6*f - 3. Let k be q(v). Solve 0 = 5*c - k*c - 8 for c.
4
Let u(t) = t**3 + 7*t**2 + 5*t + 60. Let r be u(-7). Solve 4*p - 29 = -r for p.
1
Suppose 5 - 32 = -q. Suppose 0 = 31*c - q*c. Solve 0 = -x - c + 1 for x.
1
Let v = -790 - -792. Solve -14*r + 15*r = -v for r.
-2
Let m(p) = -p**3 + p**2 + 3*p - 2. Suppose -6*o + 2*o + 4 = 0. Let q = 3 - o. Let f be m(q). Solve -s + 3*s - 6 = f for s.
3
Let c(i) = 2*i**2 + 11*i - 23. Let u be c(-7). Let a be (u/(-6) + (-1)/3)/(-2). Solve 6 = -2*q - a for q.
-3
Suppose 6*m = -100 - 68. Let g = m - -28. Solve f = -g*f for f.
0
Suppose -r = -4*r. Let y(p) = -p**2. Let b be y(r). Let m = -125 + 130. Solve a + 1 - m = b for a.
4
Suppose 51 = 2*x + 47. Solve x = -5*o + 7 for o.
1
Suppose -2*k = -3*k + 3*k. Let l = -22 + 37. Suppose 5*u = -5*q + l, 4*q - 12 = -4*u + q. Solve k*x = -x + u for x.
3
Let j(i) = 2*i - 17. Let f be j(10). Let c(d) be the second derivative of -d**3 + d**2 - 5*d. Let g be c(-3). Solve f*q - g = -q for q.
5
Let l be (-73)/(-15) + 26/195. Solve 0 = 18*a - 13*a + l for a.
-1
Let w(t) = t**2 + 2*t. Let x be w(-3). Suppose x*h + 4 = 5*m, 0 = -5*h + 4*m + m. Suppose -c + 2*u = -4, h*u = -6*c + c + 20. Solve 0 = c*i - 2 - 6 for i.
2
Suppose 0 = -0*n + 2*n. Suppose -z + 6*h = h + 6, 4*h - 8 = 0. Solve -l + n*l = z for l.
-4
Let x = 31 - 43. Let k be 6*1/8*x. Let m be 6/9 + (-12)/k. Solve -m*i = 3*i + 15 for i.
-3
Let s(b) = 59*b - 7. Let v be s(2). Let f = v + -92. Solve 5*g + f + 1 = 0 for g.
-4
Let q be 5 - 1/(2/6). Let j = 2 - q. Suppose 0*b + 3*t = 2*b - 24, b - 3*t - 9 = j. Solve -2*o - b = o for o.
-5
Let k(i) be the first derivative of i**3/3 + 2*i**2 - 6*i + 8. Let h be k(-6). Solve -2*p + h*p = -8 for p.
-2
Let h = 166 + -163. Solve 0*g + h*g + 6 = 0 for g.
-2
Let d(a) = a**3 + 7*a**2 + 8*a + 5. Let k be d(-6). Let p be 2/6*1*-9. Let u = p - k. Solve v = -u + 5 for v.
1
Let h = -569 + 572. Solve h*n = -9 + 15 for n.
2
Let q(j) = 3*j**3 - j**2 - 2. Let p be q(2). Let a = p + -15. Let k = -1 + a. Solve g - k = 3 for g.
5
Let f(s) = -s**3 + 17*s**2 - 15*s - 14. Let q be (72/(-6))/((-6)/8). Let r be f(q). Solve -2 = r*t + 4 for t.
-3
Let o be (-3146)/(-78) - (-4)/(-3). Solve -7*b + 4 - o = 0 for b.
-5
Suppose 1380*j - 1377*j = 0. Let v be (-12 - -6)/((-1)/2). Solve 5*y - v + 2 = j for y.
2
Suppose -1 = -6*m + 17. Let v be ((-6)/(-4))/(2/4). Solve v = 3*w - m for w.
2
Suppose t - 3*i = -21, 3*t + 5*i + 21 = 2*t. Let r = t - -12. Let q = -8 - r. Solve 4 - q = -k for k.
-3
Let y(x) = -x + 4. Let l be y(-3). Suppose 0 = 12*v - l*v - 25. Solve v + 0 = -j for j.
-5
Suppose -f - 3*f = 0. Let d be 1/(-2 + f)*-6. Let l(i) = 59*i - 236. Let p be l(4). Solve -2*v - d*v + 20 = p for v.
4
Let h = 34 - 20. Let r be -2*h/(-4)*1. Let v be 2/(-2)*(4 - 3)*-3. Solve 1 = -v*g + r for g.
2
Suppose t = -4 + 5. Let q be t - (-6)/(-8) - (-45)/60. Solve -q = -g + 4 for g.
5
Let q(f) = -f**2 + 3*f + 9. Let h be q(5). Let g be 1/((4 + h)/24). Solve 5*s + g + 12 = 0 for s.
-4
Let t(y) = y**2 - 7*y + 6. Let o be t(8). Suppose -4 = -x - b + o, 5*x - 66 = 3*b. Solve 0 = -4*l - l - x for l.
-3
Suppose 0*a + 12 = 4*a - 2*z, -a - 6 = 4*z. Suppose -8 + a = -3*y. Let c(p) = 2*p**2 + 3*p + 3. Let o be c(-2). Solve y*h + 5 = -o for h.
-5
Suppose -5*z + 57 = 3*u, 4*u - 2*z = -8 + 84. Solve 21*d - 6 = u*d for d.
3
Let w = 87 - 86. Let h(u) = -5*u + 5. Let n be h(w). Solve n = 3*f + 6 + 6 for f.
-4
Suppose 0 = 55*v - 173 - 157. Solve -12 + 30 = -v*a for a.
-3
Let b be -8 + 12 + (-22)/(-2). Solve -5*c - 10 - b = 0 for c.
-5
Suppose 2*d = 7*d + 105. Let y(q) = -q**3 - 20*q**2 + 20*q - 17. Let j be y(d). Solve 0*v = -j*v - 8 for v.
-2
Suppose 0 = 4*q + l + 4*l + 239, -3*l = -q - 64. Let f = q + 61. Solve -25 = -f*z - 5*z for z.
5
Let b be (2/15)/((-8)/(-240)). Solve -b*g + 14 = 30 for g.
-4
Suppose 2*q + 4 = m - 0*m, -5*q - 10 = -5*m. Let k = 31 - 26. Suppose d + k = -0, 0 = -3*a - d + 70. Solve m = -2*g - 3*g + a for g.
5
Suppose 0 = -5*u - 48*u + 2*u. Let h be 2*(-3)/4*-2. Suppose -13 = -2*k + h. Solve u = a - 3*a + k for a.
4
Suppose 9*h = 6*h + 12. Suppose -12 - 8 = -h*x. Suppose x*a - 8 = 12, 0 = z - 3*a + 10. Solve z*d = 1 + 5 for d.
3
Suppose 20 = 2*t - 4. Suppose q + 12 = 4*a - q, -4*a + t = -q. Solve a*n - 1 = 2*n for n.
1
Let d(h) = h**2 - 7*h - 3. Let z be d(8). Let u = 4 - 2. Suppose -3*c - u*q = -2, 2*q = -c - 0*q + 2. Solve -a + c = -z for a.
5
Suppose 4*d - d - 4*o - 66 = 0, -5*d + 110 = 3*o. Suppose 0 = -2*c + d. Suppose 3*g + 0*w = -w + c, -g = w - 5. Solve -g = -4*h - 11 for h.
-2
Let a(r) = r**3 - 11*r**2 - r + 14. Let b be a(11). Suppose b*x = 6*x. Suppose 2*t + 2*t - 4 = x. Solve 2*w = -7 + t for w.
-3
Let r(s) = s**2 + 2. Suppose 5*g = -0*g. Let p be r(g). Suppose 25*z = 17*z + 24. Solve -z*q = 7 + p for q.
-3
Suppose 2*o - 6 = 0, -4*o = 3*q - 7*o - 24. Suppose 4*v - 14 = -2*p, 3*v - 5*p + q = v. Solve 5*y = -8 - v for y.
-2
Let c(i) = -i**3 - 16*i**2 - 18*i - 38. Let m be c(-15). Solve -m*s = -4*s + 15 for s.
-5
Suppose -2*j + 3*b + 21 = 0, 3*b - 7*b = -5*j + 56. Solve 12 + j = -6*x for x.
-4
Let r(d) = d**3 + 11*d**2 - 26*d + 3. Let c be r(-13). Solve -13*j = -12*j + c for j.
-3
Suppose 2*u = -4*r + 52, -5*u - 6*r + 75 = -7*r. Let h = 13 + -2. Suppose h*n = 7*n + u. Solve n*w = w - 3 for w.
-1
Suppose -i - 78 = -v, -3*v + 4*i = -v - 148. Let x = v - 80. Solve 4*d = x*d + 10 for d.
5
Suppose -4*b = -2*r - 28, b - 2*r + 2 = 3*b. Suppose -b*p + 10 = 2*l + l, -3*l + 12 = 3*p. Solve 0 = -l*g + g + 4 for g.
1
Suppose 46 - 38 = 2*y. Suppose -5*c = 0, -t + 3*t - c - y = 0. Solve -3*n = t*n + 25 for n.
-5
Let x = 25 - -7. Let u be (-8)/x - 34/(-8). Solve -1 - u = -5*c for c.
1
Let g(x) = x**3 - 8*x**2 + 20*x. Let j be g(5). Solve -7*n + j = 11 for n.
2
Let s(x) = -13*x - 11. Let d(b) = -2 + 0 + 6*b + 7. Let c(n) = 7*d(n) + 3*s(n). Let i be c(1). Solve -i*p = -2*p - 6 for p.
2
Suppose -5*q = -7*u + 2*u - 70, 0 = -2*q + 5*u + 16. Let o = q - 15. Suppose 8 - 2 = o*j. Solve -j*r = -4*r + 10 for r.
5
Suppose 5*d + 5*b = 65, 3*d + 0*b - b - 23 = 0. Let r be (3 - d)/(3 + -2). Let q be (-4 - 20/(-6))*r. Solve q*v = -v - 10 for v.
-2
Suppose 28 = -4*l - 4*x, -5*x - 17 = l - 2*l. Let u be (5 - 6)*18/l. Solve -3*b - u - 9 = 0 for b.
-5
Suppose -r = 3*o - 6*r + 57, -60 = 3*o - 4*r. Let i = 12 - o. Suppose i - 9 = 3*h - 4*n, -3*n = h + 4. Solve 16 = h*g - g for g.
4
Suppose 4*j - 95 = -5*d, 5*j + 25 = 3*d + j. Let k = d + -15. Solve 5*p - 25 = -k*p for p.
5
Suppose 5*i = 9*i - 60. Suppose 0*j = 5*j - 10. Suppose 4*q = 5*k - q, -2*q = j*k - 8. Solve -k*t - 3*t = i for t.
-3
Suppose 0*k = 5*k - 3*f - 14, 0 = -2*k - 5*f + 18. Solve -9*d = -5*d + k for d.
-1
Let v(k) = 4*k**2 + 4*k - 5. Suppose 3*d - 2 = -35. Let j(f) = -f**2 - f + 1. Let c(p) = d*j(p) - 2*v(p). Let r be c(2). Solve -r = 4*m - 5 for m.
-3
Let x(s) = s**3 + 43*s**2 + 117*s - 2. Let w be x(-3). Solve h - 24 = -w*h for h.
3
Let j(h) = 2*h + 22. Let y be j(-11). Suppose 5*g - d + 5*d = -1, 4*g + 4*d + 4 = y. Solve -4*k + g*k + 4 = 0 for k.
4
Suppose -27*v + 28*v = 4. Solve -7*c + v + 3 = 0 for c.
1
Suppose -4*q = q. Suppose 4*w = -q*w + 8. Solve -w = 2*c - 10 for c.
4
Suppose 5*k + n + 14 = 26, -k - 2 = -2*n. Solve k = -w + 5 for w.
3
Suppose -445*b + 441*b = -56. Solve -b*p - 1 = -13*p for p.
-1
Let n = -270 + 279. Solve -4*u - 7 - n = 0 for u.
-4
Let z(r) be the second derivative of -r**5/20 - r**4/12 + r**3/3 + 25*r**2/2 - 33*r. Let s be z(0). Solve -4*j - s = j for j.
-5
Let h be (1/(-2)*2)/((-10)/40). Suppose k = -2*j, 4*j + 3*k + k = -h. Solve -2*i - j = -3*i for i