
1
Suppose t = 40*t. Solve t = -13*n + 2*n + 11 for n.
1
Let k(d) = d**3 - 4*d**2 + 4*d - 1. Let r be k(3). Let j = r + -10. Let b = -7 - j. Solve 5*c = -4 - b for c.
-1
Let t(p) = p - 9. Let l be t(13). Let y(s) = 12*s**3 + s - 1. Let i be y(1). Solve -i = l*q - q for q.
-4
Suppose -t = -5*z + 3*t - 6, 0 = z - 4*t + 14. Suppose -z*c + 3*g = c + 12, -2*g = -4*c - 8. Solve 4 + c = -2*n for n.
-2
Suppose -2*y + 732 = 728. Solve 6 = 8*o - y for o.
1
Let i(z) be the third derivative of -z**6/120 + 7*z**5/60 - z**4/3 - 2*z**3/3 - 43*z**2. Let g be i(5). Solve 2*p - g = -p for p.
2
Let g(n) = 4*n**2 - 2*n + 5. Let x(c) = -c**2 - 1. Let y(p) = g(p) + 5*x(p). Let l be y(0). Solve l*o = -2*o - 10 for o.
-5
Let v = 10 + -7. Let y(n) = -n**2 + 3. Let c(k) = -k**2 + k + 2. Let l(x) = 4*c(x) - 3*y(x). Let u be l(v). Solve 9 = u*o + o for o.
3
Let i = -2 - -4. Suppose -6*s + i*s = 5*v, 3*v = 0. Suppose w - 42 = -37. Solve -w*b + s*b = 0 for b.
0
Suppose 3*g - 6 = 5*a - 2*a, -2*a = 0. Let s be (6/(-2))/(g - 3). Solve -2*q - s*q = -25 for q.
5
Let l(p) = 5*p - 10. Let v(b) = -b - 5. Let k be v(-8). Let t be l(k). Solve t = -2*m + 3*m for m.
5
Suppose 34 = l + g + 3*g, -3*l - 2*g = -52. Solve 0 = 3*p + 8 - l for p.
2
Let r(p) = p + 1. Let l(k) = -12. Let y(a) = -l(a) + 2*r(a). Let x(j) = 3*j + 26. Let q be x(-11). Let z be y(q). Solve 4*b = -z*b for b.
0
Suppose -6 + 30 = 3*d. Let x = 1 + d. Solve 2*l + x = -1 for l.
-5
Suppose -2 + 8 = 3*n. Let z be -2 - (-7)/2*n. Suppose -3 = -z*o + 7. Solve -h - o*h - 3 = 0 for h.
-1
Let d be (46/10)/1 - 12/(-30). Suppose d = -4*q + 17. Solve 2*u - u = -q for u.
-3
Suppose 7*i = 4*i + 381. Let b be i/8 - 16/(-128). Let z be (-3)/(-12) - 6/(-8). Solve -3*y - b = -z for y.
-5
Let z(q) = q**2 - 18*q + 17. Suppose 92 + 61 = 9*i. Let k be z(i). Solve p + 4 - 2 = k for p.
-2
Let k(q) = -3*q**2 + 12*q - 3. Let h be k(4). Let f be (40/(-35))/(4/42*h). Solve f*l - 5 = 7 for l.
3
Let b be (0 - 28/21)/((-6)/45). Solve 0 = 6*x - b*x - 16 for x.
-4
Let m = 35 + -24. Suppose -a + 2*a = -m. Let f = 17 + a. Solve -12 = -3*t + f*t for t.
-4
Let j(y) = y - 1. Let s be j(18). Let u(i) = -13 + 28 - s + i**2. Let l be u(3). Solve 4*a + 15 = l*a for a.
5
Let b be (486/(-567))/(2*(-2)/56). Solve -b*x = -10*x for x.
0
Let h be 2 + -5 - (-6 - 5). Let v = h - 8. Solve 3*t - t = v for t.
0
Let j(g) = g**2 - 4. Let k be j(-3). Suppose 0 = -m + k. Suppose 0 = 5*p, 3*p = -4*q + 1 + 11. Solve 2*b - q = m for b.
4
Suppose -3*r + 2 = -7. Suppose 0 = -2*f - 5*n + 13, 0*n = r*f - n - 28. Solve -4*c - f - 3 = 0 for c.
-3
Let s(j) = -1 - 3 - 3 + 13*j + j**2 - 3*j. Let o be s(-11). Suppose o*b - 41 = 39. Solve -4*m + b = m for m.
4
Suppose -2*j - 12 = 2*t, -4*j - j + 18 = -3*t. Let i be 2/t + 95/15. Solve 0 = -i*a + 3*a + 3 for a.
1
Let n(g) = g**3 + g**2 - g + 8. Let o be n(0). Let z = -4 + o. Suppose 0 = -5*p + 24 - 9. Solve -k + p - z = 0 for k.
-1
Suppose 14 = a - 3*a. Let y = 67 + a. Let m be 2/8 + y/16. Solve -3*h - 7 = -m for h.
-1
Let p be (-50)/(-5) + -6 - -2. Solve 51 = -9*y + p for y.
-5
Suppose -b = 2*l - 0*b + 107, -2*b - 61 = l. Let z = l - -57. Solve a - z = -2 for a.
4
Let d = 1340 - 1206. Solve -5*i - 114 = -d for i.
4
Let v be (6 - 1) + -8 + (-2 - -5). Let m(x) = -x**3 - 8*x**2 - 6*x + 10. Let r be m(-7). Solve v = -r*d - 3 for d.
-1
Suppose 3*j - 18 = 2*j. Suppose -73 + 8 = -5*m. Let y = j - m. Solve -5 = -y*k - 0 for k.
1
Suppose 2 = -701*x + 702*x. Solve -3*j - x*j - 25 = 0 for j.
-5
Let n(c) be the second derivative of c**5/10 + 3*c**4/4 + 2*c**3/3 + c**2 + 46*c. Let z be n(-4). Solve -p = p - z for p.
1
Let g = 9 + -5. Let y = 10 - 6. Suppose g*f - 4 - y = 0. Solve k - f = -k for k.
1
Suppose 7*m + 14 = 70. Let i = -10 - -16. Suppose -n - i = -3*n. Solve 0 = -n*k + 5*k - m for k.
4
Let n be 0 - (-3)/(9/6). Suppose 5*v - 36 = 3*u, u - 48 = -5*v - 0*u. Suppose h - v = -n*h. Solve 4 = -5*j + h*j for j.
-2
Let w(f) = -4*f + 0*f + 3*f - 6. Let l be w(-9). Suppose 0 = -3*u - 15, -z + l*u - 1 = -5*z. Solve z*b = -0*b + 20 for b.
5
Let m be 4 + 5/(5/(-2)). Let y(s) = -s**3 + 18*s**2 - 17*s + 12. Let o be y(17). Suppose 0 = -2*n - 2*n + o. Solve -m = 5*t + n for t.
-1
Let m be (-5)/(((-35)/(-2))/(-7)). Solve -3*d - m = 13 for d.
-5
Let q be 3 + 2/(-3) + (-1)/3. Solve 5*z = q*z - 12 for z.
-4
Suppose 35 + 73 = 9*k. Suppose 2*b + 3*c = 5 + 3, 5*c = -3*b + k. Suppose 2*h + 1 = 3. Solve b*m - h = 3 for m.
1
Let n(q) = -q - 6. Let u be n(-6). Suppose u = -o - 1 - 1. Let w(b) = b**2 + b. Let p be w(o). Solve l = p - 4 for l.
-2
Let j be -14*2/6*-3. Let w = 19 - j. Solve -w = -0*r + 5*r for r.
-1
Suppose 4*u - 21 = -85. Let t = u + 24. Solve -f + t = -3*f for f.
-4
Let g(i) = -2*i**3 - 9*i**2 - 7*i + 6. Let t be g(-4). Solve t - 15 = y for y.
3
Let q(g) = -11*g + 313. Let d be q(27). Solve -d*f + 8*f = -24 for f.
3
Let s(z) = -102*z + 233. Let x be s(2). Solve -x*a = -22*a + 7 for a.
-1
Let q = 11 + -8. Suppose -q*v = 2*v - 5. Suppose v = -l + 3. Solve -15 = -t - l*t for t.
5
Let x = 115 - 106. Solve 2*z + x = 1 for z.
-4
Let r be -1*(-1 - -1)/(-1). Let h be (-14)/(-18) + (-5 - (-94)/18). Suppose r = 5*o - 6 + h. Solve -o = 2*u + 5 for u.
-3
Let h = 10 + -3. Suppose -i + 13 = -h. Suppose -5*n + n = 4*g, 2*g + i = 2*n. Solve -n*x - 3 - 12 = 0 for x.
-3
Suppose r + 6*o - 14 = 4*o, 4*r - 2*o - 6 = 0. Suppose 0 = -r*q + 11*q - 98. Let d be (4/q)/(8/28). Solve -h + 5 = d for h.
4
Let h(x) = -3*x**2 - 19*x - 20. Let q be h(-5). Solve q = 5*i - 10 - 0 for i.
2
Let z(j) = -j**2 + 20*j - 16. Let w be z(19). Let s be 4*w*(-3)/(-6). Solve -s*y - 12 = -2*y for y.
-3
Let b = -9 - -12. Suppose -3*t + 8 = -s, 0*t = -4*s + t + 12. Suppose 3*a = 2*a - 5*r - s, -a + 2*r + 17 = 0. Solve -2*f + b = a for f.
-4
Suppose 2*v = -0*v + 10. Suppose r + 0*r + v = 0, 3*c = 5*r + 31. Solve c + 1 = -k for k.
-3
Suppose 0 = 4*i - 22 - 18. Suppose 0 = s, 4*s + i + 6 = -o. Let v = -5 - o. Solve 2*x - 1 = -v for x.
-5
Suppose 2*d = -0*d - 12. Let x be (-4 - -9)/((-5)/d). Solve -5*f - 4 = x for f.
-2
Let p = -1208 - -1219. Solve 8*i = 51 - p for i.
5
Let q be -4 - (-5 - -1) - -4. Solve -q*d - 13 = -33 for d.
5
Let s = -1179 - -1190. Solve -s*g = 37 - 15 for g.
-2
Suppose -7*n + 9*n - 294 = 0. Let o = n + -145. Solve -o*x + 8 = -6*x for x.
-2
Suppose 37 = -5*w + 17. Let h be ((-1)/(-2)*w)/(2/(-4)). Solve 3*c - h*c = -5 for c.
5
Let f(a) = -2*a - 21. Let t be f(-14). Suppose -9 - t = -c. Let x = -14 + c. Solve 0*v - x = -v for v.
2
Let g = 77 + -73. Suppose d - 4*n - 8 = -2*n, -n = -g*d + 25. Solve -3*p + p - d = 0 for p.
-3
Suppose -4*y + 61 = y - 3*t, 3*t = y - 17. Let c(g) = -g**3 + 13*g**2 - 21*g - 9. Let o be c(y). Solve q - o - 1 = 0 for q.
3
Let i be 0/(-3 + 0 - -1). Solve -2*f = -i*f + 8 for f.
-4
Suppose 5*z + 3*u - 25 = -2*u, -2*z - u + 5 = 0. Solve 3 = -j - z for j.
-3
Suppose 0 = -3*d - 5*i + 15, -15 = -3*d - 0*d + 3*i. Let f(q) = -21 + 21 + 2*q. Let w be f(0). Solve x - d = -w for x.
5
Let b be 2/5 - (1480/(-50) - -5). Solve -b = 3*u + 2*u for u.
-5
Suppose 0 = -24*i - 378 + 1074. Solve 37*u - i*u = 8 for u.
1
Let u = 54 - 51. Solve -2*f + 13 = u for f.
5
Let g(x) = -3*x**2 + 12*x + 4. Let r be g(4). Suppose -7 = 5*d - 3*q - 138, -r*q = 8. Solve 4*a - d = -a for a.
5
Let o be (16 - 16)*(-2)/8. Solve o = b + 2*b - 12 for b.
4
Let b(n) = 24*n + 179. Let x be b(-7). Solve -48 = x*y + y for y.
-4
Let f be 3 - 5 - -1*10. Let t be (1 + -2 - f)*-1. Suppose 0 = t*n - 7*n. Solve n = -5*y - 14 + 4 for y.
-2
Let c be -1*(-9 + 4 + -1). Suppose 0 = -3*r - t + 52, -64 = -3*r + 2*t + 3. Let m be 3 + -4*2/(-4). Solve m*s = -c - r for s.
-5
Suppose -2*s + 7 + 1 = 0. Let g be (-6 - (-6)/1) + 1. Solve -g + 5 = -s*i for i.
-1
Let i be (-80)/(-6)*(-6)/(-5). Let s(l) = 4*l**2 + l - 2. Suppose -2*j - 2 = -4. Let d be s(j). Solve d*f - i = -f for f.
4
Suppose -17*c + 25*c = 40. Let m be (-5)/2 - 1/(-2). Let f be (-1 - m)*0/(-1). Solve f*z - c*z = -5 for z.
1
Suppose 81 = 2*x + 31. Suppose 2*w - 4*s - 36 = 4, 3*w + s - x = 0. Solve -2*o + w = -0 for o.
5
Let d be ((-4)/4)/(1/5). Let q be 64/40 - -2*(-1)/d. Solve -q = x - 0 for x.
-2
Let j be -2 + 30/5 - -8. Let q = j - 6. Suppose -7*t - q = -27. Solve t*y - 4*y + 5 = 0 for y.
5
Suppose y - 7 = -g, -14*y - 11 = -17*y - g. Solve -3*a + 5 = y for a.
