+ 4*q + k for q.
-4
Suppose r + 4*r + 20 = 0. Let d be -1*(r - (-3)/3). Suppose -2*o + 2*m = -o + 8, 0 = -o - d*m + 17. Solve 3 = o*x - 1 for x.
2
Let p = 6 + -10. Let x be -1*(p + (-2)/2). Solve 1 - x = 2*u for u.
-2
Let k be 10/(-15) + (-56)/(-3). Solve -7 = -5*g + k for g.
5
Suppose -4*h - 7 - 1 = 0. Let w be h/((4/(-5))/2). Let v = 7 - w. Solve -q - v = -7 for q.
5
Let y = 148 - 148. Solve t + t = y for t.
0
Suppose 13 + 17 = 5*j. Let r be (5/(-2))/(j/(-12)). Solve -2 = -4*p + r*p for p.
-2
Suppose -49 = -10*x - 9. Solve x + 16 = 5*v for v.
4
Let o be 2*5/(-3 + 4). Let g = o - 6. Let y be 2 + 5/((-10)/g). Solve -u + 3*u = y for u.
0
Let q(l) = l - 17. Let c be q(19). Solve p = c*p + 1 for p.
-1
Let b(x) = 4*x**2 - 3*x - 2. Let u be b(-2). Solve 0*o - 4*o - u = 0 for o.
-5
Let f be 57/11 + 8/(-44). Suppose 0 = f*y - 0*y. Solve y = -2*o + 6*o + 16 for o.
-4
Suppose -3*h + 2*h = -2. Let y be 5/(1 + 0) - 1. Solve 0 = k + h - y for k.
2
Let c = 4 + -2. Solve 6 = s + c*s for s.
2
Let c(t) = t**3 + 4*t**2 - 5*t + 3. Let q be c(-5). Suppose -q*j + 0 = -3. Let r(z) = z**2 - 5*z - 6. Let d be r(6). Solve d*v - j = v for v.
-1
Let x = 1 - -2. Suppose n + 2*n + j = x, -2*j + 6 = 0. Solve n*w + 2*w = 6 for w.
3
Suppose 0 = 12*u - 7*u - 10. Solve -h = -0*h - u for h.
2
Suppose -4*n + 81 = -n. Solve 0 = -4*d + 7 - n for d.
-5
Suppose 2*r - 4 = 4. Suppose 0 = n - 1 - r. Solve 3*w + 2 = n for w.
1
Let o = 7 - 171. Let u be (-4 - -1)*o/12. Solve 16 = -5*x + u for x.
5
Let q(z) = -6*z - z**2 + 4 - 12 - 3*z - 3*z. Let f be q(-11). Suppose -2*w = -f - 7. Solve 4*g = w*g - 5 for g.
5
Let z = 15 - 29. Let d = -12 - z. Solve d*c - 12 = -2*c for c.
3
Let r(m) be the first derivative of m**4/4 - m**3 + m**2/2 - 3*m - 1. Let g = -2 - -5. Let i be r(g). Solve i*y = -y + 2 for y.
2
Let b be (-3 - 7/(-2))*4. Let r = 21 + -13. Suppose -2*d = -r - b. Solve -i = -d*i for i.
0
Let m = -45 - -51. Solve 0 = -4*f + m*f for f.
0
Let o = -3 - -4. Let t be o/2 - (-3)/2. Let w be 12/2 - t/(-1). Solve -4*z - 12 = w for z.
-5
Suppose 0 = -8*d + 4*d + 56. Solve 4*v + 2 - d = 0 for v.
3
Suppose -3*b + 7 = b + 5*t, 5*b + 4*t - 20 = 0. Solve 0*y + 2*y = b for y.
4
Let k(c) = 2*c**2 - c. Let o be k(2). Solve -4*h + 6 = -o for h.
3
Suppose -3*j - 2*q + 3 = -7, -3*q = -4*j + 36. Solve 0 = -5*c - 9 - j for c.
-3
Let l(d) = -d**2 + 9. Let j be l(4). Let z(k) = -k - 5. Let f be z(j). Solve 3*a + f*a = -5 for a.
-1
Let s be 16/(-6)*(-12)/8. Solve 25 = -s*c + 9 for c.
-4
Let w(o) be the second derivative of -o + 1/2*o**2 + 1/10*o**5 - 1/6*o**4 + 0 + 0*o**3. Let h be w(1). Solve z + h = -0 for z.
-1
Let k(n) = 4*n**3 - n**2 + 2*n - 1. Let a be k(1). Suppose 5*p + 11 = -f, p + a = 2*f - 7. Solve f*c = 2*c + 4 for c.
2
Suppose -4*w + 5 + 23 = 0. Suppose 3*y + 12 = w*y. Suppose -j + 1 = -y*r, 0 = 2*r + 4*j - 16 - 2. Solve r = -v + 2*v for v.
1
Let y be (-6)/30 + (-41)/(-5). Solve 2 + y = -5*n for n.
-2
Suppose -2*j + 33 = -5*j. Let i = 17 + j. Solve 4 = -2*s - i for s.
-5
Let y = -29 - -25. Let d be 3 + 3 + 0 + y. Solve d = -b - 2 for b.
-4
Let h = -47 + 83. Let j be 3/h*3*4. Suppose -6*r + r + 10 = 0. Solve -j = r*v + 5 for v.
-3
Suppose -2*g - 60 = -0*g - 2*l, 2*l + 44 = -2*g. Let o be (-178)/g + (-6)/(-39). Solve 3 = -2*n - o for n.
-5
Let l(k) = -k**2 + 8*k - 7. Let i be l(5). Suppose -5*v + 20 = 4*q - 9*q, 3*v = 12. Solve -2*g = -i - q for g.
4
Suppose -2*g = -2*q + 118, g = -2*q + 7*q - 279. Suppose x - l = 2*l + q, -3*x + l = -205. Suppose n = 6*n - x. Solve 3*h + 2 = n for h.
4
Suppose -14 = -3*j - w, 2*j + 3*w - 27 = -2*j. Solve 1 = j*s - 11 for s.
4
Let a = 0 + 4. Solve 0 = -l - a*l for l.
0
Let p = -19 + 21. Solve 3 = 5*c - p for c.
1
Suppose 10 + 5 = -5*o. Let r = -1 - o. Solve -3*z + r*z = -1 for z.
1
Let d(f) = 3*f - 4. Let h be d(4). Let w = 10 - h. Solve -2*n = -0*n - w for n.
1
Let l(f) = -f**3 + 3*f**2 + 6*f - 5. Let n be l(4). Suppose 0 = -n*q - q, -r = -4*q - 3. Solve 20 = -2*x - r*x for x.
-4
Let u be 104/18 + (-6)/(-27). Solve -b = -4*b - u for b.
-2
Let v be (6/(-8))/((-12)/32). Solve -3 = v*h - 9 for h.
3
Let y(s) = -2*s + 26. Let d be y(11). Solve -d*q = -7*q + 12 for q.
4
Suppose 8 = 4*m, -4*z + 9 = 5*m - 1. Let u = -1 + -3. Let o = u - -6. Solve -3*f + o + 7 = z for f.
3
Let c be 1/2 - (-40)/16. Solve -2*g + c = -g for g.
3
Let t be (6 + -7)*(-5)/1. Let n be (3/2)/((-1)/(-8)). Solve t*a + n = 2 for a.
-2
Let u(y) = -2*y - 5. Let f be u(-4). Let l = 7 - f. Solve -8 = 3*q + l for q.
-4
Suppose -3*h = 3*g - 0*h - 18, 4*g + 2*h = 20. Solve 2 = 2*v + g for v.
-1
Let o(y) = -3*y + 1. Let c be o(0). Solve -4 = -h - c for h.
3
Suppose 6*d - 2*d = 12. Let w(i) = i**2 - i - 3. Let k be w(d). Solve -k*q + 16 = q for q.
4
Let l be (-8)/2*(1 + (-7)/4). Solve 0 - 3 = -l*c for c.
1
Suppose 182*u = 186*u - 48. Suppose 5*x = -14 + 44. Let o be (x/4)/((-6)/(-8)). Solve -o*w - w = u for w.
-4
Let p(b) = -b**3 + 10*b**2 - 10*b + 13. Let x be p(9). Solve -v + 0 = x for v.
-4
Suppose 3*l - 50 = -47. Suppose -3*s - s = -4*u + 4, 2*u - 3 = s. Solve -l + 3 = u*w for w.
1
Suppose -3*r + 22 = 16. Solve -r*i - 3 = i for i.
-1
Suppose -5 = -7*a + 23. Solve z + a = -z for z.
-2
Let q be -2 - 0 - (0 + -1). Let f = 1 + q. Suppose -14 = -3*d - 2*z, -18 + 6 = -2*d - 2*z. Solve 0 = d*j - f*j + 4 for j.
-2
Suppose a + 101 - 29 = 5*t, -3*a + 24 = t. Suppose -2*q = -3*y - t, 0 = -2*q - y + 2*y + 5. Solve 5 = 5*f - q*f for f.
1
Let z = -7 + 9. Solve z*x = 7*x for x.
0
Suppose 0*x + 3*x - 5*s = -13, 2*x + s = 13. Solve x*k + 1 = 17 for k.
4
Suppose -5*z + 20 = 3*j, 0*j + 4*z = j - 18. Suppose j = b + 4*b. Let g be (3/b)/((-4)/(-16)). Solve 4*h - g*h = 0 for h.
0
Let r(q) = -q**2 + 12*q + 13. Let g be r(13). Solve g = -l + 7 - 2 for l.
5
Let q = -2 + 5. Let s be 3 - (-3)/q*-1. Solve 0 = 2*z + s*z for z.
0
Let v(x) = 2*x**2 + 4*x - 8. Let n be v(-4). Solve 0*h - 4*h - n = 0 for h.
-2
Suppose -5*q = -107 - 13. Solve q = -3*s - 3*s for s.
-4
Suppose 0 = -3*m + 2*i + 4, 3*i - 4*i + 1 = 0. Suppose 10 + 2 = m*q. Let u be ((-9)/(-6))/(q/16). Solve 0 = u*j - 4 - 0 for j.
1
Let h(d) = 2*d**2 - d - 1. Let l be ((-2)/(-4))/((-5)/(-20)). Let t be h(l). Solve 2*m - 3*m = t for m.
-5
Let t(v) = v**3 - 2*v**2 - 2*v + 1. Let s be t(3). Suppose 2 = -2*r + s*r. Solve 5*n - 24 = r for n.
5
Let g be (8/(-6))/((-5)/15). Suppose g*q - 5*j - 22 = 0, 0*q + 5*j = q - 13. Solve 6*d = q*d - 9 for d.
-3
Suppose 0 = 5*b + 4*v - 38, -4*b + v = 3*v - 34. Let l be (2 + (-6)/1)*-1. Suppose 5*r + l*u = 0, r + 2*u = 3*r - 18. Solve 0 = -k - r*k - b for k.
-2
Let p(r) = r**2 - 4*r - 5. Let k be -4 - (-2 - -1) - -8. Let s be p(k). Solve 0 = q - s*q for q.
0
Let h be (-2)/(-12) - (-161)/42. Solve -h*i + i + 12 = 0 for i.
4
Suppose 0 = x + 3*g + 6 + 12, 3*x - 3*g - 6 = 0. Let s = 6 + x. Suppose -2*m = -2*n + 10, -10 = 4*n - m + 3*m. Solve n = z + 1 - s for z.
2
Let w(l) = -2*l - 2. Let x be w(-3). Let p(u) = u + 6. Let t be p(-6). Suppose -k + 14 = 5*n, t*n - 10 = -3*k + n. Solve -4*s = -k - x for s.
2
Let v(b) = -b**2 - 6*b. Suppose -2*w - 4*l - 24 = -0*l, w = 5*l + 9. Let s be v(w). Let p(z) = -z - 2. Let g be p(-2). Solve y + g*y + 4 = s for y.
-4
Let g be 2/((-8)/(-12)*-1). Let c be 3*((-12)/g - 3). Solve -c*n = 2*n + 25 for n.
-5
Let w = -19 + 7. Let c = w + 5. Let y be 1/4 - c/4. Solve y - 1 = -j for j.
-1
Let l(u) = -3*u**2 + 7 + 0*u**2 - u**3 - 3. Let p be l(-3). Solve 3*h + 5 = -p for h.
-3
Let i = -3 + 8. Suppose i = 5*c - 10. Let d be 3/(-12) + 2/8. Solve d = -f + c*f + 2 for f.
-1
Let b(q) = q**2 - 2. Let g be b(2). Suppose g*l + 1 = -4*r - 19, -25 = 3*l + 5*r. Solve l*z + z = 2 for z.
2
Let h be 4/(-8)*0/(-7). Solve 2*y + 2*y = h for y.
0
Suppose -48 - 32 = -4*t. Solve t = -2*p + 6*p for p.
5
Suppose 68 - 20 = 8*w. Suppose 2*y - 10 = -5*r, -r - 20 = -4*y - 0*r. Solve 0 = -y*f + 21 - w for f.
3
Suppose 2*x = -0*x + 10. Suppose 9*g - 48 = x*g. Let c(t) = t**3 + 1. Let l be c(1). Solve g = -l*p + 5*p for p.
4
Let v be (-24)/(-10) - 2/5. Solve v*j + 3 = -1 for j.
-2
Suppose -s - 5 + 1 = -5*l, 2*s - l = 10. Suppose 0 = -0*n + n - s. Suppose 0 = -3*a + n. Solve a*o + 2*o + 20 = 0 for o.
-5
Suppose 4*y - 4*f - 56 = f, -2*y + 30 = -2*f. Suppose 69 = 5*r + y. Let o = r + -6. Solve z = -o*z - 25 for z.
-5
Suppose -5*z = -2*z - 15. Suppose 5*