o*a for v.
0
Suppose 680 - 78 = 7*c. Let v = -74 + c. Solve v = -i - 3*o, -3 = -o + 2*o for i.
-3
Let b(k) = -12*k - 55. Let w be b(-5). Solve -4*y = 3*l + 13, -l - l = -w*y + 1 for l.
-3
Suppose k - 8 = -5. Suppose 4*l = 3*r + 3*l - 12, -r + 4 = -k*l. Suppose 2*a + r*g - 17 = 3*g, -5*a - g + 35 = 0. Solve -t - 2*v + a = -0*v, 10 = t + 3*v for t.
-2
Let q be (-4)/2*(-13)/2. Suppose 9*m + q = 31. Solve d + 5*x - 27 = 0, -m*x + 0*x + 20 = 5*d for d.
2
Let y(p) = -4*p - 74. Let w be y(-15). Suppose -q - 48 = 3*q. Let o = q - w. Solve 3*g - 25 = 5*m, -o*g - 2*g - 3*m + 14 = 0 for g.
5
Suppose l + 4*l + 5*w - 15 = 0, 0 = 3*l - 2*w - 9. Solve -u - 11 = 5*m - 33, m = l*u - 2 for m.
4
Let p = 86 + -92. Let b(o) = o**2 - 4*o - 55. Let g be b(p). Solve 0 = -2*v + x, 0 = 4*v + g*x - x for v.
0
Suppose 12*z = -49 + 85. Solve -4*l + 2*x - 16 = -0*x, -l + z = 3*x for l.
-3
Let u(y) = y**2 + 5*y + 4. Let b be u(-5). Let w(a) = -a**2 - 56*a + 187. Let s be w(-59). Solve s = 5*k - 5*m, -k - b - 24 = 5*m for k.
-3
Suppose 0 = -3*d - 2*g + 15, -2*d - 3*g = -5*d + 15. Solve -4*r + 0*r = -2*k - 10, d*r - k = 17 for r.
4
Let k be (-1)/(-2)*600/5. Suppose -52 = -5*c - b, k = 6*c - c + 5*b. Solve -4*w + 2*q - 3*q = -c, -2*w - 2*q = -8 for w.
2
Let j = 165 + -93. Let d be j/(-108) - 11/(-3). Solve -7*h + 3*f - 12 = -3*h, -f = d*h - 4 for h.
0
Suppose 26*p = 32 + 20. Solve 3*n + n - 4 = -2*u, 4 = p*u - 4*n for u.
2
Suppose 360*j = 353*j + 28. Solve 7 = 23*a - 19*a - i, 5 = -5*a + j*i for a.
3
Let n = 74 - 23. Let b = n + -36. Suppose 2*a + a - b = -2*u, 0 = 4*u - a + 5. Solve 2*x + 6 = -u*q + q, -5*q = -4*x - 18 for q.
2
Suppose 2*t + 12 = -2*t, 2*k - 22 = 2*t. Let y = -54 + 46. Let u = y + k. Solve 0 = 4*b + 4*r - 2*r, 2*b + 2*r = u for b.
0
Suppose -2*k + 1 + 9 = -4*r, 11 = 5*k - 3*r. Let p be (10 - 0) + (0 - k). Suppose -p = -2*b + b. Solve -5*g + 2*g + 3 = 0, g = -5*h - b for h.
-2
Suppose 3*k - 21 = l + 6, 2*l - 5*k + 49 = 0. Let u be -3 - 12*(-9)/6. Let b = l + u. Solve b*d - 5*h + 40 = 0, -4*d - h = -d + 10 for d.
-5
Suppose s + 2*k - 2 = 0, -k + 4 = -3*s + 3. Suppose -1 = -3*x - c, -23*c = -4*x - 20*c + 23. Solve -16 = -2*i - x*i - g, s = -4*g + 16 for i.
3
Let l = -28 - -64. Let m = l - 19. Suppose -3*i + m - 2 = 0. Solve -3*h = 2*k - 7, -i*h + 4*k + 33 = 2*k for h.
5
Let z be ((-2)/2)/(15/(-30)). Let f be 6/(-4)*(-4)/6. Solve i + 0 - 2 = z*p, -p - f = i for i.
0
Let v = 310 + -307. Solve d - 3 = 2*m, 3*m + d + 9 + v = 0 for m.
-3
Let j = 506 + -499. Solve j*p + v - 19 = 2*p, 0 = 4*p + v - 16 for p.
3
Suppose -64 - 84 = 4*y. Let c = 39 + y. Solve -5*s + 2*d + 24 = 4*d, c*d = 4 for s.
4
Suppose -7*w + w - 96 = 0. Let z be (42/(-28))/(6/w). Suppose f + 1 - 19 = -4*u, -24 = -z*u + 2*f. Solve 0*t - 2 = t - c, 0 = u*t + 5*c + 40 for t.
-5
Let p(m) = -m**2 + m + 1. Let s be p(0). Let d = s + 2. Suppose 475*x - 17 = 472*x + u, -2*x = -u - 15. Solve d*j + 3*l + 5 = x, j + 5*l - 7 = 0 for j.
-3
Suppose 10 = 4*v + 5*b, 7*b = 4*v + v - 39. Solve 3*t - 6 = 4*d, -v = 2*t - 7*t + 5*d for t.
-2
Let d(a) = -a**2 + 4*a + 6. Let c be d(6). Let j(n) = n + n**2 + 0*n - 7 + 3*n. Let p be j(c). Solve -p*m + 4 = -1, 3*q - 2*m = -14 for q.
-4
Suppose -54*p + 327 - 111 = 0. Solve p*d = 3*l + 23, -7*l - 16 = -6*l - 3*d for l.
-1
Let x = 289 + -286. Solve 5*p - x*n + 15 = 0, 5 + 4 = -3*p - 4*n for p.
-3
Suppose 2*b - 6*b = -32. Let m = 24 - 22. Suppose -m*z = -7*z. Solve 7*j = 4*n + 3*j + b, z = -2*n - 3*j - 9 for n.
-3
Let o = 1694 - 1692. Solve 4*h = -o*t + 6, t - 5 = 3*h - 22 for t.
-5
Suppose -331*q - 352 = -363*q. Solve 21 = 5*r + 2*v, -q*r - 13 = -12*r + 4*v for r.
5
Let k = -55 + 58. Suppose j + 2 = -2*l, 6*l = 2*l + k*j + 6. Solve l = -0*t + t - 2*h + 4, 0 = -5*h + 20 for t.
4
Let l(m) = 19*m - 9. Let x be l(1). Solve -3*h = 2*y - x, -5*y = -2*h - 3*y for h.
2
Suppose f + 35 + 46 = 2*o, -2*f + 78 = 2*o. Solve -5*j = -4*d - o, -5*j + 3*j + 8 = 0 for d.
-5
Let g = 109 + -107. Solve -4*b + g*d + 3*d - 18 = 0, -2*d = -4 for b.
-2
Suppose h + 9 = 4*h. Let l(w) be the first derivative of 2*w**3/3 + 5*w**2/2 + 2*w - 1. Let t be l(-3). Solve -5*v = -h*p - t, -2*v + 0*v - 29 = 5*p for v.
-2
Let k = 2 - 0. Suppose 2*a - 5*o = -3, 3*a - 15 = -o + 6. Solve 0 = k*t - 4*d + 14, t - 7 = a*t + 4*d for t.
-3
Let t be (-68)/(-12) + (-6)/9. Let x(b) = b**2 + b - 2. Let o be x(-3). Let q be (-1)/2 - (-14)/o. Solve q*k + 1 = -t*u + 9, -20 = 5*k for u.
4
Let v = 3 + -2. Let c = 1216 - 1214. Solve r + v = c*i - 9, 3*i - 2 = -5*r for r.
-2
Let n(a) = -a**2 + 10*a - 11. Let o be n(7). Let u be o*2*4/(-20). Let s be (2/u)/(4/(-16)). Solve -4*l = 0, 5*t - 15 = s*l - 0*l for t.
3
Suppose -5*o - 6*r + 10 = -r, 0 = 3*r. Solve -3*n + 6 = -4*g - 2*n, -o*g - 3*n = 10 for g.
-2
Let f be 5 + ((-16)/4 - -1). Let c(h) = 15 + 0*h**2 - 12*h + 7 + 2*h**f - h**2. Let n be c(10). Solve -n*s + 13 = -3*q - 1, -q - 6 = -2*s for q.
-4
Let b(u) = -u**2 + 7*u + 3. Let o = -61 - -65. Let t be b(o). Solve 0 = 3*m + f + 9, 3*m + t = f - 0*f for m.
-4
Suppose 4*a - 19 - 1 = 4*o, 3*o = -6. Let u(p) = -220*p + 1760. Let i be u(8). Solve -v = -4*v - 5*c - 29, -3*v - a*c - 21 = i for v.
-3
Let p = 20 - 18. Suppose 4 + p = 2*u. Solve -4*n - 3*q = -4*q - 19, -3 = -3*n - u*q for n.
4
Let b(i) = i**2 - 7*i - 2. Let g be b(9). Let x = 21 - g. Solve 40 - 8 = -3*h - 4*p, -x*h - 30 = 2*p for h.
-4
Let f(a) = a**2 - 31*a + 63. Let k be f(29). Solve x + 30 = 6*x - k*d, -4*x - 5*d + 6 = 0 for x.
4
Let x = 805 - 800. Solve -3*w = -h + 5, 5*h - 20 - 5 = x*w for h.
5
Suppose -644*i + 643*i + 4 = 0. Solve i*c + 0*r = -5*r, -3*r + 12 = 0 for c.
-5
Let c be 11/6*2*1*-6. Let f = -20 - c. Solve 3*g - 3*a = 27, 0*g = f*g + 3*a + 2 for g.
5
Suppose 0 = -12*k - 22 + 46. Let r(p) = -p**3 - p**2 - p + 1. Let x be r(0). Solve 7 = h - 3*z - x, 9 = k*h + z for h.
5
Let i = -41 - -29. Let m = i - -17. Suppose w + w + 8 = 2*g, 5*g + m*w = 0. Solve -g*t - 4 = n, 2*t - 5 = 5*n + 3 for n.
-2
Let v(h) = 71*h + 12 - 216*h + 72*h - 3*h**2 + 63*h. Let z be v(-4). Solve -2*m = -s + 1, 0 = -m - z*m - 3*s - 30 for m.
-3
Suppose 0 = 2*c + 5*l - 1, 3*c = 6*c + l - 8. Solve c*b - 3 = 3*x - 0*x, -2*b + 14 = 4*x for x.
2
Let u = 40 + -32. Let g = u - -7. Solve 0*x + 5*x - g = -5*d, 4*x - 19 = 3*d for x.
4
Suppose m = -3*m + 16, 0 = 5*w + 3*m - 217. Suppose -32 = w*d - 45*d. Solve x - 21 = 4*r, -d = -5*x + 2*x + r for x.
1
Let n be ((-40)/24)/(1 + (-16)/12). Solve 5*b - k - 6 = 0, 6*k - 26 = -n*b + 2*k for b.
2
Suppose -18*u + 20*u = 0. Suppose 4*x + 4*n - 2*n = 8, x + 4*n - 2 = u. Suppose 3*y = -x*y. Solve q = y, s - 5*s + q = 12 for s.
-3
Suppose -2*k - 190 = -40*k. Solve -2*g - k*b = -0*g - 4, -g + 2*b + 2 = 0 for g.
2
Let u be (3/12)/(4/80). Suppose 3*f - u*f = -12. Suppose -2*x + g = -3*x + 7, -2*g + f = 0. Solve -3*b - 5*j + x = -0*b, 2*b = -3*j + 2 for b.
-2
Let a = -845 - -849. Solve 0 = 2*s + a*z - 2, 2*s + 7*z = 4*z + 2 for s.
1
Suppose 5*u - 35 = 35*v - 36*v, 4*v + 20 = 0. Solve -3*m = 5*t - 23, t + 0 - u = -4*m for m.
1
Let d = 29 + -29. Suppose u + 2*u = d. Solve -3*o + 4 = 2*g - 1, -5*g + o + 21 = u for g.
4
Suppose -3*k - 136 = -16. Let x = 43 + k. Solve 0*u = 5*u - x*m - 26, 3*u = -2*m + 8 for u.
4
Let m = -108 + 116. Suppose -4*h - 4*s + m = -8, -3*h = -2*s + 8. Solve 0*g + g - 3 = a, h = 2*a + 2*g - 6 for a.
0
Let m = 46 + -21. Solve 4*i = -2*z - z - m, 14 = -5*i + 2*z for i.
-4
Let x(t) = -t + 5. Let d be x(-9). Suppose 8 + 48 = -8*p. Let j = d + p. Solve 5*a = 3*v + 4, a - j = -2*v - 1 for a.
2
Let m(x) be the third derivative of -x**6/120 + 2*x**5/15 + 5*x**4/12 - x**3 - 24*x**2. Let d be m(9). Solve 2*r = d*o - 5, 4*r + 5*o + 5 - 28 = 0 for r.
2
Let c(j) = -128*j - 1152. Let d be c(-9). Solve m + 6 = -l, 18 = -5*m - d*m - l for m.
-3
Let f(w) = 6*w**2 - 4*w - 9. Let d be f(-2). Solve -3*o + 4*m + d = -0*o, 3*o + 2 = -m for o.
1
Let w be 4 + -6 + 296/8. Solve -w = -5*g + 6*b - b, 20 = 2*g - 4*b for g.
4
Suppose -2*k = 3*p - 7, 2*k - 7 = p - 4. Solve -20 = -4*q, a - k*q = -6*q + 21 for a.
1
Suppose 2*k = 2*s + 3*s + 21, -3*k - 5*s = 31. Let m be (-42)/(-3) + (k - 1). Solve t = -3*g - m, -4*g + 0*g = -2*t + 8 for t.
-2
Suppose 52*g = 7*g + 180. Solve g*z = -4*u + 20, 3*u + 0*u - 9 = -z for u.
2
Let h be 845/45 + 4/18. Suppose 0*u + h = 3*b - 4*u, -2*u = 