-3*q + 10 = t. Solve q*y + y = 4 for y.
1
Suppose 15*d + 44 = 104. Solve -d*t + 0*t = 0 for t.
0
Let c(v) be the first derivative of -v**2/2 + 2*v - 6. Let q be c(0). Suppose 0 = 3*k + q*k - 75. Solve k = 3*r + 2*r for r.
3
Let l(j) = -j**3 - 11*j**2 + 13*j + 16. Let w be l(-12). Suppose 9 = -3*t, w*i + i + 3*t - 11 = 0. Let y be i/(-8)*(-24)/3. Solve 3*p + y = 5*p for p.
2
Suppose -5*u = -2*u - 9. Suppose 2*c - 2*z = -2, 0*c - c - u*z = -7. Solve c + 2 = -d for d.
-3
Let q(b) = -b**3 + 2*b**2 + b. Let d be 8/10*(-35)/(-14). Let g be q(d). Solve g*k = 2 - 0 for k.
1
Let k(h) be the second derivative of -h**5/20 - h**4/12 - h**3/6 - h**2 + 48*h. Let o = 1 + -3. Let u be k(o). Solve -u = -0*j + 2*j for j.
-2
Let i(h) = 25*h - 171. Let v be i(7). Solve -2*f = v - 2 for f.
-1
Let m(r) be the second derivative of r**3/6 - 3*r**2/2 + 5*r. Suppose -v = 4*w - 35, 3*w = -2*w + 3*v + 48. Let a be m(w). Solve u - 3*u = a for u.
-3
Let q(f) = f**2 + f. Let v = -15 - -16. Let y be q(v). Solve -y*r - r = 9 for r.
-3
Let r(p) be the second derivative of -p**2 - 1/2*p**3 + 0 + 11*p. Let g be r(-2). Solve g = d + 2 for d.
2
Let o be (-2)/(-9) + 750/27. Let k = 16 - o. Let s be (8/k)/((-10)/405). Solve -5*f - s = -7 for f.
-4
Suppose 5*f + 14 = 39. Suppose -f*l = 3*j - 26, 40 = -0*l + 4*l - 4*j. Let p be 8/(0 - 2) + l. Solve z = -p*z for z.
0
Let j(q) = q**2 - 9*q - 9. Let g be j(10). Suppose -v = -3*w + 6, -2*v - 3*v - w = -18. Suppose -g + v = x. Solve 6 + 2 = x*u for u.
4
Let m(k) be the second derivative of -4/3*k**3 + 0 - 4*k + 5/2*k**2 - 1/12*k**4. Let n be m(-7). Solve -n = 5*r + 8 for r.
-4
Suppose -4*a = -2*v - 12, 0 = -v - 2*a + 15 - 1. Let s(d) = d**3 - d**2 - 2*d - 1. Let i be s(0). Let j be (4 + -6)*i + 1. Solve -j*g - 1 = -v for g.
1
Suppose 19 = 4*l + 3. Let t be (-6)/l + (-22)/(-4). Let v = t + -2. Solve 0*f - 6 = -v*f for f.
3
Let i(u) = -4*u + u + 3*u - 2*u. Let t = -26 + 25. Let z be i(t). Solve -z*o = -5 + 7 for o.
-1
Let s be (-9)/((-27)/102) + 4. Let w = s + -38. Solve w = -t - t + 4 for t.
2
Let b be ((-336)/(-36) + -11)/(10/(-36)). Solve 0 = -3*a + 9*a - b for a.
1
Suppose -d - 10 = -16. Solve -d*p + 111 - 141 = 0 for p.
-5
Suppose 0 = -11*g + 14*g - 15. Let q be -2 + 1 + (3 - 0). Suppose -5*k - 2*i + 22 = 6, -5*i = -q*k - 11. Solve k*c = 3*c - g for c.
5
Let h = 457 - 435. Solve -6*p = -8 - h for p.
5
Suppose 2*h = h + 5. Let y be -159 + ((-3)/(-6) - (-3)/(-2)). Let t = y + 160. Solve -h*p + t + 20 = 0 for p.
4
Suppose a = 14*a + 3*a. Solve -2*v + 5*v + 9 = a for v.
-3
Let a(k) = -4*k**2 - 41*k - 7. Let n be a(-10). Solve -1 = -n*j - 13 for j.
-4
Let a be 400/28 - 5/(-7). Solve 10*g = 13*g + a for g.
-5
Let r = -6 - -6. Suppose r = -5*s + 3*f + 2*f + 35, s = -2*f + 7. Suppose m + m + 10 = 0, -3*n - m = -10. Solve -2 = -n*x - s for x.
-1
Suppose 50*q - 81*q = -186. Suppose -5*o + 18 = -7. Solve 3*x + q = o*x for x.
3
Let q = 3 + 0. Let d(k) = k**3 + 11*k**2 - 13*k - 9. Let y be d(-12). Suppose q*i = -y*n + 18, -4*i - i - 10 = -3*n. Solve 0*r = r + i for r.
-1
Let u(t) = -t**2 - 11*t + 6. Let s be u(-10). Solve 2 = 17*h - s*h for h.
2
Suppose -71*z + 66*z + 10 = 0. Suppose 3*n + z*n - 25 = 0. Solve -n*h + 4*h = -5 for h.
5
Let s(w) = -w**3 + 3*w**2 + 10*w + 2. Let n be s(5). Solve 0*g = n*g - 10 for g.
5
Suppose -3*p - 4 = -4*a, -2*a + a = 3*p - 1. Suppose 5*l - 9 - a = 0. Suppose 0 = 2*z - 6*z. Solve 5*m - l*m = z for m.
0
Let a = 64 - 91. Let p = 38 + a. Let i(w) = 2*w - 22. Let j be i(p). Solve j*u = -2*u for u.
0
Let o be 2*(-6 - 0 - -8). Solve -25 = -v - o*v for v.
5
Let r = -4 + -1. Let i = 7 + r. Suppose 0 = i*f - 6. Solve f*v - 4*v = -4 for v.
4
Suppose 121 = 8*s - 511. Let t = s - 64. Solve -y = 2*y + t for y.
-5
Let k(y) = 49*y - 122. Let p be k(3). Solve -p = -2*l - 19 for l.
3
Suppose 222 = -2*c - 4*h, 3*c + 330 = -4*h - h. Let d = c + 105. Let o = 4 - 0. Solve d*y = -2*y + o for y.
2
Suppose 9*q + 0*q = -q. Solve q = -5*t + t + 12 for t.
3
Let s = 317 - 306. Solve 14 = m + s for m.
3
Let q(s) = -23*s + 12. Let u be q(4). Let j = u - -84. Solve 0*l = j*l for l.
0
Let n(l) = -6*l**2 + 6. Let t(s) = -7*s**2 + s + 6. Let w(u) = -6*n(u) + 5*t(u). Let r be w(-6). Solve 2*g - 8 - 2 = r for g.
5
Let z = -18 + 15. Let b = 3 - z. Let p be 3/12 + 3/(-12). Solve -b = -2*a - p*a for a.
3
Suppose 3*s + 2*o = 14, 2*s = -3*o + 2*o + 11. Solve 0 = 4*h - s*h + 12 for h.
3
Let h = -99 + 70. Let k = 41 + h. Solve -6*q - k = -3*q for q.
-4
Let k = 28 + -11. Suppose k = x + 11. Solve 9 = 3*w - x for w.
5
Let u = 3 - 1. Let r(o) = -o**3 + 3*o**2 + 7*o - 3. Suppose -y - 37 + 35 = 0. Let n be r(y). Solve -4 = u*k - n*k for k.
4
Suppose -376*o - 52 = -402*o. Let q(r) = -35*r**3 + 2*r**2 - 1. Let c be q(-1). Suppose -5*y - 1 = -c. Solve -o*d = -y*d for d.
0
Let k = -1588 + 1603. Solve 5*x + k*x = -3*x for x.
0
Suppose 0 = 3*i - 12*l + 16*l - 110, 160 = 5*i + 2*l. Solve -n + 35 = i for n.
5
Let u = -5 + 7. Suppose -9 = 3*m - 6*m. Suppose n - 2*b + m = 0, 2*b = -3*n + 5*n. Solve 0 = -n*g - u*g for g.
0
Let c = 16 - 32. Let n(l) = -l**2 - 16*l. Let x be n(c). Solve 4*o + 4 + 8 = x for o.
-3
Suppose 15 = -5*y - 0*y, -y = -3*i - 42. Let f = 15 + i. Solve f = -j + 4 for j.
4
Let g(r) = r**3 - 10*r**2 + 10*r - 4. Let t be g(9). Solve -t*u - 6 = -3*u for u.
-3
Let l(s) = s**2 - 10*s + 9. Let c(y) = y**3 + 8*y**2 - 3*y - 15. Let k be c(-8). Let j be l(k). Solve j*g + g = 0 for g.
0
Let h = -13 - -37. Let z be 56/h - (-4)/6. Solve -z = 3*i + 9 for i.
-4
Let a(f) = 2*f**3 - 5*f**2 + 5*f - 4. Let d be a(2). Solve d*o = -0*o + 8 for o.
4
Let r(u) = -u**2 - u + 4. Let f be r(-2). Let h = -8 - -17. Solve -h = f*t + t for t.
-3
Let z(s) = -2*s**2 + 12*s + 14. Let u be z(7). Let b = 0 + u. Solve n - 2 = -b*n for n.
2
Let f = -837 - -842. Solve -f*t + 4 = -6*t for t.
-4
Let p(j) = 6*j - 3*j - j + 1 - 17. Let o be p(8). Solve o*y = -y for y.
0
Let p = 15 - 5. Suppose 6 = 2*k + p. Let y(o) = o**3 + 4*o**2 + 2*o - 1. Let w be y(k). Solve 4*f - w*f = 1 for f.
1
Suppose 4*p + 6 - 22 = 0. Suppose 5*t + 2*y = 3*y + 25, t + 16 = -p*y. Solve -t + 10 = -3*c for c.
-2
Suppose -35*s + 8*s = -243. Solve 11*g + s = 2*g for g.
-1
Let g = -37 - -65. Suppose g = 6*l + l. Solve -1 - 3 = -l*m for m.
1
Suppose -9 = -6*a + 3. Let i be 1 - (1/(-1) - 4). Suppose 0 = -3*r + 4*w + i + 2, 0 = r - 4*w - 8. Solve a*z + r = 6 for z.
3
Let a = 86 + -83. Suppose -u - 4*c = -21, 2*u - 3*c = -2*c - a. Solve 2*r + 7 = u for r.
-3
Let p be ((-4 + 5)*-1)/(1/(-53)). Let b = p - 50. Solve b*q = -0*q - 12 for q.
-4
Let h be ((-35)/10 - -3)*0. Solve h*x = -5*x - 15 for x.
-3
Suppose 15*r - 20*r - 190 = 0. Let o = r - -50. Solve o = -0*s - 3*s for s.
-4
Let r be (0 - (2 - -4))*-2. Solve -8*a = -12*a + r for a.
3
Suppose -69 + 77 = 2*u. Solve -1 = y - u for y.
3
Let n be -1 - -1 - (-2 + 1). Suppose 2*y - n + 5 = 0. Let g be -3*1/(1 + y). Solve 0 = g*p - 2 - 4 for p.
2
Suppose -173*d - 42 = -180*d. Solve 25 - 7 = -d*x for x.
-3
Suppose -5 = 2*t + 3*t, l - 10 = -5*t. Solve 202*s - 207*s - l = 0 for s.
-3
Let z(w) = w**2 - 5*w - 5. Let p be z(6). Let m be ((-33)/6 + 1)*(-42)/63. Solve 2*c - m*c = p for c.
-1
Let t(m) = 3*m - 7. Suppose 2*x = 3*y + 2 - 7, -x = -2*y + 5. Let a be t(y). Suppose -2*f + a = 2*g, g + 3*f = 2*g. Solve -s = g*s for s.
0
Let u = 69 + -64. Let d be -3 + 0 - (-4)/(4/u). Solve -4*o = -d*o for o.
0
Suppose -x - 26*x = -27. Solve 3 = -2*d - x for d.
-2
Let n = -25 + 37. Let o = -8 - -20. Let j = n - o. Solve t + 5 = -j*t for t.
-5
Let w = 95 + -181. Let h = 92 + w. Solve 2*r - h*r = 0 for r.
0
Let s = -615 - -618. Let f = -6 + 11. Suppose k = -c + f, -s = -c + 5*k + 2. Solve u = -4*u + c for u.
1
Let y be (12/1)/(54/36). Solve 0 = 10*m - y*m - 8 for m.
4
Let l = -1 - -2. Suppose 0 = -g - 1, -2*r + 3 = -2*g - g. Suppose r = -w + l + 1. Solve 4 + 6 = -w*h for h.
-5
Suppose s - 19 = -3*q, -5*s + 14 = 9. Solve 0 = 2*n + q*n for n.
0
Let z(t) = t**3 - 13*t**2 + 13*t - 9. Let x be z(12). Solve -x*o = -20 + 17 for o.
1
Let f(d) = d**3 - 20*d**2 + 51*d + 6. Let c be f(17). Solve -c*a = a + 14 for a.
-2
Let j(d) = d**3 - 8*d**2 - 7*d - 14. Let m be j(9). Suppose -y - 7 = 4*f + m, 4*y - 4*f - 36 = 0. Solve 7 = p + y for p.
2
Let o = -375 - -375. Solve 0*s - 5*s = o for s.
0
Let f(o) be the first der