t for t.
2
Let p be (-4 + 3)*1*-13. Suppose -9*o = -p*o. Solve 3*d - 5 - 4 = o for d.
3
Suppose -8 = 4*s - 4*j - 0*j, 3*s = -5*j + 26. Let h(f) = 2*f**2 - 3*f + 4. Let p be h(s). Solve -p*c = -c for c.
0
Let y be (-3)/(21/(-35))*14/10. Suppose 0 = y*s - 3*s. Solve -l = -s*l for l.
0
Let v = -2140 + 2149. Solve 4*d + v = -3 for d.
-3
Suppose 24 = -0*u + 2*u - 2*j, 5*u - 2*j - 45 = 0. Let l be 4/u - (312/(-42) - -1). Solve 3*y = l*y - 12 for y.
3
Suppose 0 = -5*t + 9 + 21. Suppose 3*k = 2*v - t*v + 53, 3*v - 4*k - 46 = 0. Suppose v = p - 0*p. Solve -p - 6 = 4*m for m.
-5
Let l be (2 - 2)*(10 + -9). Solve l = -3*k + 11*k - 40 for k.
5
Let o(p) = 15 + 4*p - 3*p - p - 2*p. Let u be o(6). Solve 0 = -0*w + w + u for w.
-3
Suppose -38*s - 690 = -53*s. Solve 0 = -45*v + s*v for v.
0
Let w(b) = 0 + 16*b + 1 - 17 - b**2. Let t be w(14). Solve -3*u = -0*u - t for u.
4
Let k = 22 + -15. Suppose -k - 2 = -3*d. Solve w = -1 + d for w.
2
Let h(g) = 12*g. Let k be h(1). Let z = 2683 + -2678. Let d be (-2)/(-9) + 16/9. Solve -z*t - k = -d for t.
-2
Let q(u) = 39*u**3 + u**2 - 2*u + 1. Let b be q(1). Let z = -34 + b. Let d be (-5)/(-3) - 4/(-12). Solve -z*f + d*f = -15 for f.
5
Let u = -2662 + 2667. Solve -24*s + u*s + 38 = 0 for s.
2
Let c be 4*(15/20)/(-1). Let x be 2/c + (-22)/(-6). Solve 0 = x*z + 2*z + 15 for z.
-3
Let f = 15 + -12. Suppose 4*u = f*u + 10. Solve -w = w - u for w.
5
Let o(g) = -g**2 + 5*g - 3. Let j = -18 - -6. Let h be (j/36)/((-1)/6). Let k be o(h). Solve k*t = 4*t for t.
0
Let x be 100/(-60)*18/(-5). Solve -o + x*o + 5 = 0 for o.
-1
Suppose 3 = -5*x - y - 2, -3*x + 10 = -2*y. Suppose -5*z - 2*b + 72 = b, x = -2*b + 8. Solve 6*h = 3*h + z for h.
4
Let o be 2*2/4*8. Suppose -4*v = -o*v + 16. Solve 0 = v*d - 0*d - 20 for d.
5
Suppose -8 = -6*w + 4*w, -3*w = -2*s + 44. Let o be 63/24*2 + (-7)/s. Solve q - 1 + o = 0 for q.
-4
Let c(w) = w + 5. Let n be c(-3). Let i(q) = -q**2 + 9*q - 10. Let r be i(7). Let u be r/12 + (-8)/(-3). Solve -n*d = 3 + u for d.
-3
Let x be 20 + (-9)/(-3) + -2 - 3. Suppose 2*m + 3*c - x = 0, -10*c + 6*c = 4*m - 28. Solve 0 + m = y for y.
3
Let j(y) = -5*y**2 - 4*y + 3. Let n be j(5). Let i = -130 - n. Solve 5*u = 2*u - i for u.
-4
Suppose 11*v - 95 + 62 = 0. Solve 3*d = 6 + v for d.
3
Let p = 26 - 23. Suppose -p*q + q + 96 = 0. Let s be (1*2)/(32/q). Solve -w + s = 2*w for w.
1
Suppose 0 = -8*a - 11*a. Solve 2*i + 2 + 4 = a for i.
-3
Suppose 2*r - 6 = -47*x + 46*x, r = -2*x + 12. Solve 23*o - x = 29*o for o.
-1
Suppose 8 = f + 2*a, -4*a = 4*f - 5*f + 8. Solve -7 = -f*d + 17 for d.
3
Let g(v) = -3*v - 3. Let l be g(-5). Suppose l = -7*q + 33. Solve 5 = 4*f - q for f.
2
Suppose -1 = -c - 153. Let f be c/(-36) + -4 + (-32)/(-18). Solve -7*b = -f*b for b.
0
Let b = -40 - -76. Let j = -36 + b. Solve 5*w - w = j for w.
0
Suppose -i = -3*i + 4*i, -2*r + i = 0. Solve r = 8*l - 12*l for l.
0
Let d(i) = i**3 + 15*i**2 + 15*i + 21. Let o be d(-14). Solve 87 = o*n + 101 for n.
-2
Suppose 2*k = -5*c - 45, 0 = 4*c + k + 6 + 30. Let l(w) = -w**3 - 8*w**2 + 8*w - 9. Let g be l(c). Solve g = r - 6 + 4 for r.
2
Let k(u) = -u**3 + 5*u**2 - 2*u - 2. Let v be k(5). Let r be (-92)/v + 2/6. Solve 8*o - 4*o = r for o.
2
Let m = -824 + 854. Solve 9*f - m = -f for f.
3
Let n = 10 - 3. Let j be (14/(-4))/(((-30)/(-12))/(-5)). Let m = n - j. Solve m = 3*a + 2 + 1 for a.
-1
Suppose 3*h + 2 = -5*i - 10, 0 = i + h + 4. Solve i*o + 3*o = o for o.
0
Let k = 14 - 11. Suppose k*q + 3*p + 8 + 13 = 0, -2*p = 4. Let l = 10 + q. Solve l*z - 25 = -5 for z.
4
Let r be (-8)/(-24)*(2 + (1 - 3)). Solve r = -5*u - u - 18 for u.
-3
Let m(h) = -17*h**3 - 6*h - 5. Let p be m(-1). Solve 4*c + p = 10 for c.
-2
Let q = -4 - -10. Let d = -4 + q. Let h be 11 - d/(6/(-3)). Solve h = 2*o + 4 for o.
4
Let d(b) = -b - 3. Let v be d(-7). Solve -v*p + 1 = 9 for p.
-2
Suppose 4*d - 16 = -0*d. Let x = 41 + -31. Suppose 17 = 9*p - x. Solve p - d = -r for r.
1
Let f be 2*3/(-18)*-9. Let p(b) = -1 + 16*b - 4 - 21*b. Let a be p(-2). Solve f = -t + a for t.
2
Let n = 6 - -5. Let s = -8 + n. Suppose -r + 19 = 3*r + d, 0 = s*d - 9. Solve -2 = r*q - 22 for q.
5
Suppose 4*w + 0*g = -3*g - 312, 0 = -4*w + 5*g - 312. Let s be (-90)/w + (-8)/52. Solve -s + 3 = -t for t.
-2
Let f = -6 - -10. Suppose -368 + 8 = -3*w. Suppose -3*g + w = 2*g. Solve -f*k + g = 8 for k.
4
Let l(w) = -w**3 + 10*w**2 + 2. Let c(t) = t**2 + 13*t + 22. Let m be c(-12). Let h be l(m). Solve 5*a + 13 = -h for a.
-3
Let q(v) = v**3 + 9*v**2 + 15*v + 12. Let z be q(-7). Solve 0 = y + z*y - 6 for y.
1
Let s = 5 + -31. Let y = s + 26. Solve -v - 4 + 9 = y for v.
5
Let l(z) = 4*z**3 - 7*z**2 - 5*z + 4. Let i(k) = 5*k**3 - 7*k**2 - 5*k + 3. Let q(m) = -5*i(m) + 6*l(m). Let y be q(-6). Solve 0 = -y*a + 2 + 4 for a.
2
Suppose -f - 5*w - 46 = 0, 2 = -5*f - 4*w - 123. Let z = 144 + -121. Let t = f + z. Solve -3 = u - t for u.
-1
Let d = -9 + 12. Suppose 4*q - 42 = -d*q. Solve -3*i + 9 = -q for i.
5
Suppose 0 = 2*p - 0*p + 68. Let g = p - -59. Suppose 4*c + 0*r = -r + 39, 5*r = -3*c + g. Solve 5*v + c = 35 for v.
5
Let p be 14/(-1*(9 - 11)). Solve -16*s = -9*s - p for s.
1
Suppose -9*t + 8 = -13*t. Let u be (-2)/((-5)/(45/(-6))). Let y = t - u. Solve -y + 4 = m for m.
3
Let u(t) = 19*t + 154. Let i be u(-8). Solve -23*n + i = -21*n for n.
1
Suppose 4*o = -26*o - 9*o. Solve o = 6*g + 27 - 3 for g.
-4
Let s(h) = h**3 + 9*h**2 - 2*h + 7. Let r be s(-9). Suppose -5*y = -r + 10. Solve -5*c = -y*c - 10 for c.
5
Let a be 26 + ((-170)/102)/((-10)/36). Solve -5*m - a + 27 = 0 for m.
-1
Let h be (-10)/(-55) - (-1 + 6/33). Let x be (-2 + 8/(7 + -3))/h. Solve 0 = -2*a - x - 2 for a.
-1
Suppose -4*u + 37 - 13 = 0. Let o be ((-4)/u)/(2/(-9)). Suppose 47 = o*k - 5*b + 3*b, 14 = k + b. Solve k = -4*l + l for l.
-5
Let v be (-12)/(-5)*5*9/6. Suppose -v*k + 21*k = 0. Solve -4*h + 6 + 2 = k for h.
2
Let v = -107 + 33. Let h = -70 - v. Solve 4 = -h*q - 8 for q.
-3
Suppose 2*q = q. Let f = q + 2. Suppose f*y - 5*y + 9 = 0. Solve -l - y*l - 20 = 0 for l.
-5
Let d(a) = -a**2 - 13*a - 12. Let p be d(-12). Solve p = 3*x - 19 + 28 for x.
-3
Suppose -5*g + 63 = 18. Suppose -70 = -g*u - 25. Solve -u*s + 6 = -9 for s.
3
Let q(n) = 18*n + 753. Let h be q(-41). Solve -19*d = -h*d for d.
0
Suppose 8*a - 1 - 31 = 0. Solve -7*k + a = -6*k for k.
4
Suppose 0 = 2*m - 3*l - 37, m - l - 22 = -6. Let h be -3 - m/((-11)/6). Suppose -3*z = -2*q + 23, -6*z = q - 3*z - 7. Solve 2*u = -h*u - q for u.
-2
Suppose 3*a = 13*a + 450. Let m be ((-15)/a)/((-1)/(-12)). Solve 0 = 5*k - m*k + 4 for k.
-4
Let j(v) = v**3 - 18*v**2 + 50*v - 12. Let q be j(3). Let i be -1 - 1*2/(-2). Solve -q*a + i + 12 = 0 for a.
4
Let m be (-335)/30 + 2/12. Let h = m - -11. Suppose -5*c + h*c + 10 = 0. Solve -c*d + 4 = 2*d for d.
1
Let t be (-1)/(-4) + 5/(-20). Let q(m) = -2*m. Let r be q(-1). Suppose t*c + 12 = -4*l + 3*c, -2*l - r*c + 8 = 0. Solve 5*i + 0*i = l for i.
0
Suppose j + 1 = -3*h - 3*j, 21 = 5*h + j. Solve 0*x = h*x + 15 for x.
-3
Let f(c) be the third derivative of -19*c**4/24 - c**3/2 + 2*c**2. Let y be f(-2). Suppose -5*t - o + 35 + 20 = 0, -3*t - o = -y. Solve 2*b - 2 = -t for b.
-4
Let y be (-2)/((-2)/(-2)) + 5. Suppose 8*t = -3 + 11. Suppose -4*s + 11 = -t. Solve y*w - s = 3 for w.
2
Let c = 724 + -714. Solve -26*m + 24*m = -c for m.
5
Let r be (-9 - -4)*132/(-10). Let k = 67 - r. Solve 2*u - 5 = k for u.
3
Let q = 4 + -3. Suppose -q + 4 = u. Suppose u*h - 13 = 4*f, 4*h = -h + 3*f + 18. Solve -h*x = -6*x + 9 for x.
3
Let u = -11 + 15. Let b be (4*(-3)/30)/((-4)/20). Solve -6 = -u*i + b*i for i.
3
Suppose 4*j - k - 20 = 4*k, 16 = 5*j - 4*k. Let g be j/(1/(-3) + (-5)/3). Solve 3*i + 0*i + 6 = g for i.
-2
Suppose -32*d + 36*d = -16. Let x be (d - 7/((-21)/9))*-1. Solve t + 1 = -x for t.
-2
Suppose 2 = 5*q + m - 5*m, 4*m - 6 = q. Suppose -q*c - 4*z = -18, -5*c - 5*z + 25 = -0*z. Solve 2*w - w + c = 0 for w.
-1
Suppose y = 1 + 1. Suppose -2*v + 13 = 2*f - 5*v, 0 = -3*f - 4*v - 6. Solve y = -i + f*i for i.
2
Let v be (-9)/(-6)*(61 - 1)/3. Suppose 32*f = 37*f - v. Solve -3*c + 5*c + f = 0 for c.
-3
Suppose 40 = -5*v - 85. Let n = -353 - -324. Let w = v - n. Solve -3 = -w*x - 15 for x.
-3
Let u(f) = -2*f**2 - 2*f + 10. Let w be u(6). Let a be 3/(-18) - w/12. Solve -a + 2 = m for m.
-