r = -19 + 24. Solve 0 - 10 = -r*q for q.
2
Let y = 34 + -31. Solve 0 = 2*a - y*a for a.
0
Let u = 7 + -13. Let x be 6/4 - (-3)/u. Solve d + 2 = -x for d.
-3
Let z(t) = -t - 5. Let s be z(-4). Let o be 1*2/(-2 - s). Let b be -10*1/(o/5). Solve 0 = -2*y - 3*y - b for y.
-5
Suppose -3*b = -0*c + 4*c, -3*c - 9 = 0. Suppose -18 = -3*p + a, -p = -5*p - b*a + 8. Solve p*f + 2 = -3 for f.
-1
Let o be ((-2)/6)/((-1)/6). Suppose t = -o*t + 15. Solve 16 = -t*c - 9 for c.
-5
Suppose -3*w + 6*w + 30 = 0. Let b = w - -11. Let r be (3/(-6))/(b/(-2)). Solve -r - 1 = -2*g for g.
1
Suppose -b = 5, -6*y + 2*y = -4*b - 20. Solve y = 2*n - 5*n + 3 for n.
1
Let u(r) = r**3 + 5*r**2 - 5*r + 7. Let c be u(-6). Let k be ((-2)/(-2) + -1)/c. Solve k = -f - f - 8 for f.
-4
Let n be (30/(-9))/((-6)/18). Solve 2*l = -4 + n for l.
3
Suppose 3*u - 3 = -2*w + 1, -w - 16 = -3*u. Let l be (2/(-6))/(w/36). Solve 6*v = l*v - 12 for v.
-4
Let v(c) = -c**3 + 11*c**2 + 12*c + 3. Let k be v(12). Solve l + 2*l = k for l.
1
Let g = -10 + 10. Suppose g = -0*d - d. Solve 0 = 2*o - d - 8 for o.
4
Let d be 14/63*15*(-12)/(-10). Solve d*q - 7*q = -12 for q.
4
Suppose 20 = -2*y + 6*y. Suppose 4*h = y*h - 6. Let l be (-6)/(-15) - h/15. Solve 3*b = -l*b + 3 for b.
1
Let m(r) = r**3 - 3*r**2 - 4*r + 5. Let l be m(4). Suppose -l*v + 15 = -35. Solve -3*d - v = -d for d.
-5
Let i = 0 + 3. Suppose -4*x + 9 + i = 0. Solve -a + 16 = x*a for a.
4
Let w(j) = j**2 - 3*j - 3. Let g be w(4). Let a = 8 - 10. Let t be -1 + (-6)/a + g. Solve -d + 0 = -t for d.
3
Suppose -5*m + 3 = -12. Suppose -3*l + 3 = -m. Let t be (0 - -2)/l*0. Solve t = -2*z + 6*z - 4 for z.
1
Let z be -10*(1 - 0 - 0). Let w be (z/3 - 0)*-3. Solve -7*h = -2*h - w for h.
2
Let k(z) = z**3 - 21*z**2 - z + 24. Let h be k(21). Solve h*a - 8 = -a for a.
2
Suppose -4*q - d + 34 - 2 = 0, -2*q + 16 = -5*d. Suppose 3*n - 2*z - z = 0, -3*n - 4*z = -21. Solve q = n*v - v for v.
4
Let c(f) = -f**3 + 7*f**2 - 2*f - 7. Let x be c(6). Suppose -3*z = -4*z + 3*g + x, 5*g = -2*z - 21. Solve 4*v - z - 2 = 0 for v.
1
Let t = -3 - -8. Solve t*i - 1 - 4 = 0 for i.
1
Suppose 2*p = -4*x - 204, 0 = 3*x - 7*x + 4*p - 192. Let d be (-42)/8 - 6/8. Let n be x/d - (-2)/(-6). Solve 0 = 3*k + k - n for k.
2
Let q(r) = -r**3 + 5*r**2 - 2*r + 1. Let u be q(4). Solve 0 = 2*j - u - 1 for j.
5
Let c = 15 + -11. Suppose 0 = w + 2, 2*k + w = -3*w - c. Solve -25 = k*s - 7*s for s.
5
Let k = 39 + -27. Suppose -p + 3*p = 2. Let v = 1 + p. Solve -t = v*t - k for t.
4
Let z = -63 + 68. Solve 3*h + 2 = z*h for h.
1
Let r = 95 + -93. Solve 2 = 4*g - r*g for g.
1
Suppose 0 = -3*r - 2 + 8. Suppose r*j - 3*j = -3. Solve j*d = -d + 4 for d.
1
Let a = -19 - -34. Solve -6*h + 3*h + a = 0 for h.
5
Let y(o) = o**3 + 22*o**2 - 3*o - 53. Let k be y(-22). Solve 0 = -5*q + k + 7 for q.
4
Suppose 3*x - x = 4. Solve x*b = -b for b.
0
Let b = 1 - 5. Let u = 1 - b. Solve n = u*n for n.
0
Let z(h) = -h + 2. Let i be z(1). Solve i = -3*q - 5 for q.
-2
Let p be (40/(-14))/((-11)/((-462)/(-12))). Solve -1 = -3*q - p for q.
-3
Let o = 11 + -5. Solve 0 = -5*c - o - 9 for c.
-3
Let n = -12 - -11. Let q be (-8)/(-24) + n/3. Solve 3*y + q = -9 for y.
-3
Let m = 28 + -25. Solve -m*i + 3 = -0 for i.
1
Let h(k) = -3*k + 16. Let y be h(0). Solve -4*a - 4 = -y for a.
3
Let k(o) = -o**2 - 15*o - 1. Let v be k(-8). Suppose -v = -7*n + 2*n. Let h = n - 8. Solve h = -2*z - z for z.
-1
Suppose 2*y = 6, s + y + 15 = 6*y. Suppose s = -2*o + 2 - 4. Let p = o - -4. Solve -u + 4 = p for u.
1
Let t = 4 + 23. Suppose 4*w + 7 = t. Solve 3*b = w*b for b.
0
Suppose 9*a = 12*a - 6. Solve 1 = -j - a for j.
-3
Suppose -2*f = -1 - 5. Solve 0 = f*j + j for j.
0
Suppose -2*t + 7*t - 60 = 0. Suppose -3*j + t = j. Solve -q = -j*q for q.
0
Let d(b) = b**3 + 3*b**2 + b - 2. Let w be d(-2). Suppose -3 + 88 = -5*x. Let o = x + 21. Solve 2*u = -w*u - o for u.
-2
Let c(h) = h**3 + 6*h**2 + 2*h - 1. Let j be c(-5). Suppose 5*d = 6 + j. Suppose d = 3*y - 5. Solve 8*u = y*u for u.
0
Let b(j) = 2*j. Let l be b(1). Suppose -3*p + 2*r + 23 = 0, l*r - 7 = -2*p + 5. Suppose 2*o + m - p = 0, 3*o + 3*m + 2*m = 7. Solve -3*x + 4 = -o*x for x.
-4
Suppose 187 = -5*f + 207. Solve 5*s + 19 - f = 0 for s.
-3
Suppose 4*v - 18 = -5*h + 35, -3*v - 4 = -5*h. Let q be 0 - (0 + -1)*3. Suppose -2 - v = -q*j. Solve -j*n + 4*n - 5 = 0 for n.
5
Let k be (0 + (-1 - -1))/(-2). Suppose u + 3*l + 23 = -k*u, 5*u = l - 51. Let t = 0 - u. Solve 4*i - t = -3 for i.
2
Let p(j) = j**3 - 2. Let h be p(2). Let w = 6 - h. Let r(t) = -4*t + 3. Let s be r(-3). Solve x + 2*x + s = w for x.
-5
Suppose 3*o = -0*o - 3*o. Solve 4*a - 15 + 3 = o for a.
3
Let o be -3*(-2 - 2/(-3)). Let n be 2/o + (-3)/6. Suppose n = -0*h + 3*h - 6. Solve -h*l = l + 12 for l.
-4
Let v = 13 - 7. Suppose -d + 4*w + v = 0, 0*d - 2*d = 2*w - 2. Solve -14 = -4*r + d for r.
4
Suppose -h = -5 + 20. Let a be (-18)/(-5) + (-6)/h. Solve -a*b = -11 - 5 for b.
4
Let a(n) = -3*n + 3. Let c be a(-3). Solve 3*p = -p + c for p.
3
Suppose 0 = x + 2*x. Let k be (2 - x)/(8/20). Let u(g) = -g**3 - 7*g**2 - g - 1. Let b be u(-7). Solve k*z + 3 = b*z for z.
3
Let f be (0 - 14)*12/(-14). Suppose a = -y - 2*a + f, -2*y + 9 = a. Solve 0 = -y*q - 2*q - 10 for q.
-2
Let o(h) be the second derivative of h**4/12 - h**3/2 + 5*h**2/2 + 3*h. Let d be o(4). Solve 3*c + 0 + d = 0 for c.
-3
Let p = -67 + 69. Solve p*o = -o - 12 for o.
-4
Let w = -3 + 6. Let y = w - -1. Suppose 3 = -y*c + 23. Solve -2*n = c + 5 for n.
-5
Suppose -c = 2*c. Let l = 1 - 1. Solve c = -k - 2 - l for k.
-2
Let j = -69 + 81. Solve 0*d + j = -4*d for d.
-3
Suppose -4*v + 4*h + 48 = 0, -3*h = 3*v - 2*v. Suppose v = 3*i + 3*t, -5*i - t - 30 = -5*t. Let g be (3/5)/(i/(-20)). Solve -6 = g*a - 3*a for a.
-2
Let o be 32/40 - 56/(-5). Solve -o = d + 3*d for d.
-3
Suppose 5*h + 8 = -4*w, -3*h - 5*w - 8 = 2. Solve -k - 1 = -h*k for k.
-1
Let r(i) = 24*i + 1. Let k be r(1). Let v = k - 18. Let w(t) = -t**3 + 6*t**2 + 7*t + 3. Let p be w(v). Solve -6*n = -p*n - 3 for n.
1
Suppose 2*u + 2*k - 17 = -7, 5*k = -2*u + 25. Suppose 0 = 3*s - u - 6. Solve 0 = s*n + 2 + 4 for n.
-3
Let i = -58 - -63. Solve -2*u = 1 - i for u.
2
Let p(j) = -3*j**3 + 3*j. Let a(o) = 10*o**3 - 10*o - 1. Let r(l) = -2*a(l) - 7*p(l). Let s be r(2). Solve -c = c - s for c.
4
Suppose 6*s - s - 15 = 0. Let l be 3*(2 - (-3)/3). Solve 0*r = -s*r - l for r.
-3
Suppose -3 = -4*d + 5. Solve 15 = -d*k - 3*k for k.
-3
Suppose 0*h - 3*h = 5*t - 33, 5*h - 5 = 0. Solve -9 - t = 5*s for s.
-3
Let v(g) = -g**2 + 3*g. Let i be v(2). Suppose n = -i + 5. Let b be (-28)/2*(2 - n). Solve 5*f = b - 4 for f.
2
Suppose 0*s - s + 5*h = 8, 12 = 2*s + 4*h. Solve -2*m - s*m + 4 = 0 for m.
1
Let v(f) = f**3 - 5. Let t be v(0). Let g be (0 - -1)/(t/(-35)). Solve -12 = 3*a - g*a for a.
3
Let y(t) = -t**3 - 10*t**2 + 12*t + 11. Let n be y(-11). Solve 0 = 5*v + 15 - n for v.
-3
Let j(h) = 3*h**2 - h + 3. Let g(b) = 2*b - 3 + 0*b**2 - 2*b**2 + 0. Let d(k) = 4*g(k) + 3*j(k). Let u be d(-6). Solve -6*x + u*x = 3 for x.
-1
Suppose -4*l + 0 = -4. Solve -w + 4 = l for w.
3
Suppose 0 = -u - 3*u + 16. Suppose -5*v = -u*c + 10, 5*c - 34 = -v - 7. Suppose 2*s = 8, -s = t - 2*s + 3. Solve v + t = -3*q for q.
-1
Let o be -2*(-4)/12*3. Solve t - 1 = -o for t.
-1
Let a = 12 + -6. Solve 2 - a = -c for c.
4
Let y(a) = -a - 2. Let r be y(-8). Suppose 0 = 2*n - r*n + 16. Let j(z) = -z**2 - 6*z + 4. Let h be j(-6). Solve h + 16 = n*c for c.
5
Let u(v) = 5*v**2 + 9 + 8*v - v**2 - 5*v**2. Let t be u(9). Suppose -2*c + 6 + 2 = t. Solve 2*f - c*f = -2 for f.
1
Let h = 1 + 19. Suppose l + h = 23. Solve 0*b - l = -3*b for b.
1
Let l(j) = -j**3 - 7*j**2 - 6*j + 4. Let y be l(-6). Solve 5 = h + y*h for h.
1
Let d = 2 - 4. Let r = -2 - d. Solve v = -r + 1 for v.
1
Suppose -2*v - 6 = -20. Let w = 10 - v. Suppose -w*r = x - 14, 2*r + 0*r + x - 11 = 0. Solve -r*b = 2*b - 25 for b.
5
Suppose 2 = l + 1. Suppose -d + l + 2 = 0. Solve -v = d*v - 12 for v.
3
Suppose 0*o - 2*o - 8 = 0. Let c = -5 - o. Let h be (2 + c)/((-1)/(-3)). Solve 0*y - 3 = -h*y for y.
1
Let l(b) = -8*b - 2. Let x be l(-1). Solve 2*j + 16 = x*j for j.
4
Suppose -k - 3 = -1, 9 = 3*d - 3*k. Let o be (-6)/(6/10 - d). Solve 8*a - o = 3*a for a.
3
Let i(m) = -m - 9. Let l be i(-12). Solve -k - 4 = l*k