3*t + 4. Let m be k(-2). Let r = 68 - m. Solve 5*x = r*x for x.
0
Let k = -33 + 33. Suppose -7 = -p + 4*j, -5*j + k = 5. Solve -11 = p*a - 2 for a.
-3
Let j be (8 - 7)*(-4)/2. Let h be -85*j/35 - (-1)/7. Solve -6*d = -d + h for d.
-1
Suppose 3*o = 8*o + 2*s - 590, -s = 2*o - 237. Solve o*n = 119*n + 15 for n.
-5
Let j(p) be the first derivative of p**4/4 - 5*p**3/3 + p**2 + 8*p - 14. Let r be j(4). Solve 2*z + r*z = -6 for z.
-3
Let u(p) be the second derivative of -p**3/6 + p**2/2 - 10*p. Let s be u(1). Solve s = -3*h - 0*h - 3 for h.
-1
Suppose 0 = -29*v + 24*v + 50. Let n(p) = 3*p - 8 + 2*p - 3*p. Let r be n(v). Solve x = -2*x + r for x.
4
Let o = -1362 - -1362. Solve 3*k - 12*k = o for k.
0
Let g = 62 + -62. Let w(n) = -n**3 - 5*n**2 + 6*n. Let x be w(-6). Solve g = l - x*l + 2 for l.
-2
Let v be (-121)/(-5) + 9/(-45). Let j = 31 - v. Solve d - 2 = -j for d.
-5
Suppose -15*n + 40 = -35. Suppose -4 = -v + 3*v - 2*s, 0 = s - 4. Solve -o + v*o = -n for o.
-5
Let t(o) = -o**2 + 4*o + 21. Suppose 0 = -4*h + 2*q + 30, -2*h - q = 3*q. Let j be t(h). Solve -g - 2*g = -j for g.
3
Let s(t) = -t**2 + 9*t - 17. Let i be s(5). Suppose 2 = -4*g - 4*b - 2, i*b + 3 = -5*g. Let r be g - ((4 - 5) + -10). Solve 4*x + r + 9 = 0 for x.
-5
Let t(a) = -22*a + 3. Let k(w) = w**2 - 8*w - 10. Let i be k(9). Let p be t(i). Suppose 0 = -5*l + 5 + p. Solve l*o = 3*o for o.
0
Suppose -5*y + 2*y = 2*y. Let r be 38/8 + (-2)/(-8). Suppose y*c = -r*b + 4*c + 52, -2*b = -2*c - 20. Solve 5*w = w - b for w.
-3
Suppose -q + 5*i = 35, -4*q - 3*i - 2*i = 240. Let z = q + 70. Solve u + z = 6*u for u.
3
Let o(n) = 10*n**2 + n. Let l be o(-1). Solve l*p + 12 = -33 for p.
-5
Let s(h) = h**3 + 18*h**2 - 16*h + 12. Let o be s(-19). Let k be -2 - 260/o - 4/(-18). Solve -n + k = n for n.
2
Let w be ((0/8)/4)/2. Solve w*o = 3*o + 5*o for o.
0
Let a(n) = -8*n - 62. Let w be a(-8). Let q be (0/(-6))/(0 - w). Solve 3*u + q = -3 for u.
-1
Suppose 0*h - 4*h = 56. Let r be 28/49*h/(-2). Suppose r*o = 2*o + 12. Solve -o + 3 = -u for u.
3
Let z = 533 + -521. Solve j + 22 = z*j for j.
2
Let l = 24 - 24. Suppose -5 = -b - l*b. Solve -4*k + b = k for k.
1
Suppose -4*t = -17*t + 182. Solve -9*f = t + 4 for f.
-2
Let v be 53 + -55 + (-8)/(-2). Suppose 5*i = 0, -4*i + 4 = 2*k - 4. Solve v*p = k*p - 2 for p.
1
Let d(k) = k**3 - 17*k**2 + 29*k + 20. Let i be d(15). Solve -i = f - 10 for f.
5
Let u(i) = 32*i + 273. Let z be u(-8). Solve z = -4*g + 9 for g.
-2
Suppose 0*p = 4*p - 12. Suppose 3*z - j + 2 = 23, 5*z - 43 = -j. Suppose z = -u + 3*u. Solve u = -s - p*s for s.
-1
Suppose 0 = z + 6 + 8. Let r = z + 14. Solve -4*t = -r*t for t.
0
Suppose -43*b + 4461 = -3236. Solve -191 = -3*t - b for t.
4
Let u(g) = g + 2. Let b(j) = -2*j - 5. Let a be (1 - 3)*14/7. Let i(y) = a*b(y) - 7*u(y). Let v be i(-3). Solve r = -0 - v for r.
-3
Let h = 39 - 63. Let y = 26 + h. Let b be 8 - (0 + 0 + -1). Solve y*t + 3 = b for t.
3
Let z be 5/(100/30) + (-5)/(-2). Solve 8 = z*f - 0 for f.
2
Let o be (28 + -16 - (4 + 1)) + -2. Solve -17*k - o = -18*k for k.
5
Let h be 22/10 - (-1 + (-78)/(-65)). Solve 2*s = -h - 2 for s.
-2
Let k(i) = -i**2 + 13*i - 8. Let c be k(12). Solve -10 = -c*f + 6 for f.
4
Let b = -6 + 10. Suppose -2*x + 14 = 3*l, 0 = -3*x + x - b*l + 10. Suppose x - 5 = 2*z. Solve -z*p - 5 - 7 = 0 for p.
-3
Suppose -9*b - 70 = -79. Solve -b = 5*w - 11 for w.
2
Let f be (8 - -3 - -2) + -3. Suppose 0 = -5*z - 5*y - f, z - 5*y + 0*y - 22 = 0. Suppose 2*u - 2*w = -3*u + 67, z*u - 46 = -4*w. Solve 2*j = -j - u for j.
-5
Let x be ((-3)/(-4))/(9/(-288)). Let t(g) = g**2 + 24*g + 2. Let l be t(x). Solve l + 4 = -2*u for u.
-3
Let b = 75 - 59. Solve -15 = -k - b for k.
-1
Let n be 4*-1*546/(-312). Solve n*p + 1 - 15 = 0 for p.
2
Let n be 8/6*(-27)/(-12). Let m be (n - -4)*40/28. Solve 8*a = 6*a - m for a.
-5
Let x = -42 + 64. Solve -x = -g + 12*g for g.
-2
Suppose 36*y = 24*y + 48. Solve -9*s + y*s = 10 for s.
-2
Let t be (0 - ((-24)/15 + 1))*5. Suppose -t*y + 9 = 4*c, -y - 2*c + 12 = 3*y. Let m(x) = x**2 - 2*x - 1. Let z be m(3). Solve -y*k - 5 = z*k for k.
-1
Let l(x) = 3*x - 6*x + 5 - 1 - 2*x. Let r(m) = -m. Let k(v) = l(v) - 4*r(v). Let d be k(3). Solve f = d + 3 for f.
4
Let l(u) = u**3 + 27*u**2 + 27*u + 31. Let d be l(-26). Solve -9 = d*w - 9 for w.
0
Let b be (-225)/(-180) + 1 + 5/(-4). Solve v + 0*v = -b for v.
-1
Let j be (-12)/2*3/(-27)*3. Suppose a + 27 = 2*i, 0 = -j*i - 3*i - 2*a + 72. Let o be 1*3 - (1 + -2). Solve -6 - i = o*u for u.
-5
Let t = -349 - -349. Solve t*z = z + 3 for z.
-3
Let d = -19 + 31. Suppose 5*r - 24 = -c, -c = 10*r - 14*r + 12. Suppose 0 = -c*i + d - 4. Solve i*k = -k for k.
0
Let k(d) = -d - 1. Let t be k(-3). Let j = t + 4. Suppose j*a = 2*a. Solve -q + 5 = -a*q for q.
5
Suppose -4*o + 3*t + 6 = 0, -2*o + 6*o = -2*t + 16. Suppose o*f - 6*f + 12 = 0. Suppose -4*g = 214 - 254. Solve -x = f*x + g for x.
-2
Suppose -j + 23 = 3*p, -5*p + 20 = 2*j - 4*j. Solve -4*c - p*c = -30 for c.
3
Let t be ((-2)/(-6))/((-8)/120). Let j(h) = h**3 + 5*h**2 - 3*h - 2. Let n be j(t). Let v = -11 + n. Solve 5 = v*i + 1 for i.
2
Let w be (3*(-1)/(-2))/(15/260). Solve 15 = -w*r + 23*r for r.
-5
Let f = -706 - -731. Solve -5*i + 10 - f = 0 for i.
-3
Let r = 1687 - 1673. Solve i + 13 = r*i for i.
1
Let u be (-4)/8*1*-38. Solve -16 = 7*x + u for x.
-5
Let l = 461 + -434. Solve 23*f - l*f + 16 = 0 for f.
4
Suppose 0 = -3*u - 3 + 12. Suppose -3*z + 0*z + 2 = 5*i, i + u*z - 10 = 0. Let g be (-15)/i + (-9)/(-18). Solve -g = -0*b - 4*b for b.
2
Let p = -3 - 2. Let m be 2/p - 66/(-15). Suppose k + m = 2*k. Solve r - k = 2*r for r.
-4
Let z(c) = 3*c. Let n(b) = -b**3 - b**2 + b + 1. Let v be n(-2). Let s be z(v). Solve s = -3*w - 0*w for w.
-3
Let i be (-6)/16 + (-1991)/88. Let r = i + 32. Solve 0 = 3*z - 0*z - r for z.
3
Suppose 5*q + 3 = -4*i, 3*i + 15 = 7*i - q. Solve 7 = -i*t + 19 for t.
4
Let j = 24 - 15. Suppose b - 5*i + 16 = 0, 14*i - 12 = 2*b + 9*i. Solve -b*q + q = -j for q.
3
Let b = -2066 + 2076. Let k be 2/4*(6 + 0). Solve -b*h = -11*h + k for h.
3
Let k(s) = s + 1. Let g be k(-1). Solve -3*t - 13 + 25 = g for t.
4
Let m(o) = -o**3 - o + 22. Let w = 34 - 34. Let y be m(w). Solve -4*r + y = 2 for r.
5
Suppose -4*i = -6*i - 5*g + 76, 4*i - g = 130. Solve 13*j + 32 = -i for j.
-5
Let c be 194/(-485) - (-1)/((-10)/(-54)). Solve a + 4 = c*a for a.
1
Suppose 0 = -4*g + 114 - 14. Let t(h) = -h**3 + 5*h**2 - h + 4. Let j be t(5). Let m be (-2 + -2 + 0)/j. Solve 0 = -m*d - d + g for d.
5
Suppose w + 2*t - 17 = 0, -5*t = w - 0*t - 32. Suppose -w*m - 6 = -34. Solve 0 = 3*k - 2 - m for k.
2
Let i = 3 - -1. Let p = -1153 - -1163. Solve 0 = u + i*u + p for u.
-2
Suppose 5*x - 4*p + 29 = -p, -3*x - 5*p + 3 = 0. Let w(k) = k**2 + 3*k - 1. Let b be w(x). Let i be 11 - (10 + (-52)/26). Solve -b*l + i = -12 for l.
5
Let j(b) = 4*b - 21. Let w be j(6). Suppose 2*d + w = i, 3 = -3*d - 0. Solve 2 + i = f for f.
3
Let n be 1/(-3*(-3)/45). Suppose d - 2*y - n = 2*d, 2*d + 4 = -y. Let m be 15/(-6)*(-1 + d). Solve 25 = m*t - 0 for t.
5
Let m = -3 - -5. Suppose -98*h + 22*h + 89 - 13 = 0. Solve -h = m*f + 7 for f.
-4
Suppose -t = -3*k + 3, 0 = -3*k - 5*t - 16 + 37. Suppose x - k = -4. Let z = x + 2. Solve 2*r - 6*r = z for r.
0
Let w be (8/(-5))/4*(3 - 8). Solve 0*k = w*k - 8 for k.
4
Let z be 19/2 + 16/32. Solve z = 6*w + 22 for w.
-2
Let x(l) = 8*l - 3. Let s be x(1). Solve s*q + 5 = 6*q for q.
5
Let w = 6 + -2. Suppose -11 + 5 = -2*r, w*q - 47 = -5*r. Suppose 4*o + 0*o = q. Solve 2*u + 20 = -o*u for u.
-5
Let a(m) = -8*m + 1. Let w be a(-3). Suppose -4*z + 3*y = -6, -5*y + w = -0*z + 5*z. Suppose 4 = z*k - b, 4*k + 8*b - 18 = 3*b. Solve 1 = d - k for d.
3
Suppose 4*t = -16, 4*t + 10 = 3*i + 3*t. Suppose -i*v - 2*v + 6*v = 0. Solve v*b - 8 = -2*b for b.
4
Let w be (4/(-6))/((-2)/(-3)). Let h be 1*(-4)/(w + 2). Let d(b) = b**2 + 4*b. Let f be d(h). Solve -6*x + x = f for x.
0
Suppose 0 = 8*j - 47 + 7. Suppose -c = -p, -3*c - 2*p + 30 = p. Let g = 11 - c. Solve -j*f - 1 = -g for f.
1
Let l(m) = m**2 + 4*m + 2. Let h be l(-2). Suppose 0 = 255*c - 253*c. Let w be (h - (-3 - c))*0. Solve 5*r - 22 + 2 = w for r.
4
Suppose -a + 6 = a. Suppose 9 + 11 = 5*m. Let c = m + 4. Solve -a*k = -c - 7 for k.
5
Suppose -22*p - 504 = -40*p. Solve 8