 for j.
4
Suppose -c = 1, 2*u - 3*c = -6*c + 1. Let v(f) = 2*f**2 + f - 6. Let p be v(u). Solve 2 = -p*r - 18 for r.
-5
Let o be 0/3 + -1 - -1. Suppose -2*m = -5*t - 39, 0 = 4*m - 4*t - 38 - 22. Let y = 18 - m. Solve -3*h + o = -y for h.
2
Suppose 0 = -4*o + 5*u + 461, 2*o - 5*u - 580 = -3*o. Solve -o*x + 113*x = -18 for x.
3
Suppose -2*r = -k + 21, 5*k + 2*r - 6*r = 87. Solve 5*j - 10 - k = 0 for j.
5
Let x(k) = -k**2 - 6*k + 6. Let n be x(-6). Suppose j = n*j. Let d = 2 - j. Solve -d*r = 4 + 4 for r.
-4
Let t(z) be the first derivative of -z**3/3 - 6*z**2 - 14*z - 5. Let u be t(-10). Let i be (0 - 0)*u/6. Solve 4*b = -i*b - 20 for b.
-5
Suppose 5*f - 2*f = 18. Suppose 8*j - 10*j = -f. Suppose -2*q = -4*w - 2, j*q + 2 = 5*w + 5*q. Solve w*p = -4*p - 20 for p.
-5
Let t be 36/(-120) + ((-2538)/(-60) - -6). Solve 47*o - t*o = -1 for o.
1
Suppose -242*m + 84 = -238*m. Solve 0 = -7*o - 0 + m for o.
3
Let g = -15 - -26. Solve -36 = -d - g*d for d.
3
Suppose 0*n - 2*u + 10 = n, 7 = n + u. Let m be 10/(-5) - -4*1. Solve 0 = m*b + n + 4 for b.
-4
Suppose 142 = 86*v - 288. Solve -v - 1 = 2*f for f.
-3
Suppose 0 = 10*a - 30. Let v be 15/a - (0 + (3 - 3)). Solve 16 = g - v*g for g.
-4
Let x be (5/(-15))/((-2)/18). Let h be x - (-58 + -3) - -3. Let q = h + -37. Solve q - 10 = 4*j for j.
5
Let x = 19 - 23. Let i be x/(-2)*(-28)/(-8). Solve i*d = 2*d for d.
0
Suppose 3*o - 2*q + 0*q + 68 = 0, 2*q - 44 = 2*o. Let u be o/18*-3 - 2. Suppose -c + 6 = 2*c. Solve -m + c*m - u = 0 for m.
2
Let l(m) be the second derivative of -m**4/8 - 2*m**3/3 - m**2 - 3*m. Let c(a) be the first derivative of l(a). Let v be c(-2). Solve 4*d - v = 3*d for d.
2
Suppose 6*l = 10 + 2. Suppose -4*j + 30 = l*j. Solve 0*o - j*o = 10 for o.
-2
Suppose 0 = -13*h + 9*h + 4. Let f be ((-84)/(-70))/(h/5). Solve a - 4 + f = 0 for a.
-2
Suppose 4*x + 21 = -5*u, u - x = -3*u. Let s be (-6 + 5)*(u - 4). Solve 4 = s*q + 9 for q.
-1
Suppose -6 + 10 = 2*x. Suppose 5*c = 5 + 5. Solve -c*y - x*y = -8 for y.
2
Suppose -4*u + 8 = -4*y, 2*u = 2*y - y. Let r be 14/((-10)/(-5)) + y. Solve r*l - 4 = -16 for l.
-4
Let r = -140 - -145. Let x be (-10)/(-14)*(2 + r). Solve 3 = 2*b - x*b for b.
-1
Let k(i) = 2*i + 21. Let q be k(-6). Solve -3*s - 6 = -q for s.
1
Let f = 253 - 247. Solve -f*n + 4 = -5*n for n.
4
Let c(x) = -2*x**2 + 11*x + 13. Let q be c(5). Solve -10*m + 4*m + q = 0 for m.
3
Let t(w) = w**3 + 20*w**2 - 19*w + 43. Let n be t(-21). Solve 6*j + n = 13 for j.
2
Suppose 4*a - 12 = 0, g + 3*a + 39 - 50 = 0. Solve -g*o - 75 + 83 = 0 for o.
4
Let s be 4*1/4 + 1. Solve s = -6*q + 7*q for q.
2
Let l = 5 - 5. Let w = 123 - 38. Let y = -79 + w. Solve 4*x + y + 2 = l for x.
-2
Let i(f) = 3 + 3*f - 2 - 3 - 4. Let a be i(0). Let t(x) = -x**3 - 7*x**2 - 6*x + 3. Let u be t(a). Solve u*v - 1 = 5 for v.
2
Suppose -5*f = -4*r + 84, -r - 9*f + 21 = -7*f. Solve -r = 13*m + 44 for m.
-5
Suppose 4*j - 16 = -3*y, 1 = 5*y - j + 5. Let h be 7 - (16 - y)/4. Solve -6 - h = 3*q for q.
-3
Let h = -5 + 4. Let t be (2 + h)/((-1)/(-3)). Let j = 8 - t. Solve -14 - 1 = j*r for r.
-3
Suppose -2*n = 3*n. Let c be 3*26/(4 + -3 - -2). Suppose 2*o - 4*k = c, -4*o - 2*k + 4 + 8 = n. Solve 0 = i - o*i - 12 for i.
-3
Let x be 180/9*(-6)/(-8). Solve -m + x = 2*m for m.
5
Let z = 673 - 657. Solve -6*w + z + 8 = 0 for w.
4
Let q be -1 + 2 - 30/2. Suppose -8*u = -3*u - 20. Let x be ((-4)/7)/(u/q). Solve x*s = -0*s + 8 for s.
4
Let b be (-15)/2 + 2/(-4). Let c = 12 + b. Let w(k) = k**3 - 4*k**2 + 4*k. Let v be w(c). Solve v = -u + 5*u for u.
4
Let f(q) be the first derivative of q**2 + 29*q - 4. Let a be f(-13). Solve 0*o + a*o - 6 = 0 for o.
2
Suppose 0*j + 2*j - 32 = 0. Let x = j - 12. Solve -13 = x*l + 3 for l.
-4
Let p = -917 + 932. Solve -p*f + 30 = -9*f for f.
5
Let n be ((-4)/16)/((-2)/24). Let w be 9/(1*1/5). Let r = w + -30. Solve 0*s = n*s - r for s.
5
Let f(i) = i**3 + 6*i**2 + 2*i - 12. Let n = -52 + 47. Let o be f(n). Solve 0 = 2*k - o*k - 5 for k.
-5
Suppose 60 = 2*h + 3*u, 4*h - 60 = 2*h + u. Let n be h/8 + 21/(-28). Solve 0 = n*w - 4 + 13 for w.
-3
Let c = 67 - 47. Suppose 3*w + 4 = z, z + 4*z - c = 3*w. Let x(a) = -a + 12. Let y be x(9). Solve l = y*l + z for l.
-2
Let h = 91 - 90. Let f(k) = 3*k**2 - 7*k - 7. Let l be f(-1). Solve -j + l = h for j.
2
Let w(k) = 2*k + 2. Let c be w(7). Let z(r) = -c + 5 + 0*r - 3*r. Let n be z(-10). Solve 0 = -5*s - 1 - n for s.
-4
Suppose 3*r + 7 = -11. Let v(b) = -7*b - 41. Let w be v(-7). Let i = w + r. Solve -3*n = -2*n - i for n.
2
Suppose -5*b + 10*b - 45 = 0. Suppose 0 = 7*q - b*q + 16. Solve 0 = -2*h - q - 2 for h.
-5
Let s(w) = 6*w - 6. Let z be s(-5). Let q be (-142)/(-4) - (z/(-8) - 4). Solve 0 = -5*m + q - 10 for m.
5
Let g(t) = -t**2 + 10*t + 266. Let d be g(-12). Suppose 4 = -0*r + r. Solve d*j - r = j for j.
4
Let f be (2/12)/(1 - (-2555)/(-2562)). Solve 0 = -4*g - 73 + f for g.
-3
Suppose -4*t + 40 = -4*f, -5*t + 4*f + 22 = -23. Suppose 5*i - 2*r - 21 = 3, 0 = t*r - 15. Solve 5*q + i = -4 for q.
-2
Let t = 2167 - 2163. Solve t = 7*y - 5*y for y.
2
Suppose 9*c - 8 = 10. Suppose -3*o = c*o + 2*o. Solve -4*m = -4 - o for m.
1
Let a = -32 - -38. Solve 14*d + 40 = a*d for d.
-5
Let k be (-6)/9*-9 + -4. Suppose 9 = 2*w + 3*d, -2*w + 2*d = -k - 2. Solve -w*i + 6*i - 12 = 0 for i.
4
Let r be 28 + 4/(-4) + -2 + 0. Solve -r = 5*t - 0*t for t.
-5
Let z = -3 + -8. Let j = z - -8. Let d = j + 3. Solve d*n = n - 5 for n.
5
Suppose -5*o - 54 = -4*c + 59, -4*c - 4*o + 140 = 0. Solve 37 - c = a for a.
5
Suppose -2*l + 12*l - 30 = 0. Let n be (-1)/3 - (-2 + 5/l). Solve n = -0*k - k + 1 for k.
1
Suppose -3*a + 28 = 3*w + 1, -5*a + 3*w + 61 = 0. Solve 12*m = -a - 37 for m.
-4
Let f = -400 + 403. Solve f = -22*t + 3 for t.
0
Let l be 1/((-24)/(-268)) + 2/(-12). Suppose -15 = -2*p - l. Solve p*n = 9 - 1 for n.
4
Let i = -32 + 35. Suppose i*a = 9*a - 30. Solve 0*h = a*h + 5 for h.
-1
Let g be ((-90)/40)/(15/(-40)). Solve -g = -2*w - 0*w for w.
3
Let a = -17 + 125. Let t be a/10 + 2/10. Let q = t + -8. Solve 0 = -q*f + 2*f for f.
0
Suppose 4*l + 3*b = -0*l + 8, 18 = 2*l - 2*b. Solve -2 = -r - l for r.
-3
Suppose 20 = -5*h, -4*y + 6*h - h = -44. Suppose 4 = -2*v - 20. Let f be -3*(-40)/v*(-4)/10. Solve 2*z + f = y*z for z.
1
Suppose 2*z + 1 = 5, -22 = 3*s - 5*z. Let f be (2/2)/((-2)/s). Solve 3*n + f*n = -5 for n.
-1
Let u(z) = -z**3 + 15*z**2 - 41*z - 17. Let x be u(11). Solve -x*h + 4*h = -0*h for h.
0
Suppose -2*h - 2 = 0, 3*v - 4*h - 20 = -v. Solve -j - v = -5*j for j.
1
Suppose 0 = 2*f - 2*h - 10, 4*f - f + 3*h = 45. Let q(v) = v - 1. Let c be q(f). Suppose -7 - c = -2*s. Solve -o - o = s for o.
-4
Let m(t) = -16*t + 162. Let c be m(10). Solve 0 = -c*u + 12 - 4 for u.
4
Let z be 10 + (88/55)/(2/(-10)). Solve z*p + 0 = 6 for p.
3
Let q(u) = -2*u**2 + 2*u + 2. Let o be q(3). Let x(v) = v**2 + 9*v + 6. Let r be x(o). Suppose 2 = 3*s - r. Solve -s*g = -g for g.
0
Let y be ((-9)/15 - (-20)/(-50)) + 5. Solve 1 = -y*a - 3 for a.
-1
Suppose 0*g + 3*g - 4 = -2*d, g - 8 = -4*d. Suppose 2*t - 4 = d. Solve 0 = f - 2 + t for f.
-1
Let m = -68 + 72. Solve m + 0 = 4*d for d.
1
Let i = 36 + -28. Suppose -c + i = 4. Solve c*m - 6 = 2*m for m.
3
Let o be 27/4 - (-8 - (-496)/64). Solve o*g - 85 = -78 for g.
1
Suppose -4*k = 2*k. Suppose k = -38*q + 42*q - 8. Let s be 21*(35/15 - q). Solve 4*w - s = 13 for w.
5
Let h = 12 - 10. Let m = h + 1. Suppose 14 = m*i - 4. Solve -d = 4 - i for d.
2
Suppose 568*r - 597*r = -2610. Solve 17*t + t = r for t.
5
Suppose 22*v - 640 = 6*v. Solve 0 = -11*n + v - 7 for n.
3
Let h be (25/15 + -2)*-9. Solve -h = -4*f - 7 for f.
-1
Let a = -239 + 242. Let t be (-2)/5 + 77/5. Let c be a/4 + t/(-20). Solve 8*u - 3*u = c for u.
0
Let z be -4 - ((-16)/(-24) - 58/6). Solve -2*m = -5 - z for m.
5
Suppose 34*g - 62 = 40. Solve 0 = 10*u + 7 + g for u.
-1
Suppose 0 = 4*n + 44. Let s = -5 - n. Let z be 45/s*8/6. Solve -3*t = -1 + z for t.
-3
Let h = 2026 - 1947. Solve -1 = -16*u + h for u.
5
Let p = 11 + -15. Let t be -2 + -1*(1 + p). Suppose -l - 5*j - 5 - 10 = 0, l = -j + t. Solve 6*q = q - l for q.
-1
Suppose 2*s + 3*a - 15 = -0*s, 5*s - 2*a + 10 = 0. Solve s = -7*q - 0*q + 7 for q.
1
Let m(q) = -139*q - q**2 + 2 + 143*q + 2*q**2. Let c be -2 + (-2 - -3)*-2. Let n be m(c). Solve f + 0*f =