
Let g be (4 + -8)*1/(-2). Solve -q - g = 1 for q.
-3
Suppose w + 5*c + 18 = 0, -3*w - 6 = 4*c - c. Solve s - 3 = -w for s.
1
Let l = 3 - -1. Solve 0 = l*m + m for m.
0
Suppose a = 5*x - 4*a - 10, 3*x = a + 10. Solve 0 = -l + x*l for l.
0
Let w be (-2 + 11 - 3)*1. Solve h - 15 = w*h for h.
-3
Let t be (-1)/1 + 8 + 2 + -7. Solve t*s = -3*s - 10 for s.
-2
Suppose l + l = -16. Let j be (l/20)/(2/(-30)). Solve -z - z + j = 0 for z.
3
Suppose -j + 0 + 2 = 0. Suppose -3*o = -j*l - 16, 4*o - 1 - 5 = -5*l. Suppose 5*k = o*k. Solve -z - 4 + 0 = k for z.
-4
Let k(p) = -2*p**3 - p**2 - p. Let l be k(-1). Let d be (-3)/(15/4)*-5. Suppose -x - d*b = -0*x - 9, x - 2*b - 3 = 0. Solve -x*z + l + 18 = 0 for z.
4
Suppose -3*f - 2*k + 48 = -3*k, -4*f - 4*k = -64. Suppose -2*b = f - 2. Let u be 4 + -2 + -3 - b. Solve -u*c = -c + 10 for c.
-2
Let j = 1 - 1. Suppose j*g + 12 = 3*g. Let v = g + 1. Solve -1 = 2*y + v for y.
-3
Let c be 4*(21/(-12) - -2). Let u = c - -1. Solve u = 5*f - 3 for f.
1
Let v be (-1*5)/(90/(-108)). Let o = 0 + 2. Solve o*g + 0*g = v for g.
3
Let g(l) = l**3 - 5*l**2 - 5*l + 4. Let j be g(6). Let f = 7 - j. Let d = 5 + f. Solve 8 = d*z - 2 for z.
5
Let m(h) = 2*h**2 - 3*h + 1. Let i be m(-3). Suppose o - i = -0*o. Let c be 12/7 - (-8)/o. Solve 0 = -t + c - 7 for t.
-5
Let n(v) = 2*v. Let t be n(8). Suppose -x = 1 - t. Solve 3 - x = 4*l for l.
-3
Let k = -42 - -44. Suppose 2 + 18 = 5*q. Solve -k*t + 6*t + q = 0 for t.
-1
Let h = 20 + -4. Let r = h + -8. Solve -r - 12 = -5*g for g.
4
Suppose 3 = g, 6*g - 15 = 3*n + g. Solve n = -3*m - 13 - 2 for m.
-5
Let g(n) = 2*n. Let t be g(7). Let p = t - 46. Let o be p/(-12)*(-3)/(-2). Solve -3*y = -8 - o for y.
4
Suppose 4*i + 7*h = 2*h + 14, 3*i - 7 = -2*h. Solve i + 3 = 4*f for f.
1
Suppose -q - 4*q = -t - 35, 0 = q + 4*t - 7. Let v = 5 - q. Let a be (10/20)/(v/(-32)). Solve 3*p - a = p for p.
4
Suppose -2*q = -3*q + 2. Let h be (-134)/(-26) - (-4)/(-26). Suppose -35 = -h*g - 5*j - 5, q*g = 5*j - 9. Solve -u + 5 = g for u.
2
Let p = -29 - -30. Solve -f + p - 3 = 0 for f.
-2
Let a = 107 - 41. Suppose 0*b = -2*b + a. Solve 0 = 5*n - 13 + b for n.
-4
Let o(p) = -3*p + 7. Let i be o(5). Let n = -3 - i. Solve n*t = -0*t for t.
0
Let m(j) = 4*j**2 - j. Let n = 1 - 4. Let k = n - -4. Let u be m(k). Solve u = -4*o - 9 for o.
-3
Let k(u) = u**2 - 7*u. Let s be k(9). Let t = -16 + s. Solve -t = o + 2 for o.
-4
Let h(w) = w**3 + 5*w**2 - 7*w + 8. Let q be h(-6). Solve 4*k - 6 - q = 0 for k.
5
Suppose -5*k + 0*k = 4*f - 32, f = -k + 7. Suppose 3*z - 47 = -17. Let c be (-12)/10*z/(-3). Solve c = 4*j - k for j.
2
Let b be -1 - (-3 - -4)*-1. Solve y - 4 + b = 0 for y.
4
Suppose -26 + 0 = -13*k. Solve -k*a = 3*a + 5 for a.
-1
Let m be -5*(-1 - -2)/(-1). Solve 0 = 5*l - 5 - m for l.
2
Suppose -4*r + 105 = r. Let z = r + -19. Solve 0 = -2*m - z for m.
-1
Let p(t) be the second derivative of -t**5/20 + t**4/2 + 4*t**3/3 + 3*t**2/2 + 2*t. Let v be p(7). Solve -5*y + 0 + v = 0 for y.
2
Let p = 28 + -15. Let o = -9 + p. Suppose o*i = 8*i. Solve -3*f - f - 16 = i for f.
-4
Suppose -3*h = -10*h + 42. Let u be (-8)/((-1)/h*3). Solve -7*v = -3*v + u for v.
-4
Suppose 0 = 5*c - 12 - 13. Let o(v) = v**3 - 5*v**2 + 2*v - 6. Let t be o(c). Solve 8*s - t*s = -16 for s.
-4
Suppose 0 = -p - 2*h - 0*h + 15, 3*h = 3*p - 9. Solve -16 = 3*l - p for l.
-3
Let g(i) = -i + 2. Let n be g(10). Let c = 10 + n. Solve -6 = m - c for m.
-4
Suppose 7*b + 1 = 22. Let u = -1 + 4. Let w be 146/6 + (-1)/u. Solve -b*i - w = -9 for i.
-5
Suppose h + 3*h - 8 = 0. Let k = 0 - -2. Solve -k*y + 3*y = -h for y.
-2
Let a = -1 + 2. Let l be 18/(-4) - 21/(-14). Let m be (a - -1)/(l/(-24)). Solve 2*g - 6*g = -m for g.
4
Let q(p) = p + 2. Let n be q(0). Let i = n - -3. Solve -u = 4*u + i for u.
-1
Let f(b) = b**2 - b. Let k be f(-2). Let y be (0 - 1)/((-2)/k). Solve y*x = -2*x - 25 for x.
-5
Let d(m) = -m**3 + m**2 + 8*m - 2. Let z be d(3). Solve 5*p - 9 = -z for p.
1
Let x = -14 + 15. Solve -j - 3 - x = 0 for j.
-4
Let a be (-15)/(-9) + 2/6. Suppose -a*q = 2*r - 30, 7*r - q - 57 = 2*r. Suppose -4*x + 0*x = -r. Solve 4*i = x + 1 for i.
1
Suppose 3*k = 9, 2*k = -2*c - 0 + 12. Let p be (15/(-3) + c)*-2. Solve -24 + 8 = -p*o for o.
4
Suppose -4*s - 5*s = 9*s. Solve s = -0*d + 3*d - 3 for d.
1
Suppose -4*u + 3 = -1. Suppose u = 2*d - 1. Suppose -2*y = -0*y - 8. Solve -d + 5 = -y*b for b.
-1
Let o(d) = -2*d + 8*d - 3 - 8*d**2 + 5*d**3 - 4*d**3. Let j be o(7). Let g be 0*(2 + j/4). Solve u + 1 = -g for u.
-1
Suppose -4*c - 5*r + 0*r + 14 = 0, -4*r = -2*c - 6. Let l = 5 - c. Solve -l*d + 26 = 6 for d.
5
Suppose -36 = -r - r - 3*g, -32 = -2*r - 2*g. Suppose 0*p + r = -3*p. Let z be (p - 2)/(1*-2). Solve v + 2 = z*v for v.
1
Let f = 27 - 20. Solve 10 = -f*l + 2*l for l.
-2
Let g = -40 + 42. Solve -2*n - g*n - 16 = 0 for n.
-4
Let x = -6 - -12. Let l = x + -2. Suppose -l*u + u + 12 = 0. Solve u = -y - 0*y for y.
-4
Let v be 24/(-6)*6/(-4). Suppose -4*h + 8 = 2*o, v*o - h = 4*o + 13. Solve b + 3 = o for b.
3
Let y(r) = r**3 + 9*r**2 - r - 4. Let j(w) = -w**3 - 10*w**2 + w + 4. Let g(h) = 5*j(h) + 6*y(h). Let b = -9 - -5. Let f be g(b). Solve f*l - 2*l = -4 for l.
2
Suppose 3*m = 6*v - v + 40, -m - 15 = 4*v. Suppose 14 = m*s - 6. Solve s*z = -z + 15 for z.
3
Let l(q) = q**2 - 7*q + 9. Let j be l(6). Suppose 40 = j*x + 2*x. Solve -3*r - x = -r for r.
-4
Let x be 2/(-3) + 64/24. Suppose j - 33 = -x*j. Solve 0 = -2*t - 3 + j for t.
4
Let p(y) = y**3 + 4*y**2 + 4*y + 3. Let l be p(-3). Solve o = -l*o + 5 for o.
5
Suppose -s + 2 + 6 = 0. Suppose 2*o - 2*g = 0, 5*o - 20 + s = g. Let k be (2/4)/(o/60). Solve d + d = k for d.
5
Suppose 8 = 4*b + 2*t, 2*t = 2*b - 5*b + 4. Solve 0*n = -b*n + 20 for n.
5
Let h = -45 + 49. Solve -h*u + 6 = -2*u for u.
3
Let s be 4/(-3)*(-9)/6. Let z(y) = 2*y**2 - 2 - 3*y**s + 2*y + 3*y. Let l be z(3). Solve -l*i = -0*i for i.
0
Let y(z) = -z**2 - 6*z - 6. Let j be y(-4). Suppose 42 = 4*b - 6. Suppose 3*x + 0*x - 6 = 0. Solve -j*u + b = x*u for u.
3
Let z(x) = 15*x**2 + x. Suppose 4*s + 16 = 0, -h + 14 + 3 = -4*s. Let g be z(h). Solve 0 = 4*r - g + 4 for r.
3
Let i be 10 - (4 + -1) - (-2)/(-2). Solve 0 = 3*o + 6 + i for o.
-4
Let c = 14 - 25. Let a be (c - 1)*(-6)/24. Suppose 0 = -3*b - 15, -2*l + 12 = -2*b + 2. Solve -3*k + a = -l for k.
1
Let t = 0 - -5. Solve t*z = 4*z + 4 for z.
4
Let k = -2 + 12. Let g = -5 + k. Solve g*d = 3*d for d.
0
Let j(v) = -v**3 - 8*v**2 - 6*v + 5. Let n(z) = z**3 + 9*z**2 + 7*z - 6. Let u(w) = 4*j(w) + 5*n(w). Let d be u(-12). Solve -d*h - 12 = h for h.
-4
Suppose -25 = -n - 4*n. Let o(z) = z**2 + 3*z + 2. Let c be o(-1). Solve c = -n*u + u + 4 for u.
1
Let k(p) = p**2 + 4*p + 1. Let l be k(-4). Solve -2*j + l = -3*j for j.
-1
Suppose 5*q + 5*r = 110, 4*q - 36 = 4*r + 52. Solve -q + 7 = -3*i for i.
5
Suppose 4*q + 5*f = 4 + 10, 4*f - 12 = -4*q. Suppose 4*d = q + 11. Solve -x = -d*x - 10 for x.
-5
Suppose o + o - 12 = 0. Let j be ((-8)/(-10))/(o/45). Suppose -a + 3 = -c, -a + j*c - 1 = c. Solve -a*n - 1 + 21 = 0 for n.
5
Suppose 2*n - 4*d = -6, d - 6 = -2*n + n. Suppose -n*w = w. Suppose -2 = c - 6. Solve -2*r - 2*r + c = w for r.
1
Let q(n) = -n**2 + 18*n. Let v be q(18). Solve v = -4*j + 2*j + 4 for j.
2
Suppose 5*b = -3*i - 0*b - 137, -125 = 3*i + 2*b. Let n be i/(-3) + -1 - 3. Solve 2*r - n = -r for r.
3
Let a be ((-3)/4 + 0)*-4. Suppose -3*l + 6 - 18 = -3*j, l = 4*j - 19. Solve a*h = 5 + l for h.
2
Let p = 27 - 23. Solve -2*k + 12 = p for k.
4
Suppose 0 + 4 = k. Solve 0*u + k*u = 0 for u.
0
Let x(y) = y - 13. Let g be x(11). Let p be ((-30)/(-4))/(g/(-4)). Solve -l = -4*l + p for l.
5
Suppose -b + 20 = 3*b. Solve 18 = -b*v - 2 for v.
-4
Let g = -38 + 44. Solve 3*r + 3 + g = 0 for r.
-3
Let a(d) be the second derivative of d**3/2 - d**2 - 5*d. Let f be a(2). Solve -8*o = -4*o + f for o.
-1
Let h be 2/7 - (-96)/7. Let o = 20 - h. Solve -5*n = -3*n + o for n.
-3
Let u be (8 - 1)*(-3)/(-3). Let z = u - 5. Solve z*w = -w for w.
0
Suppose -4*g - 2*s = -6*g + 8, -g - 4 = s. Suppose g*b - 5 = -5*b. Solve b = i - 0 for i.
1
Let q be (-2)/(1 - 1*4/2). Solve 0 = q*h + 5 + 5 for h.
-5
Let g = -8 + 12. Suppose 0*v - 40 = -g*c - 5*v, 4*c - 32 = -3*v. Let a = c + -3. Solve -3*x + a = -10 for x.
4
Let x = -77 - -80. Solve 23 = 4*k