+ 0*v = v - 4 for c.
0
Suppose 2*q = -q. Suppose k + 6 = 4*j + 4*k, 2*k + 4 = 0. Solve -j*d - 4 = 4*s, -d + s - 5*s + 4 = q for d.
-4
Let o(y) = -33*y - 226. Let h be o(-7). Solve 5*p = 3*j - 25, 0*p + h*j = 2*p + 29 for p.
-2
Suppose -3*y + 10 = 5*x, -y + 26 = -7*x + 3*x. Solve 2*c = 5*s + 12, s - y + 6 = 2*c for s.
-4
Let c = -190 + 195. Solve 13 = 5*o + 4*g - 6*g, -25 = -5*o + c*g for o.
1
Let y(j) = 2*j + 8. Let k be y(0). Solve n = p - 1, -6*p + k = -2*p for n.
1
Let g be 4*(1 - 2) + 5. Let y(u) = 5*u**3 + 2*u**2 - u + 1. Let k be y(g). Suppose 0 = -k*i + 33 - 5. Solve 10 = 2*w - i*h - 0*h, -4*h = 20 for w.
-5
Let d(h) = -h**2 + 8*h - 10. Let g be d(11). Let c = g + 24. Let r = -14 - c. Solve 3*m = -3*f, -r*m + 25 + 3 = -2*f for m.
4
Let u be -9 + 3 + 0 + -1. Let w = u - -10. Suppose 0 = -3*i + 2*d + 18, 2*i - w = -3*d - 4. Solve -2*m + i*v = 8, -m - 2 - 1 = -v for m.
-2
Suppose -5*h = v + 18 + 13, -2*h + 4*v = 30. Let p = h - -28. Let o = 23 - p. Solve -3*s - 4 = -2*c - 5, -c + 10 = o*s for c.
4
Let f be 15/10 - 18/(-12). Solve b - f*s - 9 = -2*b, -2*b + 11 = 3*s for b.
4
Let q(v) = -v**3 + 5*v**2 - 3*v - 3. Let d be q(3). Let x be 3/(-6) - (2 + (-15)/d). Solve x = 5*u + r - 0*r + 24, u + 2 = -3*r for u.
-5
Let q(y) = 2*y**2 - 61*y + 89. Let r be q(29). Solve -r*d = -5*l - 29, -l - 9 = d - 6 for d.
2
Let f(g) = g - 4. Let b be f(4). Suppose -73*m - 63 = -355. Solve -5*k - 25 = -5*t - 0*k, m*t + k = b for t.
1
Let q(t) be the third derivative of -t**5/60 + 7*t**4/12 + t**3/2 + 14*t**2. Let j be q(14). Solve -18 = 7*a - j*a + 2*r, 5*r = 2*a + 3 for a.
-4
Let o = 69 + -65. Suppose -k = -4*k - o*b, 3*b = -k - 5. Solve 0 = k*x - j - 5, j - 4*j + 2 = 5*x for x.
1
Suppose 3*t - 15 = -2*t. Suppose 2*d - 5*y - 4 = -y, 0 = t*y - 9. Let h(m) = -m**2 + 8*m + 2. Let f be h(d). Solve c = 2*c - 5, -4*p - f*c = -26 for p.
4
Suppose -2*n + 2 + 1 = 3*q, 12 = -4*q. Let v = -27 + 30. Suppose -v*b + n*b = 0. Solve 4*x - 6*x - 12 = 2*d, b = -2*x + 4*d for x.
-4
Let n = 10 - 5. Suppose 45*w = 39*w + 12. Solve n*o + 26 = 4*d, 4 = -w*d + o + 14 for d.
4
Let a = -135 - -153. Let d be 1 + (0 - 1) + 3. Solve 3*p = -0*p - 2*b + 17, d*p + 3*b = a for p.
5
Suppose -9*r = -30*r + 42. Solve -3*f = -3*y + 3, -17 = 5*f - r*y + y for f.
-4
Let x be (0 + (-3)/3)*-15. Suppose -3*d + x = -0*d. Solve 2*l = -d*n + 1, -3*n = 2*l - 3*l + 6 for n.
-1
Suppose -4*x + 56 = 3*u, u + x - 25 = -6. Let j = u - 17. Solve -j*s - v + 14 = 2*s, 2*s - v = 7 for s.
3
Let w = 21 + -21. Suppose 2*o - 3*o + 4 = w. Suppose -o*z = -19 + 3. Solve 0 = y + 3, -2*g + 2*y = -z*g + 2 for g.
4
Let f = -1626 + 1629. Solve -12 = -4*l, 27 = f*i + i + 5*l for i.
3
Let r(f) = f. Let b be r(2). Suppose -5*a + 4 = -d - d, 2*d = 6. Suppose -11*q = -a*q - 162. Solve -b*c - q = 4*t - c, -c = t + 6 for t.
-4
Suppose -y + 3 = k, -y - 3*k = 3*y - 13. Suppose 14 = 2*t + 4*s, 0 = t - y*s + 3*s - 4. Solve 3*a + t*g - 30 = 0, 2*a = 5*g - 0 - 5 for a.
5
Suppose -u + 20 = k, 4*u + 0*k - 77 = -k. Solve 2*f - 1 = 4*s + u, 3*f + 3*s = 3 for f.
4
Suppose -3*a = -2*g - 4*a - 18, -4*a = -g. Let b be 2/(-3) - g/48*4. Solve 2*j + 2*y - 4*y - 16 = b, -3*y = -2*j + 19 for j.
5
Suppose -6 - 4 = -2*t. Suppose -2*f + 16 = 2*h, t*h + f - 8 - 12 = 0. Solve 0 = 5*q - 2*p - 17, h*p = q - 2*q for q.
3
Let f be (-10)/2 + 4 + -1. Let c be 4*f/(-8) - -1. Let r(g) = g**2 - 11*g - 10. Let n be r(12). Solve 0*u - a = -u - n, -4*a = c*u + 4 for u.
-2
Suppose 2*b = -u + 13, b = -2*u - 2*b + 22. Let j = 0 - -3. Solve -19 = -j*a - 2*i, -5*i + 2*i + 30 = u*a for a.
3
Let m(u) = 37*u**2 - u. Let q be m(2). Suppose 0 = 4*z - 21 + 9, -3*z = -5*v + q. Suppose -v = -3*k + 38. Solve -3*p + 2*y + 15 = -8*p, k = -3*p - 4*y for p.
-1
Let z(k) = 3*k**3 - 19*k**2 + 29*k - 3. Let m be z(4). Solve 12 = -a - 5*s - 17, 0 = 4*a - 3*s + m for a.
-4
Let o = 33 + -28. Let i = -2 + o. Suppose i*z = 4*z - 3. Solve -4*g + 5*n - z*n = 0, -5*n - 10 = 0 for g.
-1
Let o be 2*(-1)/9 + (-2494)/(-774). Solve -o*s - 5*r = 12, s + 2*r + 2 = -3 for s.
1
Let l = 17 + -6. Suppose 3*g = 4*k - l, k = 7 - 2. Solve -5*m - 15 = -0*m - g*x, -m - 3*x = 3 for m.
-3
Let y(n) = n**2 + 2. Let l be y(0). Let c be -18 + 25 - (2 + -1 + 4). Solve o - 1 = l*j + 2*o, c = 2*j + 4*o for j.
-1
Suppose 10*a - 8 = -28. Let b be a + 21*3/9. Solve -b*q - 50 = 5*n, -2*q - q = 15 for n.
-5
Let b be 2/(-5) - 44/(-10). Let l = 23263 + -23259. Solve -12 + l = -2*h - 2*t, b*t = -3*h + 16 for h.
0
Let z(r) = -7*r + 155. Let x be z(19). Solve 4*k - 17 = 3*l + 3, -k + 5*l = -x for k.
2
Suppose 0 = -4*t - 5*d - 7, 2*t = -t + 5*d + 21. Solve -t*m = x - 6*m + 19, -x = -m + 4 for x.
1
Suppose 2*y - 8 = 38. Suppose -o + 19 = 4*w, 2*w - 2*o - 14 = -12. Solve -8 = -5*h + 3*u + y, h - w*u - 13 = 0 for h.
5
Let l(i) = 7*i**2 + 10*i - 3. Let t(s) = -3*s**2 - 5*s + 1. Let b(d) = -4*l(d) - 9*t(d). Let p be b(5). Solve p*z + 3 = 5*g, -2*g - 2*z - 2 = 3*g for g.
0
Let r(j) = -j**3 - 8*j**2 - 12*j + 3. Let q be r(-6). Solve 2*x - 28 = 4*v + 4*x, 0 = 3*v - q*x + 3 for v.
-5
Let t(v) = -v. Let z be t(0). Let k be z*(20/6 - 12/4). Solve 0*p + 5*n - 15 = -2*p, k = -2*p + 4*n + 6 for p.
5
Suppose -2*h + 34 = -44. Let v = h + -32. Suppose -p = -k + v, 5*k + 5*p + 2 = 17. Solve 4*q - 6 = -5*g, 0 = -0*q - 5*q + k*g - 15 for q.
-1
Suppose -10*o + 10 = -40. Solve 2*t - t = -5, o = 5*f - t for f.
0
Let u(f) = -6*f**3 + 5*f**2 + 5*f + 6. Let a(h) = -h**2 - h - 1. Let z(g) = -5*a(g) - u(g). Let w be z(1). Solve w*s = -3*l + 28, 2*l - 8 = -s - l for s.
5
Let k(a) = a**3 - a**2 - 1. Let b be k(2). Let j(z) = 9*z + 129. Let d be j(-14). Solve 0 = -b*i - m - 10, -4*i = -i + d*m + 18 for i.
-2
Let o = 17 + -15. Suppose 5*x + 27 = -o*n, 0 = n + 4 - 3. Let r be -2 + x*(-2 - -1). Solve 2*i + 4*f = -2*i + 20, 3*i + r = 3*f for i.
2
Let n = 133 - 126. Solve -4*w + m = -n, -3*w - 2*m + 6*m + 15 = 0 for w.
1
Let x be ((-3)/6)/1*-4. Let j(g) = 5*g - 4*g + 6*g**x - 2*g**2. Let a be j(-1). Solve 3*f - 2*f = a*z - 16, -12 = 2*f - z for f.
-4
Suppose -5*b + b = 44. Let j be 114/9 + -2*1/(-6). Let m = j + b. Solve 0 = 2*n + m*c - 12, c - 15 = -3*n - c for n.
3
Let i = -27 + 47. Let j = i - 22. Let f be (j/4)/((-4)/40). Solve 0 = f*g - 3*z + 40, -3*g = 2*z + z for g.
-5
Let v = -2 + 11. Let h be 0*(-3)/v - -25. Let p be -15*((-21)/5 + 4). Solve -3*z + p = -3*y, -z - 5*y - h = 4*z for z.
-2
Suppose 3*h + 5 = 17. Suppose 4 = h*c - i + 5, 3*c - 3 = 2*i. Let p(m) = 3*m**2 + 2*m + 1. Let j be p(c). Solve -3*w - n = -12, -2*n = 5*w + j*n - 20 for w.
4
Suppose -5*g = -4*a, 3*a + 3*g = 11 + 16. Solve 2*f + 6 = -n, -3*n + a*f + 5 = 12 for n.
-4
Suppose w - 6 = -12*b + 8*b, 0 = -5*b - 3*w + 4. Solve -x - 12 = 2*x - 3*o, 5*x + 5 = b*o for x.
1
Let a = 64 + -62. Suppose 4*z - 40 = -24. Solve 0*d = a*b - 4*d, -z*b - 3*d + 11 = 0 for b.
2
Let u(x) = x + 1. Let i be u(1). Suppose -7*b - 2 = j - 2*b, -j = 4*b + 1. Suppose -i*c - j*c = -10. Solve c*m - 8 = k, 4*m - 14 = -k + 2*k for k.
-2
Suppose -2*o + 12 = 4*w, -w + 3*w = -3*o + 10. Solve -w*u = 5*x, 0*u + 3 = 4*x + u for x.
2
Let r = -38 + 43. Suppose -x = 5*g + x - 6, g + 15 = r*x. Solve g = 2*d - 3*l + 13, 3*d - 5*l = 1 - 22 for d.
-2
Let w be (0 - -2)*4/(32/(-332)). Let v = 84 + w. Solve 2*n - 4*n + 4 = -4*a, v = 5*a - n for a.
1
Suppose 5*f - 11 = c, 0*f = 3*f - 4*c - 10. Suppose 2*q + f*h - 13 = -3*h, -3*q + 17 = 5*h. Solve 0 = -3*g - 2*w - 22 + 1, 5*g = q*w - 13 for g.
-5
Suppose 0 = 9*g + 11 - 101. Solve 3*w - g = 8*w - 5*p, w - 4 = -5*p for w.
-1
Suppose 0 = 6*a - 8*a + 8. Solve y - 1 = -0*x - x, -4*x - 2*y + a = 0 for x.
1
Suppose 67*t = 62*t + 25. Solve 3*v - 12 = -t*f, -v + 16 = 3*v + 5*f for v.
4
Let f = -688 + 691. Solve 0 = -4*a - 16, -f*h + 1 + 5 = -3*a for h.
-2
Let s = -39 + 39. Solve -d + f + 1 = 0, 2*d = -s*d - f + 11 for d.
4
Let x be 6*4/36*6. Suppose -h + 3 = -3*q - x, -h = -q - 5. Solve 5*s + 16 = h*g, 5*g + 0*s + 5*s + 25 = 0 for g.
-1
Suppose 94 = 11*j - 6*j - 4*x, 3*x = -2*j + 56. Solve 0*w - 2 = -c + w, 4*c + 2*w + j = 0 for c.
-3
Let f = 27 + -16. Suppose -3*k - 19 = -3*s + f, -2 = k + s. Let r be 3/9*-4*k. Solve -36 = -4*d + 4*c, -7 = 3*c + r for d.
4
Let l = 0 - -3. Let o be ((-6)/(-14))/(34/238). Solve v - 4 = -l*n, 5*v + o*n = -0*v - 4 for v.
-2
Let x = 1058 - 1054. Solve -2*j + 2*a + 6 = -0