Suppose p = -3*j + 2 + 4, -11 = -3*t + 2*j. Solve 0 = t*m - 0 + 5 for m.
-1
Suppose -o + 3 = -g - 5, 5 = 5*o + 2*g. Let b(n) = 2*n**2 - 2*n. Let k be b(o). Let t be 1*-1 - (k + -15). Solve -12 = t*d - 5*d for d.
4
Let i be (-15)/(-4)*((-770)/(-42) + -13). Solve -7*j + 11*j = i for j.
5
Let i be ((-4)/(-3))/(128/2112). Solve 6*p = i - 16 for p.
1
Let x be (4/12)/((-1626)/(-270) + -6). Solve 24 = -x*u + 69 for u.
3
Let y = 1191 - 1191. Solve a - 3 = -y for a.
3
Suppose 3*o - 208 = 5*q, o = -0*q + 2*q + 70. Let t = -54 + o. Solve 4*p + 8 + t = 0 for p.
-5
Let o = -400 - -403. Solve 5*g - 18 = -o for g.
3
Suppose 5*a + 0*a - 2*t - 23 = 0, -3*a + 5*t = -29. Suppose 5*s + a*w = -2*w + 15, 6 = -s + 2*w. Solve 0*v + 5*v = s for v.
0
Let t(y) = -2*y + 3. Suppose 0*i - 4*i = 16. Let o be t(i). Let s = 15 - o. Solve 4*b + 0 = s for b.
1
Suppose -o + 3*o - 8 = 0. Suppose -z + 12 = -2*z - o*l, -z - 3*l = 8. Solve 8*w + 4 = z*w for w.
-1
Let s be ((-20)/(-6))/(39/117). Solve 0*x + 2*x + s = 0 for x.
-5
Let y = 45 - 45. Let c be ((-30 - 0)/6)/(-1 - y). Solve -h - 1 + c = 0 for h.
4
Suppose 3*n = -4*z + 9, -7 = -4*n + 5*z + 5. Suppose -5*x + n*x = 3*x. Solve x*c + 5 = c for c.
5
Suppose 85 = 5*j - 5*l, -2*j + l = -4*l - 40. Let v be ((-12)/j)/(2/(-10)). Solve v*g - 1 = 11 for g.
3
Let c be -1*(-2 + 1 + 5). Let p = c + 4. Suppose 0 = 5*z - 25, -4*w = -2*w + 5*z - 41. Solve d - w + 5 = p for d.
3
Suppose 0*r + 1233 = 3*r. Suppose -413 = -3*f + 4*h, -3*f + 3*h + r = -0*f. Let m be (6/9)/(6/f). Solve d + 4*d = -m for d.
-3
Let v = -62 + 80. Solve v + 7 = -5*o for o.
-5
Let n be -1 + -2 + (4 - -27). Solve -3*c = n - 16 for c.
-4
Suppose 2*r + 7*r = 27. Suppose -3*g - m + 5 = 0, m + 29 = r*g - 4*m. Solve s - 2 = g for s.
5
Let j(u) = -5*u**2 - 12*u + 2. Let d be j(0). Solve -13*p = d*p for p.
0
Let q(i) be the first derivative of i**4/4 - 4*i**3/3 - 2*i**2 + 5*i - 3. Let w be q(5). Let t = -13 - -18. Solve -t*f - w = -10*f for f.
2
Suppose -n - 21 = -27. Solve 0 = n*q - 0*q for q.
0
Suppose -k + 5*k = 0. Suppose 3*a + 2 - 17 = k. Solve -2*x - a = 1 for x.
-3
Suppose -10*i - 3 = -6*i - 5*a, -3*i = -5*a + 6. Let f be -47*(0 + 1) + 1. Let z = 50 + f. Solve i*t + t = -z for t.
-1
Suppose -2*z = -0 - 4. Suppose -9*g = -4*g - 15. Solve -y + g*y - z = 0 for y.
1
Let k(m) = -m**2 - 2*m + 74. Let c be k(-9). Solve -c*j + 5*j = -6 for j.
1
Let o be ((-1)/2 + (-63)/18)*-2. Suppose 0 = 2*p - 2*l - 4 - 0, 4*p - 8 = 3*l. Suppose -o - p = -2*v. Solve v*a - 7 = 3 for a.
2
Suppose 5*r = -22*t + 23*t - 8, -56 = -3*t - r. Solve 9*m - t = 27 for m.
5
Let h be (0 - -2)*(-38)/(-4). Solve 5*y + 4 = h for y.
3
Let q = -30 - -28. Let z be q*(6/(-2) + -1). Solve -z*l + 20 = -4*l for l.
5
Let o(p) = -p**3 - p**2 + 2*p - 4. Let m be o(2). Let t be 1/((-4)/m) - 3. Solve -5*j + 3 + 22 = t for j.
5
Let w = -1 - -18. Suppose f - 2*t - 52 = -f, -5*f - t + 154 = 0. Suppose -2*r - f = -8*r. Solve -8 = r*b + w for b.
-5
Let x = 1 + -1. Let d = x - -4. Suppose 2 = 5*y - d*y. Solve q = -q - y for q.
-1
Let k be 61/3 - (-1)/(-3). Let p be (1 + -3)*-1*3. Solve -p*v = -v + k for v.
-4
Let z = 46 + -118. Let s = z + 80. Solve 0 = -2*x + s for x.
4
Let b(p) = p**2 + 2*p. Let n be b(3). Let g = n + -5. Suppose -c - g = -6*c. Solve 0 = c*y + 3*y + 20 for y.
-4
Suppose -79*v - 20 = -83*v. Let t be (-13)/(-3 + -1 + 3). Solve -12 = v*c + t for c.
-5
Let f be 4/4*(1 + 0). Let l = -5 + 10. Suppose -3*g + g - 5*i = -39, 0 = -5*g + l*i + 10. Solve -2*p = -g + f for p.
3
Let y be (-4)/(-3) + 2/3. Suppose 18 = 5*c - 22. Suppose -12*d + c*d = -20. Solve -x + y*x = d for x.
5
Let h = 8 + -6. Suppose -5*z = 5*w + 35, -4*z - 12 = -3*w - 68. Let l be 91/42 - (-2)/w. Solve -l*b = -10 + h for b.
4
Let i = 1252 + -1212. Solve 5*n - i = -15 for n.
5
Let c(j) = 2*j**3 - 8*j**2 + j + 7. Let a be c(4). Suppose 0 = a*w - 9 - 13. Solve -2*v - 16 = w*v for v.
-4
Let c be 4*12/64*4. Let t be (2/(-4))/(c/(-6)). Solve -t = -3*h + 2 for h.
1
Suppose -154 = -5*t - 5*n + 101, 0 = -4*t - n + 219. Suppose 0 = -12*h - 2*h + t. Let u = 0 - -3. Solve u*s = h*s for s.
0
Suppose -2*y + 24 = -0*v - 4*v, 2*y = -4*v. Let p be (35/((-2800)/192))/(2/(-5)). Solve y = 3*r - p for r.
4
Let b be (60/270)/(2/342). Solve 0 = -9*n + 11 - b for n.
-3
Suppose 2*a + 37*y - 36*y = -2, 10 = -2*a - 5*y. Solve p - 4 + 3 = a for p.
1
Let p = 34 + -32. Suppose l + 5 = k - 3*l, 3*l - 10 = -p*k. Suppose 20 = -k*x, 3*q + 2*x = -2*x - 10. Solve 4 = -q*r - 0 for r.
-2
Let h(t) = 5*t**2 - t - 3*t**2 + 8*t**2 - t + 1. Let r be h(1). Let q be r - (-2 - (-2 - 0)). Solve -4*z = -q*z for z.
0
Let x = 44 - 4. Suppose -x*u = -36*u - 20. Solve -4*y = u + 11 for y.
-4
Let y(q) = -6 + 68*q**2 + 2*q**3 - 8*q + 59*q**2 - 117*q**2 - 3*q**3. Let p be y(9). Solve -p - 22 = -5*n for n.
5
Let m = 2 + 0. Suppose -m*l + 4*l = 0. Suppose k = -3*g + 22, 0*g = -2*k - 3*g + 32. Solve l*o - 2*o = k for o.
-5
Let t be (11 + -8)*-3 - -27. Solve t*c = 9*c - 27 for c.
-3
Let c(z) = z**3 + 4*z**2 + z. Let w be c(-2). Let h be 450/42 - (-2)/7. Let x = h - w. Solve -x*n = -n for n.
0
Let k(j) = 30 + 15*j + 5 + 12*j - 31*j. Let i be k(8). Solve 0 = -i*o - 23 + 8 for o.
-5
Suppose 16*r + 5*r = 42. Solve 0 = 6*x - 4 - r for x.
1
Suppose 2 = -2*w, g - 3*w - 60 - 88 = 0. Solve -6*z + 127 = g for z.
-3
Let d = 1013 + -1008. Let v be 1 - 2 - 2/(-2). Let q = v + 1. Solve b + q - d = 0 for b.
4
Let v(n) = -12*n + 125. Let j be v(7). Solve 0 = -j*b + 45*b - 16 for b.
4
Suppose -x + 5*d + 11 = 2*d, 5*x - 5*d - 65 = 0. Suppose 5*b + 6 = -s - x, -4 = s + b. Solve f + 4*f - 5 = s for f.
1
Suppose 0 = -p + 2*v - 8 - 6, -4*v = -16. Let n be (p/(-3) - 2) + 6 + -6. Solve -3*i + 4*i + 1 = n for i.
-1
Let j(k) = 2*k**2 + 2*k. Let p be j(-2). Suppose -16 = -p*r - 4*s, 4*r + 4*s = 8*s + 16. Suppose -2*v = -0*v - 4. Solve 3*o = r + v for o.
2
Suppose -3*h = 15*j - 16*j + 3, 0 = 2*j + 3*h - 6. Solve -g - g = j*g for g.
0
Let i = -1 + 11. Suppose 0*d = 5*d + 2*r + 4, i = -5*r. Let s = 461 - 461. Solve s*j + 4*j = d for j.
0
Let b(f) = f**2 - 20*f - 16. Let z be b(21). Suppose 0 = -c + z*j + 9, 3*j - 21 = 3*c - 84. Solve 3*r = 9 - c for r.
-5
Let u = 276 + -272. Let b(q) = -q**3 + 8*q**2 + 5. Let k be b(8). Solve -k*d + u = -d for d.
1
Let r be (1 - 1)/(2 + 0). Suppose -14*c - 5*c = -76. Solve -j - c*j - 5 = r for j.
-1
Suppose -3*b = -2*b - 1, 3*v - 35 = -2*b. Solve 0 = q - v*q for q.
0
Let t(i) = 52*i + 318. Let p be t(-6). Let s(m) = -m - 1. Let k be s(-4). Solve -k*g = -p*g - 15 for g.
-5
Let q(m) = 6*m - 40. Let u be q(10). Suppose -d = u - 22. Solve -2*c = -10 + d for c.
4
Let v be (-4)/(-5) - 1 - (-71)/355. Let s(n) = -n**3 - 6*n**2 + n + 8. Let i be s(-6). Solve v*z = i*z + 4 for z.
-2
Suppose 5*g + 119 = 189. Solve -g*f + 12*f + 8 = 0 for f.
4
Let a be ((-322)/(-42) - (0 - -5))*30. Solve a = -2*b + 18*b for b.
5
Let z be (40/36*-57)/((-2)/3). Let v = 99 - z. Solve 0 = -3*r - v + 1 for r.
-1
Let c(a) = a**3 - 23*a**2 - 53*a + 60. Let p be c(25). Let k(w) = w**3 + 14*w**2 - 13*w + 32. Let l be k(p). Solve -b - 7 = -l for b.
-5
Let j be (5 + -18 - -6 - -25)*1. Solve v - j*v = v for v.
0
Let j be 36*1/4 - -14. Solve -5*x + 43 - j = 0 for x.
4
Let x(z) = -z**3 + 12*z**2 + 12. Let g be x(12). Suppose -4*c + g = -c. Suppose 0 = c*p - 3*p. Solve -i = -p*i for i.
0
Let m be 76/14 - 15/35. Suppose -m*y + 4*y + 6 = 0. Solve -2*n + 0*n + y = 0 for n.
3
Suppose 3*u = 2*t - 7, -5*t - 3*u = -t + 13. Let s = 11 - t. Let b be (-5)/(-3) - (-4)/s. Solve -l = -2*l + b for l.
2
Let l = -208 - -227. Solve 0 = l*o - 18*o - 1 for o.
1
Let j be (3/1)/(0 + 1). Suppose -11*p + 140*p = 0. Solve p = u - j for u.
3
Let m(t) = 51*t + 207. Let u be m(-4). Solve 5*j + u*j = 5*j for j.
0
Let c = -690 - -697. Solve 0 = c*q - 29 + 50 for q.
-3
Suppose 0 = c + 2*c - 3. Suppose 17 = -4*n - 5*g, -14*g + 13*g - 9 = -2*n. Solve -n - c = l for l.
-3
Let s be (-8)/(-12)*(2 - -1). Suppose 2 = 2*g - s. Suppose 11*r - 6*r = 10. Solve g*m + r = -2 for m.
-2
Let d(p) be the third derivative of p**6/120 + p**5/3 - 11*p**4/12 - 7*p**3/2 + 13*p**2. Let w be d(-21). Solve j - 7 + 3 = w for j.
4
Let k = -1078 - -1078. Solve -67*o + 59*o + 24 = k for o.
3
Let i(c) = c**3 + 3*c + c**3 - 2*c**2 + 0*c**3. Let l be i(2). Let b = -4 - -6. Solve 0 = 4*a - b - l for a.
4
Su