n for j.
-1
Let g = 4 + -10. Let n be -3*(0 + 10/g). Suppose -2*f + 4*x - 25 = -n*f, x = 4*f - 8. Solve 2*k = 5*k - f for k.
1
Let t(f) = -f**2 + 2*f - 4. Let i be t(5). Let u(r) = -19*r**2 - 2*r + 2. Let v be u(1). Let s = v - i. Solve 2*c - 3*c - 1 = s for c.
-1
Let p(x) = -2*x + 9. Let y be p(7). Let u be (-74)/y + (-8)/(-40). Solve 5*c - u = -5 for c.
2
Let b = -13 - -10. Let v be 2/b*-6 + -1. Suppose 0*i = -v*i. Solve -4*c = -i*c for c.
0
Let m(i) = 32*i + 450. Let l be m(-14). Solve -5*w - l = 18 for w.
-4
Let x(a) = 2*a**2 - 22*a - 5. Let n be x(11). Let y = n + 9. Solve -2 - 14 = -y*b for b.
4
Suppose 5*i - 15 + 0 = 0. Suppose -2*d = i*m - 16, 2*d - d - 7 = -m. Suppose -t = 3*v - 68, -m*v = -t - 0 - 37. Solve -1 = 4*x - v for x.
5
Suppose 10 = 2*s + 8. Solve 3*c + s = -5 for c.
-2
Suppose -3*h + 14 = -4. Suppose -i + h = -4*i. Let o = 10 + i. Solve o*d - 4*d = -20 for d.
-5
Suppose 100 = 2*s + 23*s. Solve 2*x - 18 = -s*x for x.
3
Let y(h) = h**3 - 13*h**2 - 31*h + 24. Let o be y(15). Solve o = 3*b + 24 for b.
-5
Let v(z) = z - 8. Let y be v(4). Let w be (2/y)/((-7)/70). Suppose 0 = 2*q - j - 5, -1 = -q - w*j + 4*j. Solve 0 = q*i + 3*i for i.
0
Let r(l) = -l**2 - 7*l + 3. Let a be (-36)/(-24)*(-28)/6. Let t be r(a). Solve -5*k - 2 = t for k.
-1
Let o be ((-12)/15*3)/(4/(-10)). Let q(y) = 2*y - 10. Let k be q(o). Solve -k*r + 6 = -0 for r.
3
Suppose -10*t - 41 + 631 = 0. Let m = -53 + t. Solve 2*d - 8 = m*d for d.
-2
Let i be 448/(-24)*6/4. Let v be (-8)/i + 468/28. Let t = v + -17. Solve t = 2*b - 0*b for b.
0
Let h(r) = -r**3 + 6*r**2 + r - 4. Let n be 2/(-3) + (-300)/(-45). Let b be h(n). Let z = b - -9. Solve -z + 3 = -2*m for m.
4
Let a be ((-6)/12)/(1/76). Let c be a/(-3)*(-9)/6. Let u = 24 + c. Solve -h = -u*h for h.
0
Let i = -20 - -26. Suppose i = 3*g + 5*k, g = 4*k + 1 + 1. Suppose -4*s + 26 = g. Solve s*w - 5 = w for w.
1
Let w(d) = d + 18. Suppose -3*f = 16 + 14. Let j be w(f). Solve 0*p = -2*p + j for p.
4
Let g = -1 - -1. Let t(n) be the first derivative of -2*n**3/3 - 35*n**2/2 + 21*n + 1. Let v be t(-18). Solve g = 2*c + v*c for c.
0
Let y be (-2 + -2)*18/(-24). Suppose q = 2*m - 5*m + 20, -y*m + 16 = 5*q. Let o be 3 - (1 + m)/(-4). Solve -o*w - 7 = 8 for w.
-3
Let b(q) = -2*q**3 + 3*q**2 + 4*q - 4. Let y be b(2). Solve -3*j + 5*j + 2 = y for j.
-1
Let t be ((-5)/(20/(-6)))/((-42)/(-1008)). Solve -2*f - 28 + t = 0 for f.
4
Let f(p) = 3*p - 12. Let b be f(10). Let k be (-382)/b + (-10)/(-45). Let l = k + 23. Solve 20 = l*w + 2*w for w.
5
Let p be 2 - -4*(-5)/20. Let d(s) = -s**3 + s - 1. Let b be d(2). Let o = b - -12. Solve -o*w = 16 - p for w.
-3
Suppose 2*w = r - 12, 2*w + 5 + 3 = -r. Suppose -4*u + 12 = 3*k, r*u - 20 = k - 6*k. Solve u = -3*i + i - 10 for i.
-5
Let g(n) = 7*n**2 - 1. Let q be g(2). Suppose -q*c + 32*c - 40 = 0. Solve h = 3*h + c for h.
-4
Suppose -2*z - 568 = -4*d, 7*d - 2*d = -3*z + 732. Solve -d*s + 148*s = 20 for s.
5
Let v(l) = -7*l**3 - 10*l**2 - 3*l + 18. Let x(b) = -b**3 - b**2 - b + 1. Let s(j) = -v(j) + 6*x(j). Let o be s(-4). Solve f = -o*f for f.
0
Suppose 0 = -4*i - 5*j + 15, 15 - 3 = i + 4*j. Let d be (i - 4)/(1 - 2). Let h = 908 + -906. Solve 0 = 3*c - d*c + h for c.
2
Let h = -229 - -234. Solve -h + 0 = 5*f for f.
-1
Suppose -65*d = -232 - 418. Solve -d*x - 21 = -3*x for x.
-3
Suppose -c - 4 = -2*h - 10, h = -1. Suppose 0*k + c*g = k + 10, -5*k - 2 = -4*g. Solve -3*n + 5 - k = 0 for n.
1
Suppose -2*i = 3*l - 10, 5*l = l - 5*i + 25. Solve l = -8*r + 6*r for r.
0
Let a(c) = -11*c + 65. Let j be a(5). Solve j*t + 5 = -5 for t.
-1
Suppose 0 = -17*x + 85. Solve x = 4*m + m for m.
1
Let m be (-12)/20 + (4/5)/(-2). Let z be (-4 - 0) + 5 + m. Solve z = -0*q - 5*q for q.
0
Let q = 33 + -38. Let z be -4 + (400/(-4))/q. Solve z = 3*o - 7*o for o.
-4
Let y(l) = -15*l - 1 + l**3 + 27*l - 3 - 4*l**2 - 16*l. Let v be y(5). Solve -4*g + v = 5 for g.
-1
Let o be (-6)/(-3)*72/12. Solve 3 + o = 3*j for j.
5
Let t be (3 - 3)*1 + 0 + 28. Suppose -7*m - 7 + t = 0. Solve m*o + 7 = -2 for o.
-3
Let h = 2 - -10. Let p = h - 12. Suppose p = -3*o - o + 8. Solve -o*y = 3*y + 20 for y.
-4
Suppose 2*g - 8 = -2*g. Solve 2*i = -g*i - 8 for i.
-2
Let x(t) = -5 + 3 - 3 + t + 3. Let l be x(6). Solve a - l = 3*a for a.
-2
Let n be (-4)/38 + (-13321)/(-1463). Solve 0 = 12*j - 9*j + n for j.
-3
Let m(y) = -8*y - 4. Let u(b) = -b + 1. Let i(d) = -m(d) - 3*u(d). Let z be i(-1). Let c = z - -13. Solve t = c + 1 for t.
4
Suppose l - 70 = -3*n, 3*l = -5*n + 4*n + 10. Suppose 4 + 4 = -d - 5*g, n = -5*g. Let h = -7 + d. Solve -3*c + 5*c = h for c.
5
Let x(y) = 7*y + 29. Suppose -2*m = 3*m + 20. Let l be x(m). Solve s + 0*s - l = 0 for s.
1
Suppose 5*z = -5*b - 9 - 1, 5*b - 5*z = 10. Let l = -1111 - -1113. Solve l = -t - b for t.
-2
Let d(s) = 2*s + 2. Suppose 3*u + 2*u = -30. Let g be ((-3)/u*0)/1. Let a be d(g). Solve 4 = -w + a*w for w.
4
Suppose 0*j = -3*j - 5*m + 21, 0 = j + m - 9. Solve 18*y + j = 21*y for y.
4
Let s = -153 + 155. Solve 6*x = s*x - 12 for x.
-3
Suppose 19*n - 18 = -4*z + 21*n, -3 = -4*z - n. Solve -x - 9 = z*x for x.
-3
Let j = 14 + -9. Let u be (0 - 1)/(2/(-6)). Suppose 2*f + f - u = -2*l, -2*f = 3*l - 2. Solve -q + l*q = j for q.
-5
Suppose w - 64 = -3*w. Let s be 2 + w - (1 + 2). Suppose 163*p - 14 = 161*p. Solve 4*x - p*x = s for x.
-5
Let g be 8/(-6) + 31/3. Suppose 0 = 5*y - 21 - g. Suppose h = 4*h - y. Solve 6 = h*f - 4 for f.
5
Let v = -10 - -14. Suppose 2*p = -v*o + 2, 0 = -2*o + 2*p - 4*p - 2. Solve -d = -o*d for d.
0
Let b = 4 + -6. Let g(a) = a + 3. Let f be g(b). Solve -4 = -h + f for h.
5
Let m(c) = 4*c**3 - c**2 - 3 + 2 - 4*c - 3*c**3. Suppose -3*p + 24 = -5*n - 10, 0 = p - 5*n - 28. Let z be m(p). Solve z + 1 = 2*w for w.
3
Let d = -30 + 34. Suppose -4*s - d*n - 6 = 2, 4*s - 10 = 5*n. Solve 0 = -4*p - s + 4 for p.
1
Suppose 3*f - 6 = -0. Let o(w) = -4*w + 3*w**3 - 14 + 17*w**f + 3*w - 2*w**3. Let a be o(-17). Solve -a*l - 10 + 1 = 0 for l.
-3
Let f be 8/1 + -11 + (-1 - -5). Solve -9 - f = -2*u for u.
5
Let k = -1559 - -1559. Solve k = -75*p + 73*p + 6 for p.
3
Suppose b + 47 = 3*b - 5*s, -5*b + s = -175. Suppose -35*v + b*v - 2 = 0. Solve -v*l = -7 + 3 for l.
2
Let f(u) = -u**3 + 18*u**2 + 25*u - 47. Let v be f(19). Solve 0 = -14*x - 11 + v for x.
4
Let v(f) = -f**3 + 3*f**2 + 6*f - 4. Let j be v(4). Suppose -j*p = -p - 48. Suppose -c - 5*h = c - p, -5*c + 3*h + 40 = 0. Solve -c*l = -4*l for l.
0
Let h be ((2 - 7) + 5)*(-1 + 2). Suppose 3*q + 4*u = h, 5*q - 5*u = -2*u. Solve 5*v + 0*v = q for v.
0
Let c = -1 + -1. Let d be c/(-14) - 530/35. Let z = 23 + d. Solve 0 = -2*w - z - 2 for w.
-5
Let i(p) = 2*p**3 + 20*p**2 + 19*p + 15. Let z be i(-9). Solve 4*a = -2*a + z for a.
1
Let j be -5 + ((-12)/(-14) - 6909/(-343)). Solve 0 = -7*h + 30 - j for h.
2
Let d be (-12)/(-32) + 6*1/(-16). Suppose -x - 5*k - 14 = d, x - 5*k - 4 = -4*k. Solve 2*i = -x + 3 for i.
1
Let x(d) = -d**2 + d - 2. Let b be x(-5). Let s = -44 + 32. Let p be b/s*39/4. Solve -p = 5*m - 6 for m.
-4
Let o be (2784/(-72))/(2/(-3)). Let d = o - 54. Solve -d*k = -k - 3 for k.
1
Suppose -u + 36 = 3*h, -29 = -2*h + 3*u - 5. Suppose 7*n - h = 4*n. Solve 0 = -j - n*j - 20 for j.
-4
Let o(k) = 59*k + 595. Let i be o(-10). Solve 16*r - 43 = i for r.
3
Suppose 20*t + 4*t = 3408. Solve -148*m = -t*m - 18 for m.
3
Suppose -5*w + 0*w = 200. Let j = 42 + w. Solve 5*f + 13 = -j for f.
-3
Let t(x) be the first derivative of -x**2/2 + 2*x - 11. Let w be t(-9). Solve 0 = 2*j - w + 3 for j.
4
Let g be (3/(-30))/((-14)/420). Solve 0 = -g*z + 292 - 301 for z.
-3
Let d = -47 + 50. Suppose 3*v - d*i = 24, -4*i = -4*v + 3*v + 23. Solve -v*n = -6*n - 9 for n.
-3
Suppose -2*s - 3*f - 5 = 0, f + 20 = 2*s - f. Solve -s*i = -2*i + 11*i for i.
0
Suppose 17 = 4*j - 27. Suppose s + 3*b = 4, -3*b + 4*b = -2*s + 13. Solve 0 = -s*h + j*h - 4 for h.
1
Let s(b) = -b**3 - 4*b**2 - 2*b + 6. Let o be s(-3). Suppose 3*l - 3*z = -z + 44, 2*l - z = 30. Let p = -8 + l. Solve -5*r = -o*r - p for r.
4
Let h(m) = m - 1. Let i(s) = -s**2 - 3*s - 3. Let t(o) = -4*h(o) - i(o). Let d be t(-4). Let f(b) = b**2 - b + 2. Let c be f(2). Solve -c*n = -7 + d for n.
-5
Let c(d) = d**3 + 12*d**2 + 29*d - 14. Let l be c(-8). Solve -7*m - l - 11 = 0 for m.
-3
Let h = -450 + 454. Solve 68