q for t.
-1
Suppose -4*k = -3*d + 49, 4*k + 4*d = -0*d - 84. Let l = k - -16. Solve 2*v = -l*v + 2 for v.
1
Let v be (-12)/4 - (-1 + -8). Let g be (-186)/(-10) + (-18)/(-45). Let x = v + g. Solve 5 = -5*j + x for j.
4
Suppose 5*w + 5*i = -5, w + 3*i + 23 = 3*w. Let y be w/12*(-9*6)/(-2). Solve y + 11 = -5*r for r.
-4
Let c = 9 + -7. Suppose 1 = c*z - 17. Let j = 11 - z. Solve -4 = j*n + 2*n for n.
-1
Let z = 4 + -10. Let f be 4*4 + 6/z. Let v = f + -13. Solve 2*s + v - 8 = 0 for s.
3
Let v be (2 - 3)*413*(-66)/231. Solve -2*s = -v + 120 for s.
-1
Let u be (-6)/10*(4/(-6)*3 - 3). Suppose q - 2*q = -2. Solve -14 + q = -u*r for r.
4
Let z(u) = -28*u - 1. Let h be z(-1). Suppose -16*x - h = -19*x. Solve 2*y - 7 + x = 0 for y.
-1
Suppose 0 = -3*t + 3*h + 24, -4*h = 3*t - 9*h - 20. Suppose 60 = t*i + 2*i. Solve i*g + 11 = 1 for g.
-2
Suppose -13*u + 52 = -9*u. Solve 15*r = u*r - 4 for r.
-2
Let m be 257/17 + (-26)/221. Solve -16*f + m = -f for f.
1
Let l = 5 - 5. Let w(u) = 2*u**2 - 2*u - 1. Let b be w(2). Let r = 6 - b. Solve r*g - 15 = -l*g for g.
5
Let q = -32 - -27. Let p(g) = g + 5. Let b be p(q). Solve b*r + 3*r - 12 = 0 for r.
4
Let i be (1 - 3)/((-6)/12). Suppose -5*m - 2*a + 9 = 2, i*a = 3*m - 25. Solve 0 = m*c - 0*c for c.
0
Let x = -611 + 614. Solve x*u - 2 = -5 for u.
-1
Let m(w) = 3*w. Suppose -6*k + 2*k = -3*k. Let b be m(k). Solve -g + 2*g - 4 = b for g.
4
Let j(z) = -13*z + 2. Let k be j(2). Let y be (36/16)/(9/k). Let n be 0/2 + 8 + y. Solve -12 = n*b + b for b.
-4
Let b(a) = 6*a**3 + 7*a**2 - 14*a - 5. Let f be b(-2). Suppose 0 = 3*c - 4 - 2. Solve -c*t + 15 = f*t for t.
3
Let n = -37 - -79. Suppose -4*q + n = -58. Solve -q = -5*h - 0 for h.
5
Suppose -2 + 4 = -w, 0 = 4*y + 3*w + 86. Let t be (y/60)/(2/(-6)). Solve s + 2 + t = 0 for s.
-3
Suppose 0 = -4*d + 20, -4*v - v = -5*d + 25. Let c be (-3 - 12/(-4))*-1. Let z(i) = i**3 + 4*i**2 + 4*i + 2. Let h be z(-2). Solve v = -c*b + h*b - 4 for b.
2
Suppose 313 - 85 = 4*h. Suppose 0 = -9*k + h - 12. Solve -k = u - 0 for u.
-5
Let c(q) be the second derivative of q**3/6 - q**2 + 11*q. Let l be c(4). Let y = -4 + 6. Solve y*v = -l*v for v.
0
Suppose 3*r + g - 11 = 0, r + 16 = 3*r + 5*g. Let p(f) = -4*f + 222. Let y be p(55). Solve 10 = -y*l - r*l for l.
-2
Suppose -4*j + 443 = 175. Suppose j - 11 = 7*l. Solve 0*x = 4*x + l for x.
-2
Suppose -2*p + 15 = 5*b - 3*p, -4*p = 5*b + 10. Let u = 910 + -902. Solve b*h - 2 - u = 0 for h.
5
Let y(z) = 4*z - 8. Let t = 9 + -4. Let p be y(t). Suppose 0 = d + 2*d - p. Solve d*b = -b for b.
0
Let b(l) = 3*l - 9. Let u be b(8). Solve -u*g = -12*g + 6 for g.
-2
Suppose -32*o = -33*o + 4. Let r(a) = 2*a**2 + 3*a - 4. Let x be r(1). Solve 9 = o*c + x for c.
2
Let k(r) = -r. Let y be (-8)/10*(-15)/(-6). Let x be k(y). Let p be 3/x - 36/(-24). Solve p*g = -g for g.
0
Let v(j) = j**3 - j**2 + 10*j + 24. Let u be v(0). Solve -2*r = -16 + u for r.
-4
Suppose 14*u = 12*u + 10. Suppose -u*j = -6*j + 16. Let b = -11 + j. Solve 0 = -2*g - b - 3 for g.
-4
Let f be (-1)/(((-12)/28)/3) + 3. Let x(r) = r - 10. Let i be x(f). Solve i = 3*b - 2*b for b.
0
Suppose 2*g = 3*i + 9, 4*g + 20 = -4*i + 68. Let h be (6/g)/((-4)/(-6)). Let l be -2 + 2 - (h - 1). Solve l = c - 0 + 5 for c.
-5
Let a = 73 + -73. Solve a = -c - 3*c + 8 for c.
2
Suppose -a + 1 = x, -x + 3 = a + 2*a. Let m be 1*(-1 + x + 1). Suppose 0*z - 4*z = m. Solve -2*b - 1 + 9 = z for b.
4
Let u be (3 - 7)*(-2)/2. Suppose -f + 8 = 5*v, -u*v + f + 12 = -f. Solve -v*l - 12 = l for l.
-4
Let n(f) = f - 1. Let c(b) = b. Let v(x) = -2*x + 9. Let u(p) = 6*c(p) + v(p). Let m(l) = -3*n(l) + u(l). Let i be m(-10). Solve -i*w + 0 = -10 for w.
5
Let f(u) = -u**3 + 8*u**2 - 7*u + 3. Suppose 3*y = -2*y + 25, -x - 2*y = -14. Let m be ((-14)/x)/(10/(-20)). Let o be f(m). Solve o*z = -0*z - 3 for z.
-1
Suppose -4*o + 59 = -5*a, 0 = 2*o + 7*a - 2*a - 67. Let w be -1 - (-23)/7 - 6/o. Solve -2*u = -0*u - w for u.
1
Suppose -5*l + 13 = 3*z, l - 3*z = 29 - 12. Solve 0 = -0*x - l*x + 15 for x.
3
Let i(z) = 57*z**2 + 1 - 55*z**2 - 3*z + z. Let l be i(2). Solve 0*f + l*f = 0 for f.
0
Let t = 454 - 449. Solve 0*i + 20 = t*i for i.
4
Let l(f) = 38*f**2 + 4*f + 3. Let v be l(-1). Let j = v - 33. Solve j*o - 2 = 2*o for o.
1
Let o = -8 - -12. Let a = -4 + o. Suppose -6 = -2*i - 3*u - 1, i - 2*u - 13 = a. Solve -3*v = -i*v + 12 for v.
3
Let n(m) = m**2 + 111*m - 112. Let s be n(1). Solve -23*b + 34*b + 22 = s for b.
-2
Let f(h) be the second derivative of 19*h**4/12 + h**3/3 - h**2/2 + h + 1. Let p be 15/25 - (-4)/10. Let j be f(p). Solve 0*x + 5*x = -j for x.
-4
Suppose 6*y - 3*y = 0. Suppose y*n + 20 = n. Let r = -5 + 8. Solve 0 = -2*c - r*c + n for c.
4
Let w = -1270 - -1280. Solve 60 = 2*c + w*c for c.
5
Suppose 5*b - 23 = -k, 3*k - 3 = 2*k. Suppose 3*t + 86 + b = 0. Let o be (-55)/t - (-2)/12. Solve o*q = q for q.
0
Let q(y) = -2*y**2 - 5*y + 32. Let o be q(-5). Solve -9*z = -o*z for z.
0
Let i be ((-2)/(-3))/(10/585). Let c = i - 36. Solve 0 = c*t - 6*t for t.
0
Let n(d) be the second derivative of d**7/840 - d**4/24 - 5*d**3/6 + 3*d. Let x(q) be the second derivative of n(q). Let v be x(1). Solve v = 3*t - 6 - 0 for t.
2
Suppose 0 = -5*o - 5*v - 9 + 14, 2*o + 5 = 5*v. Solve 21*z + o*z = 0 for z.
0
Suppose 3*r + 0 + 18 = 0. Let h be (1/1)/(r/(-42)). Suppose -g = h*w - 2*w - 34, -4*g - 4*w + 104 = 0. Solve -3*j - g + 9 = 0 for j.
-5
Suppose -m - 28 = -5*q, -2*m = 12 - 6. Solve 2*t = t - q for t.
-5
Suppose 10 = -5*t, -l - 2*l = -t - 20. Let c be ((-1)/2)/((-2)/20). Suppose c*z = 3*z + l. Solve 0*i + 15 = z*i for i.
5
Suppose 5*n + 2*g - 4*g = 2, 0 = n + 5*g - 22. Solve 0 = r + n*r + 12 for r.
-4
Suppose -k + 3 = 3*o, -o = 2*k - 9 + 28. Let d be k/(-6)*(-10)/4. Let n = d + 8. Solve 0 = l - n for l.
3
Let c(s) = 2*s**3 + s + 25. Let f be c(0). Suppose -6*h + f = -29. Solve -2*x = -h + 1 for x.
4
Let o = 4 + -4. Suppose -2*c + 2*r + 10 = 0, -5*r = -4*c - 8 + 29. Let y(a) = -a**2 + 6*a - 5. Let z be y(c). Solve -q - 7 + z = o for q.
-4
Let f(g) = 14*g - 136. Let s be f(11). Solve -2*y - 8 = -s for y.
5
Let z(w) = w**2 + 9*w + 3. Let d be z(-9). Suppose 2*i = d*i. Solve i = y - 0*y for y.
0
Let g = -284 + 288. Solve -10*o + g*o = 12 for o.
-2
Let k = -1757 - -1778. Solve -r + k = 16 for r.
5
Let j = -3 - -3. Let f be 4/(-22) - 2/(-11). Suppose -4*b + 8 = -f. Solve -4 = -b*u - j for u.
2
Suppose 5*a = v + 11 - 21, 76 = 4*v - 2*a. Solve 0 = -18*c + v*c + 2 for c.
-1
Let i(r) be the second derivative of 5/6*r**4 + 1/20*r**5 + 0 + 5*r**2 - 5*r + 1/6*r**3. Let o be i(-10). Solve 4*d - d + 12 = o for d.
-4
Let j(g) = -g**3 - 10*g**2 - 14*g + 32. Let n be j(-8). Solve -8*x + 4*x = -n for x.
4
Suppose -5*j - j = 54. Let i(h) = -h**2 - 8*h + 12. Let a be i(j). Solve 4*n - 1 = a*n for n.
1
Suppose 0 = 50*s - 3 - 97. Solve -3*z - s = -17 for z.
5
Suppose -43*v + 800 = -11*v. Solve 0 = -23*d + v*d + 10 for d.
-5
Let d = -798 + 802. Solve d*c = -11*c + 15 for c.
1
Suppose -4*h + 5*h - 5 = 0. Suppose -5*w = h, 1 + 1 = -f + 5*w. Let k(z) = z**2 + 8*z + 7. Let c be k(f). Solve -5 + c = g for g.
-5
Let f(s) = s**3 + 7*s**2 - 2*s - 10. Let o be f(-7). Suppose -7*x + 581 - 581 = 0. Solve -d - o + 6 = x for d.
2
Let s be (5/4)/(2/16). Suppose r = -2 - 8. Let z = r + s. Solve z = -7*c + 4*c + 9 for c.
3
Let r be (-1 + 3)*(-88)/(-16). Suppose 3*t = 2*t + r. Solve -3*i - t + 2 = 0 for i.
-3
Let m(x) = x**2 - 14*x + 25. Let z be m(12). Suppose p = 2 + z. Suppose p*h + 8 = -h, -n = 2*h. Solve -3*l = l + n for l.
-1
Suppose -5 - 3 = -4*l. Let o(f) = 4*f + 16. Let g be o(-3). Suppose 0 = g*d - 3*w - 2*w + l, 0 = -3*w + 6. Solve -d*i - 6 = i for i.
-2
Let o(q) = q**3 - 2*q**2 - 7*q + 8. Let d be o(4). Let y be (-12)/(-9)*-3*2. Let x = y + d. Solve 6 = x*g - g for g.
2
Suppose -8*l = -9*l. Suppose -2*z - 10 = 0, 3*z = -l*y + y - 15. Solve 4*h + h = y for h.
0
Let z = 100 + -144. Let v = 44 + z. Let j be -1 + 1/1 + 3. Solve j*m - 12 = -v*m for m.
4
Let o(v) = -v**3 + 8*v**2 + 4. Let j(x) = -x**2 - 7*x - 4. Let m be j(-4). Let i be o(m). Suppose -7*a + i*a + 6 = 0. Solve 0 = -d - a - 2 for d.
-4
Let d(s) = s**3 - 5*s**2 + 5*s - 1. Let n be d(4). Suppose -x - n*k - 14 - 5 = 0, -x + 3*k - 1 = 0. Let v be 395/25 - 2/x. Solve u + 3*u + v = 0 for u.
-4
Suppose 4*z - 2*p = 