a = 150 + -130. Let x be -6*5/2*-2. Let s be x/a*8/6. Solve y + 12 = -s*y for y.
-4
Suppose -2 = -c + 2. Suppose -4*m = -3*l + 6, 2 = 5*m + l - 0*l. Suppose -x - x + c = m. Solve 1 + x = -3*q for q.
-1
Suppose 5*r - 106 - 39 = 0. Let f = 31 - r. Solve f*q = -0*q - 8 for q.
-4
Suppose 11*x = 14*x - 36. Let m be (2 + -1)*(-1 + 14). Let y = m - x. Solve -3*d = -y + 4 for d.
-1
Suppose -63*d + 61*d = 3*x - 28, -2*d - 4*x = -26. Solve d = -l + 18*l for l.
1
Let p(y) = -4*y**3 + 7*y**2 + 7*y + 10. Let z(f) = -11*f**3 + 22*f**2 + 21*f + 29. Let s(k) = 17*p(k) - 6*z(k). Let m be s(-6). Solve 3 = -m*d - 3 for d.
-3
Suppose 0 = -28*d - 212 + 716. Solve 13*y - d = 7*y for y.
3
Suppose -3*y = -5*v + 10, -4*v + 0*v + 15 = -y. Suppose 2*r - g = 0, y - 3 = 5*r - 3*g. Let s be (5/2)/(r/(-4)). Solve s = o - 6*o for o.
-1
Let v(j) = -5*j - 53. Suppose 5 = -4*d - 39. Let a be v(d). Solve f = -a*f for f.
0
Let t = -56 + 59. Suppose 0*n + 5*n - 20 = 0, 3*s - 2*n - 7 = 0. Suppose -s*l = -0*l - 20. Solve -l*b = -t*b + 3 for b.
-3
Let m = -5 - 6. Let i be (m/(-66))/((-4)/(-6))*12. Solve -c - i*c = 16 for c.
-4
Let h be 17/5 - 66/(-110). Suppose -7*a = -h*a. Solve 5*o - 6*o + 3 = a for o.
3
Let d be 4/(-6)*(-12)/8*6. Solve -m + d*m + 5 = 0 for m.
-1
Suppose a - 3*p - 3 = 0, 5*a + 2*p = 1 - 3. Solve a = -w - 1 + 4 for w.
3
Let c = 417 - 416. Solve 2 = j + c for j.
1
Suppose -5*u - 5*h = 0, 0 = -3*u + 5*h - 0*h. Let s(w) = w**3 - w**2 - 2 + 8 - 4*w**2 - w. Let v be s(5). Solve -m + v = -u for m.
1
Let z = 17 + -12. Let r be z/5*(2 + -1). Suppose 126*b + 10 = 131*b. Solve b = q - r for q.
3
Suppose -c + 4*m = -1, -4*c + 17*m = 16*m - 19. Solve c*f = -4 - 6 for f.
-2
Let x(l) = l**3 - 13*l**2 - l + 15. Let b be x(13). Suppose -3*v = 5*n - 1, 0*n - b*v = -5*n + 16. Solve -n - 4 = 3*p for p.
-2
Let r be (2/(-3))/(31/(-93)). Solve -r = b - 5 for b.
3
Let j(u) = -u**2 + u. Let o(f) = -29*f**3 - 5*f**2 + 4*f. Let i(z) = -4*j(z) + o(z). Let v be i(-1). Let k = v - 28. Solve 0 = h - k*h for h.
0
Let x be -6*-2*2/8. Suppose -x*s + 4 = -8. Let y(g) = -g**3 - 4*g**2 + 5*g. Let w be y(-5). Solve w = t + s*t for t.
0
Suppose -4 = -2*r, t + 1 = 2*r + 2. Solve -31*a = -32*a - t for a.
-5
Let h be (4 + 12/(-4))*-21. Let a = -17 - h. Solve 10 = a*b - 6*b for b.
-5
Let h be (-40)/4 + 18 + -3. Solve 0 = -14*i - 9 - h for i.
-1
Suppose -3*q + 54 = 42. Let y be (-6)/8*(-4)/1. Solve -y*w = -w + q for w.
-2
Let k = 29 - 26. Let r be (-4 + 9)/(1 - 0). Suppose 0 = r*a + 10, -k*j - j = -a - 14. Solve u + 4 = j for u.
-1
Suppose -3*t - 240 = 2*f - 7*f, t + 185 = 4*f. Suppose 5*r + 0*r + f = 0. Let u be (9/6)/(r/(-78)). Solve 4*p - 3 = u for p.
4
Suppose -26 = -4*c + j, -2*c - 5 = -4*j - 11. Solve -5*a + c = -18 for a.
5
Let u(d) = 66*d - 520. Let o be u(8). Solve 163 = -o*h + 139 for h.
-3
Let x(r) = 2*r**2 + 10*r + 7. Let b be x(-7). Suppose 5*q - b - 35 = 0. Let h = -1 + 12. Solve 5*n = q + h for n.
5
Let c(b) = b**2 + 3*b + 4. Let t be c(-3). Let r(f) = -f**2 + 2*f + 11. Let x be r(t). Solve x*v = 7*v - 8 for v.
2
Let j(n) = -n**2 - 4*n - 2. Let i be j(-2). Suppose i*q - 15 = -5*b - 0*q, 0 = -q. Suppose -2*x + 95 = b*x. Solve -x = -4*g + 1 for g.
5
Let z be (-3 - -23)/5*20/16. Solve 0*d = z*d + 25 for d.
-5
Suppose 51*b - 1311 = -18*b. Solve b = k + 14 for k.
5
Let w = -17 + 23. Suppose -2*i - w = 2*v, 4*v = 3*i - 15 - 11. Suppose -3 + 4 = -l - i*n, -3*l - 5*n = 1. Solve 2*t = t - l for t.
-3
Suppose -3*i = -2*i - s + 3, -3*i - s = -11. Solve -i*y + 1 = -1 for y.
1
Let q = 14 + -10. Suppose -q*l - 3*u - 8 = 0, -5*l + 3*u + 15 = -2*l. Let v be l - -6*1/2. Solve v*y = 6*y - 6 for y.
3
Let d be 3 + -2 + (3 - -1). Solve -d*r + 3 = -22 for r.
5
Let w = -1252 - -1264. Solve w = 17*q - 11*q for q.
2
Let l(t) = 4*t + 50. Let p be l(-12). Suppose 4*k = -2*v + 4, -4*v - p = -2*k - 10. Solve 3*g = v*g + 1 for g.
1
Let x be ((-92)/2)/(1 - -1). Let k = x - -26. Solve 0 = k*z + 2*z for z.
0
Suppose -19 = -5*p - 3*k, -p - 4*k + 2*k = -8. Suppose 3*f - 6*f - 4 = p*u, 2*f + 8 = -4*u. Solve -4*d = -f*d + 4 for d.
-1
Let z = 6 + -3. Suppose -g = -2*g + 3. Suppose g*a - z = -4*m - 0, -2*a + 2 = -5*m. Solve 3 = -3*k - m for k.
-1
Suppose 2 = -40*s + 42*s. Let f be 12 - (-2)/2*s*0. Solve q = -3*q - f for q.
-3
Suppose -11*n = -n - 30. Suppose -4*k + 4 = 8. Let c = n - k. Solve 0*l - c*l - 12 = 0 for l.
-3
Let h(k) = 5*k**2 + k + 1. Let m be h(-1). Suppose -f = -3*f - 5*w + m, 3*f + 4*w - 18 = 0. Let d(i) = i**2 - 2*i - 3. Let a be d(3). Solve a = x + x - f for x.
5
Suppose -76 = h + 3*h + f, 84 = -4*h - 3*f. Let p = -10 - h. Solve 0*r = 2*r + p for r.
-4
Suppose -25 = 2*c - 2*o - 3*o, 2*o - 10 = -4*c. Solve 4*l + 2 + 18 = c for l.
-5
Let z(g) = 3 - 3 + 6*g**2 - 7*g**2 - g - g**3 - 3. Let r be z(-2). Solve 0 = -0*l + r*l for l.
0
Suppose -5*f + 6*f = -30. Let j = f + 34. Solve -j*t = 19 - 3 for t.
-4
Let v(a) = -9*a - 142. Let u be v(-14). Let w = -6 + -14. Let k = u - w. Solve 0 = 6*f - k*f - 8 for f.
4
Let g = -68 - -30. Let q = g + 39. Solve 0 = h - 0 - q for h.
1
Let w = 265 + -258. Solve -8 = -d - w*d for d.
1
Suppose 4*b - 28 = -4*m + 44, b = 3*m + 6. Let i be 0 + 6 + 0*3/b. Solve -i*u + u + 15 = 0 for u.
3
Suppose o - 409 = 4*x - 0*o, -2*o - 521 = 5*x. Let c = 106 + x. Solve 4*v - c*v = -5 for v.
-5
Suppose -4*b = -4*p - 64, -80 = -5*b + p - 6*p. Solve 6*o = 10*o + b for o.
-4
Suppose 2*b + 25 = 5*d, 2*d - 15 = 2*b + 1. Suppose -19 = w + 2*s + 2*s, -5*s = 25. Let v be w - (-21)/(-12) - (-11)/4. Solve 0 = -d*m + 5*m - v for m.
1
Let a = 21 + -49. Let q = 31 + a. Solve 2*l - 5*l - q = 0 for l.
-1
Let c be (1 + -4 - -4)*5. Let t be (2/c - 1)/(2/(-20)). Solve 4*g - 2 = -t for g.
-1
Let k = -122 - -117. Let f be 36/3 + (k - -8). Solve 15*i - f = 10*i for i.
3
Suppose 5*z = -0*z + 3*r - 12, -3*z + 12 = 3*r. Solve z + 9 = -3*u for u.
-3
Suppose 4*k - 15 = -5*w - 5, k - 10 = -5*w. Solve 17*t - 19*t - w = 0 for t.
-1
Suppose -i + 6 = -2*h, 4*i + 5*h = 3*i - 1. Solve i*y + 10 = -y for y.
-2
Suppose 0 = -2*n - 4*u + 6, 3*n + u = -2*u. Let i be 3 + 1/(1 - 0). Let r = i + n. Solve s + r = 3 for s.
2
Suppose 5*g - 10*v + 15*v = 165, 0 = 3*g - v - 83. Solve -26*m = -g*m for m.
0
Let n = 2 + -2. Suppose k + r + 2*r = 27, n = k - r - 7. Suppose 0*u - 2*u = -u. Solve k = -u*s - 3*s for s.
-4
Let y be ((-8)/(-7))/((80/(-35))/(-8)). Solve y*z - 21 = -1 for z.
5
Let o = -18 - -20. Suppose 0 = 4*g + o*s - 1 - 5, -g - 2*s = -6. Solve -3*h + g = -15 for h.
5
Let z be 28 + -3 + (-2 - -10). Solve 0 = 4*a + z - 13 for a.
-5
Let b(h) = h**2 - 4*h. Let j be b(4). Let c be 2/(-5) - 37/(-5). Let d = 1839 - 1836. Solve -c*p + d*p = j for p.
0
Suppose -m - 3 = 3*c, m + 0*m + 5 = -5*c. Let x(i) = 2*i**2 + 19*i - 6. Let y = -328 + 318. Let q be x(y). Solve 0 = -l + q - m for l.
4
Let r be 1/11 + 7900/220. Solve 28*q + 16 = r*q for q.
2
Suppose -4 = -j + 27. Let o be (-13)/(416/(-16))*-1*54. Let h = j + o. Solve -2*p - 2*p + h = 0 for p.
1
Let v be ((-2)/3)/((-4)/24). Suppose -34 = -v*p - 10. Let s(f) = f - 3. Let w be s(p). Solve w*o + 2 = 8 for o.
2
Suppose 14 = 2*s - q, -q = 2*s - 5*q - 26. Suppose s*y = 4*h + 40, -4*y + 12 = -h - 9. Solve -y*p + 4 = -6*p for p.
-2
Suppose q = 2*k - 12, 4*q - 2*k + 12 = -48. Let j = q - -16. Let a be j*(10/(-3) + 3). Solve -w = -2 - a for w.
2
Let q be ((-14)/3)/((-4)/18). Suppose -20*p = -q*p + 3. Solve p*r + 9 = -0 for r.
-3
Let s(t) = -5*t - 50. Let b be s(-11). Suppose 0 = b*f - 4*f - 4*x - 7, -3*x = 0. Solve 4*o = 3 - f for o.
-1
Let n(d) = 12*d + 75. Let c be n(-6). Let u(h) = -h**3 - 5*h**2 - 4*h + 2. Let q be u(-4). Solve q*p + c*p = 5 for p.
1
Let l be (6/45*24)/((-3)/(-15)). Solve 7*k = l*k + 18 for k.
-2
Suppose -3*s = -z - 26, 0 = -3*s - 5*z + z + 46. Let x be (-44)/(-20) + (-2)/s. Suppose 0*m + x*m = 0. Solve -c - c + 4 = m for c.
2
Let m = 31 + -22. Suppose m = 12*q - 15. Solve -3 = q*a - 5*a for a.
1
Let g = 2702 + -2702. Solve -4*v + 7*v - 15 = g for v.
5
Let t = 17 - 21. Let c(f) = -10*f - 7 + 3*f + 5*f. Let x be c(t). Solve x - 2 = m for m.
-1
Suppose -12*o = o + 143. Let f = -28 + 46. Let j = f + o. Solve 4*w - j - 9 = 0 for w.
4
Suppose 2*x + 2*x + 5*g + 85 = 0, 2*x - g + 39 = 0. Let s be (2 + 32/x)*10. Suppose -o + s = -c - 1, 0 = 4*o + 2*c - 26. Solve m = -2*m + o for m.
2
Suppose -