 u.
2
Let m(x) = -37*x + 333. Let s be m(9). Solve s = 4*p + 2*i - 14, 6*i - i + 21 = 4*p for p.
4
Let h = -11 - -36. Suppose -18*s + 13*s = -h. Solve 3*a + s*i - 31 = 0, 3*i = -3*a - i + 26 for a.
2
Let p(i) = i**3 - 13*i**2 + 37*i + 43. Let k be p(8). Solve 5*o - k = -3*r, o - 9 = -4 for r.
-2
Suppose -3*x + 9 = -6*x, 2*v + x = -3. Solve 4*l + l + 14 = -2*f, -3*l - 12 = v for f.
3
Let h = 23 + -21. Let p = h - 4. Let a be (-7)/p - (-1)/2. Solve 0*o - a*o + 3*s = 23, 4*o - 4*s = -28 for o.
-2
Let m be (1 - 0)/((-1)/(-5)). Suppose -m*q + 11 = 4*u, 2*u + 8 = 5*u + 4*q. Suppose -2*j = -u*j + 10. Solve j*y = -3*x - 23, 0*y - 3*x + 9 = -3*y for y.
-4
Let f = 5 - -7. Suppose -6*j + 31*j = 16*j. Solve -2*h + 2*g + f = j, 3*h - 2 = 2*g + 13 for h.
3
Suppose -23 = -24*m + 23*m. Suppose 0 = 7*o + m - 72. Solve 0 = -p - y + 4, 4*p - 4*y + o*y = 14 for p.
2
Let h be 3*-2*(-5 + 10). Let k be ((-48)/h)/(4/10). Let f = -8 - -25. Solve t = k*t - l + f, -2*l - 21 = 5*t for t.
-5
Let t(j) = -j**3 - 17*j**2 + 18*j - 4. Let o be t(-18). Let g be ((-64)/(-40))/(o/(-10)). Solve 5*y = -4*p - 2, 0 = -9*p + g*p - 15 for y.
2
Let p(a) = 7*a**2 + 3*a + 5. Let v be p(-3). Let x = -54 + v. Solve -j - 4*j = 5*k, 5*k = x*j for j.
0
Let m = 4 + -2. Suppose 2*i = m*s + s - 50, i + 23 = 2*s. Let r = 32 + i. Solve -2*h = 5*q + r + 2, -h = -q + 5 for q.
1
Suppose -4*q - 38 = -2*r, -3*r + 3*q + 57 = 7*q. Solve 0 = t + 2*i - 11, -5*t + r = -0*i + i for t.
3
Let s(x) = x**2 - 2*x - 2. Let c be s(-2). Let g be (-43)/43 + (-3)/((-3)/8). Let b = g - c. Solve 4*t = 5*o - t - 5, -2*t = -3*o - b for o.
-3
Let w = 36 - 12. Suppose 28 = y + w. Suppose -y*g + 24 = 2*r, -r - 13 = -g - 2*g. Solve 0 = j + r*s - 7*s - 11, -3*j + 5 = -s for j.
1
Let a(h) = -h**3 + 7*h**2 - 4*h + 1. Let y be a(6). Let s(x) = x - 13. Let b be s(y). Suppose -3*u + 12 = -b*u. Solve -2*f + 14 = u*r, 2 = -r - 3*f + 3 for r.
4
Suppose -2*s + 5*s - 30 = -3*z, -3*z = -s - 10. Solve -z*f - 2*k = 10, -2*f + 10 = -0*f - 2*k for f.
0
Suppose u - 21 = -4*n, 2*n - 5*u = -3*n - 5. Suppose 0 = 2*j + j - 6. Solve 6*r - n*s + 20 = 2*r, 3*r - j*s = -10 for r.
0
Suppose -575*g - 12 = -577*g. Solve -b = 2, 2 = 2*t - 2*b - g for t.
2
Suppose z = v - z + 4, -3*v = -2*z. Suppose 36 = 2*n + n. Suppose m + v*m = n. Solve -2*l - 16 = m*p, 4*l = l + 6 for p.
-5
Let s(t) = 2*t**2 - 48*t + 17. Let o be s(24). Solve -m - 3*n + 6 = -2, 4*m - 3*n - o = 0 for m.
5
Let j = -70 + 75. Solve 5*g = j, -g = 5*f + 3*g - 4 for f.
0
Let f(m) = -m**2 + 7*m + 542. Let c be f(-20). Solve b + 2*w = -c*w - 8, -3*w - 5 = b for b.
4
Let z be (0 - -7 - -1)*1. Suppose -z = u - 33. Let v(n) = 3*n + 23. Let k be v(-7). Solve -3*s - 40 = -5*i, 6*i - u = k*s + 3*i for s.
-5
Let n be 12/10*30/9. Let i(d) = d**3 + 6*d**2 + 4*d. Let c be i(-5). Suppose -c*a - b + 15 = -3, -2*a + 5*b = 9. Solve n*h = -5*s - a, -3*h + s = -h + 5 for h.
-2
Suppose -3*b = q + 5, 0*q - 35 = 5*b - 5*q. Let m(r) = -11*r - 1. Let v be m(-1). Let l = v + b. Solve -4*c - 2*w = -18, -l = -c + 4*w + 2 for c.
5
Let g be 30/135 + (-75)/(-27). Solve 0*m - g*m - 2*w = -7, -4*m = 5*w for m.
5
Let p(y) = y - 11. Let w be p(15). Suppose w*t - 21 - 19 = -4*x, -4*t + 30 = 2*x. Solve x*o + 2*d + 23 = d, 0 = -4*o + d - 13 for o.
-4
Let d(z) = -z**2 + 5*z + 10. Suppose 6 = 2*s, 4*k = -4*s - 17 + 53. Let a be d(k). Solve n + 3*u = -3*n + 6, 8 = -3*n + a*u for n.
0
Suppose 10*o = 2*o + 32. Solve o*h - 3 = -3*a + 13, 0 = -a - 3*h + 12 for a.
0
Let i = -1832 + 1837. Solve 24 = 2*n + 4*q, i*n + q = n + 13 for n.
2
Suppose 0*y = 4*y - 112. Suppose 0*q + y = 2*q. Solve 9 = -4*j + 3*f, -8*j = -4*j + 2*f + q for j.
-3
Let b(q) = -5*q**3 - 22*q**2 - 13*q - 16. Let v be b(-4). Solve -v*o + 4*l = -4, 3*l + 2*l + 35 = -5*o for o.
-3
Suppose 2*q + 2*m = 12, -3*q = -2*m - 4 - 9. Solve -v + 6 = j - 3*j, -q*v - 2 = -2*j for v.
-2
Suppose -3*r + 22 = 2*l + 18, 2*l - r - 12 = 0. Solve 3*f + l*c - 9 - 5 = 0, -5*f + 20 = 5*c for f.
3
Suppose -3*p = -0*b + 5*b - 20, -p = 5. Let d(f) = -f**2 + 39*f - 140. Let n be d(4). Solve k + 2*w = -n*k - b, -3*w = -k + 18 for k.
3
Let p be -7*(-6)/(12/(-10)). Let y be 10/p - (-37)/7. Suppose f = -2*f - 5*i + 40, -5*f + y*i = 0. Solve 0 = -m - 3*m - z + 6, 12 = f*m - z for m.
2
Let j(n) = -17*n - 153. Let z be j(-9). Solve 3*p + w + 20 = z, 5*p + 5*w + 19 = -31 for p.
-5
Let d be (-86)/(-215) - 2/5. Solve -2*j + d*l + 4*l = -22, -3*l - 19 = -2*j for j.
5
Suppose r + 14 + 10 = 0. Let x be (-12)/r*(0 - 0). Solve -2*z + 6 = -2*c, c + 3 = -z - x for z.
0
Let s(g) = -g**3 - 9*g**2 - 2*g - 13. Let q be s(-9). Let k(f) = 0*f + 15 - q*f + 6*f. Let d be k(-12). Solve 0 = -2*n + d*n + 5*v + 1, 4*n + 4 = -2*v for n.
-1
Suppose 42*d - 12 = 38*d. Let s be (1/(-2))/((-7)/126). Solve -r = -2*b - 1, s*r - 2*b = 4*r - d for r.
-1
Let b = 112 - 108. Suppose b*p - 18 - 2 = 0. Solve -13 - 16 = -2*v - p*y, -4*v = 5*y - 33 for v.
2
Let p(y) = y**2 + 19*y + 6. Suppose 8*r = 3*r - 95. Let o be p(r). Solve -o*b - 10 = -b - 3*u, -b - 2*u = -11 for b.
1
Let a = -12 + 18. Let y(f) = f. Let b be y(a). Suppose -9*t + b*t = -12. Solve -t + 0 = -2*j, -g + 13 = 5*j for g.
3
Let y(i) = -107*i + 215. Let t be y(2). Solve 2*q - 7 = 4*k + t, -2*q + 2*k = -6 for q.
2
Let n(s) be the second derivative of -s**3/6 + 6*s**2 + 5*s. Let h be n(14). Let w be 3 - h/(1 + -3). Solve -2 = c, -c = -7*i + w*i + 17 for i.
3
Suppose -3*i - 4 = -2*r, -4 - 2 = i - 3*r. Solve -6 = -3*t + 3*w, i*t - t + 6 = w for t.
4
Suppose -3*o + 7*o - 68 = 0. Let x = o - 12. Solve 2 = -j, s - x = 4*j + 2 for s.
-1
Let i be 0 - 4/6*-6. Solve 4 = -4*q + 4*n, 3*n + 2*n - 8 = i*q for q.
3
Let o(f) = f**3 - 5*f**2 - 5*f - 4. Let n be o(6). Let w be (n - -3)*(4 - 3). Solve -4*x = -2*d + 3*d, -3*d = w*x + 7 for x.
1
Let b = 15 + -17. Let q = 6 + b. Suppose -24 = -4*l - q*f, -4*l - 3*f + 16 = -4. Solve 8 = 4*y + l*k, 0 = -3*y - 3*k + 8*k + 19 for y.
3
Suppose -3*y + 8 = -y. Suppose -139*z + 294*z - 124*z = 93. Solve -28 = -5*k - z*h, y*k = 5*h + 3 + 12 for k.
5
Suppose 4*v - 2*v - 58 = 0. Let n = -27 + v. Solve 4*u = n*x + 8, 3*u - 5*x = -4*x + 7 for u.
3
Suppose 0 = -90*f + 103*f - 26. Solve c = 2*k + 1, -6 = f*c + 4 for k.
-3
Let o = -97 - -121. Suppose o = 5*i + 4. Solve 4*v = -3*k + 19, -i*k + v + 2*v + 17 = 0 for k.
5
Let p be -1*(-848 - -2)/6. Let k = p - 141. Solve 11 = -j + 2*i + 5, k = 3*i - 3 for j.
-4
Suppose 1058 - 183 = 35*f. Suppose a - 3*z + 6 = 4*a, 5*z - 7 = -4*a. Solve 2*b + 32 = 4*q - 3*b, -a*q + f = -4*b for q.
3
Suppose 5*t = -3*y + 10 - 15, 15 = -3*y. Solve -3*s - 8 = t*p, -2*p + 0*s + 2*s = 8 for p.
-4
Let h = 253 - 246. Solve 5*w - 5 = -2*a + h, 8 = w - a for w.
4
Let i = -15 + 46. Let k = -22 + i. Let l be 6 - (k + -3)/3. Solve y + 3 = -0*z - 2*z, -y = z + l for z.
1
Let z be 28/3*(-1 + (-143)/(-44)). Solve p + 3*x - z = -3*p, p - x = 0 for p.
3
Let n = 105 + -64. Let o = n - 30. Solve o = z - 5*l + 3, 3*l + 3 = 0 for z.
3
Let k(h) = 2*h - 26. Let x be k(15). Solve -x*f - 5*n = 0, n + 2 = -f + 3 for f.
5
Let s be (-1885)/(-52) + (-2)/8. Let w be (-126)/(-12)*s/21. Solve 0 = x + x + 4*c - w, -x - 3 = -c for x.
1
Suppose -34 = -8*v - 2. Solve 0 = l - 2*y - 8, v*l - 2*y - 19 = 1 for l.
4
Let i(a) = -a**3 - a**2 - a + 5. Let c be i(0). Let s be -12 + (23 - -9) - 10. Solve 4*u - 14 = -t - 2*t, -c*t = -s for u.
2
Suppose 3*r = -9, 0 = 2*h - 5*r - 4 - 11. Suppose h = 5*a + j + 4 - 27, 3*j - 9 = 0. Solve -z + 3*z + 9 = -n, -24 = a*z + 4*n for z.
-3
Let v = 1 - 6. Let x = v - -10. Suppose -3*f + 2*f + 2 = 0. Solve -4*j = h + h - 4, 0 = -f*h + 5*j - x for h.
0
Let v(l) = -31*l - 527. Let o be v(-17). Let u be 36/10 - (-2)/5. Let r(m) = m**2 + 3*m - 7. Let g be r(-5). Solve -y + 4*x + g = 0, -u*x - 11 + 3 = o for y.
-5
Let o = 13 - -3. Suppose 0*p + 2*p - 20 = 0. Let x = p - 8. Solve -f + 4*r - 3 - o = 0, -x*f + r = 10 for f.
-3
Let n = 84 - 48. Let y = 44 - n. Solve 5*c = -5*x, -12 = 2*c + y*x - 3*x for c.
4
Let y be (-6 + -3)/(2/(-8)*6). Solve -y*h = -3*n - h - 2, 0 = -n + h - 2 for n.
-4
Suppose 2*u + 27 = 3*u - s, 5*s = 15. Suppose 2*k = -0*k + u. Suppose 0 = j - 2*o - k, 51 = j + j + 3*o. Solve 2*b + g = 6, j = b - g - 3*g for b.
5
Suppose -6 = -5*a + 3*s, -4*a + 2*s = -2*a. Solve 2*r - 2*n = -12, -a*r + 5*n - n - 22 = 0 for r.
-2
Suppose -3*d + 32