-8 = -4*m + 24. Suppose g - 1 - 3 = 0, -g - m = -4*a. Suppose 12 = -u - a*w + 1, w = -u - 1. Solve 0*p + 20 = u*p for p.
5
Let n = -3 - -7. Let s be (8/(-6))/(n/(-6)). Solve 2*o + s*o = 0 for o.
0
Suppose 8 = -3*o + 2*r - 4, 12 = -o - 2*r. Let c = -3 - o. Let v(s) = s**2 + s - 12. Let n be v(3). Solve n = c*w - 1 - 5 for w.
2
Let p be 0*((-12)/2)/18. Solve -4*d + p*d - 8 = 0 for d.
-2
Suppose -12 - 2 = -4*l + 2*u, -5*l + 4*u = -13. Suppose 0 = 2*o - l*o - 48. Let n be 0/(o/4) + 3. Solve 6 = n*g - 0*g for g.
2
Let j be 1*5*(-8)/(-20). Solve 13 = -j*k + 13 for k.
0
Suppose -112 = -10*m + 3*m. Let n(j) = j**2 - 16*j - 4. Let a(q) = -1. Let s(o) = a(o) - n(o). Let v be s(m). Solve 2 = v*h - 2*h for h.
2
Let p = -6 - -8. Suppose 0 = -3*x + l + 16, -p*x - 8*l + 6 = -4*l. Let r(d) = d**2 - 7*d + 9. Let j be r(6). Solve -j*b - 4 = -x*b for b.
2
Let r = -22 + 9. Let o(g) = g**3 + 13*g**2 + 9. Let k be o(r). Suppose -4*i + 2*q + 1 = -k, 0 = -i + 2*q + 4. Solve 5*t - i*t = 0 for t.
0
Let n be (-1)/(((-2)/3)/(-2)). Let s be 6 - (5 + n - 1). Let t = -2 + s. Solve -t*j = -5 + 2 for j.
1
Let w be (-1 + -1)/(4 + (-117)/26). Let k be (-16)/(-6) + 4/(-6). Solve w = 2*d - k for d.
3
Suppose 22*v = -0*v + 66. Solve d = v*d - 7*d for d.
0
Suppose -3 = -22*u + 129. Solve -15 = -3*x - u for x.
3
Let r = -226 - -234. Solve -r*d + 7*d = 5 for d.
-5
Let m be (-60)/(-24) - (-2)/(-4). Suppose -5*f + 12 - m = 0. Suppose 5 = -5*l - 5*d, 3*l - 4*d - 9 = f. Solve -4*h + 5*h - l = 0 for h.
1
Let h(z) = -z**2 - 29*z + 4. Let f be h(-29). Solve 6*m = 7*m - f for m.
4
Let w be (-1)/(-1 + 3)*2 - -21. Suppose -2*f - 5*n + 5 = 0, 3*f + f + 3*n = 17. Suppose f*x = x. Solve x = a + 4*a - w for a.
4
Let k = -16 - -22. Let v be 2/k + 128/(-24). Let f be -1*v/1 + -1. Solve 2*g - 4 = f for g.
4
Let c be (-31)/(1/(-1)) - 4. Let b = 24 - c. Let w = 1 - b. Solve -y = -w + 1 for y.
3
Let b(l) = l + 12. Let t be b(-6). Suppose 3*m - 6 = t. Suppose -3*w + 23 = -n + 2*w, -13 = -m*n - w. Solve 1 - 9 = -n*d for d.
4
Let q be (186/(-10))/(2 - (-54)/(-30)). Let r = -91 - q. Let a be -2*(-1 - (3 - -2)). Solve b = -r*b - a for b.
-4
Suppose 12 = d - 4*d. Let i be d + 5 + -2 - -3. Solve -f + i = f for f.
1
Let f = 629 + -624. Let j = 29 - -9. Solve f*m + 13 = j for m.
5
Let o be (-42)/9 + 4 - 4/(-6). Solve -8*s = -o*s - 24 for s.
3
Let t be 11 - (-2)/(-4)*2. Suppose -i - 8 = -2*r, 5*r - 2 = 23. Let h be 2 - -4*(i + 0). Solve 4*u + h + t = 0 for u.
-5
Let u be (6/2)/((-15)/(-10)). Solve u = -5*r - 3 for r.
-1
Let b be 1/3 - 10/(-6). Suppose -4*g + 6*g = -4. Let a be g - -3*(-14)/(-3). Solve -b*d - a = d for d.
-4
Suppose 5*q - 36 = 4*f, -82*f + 16 = -86*f. Solve -9*t = -q - 23 for t.
3
Let p be 0*((2 - 1 - 2) + 2). Suppose 3*z + 2*m = -2*m - 3, p = 2*z - 2*m - 12. Solve 0 = -z*t + t + 8 for t.
4
Let y(b) = 3*b**3 + 29*b**2 - 13*b - 24. Let n be y(-10). Solve n*j - 7*j = -2 for j.
2
Let l = 60 - 57. Solve -l*s = -5*s for s.
0
Let t(k) = -k**3 + 3*k**2 - k + 2. Let v be t(3). Let y(s) = 45*s**2 - 44*s**2 + 2 - 1. Let b be y(v). Solve -b*g - g - 3 = 0 for g.
-1
Let x = 40 - 35. Suppose 3*f - 20 = -x. Solve 2*y + 5 = -f for y.
-5
Let y be (92/16)/((-3)/12). Let r = 14 + y. Let f = r + 11. Solve 2*z = -f*z for z.
0
Let u = 2 + 2. Let c be (-4 - (2 - u)) + 8. Suppose 5*a + 0 - 10 = 0. Solve a*f - 4 = c*f for f.
-1
Let p(r) = 10*r + 32. Let w be p(-5). Suppose s + 22 - 2 = 0. Let a = w - s. Solve -j = a*j + 3 for j.
-1
Let x(p) = 225*p. Let t be x(-1). Let i be t/(-60)*(5 + -1). Suppose -3*z = 2*z - i. Solve 0 = 2*u + z - 11 for u.
4
Suppose -3*g = 4*w - w - 12, 3*g + 4 = w. Solve -u = 3*u - w for u.
1
Let d(m) = 28*m - 74. Let t be d(3). Solve 17*j = 15*j + t for j.
5
Suppose 0 = -x + 4*x - 240. Let j = x - 78. Solve -j*v + 0*v = 10 for v.
-5
Let w be (20/6)/(8/12). Suppose -4*k - 4*p - 7 = 1, -5*p = -3*k + 10. Solve -j + w = -k*j for j.
5
Let d be 973/(-14)*-1 - (-6)/4. Solve -d*o = -74*o for o.
0
Let l(s) = s**2 - 9*s + 5. Let h be l(7). Let b(p) = -2*p + 6. Let j be b(h). Suppose -2*u = u - j. Solve 3*g + 7 = -u for g.
-5
Suppose 4*h = 3 + 5. Let k(g) be the second derivative of g**3/6 + 3*g**2/2 + 6*g. Let l be k(2). Solve h*u = 3 + l for u.
4
Let w be ((-1)/(-1))/(2/4). Let a(s) = 21*s**2 + 37*s + 2. Let r be a(-2). Solve -w*f = 2*f - r for f.
3
Suppose -5*x - l + 20 = 0, -172*x + 3*l + 35 = -168*x. Let a = 12 - 5. Solve a = -x*d - 8 for d.
-3
Let j be (-3)/(-4)*16/6. Suppose -4*p + 15 - 3 = 0. Solve -j*d + p = -7 for d.
5
Let w = -6 + 8. Let x(z) = -1 - 8*z + 6*z + 4*z - 5*z + 5*z. Let p be x(w). Solve -6 + p = t for t.
-3
Suppose 4*l - 15 = l. Suppose l*v - 28 = 7*v. Let u = v - -17. Solve -u*h + 12 = -0 for h.
4
Let v = -30 - -37. Solve 4*i + 15 = v for i.
-2
Let j = -16 - -42. Let x = j + -11. Solve -n = 2*n - x for n.
5
Let m be 5/5 + -2 + 6. Suppose -m*t = -22 - 3. Suppose 12 = 2*y - x + t*x, -x = -1. Solve -y*i - 9 = -29 for i.
5
Let v = 63 - 61. Suppose 142 = 22*n - 188. Solve -l - n = v*l for l.
-5
Suppose 8 = -4*s + 5*i + 28, -3*s = -4*i - 14. Let z be 2/3*(-15)/s*-5. Solve z - 3 = q for q.
2
Suppose 36 = 12*h - 0. Suppose -7*n = -h*n - 12. Solve a + n*a = 0 for a.
0
Let m = 111 + -103. Solve -m*l + 4 = 44 for l.
-5
Let m = -46 - -49. Suppose -m*t = -4*t + 3*a - 3, 4*t - 22 = -5*a. Solve 9 = -3*r - t for r.
-4
Let a = -104 + 111. Solve 0 = a*t + 18 + 3 for t.
-3
Let m be 920/65 + (-6)/117*3. Solve o + 9 = m for o.
5
Suppose -f - 2 - 9 = -n, 4*f = 3*n - 34. Solve -2*m = 8*m + n for m.
-1
Suppose 11*j + 15 - 48 = 0. Suppose -8*x - 1 = -3*o - j*x, 0 = -o - 3*x + 5. Solve 0*z - o*z + 4 = 0 for z.
2
Let k be (252/(-112))/((-1)/24 + 0). Solve 49*w = k*w - 10 for w.
2
Let t = -399 + 403. Solve -t*j - 2 = -3*j for j.
-2
Let v be (2 + 42/(-18))*(-1 + 7). Let n be ((-5)/(-4))/(v/(-8)). Solve 4*u + n + 3 = 0 for u.
-2
Let o be 2/(-9) + 4 + (-6432)/(-27). Suppose -16*x = -78 - o. Solve -3*j = -7*j + x for j.
5
Let a(c) = c**2 + c - 10. Let f be a(0). Let w be (-2)/(-10) - (-2)/f. Solve -2*i + w*i + 10 = 0 for i.
5
Let u = -410 - -436. Solve u*r - 31*r = 15 for r.
-3
Let l be ((-6)/(-9))/((-4)/(-30)). Suppose -5*i + 5 + l = 0. Solve -i*z = -z - 3 for z.
3
Let d be ((-4)/6)/(1/(-12)). Let t = d + -6. Let f be 52/8*2 - t. Solve -3*w = -2 + f for w.
-3
Let u(f) = -f**3 + 29*f**2 + 3*f - 77. Let c be u(29). Solve 0 = -6*r + 4*r + c for r.
5
Let t(p) = p**3 + 8*p**2 + 5*p - 4. Let g(j) = -j - 14. Let a be g(-7). Let m be t(a). Let l = 14 - m. Solve -5 + 13 = l*z for z.
2
Suppose a + 256 = 4*h + 4, h - 56 = 2*a. Solve -59 = -5*i - h for i.
-1
Let m(u) = -u - 7. Let n be m(-4). Let o = -3 - n. Let t(x) = -x**3 - 4*x**2 - 2*x + 6. Let z be t(-3). Solve s - z*s = o for s.
0
Let k = -282 - -304. Solve 25*x = k + 3 for x.
1
Suppose c - 6 = 7*c. Let a(p) = -4*p**3 - 2*p**2 + p + 2. Let h be a(c). Solve h = 3*w - 4*w for w.
-3
Let c(i) = -i. Let k be c(6). Let j be -6*((-3)/(-1) + (k - -2)). Solve j*q - 4 = 2*q for q.
1
Let d = 13 + 120. Solve -130 = -z - d for z.
-3
Let g = 1 - -3. Suppose k - 8 + 0 = -g*t, -3*k - 2 = -t. Suppose -2*u + 4*w + 10 = 0, t*w - 1 = -5. Solve 3*s - u - 2 = 0 for s.
1
Let p = 437 - 430. Solve -p*x - 21 = 14 for x.
-5
Suppose -u + s = -0*u + 17, 0 = -5*u + 2*s - 76. Let v = -10 - u. Let m be 2/v*(15 + -7). Solve m*p = 2*p + 8 for p.
4
Suppose 2*j + 7*z - 12 = 11*z, 2*j = 3*z + 13. Let n be (-2)/(3 - 2)*1. Let g be -15*(n/(-3) - 1). Solve -3*c = -g*c + j for c.
4
Let c = 145 - 126. Let h(x) = -x**3 + 18*x**2 + 19*x + 9. Let o be h(c). Solve 0 = -z - o + 7 for z.
-2
Let n(h) be the second derivative of -h**3/6 - 5*h**2/2 - 5*h. Let f be n(-6). Suppose -5*s + 14 = 4*m, 9 - f = 4*s. Solve -t - m = -6 for t.
5
Let v be (33 - 2) + -13 + 9. Suppose 0 = 2*o - 4*a - 20, -a - v + 8 = -4*o. Suppose -o*n = -2*y - 4, -2*n = -0*y - 2*y. Solve -5*l + n*l = 3 for l.
-1
Suppose -4*r = -5*x + 1, -4*x - 119 = -r - 122. Solve 0 = -31*m + 30*m - x for m.
-1
Suppose 5*h = 217 - 62. Suppose 2*m = m + h. Let p = 34 - m. Solve -l - p*l = -12 for l.
3
Let y(u) = -3*u**2 + 44*u - 25. Let v be y(13). Solve 14*c - v = 4*c for c.
4
Suppose 5*f + 20 = 0, 15 + 1 = 4*a + f. Solve -a*j + 20 = -5 for j.
5
Suppose -4*f + 5*f - 4 = -w, w = 4*f - 6. Solve 0 = f*n - 3 + 9 for n.
-3
Let z(s) = -s**2 - 9*s + 5. Let h be z(-7). 