+ 15 = -j*s - 0 for q.
0
Suppose -5*h + 1425 = 5*x - 0*h, 5*x - h = 1437. Let m = x - 283. Solve 0 = -j + 4*u + 11, -m = -3*j - u - 10 for j.
-1
Suppose -48*a + 35*a = -65. Solve a*l + 40 = 3*d + 10*l, -2*l = 5*d - 35 for d.
5
Let f(y) = 65*y + 3004. Let k be f(-46). Let a = 21 - 6. Let r(w) = w**2 + 2*w - 5. Let l be r(-4). Solve 4*m + 3*z + k = 0, m + l*z = 8*z - a for m.
-5
Suppose -413 + 69 = -4*p. Suppose -18*y = -148 - p. Let d = -11 + y. Solve d*c + 27 = 3*s - 8*s, 2*s + 9 = c for c.
-1
Let f(l) = 7*l - 2. Let b be f(-1). Let o = b - -10. Let n = 8 - o. Solve -2*r = 10, -2*s - r = -0*s + n for s.
-1
Let t = -283 + 1158. Let v be 98/25 - (-70)/t. Solve -2*z = -v*j + 16, -4*z + 1 + 12 = j for j.
5
Suppose -5*t = -3*p - 294, p + 538 = 4*t + 5*t. Solve 0 = 4*g + 2*k, -59*k = -4*g - t*k for g.
0
Suppose -124*h = -119*h. Suppose -f - 5*b = -h*b - 19, 54 = 2*f + 2*b. Let l = -25 + f. Solve 0 = -l*j + 5*r, -4*j + 2*r = r for j.
0
Let z = -5910 - -5965. Solve -7*d = -5*n - z, -2*n - 19 = -3*d - n for d.
5
Suppose -119 + 316 = 16*i + 117. Solve -34*a + 30*a - 3*r = 2, -6 = -2*a - i*r for a.
-2
Let t(d) = -10*d + 2. Let b be t(-1). Let f(q) = q**2 + 72*q - 464. Let r be f(-78). Solve -r*s + 0*o = -o - b, -4*o + 12 = -s for s.
4
Suppose -461*o = -458*o - 3*u + 3, u = 3*o - 9. Solve 0 = 3*k + o*i + 23, 2*k - i + 5 - 7 = 0 for k.
-1
Let t be ((-9)/12 + (-143)/(-132))*6. Solve i - 4*p + 4 = 0, -t*p - 7 = 2*i + 1 for i.
-4
Suppose -3*t - 2*d + 13520 = 13487, 0 = -4*t + 5*d + 136. Let r(i) = i + 6. Let n be r(-6). Solve -3*x + n - 12 = -p, 0 = 2*p - 5*x - t for p.
-3
Let j be -2 - (-3)/(6/(-14)). Let c = 619 + -602. Let a = j + c. Solve -2*f = 4*u + a, f - 2*u = 3*u + 3 for f.
-2
Let z = 133 + -66. Let q = 71 - z. Suppose 3*k - 2 = r - 3*r, -16 = -q*k + 4*r. Solve -k*w - 3*l - 7 = 0, -w + 4*l = 2*w + 19 for w.
-5
Suppose 0 = -2*b - 3*m + 15, -12 + 2 = -2*m. Suppose b = -7*c + 5*c - 4*c. Solve 4*l = -c*q - q - 6, -q + 4 = -l for l.
-2
Let h be 264/10 + 8*(-8)/160. Suppose -6*j - 2 = -h. Solve n + 28 = -5*x, -4*x = x - j*n + 13 for x.
-5
Suppose 53 = -11*k + 348 + 68. Solve 0 = k*f - 31*f - 5*p - 13, 3*f - p = 0 for f.
-1
Let b = -237 + 235. Let v be (-551)/(-133) - b/(-14). Solve u - 2*y + v*y = -14, u + 19 = -3*y for u.
-4
Let p be (-8)/(216/(-285)) + 4 + (-224)/63. Solve p*k + 15 = 2*f + 6*k, 5*f = -4*k + 21 for f.
5
Let g be (12/(-42))/((-6681)/952 + 3 + 4). Solve 2*y + 2*n = -g, 7*n + 16 = 3*n for y.
-4
Let l(m) = -m**2 + 7*m - 8. Let i = -371 - -373. Let c be l(i). Solve 4*x - 2 = c*n - 26, 0 = -3*x + 4*n - 28 for x.
-4
Let y = -20 - -29. Let l be (-21)/y*(-3 + -9). Let z be (-1 - 5)/((-12)/8). Solve 4*k = -k + 15, z*s = -4*k + l for s.
4
Suppose 6*s - 45 + 15 = 0. Suppose -6*n = s*n. Let p be -2 + (-1 - -4 - n). Solve -16 = -4*j + 4*g, 0 = -0*j - j - 2*g + p for j.
3
Let u(z) = -3*z**3 - 134*z**2 + 38*z - 315. Let j be u(-45). Solve 2*b - o + 8 = 0, 63*b - 62*b + 5*o - 18 = j for b.
-2
Suppose 5*v + 535*j = 530*j + 65, -5*v - 2*j + 53 = 0. Solve 12*n = -w + 15*n + v, -5*w - 2*n + 11 = 0 for w.
3
Let y be 902 + -906 + (1 - -48). Let o = -12 - -27. Solve 5*t - y = 4*c, -c - 2*t = -2*c - o for c.
-5
Let z = 3071 - 3049. Solve 2*g - s + z = 7, 4*s + 48 = -4*g for g.
-9
Let i(w) = -2*w**3 - 24*w**2 - 18*w + 4. Let x be i(-11). Let h = 98 - 53. Let o = x + h. Solve o*b - s - 21 = 0, -2*s + 3*s = -1 for b.
4
Let y = 4443 + -4439. Solve 3*f - j + 0 = -2, j = -y for f.
-2
Let s(c) = -56 - 95 + 4*c**2 - c - 3*c**2 + 61. Let m be s(10). Solve 0 = -5*u - 3*r - 37, 2*u - 3*r + 4*r + 14 = m for u.
-5
Let v = -320 + 104. Let x = v + 126. Let p = 93 + x. Solve 2*s = 2*l + 4 - 0, -l = -p*s + 2 for s.
0
Let m = 135 - 135. Suppose t - 9 + 6 = m. Solve 2*q + 6 = 0, 4*i + q = -t*q - 20 for i.
-2
Suppose 2*y - 22 = -4*l, 8*l - 28 - 11 = -3*y. Solve -3*t = 3*c + 12, 10*c = l*t + 7*c + 6 for t.
-3
Let b be ((-14)/4)/(23/(-92)). Suppose b = 8*j - 18. Solve 9 = -4*c + 29, j*c - 24 = 2*t for t.
-2
Let d = -47 + 46. Let z be ((-2)/(-4))/((-3)/(-144)). Let p be 112/z + d/(-3). Solve -2*w = 2 - 0, -l = p*w + 5 for l.
0
Let w be ((-36)/(-21) - 2)/(1/(-7)). Suppose -w*o = 15 - 23. Suppose 2*u - o*u = 10, 4*u + 40 = 4*a. Solve -4*s + 16 = 5*p, s = 5*p + a - 1 for s.
4
Let y be 30/(-25)*(720/32)/(-9). Solve -y*i = -4*k, 2*k = -113*i + 108*i - 26 for k.
-3
Let y = 175 + -175. Suppose 2*w + y*w - 2 = 4*s, -3 = -2*w + 3*s. Solve -3*p + 5*r = -6*p - 16, -5*p + w*r = 4 for p.
-2
Let l = -260 - -524. Suppose 36 = 5*n - l. Let t = n + -34. Solve 4*z + 5*g + 30 = z, -4*z - 2*g = t for z.
-5
Let v be -3*((-3905)/1815 + 6/(-33)). Solve -2*w + v = u + 17, -4*u - 22 = 2*w for w.
-3
Let i = 1143 + -933. Suppose 0 = i*l - 205*l - 25. Solve -l*f - 9 = -h, -f - h + 5 = -4*f for f.
-2
Let o(l) = -9*l**2 + 51*l - 26. Let c be o(5). Solve 0 = -c*p - 3*h + 35, 5*p + 4*h + 0*h = 45 for p.
5
Let a(j) = -1 - 25 - 3*j + 11. Let r be a(-6). Let k = 1 + r. Solve k*d - 5*p + 0*p + 19 = 0, 5*d - 4*p + 17 = 0 for d.
-1
Suppose -4*c + 14 = -2*d, 5*c - 7*d - 22 = -3*d. Let y be 54*c*5/(-15). Let j = -21 - y. Solve 5*i + s = -s - 6, -j = 5*s for i.
0
Let d = 287 + -286. Solve -5*y = 2*x + 23, x + y = -6 - d for x.
-4
Suppose 2*z - t - 10 = 0, -192*z + 195*z = 5*t + 1. Solve 5*u + p + 2 - z = 0, 2*u - 2 = 3*p for u.
1
Let r = -1 - -1. Suppose -h - 126 - 45 = -20*h. Let f(k) = k - 8. Let x be f(13). Solve -g + 3*i = 7, -h = 3*g - x*i - r*i for g.
2
Suppose 22*a - 75 = 19*a. Suppose 2*v + 1 = -4*j + a, -5*j + 24 = 4*v. Solve 0 = -4*k - j, -k - k - 2 = -b for b.
-2
Suppose 36 = 4*y + 3*k, 11*k - 12*k + 56 = 5*y. Solve 2*a + 3*u - y = 0, 12 = 2*a + 4*u - 2 for a.
3
Let f be 1/(-15)*-15*(-3 - -7). Solve q - 29 = -f*z - 43, -9 = 3*z for q.
-2
Suppose m - 2*a - 9 = 0, 12 = 3*m - 47*a + 46*a. Solve -2*y + o = 1, 8*o - 5 = m*o for y.
0
Suppose 11*x + 10*x - 176 = -x. Solve 23*m - 20 = 26*m - 4*c, 3*m + x = -2*c for m.
-4
Let j(o) = -o - 11. Suppose 20 = -3*p - 25. Let s be j(p). Let g = 142 - 132. Solve -s*q - w + 3*w = -g, 4*w = 5*q - 17 for q.
1
Let j be (-9 + 6)/((4 + -6)/2). Solve -j*l - 9 + 4 = 5*m, -m - 14 = -2*l for l.
5
Suppose 58*l - 61*l = 2*x - 393, -4*l = x - 214. Solve 5*k + 2*s = -x + 213, k = -4*s + 9 for k.
5
Let w(z) = 2*z**2 - 2*z - 4. Let q be w(3). Let l = 10 - q. Let c = -439 + 443. Solve -4*o - 19 = o - c*t, 1 = -l*o - 5*t for o.
-3
Suppose 0*c = -50*c + 1350. Let y be (-34 + c)*4/(-14). Solve -6 = -2*o - 2*s, 5*s + 2 = -y*o + 17 for o.
0
Suppose 3*x - 34 = 32. Let r(q) = 3*q**2 - 9*q + 10. Let i be ((-16)/136)/(-1) - (-32)/17. Let m be r(i). Solve -5*z = m*c, -c - 7 = 5*z - x for c.
-5
Suppose -1708 = -3*f + 7*f. Let r = -421 - f. Solve 3*x = -2*c + 6, 3*x - c + 6*c = r for x.
2
Let a = 356 + -354. Suppose 4*y = 3*g - 7, -g + 4*y = a*y - 1. Solve 3*f = -2*f + g*n, -f - 2*n = 0 for f.
0
Let v = 28718 + -28717. Solve -4*n + v = -2*w + 7, 12 = 4*w - 4*n for w.
3
Let u = 97 - 93. Let b(o) = o**2 - 2. Let y be b(1). Let k be (-2)/(-4) + y + (-30)/(-12). Solve f + k*m + 2 - 7 = 0, 3*m - 35 = u*f for f.
-5
Let i = 129 + -123. Suppose -4*j = -4*x + 6*x + 12, 0 = 5*x + j - i. Solve 3*m = -x*u + 2, u + 0*u - 8 = 2*m for m.
-2
Let k be -77 - -79 - -1*(-97 - 1). Let v be k/(-45) - (-20)/(-150). Solve 0 = -3*y + 6, 2*h + y + v = -0*h for h.
-2
Let h = -2849 - -2854. Solve 4*n = h*r + 15, 3*r - 3*n = -2 - 7 for r.
-3
Let z = 588 - 586. Let o be (3 - (0 + z))*3. Solve -3*i = -2*d - 8, 6*d + 2 = 2*i + o*d for i.
4
Suppose -7*k - 10*k = -340. Let l be -3 + (k - (2 + 1)). Solve h + 2*v - l = 0, -v + 20 = 5*h - 5 for h.
4
Let t be 4/(-34) - (-3)/((-408)/(-16)). Solve -6 = -4*d - r - 14, t = 5*d - 5*r + 60 for d.
-4
Suppose 0*u + 19*u - 152 = 0. Solve -14 = -2*f - 5*k + u*k, -2*f - 2 = 5*k for f.
4
Let l(f) be the second derivative of f**5/20 - 11*f**4/12 + 7*f**3/2 - 25*f**2/2 + 4*f - 9. Let u be l(9). Solve 2*g - 8 = 0, 2*t + 4 = 4*g - u*g for t.
2
Let u = 4 + 4. Suppose -4*s - 12 = -u*s. Suppose 76 = s*c - 3*g - 26, c + g - 28 = 0. Solve 7 = -3*v - 2*h, 4*h - c = 2*v + v for v.
-5
Let a(w) = -w**3 - 7*w**2 + w + 11. Let k be a(-7). Suppose -2*z + 6*z - i - 49 = 0, -5*i = -k*z + 53. Solve -5 = -t - 4*t, -5*o + z = -3*t for o.
3
Suppose 3*a - 5*g = 29, 2*a - 4*g = -5*g + 41. Suppose 0 = -20*k + a*k + 6. Let x = 0 