0 = -3*t - 4*v + 38 - 47 for t.
-3
Suppose 30887*p = 30862*p. Solve p = -2*j - 2*i + 4, -2*j - 568*i + 6 = -564*i for j.
1
Let d = 5463 + -5459. Solve 0 = 4*u - d*b, 8*u = 9*u - 3*b for u.
0
Suppose -544 = -5*y - 2*d, 2*d = 4*y + y - 556. Suppose -13*q = -72 - y. Solve -2*s + q = 4*w, 4*s + 1 = -w - s for w.
4
Let u = -3 + 5. Let p be -2 - (-5 + (-1)/1). Let s(b) = 476*b - 1904. Let q be s(4). Solve 8 = -4*r + o, q*r - u = r + p*o for r.
-2
Suppose -85*y = -18 - 492. Solve -4*l + 3 = -5*i, -5*i = 3*l - 6*l + y for i.
-3
Let h(k) = k**3 - 9*k**2 - 20*k - 11. Let q be h(11). Suppose -4*j - 21 = -5*p, -2*p - 4*j = -5*p + q. Solve 2*t + 5*o = -24, p*t + 2*o = 3 - 21 for t.
-2
Let y be 29/(-116) + 46/(-8) - -8. Solve m + y*v = 5, 55*m = 60*m + 5*v - 5 for m.
-3
Let v = -9413 + 9418. Solve 5*d = -v*j - 22 + 27, 2*j + 18 = 2*d for d.
5
Let s(v) = v**2 - 50*v + 266. Let w be s(44). Solve 2 = w*p - 2*i, -i + 0 = -5*p + 13 for p.
3
Let p(z) = -2 - 5*z**2 - z**3 + 19 - 2*z - 1 + 12*z. Let m be p(-7). Suppose 5*r + 19 = m. Solve 2*q + r*t - 10 = 0, 0 = 2*q - t - 3*t + 8 for q.
0
Let d be (4/108*12)/((-4)/(-144)). Solve d + 13 = -3*y - 4*b, -5*y - 2*b = 25 for y.
-3
Let i = -85 - -93. Let n be 1 - (1 - -1) - (5 - i). Let j be 3/n + (-22)/(-4). Solve -3*q = -4*z - 31, -4*z = -4*q + 29 + j for z.
-4
Let l = 446 + -427. Suppose -w = -3*w + 62. Suppose w = 4*c + l. Solve -2*x = 2*t + 6, 0 = c*x + t + t + 9 for x.
-3
Let j(r) be the third derivative of r**6/120 - r**5/20 + 5*r**4/24 - r**3/3 + r**2 + 7. Let m be j(2). Solve -4*y - 4 = -m*s, y + 4*y = s + 7 for y.
2
Let g = 54 - 51. Suppose -7*d + 18 + g = 0. Let q be ((-20)/(-12) - 2)*27/(-3). Solve q*m + d + 9 = -5*y, 2*y + 2 = -4*m for m.
1
Suppose m = 5*l - 0*l - 51, -5*m - 235 = -5*l. Let p be 0 + 11 + 40 + m. Solve -p*t - 5*k - 1 = -6, -k + 5 = -3*t for t.
-1
Let k = -182 - -184. Suppose -k*c + f = -7, 2*f = 5*c + 7*f + 5. Solve 10 = c*m + 5*v, -m = -2*m + 4*v - 21 for m.
-5
Let k(b) = b**2 - 35*b + 96. Let g be k(32). Suppose -15*p + 3 + 72 = g. Solve -3*i - c + 1 = 3*c, 0 = -5*i - 5*c + p for i.
3
Suppose 4*n - 1133 = 5*u, -174*n + 178*n - 1123 = -5*u. Solve -4*r + n = 5*t + 300, r = -5*t - 12 for r.
-2
Suppose 0 = 6*g + 2*g. Suppose -2*n + 3 + 7 = g. Suppose 3 = -3*j - 0*j - 3*w, w = -3. Solve -4*f + 2*f + n*i = -25, 5*f + j*i = -10 for f.
0
Suppose -169*l - 247*l + 11554 = -510. Solve 2*p = n + 11, -90*n + 87*n = -5*p + l for n.
-3
Let w(g) = 71*g + 958. Let x be w(-13). Solve -2*j + 5*q - x = 0, 5 = -j - 4*j - 4*q for j.
-5
Suppose -10 - 194 = -4*y. Let x = 33 - y. Let c be (30/(-45))/(4/x). Solve 3*r + 24 = 5*b, -r + b = c*b - 3 for r.
-3
Let p(c) = -170*c + 1022. Let h be p(6). Solve 8 - 4 = -2*b, -h*o = 4*b for o.
4
Let n = -50 - -52. Suppose -5*a + 2*p = -n*p - 198, 5*p = 15. Let h be 34/3 - (-28)/a. Solve 0 = 2*m + 2*x + h, 3*x + 4 = 2*m + x for m.
-2
Suppose 130*p = -149 + 274 + 265. Solve -7 = 5*g + p*a, 4*g + 0*g = 2*a + 12 for g.
1
Let n(x) = x**3 - 2*x - 9*x - 60 + 44 + 8*x**2. Suppose 26 = -2*w - 4*s - 0*s, 3*s + 33 = -3*w. Let o be n(w). Solve -f - 4 = a, f + a + 4 = o*a for f.
-4
Suppose 5*n = 1398 - 1378. Solve -23 = n*r + 3*d, -r = 5*d - 10*d - 23 for r.
-2
Let c(z) = z**2 + z - 13. Let b be c(-5). Let t(g) = 22*g - 22. Let m be t(b). Suppose -6*a = -17*a + m. Solve 0 = -4*n - 2*r + 4 + a, -n + r + 7 = 0 for n.
5
Let k = 16 + 4. Let h(v) = 2*v**2 + 13*v + 22. Let s be h(-4). Suppose 0 = 5*l - 0*l + 3*n - 28, s*n - 2 = 0. Solve -5*p - 20 = 0, l*a - 5*p - k = -0*p for a.
0
Suppose 4*t - 19 = 12*d - 11*d, 2*t + 2*d = 12. Solve z = -5, -7*z + 35 = t*c - 9*z for c.
5
Suppose -9*n - 253 = -397. Let d = -3 - -6. Suppose -r - d*f + n = f, r = f + 11. Solve 3*i + 3*v = -6 - r, -2*v - 4 = -2*i for i.
-2
Let u(g) = -g**2 - g + 21 + 2*g + 0*g. Let j = -14607 - -14611. Let a be u(j). Solve a = -0*b - b + 5*p, 0 = -4*p + 4 for b.
-4
Let h = -3109 + 3117. Solve 11 + 9 = -5*f, h = -3*z + f for z.
-4
Let x(q) = q**2 - 2*q. Let t(z) = 2*z**2 + 11*z - 2. Let o be t(-6). Suppose 13 = o*y + 1. Let d be x(y). Solve -4*a + 2*p = -6, -d*p = -5*a - 6*p + 2 for a.
1
Suppose -v = b, -4*v + 16*b = 18*b - 2. Solve -v = -4*x - 3*p, 4*x + 0 - 8 = 4*p for x.
1
Suppose 245*w - 243*w + 36 = 0. Let o be 12/(6 - w/(-4)). Solve o = c + 3*c + 4*q, 5*c = -3*q + 2 for c.
-2
Let y = 7 + -5. Suppose -2*c + 20 = -4*g, c = 5*g + 32 - 31. Solve u = -y*a - a - 8, -a = 3*u + c for u.
-5
Let u be (-1)/(((-28)/80)/7). Suppose -3*m + 3*x = -12, 16*x - u*x = 4*m - 32. Solve n + m = -n + 4*g, -n - g = -6 for n.
3
Let o = 50 - -39. Let f = 76 - o. Let r(s) = s**2 + 11*s - 18. Let z be r(f). Solve 0*w + 20 = -4*y - 3*w, -2*w = z for y.
-2
Let j be (-3)/12*69*(-60)/45. Solve 5*m = 3*h + j, -11*m + 11 = -2*h - 12*m for h.
-6
Suppose -40*t + 37*t = -a + 13, 12 = -4*t. Solve -j + 5 + 1 = 5*n, a*n = 4*j for j.
1
Let y be 0 + (75/(-5))/(-5) - -1. Let d = 138 + -124. Solve g = 5*t - d + y, 3*g + 4 = 2*t for g.
0
Suppose -5*z = -7*p + 5*p + 40, 2*p - 28 = 3*z. Solve -4*b - 3*i = 3, 5*i = 5*b - p - 0 for b.
0
Let j(f) = -2*f**2 - 46*f + 6. Let p be j(-23). Solve 0 = 2*a - 3*y + 15, -p*a + 4*y - 20 = -2*a for a.
0
Let x = -187 + 198. Let i(g) = 2*g**3 + 20*g**2. Let m be i(-10). Solve n - 5*v + 11 = 5*n, -n - 4*v + x = m for n.
-1
Let g be 5*4/60*9. Suppose -3*o + 3*x = -24, -3*x = o + 2*x - 20. Suppose o = 6*a - a. Solve a*u = -3*h - g, 4*u - 2 = 2*h - u for h.
-1
Let a be 1/2 - 715/(-10). Let o be 16/a + ((-605)/9)/1. Let w = -39 - o. Solve 5*d = -0*s + 3*s - w, 4*s = -2*d - 6 for d.
-5
Let f = 7 - 4. Let a(v) = v**3 - 23*v**2 - 566*v + 12524. Let i be a(20). Solve -5*q = f*c + 37, 36 = -3*q - q - i*c for q.
-5
Let k be (-4)/12 + (-242)/(-6). Let n = 6933 - 6933. Suppose 48*u - k*u = n. Solve -3*p + 4*y - 36 + 1 = u, -4*p = -3*y + 35 for p.
-5
Let t be 8/(-6)*((-540)/8)/(-3). Let m = 34 + t. Suppose -5*i = -15, -2*g - g + 21 = i. Solve 0 = 4*c + 2 + 6, 0 = m*p - 5*c - g for p.
-1
Let t(z) = 45*z**2 - 48*z**2 + 73 - 44*z**2 - 2*z**3 - 20*z. Let f be t(-23). Solve 2*y + 2 = 0, -m + y + f - 7 = 0 for m.
-4
Let i be 5 + 5/(5/(-2)) + -345. Let g = i + 345. Solve 0 = -5*r + 3*y - 13, 3*r + g*y - 1 = -4 for r.
-2
Suppose -3 = 2*k + 6*y - y, 6 = 2*k + 2*y. Suppose w = 5*h - 123, 4*w = h - 23 + k. Solve -3*n = 5*a + 2*n - h, n - 3 = 0 for a.
2
Let f be 6/(-10)*(-14)/((-98)/(-35)). Let q(a) = 4*a - 10. Let o be q(f). Solve o*m + 0 = 3*u + 16, -5*u - m - 18 = 0 for u.
-4
Suppose 0 = -2*m + 3*w + 22, -9*w - 37 = -m + 4. Solve 3*b + 16 = -m*c, -40*c = -41*c + 2*b - 11 for c.
-5
Suppose 2*d + 4*b = 248, -2*d + 3*d - 115 = b. Suppose d*x - 8 = 116*x. Solve 0 = w, -4*r = -3*r - x*w + 2 for r.
-2
Let u be 3 + -8*(-8)/(-64). Solve 5*k - u*k = -3, 0 = -4*b + 4*k - 4 for b.
-2
Let j be 60/48 - 118/(-8). Suppose -j*k + 57*k = 205. Solve -4*q + 2*q + i = 7, -k*i = -q + 1 for q.
-4
Let h be (-7)/(-6)*3*2. Suppose 0 = -3*o + 5*n - 104, 3*o + 96 = 4*n - h*n. Let k = o + 36. Solve 3*c = -l - 6, -c = k*l + 9 + 1 for l.
-3
Let v be 1/(-2) - 15111/(-46). Let l = 472 - v. Suppose 0 = 7*n + 4 - l. Solve 2*w + 4*t = n, 3*w - 5*w + 8 = t for w.
2
Suppose -3*s + 3 = -12. Let v = 373 + -342. Suppose -v*r - 30 = -32*r. Solve 2*q - s = m, -5*m = 2*q - q - r for q.
5
Let d(k) be the third derivative of -k**5/60 + 19*k**4/24 - 34*k**3/3 - 6*k**2 - 8*k. Let o be d(5). Solve o*c - 2 = 0, -3*c + 2 = t - 2 for t.
1
Suppose 5*p - 30 = -5*b, 4*p + 0 - 4 = 0. Let h be 9/(-12) + 85/(-20) + b. Solve 5*k + h*u + u = 11, -5 = -5*u for k.
2
Let m = -63 - -75. Suppose m = -d + 4*d. Let w be 6/d*240/45. Solve 5*a - 4*a - 2*i - w = 0, -3*a + 8 = -2*i for a.
0
Suppose 10*q = 14*q - 428. Suppose 4*i = 5*g + q, -5*i + 7*g + 145 = 12*g. Solve -4*b - i = 4*y, 3*b = -y - 14 - 3 for y.
-2
Suppose 0 = 3*t + 5*b + 13, -2*t = t - 3*b - 3. Let z be ((-1)/(6/(-4)))/(t/27). Let r(u) = -u - 9. Let p be r(z). Solve -5*l + 0 - p = -2*f, -6 = -3*f for l.
-1
Let f(d) = d**2 - 26*d + 158. Let c be f(9). Suppose 5*z + 5*l - 32 = -7, l = c. Solve z = s - 2*n - 7, n + 26 = -2*s - 3*n for s.
-3
Let c(w) = 601 - 328 - 446 - 16*w. Let o be c(-11). Solve -3*a = o*m + a - 18, 2*m = -4*a + 16 for m.
2
Suppose -6*v + 6 + 6 = 0. Suppose 4*y = -4*j - 16, v*y = -3*j - 19 + 7. Solve -5*m + 14 = -2*q, 2*q + 2*m = -y*q for q.
-2
