- 16 = 0 for h.
4
Let b be (18/(-5))/(14/(-35)). Let k be -3 + 15*3/b. Solve 3*m = -k*q - 9, -6*m = 2*q - m + 15 for q.
0
Let p(m) = -m**2 + m. Let x be p(-3). Let h = x - -15. Let w be -4 + (h - 2/(-2)). Solve w*s = 4*b + s - 9, 0 = b - 4*s + 19 for b.
1
Let x(m) = 4*m**2 - 12. Let v be x(3). Solve 5*f + d + v = 0, f + d + 8 = -0*f for f.
-4
Suppose -5*l = -2*l + 27. Let b(s) = 3*s**3 - 3*s**2. Let p be b(2). Let t = p + l. Solve 2*d = -d - 2*h + 25, -2*d + t*h = 5 for d.
5
Let x be 0 - (4/(-2) - 2). Suppose 0 = -l - 3*m + 9 - 19, -12 = 3*m. Solve l*f = -5*w + 13, -f - 16 = -9*w + x*w for f.
-1
Suppose 4*f + 1 = -127. Let l be 6*(4/(-6))/(f/24). Solve -2*w - 4*m - 13 = l*w, -4*m = 3*w + 3 for w.
-5
Suppose -3*o = -4*u + 17, -u + 6 = -4*u - 4*o. Suppose -3*s + 2 = 3*c - 1, 26 = 2*s - 4*c. Let a = s - u. Solve 3*m = -4*y + 6, 5*m = -y + 7 + a for m.
2
Let b = 231 - 229. Solve 0 = -b*z + 8, -4*z = 4*k - 3 - 1 for k.
-3
Let x(y) = y - 1. Let n be x(-4). Let i = n - -5. Suppose -r + 6 - 1 = i. Solve 0*c + 5 = -r*c - 5*q, -2 = 2*c + 5*q for c.
-1
Suppose 2 = -4*g + 6. Let y be -1 + g + -1 + (-48)/(-8). Solve -y*x - r - 12 = 0, 4*x - 12 + 30 = -5*r for x.
-2
Let d = 128 - 126. Solve x = 8*a - 3*a - 11, d*a - 18 = -3*x for a.
3
Suppose 9*h + 2 = 8*h. Let m be h/12 + 250/60. Let j(b) = -20*b**3 - b. Let i be j(-1). Solve -2*a = 3*l + i, -5*a + m = 3*l + 34 for a.
-3
Suppose 4*h - 46 = -4*p + 6, 29 = 3*h + 5*p. Solve 0 = -5*t - c - h, 2*c - 3 = 3*c for t.
-3
Let k = 68 - 63. Suppose 7 = -k*u + 32. Let f be 1/2 + (-93)/(-6). Solve -f = -3*o - p, 4*o - 15 = -0*o + u*p for o.
5
Let i = -8 - -12. Let d be i/18 + (-129)/(-27). Let p be 2 - (-9)/(-18)*0/2. Solve -1 = 2*j - d*y + 8*y, -p*j - 6 = -2*y for j.
-2
Suppose -7*n = -5*n - 6, -4*x + 2*n = -14. Solve 5 = w - 5*d - 1, -w + x = -4*d for w.
1
Let g(k) = k**3 - 13*k**2 + 19*k + 41. Let d be g(11). Solve -3*t = 3*x - 12, 2*t = -2*t + d for x.
2
Let q(p) = -p**3 - 26*p**2 + 55*p - 22. Let v be q(-28). Solve -2*z + v = 2*f + 10, 4*f = z - 23 for f.
-5
Let m = -2038 + 2041. Solve -5*k - 1 - 3 = 2*i, -m*k - 5*i = -9 for k.
-2
Let o be (-10)/(-6)*(-7 - -5)*-12. Suppose o = c + 3*c. Solve -4*d + 0*r - 5*r + 35 = 0, -5*d = -5*r - c for d.
5
Let z(n) = n**2 + 5*n - 3. Let y be z(-7). Let w = y + -7. Suppose -2 = -a, a + 14 = w*g - 2*a. Solve -3*u = 2*u - g*x - 25, -25 = -2*u + 5*x for u.
0
Let s(n) = 3*n**2 + n + 1. Let l be s(-2). Suppose -60*w = -59*w - 15. Suppose 15*g = 10*g + w. Solve 2*j = -d - l, 0 = -g*j - 3*d - 2*d - 27 for j.
-4
Let s(z) = 5*z + 27. Let f(w) = -6*w - 26. Let b(i) = -3*f(i) - 4*s(i). Let g be b(-16). Solve 0*m - 3*m - 25 = -5*x, -3*m - g*x = -10 for m.
0
Let u = 586 + -584. Solve 3*i - i - 3*b = -1, 0 = -2*i + u*b for i.
1
Suppose 4*a + 36 = 2*l + 2*a, -3*a + 66 = 3*l. Solve 2*s - 2*w - l = -2, -2*s - 2 = 2*w for s.
4
Let z(n) = -9*n - 5. Let b(j) = 19*j + 11. Let t(q) = -2*b(q) - 5*z(q). Let w be t(-2). Let d = w + 13. Solve -5*k + 4*f = -5, d*k = -4*f - 2 + 4 for k.
1
Let n be (-10)/(-4) + (-10)/((-40)/6). Suppose 16 + 96 = n*y. Solve 5*g - y = i - 5*i, 0 = 2*i + 4*g - 20 for i.
2
Suppose -5*y + q - 13 = -79, 3*q + 3 = 0. Solve 0 = 3*r + n - 5*n - y, -5*r = 4*n - 11 for r.
3
Let h be ((144/15)/(-6))/((-14)/35). Solve -h*v = -4*g - 8, -5*g - 1 - 7 = -3*v for v.
1
Let q = -203 + 212. Solve -2*r - 5*l = 14, 5*r + q + 3 = -l for r.
-2
Let v = 2 + 1. Let q = -108 - -49. Let j = q + 61. Solve 0 = 3*f - v*a, -j*f - a - 6 = -5*f for f.
3
Let y(h) = -2*h + 9. Suppose -11*i + 7*i + 12 = 0. Let p be y(i). Solve -p*x + 18 = -5*w + 3*w, 17 = -3*w + 2*x for w.
-3
Suppose 4*x - 3 = 5*s, 3*x - 2*x + 1 = 3*s. Solve -3*b + x*b - 7 = 5*f, -15 = 3*f - 3*b for f.
-2
Suppose -16*z + 11*z + 10 = m, -28 = -z + 5*m. Solve -5*r = -t + 14, 0 = 2*r + 3*t - 11 + z for r.
-2
Suppose 11 - 3 = 2*d. Let w be -2 + (26 - (d - 0)). Suppose -t - 2*t + 6 = 0. Solve -3*h - r + t = -13, 5*r + w = 4*h for h.
5
Let y(u) = u**2 - u - 90. Let j be y(10). Solve 5*l + 5 = j, -2*o - l + 2 = 7 for o.
-2
Suppose -5 = -w - 0*w. Suppose 0 = b - 2*o - o + w, 2*b + 2*o - 14 = 0. Solve -n + 3*n + p + b = 0, 3*n + 6 = 5*p for n.
-2
Let c = 0 - 9. Let d be -9 + 4 - -1*1. Let w = d - c. Solve w*p = 10, -5*i - 3*p + 24 = -p for i.
4
Let d(a) = 3*a**2 + 58*a - 25. Let f be d(-20). Suppose 3*q = -0*g + 2*g + f, -5*g = -q + 5. Solve -5*o + 25 = 5*h, 4*o = 5*h - g + 11 for h.
1
Let n(x) = 1 - 20*x + 13*x + 0*x**2 - 2*x**2. Let r be n(-3). Suppose -8*a = -4*a - 16. Solve 8 = r*j + 3*b, -3*j - a = 5*b + 1 for j.
5
Suppose -4*q + 90 - 74 = 0. Suppose -u + 3*u = q*y - 18, 4*y = -4*u - 12. Solve -f + 5*f + y*k - 14 = 0, -5*f = -5*k - 10 for f.
3
Let o(g) = 28*g + 507. Let w be o(-18). Solve -4*u = n + 4*n + 23, 0 = 5*n - w*u + 9 for n.
-3
Suppose 2*v + 12 + 4 = 0. Let d = v - -17. Let l = -5 + d. Solve -4 = 2*g - 4*z, -3*g = -z + l - 13 for g.
4
Let f(i) = -i**2 - 28*i - 23. Let h be f(-27). Suppose -57 = -j - 2*j. Let z be j/2*(-10)/(-5). Solve h*b - 5*n = z, 0 = 2*n + 3*n + 15 for b.
1
Let c = -148 - -153. Solve -4*l - 33 = -5*k, 4*l - l + c*k - 19 = 0 for l.
-2
Let v = 143 - 94. Let q = v - 45. Solve 2*l = 2*h + 2, -3*h - 4*l + q = -21 for h.
3
Suppose 7*d = 3*d + 100. Suppose 5*x - 3*r - d = 0, -3*r + 5 = -4*r. Suppose x = -2*i + 6. Solve -2*s - 5*c - i = -s, -5*c = -s + 8 for s.
3
Let s be 4 + (-68)/28 + (-6)/(-14). Solve 0 = -s*n + 6, 0*j = j + 5*n - 17 for j.
2
Let d = -71 - -76. Suppose 3*z = -15, -2*z - 65 = -2*w + z. Solve -3*t + 0*t = 4*j - 18, d*t - w = -5*j for t.
2
Let b be ((-22)/2 - (-1)/3)*-3. Suppose 6*d + 8 = b. Solve w = 5*p + 3, d*p + 3*w - 9 = -0*p for p.
0
Suppose -8*z - 125 = -3*z. Let p = -24 - z. Solve m + 5 = 3*m + 5*w, w - p = 2*m for m.
0
Let t = -11 - -14. Suppose -l + 5 = t*h, l + 1 = -0*l. Solve -3*p + 16 = 2*u, 0*u + h*p = 2*u - 6 for u.
5
Let x = 72 + -53. Suppose 2*f = 2*i - 8, -2*f = -3*i + 3 + 7. Solve -i*z = 3*h - 13, 0*h - h = -4*z + x for z.
5
Suppose -1 + 7 = 3*q. Suppose -q*o + 13 = 9. Let n be 1/1 - 4/(-2). Solve -5*h + 2*l = -2, -o*h + 5*l - n = 13 for h.
2
Suppose 0 = r - 0*r. Suppose -15 = -5*f + 5*p, 20*f = 18*f + 5*p + 3. Solve r*v + 17 = v + f*n, -11 = -4*v + 3*n for v.
5
Let z be 3/(0 + (-15)/(-40)). Let f be ((-18)/(-4))/(6/z). Solve -3*x = -3*k + f, 2*x = k - 0*k - 4 for k.
0
Let i(v) = v + 4. Let z be i(-4). Let o(l) = 2*l + 8. Let p be o(0). Suppose z = k - 5*k + p. Solve 0 = y - k*m - 7, -1 = -y - 0*m - 4*m for y.
5
Let g = -59 - -61. Suppose 0 = -3*q + 5*a + 6, 0 = -0*q + 5*q + g*a - 10. Solve -3*d + 3*n - 7 = d, 0 = -d + q*n - 3 for d.
-1
Suppose -5*v + 29 = 4. Suppose -3*q - 40 = -v*t, 0 = 7*q - 5*q + 10. Solve t*d - 15 = 0, 5*u + 22 = 2*d - 3*d for u.
-5
Let r(o) = 6*o + 181. Let x be r(-26). Solve 9*w - 5*j = 7*w - x, 3*j - 19 = 2*w for w.
-5
Suppose -2*k + 240 = 2*k. Suppose -3*h + k = 2*h. Solve 3*j + 5*i = -h, 2*j + 1 + 0 = -i for j.
1
Let q = -122 + 125. Let i be 7/((-105)/(-10))*6. Solve 0*j - 3*j - q = -5*x, -4*j - i = 2*x for j.
-1
Let j(s) = 6*s - 27. Let q be j(5). Solve -2*m - 4*t = 0, m + 4*m = -q*t for m.
0
Suppose -4*g - 3 = 1. Let v be (-15)/(-20) + g/(-4). Solve -5*p = 3*n - 4*n + 22, -3*n + 2*p + v = 0 for n.
-3
Suppose 2*t + 6*g - 27 = g, 4*t - g + 1 = 0. Let z(a) = -79*a + 1. Let m be z(t). Let k be (-2)/6*m/1. Solve -2*f + 2*d - k = 2*f, 3*d - 15 = 0 for f.
-4
Let u = -12 - -19. Suppose u*j + 16 = 11*j. Solve -5*q = -p - 8, -q = -3*p + j - 14 for q.
1
Suppose 0 = -3*d + 2*d + 2. Let t be (-6)/(-2) - (-12)/(-2) - -6. Suppose a - t = -d*a. Solve 2*s + z - a = 9, 20 = 4*s - 5*z for s.
5
Let q(l) = 10 + 0 - l + 1. Let v be q(-11). Suppose 3*d = 2*m + v, 4*m = 2*d - 4 - 16. Solve 3*b + 10 = -i, -5*b + i = -4*b + d for b.
-4
Suppose 3 = -6*c - 195. Let o = c - -42. Let y = 16 + -10. Solve 2*d = -d + o, -2*d = -2*n - y for n.
0
Suppose 4*p - f - 13 = -p, -3*p = 2*f. Suppose 6 = i + p. Solve -5 = -3*b - 2*j, -2*b - i*j = -b + 5 for b.
3
Let n = -1253 + 1257. Solve u + 4 = 4*j, -2*u + 2 = -2*j + n*j for u.
0
Let z be (-24)/132 + 180/22. Suppose -8*y = -12*y + 20. Solve 2*f = z*i - 3*i, y*i - 35 = -5*f for i.
2
Let j be 37/7 + (122/14 - 9). Solve 0 = 5*w - 4*d, -d - 40 = -5*w - j*d for w.
4
Let v = -137 + 132. Let a be ((-8)/40)/(1/v) - 1. Solve -x + 4*t - 7 = 12, a = x + t - 1 f