2 = t*p, 0 = g*i + 2*p - 11 for i.
3
Let v(a) = a**3 - 12*a**2 + 2*a - 18. Let f be v(12). Suppose z = -p + 7, 4*z - 4*p - 26 = -f*p. Solve 2*m - 2 = -2*j - z, 0 = 2*m - 6 for j.
-5
Suppose -232*b + 458 = -702. Solve -3*n - 4 = -s, 0 = -0*s + b*s - 5*n for s.
-2
Let r be 1798/372 - (48/64 - 22/24). Solve 0 = -77*n + 73*n - 3*l + 25, 0 = 3*n + r*l - 27 for n.
4
Suppose -12*o + o = -407. Let c = o - 30. Solve 2*x - c*x - g = 20, 0 = -3*x + 5*g - 12 for x.
-4
Suppose 549*d + 60 = 564*d. Solve 0 = -3*z - 12, d*h + 53*z - 55*z = -4 for h.
-3
Suppose 2*r - 18 = 10. Suppose -r = -c + 16. Suppose 10 + c = 5*b. Solve -b = f - 2*q, 0 = 2*f + 3*q - 13 + 1 for f.
0
Let h be (-3 + -75)/((-14)/(-28)). Let g = 173 + h. Solve w = 3*a, g = 4*w - 2*a + 7*a for w.
3
Let y be ((10 - 14 - -4)/2)/(1 + 1). Solve -20 = 4*h, -5*l + y*h + 15 = -2*h for l.
1
Let d be 45/10 - 2/4. Suppose -2*h - 61 = -5*z, -41 = 4*h - 5*z + 56. Let i be (-9)/h*(-20)/(-2). Solve i*y + 5*o - 10 = 0, d*o - 4 - 10 = -2*y for y.
-3
Let n = 5 + 20. Suppose 97*q - 618 = -83*q - 26*q. Solve 0 = -5*m - 5*j + n, -m + 4*j = q*m + 12 for m.
1
Suppose 31*x - 27940 = -13*x. Let p = -632 + x. Solve -4*q = -4*h, 4*q = -p*h + q + 30 for h.
5
Suppose n - 3*q = 1 - 13, -2*q + 8 = -2*n. Let t(g) = 2*g**2 - 2*g + 2. Let a be t(n). Solve -3*k + 3*w + 13 + 11 = 0, -a*w = 6 for k.
5
Let u be 32 - (12/(-12) + 15). Solve -22 = 4*k + 5*p, 0 = -u*k + 15*k - 5*p - 24 for k.
2
Suppose 0*g = g + 3. Suppose 0 = -o + x - 1 + 7, 5*x + 10 = 0. Let t be (1 + g)*(-10)/o. Solve -2*l + 5*a + 0 = -3, t*l - a = -4 for l.
-1
Suppose -2*h + 4*v - 18 = 2, 65 = -3*h - v. Let x be (5/4)/((-5)/h). Solve 2*c = 5*o - x, -3*c + 2 = 2*c + 2*o for c.
0
Suppose -42 = -5*w - 7. Let s = w - -3. Let p = 20074 + -20072. Solve 5*x - k = s, -p*k - 5 - 3 = 2*x for x.
1
Suppose -24 = -2414*w + 2402*w. Solve l = 3*b, -49*b + 44*b = -w*l + 1 for l.
3
Suppose -h + 5 = j, 4*j = 2*h + 12 - 40. Solve -16 + h = 5*m - 3*s, 0 = -2*m + s - 3 for m.
-1
Suppose -2*k = -6 - 4, 3*d - 5*k = 2306. Let w = 792 - d. Let q be 2/4 - 7/(-2). Solve q*b - 6*x = -2*x, -3*b - w = 2*x for b.
-3
Suppose -31 = -3*y + 23. Suppose -3*f - 6*f = -y. Solve 0 = f*p - 2*i - 2, 5*p = -0*p - 4*i + 14 for p.
2
Suppose 0 = -2*f + 5*l - l - 534, -2*l = 4. Let m = -267 - f. Solve -3*d + m*d = -o + 2, -d = 2*o - 2 for d.
2
Suppose -54 = -5*u - 2*q + 4*q, 4*u - q = 42. Let l(a) = -a**2 + 11*a. Let o be l(u). Suppose -4 - 46 = -o*g. Solve -3*x = 5*k - 0 + 4, -x + 2 = g*k for k.
1
Let i = -1834 - -1836. Suppose 5*g - 12 = 13, -4*r - g + 25 = 0. Solve -3*j + i*b + 2 = -4*j, -2*j = r*b + 7 for j.
4
Let k = -167 - -201. Suppose 6*y - k = 50. Solve 2*c = 2*b + y, 5*b - 2*b = -4*c for c.
3
Let q be ((-6)/(-1))/((-1)/(-6 + -1)). Suppose -13*u = -16*u + q. Suppose -9*p = -u*p + 100. Solve 6 - 14 = -5*o - 2*j, 5*j = p for o.
0
Let s = 23740 - 23735. Solve -3*h - s*t + 7 = -9*t, 2*h + 2*t + 14 = 0 for h.
-3
Let v(q) = 7*q - 39. Let c be v(6). Suppose -c*n + 59 = 4*z, -24 = 2*n - 4*n + 5*z. Let r = 153 + -153. Solve m + 5*k = -n, -3*m + 2*k - 3 + 20 = r for m.
3
Let o be 88/40 - (-1)/(-5). Suppose 4 = o*f - 0*f. Let p be -2 + 2/f + (7 - 2). Solve -l + 5*y - 21 = -0*l, p*y = 20 for l.
4
Let j(i) = 21*i - 1384. Let n be j(66). Solve -2*w - 2*l = 6, -n*w = -2*l - 17 + 3 for w.
2
Suppose 410 + 48 = 72*w - 190. Solve 5*c + 3*v = 4*v + 5, v = -2*c + w for c.
2
Suppose 0 = 3*c - 7*c + 28. Suppose -x - 1 = -3*f, -5*f - x = 8 - 7. Suppose f = c*u + 13 - 48. Solve -z - 2 = u*s - 3, 0 = -5*s + 5*z - 5 for s.
0
Suppose 19*c = -8 + 46. Suppose 3*z = -z + 16. Suppose 5*n = f + 36 - 12, 4*n + 3*f = z. Solve -2*p - 13 = -3*u - 4, 2*u - n*p = -c for u.
5
Let p be (115 + -2)*((-9 - -15) + -9). Let z = p + 344. Solve 0 = v - n - n - 10, 0 = -4*v + z*n + 25 for v.
0
Let f(g) = g**3 + 4*g**2 + 3*g + 3. Let u be f(-2). Let z(q) = 10*q - 46. Let y be z(u). Suppose a - y = -0*a. Solve -5*b = -4*l - 37 + 1, -2*l - b = a for l.
-4
Suppose 0 = -117*s + 221 + 247. Solve 27 = -5*d - 5*f - 3, 5*d = -s*f - 25 for d.
-1
Let r(g) = 26*g - 338. Let n be r(13). Solve n = -2*k - 5*s + 12 + 7, 4*k = -s - 7 for k.
-3
Suppose -5*j - 4*h = -188 - 22, 5 = h. Solve -2*q = -z - 1, 7 = -33*q + j*q + 2*z for q.
1
Let j = -163 + 193. Solve -2*f = -b - 15, -j*f + 4*b + 35 = -27*f for f.
5
Suppose 46 = 16*n + 30. Solve 2*j - 3*p = -13 + n, -5*j + 2*p = 8 for j.
0
Let f(k) = 5*k**2 + 3*k + 5. Let j be f(0). Solve 0 = -j*g + p + 11 + 1, -2*g + 4*p + 12 = 0 for g.
2
Suppose 31*l = 30*l + 19. Suppose -2*m - 11 = -3*z - 1, -4*z + l = 3*m. Solve -2*n - 3*k - 5 = -n, -n - 5 = z*k for n.
-5
Suppose 0 = -l + 4*c + 19, -3*c = 18 - 6. Suppose 2*q + 7 = 3*v - 5, 12 = 3*v + q. Suppose -4*z + 7*z = 12. Solve -z*p + 18 = 3*u, 3*p = 5*u - v + l for u.
2
Suppose 23*d - 181 = -20. Suppose -6*a + w = -d*a + 8, 2*w = 4*a - 2. Solve 3*v - 3*b = -b - 9, v - b = -a for v.
-3
Let d = -527 + 529. Let k be (-1)/(-2)*10*-1. Let j be k/50*-26 + d/5. Solve 0 = -0*r - 4*r - 12, -4*y = -3*r + j for y.
-3
Suppose 2*i = 3*n + 136, 25*i - 26*i + 3*n = -65. Solve -5*g - 79 = 2*y - i, 3*y = -12 for g.
0
Suppose 10 = -2*d, -3*o - 3*d + 3 = 9. Let h = 15 + -9. Solve 0 = 3*g + p + h, -o*p - 3 = -4*p for g.
-3
Let u(i) = 2*i**2 - 123*i + 517. Let f be u(57). Solve 0 = -3*q + f*b + 7, 3*q = -5*b - 2 for q.
1
Let m(o) = 38*o - 41*o + 20 + 37. Let k be m(19). Let x(t) = t**3 - 5*t**2 + 2*t - 5. Let z be x(5). Solve 2*f + 3*r + r - 6 = k, z*f + 45 = 5*r for f.
-5
Suppose -p - 4*i = 8, -432 = -5*p + i - 409. Solve 4*k = p*a - 23 - 1, -3*a = 4*k - 11 for a.
5
Let y be (-26 + 29)/(5/(-2) - -4). Solve y*h - f = 4*f - 1, -3*f = 2*h + 9 for h.
-3
Suppose 0 = -87*y + 84*y + 24. Suppose 3*j = 4*i + 16, -y*j + 8 = -7*j - 4*i. Solve 2*h - 18 = j*l, 3*h + 9 = -h - l for h.
-1
Let u = -147 - -81. Let z be (-12)/10*110/u. Solve -3*s - z*x + 6 = 0, -20 = -4*s + 3*x + 5 for s.
4
Let y = -16448 - -16452. Solve -3*n = -z - 16, -5*z - y = -10*n + 14*n for z.
-4
Suppose 7*d - 13 = 3*d + 3*g, 2 = 2*g. Let i = 6 + d. Let o = i + -6. Solve -5*w + o*y - 6 = 0, 3*w - 2*y + 4*y + 8 = 0 for w.
-2
Let i(j) = -j**3 - 6*j**2 + 15*j - 5. Suppose 6*v + 88 = -5*v. Let h be i(v). Solve 2*u - 8 = -o, 0*u + h*o + 4 = u for u.
4
Suppose -2*k + 52 = -3*q, 0 = -6*q + q - 3*k - 93. Let t be (-30)/q - 34/(-3). Solve 3*d = -2*u, 5*u - t = -d - 0*u for d.
-2
Let k(r) = 43 + 207*r - 47 - 213*r - 2*r**2. Let y be k(-1). Solve y = -u + 2*s + 4, -s - 8 = 4*u - 3*s for u.
-4
Let r(l) = 2*l**2 - 17*l + 3. Let t be r(10). Suppose 0 = 5*y + i - 35, 2*y - 3*i = 5*y - t. Solve 4*h - 2 = 2*v, 2*v = -v + 3*h + y for v.
5
Let q = 512 - 503. Let u be (q/6 + -3)*(-64)/24. Solve -5*k - 20 = 2*h, -3*k - u*h - 6 - 6 = 0 for k.
-4
Suppose -246 = 2*s - 4*g, 4*g = 2*s - 3*s - 99. Let l = 50 + -36. Let o be s/(-35) + (-4)/l. Solve -4*b = -o*f - 13, -1 = -b - f - 3 for b.
1
Let c = -558 + 746. Let m = c - 183. Solve -4*a = -2*o + 6, a = -m*o - 5 - 13 for a.
-3
Let p be (176/(-28) - -6)/((-243)/(-35) + -7). Solve 346*m - 31 = -p*s + 343*m, 18 = 2*s + 4*m for s.
5
Suppose i - 13 = -4*n, 8*i - 2*n = 36 - 34. Solve 4*m - 23 = 3*h, 0 = 3*h - i + 4 for m.
5
Suppose 0 = -33*z + 17*z + 320. Solve 4*h = 3*w + z, 0 = w - 3*h + 57 - 42 for w.
0
Suppose 1876 = 290*n - 297*n. Let y = n - -270. Solve z + z - y*v - 8 = 0, -z - 11 = 2*v for z.
-1
Let x(c) = -2*c**3 + 162*c**2 + 6. Let j be x(81). Solve -5*z + j = 2*o, -59*z + 61*z + 15 = 5*o for o.
3
Let u = 8970 + -8968. Let b be 4/6*(-18)/(-4). Suppose b*o = o. Solve o = -7*g + u*g - 4*c + 16, -5*g - 2*c + 18 = 0 for g.
4
Let c(a) = 2*a**2 + 0*a**2 + 34*a - 3 - 39*a. Let u be c(3). Suppose 4*l - 4*y + 2*y - 24 = 0, u = y + 4. Solve l*x + 29 = 3*p - 6*p, x = p - 2 for x.
-5
Let n = 4 - 9. Let k be 3*2 - (10 + n + -1). Let v be 3/9*3 + k. Solve 2*j + v*s = -s - 8, 4*j = -5*s - 13 for j.
-2
Suppose -1058 - 286 = -16*d. Let p = 87 - d. Solve -4*t = -h - 19, p*t = -h + 4 + 5 for h.
-3
Let z = -42 - -213. Suppose -39 = 11*n - z. Solve 0 = 5*q + 5*x - 20, -2*x + n = 3*q - 6*x for q.
4
Let z = 21957 + -21951. Solve -47*c = 4*b - 49*c - 12, 2*c = 2*b - z for b.
3
Suppose -1 = -11*o + 54. Suppose 31*y + o = 32*y. Suppose d = -z, 0 = -y*z - 18 - 2. Solve -33 = -d*c + 2*w - 5, 0 = -3*c + w + 19 for c.
5
Let v(s) = -s**3 - 59*