+ f*o = 12 for i.
-1
Let d(r) = r**2 - 16*r + 3. Let y be d(19). Suppose -9*m = -13*m + y. Suppose 0 = -j + m + 10. Solve 0 = 5*w - 3*w + 3*b + 13, -j = 5*b for w.
1
Suppose -18*r = 4*r - 594. Solve 0 = 3*i + 3*h - r, 3*i - 4 = -i + 4*h for i.
5
Let j be -3*34/(-6)*-1. Let f = j + 20. Solve -2*c + g = 3*c + 2, -f*g = 4*c - 6 for c.
0
Let o = -371 - -371. Solve o*a = -4*d - a + 17, 5*a - 22 = d for d.
3
Let k be ((-1)/3)/((-2)/954). Let j be k/33 - (-4)/22. Suppose -4*u + j = 1. Solve -3*i - 17 = 2*h, -h + 4*i = -u - 7 for h.
-4
Suppose 3*b - b - c = 46, -2*b - 3*c + 46 = 0. Suppose 6*s + 169 + b = 0. Let u = s - -35. Solve -r - 8 = 2*v + u*v, -2*v + 2*r - 8 = 0 for v.
-2
Let r be (-2 + 65)/7 - 6. Solve 0 = 5*l - 2*y, -5 = 2*y - r*y for l.
2
Suppose x + 5*w = 11, -5*x - 8 = -w + 15. Let a be 18/12*x/(-1). Suppose -24*f - a = -26*f. Solve 0 = -5*g + 3*j - 11, 0*j = -f*g + 3*j - 3 for g.
-4
Let y be (15/10 - 2)*-1*4. Suppose 2*p - 28 = -y*j, p + 31 = 2*j - 0*p. Solve -j = -3*g - 4*i, 5*g + 3*i = 4*g + 5 for g.
5
Suppose -12*u + 323 + 109 = 0. Solve -4*d - 4*g = 4, -3*d - u = d - 4*g for d.
-5
Let h(b) = 2*b + 54. Let f be h(-24). Solve 0 = 5*s + 3*k + 2*k, -5*s = 3*k + f for s.
-3
Suppose -k - 4 = -3*g - 2, -4*g - 1 = -5*k. Let p be (-343)/(-8) + (-12)/(-96). Let u = p + -20. Solve -k = i - n, 3*i + 3*n - n + u = 0 for i.
-5
Suppose 49*d = 30*d. Solve 2*w + d*z - 2*z + 14 = 0, 3 = -3*w - 3*z for w.
-4
Suppose f - 5*j = -20, -4*j + 7 = -9. Suppose 3*z - 773 = -5*p - 0*p, p - 141 = -4*z. Let h = -142 + p. Solve 5 = 4*u + 2*i - h, f = i - 2 for u.
4
Let a be (-44)/8*(-7 - -3). Suppose 3*q = 3*h - 0*h + 18, -5*q + 3*h + a = 0. Solve -q*b + 18 = -2*l, 2*l = l + 5*b - 25 for l.
-5
Let d = -1600 - -1609. Solve g + j + 0 + 5 = 0, 3*g = 3*j - d for g.
-4
Suppose 5*a - 3*o = -12, a - 12 = 4*a - 3*o. Solve -5*t + 7*t - 2 = 2*j, -2*j + 3*t - 3 = a for j.
0
Suppose 5*m + 3*r + 23 = -16, -5*m = -2*r + 49. Let l be ((-12)/1)/(m/(-27)). Let z be (-1)/(40/l - -1). Solve -4*y - 4*p - p = 27, 4*p + z = y for y.
-3
Let u = 17 + -15. Suppose 3*r - h = 2*h + 27, u*r + 5*h = -17. Solve 4*l - 4 = -r*x, 0 = 4*x - 0*x + 3*l - 3 for x.
0
Let p = 37 + 123. Suppose -p = -0*r - 4*r. Suppose 0 = -3*l + 9, 3*z = 5*l + 10 - 19. Solve 2*u = z*w + 12, 3*u = 5*w + r - 12 for w.
-5
Let a be -2*(-2 - (1 - 1)). Suppose 3*i - 5 = -a*n + 20, -2*n + 2*i + 16 = 0. Solve 2*u - u + n = w, 2*u + 18 = 3*w for w.
4
Let k = -1 - -25. Let d = -12 + k. Suppose 28*x = 31*x - 15. Solve -4*i = d, 0 = -3*y - x*i + i - 21 for y.
-3
Let a(q) = 5*q**2 - 36 + 7*q**2 + 3*q**3 - 4*q + 0*q**2 - 2*q**3. Let h be a(-12). Solve -h = 4*d + 3*s, 0 = -0*d - 3*d + 3*s + 12 for d.
0
Let j = -18 + 25. Suppose -j*b + 2*b = -20. Suppose -3*y = b*q - 0*y + 3, -5*q - 5*y - 5 = 0. Solve 4 = 4*x, 4*d + 5*x = -q*x - 15 for d.
-5
Let h(m) be the third derivative of 0*m + 1/12*m**4 - 2*m**3 + 7*m**2 + 0. Let x be h(6). Solve 0 = -a - c + 2, -5*a + 2*c - 3*c + 14 = x for a.
3
Let t(u) = -u**2 - 5*u + 7. Let h be t(-6). Suppose -25*i + 27*i = 10. Let g = h + i. Solve -p + 12 = 2*y - g*p, -4*y - p + 2 = 0 for y.
1
Let t = -6 - -14. Suppose -t*n + 11 = -29. Solve 2*y = 4*g + 4*y - 4, n*y = g + 21 for g.
-1
Let v(w) = -w**3 - 3*w**2 - 2*w - 6. Let a be v(-3). Let o be (-2)/7 + 111/21. Solve o*d + 5 = -4*s, -5*d + a*s - 5*s = 10 for d.
3
Let q be -29*2*1/(-2). Let c = q - 18. Let u(m) = m - 6. Let o be u(c). Solve 2*y - 1 - 3 = 0, o*y + 10 = -5*n for n.
-4
Let y = -32 - -46. Suppose 2*w = y + 22. Let p = w + -15. Solve -4*f = 2*b, -4*b - 10 = p*f - 0 for f.
2
Suppose -4*h + 38 + 58 = 0. Suppose -4*o = 2*f - h + 8, -4*o + 16 = -4*f. Solve -o*n - 8 = 0, -5*i + 4*i - 3*n - 9 = 0 for i.
-3
Suppose -4*w = r + 522, -11*w + 16*w = -2*r - 654. Let d = w - -132. Let z = 2 + 3. Solve z*g - 8 = 3*j, -4*g - d*j = 2*j for g.
1
Let h = 45 - 12. Let s = h + -28. Suppose -g = -d - 4, s*g = 4*d + 1 + 19. Solve -3*u + 2*n = -2*n - 29, 0 = g*u + 3*n + 3 for u.
3
Let v(h) = -h**3 + 3*h**2 + 5*h - 2. Let t be v(4). Let i(n) = -5*n. Let q be i(1). Let k = 9 + q. Solve -3*j = -0*u - k*u - 26, -u - 1 = t*j for u.
-5
Let g be 4/(-10) - 3/5. Let o(u) = -15*u + 1. Let m be o(g). Solve 0 = 2*k - 8, -3*p + 5*k - m = p for p.
1
Suppose -80*x + 75*x = -10. Let o = -8 - -15. Solve -x*b + 2 - o = -g, 12 = -4*g for b.
-4
Suppose 3*d + 51 = 5*c, -3*d = 2*d - 2*c + 85. Let m = -16 - d. Let q = m - -2. Solve 3*f + 4*j = -23, -q*f + 4*f - j + 3 = 0 for f.
-5
Let c(i) = -i + 1. Let a(k) = 4*k - k**3 - 2 - 3*k + 4*k - 3*k**2. Let h be a(-4). Let u be c(h). Solve 0 = 2*y - 3 + u, 6 = -4*m + 5*y for m.
-4
Let l be (2/(-32)*-12)/(2/8). Solve 4*d = 4*o + l + 5, -2*o + d + 1 = 0 for o.
3
Suppose 5*j = x - 166, -3*j - x = -2*x + 100. Let i = j + 34. Let k(a) = -a**3 - a + 4. Let p be k(0). Solve 3*q - i - 1 = -5*z, 0 = -z + 3*q + p for z.
1
Let m = 240 - 236. Solve f = u, -3*u = 2*u - m*f for u.
0
Suppose 4*n - 2*i = -4*i + 124, -5*n - 3*i + 156 = 0. Let l be (36/n)/((-3)/(-10)). Solve 9 = -3*x - 3*u, 2*x + 2*u + 2 = l*u for x.
-2
Let j be (0 - 3)*3/(-3). Suppose -2*k + j = k. Solve -4*a + u = 21, -2*a - 3*u - k = 2*a for a.
-4
Suppose -67*g + 71*g - 22 = -2*s, -s = -g + 1. Solve -4*n = 2*k + 2, -k + 4*n + 14 = -s for k.
5
Let p be (-3)/(1 - -5)*-4. Let i be p - (3 + (-5)/1). Solve 3*m - 5*r = -4, m - i*r = -r for m.
-3
Suppose 107*t = 133*t. Solve 2*d + 5 = -3*a, t = -3*d - 8*a + 12*a + 35 for d.
5
Suppose -205 + 61 = -9*o. Solve -4*k - 4*d - o = -2*d, 4*d = 4*k + 16 for k.
-4
Suppose 12*p - 49*p = 12*p. Solve -4*x + 3*v = -5, 4*v + 0 - 4 = p for x.
2
Suppose -5*l + 5 = -2*q - 5, 10 = -l - 2*q. Solve h + l*n + 2 = -4*n, -4*n = 4*h - 4 for h.
2
Let z be (0 + -1)*(-288)/96. Solve n + 5 = 2*n + z*u, 0 = 2*n + 3*u - 10 for n.
5
Let s be 48/108 + (-28)/(-18). Solve -f + 4*c + 0 + 11 = 0, 2 = -2*f + s*c for f.
-5
Let r be (21/(-4))/(2/(-8)). Suppose v - 4*v = -r. Suppose t - 2*t + v = 0. Solve x + 4*w = t, 2*x + 1 = -4*w + 3 for x.
-5
Let k(r) = 68*r - 338. Let f be k(5). Solve -4*w = 3*b + 12, -f*w - 12 = b + 2*w for b.
0
Let x = 4 + 3. Suppose -9 = -4*r + x. Suppose -3*s + r = -5. Solve 0*q - q = -2, s*f + 6 = 3*q for f.
0
Let g be (25 + -23)/((-2)/(-4)). Suppose -2*q - 2*q - 12 = 2*s, 8 = -4*s - 4*q. Solve c - g*c + 3 = 3*l, s = c for l.
-1
Let n be 9/(81/48) + 2/3. Suppose 20 = 10*r - n*r. Solve 4*o + 15 = -2*b + 9*o, 5 = r*o for b.
-5
Suppose 0 = -9*c - 76 + 1021. Let q = 123 - c. Solve -4*k = 4*f - 2*f - 12, -4*f + q = 5*k for f.
2
Let r be 2280/200 + 4/(-10). Solve -3 = -4*y - x - r, 0 = -y - 2*x - 9 for y.
-1
Let p be (1 - -1)/(3 + (-106)/36). Let n = p + -31. Solve -3*i + 1 = -2*x, n = 5*x + i + 16 for x.
-2
Suppose -7*u = -43 - 153. Let n be (2 + 5)*16/u. Solve z = -n*s - 1, 3*z + 4*s = 4*z + 1 for z.
-1
Suppose 3*k + 4*r = 0, 0*k - 5*r = 4*k. Let m = 431 - 280. Let j = m + -147. Solve k = 5*l - j*u - 31, u - 20 = -4*l + 3*u for l.
3
Let b be (90/54)/((-5)/(-18)). Solve 5*p - b - 6 = m, 0 = 4*m + 5*p - 27 for m.
3
Suppose -10 = 4*m - 18. Solve 3*u = -m*q - 0*u + 3, 4*q - 3 = -5*u for q.
-3
Let k = -240 + 257. Solve 0 = v - 0*n + 4*n - 1, -k = -4*v - 3*n for v.
5
Suppose -3*g = 2*f - 19, 0 = 2*g - 6*f + 5*f - 8. Solve 6*d = d + 15, g*v + 27 = 4*d for v.
-3
Let o(h) be the third derivative of -h**5/60 + 3*h**4/8 + h**3/2 - 3*h**2. Let t be o(9). Solve t*z = 3*p + 21, -4*z + 19 = -0*z - p for z.
4
Suppose 23 + 14 = t - 3*p, 0 = -3*t - p + 111. Suppose t = -11*b + 323. Solve 0 = 5*r - 2*v + 10, -2*r - 4*v - b = 2 for r.
-4
Let v be (-14 - -8)/(-7 + 4). Solve 4*m - v = 3*j, -3*j = 4*m - 2 + 12 for j.
-2
Let y(g) = g**2 - 10*g + 13. Let w be y(9). Let p = -4 + w. Suppose p*o - 4*o + 24 = 0. Solve 2*c - 3 = r, 0 = -o*r + r + 25 for c.
4
Suppose 568*b + 138 = 574*b. Solve -6*j + 5*k - 35 = -j, 5*k = 2*j + b for j.
-4
Let g(o) = 3*o**2 + 4*o + 2. Let u be g(-1). Solve -4*q - 5*i = -17, 3*q - 5*i - 3 = u for q.
3
Suppose -3*x = -6, 14 = -u + x - 15. Suppose j + 2*z = -8, -92 = -j + 5*j - 4*z. Let m be j/u + (-4)/(-3). Solve 5*h - 3*i + m = -0*i, i - 1 = 2*h for h.
-1
Let v(f) = f**2 + 16*f - 21. Let x be v(-19). Let p = x + -23. Solve -s - p = -3*g, -3*s = -2*g + 7*g - 17 for s.
-1
Let t be 0/(-1 + (2 - 4)). Suppose 2*m + m = t. Solve -w + 2*a - 2 = -m*w, -5*w - 5*a = 25 for 