t for f.
3
Suppose 1 = -3*a + 7. Suppose 20 = 3*s - 46. Let c = 26 - s. Solve a*y - 4 + 14 = c*v, -6 = 4*y - v for y.
-1
Let t be (10/15)/(4/474). Let x = t + -75. Solve v = -3*j + 15, -4*v - v - 1 = -x*j for v.
3
Let h be (12 - (12 - -4))*(-6)/8. Solve 0*w = -2*w - 2, 4*q = h*w - 13 for q.
-4
Let v = -17 - -19. Let k(q) = q. Let i(n) = -7*n - 2. Let r(g) = -i(g) - 5*k(g). Let a be r(-1). Solve a = v*p + u - 2, -p = 2*p - 3*u - 3 for p.
1
Let v(o) = -o**2 + 8*o - 3. Let t be v(2). Suppose 3*r + t = 0, 4*w - 2*r = 17 + 1. Solve u + 1 = -c + w, 0 = 3*u - 3 for c.
1
Let z be 6 + 4/(-18) + (-1395)/(-81). Solve 2*r + z = 4*r + 3*d, 3*r - 4*d + 8 = 0 for r.
4
Suppose 4*o = -0*u - u + 25, -20 = -4*u. Solve -6*q = -3*q + o*i - 16, -5*i = -10 for q.
2
Suppose -3*v - 5*y - 65 = -5*v, 4*y - 20 = -2*v. Suppose 4*r + 20 + 72 = 0. Let g = r - -26. Solve -5*l + 0*n + v = 5*n, -4*l = -g*n + 19 for l.
-1
Let u = 243 + -227. Solve -v - u = 4*l, -2*v - 2 + 3 = -3*l for l.
-3
Let t be 80/(-12)*-7*3. Suppose -4*h - y = -t, -2*y - 79 = -3*h + 15. Suppose 3*j + 15 = -5*u + h, 0 = -5*u + 2*j + 29. Solve 0 = u*l, -4*a + 5*l = l for a.
0
Suppose -2*p = -4*p + 32. Suppose 8 = -o - 3*l - 32, -4*o - 4*l = 128. Let s = o - -34. Solve k - 3*v + 6 = -s, 4*v = p for k.
0
Let j = -26 - -28. Let r(b) = b**3 + b**2 - 4*b + 20. Let s be r(0). Solve 5*a - j*x + 7*x = -25, -s = 4*a + 3*x for a.
-5
Let a(q) = 2*q**3 - 2*q**2 + 2*q - 1. Let l be a(1). Solve -4*x - 2*w - l - 3 = 0, -4*x = 4*w + 8 for x.
0
Let b(f) be the first derivative of 2*f**3 - 10*f - 1/4*f**4 + 1 + 9/2*f**2. Let v be b(7). Solve 8 = -4*q - 4*t, t + v*t = -4*q - 13 for q.
3
Let o be (-13)/((-65)/24)*15. Let i = -69 + o. Solve -2*j + 4*j = i*z - 20, -2*z - 3*j - 4 = 0 for z.
4
Let q be 0 - 1/(-2)*-26. Let k = -5 - q. Let j = -15973 - -15975. Solve 4*a + k = 0, 5*a = -j*m - 2*m - 18 for m.
-2
Let o be -36*((-40)/144 - 2/9). Suppose -3*h = 4*y - o, -5*h + h = 8. Solve -13 = -5*x - a, 2*a = -0*a + y for x.
2
Let w = 304 + -308. Suppose 0 = -4*z - 5*y - 13, -z - 3 = -y + 7. Let l = w - z. Solve 0 = -2*x - 5*c + 19, 0 = 2*x + 3*x + l*c for x.
-3
Let o(n) = -60*n + 2. Let l be o(0). Solve -2*q - 11 = y, -5*y + 6*q + 1 = l*q for y.
-3
Suppose 4*b + 0*b - 32 = -3*j, 5*b - 5 = 5*j. Solve -3*v - 1 - 3 = -s, -4 = j*v - s for v.
0
Let p(d) = 60*d + 665. Let n be p(-11). Solve -4*c + o = -0*c + 19, 4*c = -n*o - 25 for c.
-5
Suppose -4*j - 3*l = -3*j - 19, 25 = 5*l. Solve j*b - 5*k - 14 = 5*b, 0 = 2*b + 2*k + 12 for b.
-4
Suppose -437 = 18*f - 41*f. Solve -x + 4*d = f, 0*x + 4*d = -4*x + 24 for x.
1
Let i = -116 + 137. Let b = i + -21. Solve -11 = 3*r - t, b*r = 2*r + 2*t + 2 for r.
-3
Let y(c) be the first derivative of c**3/3 - c**2 + 2*c + 10. Let n be y(0). Solve 0 = -n*w + k - 3, -k + 4*k = -2*w + 1 for w.
-1
Let t(d) = -d**2 - d - 11. Let n be t(0). Let r = -6 - n. Suppose 0 = 4*v + 5*k - 21, v + 1 + 0 = r*k. Solve 9*c - 2*j = v*c + 14, 5*c + 2*j = 6 for c.
2
Let z = -163 - -165. Solve -z*t - 6 - 4 = 2*y, -3*t + 4*y - 15 = 0 for t.
-5
Suppose 98*j - 2*g = 101*j - 11, 5*j - 3*g - 12 = 0. Solve j*n + 4 = -2*a + 6, 3*a + 4 = -n for n.
2
Suppose -2*g + 6 = g. Suppose -g = -2*m + 20. Let h be (4 + m)*3/9. Solve -2*z = h*f + 20, -8 = z + z - f for z.
-5
Let c = -60 - -67. Solve 2*n - c = -m, 9 = 4*n - 5*m - 12 for n.
4
Suppose -4*i + 150 = 11*i. Solve 4*y + 6 = h, -4*y + 5*h = 2*h + i for y.
-1
Suppose -7*c + 10*c = -18. Let d be ((-15)/c)/((-5)/(-10)). Solve 0 = 3*u - 0*u - d*o - 34, -3*u + 24 = -3*o for u.
3
Let l be (1 + -14 + -2)*((-2)/(-3) - 1). Suppose 0 = -4*t - 4, -2*w + 15 = -0*w - 5*t. Solve l*y = 25, -4*f - 2*y - 35 = -w*y for f.
-5
Let d = -13 + 15. Suppose 5*v - 42 = 4*p, v = -3*p - d - 1. Suppose -v*t + t = -80. Solve -5*l = -2*f + 12, 3*f - 2*l + 3*l = -t for f.
-4
Let h be 60/135*9/2. Solve -h*v + 16 = 4*j, 20 = v + 4*v for j.
2
Let p(q) = 10*q + 10. Let b be p(-1). Suppose 0 = 3*z + 2*z - 25. Suppose -65 = -z*r + 25. Solve -4*k - 2*a + 0*a + r = b, 2*a - 22 = -5*k for k.
4
Let p(q) = -q**3 + 6*q**2 + 3*q - 5. Let g be p(6). Suppose 5*x - 108 = -38. Solve 0*h - g = r - 5*h, 2*h = -4*r + x for r.
2
Suppose d - 23 = 4*v, 0 = 4*d + v - 7. Suppose -d*u + 34 = c, 3*u + u - 54 = 3*c. Suppose p = 5*p - u. Solve p*l + 2*t = -t - 15, 20 = -4*l + t for l.
-5
Suppose 0 = -g - 2*g + 15. Suppose -3*w + w = -54. Suppose 3*h - 3 = w. Solve -g = r - 4*z, 2*r - 2*z = -z - h for r.
-5
Suppose 0 = -2*j - l + 6 + 12, 4*j = -5*l + 42. Let y(q) = q**3 + 4*q**2 - 12*q + 2. Let p be y(-6). Solve g - j = p*n, 0 = -5*g + 11 - 1 for n.
-3
Let v = 192 - 192. Solve 4 = a + b - v*b, 10 = 2*b for a.
-1
Let d be (-1 - (2 + -3)) + -2*1. Let l = 6 - 0. Let v = d + l. Solve -4*j - 19 = -m, -v*m + 5*j + 23 = -2*m for m.
-1
Suppose 4*j - 3*u + 12 = -1, -u = -5*j - 30. Let n be -1 + (-1)/(1/j). Let r be 3 - (n + -2 - 2). Solve y + 5*v - r = -0*v, 0 = -y + 3*v + 1 for y.
1
Let i = 0 - -3. Let h = 20 - i. Suppose -y + 5*a = -32, y + a = 14 - 0. Solve -2*z - z + 2*p = y, -h = -z - 5*p for z.
-3
Let l = -10 + 16. Suppose -2*h - 8 = -l*h, -3*w = -4*h - 4. Solve 0 = v - 4, g - 6*v = -5*v - w for g.
0
Suppose 0 = 13*r + 22 - 230. Solve -i - r = -3*m, m + 9 = 2*m - 4*i for m.
5
Suppose -2*f + 10 + 4 = 3*l, -5*l + 4*f + 16 = 0. Solve -l*p + 0*w + 2*w + 2 = 0, -3*w + 30 = 5*p for p.
3
Let k(n) = 2*n. Let t be k(-9). Let v = t - -26. Suppose 4*q - v = 0, -l - 4*q = -4*l + 16. Solve -3*u - 2*p = 3*p + 32, -l = 5*u - 3*p for u.
-4
Let q(m) = -m**3 + 16*m**2 - 20*m + 32. Let l be q(15). Let x = l + 44. Solve -5*j + h - 13 = 0, -3*j - h - x = 10 for j.
-3
Suppose -t = 14 + 36. Let l be t/15*(-3)/2. Solve 7*m = 2*m - 3*b + 21, 4*m - 22 = -l*b for m.
3
Let n = -1894 - -1894. Solve n*d + r - 1 = 3*d, 3*d - 4*r - 5 = 0 for d.
-1
Suppose s - 101 = -5*k + 4*s, -50 = -2*k - 2*s. Solve 3*d + 17*c + 12 = k*c, d - 5*c = -4 for d.
-4
Let a(l) = -l**3 + 5*l**2 + 6*l + 3. Suppose -2*h - 12 = -q, 0 = -2*q - h - 0 + 9. Let u be a(q). Solve 3*m - u*s = 6, -s + 11 = m + s for m.
5
Let f = -2178 + 2182. Solve -f*s + i = -0*s - 9, -5*i = s - 18 for s.
3
Let j(u) = u**2 - 10*u + 7. Let q be j(9). Let g be -14*(-1 + (-3)/q). Let x = -5 - g. Solve -5*a + 15 = -2*d, x*a - 15 = -3*a for d.
0
Let a(h) = 21*h - 110. Let n be a(6). Solve 3*k - 5*k = 4*t - 8, -5*t + 4*k - n = 0 for t.
0
Suppose 2*z + 3*w = 16, 3*z + 5*w - 22 = 2. Let k = z + 6. Suppose -k = -5*c + 1. Solve c = 4*x + 15, 0 = u + 3*x + 8 for u.
1
Let g(s) = -3 - 1 - s + 2*s - 4. Let p be g(4). Let l be -4 + 11 + 1 + p. Solve -2*d = 4*q + 10, 0*d + q = l*d + 11 for d.
-3
Suppose -2*z - 3*z = -3*w - 25, 4*w - 25 = -5*z. Suppose 3*u + w*u = -5*t + 11, -3*u - 9 = 0. Solve r = -t*j + 3*r - 10, -5*r = 5 for j.
-3
Suppose 4*x = -11*x + 30. Solve 3*m = 3*y - 1 - 8, 5*m + x*y - 13 = 0 for m.
1
Let i = 6 - 10. Let o(j) = -3*j**2 + 0*j - 129*j**3 + 4 + 128*j**3 + 4*j. Let v be o(i). Solve 7 = -5*s - r + 23, -5*s - 4*r = -v for s.
4
Let r = -1 - -1. Suppose r = -2*l - 2*l + 4*d + 16, -2*l = -d - 9. Suppose -5*z + 4*k + 7 = 0, z + 4*k - 7 = 2*k. Solve t = -t - 3*n, z*t = l*n for t.
0
Suppose 66*m - 59*m = 35. Solve 0 = 4*o - 8, -m*b + 0*b + 2*o = 4 for b.
0
Let d be 21/4 + -3 - (-5)/(-20). Solve -f = 0, -f = d*c + f for c.
0
Let y = 70 - 69. Solve -y + 4 = m, 19 = -4*d + m for d.
-4
Suppose -4*c + 5*z = -22, -z + 2*z + 11 = 3*c. Suppose 0 = -2*x - x + 9, 2*f + x - 21 = 0. Solve 5*d - 2*d = -2*h + c, 2*d - h = f for d.
3
Let j = 225 + -209. Solve -t + 0*t - 4 = -i, 0 = 4*t - i + j for t.
-4
Let r be ((-6)/(-12))/((-3)/(-6)). Solve -2*f - 7 = -2*l - r, -4*f = 16 for l.
-1
Let s(l) = l**2 - 8*l - 60. Let u be s(13). Solve -3*r = 3*q + 6, 2 = -5*r + u*q - 18 for r.
-3
Let r be (28*1/(-5))/((-29)/(-870)). Let y be (-9)/(-7) + (r/(-49))/(-12). Solve -v - y = 3*k, -6*k + 4 = -3*k + 2*v for k.
-2
Suppose 0*q = 9*q + 405. Let t be 4/(-6)*q/3. Solve -4*r - n = -t, -3*r + 3*n = 5 - 20 for r.
3
Let c = -17 + 32. Let i = c + 0. Suppose 4*s + 5*n - 34 - 17 = 0, -2*s + n + i = 0. Solve 2*x = -h - s, x = -4*x - 4*h - 24 for x.
-4
Suppose -3*y + 0 = 12, -3*d - 29 = -y. Let h(x) = 2*x + 27. Let o be h(d). Suppose 0*u - 40 = -5*u. Solve 0 = -t + 3*t - u, 2*g = o*t - 16 for g.
2
Suppose -3*k - 3*f + 21 = 0, 3*k - f - 13 = -0*k. Suppose 0 = -k*w + 9*w. Le