+ 12, 0 = 3*p - 2*l - 8 for p.
0
Suppose -48*j = -1627 + 1387. Solve 0 = -a + j, 0 = 3*t + t + 3*a - 19 for t.
1
Let i = -48 - -64. Suppose 5*v - i - 34 = 0. Solve v = 5*j + 5*m, -m + 4*m = 5*j + 22 for j.
-2
Let z(s) = -4*s + 63. Let m be z(15). Let c be 7 + -12 - m/2*-18. Solve 5*g - 2*g - c = -4*y, -3*g + 3*y - 6 = 0 for g.
2
Suppose -10*k = -15 - 25. Suppose k*r - 308 = 18*r. Let g be 4/(-10)*(17 + r). Solve 0*v + 3*x = 4*v + 1, -g = -3*v + 5*x for v.
-1
Let v be (321/4)/(24/96). Let z = v + -319. Solve -8 = 5*u + 2*g - 38, 3*g - 23 = -z*u for u.
4
Let v be (-238)/(-49) + 24/(-28). Solve -v*y = -3*g - 2*y + 17, y = g - 6 for g.
5
Let f = -17555 - -17570. Solve 2*y + 5*u = -11, 0 = -2*u + 7*u + f for y.
2
Let w be ((-15)/2)/(((-21)/(-10))/(-7)). Suppose 5*a + 4*b - w = 6*b, -5*b - 40 = -5*a. Solve -5*q + 2 = 2*v + 11, -q + 5 = -a*v for q.
-1
Let o = 807 - 803. Solve 2*u - 5*a + 14 = 0, -2*a - 14 = 5*u - o*a for u.
-2
Suppose 0 = -4*o + 5*o - 3. Suppose -5*p - 4*w + 213 = -0*w, -5*p + o*w + 234 = 0. Suppose p*f - 3 = 44*f. Solve y - n = 0, f*y + n - 3*n = -5 for y.
-5
Suppose 35 = 5*g, -4*a - 111*g = -108*g - 29. Solve 3*o = -t + 13, a*t + 27*o + 1 = 30*o for t.
4
Let p be ((6 - (-12)/(-6))*(-55)/(-154))/((-2)/(-7)). Let j(q) = q**3 + 6*q**2 + 4*q - 3. Let o be j(-5). Solve o*r + 3*r - 5*f = 15, 25 = -p*f for r.
-2
Let t be (-4)/(-1)*(2 + -1). Let r(v) = -2*v - 8. Let o be r(-6). Let z be -4*((-6109)/1788 + 10/6). Solve -5*j - m - t = 0, 2*m = -o*j + 5*m - z for j.
-1
Let r be (-5 - (8 - 189/14))*0. Solve -3*h + 17 = -5*t, r = 9*t - 13*t - 16 for h.
-1
Let w = -2894 + 2898. Solve w*l - 17 = -5*q, 11*l - 9*l - 1 = 5*q for l.
3
Let a = -443 + 455. Suppose 0 = -14*h + 376 - a. Solve -5*y - 2*o - 16 = -y, -4*y + 3*o = h for y.
-5
Let h(c) = 4*c**3 - 6*c**2 + 4*c - 11. Let r be h(2). Solve 0*y - u + 10 = -2*y, r*u = -y + 17 for y.
-3
Let a(h) = -h**2 - h**3 - 74 + h**3 - h**3 + 71. Let g be a(-3). Suppose 5*p + g = 40. Solve -p*l - r - 19 = 5, -3*r - 24 = 3*l for l.
-4
Suppose 28*m - 66*m = 34*m - 1512. Solve 5*d = -4*h - 7, 12*h - 9*h = 5*d + m for h.
2
Suppose t = -5*o + 12 - 4, 0 = -4*o. Let n(i) = t - 4*i**2 + 2*i**2 - i**3 - 3 + 5*i + 3*i**2. Let c be n(3). Solve -v = -2, -5*v + 5 = c*k - 3 for k.
-1
Suppose 0 = 12*f - 36*f + 7*f. Solve f = 5*q - 5*x + 40, 5*q + 4 = -0*q - 4*x for q.
-4
Suppose -75 = -4*s + 5. Let v = 239 + -236. Suppose -3*r - u - 4 = 0, 2*r - 2*u - v*u - s = 0. Solve r*d + 20 = -4*d, -d - 9 = -p for p.
4
Suppose 2*r - 6 = 2*o, 0 = -3*r - o + 2*o + 13. Let l be (6 + 11 + 1284)*-1. Let x = 1301 + l. Solve x = r*b + 2*i - 2, -2*b = -3*i + 2 + 1 for b.
0
Let z be -103 + (-1 - (-5 + 4)). Let w = z + 106. Solve 27 = -5*k + y, y + 29 = -5*k + w*y for k.
-5
Let j(l) = l**2 - 31*l + 223. Let y be j(22). Let u = 2 + 0. Solve u*x - x - y = -5*n, -17 = -3*n - x for n.
4
Let q(l) = l**3 + 4*l**2 - 12*l + 8. Let x(a) = a**2 - 27*a + 44. Let d be x(25). Let s be q(d). Solve 0 = 4*g + s, 0 = -5*i + 3*g + 2*g for i.
-2
Let t(r) = 553*r - 5 - 555*r - 6. Let f be t(-8). Solve -3*s + 15 = -2*b - b, s = -f*b + 5 for s.
5
Let s be (-21)/(-98)*66/9 - 3/(-7). Solve h + s*t = 10, 2*t = 2*h + 5*t - 16 for h.
2
Let f(l) be the second derivative of -l**5/10 + l**4/3 - l**3/2 + 7*l**2/2 + 52*l. Let p be f(2). Solve 4*z = -5*g + p, -6 = -z + 3*g + 7 for z.
4
Let c = 2589 - 2587. Solve 3*d - 25 = c*k, -3*k - 3*d = -0*k for k.
-5
Suppose 91*t = h + 86*t - 6, 10*h = -3*t + 219. Solve h*u = 25*u + o - 2, -u + 5*o = -11 for u.
1
Let t(j) = -33*j - 65. Let k be t(-5). Suppose -k = -5*n - 40. Let h = 32 - n. Solve -33 = -4*r - 5*p, -5*r + 0*p - 2*p = -h for r.
2
Suppose 418 = 2*s + 2*g, 3*s - 4*g + g = 621. Let i = s + -208. Solve u + 3 = -m + 3*u, -m + u + 1 = i for m.
5
Let y be 6/(-9) + 142/(-3). Let m = -23 - y. Solve -4*a - 3*b = b - 28, -5*a + m = 3*b for a.
2
Let d = -18354 - -18543. Solve c - d + 172 = 5*q, 4 = -c - 2*q for c.
2
Suppose -4*n = 5*y - 10, 4*y - 4*n - 8 = -7*n. Suppose z + 10*v = 11*v + 10, -y*z - 3*v = 5. Solve -2*a = -2*u, -z*u = -2*u - 2*a + 1 for u.
-1
Let s = 42 - 117. Let x = s - -77. Solve -h = -x*c - 2, 4*h - 30 = -5*c - 9 for h.
4
Let f = 8736 + -8732. Solve 0 = -q - 1, 9*v = 5*v - f*q - 24 for v.
-5
Let q(x) = -x - 3. Let a be q(-8). Let v = -79 - -47. Let i = 53 + v. Solve 2*t + 2*t = 12, 0 = 2*s - a*t + i for s.
-3
Let d be 5/(-3) - 1785/(-315). Solve -5*t = 5*u + 10, -t + 4*u = -d + 1 for t.
-1
Let u = 4942 - 4937. Solve 0 = u*w + 15, -2*d - 5*w = 8 + 3 for d.
2
Let d be (-2)/(-2) + 2*-12. Let r = d + 21. Let h be (3/(12/(-8)) - r)*1. Solve 5*v - 7 = -3*u, h*v + 14 = 2*v + 4*u for v.
-1
Let s be (4 + 1)*(-15)/(-25). Let t = 106 + -61. Let r be t/(-9) + (4 - (-5 - -2)). Solve -q + r*g = -s, -g = -4*q - 0*g + 12 for q.
3
Let d = -232 + 236. Suppose -5*v - d*t = -23, 3*v - t = -v + 10. Solve -4*x = -5*u - 13, -3*u + v*x = -2*x for u.
-5
Let t be 1 + 2/(-2 - 0). Suppose -2*h + t = -8. Let u be (20 - 29) + 17 + -6. Solve -5*y = -o - 11, -26 = -h*y + u*y - 5*o for y.
3
Let p = 22654 - 22650. Solve 15 = p*c - t, -c - 17*t = -18*t for c.
5
Suppose 5 = -j + 5*w, -237*w + 7 = j - 239*w. Solve -2*v - n = -6, 196*v - 191*v + 3*n = j for v.
3
Let a be ((-588)/56)/(18/(-12)). Solve 8*s = -z + 6*s + a, 4*z + 3*s - 8 = 0 for z.
-1
Let h = 64 - 63. Suppose -3*f - h = -10. Suppose -4*q + 43 = 5*j - 28, 3*j + 33 = f*q. Solve 5*g + y - q = -y, g + 3*y = 8 for g.
2
Let p(t) = -t**3 - 16*t**2 - t - 6. Let v be p(-16). Solve -5*o - 5*g + 15 = 0, -8*o + g = -v*o + 4 for o.
1
Suppose 0*f - 68 = 2*f. Let s = 48 + f. Let w = 148 - 146. Solve -q = 3*h + s, 4*q - 3*h = 17 + w for q.
1
Let s = 7 + 3. Suppose -8*o = s*o - 90. Suppose 10 - 40 = -o*g. Solve 3*c = -j, 5*j - 4 = -5*c + g for j.
3
Suppose -3*a + 12*x + 3 = 16*x, -4*x = -4*a + 32. Solve 31*i - 33*i + a*u + 4 = 0, 5*u = 4*i + 2 for i.
-3
Let v(g) = -26*g - 65. Let p be v(-3). Suppose -24*j + 222 = p*j. Solve 4*c + 3*i + 20 = 0, 0 = -j*i + 2*i for c.
-5
Let d be 0 - (-3 + 0 + 1). Let m(a) = 16*a + 21 + a**2 - 4 + 0*a**d. Let l be m(-15). Solve -4*h - 14 = -2*j, 3*h = -4*j + 8 - l for j.
3
Let x = 132 - 12. Let v be ((-2)/3 - -1)/(8/x). Solve 0*o = 2*p - o - v, 0 = -3*o + 15 for p.
5
Let r be 754/18 + (-3)/(-27). Let y = -27 + r. Let x = 17 - y. Solve k = 3, -5*f - 19 = -5*k + x*k for f.
-2
Suppose -18*u = -22*u + 3*f - 4, 6 = -3*u + 3*f. Solve 4*z + 2*g = u, 3*z + 6 = -g - 2*g for z.
3
Let r(z) = -z**2 - 15*z + 59. Let a be r(3). Solve 5*u + 3*b - 5 = -26, u - a*b - 7 = 0 for u.
-3
Let i(k) = -k**3 + 22*k**2 - 21*k + 19. Let v be i(21). Solve 22*m - v*m = -3*q, -4*m = 12 for q.
3
Let f be 396/90 - (-1 - 6/(-15)). Solve 8*y = f*z + 4*y - 6, -2*z + 3*y + 1 = 0 for z.
2
Suppose 26*k - 937 = -755. Solve -y + k = p, -89*p = y - 94*p + 17 for y.
3
Let x(k) = -k**2 + 16*k + 19. Let i be x(17). Suppose -159 - 7 = -i*n. Suppose -77 + n = 2*h. Solve 6 + 2 = 4*t + 4*u, h*t = 5*u - 10 for t.
0
Let d = -3 + 5. Let u be (5 - (35/(-2))/((-350)/280))*10/(-6). Solve 2*b = -5*x - u, -d*b - 5 = -b for x.
-1
Let j be 3/((-410)/(-260) - 2/26). Solve -l = -2*z + 2, -3*z - j*l - 9 = 2 for z.
-1
Suppose -1098*j = -3*l - 1094*j - 14, -25 = -5*j. Solve -5*p + z - l*z = 7, 5*p + 4*z = -13 for p.
-1
Let p be (-14)/231 + (-10)/(-165). Solve -4*u = -x - 21, -x - 2*u = -p*x - 3 for x.
-5
Let w(r) = -r**3 + r**2 + 4*r + 10. Let j be w(3). Suppose -2*m = -51 + 17. Solve -3*h - j*t = -6*h - 31, 0 = h - 3*t + m for h.
-5
Let c(o) = -7*o**2 + 19*o - 9. Let b(a) = 13*a**2 - 37*a + 19. Let p(w) = 6*b(w) + 11*c(w). Let r be p(12). Solve 2*n + 12 = s, r*n - 8 = -5*s - 0 for n.
-4
Suppose -8*b = 3*b - 143. Suppose 0 = 3*v - c + 3*c - b, 0 = -2*v + 4*c - 2. Solve -v*h - 1 - 25 = -5*w, -5*h - 22 = -3*w for w.
4
Let j be 126/12*24/9. Suppose j*c - 16*c = 0. Solve 3*d + 5*a - 15 = 12, -3*a + 9 = c for d.
4
Let y be ((-16)/(-28))/((1/7)/(7/14)). Let r = -3 - -11. Suppose 4*j = -2*v + r, 5*v = -y*j + 3*j - 2. Solve -3*g = j*t + 6, 2*g = t - 4*t - 4 for g.
-2
Let d be (-9)/4 - 18/24. Let y be 1/d*-9 - 0 - 1. Solve 2*k = 6*k + 2*z - 8, -y*k + 5*z = 8 for k.
1
Suppose 11*a - 72 = -a. Let i be -3*(2/a + 30/(-18)). Suppose -s = -4*v + 115, 3*v - i*s - 99 + 29 = 0. Solve -t + 2*w + 8 = 0, -3*t - v = 2*t + 4*w for t.
-2
Suppose 0 = -4*w - 5*c +