
Let s(a) = 9*a - 4. Let c be s(1). Solve -10 = c*i, -f = 3*f + 2*i - 16 for f.
5
Let d = 67 - 46. Let b = d + -20. Solve 2*n + b + 1 = 0, v + 10 = -5*n for v.
-5
Suppose 0 = -5*h + 7*h - 14. Let c be (-13)/(-1) - (-14)/h. Solve 2*m + o - 17 = -2*m, -c = -4*m + o for m.
4
Let s = 7 - 9. Let o(b) = b**2 + 3*b + 5. Let d be o(s). Solve -x - 5*k = -d*x - 11, 0 = 3*k - 9 for x.
2
Suppose 5*m - 198 = -23. Suppose 2 = v, -3*d + 0*v + 2*v + m = 0. Solve -5*t - 4*q + d = -0*q, -3 = 3*t - 3*q for t.
1
Let o be -3*(-4 + 21/9). Solve -4*y - 20 = -o*g, -4*g - 5 = -2*g + y for g.
0
Let j be 3*-6*(-4)/18. Suppose 21 = -0*c + 7*c. Suppose 0 = -c*s - v + j + 7, 18 = 4*s + 3*v. Solve 5*m + s*i - 29 = 3, i = -2*m + 12 for m.
4
Let u be -2*(-3)/(-2)*2. Let o = 8 + u. Suppose -5*b + 10 = 5*f, -4*b - f + o = b. Solve b = -a - a + l + 13, -15 = 3*l for a.
4
Let v(d) = d**2 - d - 25. Let z be v(-5). Solve 2*j = a - 12, 3*a + z*j = -0*j - 19 for a.
2
Suppose -2*r + 44 = 36. Suppose 0 = -2*j + 4*c - 9*c + 1, j - 2 = -c. Suppose -2*y - 58 = -j*s, 0*y + 1 = s + 3*y. Solve 3*w = f - s, -r*w = f - 0*w + 19 for f.
1
Let f be (2/(6/7))/((-7)/(-42)). Let r be 17/((-4)/f + 18/14). Solve -5*x = 4*q - r, -5*x + q - 1 = -3 for x.
1
Let u be 8*((-4)/14)/((-100)/175). Suppose -x = -4*x - 5*p + 15, -5*p + 15 = x. Solve -l + 3 = x, u*h + 0*l - 5*l + 35 = 0 for h.
-5
Let f be (-8 - -18)/(-2 - -4). Solve -5 = -4*r + 11, f*r - 22 = -x for x.
2
Let h = -11 + 18. Let y = 153 + -153. Let w = h - y. Solve 24 = -4*n - 5*g + w, 0 = -g - 5 for n.
2
Let w = -2832 - -2837. Solve 13 = g - 3*p, 0 = 3*g - w*p - 22 - 5 for g.
4
Let s = -4 + 7. Suppose 6 = -s*i + 5*i. Let a be 12/9*i/2. Solve 2*v + 2*v = 2*p - a, 3*p - 3 = 0 for v.
0
Let w(x) be the second derivative of x**5/20 - x**4/12 + x**3/2 - x**2/2 + 4*x. Let j be w(2). Let l = j - 4. Solve l*d - 2*t + 5 = 2*d, -2*t - 1 = -d for d.
-3
Suppose 0 = 3*n - 2*n + 3*r - 9, -2*n + 10 = 2*r. Solve -n*k = -2*z + 7, -4*z + 26 = 6 for k.
1
Suppose 5*r + 6 = -19. Let i be r*-2*(-1)/(-5). Suppose 9 = 4*z + 13, -4*c - 4*z = -32. Solve -1 = -3*y + i*n - c, 3*y - 16 = -4*n for y.
0
Let p be 6/15 + (-11)/(220/(-112)). Solve -n + 4*y = 3, 3*y - 15 = 3*n - p for n.
-3
Suppose -3*u - 2 - 3 = -4*c, -3*c + 40 = 5*u. Solve -2*k + 3*p = -3*k - 5, -c*p - 11 = -k for k.
1
Suppose -3*d = -5*i + 19, -4*i = -d - 2*d - 14. Solve -4*p - g - 4 = -4*g, 8 = -4*p + d*g for p.
-4
Let v be (0 + ((-4)/2 - -2))/(-2). Suppose 4*x + 30 - 74 = v. Solve 4*n - x = 3*f - 33, 2 = f for n.
-4
Suppose 2*p - 48 = -4*z - 28, -5*z = 4*p - 25. Solve 0 = 2*r + g + 6, 4*r = -z*g - 12 for r.
-3
Suppose 3*v - 2*v + 2 = 0. Let d be ((-136)/24)/(v/6). Suppose -11 = b - d. Solve -2*u + 30 = -b*l + l, 2*u - 14 = l for u.
5
Suppose 6 = 6*v - 6. Suppose -2*n - v = -4*o, 4*o - 2*n = -6*n + 20. Solve -m - 2 = -g - 5, 8 = -3*g + o*m for g.
-2
Suppose -2*n = -33 - 1. Suppose -4*p + 19 = -n. Let a be p/(-27) - 32/(-6). Solve 4*k - 15 = -a*q, 2*q - 3*k + k + 12 = 0 for q.
-1
Let g = -17059 - -17071. Suppose 3*l - y - 18 = 0, 8 = l - 2*y + y. Let v be 8/5 - (-2)/l. Solve -3*p = -g, -16 = x - v*x - 5*p for x.
-4
Let t be (3/5)/(369/1230). Solve -4*d = d - 4*k + 14, -t*d = -5*k + 9 for d.
-2
Suppose 0 = h - 2*a - 19, h = 3*a + 8 + 11. Let k = h - 19. Suppose 2*f = -u + 7, -2*u + 0*u = -5*f + 4. Solve n + 2*i + 5 = k, 0*n + 35 = u*n - 4*i for n.
5
Suppose -9*u - 8*u + 68 = 0. Suppose 6 = 4*s + 2*q - u, -5*q + 1 = 2*s. Solve s*i + 29 = 5*a + 7*i, 0 = 2*a - 5*i - 5 for a.
5
Let b(m) = 4*m**2 + m. Suppose 0*d = 2*d - 5*r - 22, -2*r - 4 = 4*d. Let w be b(d). Suppose 8*c - 19 = -3. Solve -w - 5 = -c*t + 3*u, -20 = -4*t - u for t.
5
Let k = -1378 + 1383. Solve 0 = -p - 3*c + 13, -3*p + k*c - 8 = 9 for p.
1
Suppose -4*m - 33 = -49. Let g = -13 + 33. Let z = 10 - 7. Solve 2*t + m*p = 3*t - g, 3*p = -z*t - 15 for t.
0
Suppose 2*t = 4*c + 14, 5*t - 3*c - 10 = 2*c. Let w = 5 + t. Solve -a = -6*a - 2*i + 12, a - 4*i + w = 0 for a.
2
Let y(i) = 2*i - 3. Let h be y(4). Suppose g + o - 3 = -3*o, 97 = 4*g - o. Solve 5*b - h*u = g - 3, 12 = b - 3*u for b.
0
Let z = -63 - -83. Solve 0 = r - 0*r - 4*a - 12, 0 = -5*a - z for r.
-4
Let m(z) = -z**3 + 18*z**2 - 31*z + 2. Let t be m(16). Solve -t = -3*v - 4*y + y, -2*y = -v for v.
4
Let m be (-5)/((-5)/(-4)) + 0. Let j = m - -6. Let z(k) = k + 38. Let f be z(-8). Solve -7*d + 3*d - j*n - f = 0, 3*d - 5*n - 10 = 0 for d.
-5
Suppose 5*q = -5*s + 65, -2*q + 7 = s + q. Let w(p) = p**2 - 7*p - 36. Let f be w(-4). Suppose 6*i - f*i = 0. Solve -3*n = -5*r - s - i, r - 1 = 2*n for r.
-5
Suppose 0 = 25*o + 7 - 57. Solve -4*g - o*a + 14 = -6*g, 0 = -3*g - a - 1 for g.
-2
Let g be ((-2)/(-10))/((-1)/(-5)). Let n = g + 2. Suppose 3*s = 5*d - 6, -4*d + 0*s = -2*s - 6. Solve m + f = -d - n, f - 9 = 4*m for m.
-3
Let y = -310 - -310. Solve -f - 5*h - 1 = 15, -2*f + 3*h + 7 = y for f.
-1
Let o(q) = q**2 - 7*q - 8. Let y be o(-2). Solve -2*a - 3*a = -y, 0 = -4*r + 4*a - 16 for r.
-2
Let l(c) = c**3 - 7*c**2 - 15*c - 9. Let k be l(9). Suppose -5*x + 11*x - k = 0. Solve -x*d + 5 = -8*d + 5*g, -7 = -5*d - g for d.
1
Suppose 7*i - 20 = 2*i. Suppose 0 = 6*f + 8*f + 42. Let x be i*9/6 + f. Solve 5*v = x*m - 2*m - 23, -5*v - 25 = 0 for m.
-2
Let l(u) be the third derivative of u**6/120 - 3*u**5/20 + u**4/12 - 5*u**3/2 + 18*u**2. Let n be l(9). Solve n*i - 15 = 5*c - 0, -4*i + c = -3 for i.
0
Suppose -2*p = -8*g + 3*g + 19, -3*p = -4*g + 11. Let t(d) = 4*d + 4. Let l be t(-4). Let y be p/6 + (-30)/l. Solve -3*m - y = w + 4, -2*m = -2*w - 6 for w.
-4
Suppose 4*w - 44 = 2*l, 8*w - 4*l = 10*w - 32. Solve r - 8 = 5*h - 2, 5*r - 4*h + w = 0 for r.
-4
Let r = 3 - 3. Suppose -v + 2 + 8 = r. Solve -k = -3*l - v, k + l + 4*l = -30 for k.
-5
Let v be 5/(-6)*8/40*-18. Solve 11 = -2*s - 2*s - 3*l, 3*s = v*l - 3 for s.
-2
Suppose -r + 9 - 1 = 0. Solve -1 = -b - 2*a, 0*a + r = b - 5*a for b.
3
Let n be (3 + (-9)/6)/((-3)/(-14)). Let i(u) = -u**3 + 6*u**2 + 8*u + 5. Let x be i(7). Let c be 45/2*x/15. Solve 0 = -2*a + 4*d - c, 2 - n = 5*a - 2*d for a.
1
Let g(l) = l**3 - 5*l**2 + 10*l - 8. Let v be g(3). Solve 3*o - 19 = -d, 1 - 5 = 4*d - v*o for d.
4
Suppose -5*j = -2*a + 1, 3*j = a + 2 - 3. Let d be 4 - (8 + 8/a). Suppose d = -g + 2. Solve -g*r + o = 1 - 13, o = -3*r + 8 for r.
4
Suppose 0*h - 5*h + 15 = 0. Let j = -10 - -14. Solve -z - 14 - h = -4*s, j*s - 14 = 2*z for s.
5
Let w(y) = 6*y - 5*y**2 + 2*y**2 + 4 - y + 2*y**2. Let c be w(5). Solve -2*r + 16 = c*o, o + 2*o = -r + 13 for o.
5
Let s = 13 - 10. Let f(p) = -p**3 + 7*p**2 - 14*p + 23. Let g be f(5). Solve -5*x + 10 = -3*a, -g*x = s*a + a + 23 for a.
-5
Let y = 1 - -2. Let b = -325 + 339. Solve a = -5*x - b, 4*a + 5*x + y + 8 = 0 for a.
1
Suppose 62 = 5*o + 3*r, 2*r = 3*o - 4*o + 18. Let y be 18 - o/5 - 0. Solve 3*h - y = 7*h, -5*h = b + 23 for b.
-3
Let g = 16 - 13. Suppose 0 = 4*c - 2*c. Suppose -8 = -2*m, c = -3*z - 5*m - 10 + 54. Solve 2*p + g*a - z - 11 = 0, -5*a = p - 20 for p.
5
Let h = -3061 + 3066. Solve -5*b + 9 = 2*l, h*b + 4 = 5*l - 1 for l.
2
Let f(o) = o**2 - 25*o + 118. Let w be f(6). Solve 2*l = 2*h + 8, -6 = -w*h + 3*h - 4*l for h.
-2
Suppose 0 = 3*o + 4*z - 35, -o - z = 3*o - 38. Suppose -15 = o*k - 12*k. Solve 3*r + 2*i + 1 = 0, -k*r + 2*i - 7 = -0*i for r.
-1
Let z = -11578 - -11583. Let n(l) = -2*l - 3. Let f be n(-4). Solve -5*x + x = -s - 11, f*s - z*x = -10 for s.
1
Let x be (0/95)/(1 + 1). Solve -2*u = c - x*c - 12, -2*u - 4*c = -18 for u.
5
Suppose 283*o = 292*o - 54. Solve -20 = 5*y + 3*h, 6*y - o = 7*y + h for y.
-1
Let z be (-1)/2*0/(-5). Let f = -29 + 25. Let n be f/(-24)*3*6. Solve y + n*c = -17, z = -2*y + c + 4*c + 21 for y.
-2
Let r(v) = v**2 - 10*v - 5. Let i be r(11). Suppose 2 = -2*f + i. Solve 0 = -4*z - 5*u - 2, z + f*u = -2*z + 2 for z.
2
Let r be 24/80*5*(-16)/(-6). Suppose 2*v - 4*x - 7 - 5 = 0, r*x + 8 = v. Solve -3*d - 3*i + 6 = -6*d, -2*d - v*i + 8 = 0 for d.
0
Suppose 24*f + 72 = 27*f. Solve 3*m = -5*w - f, -3*m - w + 0*w = 12 for m.
-3
Suppose 4*c = -3*c + 392. Let l = c + -25. Solve 4*s - l = 4*w + w, -3*s = 2*w - 6 for s.
4
Suppose v + 3*l = -14, 3*l + 11 = -0*v - 4*v. Let j = 26 + -14. Suppose 5*t - j = 2*t. Solve 4 = -4*h + t*z, 6*h + v = 5*h + 5*z for h.
-1
Let s = -51 + 67. Solve 2*q = -4*a - q - s, 3*q = 0 f