 = 0 for l.
2
Suppose c + 3*c + 16 = 3*b, 5*b - 16 = -4*c. Let w(o) = 2*o**2 - 8*o + 2. Let l be w(b). Solve 4*j + l = -2 for j.
-1
Let z(r) = -r - 6. Let m be z(-8). Suppose 7*j - 9 = -m*j. Solve 0 = 4*s + 21 - j for s.
-5
Let b = 1045 + -1044. Solve b = 3*p - 8 for p.
3
Suppose g + 77 = 2*z, 2*z - 3*g - 38 - 37 = 0. Solve -10*j = z + 1 for j.
-4
Suppose 2*a - 22 = 3*q, q = 2*a - 20 + 6. Suppose -y - 23 = 2*z - 2*y, a*y + 6 = -z. Let c = -8 - z. Solve -c*m - 3 = -0*m for m.
-1
Let g(t) = t**3 + 7*t**2 - 8*t + 2. Let a be g(-8). Let s = 5 - a. Solve -6*m = -s*m for m.
0
Suppose 0 = -4*y + h + 15, 3*h - 4*h = y - 10. Let r be 4*6/(-72)*-15. Suppose -y*z = -r*n + 30, 3*n - 5*z = 9 + 17. Solve -5 = n*s + 3*s for s.
-1
Let o be 1 + 1 + 4/2. Let z be -20*16/(-40)*(-4)/(-8). Solve z = -4*v - o for v.
-2
Let d be (-26)/(-4) + -1*12/8. Suppose 2*w - d*w + 36 = 0. Solve w + 13 = -5*r for r.
-5
Suppose -27 = -14*g + 29. Solve 9*s - 5 = g*s for s.
1
Let j be (244/10)/(15/(-75)). Let a = 126 + j. Solve 2*l + a = -2*l for l.
-1
Suppose -3*j + 5*j = 20. Let w be (-1)/((j/(-8))/5). Suppose -6 = -4*o - 2*u + 2, 3*o - 16 = -w*u. Solve o = 5*l - 3*l + 2 for l.
-1
Let w be (-1)/(-2)*(-2*513)/(-9). Solve -61 + w = -4*g for g.
1
Let j be (-23)/5 + 15/25. Let m be j/(-8)*0*(-2)/10. Solve m = -0*p - p + 1 for p.
1
Suppose 4*u + 12 = -4*l, 0*l - 4 = 4*u + 2*l. Suppose 0 = o + 1. Let s be 0/(-1 + u + o). Solve -3*x + s*x = 0 for x.
0
Suppose -g = -2*g + 9. Let s = 14 - g. Solve -m + s = -0*m for m.
5
Let j = 76 - 74. Suppose -3*i - 4*w = -33, 2*w = -j*i + 3*i - 21. Solve -f - i + 13 = 0 for f.
-2
Let x be ((-6)/(-15))/(1/(-20)). Let r(k) = k**3 + 9*k**2 + 5*k - 3. Let s be r(x). Suppose 3*d = -3*l - 0*l + s, -4*d = -5*l - 1. Solve -l = -4*q - 23 for q.
-5
Let j be 1 + (-2)/(-2) + 0. Suppose -4*a + 3*v = -19, a + 22 = -j*a - 5*v. Solve -4*d + 5 = a for d.
1
Let u be (-56)/(-12) - (-1)/3. Let z be (1 + 0)/(2/32). Let s(h) = -h**3 + 16*h**2 + h - 13. Let o be s(z). Solve -17 = -o*a - u for a.
4
Let s(p) = p - 2. Suppose -4*f - 20 = -4*n, 2*n - 16 - 3 = 5*f. Let h be s(n). Suppose h = -5*v + 2*b + 21, -2*b + 24 = 3*v + v. Solve 2*t = v*t + 9 for t.
-3
Let i(o) = o + 1. Let k be ((-3)/(-5))/((-5)/(-25)). Let w be i(k). Suppose w + 6 = 5*u. Solve -3*g + u*g - 5 = 0 for g.
-5
Suppose 3*y = 4*y - 28. Suppose 0 = -3*f + y - 7. Let x = 49 + -33. Solve 3*s + x = f*s for s.
4
Suppose -3*x + 4 = -4*x. Let w(n) = -4*n**2 - 16*n + 3. Let r be w(x). Solve -r*h + 6*h = 15 for h.
5
Let z(y) = y**3 - 10*y**2 + 2*y - 13. Let o be z(10). Solve 0 = o*j + 19*j - 130 for j.
5
Let n be 4/(-24)*2 - 2/(-6). Suppose f + 1 - 5 = n. Solve -1 + 21 = -f*d for d.
-5
Let z be (-100)/(-80) + 5/(-4) + 2. Solve -z*c = -c for c.
0
Let p be -21*((-4)/3)/4. Let w = p - 8. Let s = w - -2. Solve s = -2*q - 3 for q.
-2
Let j(k) = -k**3 - 12*k**2 + 8*k - 8. Let l be j(-13). Suppose 0 = 8*z - l + 17. Solve z*w = -4 - 6 for w.
-2
Let a(h) = 50*h - 400. Let z be a(8). Solve -16*n + 80 = -z*n for n.
5
Suppose 4*q = 2*q - 16. Let m = q + 11. Suppose 2*y = -i + y + 1, -4*i - 3*y = -m. Solve v - 1 = -i*v for v.
1
Let y(g) = g**3 - 11*g**2 - g + 11. Let z be y(11). Let o be 2*(-2)/4*z. Solve 8*d - 3*d - 10 = o for d.
2
Let l = 13 - 11. Suppose 11 = 3*r - 4. Let z = 7 - r. Solve -8 = l*h - z for h.
-3
Suppose -5*g - 32 = -2*k, -k + 80 = 4*k - g. Let v = -14 + k. Solve b = -v*b for b.
0
Suppose -3*v = 3*i - 36, -v = -2*i - 6*v + 39. Solve -8*a - i = 33 for a.
-5
Suppose -41*t + 56 = -27*t. Let l be -3 + 3 + -2 + 6. Solve -t*p + 6*p = l for p.
2
Let d(h) = 2*h + 23. Let b be d(-6). Solve 0 = -b*m + 6*m for m.
0
Let t = 28 - 24. Suppose 2*h + t*x - 2 = 10, 0 = 2*h - 3*x + 9. Let a be -4 + (6 - h) + 2. Solve a*r - 9*r = 10 for r.
-2
Suppose 2*o + 44*o - 506 = 0. Solve 0 = 2*d - o*d + 27 for d.
3
Let h = 92 - 80. Let j be -3 + (-3)/2*-4. Suppose -j*n = -3*r, -r - n + 4*n = 6. Solve -h = m + r*m for m.
-3
Let d(p) = p**2 - 17*p - 27. Let h be d(19). Let w = 2 + -2. Let r be w + 5 + 1 + -2. Solve r*u - 1 = h for u.
3
Let r be 155/55 + 6/33. Let v be (-6)/(-2) - (r - (2 + -2)). Solve -3*j - 15 = -v*j for j.
-5
Let w be 2/10 + 2/(-10). Suppose -s + 4 = -w. Suppose 0 = -4*z - o + 8 + 8, -z + s = o. Solve 0 = j + j + z for j.
-2
Let v(s) = s**2 + 14*s + 43. Let p be v(-10). Let b be (0/(-2))/(p + -4). Solve b = -4*n + n for n.
0
Suppose 0 = 2*f - 5*f + 12. Suppose -5*m = -p - 15, 5*m - 19 = 5*p - f. Solve -d = -p*d for d.
0
Suppose -20*s + 22 = -218. Solve -j + 4*j + s = 0 for j.
-4
Let y = 1835 - 1831. Let z be -15*(-1)/4*4. Solve 0 = -y*h + z + 1 for h.
4
Suppose -17 = 7*a - 3. Let f be 500/150 + a*2/(-6). Solve j = 3*j - f for j.
2
Let p = -23 - -26. Let v(c) = c - 3. Let o be v(p). Solve 1 = -o*k + k for k.
1
Let o = 36 - 34. Suppose 5*n = 4*l + 102 + 11, o*n - 5*l = 35. Solve -3*h - 2*h - n = 0 for h.
-5
Let q be 2/(-5) - 34/(-10). Solve q*f - 15 = -0 for f.
5
Suppose -1 = -5*i + 4. Let h be i + -1 + 0 + 2. Let y be 20/12 + 2/6. Solve -y*w + h = -w for w.
2
Let g be (-4 - 1) + (-7)/7 + 6. Solve 2*p = 4 - g for p.
2
Let x be (-5)/(-2)*(-64)/(-40). Let c be 1/((-1)/x*-4). Let h be (5 - c)*(2 - 0). Solve 0 = i + i + h for i.
-4
Suppose 0 = -4*t + 7 + 17. Let l be t/4 - (-36)/24. Solve l*m - 12 = 7*m for m.
-3
Let u be 2*2 + (-15 - 1). Let f = -13 - u. Let w be 3/f*8/(-6). Solve -2*r - w + 2 = 0 for r.
-1
Let z(r) = 28 - 7*r - 20 + 5*r. Let d be z(4). Solve d = g - 2*g - 3 for g.
-3
Suppose 4*j - 16 = 4*o, 4*j - 1 = -3*o - 6. Let v be j*(1 + (0 - -2)). Solve v*s = -2*s + 10 for s.
2
Suppose 10 = -50*m + 51*m. Let d = 4 - -2. Suppose b + m = d*b. Solve -q = q + b for q.
-1
Let w(j) = j**3 + 4*j**2 + 2*j. Let q be w(-2). Let l be 0 - ((-26)/6 + (-22)/33). Solve -l = 5*a - q*a for a.
-5
Suppose 2*i - 3 = 5. Suppose -4*y = -i*o + 16, 4*y - 2*o = -0*o - 8. Suppose 0 = u + 3*r - 13, 2*u = -y*u + r - 2. Solve -3*s - 2 - u = 0 for s.
-1
Let o(v) = 47*v + 284. Let b be o(-6). Solve -b*j - 6 + 12 = 0 for j.
3
Suppose 0 = -s + 60 - 47. Suppose -177 = -s*j - 47. Solve x - j = -x for x.
5
Let s(m) = m**3 - m**2 - m - 4. Let c be s(0). Let z = 8 + c. Solve 0 = -v - z*v for v.
0
Let t(z) = z**3 + 18*z**2 - 19*z + 3. Let g be t(-19). Solve g*c = 7*c for c.
0
Let f = -563 + 576. Solve 11*d + 20 = -f for d.
-3
Suppose w - 5 + 5 = 0. Let z be 10 + -6 - (w - -2). Solve z*b = -9 + 1 for b.
-4
Let y be 50/4 + 4/(-8). Suppose -y*t + 11*t = -6. Solve -t*f = -3*f + 3 for f.
-1
Let j be (-5)/15 + (-116)/(-6). Let l = 10 - j. Let c = 14 + l. Solve -c = 2*y + 1 for y.
-3
Let l be 1 + (-133)/147 - (-435)/63. Solve 5*q - l = 13 for q.
4
Let k(n) = n**3 + 3*n**2 - n - 2. Let v be k(2). Let t = 45 - 43. Suppose 4*h - 5*h - 5 = 0, 2*c = -2*h - 6. Solve v = c*o + t*o for o.
4
Suppose 0*s + 4 = -4*m - 2*s, -4*m + s = -2. Suppose 20 = 5*j, -12 = -4*b - m*j - 3*j. Suppose b = -k + 1 + 3. Solve -k = -q - 8 for q.
-4
Suppose 0*r - r = 2, -2*r - 11 = -a. Let l be 2/8 + (-7)/(-4). Suppose l*q + 0*q = 6. Solve q*d + 20 = a*d for d.
5
Let f(i) = i**3 - 29*i**2 - i + 35. Let a be f(29). Solve 4 = -2*l + a for l.
1
Suppose 0 = -2*p + 6 + 2. Let s = p + 0. Solve 1 = -c + s for c.
3
Suppose -k = 5*h + 8, 0 = -0*h - 3*h - 6. Let z = 109 + -106. Suppose 4*i - z*t - 32 = 0, k*i + 0*i - 16 = 3*t. Solve 2 = 2*n - i for n.
5
Let p(v) = 2*v**2 + 14*v - 8. Let f be p(-8). Solve -b - 3*b = -f for b.
2
Let v = -541 - -550. Solve v*l - 10 = 4*l for l.
2
Suppose -5*i - 4*j + 16 = 0, -2*j = -0*j + 2. Let n be (i - 4/2)*1. Solve 0*g + n = -g for g.
-2
Let n = -2 - -5. Suppose 3*l + 15 = 0, -6*z - 4 = -5*z + 3*l. Solve 1 = n*s - z for s.
4
Let n(s) = s**3 + 7*s**2 - 9*s - 6. Let a be n(-8). Suppose -6*z + a = -5*z. Suppose -z*v + 32 = -18. Solve -4*t - t = -v for t.
5
Let m(f) = 2*f - 1. Let z be m(2). Suppose h = -5*v - 6, h - z = -2*v - 0. Let k = 9 - h. Solve k = -5*j + 11 - 1 for j.
2
Suppose -181*r = -180*r - 14. Solve r*p = -6*p + 20 for p.
1
Let b be (18/(-7))/(3/21). Let j = -14 - b. Suppose -j*z - 2*o + o = -10, -14 = -4*z - 3*o. Solve z + 4 = -2*x for x.
-3
Suppose 5*s - 16 = 4*c + 5, -2*s - c = 2. Let h = 3 - s. Let r be (-5 + 5)*2/(-2). Solve r = v - h - 1 for v.
3
Let q = 7 - 3. Suppose 0 = b + q*n - 3 + 10, 0 = -4*b - 2*n. Let o be (-19 + 13)*1/(-2). Solve 2*f - b = -o fo