t.
-1
Let b be 0 + 2/3*-21. Let v = 28 + b. Suppose 0*l - l = -v. Solve p = 5*w - 20, -3*w - 2 = -p - l for p.
0
Suppose -5 = -y, -43 = -0*w - w - 5*y. Let c be 8/36 - (-68)/w. Solve c*z = d - 4, -2*d + 8 = -0*d - 3*z for d.
4
Let v = -104 - -112. Suppose -22 + 6 = -v*r. Solve -q = 4*s + 2*q - 8, r*s = q + 14 for s.
5
Let u = -15 + 25. Let d(k) = -k**3 + 9*k**2 - 2. Let n be d(9). Let s = n + 5. Solve 4*p + s*x = 7, 0*p - u = -p + 2*x for p.
4
Suppose 3*d - 5*j = -12 + 42, 8 = d - j. Solve -2*v + 4*s - 5 = -5*v, 2*v + s = -d for v.
-5
Let p be (8/3)/((-70)/(-42) - 1). Solve 0 = 3*n + 15, p*i + 5 = i - n for i.
0
Let v(p) = -2*p - 12. Let h be v(-4). Let z be ((-2)/h)/(3/90). Let t = 15 - z. Solve -3*m - 3*d - 21 = t, -3*m + 8 - 26 = 2*d for m.
-4
Let p(w) be the second derivative of 3*w**4/2 + w**3/6 - w**2/2 - 10*w. Let h be p(1). Solve 2*a - 2 = -4*b - h, 2*b + 2*a = -12 for b.
-2
Suppose 2*u = 3*n + 17, -5*u = -2*n - 16 - 10. Let x be 8/(-10)*(-9 - 1). Let d be 6 - 12/x*2. Solve 15 = u*z + 5*c, d*z - 12 + 0 = -3*c for z.
5
Let z(b) = -9*b + 84. Let f be z(9). Solve -3*d - 13 = x, 0 = -f*d - d - 3*x - 19 for d.
-4
Suppose -26 = c - 5*o, -5*c - 2*o = 10 + 12. Let q be 4*c/(-16)*8. Solve 5*g - 52 = -5*v - q, 4*g + 3 = 3*v for g.
3
Let d(v) = 4*v**2 + 20*v - 5. Let y(k) = 5*k**2 + 21*k - 6. Let z(g) = 6*d(g) - 5*y(g). Let s be z(15). Solve -19 = -2*n + n + 5*c, s = 3*n - 3*c - 9 for n.
-1
Suppose 3*p + 3 = -9. Let l be (p - -6 - -1) + -1. Solve -4*c + 0 = -4*n + 4, l*n - 2 = 3*c for c.
0
Suppose m - 7 + 3 = 0. Let p = -28 - -40. Solve -m*z - 3*i + 14 = -5*z, -4*z - p = -i for z.
-2
Let o be 52/14 - (-28)/98. Let m be o + (-4 + 8)/(-4). Solve w - 4 = -m*u, w - 2*w - u = 0 for w.
-2
Let s be (30/(-8))/(48/(-128)). Suppose -4*u - 4*p = 40, p - 2*p + 20 = -5*u. Let b = s + u. Solve 0 = -b*t - 4*x - 21, 0*t = 2*t - 3*x + 13 for t.
-5
Suppose -10 - 2 = -3*j. Let u be 795/30 - (6/(-4))/(-3). Let x be (-4 - -8)/8*u. Solve -5*l = 3*y + x, -j*y - 7 = -3*y + 3*l for y.
-1
Suppose -56 = 1645*t - 1659*t. Let u = -3 - -5. Solve -2*w + c = t, 2 = -w - 7*c + u*c for w.
-2
Let a(z) = -4*z + 4. Let h be a(0). Let w be ((-16)/(-6))/(10/15). Suppose g = -c + 6, -w = 2*g + 2*g - 3*c. Solve o + 16 = -g*d - 3*o, -d = -o - h for d.
0
Let s be (-3)/(6/(-16)) + 28 + -33. Suppose 2*w + 16 = 4. Let b be 0*(1 + 3/w). Solve b = -z + 2*q + s, 3*z - q = z for z.
-1
Let x(o) = 6*o**3 - 1. Let c be x(-1). Suppose -l + 2*l + 48 = 0. Let v be (-2)/c + l/(-28). Solve 3*b + 23 = 3*w + 5, 0 = b - v*w + 10 for b.
-2
Let u(t) = 7*t + 2 + 2 - 15*t + 7*t. Let v be u(17). Let b = v - -18. Solve b*r - 2*k = 7, -2*k - 2 = -3*r - 1 for r.
3
Suppose 40 = 4*k + k + 3*g, 3*g - 15 = 0. Solve k*l - 1 + 6 = 4*q, 3 = -3*l - q for l.
-1
Suppose v + 4*l = 2*v - 11, -15 = -2*v + l. Suppose 1 = v*u - 13. Solve u*a - 2*o + 26 = 6*a, 2*a + 3*o = 19 for a.
5
Let x(d) = d - 4*d - 3*d + 3 - 14*d + 2*d**2. Let i be x(10). Let o = 2 - -4. Solve 0 = -4*f + 3*j + 1 - o, 0 = i*j + 15 for f.
-5
Let n = 12 - 9. Solve 2*m = -n*z + 3*m + 8, -5*z + 6 = 2*m for z.
2
Let s(g) = 3*g**3 - 73*g**2 + 25*g - 20. Let y be s(24). Solve 0 = -t - y*j + 5, t + 0*j = -3*j + 3 for t.
-3
Suppose 196*y - 12 = 193*y. Solve 6*f + x = f - 23, x = -y*f - 19 for f.
-4
Let l be (4/(-12))/(2/(-12)). Let o = 5 - l. Suppose -2*j - 6 = 3*c, 5*c + 65 = 45. Solve 0 = 4*z + q - 11, -j - 8 = -z - o*q for z.
2
Suppose 2*c - 456 = -c. Suppose 0*i = -4*i - c. Let t be (-15)/35 + i/(-7). Solve n - 10 = 2*r, 3*r = t*n - 3*n - 16 for r.
-4
Let q be (0/1 + 0)/(-1). Let r be (q + -3)/((-1)/1). Let x be (200/210)/(2/4) - (-32)/336. Solve 0 = 5*i - r*m, x*i = 3*i + 2*m for i.
0
Suppose 13*f + 63 = 128. Solve -4*s - k - f = -6*s, -2*s + 14 = 2*k for s.
4
Suppose 0*c = 8*c - 24. Suppose 3*j + 3*h - c = 24, 3*j - 4*h - 48 = 0. Solve 4*i - 3*u = 13, 3*i - j - 6 = 5*u for i.
1
Let u be 2/(-3) - (-4)/6. Let q(g) = 4*g + u*g - 4*g + 11 + g. Let k be q(-8). Solve -4*o + k*i + 24 = -2*i, o = -i - 3 for o.
1
Let z(w) = 6*w + 81. Let q be z(-13). Solve -s + 1 = o + 2, q*s + 2*o + 2 = 0 for s.
0
Suppose -5*q + 15 = 0, 2*h + 39 - 118 = 5*q. Suppose 5*i - h = -22. Suppose -2 = i*c - 17. Solve 0 = c*o - 3, -o = -3*y + y + 5 for y.
3
Let i(q) be the second derivative of q**5/2 - 3*q. Let x be i(-1). Let s be (-4)/x*(-2 - -47). Solve -2*w + 4 = -w + r, -3*r + s = -3*w for w.
-1
Suppose 5*c + 0*c = -5*k + 75, 0 = -3*c + 2*k + 45. Let a = 18 - c. Solve -2*y + 7 = -0*i + 3*i, 5*y - 22 = -a*i for y.
5
Suppose -4*g + 3*y + 28 = 0, 0 = -2*g + 6*y - y + 28. Let q = 9 - -7. Solve -p - p + q = 3*j, -g*p + 20 = 0 for j.
2
Let g = 0 + 1. Let h = g + -4. Let a(r) = -r**2 - 3*r + 2. Let s be a(h). Solve -3*n + s = -4*b - 8, -24 = 4*b + 4*n for b.
-4
Suppose -28 + 8 = -5*i. Suppose 2*n + i*t = 82, -241 = -2*n - 3*n + 2*t. Suppose 0 = -3*r + 25 + n. Solve r = m - 5*k, -4*m - 3*k + 4 = -0 for m.
4
Let c = 12 + 3. Suppose 0 = 2*d + 3*d + 3*v - 41, 0 = -5*v - c. Let u be 24/d - (-14)/(-35). Solve -5*i + u*a - a - 2 = 0, a = 4*i + 1 for i.
-1
Suppose -j + 4*j = -12, -5*j - 30 = -2*d. Suppose a + 4*u = 5, -a + 0 = -3*u - d. Solve -a*w + 10 = -c - w, -3*c = 3*w for c.
-2
Suppose q - 161 = -3*q - c, -2*q + c = -79. Suppose 15*w + q = 19*w. Let f be (8/20)/(2/20). Solve 2*t - 4*h = -w, -4*h + 8 = -f for t.
1
Let n be ((-4)/2)/(6/(-12)). Let r(i) = 13 - 43*i**2 - 14*i - 51*i**2 + 95*i**2. Let a be r(14). Solve -n*q = -f - a, -4*f - 8 = 4*q + 4 for q.
2
Let i = 1110 - 1107. Solve 0 = d - 3*m + 6 + 2, -i*m + 16 = d for d.
4
Suppose -68*x = -27*x - 369. Solve -w - 5 = -c, -3*w - 5 = -2*c + x for w.
-4
Let g(t) = -t**2 - 6*t - 2. Let o = 77 + -82. Let w be g(o). Solve 4*s + 2*p + 3 = 17, -p - w = 0 for s.
5
Suppose 114 = -a + 4*a + 2*i, 38 = a + 4*i. Suppose 2*z + a = 6*k - 4*k, -2*k = 2*z + 30. Let s = z + 20. Solve -2*t + 5*y + 9 = 0, 2*t = -s*t - 5*y - 30 for t.
-3
Let n be 0 + 3 + (0 - -1). Suppose -15*m - 611 - 1369 = 0. Let u = -132 - m. Solve 32 = -4*g + 4*z, -3*g = n*z + 3 - u for g.
-5
Let i = -85 - -92. Suppose 2 = -i*n + 8*n. Solve 5*b = 3*s + s - 13, -2*b - 6 = -n*s for s.
2
Suppose -31*g = -36*g + 35. Solve -4*b = 2*z + 12, z + g = 5*b - 2*z for b.
-1
Let c(g) = -g**2 + 9*g. Let m be c(8). Suppose 4*d = m - 0. Solve d*x - k = -3*k + 10, 0 = -x + 2*k + 5 for x.
5
Let a(m) = -m**2 - m + 2. Let y(u) = -5*u + 41. Let s be y(8). Let z be a(s). Solve z = -5*t + 5*o + 59 - 24, 1 = 3*t + 2*o for t.
3
Let a be (-12 + 2 - -9)*1*-3. Solve -3*v = 3*d - 9, -3*d + 6*d - a*v = -21 for d.
-2
Let b = 6 - 1. Suppose 4*w + 4*q - 8 = 0, b*w - 20 = 2*q + 3*q. Suppose -f + 3*y + 3 = 0, -3*f + 10 - 1 = -5*y. Solve 0 = 3*l - w*h, -h + f*h = -5*l + 28 for l.
4
Let d(p) = -7*p + 1. Let b be d(-2). Suppose 0 = -18*h + b*h + 9. Solve h = -3*j - 3*m, 2*m + m + 4 = -2*j for j.
1
Let g be -10*((-7)/(-2) - 4). Solve -3*z - 6 = g*k, -2*z + 12 = -k - k for z.
3
Suppose 3*h + p - 24 = 4*p, 2*h = -2*p - 4. Let r(g) = g**3 - 12*g**2 + 11*g + 6. Let y be r(11). Let x = -1 + y. Solve u + 7 = x*j, h*u + 7 = j - 0*u for j.
1
Suppose -2*g = -5*g - 24. Let w(n) = -3*n + 73. Let v be w(27). Let k = v - g. Solve -5*j + 19 = 2*b, -5*j + k*j + 15 = 0 for b.
2
Let a be 1/((-3)/(-5*3)). Suppose -2*q - 20 = -3*q. Solve a*x = -2*s - 20, -5*x + s = 6*s + q for x.
-4
Let g(f) = -f + 30. Let q be g(25). Solve q*u + 6*a = 3*a - 11, 0 = 3*u + 5*a + 13 for u.
-1
Let b(k) = -14*k**2 - 3*k - 1. Let n(a) = 42*a**2 + 10*a + 4. Let r(v) = -7*b(v) - 2*n(v). Let f be r(1). Solve j + 3 = 4*q - f, 4*j + 29 = 3*q for j.
-5
Let t(l) = -l**3 - 3*l**2 - l - 2. Let f be t(-2). Let a(d) = d + 4. Let w be a(f). Solve w*g = 5*g - s + 17, 5*g + 8 = 4*s for g.
-4
Let h = -32 + 36. Suppose -j + 90 = h*j. Suppose 2*p - j = -3*p - 2*a, 2*p + 3*a = 16. Solve -x + 14 = 3*b, p*x + 12 = 5*x + 3*b for x.
-1
Suppose -18 = -2*q - q. Let g be (-32)/(-7) - (-66)/154. Solve 3*p = 3*i + q, 0*i + g*p + 14 = -i for i.
-4
Let n be (2 + -8)*(30/(-5))/12. Let x be (-2 - -8)/(-3) - -7. Solve r + 3*r = n*s + 25, -29 = 3*s - x*r for s.
-3
Suppose -4*b - 204 = -w, -3*w - 18 - 186 = 4*b. Let u = b - -53. Solve 2*n = t - 7, -n - 3*n = u*t + 10 for t.
1
Let m be 9 + (0 - (2 - 0)). Suppose 5*u + 17 = 3*b, -4*b = -m*u + 2*u - 21. Let r = -19088 + 19092. Solve 0 = -6*w + b*w, 4*w = -r