 -u*p = -2*f + 15 + 10, p + 5 = 2*f for p.
-5
Let u be (20/8)/((25/30)/5). Solve 4*n - u = -0*z + 5*z, 4*n = -z + 21 for z.
1
Suppose -o + 7*o - 24 = 0. Suppose 0 = -q - m + 9, -o*q - 3*m = -6*q + 3. Solve -23 = 5*j + 2*h, -h + 2 = q for j.
-3
Let u be 2*1/(-15) + 14194/705. Solve n - w = 0, n - 3*w = -6*w - u for n.
-5
Suppose 34 = 5*m - 6. Suppose -6*k - m = -38. Let d be (0 + 0)*(-1)/1. Solve 5*x + 10 = k*p + 2*x, -p - 5*x + 2 = d for p.
2
Let k be -6 + (-7 + 26 - 6). Solve 0*w - 2*w = 5*b + 1, 4*b = w + k for w.
-3
Let v be -6 + 0 + (-5 - -45). Solve 0*n - 3*c + 19 = 2*n, -5*n - 3*c = -v for n.
5
Let q be (-49)/14 + 8 + (-3)/2. Solve -q*x + 4*j = 5, 9 = -5*x - 5*j - 11 for x.
-3
Let b = 77 - 51. Suppose -2*o + d - b = -7*o, -d - 24 = -5*o. Solve -3*a - s = -0*a - 8, o*a - 10 = -s for a.
1
Let r be (-9)/(1/(-2)*1). Let x = r + -13. Let g(h) = 797*h + 3190. Let l be g(-4). Solve -2*a + 5*c = x, -5*a + l = 3*c - 1 for a.
0
Suppose -39*u + 41*u - 8 = 0. Solve 2*c - 3*g = 3*c - 3, g + u = -2*c for c.
-3
Let k(f) = f**2 - 16*f + 15. Suppose -3*z - c = -49, 12 = 4*c - c. Let r be k(z). Solve -6 = -3*n - 3*a, -3*n + 10 = -r*n + a for n.
4
Suppose 5*j - p - 3*p = 110, j - 3*p = 11. Let w be (-4)/j + 555/(-195). Let y = 21 - w. Solve -3*z - y = -3*n, 0*z - z = -3*n + 18 for z.
-3
Let z(d) = 8*d - 1. Let y be z(1). Let w be 128/y - (-4)/(-14). Suppose 25 = u + 5*h, 2 = u + 4*h - w. Solve 0 = 5*k - 2*a + 10, -k - a = -u*k + 9 for k.
-4
Let c(w) = 2*w**2 + 2*w - 35. Let g be c(-5). Solve 0 = 2*j + 4*u - 9*u - 25, 5*u + g = -2*j for j.
5
Suppose 11 = 10*c - 29. Solve 7*l = 3*l - 16, c*w = 2*l + 16 for w.
2
Suppose -19 - 2 = -7*f. Solve -f*n - 2*n - 5 = 0, n + 10 = -3*c for c.
-3
Let x be (-2 - 1)/(6/(-8)). Let p = 9 - x. Solve 0 = -2*v - w - p, -4*v = -v + w + 6 for v.
-1
Suppose -5*q + 43 = -77. Let t = 27 - q. Solve -2 + 1 = 5*a + 4*f, f + 2 = -t*a for a.
-1
Let x(o) = -45 - 287*o + 600*o - 303*o. Let s be x(5). Solve -4*v - s*c + 2 = 1, -3*v + 5*c = -27 for v.
4
Let j(m) = -m**3 + 2*m**2 + 3*m. Let i be j(3). Let d = -75 - -77. Suppose d*w + i = 14. Solve 4*n - 3*k = -n - w, 13 = n + 3*k for n.
1
Suppose -28*o + 114 = 10*o. Solve p + 16 = 3*g, 5*g - 27 = 5*p - o*p for g.
5
Let j be (-1 + 2)/((-2 - -9)/133). Solve -2*y - 2*n = -2, -4*y = y - n + j for y.
-3
Suppose -88*z + 95*z = 147. Solve -13 = 2*i - b, 3*b - b - z = 3*i for i.
-5
Let p(i) = -2*i + 66. Let x be p(25). Solve 0 = -z - 3*z - 2*w + x, -z = 4*w - 4 for z.
4
Let p = 0 - -3. Suppose 4 = s + y, -2*s + 0 = -p*y + 12. Suppose s*i + i - 3 = 0. Solve -q + 3*u + i = 0, -4*q - 4*u = 10 + 10 for q.
-3
Let t be 26 - 28 - (-1 + -6). Solve 3*u - 7*u = 3*i - t, -5*i - u = 20 for i.
-5
Suppose 2*b - 2*r = 196, -5*b - r + 508 = 3*r. Suppose 0 = -3*m - m + b. Suppose 0*f - 6 = -3*f. Solve -15 = -f*h - 0*h - 5*o, h - 4*o + m = 0 for h.
-5
Let v = 51 - 48. Suppose -2*n - 3 = -11. Solve -4*y - 40 = -4*w, 8*w - v*w = -n*y + 5 for w.
5
Let i be 1/1 - (83 + -99). Solve -t + i = -4*p, 2*p + 0*p = 2*t - 16 for t.
5
Let g = -4 - -7. Suppose 25 = -3*m + 5*i, -m + 5*m + i - 5 = 0. Suppose -z = -g - m. Solve s = 2*f + z - 2, 40 = -5*s - 5*f for s.
-5
Suppose 3*t - 5 = -11. Let b(h) = h**2 + h + 2. Let v be b(t). Solve -v*w = -4*u - u + 23, 4*w = -u - 5 for u.
3
Let z = 1 - -52. Let r = -50 + z. Solve 6*t - r*t = -x - 11, -2*t + 21 = -5*x for t.
-2
Let j(g) = g**2 - 10*g - 4. Let m be j(10). Let k be m/(-14) + (-380)/(-140). Solve 8*c - k*c = q + 11, -2*q + 17 = 3*c for q.
4
Let r be (-7)/(-2)*((-13)/7 + 3). Solve -8 = 4*i - 4*z, -r*i + z + 2 = 10 for i.
-2
Let z be 6/15 + 46/10. Suppose -z*s - 2 + 17 = 0. Solve 0*h - 4*u + 12 = s*h, -h + 2*u + 4 = 0 for h.
4
Let b = -2237 + 2241. Solve -b*w - 3*u - 4 = 0, -5*w + 4*u - 6*u = 12 for w.
-4
Let r = -25 + 40. Suppose -r - 6 = -w. Solve -3*q + w = 3*k, -3*k + 27 = q + 2*k for q.
2
Let x be (2 - 0)/(-2) + 63/3. Suppose 3*o + o = x. Solve 5*i + o*w + 20 = 0, 0 = 4*i + w - 1 + 17 for i.
-4
Let c be (2/(-4)*11)/((-14)/28). Suppose -c*n + 30 = -5*n. Solve -n = -5*l - 4*a + a, 3 = 3*l - 2*a for l.
1
Let i be -2 - 0 - (-4 - -2). Let n(b) = 12*b**2 + 4*b - 3. Let x be n(-1). Solve -x*m - 17 = -4*y, -2*m + i*m + 3*y = 4 for m.
-5
Suppose -3*n - 3*u = 3, 0 = n - 2*n - 2*u - 6. Suppose -x = -n*i + 12, -5*i = -0*x - 2*x - 12. Solve 5*h + 23 - 1 = -l, -i*l + 8 = -4*h for h.
-4
Let o(t) = 0*t**3 - 6*t**2 - 4*t + 0*t**3 + 2*t**3 + 10 - 3*t**3. Let m be o(-5). Suppose m*x = 52 - 2. Solve 5*f = x, -4*b + 3*f = 2*f + 14 for b.
-3
Let w(q) = 36*q + 328. Let f be w(-9). Solve -p = -4*u + 7, -7*u + f*p = -2*u - 17 for u.
1
Suppose 16 = z - 34. Let k be (-2)/5 - 480/z. Let w = 16 + k. Solve y + 4 = x + w*y, -5 = -5*y for x.
-1
Let a(z) = -z**3 + 6*z**2 - 3*z - 8. Let k be 1 - -1 - 6/(-2). Let w be a(k). Solve -2*i = w*s + 12, -3*i - 5*s - 24 = -0*i for i.
-3
Let v = -921 + 923. Solve -z + 5 = 0, -35 = -3*h - v*z - 2*z for h.
5
Let g = 373 - 368. Solve 0 = -3*m + 4*z - 3 - 1, -2 = -g*m - 2*z for m.
0
Suppose 0*o + 2 = o. Suppose 7*i + 231 = 245. Solve 4*a + o*j - 12 = 6*j, 3*j - 16 = -i*a for a.
5
Let z(b) = b**3 + 23*b**2 - 27*b + 31. Let s be z(-24). Suppose 7*h - s - 30 = 0. Solve 5*d + 1 = 3*t - h, 0 = 2*t - 2*d - 12 for t.
5
Suppose 3693*u - 3681*u - 48 = 0. Solve a + 4 = 5*a - 2*j, -4*j + u = -2*a for a.
2
Let j(s) = 7*s + 140. Let o be j(-20). Solve 3 = -3*v - 3*h, -h - 19 = -5*v - o for v.
3
Let s(i) be the first derivative of i**4/4 + 16*i**3/3 - i**2/2 - 12*i + 23. Let j be s(-16). Solve -2 = 4*n + v, 0*v - 4*v - 8 = j*n for n.
0
Let l be (-4 + (8 - 4))/(-1). Suppose -3*f - o + 12 = 0, -5*f + 20 = -l*o + 5*o. Solve n = f*r + 15, -5*n - 2*r - 11 = -2*n for n.
-1
Suppose 2*w - x + 0*x - 2 = 0, 4*w - 3*x - 2 = 0. Suppose 8*k - 3*k = 10. Solve -3*o - k*j + 16 = 0, -w*o = 5*j - 2 - 16 for o.
4
Let b = 83 + -58. Suppose -7*x = -3 - b. Solve 4*z + 3*h = 11, -x*z - 2*h = -z - 8 for z.
2
Let n(b) = b**2 + b - 69. Let s be n(-9). Solve 4 = 2*u, -4*r + r - s*u = -9 for r.
1
Let t(q) = q - 1. Let y be t(4). Let h = 19 - 37. Let o = h + 20. Solve z = 3*s - y, 3 + 4 = z + o*s for z.
3
Let j(o) = o**2 + 5*o + 5. Let v be j(-5). Let q = v - 5. Suppose -2*u + 1 + 9 = q. Solve u*a + 0*f = 3*f - 13, 3*a - f = -7 for a.
-2
Let r(x) = 14*x - 64. Let o be r(5). Solve 5 = 5*t + 4*p, 4*t - o + 23 = p for t.
-3
Let t = -61 + 61. Let m be t/(-3 + (1 - -4)). Solve m - 4 = 4*o + 4*j, -4*j = -2*o - 20 for o.
-4
Let b be ((-4)/(-6))/(3/54). Suppose -b*r = -3*r - 81. Solve -4*v + r*v - 11 = 3*t, -4*t + 12 = 0 for v.
4
Let q(l) = 34*l + 207. Let b be q(-6). Let o(f) be the second derivative of f**3/6 - f. Let a be o(b). Solve -5*h = -4*t - 19, 5*h + 2*t - 10 = -a*t for h.
3
Let m = -4 + 4. Suppose -2*q + 7*q + 80 = m. Let c be ((-40)/q)/((-2)/(-12)). Solve -3*k = k + 5*j - c, -3*k + 2*j - 6 = 0 for k.
0
Suppose 3*a + 4 - 28 = 0. Let c = a + -5. Solve -2*f + 4*k = -10, 0*f + c*k + 24 = -4*f for f.
-3
Suppose -2*k + 128 - 488 = 0. Let o be (12/10)/((-27)/k). Solve 2*z + 3*z + y = -1, 3*y - o = -4*z for z.
-1
Suppose 0*a - 4*a + 8 = -2*q, -4*q = -3*a + 1. Solve -2*t = -a*h + 11, t + 4 = h - 0*t for h.
3
Let q be 3 - ((-1)/5 - (-54)/45). Let v(s) = -s**2 - 5*s + 8. Let r be v(-6). Solve r*d + n - 4 = -n, -5*n - q = d for d.
3
Let u = 29 + -22. Let q be 102/5 + u/((-105)/(-9)). Solve b = 4*w - 8, 5*w = 4*w + 5*b + q for w.
1
Let t = 1 - -4. Suppose t*c - p = 20, 4*p + 37 = 4*c - p. Suppose -f + c*h = 3*f + 4, f - 10 = -2*h. Solve -5*l - g = f*g - 15, l - g + 5 = 0 for l.
0
Let u = 189 + -164. Solve -2*y - 5*w - u = 0, y - 3*w + 7 - 11 = 0 for y.
-5
Let s be 5*3 - 0*(-7)/(-84). Let u = 17 - 14. Solve -2*x - 2*y = -10, x = -u*x - 3*y + s for x.
0
Suppose 3*g - 6 = g. Let v be (-1 - 7/(-2))*96/60. Suppose 3*i - 2*r = 18, i = 3*i + v*r + 4. Solve -g*k + i*k = 4*x - 19, -3*x - k = -9 for x.
4
Let s = -16 + 17. Let l be 1 - (s - (3 + 1)). Let y be 1*(-1 - 4*-1). Solve 4*f = l*d - 28, -2*d = -4*f + y*d - 33 for f.
-2
Suppose -3*b = 2*j - 26 + 7, 0 = -j + 2*b - 8. Suppose 0 = -3*u + j*o + 3*o + 28, 2*u = 5*o + 12. Solve z = 4*z - 5*g + u, -15 = -3*g for z.
3
Let a = 61 + -27. Suppose 85 = 5*n + 2*k + 2*k, 0 = 2*n + k - a. Suppose 0 = -3*p + 4*m - 10, 1 = -3*p + m + 3. Solve t + 3*w - 13 = -0*t, p*t - n = -3*w for t.
4
Suppo