 x - 0, -12 = -m + 4*x. Let t(s) = 9*s + 76. Let r be t(m). Solve -3*d + 4*d + r*o + 12 = 0, 4*d - 4*o = 32 for d.
4
Let j = 14 - 11. Suppose 35 = w + j*w + 3*x, -w + x = 0. Solve -b - 17 = w*i, 4 = -i + 5*b - 15 for i.
-4
Let z be 1*1/4 + (-129)/(-12). Solve 3*d = x + 14, d + z = -4*x + 4*d for x.
1
Suppose -4*g = -7*g. Let b be -7 + (g/1 - 1). Let q = b + 8. Solve 0 = 5*t - 5*v - 15, -2*t + v + 2 = -q*v for t.
-1
Suppose 0 = -2*a - 2*h + 10, -1 - 14 = -4*a + h. Suppose 0 = 11*s - 12*s + a. Solve 3*o = 2*g - 0*o + 10, -s*g - 4*o + 20 = 0 for g.
1
Suppose -5*k = t + 12, -3*k = 4*t + k. Let m(g) = g**2 - 6*g - 65. Let w be m(17). Suppose 124*o = w*o + 8. Solve -5*a + 0 = o*v - 4, t*v - 3 = a for a.
0
Let u(r) = r**2 - 9*r - 4. Let w be u(10). Let b = -31 + 36. Suppose 4*i + 0 = z - 3, -b*i - 2*z + w = 0. Solve -5*a + 4*t + 31 = i, -5 + 1 = 4*a + 4*t for a.
3
Let k be 2 + (-1 - 20/(-5)). Suppose 27 = v + k*t, -4*v + 0*v + 23 = 3*t. Solve 0 = -2*d + 2*w + 8, -3*d + 16 = v*d - 3*w for d.
2
Suppose -26 = -54*o + 41*o. Solve 4*d - 42 = -4*z - 22, 10 = o*z - 2*d for z.
5
Let u(w) = -7*w**2 + 11*w - 2. Let a be u(1). Solve 2*s = -2*v + 2 + 6, -3*v + 8 = a*s for v.
0
Let h(b) = 2*b + 16. Let g be h(-15). Let y = 17 + g. Solve -u = y*t, u - 3*t = -0*t for u.
0
Let g = 14 - 10. Let w be (-4)/12 - 8/12. Let o be w/(-7) - (-990)/77. Solve 5*u - t - o = -g, t = -4 for u.
1
Suppose 0 = -38*b + 13*b + 125. Solve 3*c + 4 = 2*c + 2*t, 2*c + 8 = -b*t for c.
-4
Suppose -4*k + 54 = 46. Suppose 5*w - 8 = -b, w + 8 = -4*b + k. Solve -5*o - 3*c = -3, 0 = -2*o - 5*c + w - 16 for o.
3
Suppose h - 2*h + 1 = 2*j, 0 = -4*h - 5*j - 2. Let d be (-32)/(-6) - h/(-9). Suppose -a + d = -14. Solve -4*u - 2*o = u - a, 9 = 5*u - 3*o for u.
3
Suppose -4 = -7*o + 5*o. Suppose 3*g + 30 = -2*h + 4*g, -o*h = -4*g + 36. Let l be (-7)/2*8/h. Solve -3*c + k + 8 = 0, -24 = -l*c + c - 5*k for c.
4
Suppose 2*b - 12*l + 14*l - 30 = 0, 4*b + 2*l - 50 = 0. Solve -3*c - c = -2*m - 14, 4*c + 2*m = b for c.
3
Let z = 557 + -555. Solve m = 3*o + 15, -5*o + z = 4*m + 10 for m.
3
Let m = -73 - -77. Suppose -5*l + n = -2 - 14, -13 = -3*l + m*n. Solve a + 4 = u + 3*u, -12 = -u + l*a for u.
0
Let l be (6/(-4))/(-2 - 17/(-10)). Suppose -l*u + 13 = 3. Solve -u*g - 2*v + 16 = 0, -3*g + 4*v - 17 = -4*g for g.
5
Let i(m) = -2*m**2 - 33*m - 11. Let a be i(-16). Suppose a*r + 2 + 1 = -2*q, -3*r + 4*q = -19. Solve -3*g = -2 - r, v - 1 = -5*g for v.
-4
Suppose 0 = -3*p + 3. Suppose 128*c + 190 = 166*c. Solve 3*l - 5*s = p, c*l - 5*s + 2*s = -9 for l.
-3
Let r = -59 - -70. Solve -4*h + 29 = -5*z, -4*h - r = 3*z - 0 for h.
1
Let w = 793 + -790. Solve -w*r - 2*v = -5, 2*v + 30 = 3*r - v for r.
5
Suppose -5*g + 15 = -t, 3 = -8*g + 5*g + 3*t. Solve c - 5*o = -g*o - 5, o = 5*c + 5 for c.
0
Let s(w) = 3*w - 5. Let x be s(3). Solve 4*v + x*k - 24 = v, -2*v + 2 = -2*k for v.
4
Suppose 118 = -3*q + 121. Solve -10 + q = 3*j, 0 = 5*o + j - 2 for o.
1
Suppose 0 = 38*l - 51*l. Solve l = -2*x - 3*b + 19, -4*b = -2*x - b - 11 for x.
2
Suppose -17 = -t - 14. Solve s + m = t, -4 = -2*s - 4*m + 6 for s.
1
Let y = 464 - 450. Solve h + s = 1 - 2, -5*h - y = 2*s for h.
-4
Suppose -a = 20*a - 42. Solve -2*m - a*x = 3 + 1, -3*x + 19 = -2*m for m.
-5
Let m be -14*(-9)/63 + 1 + 13. Solve z + m = 4*u, 0 = -0*z - z + u - 4 for z.
0
Let b(i) = -4*i**3 - i + 8 + 5*i**2 + 5*i**3 - 11*i**2. Let w be b(6). Solve 0 = w*u - 3*z + 23, 5*u + 27 = 2*z - 3 for u.
-4
Let m be (-3 - (-55)/44)*-4. Solve -4*x - m = 3*f - 18, -4*f - 4*x + 12 = 0 for f.
1
Let h(n) = -n**2 + 12*n - 21. Let x be h(10). Let v be 30*-6*x/10. Let r be -2*(2 - v/4). Solve 3*m + 0*p + 25 = 2*p, r = -4*m - 3*p for m.
-5
Let z = -673 + 679. Solve 2 = 2*b + 2*n, 0 = -0*n - 3*n + z for b.
-1
Let i(q) = -q + 28. Let g be i(-12). Solve 5*v + 9*n - 4*n = -g, -5*n = 4*v + 36 for v.
-4
Let o be (80/(-24))/((-5)/12). Solve 3*j = -4*k - j + o, -k - 3*j + 4 = 0 for k.
1
Let x be (1 - 4 - 0)*-1. Let m be (x - 1) + 31 + -28. Solve -4*q = m*l - 19, 0 = -q - l + 2*l - 2 for q.
1
Suppose 0*j - 2*j + 5*a - 1 = 0, -3*a = -3. Let l be -2 + (j - (-1 + -2)). Solve g = -l*h + 15, -h + g = 5 - 6 for h.
4
Suppose -2*l = 3*z - 19, -70 = -4*z + l - 52. Solve -17 = 5*t + z*n - 67, 3*t - n - 10 = 0 for t.
5
Let c = 36 - 31. Suppose -20 = -4*r + 9*g - 5*g, 0 = -3*r + c*g + 21. Solve 2*s = -5*o - 4, o - 4*s + 18 = -r*o for o.
-2
Let y(i) = i**2 - 6*i - 25. Let j be y(9). Let o(m) = 3*m**2 - 7*m + 5. Let r be o(j). Solve -3*l - r*u = 0, -3*l + 0*u - 25 = -2*u for l.
-5
Let a(v) = v**3 + 9*v**2 - 11*v - 14. Let y be a(-10). Let g be (-8)/5*((-12)/(-8) + y). Solve 2*d - 8 = -d + l, -3*d - g*l = 17 for d.
1
Suppose -10*g + 5*g - 3*j = -11, -2*j = -5*g + 26. Solve 4*n - g*s = -3*s + 11, 3*n + 2*s = 0 for n.
2
Let q = 65 + -76. Let t(b) = -b - 6. Let g be t(q). Solve x - 7 = 4*v - 0*v, 0 = 5*v + g for x.
3
Let r be (-1)/((-3)/15*11 - -2). Suppose 3*m + r*g - 19 = 15, 3*m - 28 = -2*g. Suppose -4*x - 12 = -56. Solve -4*d + d - x = 5*l, 2*d + 4*l + m = 0 for d.
-2
Let d = 40 - 36. Suppose l + l - 15 = -3*i, i + d*l - 5 = 0. Solve 3*m - 4*j + 6 = 0, -5*j = -3*m - 4 - i for m.
2
Let n(m) = -m**3 - 2*m**2 - 5*m + 2. Let u be n(-4). Suppose 10*f + u = 13*f. Solve -3*y - 4*l + f = 0, -4*y + 4*l = 3 + 1 for y.
2
Let p be 6*42/36 + (1 - 3). Solve -p*l = -3*j - 25, -l - 3 = -3*j + 4*j for l.
2
Let o be (3/2)/((-228)/(-80) - 3). Let u be ((-18)/(-9))/(o/(-6) + -1). Solve 4 = -5*w - f + 1, -3*w + f + u = 0 for w.
0
Suppose 491 = 55*a - 169. Let d = -7 - -11. Suppose -3*q + d = -q. Solve -4*s = 2*m + 16, 2*s + a = q for m.
2
Let c(a) = -a + 2. Let y be c(-5). Suppose -12*k = -13 - 23. Suppose -k*b - y = -37. Solve 0 = z + 4*h - b, 4*h - 15 = 3*z + h for z.
-2
Let y(q) = q**3 - q**2 + 2. Let c be y(0). Suppose 0*b + 5*b = 2*x + 22, c*b + 5*x - 32 = 0. Solve -15 = -5*v - 5*z, v - z = z + b for v.
4
Let f(c) = 3*c + 5. Let o be f(7). Let n = 40 - o. Solve 5*x - n = s, -4*s + 0 - 2 = -2*x for x.
3
Let d = -4 - 0. Let m be d/14 + 60/14. Suppose 4 = m*y - 2*y. Solve 4*p = -y*u + 8, 5*p - 2 = -4*u + 4*p for u.
0
Let j be 0/(8/20*5). Suppose j = -4*o + 2 + 50. Solve -3*q + 3*z = -o + 34, -4*q + 2*z = 18 for q.
-2
Let u be (11/(-4))/(116/(-16) - -7). Let b(l) = 2*l - 5. Let h be b(u). Solve -y = -5*d - h, y - 4 = 2*d + 1 for d.
-4
Suppose 10 = 2*j - 4*b, 10 = -j + 3*j + 5*b. Solve k - j = 5*a + 5, 2*a + 2*k = 8 for a.
-1
Let n(s) = s - 2. Let q be n(5). Suppose 2*m + q*g - 3 = 0, -m + 3 = -2*m + 3*g. Suppose -t - 3*t = m. Solve -6*u + 3*u + 5*c + 13 = t, -3*u = -4*c - 11 for u.
1
Let s = -1371 + 1373. Solve 0 = -5*a + v - 7, -2*v - 4 = s*a - 3*a for a.
-2
Let v be -1 + -21 + (-4 - -6). Let c = v + 15. Let p = 9 - c. Solve 2*b + 0*g = g + 9, -3*b + 2*g = -p for b.
4
Suppose 16*b + 21 = 23*b. Solve -b*z - 21 = 4*d, 0*z + 3*z + 18 = -3*d for z.
-3
Suppose -2*z = -3*z - 4. Let i be z/(-2)*11 - 4. Solve 3*m = 5*s + 9 - 0, 4*s + i = -3*m for s.
-3
Let s = -328 + 337. Let o be (-2)/(-7) - (-2)/(-7). Solve h + s = 5*m, o*m + 5*m = 5*h + 25 for h.
-4
Let h(s) = s**3 + 9*s**2 + 10*s + 5. Let p be h(-8). Suppose 0 = 2*z + 10 + 16. Let g = p - z. Solve -g*m + 0 = 4*q + 2, 20 = -4*m for q.
2
Let h be (-202)/1313 - 290/(-26). Solve -6*l = -l - 5, -5*l = 2*y - h for y.
3
Suppose 0 = -6*h - 7 + 55. Suppose -m = -3*m. Suppose -j + 2 = -m. Solve -q = 4*w + 11, j*w + 5 = -3*q - h for w.
-2
Suppose 3*n = 2*b - 0*n - 13, 0 = b - 2*n - 8. Let x(a) = -a**2 + 3*a**b - 2*a + a. Let l be x(-1). Solve l = -4*o + g, g = o - 0*g for o.
-1
Suppose 0 = -88*b + 90*b + 30. Let r = 19 + b. Solve j + 6 = 3*a, r*a - 3*a - 5*j = 16 for a.
1
Suppose 92*h = 96*h - 20. Solve -4*v = -h*g - 14, -5*g = 3*v - 3*g + 1 for v.
1
Let g = -299 - -302. Solve g*b = -3*k - 18, 9 = -k - 6*b + 2*b for k.
-5
Suppose 4*j = j + 2*z + 94, z = 2*j - 64. Suppose -12 = j*m - 38*m. Solve 0*h + 20 = 4*h, 2*t - m*h + 13 = 0 for t.
1
Let z = 1091 + -1050. Solve -5*x + j = 27, -3*x + 5*j = -16 + z for x.
-5
Suppose 8*n = 3*n + 20. Let s be -1*(-1 + (1 - n)). Let v be 14/s - 6/12. Solve l = 5*l - v*o + 11, 4*l + 2*o = 14 for l.
1
Let c be 64/14 + 76/(-133). Solve -3*w + 7 = 3*m - c*m, -2*w = 2*m + 6 for m.
-4
Suppose -148 = 7*t + 265. Let g = t - -78. Solve 5*u + 23 = 2*j, 3*j + g = -u + 7*j for u.
