- y = 0 for c.
0
Let l(f) = 72*f + 6470. Let k be l(-82). Solve 0 = -5*j + 3*t + 22, k*j - 570*j + 4 = t for j.
2
Let v(t) be the second derivative of t**4/12 - 3*t**3 + 12*t**2 + 2*t. Let q be 3/(-6)*(-5 + (-232)/8). Let n be v(q). Solve -x - 15 = 3*c, -n - 5 = 4*x for c.
-4
Let k(a) = -2*a**2 + 79*a + 18. Let w be k(18). Let t = -789 + w. Solve 0 = 5*p, t*j - 3*p - 6 = 9 for j.
5
Suppose 11 = j - 3*u, 5*j + 0*u - 4*u = 22. Let i(v) = v - 3. Let n be i(3). Suppose n = 19*x - 26*x + 28. Solve -m + 4*b - b - 2 = 0, -x*m + j = -2*b for m.
1
Suppose 309*f = 274*f + 385. Solve 7*b = 3*m + 3*b + 29, -3*m - 4*b = -f for m.
-3
Suppose 0 = 4*h - 82 + 58. Let u be 3*24/(-27)*(-9)/h. Suppose 2*z + 34 = -4*m + 6*m, 5*m + u*z = 67. Solve -4*j = 5*c + 2, -4*c + 2*j = m - 3 for c.
-2
Suppose 0 = 3*p + 4*g + 103 - 88, -p = -4*g - 27. Solve 10*t - 11*t + 3 = -n, -p*t = -12 for n.
1
Let o = -4 - -4. Let r be -2 + 14 - (-48)/(-6). Suppose 78 = 6*s - 78. Solve -r*l = 2*p - o*l - s, 5*l - 22 = p for p.
3
Let q = -20379 - -20379. Solve -3*b + 0*d + d - 1 = 0, q = -2*b + d - 1 for b.
0
Let q be (360/(-135))/(4/(-3)). Solve 0 = 5*o - 4*m + 2, 10*o = 6*o - q*m + 14 for o.
2
Let p = -467 + 482. Suppose -10*v = -35 - p. Solve 0 = -i + 4*i - 3*z + 18, 0 = v*z - 25 for i.
-1
Suppose -32 = -18*w + 10*w. Suppose -w*f - 2*f = -12. Solve -4*c - 4 - 12 = -2*k, -f*k = c - 1 for c.
-3
Let a be 2/(((-44)/8)/(-11)). Suppose 10 = 8*s - 6*s. Suppose 5*p = a*z + 4, -p + s*z + 1 = -4. Solve -x + 3*d + 0*d + 9 = p, -4*d = -4*x + 12 for x.
0
Suppose 0 = -b - 9 + 24. Suppose 3*p = 3*j - 7*j + b, 3 = -p. Solve -3*g + 5*l = -28, -1 = -l - j for g.
1
Suppose 3*u + 2 - 8 = 0. Let b be (-2)/14 + (-250)/(-35) + -2. Suppose b*s + 4 = 6*s. Solve -3*g - 5*y + 16 = 0, -u*g + y = g - s for g.
2
Suppose 4*j - 10 = -0 + 6. Solve 0 = 4*r - 4*x + 4, j*x = -6 + 2 for r.
-2
Let x(l) = -22*l + 157. Let r be x(6). Suppose 0 = 2*u - 3*q + 7, r - 10 = 3*q. Solve -4*t + b = -4*b + 16, u*t + 3*b + 16 = 0 for t.
-4
Suppose 5 = -13*m + 14*m. Let b be (m - -1)*((-28)/(-3) - 9). Solve -4*s + 2 + b = 0, -3*z - 2*s - 4 = 0 for z.
-2
Suppose -2*k + 35 = 3*a, -4*k + 50 = 4*a - 3*k. Let f = -10 + a. Solve -4*o - 10 - 4 = f*p, -5*p = 3*o + 5 for o.
-5
Let y be (150/39 - 4) + (-4740)/(-390). Solve 13*j - 10 = y*j - 4*h, -j + 4 = h for j.
2
Let b = 6717 + -6710. Let l(d) = 2*d**2 - d - 1. Let w(j) = -j**2 + 5*j - 5. Let q be w(4). Let x be l(q). Solve 3*r - x*a = b, -r - r + 4*a + 10 = 0 for r.
1
Suppose 0 = 4*q - 5*g - 68, 5*g + 8 = -q - 0*g. Let s be (4/2 - q)*(-4)/10. Solve 2*r = h - 4*h - 5, 2*r - 16 = s*h for r.
2
Let i(l) = -2*l**3 + 8*l**2 - 6*l - 10. Let t be i(5). Let z = -160 - t. Let s = -59 - z. Solve -j - 2*b = -1, b = -3*j + 3*b + s for j.
3
Let m(n) = -n**2 - 2. Let r(g) = 2*g**2 - 5*g + 15. Let p(i) = -4*m(i) - r(i). Let k be p(-4). Solve 0 = -3*l + d - 12, -k*d + 4 = 4*l + 39 for l.
-5
Let x = 126 - 121. Solve 14 = 3*u + k, -x*k = -2*u + 7 + 8 for u.
5
Let b(q) = -q**2 - 5*q - 10. Let m be b(-4). Let o be (-2 - m/4)*-24. Suppose 0 = 21*a - 18*a - o. Solve 0 = -3*c - 5*l - 4, -2*c + 9*l - a*l = 11 for c.
-3
Let y(l) = l**3 + 5*l**2 + 4*l - 6. Let f be y(-3). Suppose 2*p + 38 = -f*p. Let g = p - -21. Solve 3*a = -2*n + 8, -n + g = 4*a - 7 for a.
2
Let t = -10652 + 10654. Solve -g - d + 3*d - 3 = 0, 4 = t*d for g.
1
Let q be (-2760)/48*6/(-15). Solve -3 = -5*g + 4*z, 13 = -26*g + q*g - 5*z for g.
-1
Let d(b) = -b**3 + 3*b**2 + 6*b - 4. Let q be d(4). Let t = 103 - 29. Let f = t + -70. Solve -h - f*y = q, 0*h - 16 = 4*h + y for h.
-4
Suppose -53*j + 2340 = -41*j. Let m = -174 + j. Solve 2*c - 7*c + 30 = -5*z, c - 4*z - m = 0 for c.
1
Let n(o) = -19*o - 16 - 13*o + 30 + 31*o. Let c(q) = -2*q - 1. Let i be c(-5). Let l be n(i). Solve -3*y + 0*y = 4*v - 16, 5 = l*v for y.
4
Let h(o) = o**3 - 3*o**2 + 3*o. Let r be h(3). Let f be (342/(-19)*(-2)/4)/3. Suppose 3*n = 4 + 5. Solve f*k - y + 5*y - r = 0, -2*k + 6 = n*y for k.
3
Let z(o) = -2017*o - 4027. Let q be z(-2). Solve -4*f - a = -27, -3*f + 5*a - 23 = -q*f for f.
7
Let d be ((-340)/(-50))/((-4)/60). Let i = d - -107. Let p(h) = h**2 - 5*h - 6. Let v be p(6). Solve v = -i*u, z - 5 + 4 = -4*u for z.
1
Suppose -224*i + 220 = -204*i. Suppose i*w + 28 = 3*h + 6*w, 2*w + 10 = h. Solve 4*x = -2*s + 5*s - h, -4*x = -s + 2 for x.
0
Suppose 4*t = -n + 32, 38 = 244*t - 242*t - 5*n. Solve 4*y - 26 = -t*m + 12*m, 2*m - 16 = -4*y for y.
5
Let n = 11 - 7. Let u = -111 + 144. Suppose 0 = 4*x + 4*v - 16, u = 3*x - 3*v - 3. Solve -4*d = 4*z - n, 2*d + 5*z - z = x for d.
-2
Let i be -3 + (8/2)/((-17)/(-34)). Suppose 4*w - 15 + 0 = -i*k, 0 = -k - 1. Solve w*u - 12 = 3*c, -c = -3*u - 2 + 10 for c.
1
Let h = 2566 - 2538. Solve 2*d = -4*a - 12, -2*a + h - 40 = 4*d for d.
-2
Suppose 3*c - 3 = 6. Let y(o) = o. Let i be y(c). Let p(d) = -2*d**3 + 172*d**2 - 2134*d + 62. Let w be p(15). Solve 0 = w*t + 8, i*k + t - 17 = 3*t for k.
3
Suppose 5*o = 91 + 74. Suppose o = 5*u - 2*l, 0 = -5*u - 0*l - l + 21. Solve 0 = v - 4*g - 10 - 2, u*v = -2*g - 28 for v.
-4
Suppose -q - 3*s - 90 + 143 = 0, 4*q + 2*s - 212 = 0. Solve -3*t + 3*c + q = 59, 0 = -4*c for t.
-2
Suppose 6 + 12 = 9*o. Suppose -14 = -o*d - 3*u, -3*d + 7*u - 2*u = -2. Solve d*f = -n - 17, -5*n - 4*f - 6 = -1 for n.
3
Let k = -204 - -212. Suppose 15 = k*j - 9. Solve -j*h - 3 = 0, p - 5*h - 12 = -2 for p.
5
Suppose 5*l - 1 = 4*l, 32 = 3*n - l. Solve -5*d + 9*y = 5*y, n = -4*d + y for d.
-4
Suppose -5*p - 35 = -5*t, -4*t + 21 = p - 2. Let x be (t/9)/(1/6). Suppose -3*l + 11 = -y - 0*y, 40 = x*l + 5*y. Solve -u - 20 = -5*u + 4*d, 5*u + d = -l for u.
0
Let z = -97 - -100. Suppose z*x - 16 = -4. Solve l + 0*l = 4*t + 17, 18 = 2*l - x*t for l.
1
Suppose -6*c = 3*c - 45. Suppose 2*u = c*d - 0*u - 9, 3*d = 2*u + 3. Solve -d*z - 4*f = 17, -2*z = 3*z + 2*f + 5 for z.
1
Let j be 35 + (13/1 - 27). Solve -b - 5 = j*s - 20*s, -3*b - 2*s = 15 for b.
-5
Suppose 550*a - 560*a + 180 = 0. Solve 4*r - 3*x = 0, -3*x + 6*x = -2*r + a for r.
3
Let b be (-6)/(-4)*(-60)/(-9). Let z = 19 - b. Let i be 4/(-18)*21*(95/(-35) - -1). Solve -s + i = -3*w - z, -4 = w for s.
5
Let t(n) = 19*n - 21. Suppose 0 = 8*w + 5*w - 39. Let u be t(w). Solve -4 = -2*m - s - 1, -u = -4*m + 4*s for m.
4
Suppose -4 - 2 = -3*p. Suppose -6 = 4*n + p, -5*n = 3*m + 4. Let g = -138 + 140. Solve -g*r = r + 4*c + 10, -5*c - 24 = -m*r for r.
2
Let k = -694 + 158. Let l = k - -568. Solve -s + 8 = 3*u - 10, -4*s = 4*u - l for s.
3
Suppose 2356 = 31*w - 0*w. Let f = w - 74. Solve -m + 4*r = -8, -f*m + 8*r - 3*r = -10 for m.
0
Let j = 301 + -445. Let i = j - -144. Solve 4*a - s + 19 = i, a + 0 + 7 = -2*s for a.
-5
Let x = 7701 + -7699. Solve 3 = 3*c - x*u, 5*u - 1 = -3*c - 19 for c.
-1
Let v(c) = -c**2 + c + 4. Let u be v(3). Let z be (-224)/(-21) + u/(-6). Suppose -z*j + 0*j + 33 = 0. Solve -j*w + 1 = 4*i, -4*w - 4*i = w + 1 for w.
-1
Let c = -22436 - -22442. Solve -3*x + 3 = -l, -x - l + 11 - c = 0 for x.
2
Let o be 6/(-1) + (1 - -5 - 3)*3. Solve 0 = -o*w + 4*t + 8 + 2, 3*w = 3*t + 6 for w.
-2
Suppose 4*o = 5*z - 7*z + 18, -4*o = -3*z + 47. Solve 3*n + m = z, -11*n = -12*n + m - 1 for n.
3
Suppose -4*m - 5*h + 51 = 0, -3 = 3*h - 12. Suppose -5*z + 22 = 2. Suppose z*l - m = l. Solve 2*q + 3 = q - 2*o, -l*o - 6 = 0 for q.
1
Let k be (-3)/(24/(-10))*(40 + 0). Suppose w - 4*m - 8 = 0, 6*w = 3*w - m + k. Suppose -w = -8*n + 8. Solve 4*x - 4*g = 0, -n = 2*x + g - 0 for x.
-1
Suppose 11*t + 33 = -407. Let l = t - -51. Solve -2*a + 10 = 4*s, -5*s = -a - l - 12 for a.
-3
Let s be ((-32)/(-14) + 1 + (-284)/994)*21. Solve -4*k + 2*x = 0, s*x + 24 = -2*k + 58*x for k.
-2
Let w be -3*(8/3 - 2). Let v = 0 - w. Let x = -9354 - -9359. Solve 0 = 4*a - x*a, 10 = -2*i + v*a for i.
-5
Let c(p) = 6*p**2 + 520*p + 1020. Let w be c(-2). Suppose 2*o - 12 = -4. Solve -2*r - 12 = o*z, z + w*r + 3 = -7 for z.
-2
Suppose -135 = -21*l + 12*l. Suppose 17 = l*o - 13. Solve 6 = -2*d - o*b, 0*d + 3*b = -2*d - 8 for d.
-1
Let l = -3 + 5. Suppose -10 - 128 = -23*f. Suppose 4*p + f = 5*j, -2*p + p = 4*j - 9. Solve 5*s + j = -l*w, s = -4*s for w.
-1
Suppose -5*d + 21 = u, -5164 + 5185 = d + 3*u. Suppose 2*x + 0*x - 6 = 0. Solve 0 = -h - 5*n - 26, -d*h - n - x*n - 23 = 0 for h.
-1
Let y be 228/(-76) + (8 - 1). Solve a - 