 - 13*c**2 - c + 17. Let p be t(13). Suppose -11 - 5 = -p*k. Solve -k*n - 15 = -3 for n.
-3
Let g be (14 + -16)*(1/(-2) + -1). Suppose g*u = -v - 0 + 12, 5*u = 5*v - 20. Solve 4 = -2*a + v for a.
1
Suppose 162 = 5*j + j. Suppose j*m - 3 = 26*m. Solve -f = -0*f + m for f.
-3
Let a be 3*2/9*(12 + 3). Solve 4*k + k = -a for k.
-2
Suppose -219*b + 215*b = 0. Solve -9 = -b*o - 3*o for o.
3
Let y = -2118 - -2130. Solve 0*o = 3*o + y for o.
-4
Let f(j) = j**2 - 3*j - 2. Let i(d) = d**2 - 4*d - 2. Let q(h) = 2*f(h) - 3*i(h). Let u be q(6). Solve 5*n = 3 + u for n.
1
Let g = -72 + 76. Suppose 0 = -o + g*n + 12, 4 = 3*o - o + 2*n. Solve -2*b - o = -4*b for b.
2
Let j = -2 + 3. Let g(k) = -k**2 - 7*k. Let d be g(-6). Suppose 5*p = 4*p + 5. Solve -p*u + j = d for u.
-1
Suppose 0 = 5*k + 8 + 12. Let l(h) = -h**2 - 6*h - 5. Let s be l(k). Suppose 5*a - s*a - 12 = 0. Solve y + a = -y for y.
-3
Let j be (1 + 4)*(21 - 20). Solve -j*t = t - 18 for t.
3
Let a = -29 - -37. Let o(w) = 2*w**2 - 14*w - 9. Let k be o(a). Solve -4*p + 12 = -k*p for p.
-4
Let q = -1 - -2. Suppose 4*g = 4 + 12. Suppose -2*o = -4*x + o - 5, -q = -g*x + o. Solve -x = 2*u + 5 for u.
-3
Suppose 0 = 12*j + j - 338. Solve -i + 24 = j for i.
-2
Let x = 28 + -26. Suppose 3*r + 0 = -x*m - 4, -3*m + 11 = -4*r. Suppose -13 - m = -7*p. Solve 4*y + p - 18 = 0 for y.
4
Suppose -u = -3*u - 5*y + 22, -u = -3*y. Let v be (2/u)/(2 - (-15)/(-9)). Solve 5*c + 26 = v for c.
-5
Let m = 376 - 372. Solve 0 = -m*f - 2*f - 18 for f.
-3
Let w(f) = f + 10. Let n be w(0). Suppose -j = 2*g - 15, -g + 3*j = g - 11. Let o = -213 - -215. Solve o*i - n = g*i for i.
-2
Let q(m) = m**3 + 7*m**2 + 8*m - 2. Let r be q(-5). Let h be 12 + -4 - r/2. Solve -3 = h*l - 15 for l.
3
Suppose -6*w + 33*w - 324 = 0. Solve w*a - 4*a + 8 = 0 for a.
-1
Suppose 0 = -1012*l + 1007*l + 75. Suppose 0 = 2*t - t - 3. Solve t*x = -2*x + l for x.
3
Let w(m) = m - 1. Suppose 6 - 46 = -5*y. Let j be w(y). Solve j*c - 5*c = 10 for c.
5
Let l be ((-6)/10)/(375/(-1250)). Solve -l*q = 8 - 18 for q.
5
Let s(a) = -a**2 - 13*a + 24. Let y(r) = -r**2 - 13*r + 25. Let c(d) = 7*s(d) - 6*y(d). Let f be c(-12). Let h = 38 - f. Solve j = 5*j - h for j.
2
Suppose -3*c - 9*w = -4*w - 47, -5*c + 3*w + 67 = 0. Solve c*q = 12*q + 10 for q.
5
Suppose 3 = -b + 3*i, -3*b - b + i - 23 = 0. Let l(m) = -m**2 - m + 35. Let q be l(b). Solve -q*g = 4 + 11 for g.
-3
Suppose -p + 24 - 6 = 0. Let w be p/1 - 1 - -3. Suppose 5*u - w = u. Solve -7 = u*z - 32 for z.
5
Let y be 11*(-4)/(-16) - 9/12. Suppose 2*a + 2*z = -z, 2*a = -y*z. Let m(s) = -2*s**3. Let n be m(-1). Solve f - 1 + n = a for f.
-1
Let o be (-5)/(-25)*2*5. Suppose -o*w + 5 = h, 0*w - 3*w = 3*h - 12. Solve -a + w - 3 = 0 for a.
-2
Let z(r) = 0*r**2 + r**2 + 1 + 3 - 6*r - 9. Suppose 5*v = -c + 36 - 4, -3*v + 1 = -2*c. Let p be z(c). Solve -n = -p*n - 5 for n.
-5
Let v be (0 - -3)*104/(-12). Let z = v - -28. Solve -z*j = -j - 1 for j.
1
Let r be 3/2 + (54/12)/9. Suppose -5*y + 5*k + 30 = 0, 15 = r*y - 4*k + k. Solve -1 = y*z - 2*z for z.
-1
Let z = 28 - 24. Suppose 4*c = r - 2*r - 12, 3*c = -z*r + 4. Solve -r = 3*f - 5*f for f.
2
Let h(t) = -6*t + 179. Let k be h(29). Solve 9*a = k*a for a.
0
Suppose -14*l + 21 + 77 = 0. Solve -l*w = 15 + 6 for w.
-3
Suppose -a - 5 = -6. Let z be (-1 - 0)/(5/((-125)/5)). Solve -s = -z + a for s.
4
Let d(j) = j**2 - 24*j - 66. Let c be d(27). Let l = -2 + 13. Solve 0 = 4*t + c - l for t.
-1
Let b = -17 + 20. Let o be 1 + 0 + 3/b. Suppose 0 = -0*z - o*z. Solve -3*u + 4 - 13 = z for u.
-3
Let j = 55 + -51. Suppose 0 = -2*t + 3*t - l - 1, -t - 4 = j*l. Let x be (-2)/(-8) - 4/16. Solve x*d - 5*d = t for d.
0
Suppose -2*h - 4 = -5*d, -4*d - 2*h = -6*d - 2. Let q be (-11)/(-4) - (-2)/((-48)/(-6)). Solve -d = -r - q for r.
-1
Let a be (-106)/(-10) - 2 - 328/(-820). Let w = -1 - -6. Solve w*b = 29 - a for b.
4
Let r be 120/56 - 2/28*2. Suppose -4*s + 2 = i, -4*i + 11 = -r*i + s. Solve -4*f + i = -6 for f.
3
Let f be (7 - (-10 + 5))*2/8. Suppose 0 = 5*p + 5, 2*r - 3*p = f. Solve 0 = -r*b - 2*b + 6 for b.
3
Suppose 6*m - 972 = -3*m. Suppose -3*z + 120 = m. Suppose -a + 6 = 2*a. Solve -3*d = -a*d - z for d.
4
Suppose 4552*k = 4550*k. Suppose 3*h - 2 = -4*i, -2*h - 16 = -3*i + 3*h. Solve i*v + v = k for v.
0
Let d = 11 + -10. Let i = -3 + d. Let u be i/(-6)*(3 - 0). Solve k = -4 - u for k.
-5
Let w = 402 + -402. Solve w*r = -r - 0*r for r.
0
Suppose 0 = 20*h + 1172 + 1228. Let z = h - -128. Solve z*g = 4*g for g.
0
Let x(h) = 4*h**2 - 15*h - 65. Let a be x(7). Solve -4*b + a - 34 = 0 for b.
-2
Suppose -19*s + 14 = -24. Solve 14*q + 12 = s*q for q.
-1
Let a(s) = s. Let k be a(5). Let w be ((-2)/(-3))/((-4)/(-6)). Suppose -4*m + 6 = 5*f + w, -f + 1 = 0. Solve -l - k = -m*l for l.
-5
Suppose 7*q = 70 - 56. Solve -2*l + q = -2 for l.
2
Suppose -3*k + 16 = -11*k. Let l be k + 0 - -2 - (-4 + 0). Solve -l*y = -0*y - 16 for y.
4
Let l = -14 + 16. Suppose -l*f = -4*a + 1 + 9, 3*f + 1 = -a. Suppose a*i + 6 = 8. Solve -4 = -w - i for w.
3
Let d(x) = x**3 + 8*x**2 - 10*x - 19. Let s be d(-9). Let q be 4/s*(-23 - -3). Solve -4*p - 4 = q for p.
-3
Suppose -33 = -2*c - j, 2*c + 3*j = -299 + 342. Solve -60 = -2*n + c*n for n.
-5
Suppose -2*v - 23 = 2*f + 63, -5*v = 4*f + 216. Let k be 10/(-15) - v/3. Suppose 3*o + 2 - k = 0. Solve o*p - 32 = -12 for p.
5
Suppose -4*i + 375 = o, -5*i - 5 + 479 = 3*o. Let d = -90 + i. Solve 0 = -4*r - d - 5 for r.
-2
Let n be (-2)/(((-10)/(-12))/5). Let x be (1 + 1)*(-72)/18. Let y = x - n. Solve -4*t + y = 20 for t.
-4
Let j be (-8)/(-6)*9/6. Let x(z) = -z + 16. Let q be x(8). Let y be 650/125 + 8/10. Solve -q = -y*o + j*o for o.
2
Let a(x) = 20*x**3 - x**2 + 21*x - 18. Let t(l) = -7*l**3 - 7*l + 6. Let j(g) = 6*a(g) + 17*t(g). Let r be j(5). Solve r*d = -d for d.
0
Suppose -h = -2*h + 2. Suppose 8 = -3*v + h. Let y(p) = -2*p. Let s be y(v). Solve -s*l = 19 + 1 for l.
-5
Let f(m) = -m**2 - 2*m - 1. Let s be f(-1). Solve -3*q + 16 - 1 = s for q.
5
Let l be ((-3)/(-4))/((-1)/(-8)). Let j = 179 + -180. Let g be j/6 + 13/l. Solve g*x + 3 = -1 for x.
-2
Let f(z) = 8*z**2 + z - 4. Let y be f(2). Solve -2*q - 4*q - y = 0 for q.
-5
Let s be 52*360/160*(-2)/(-9). Solve 11 = 5*f + s for f.
-3
Suppose -4*y + 9 + 3 = 0. Suppose 25 - 7 = -y*z. Let c be (z/(-5))/((-3)/(-10)). Solve -2*i - 4 = -c*i for i.
2
Suppose o + 10 = 2*v, 32 = 2*o + 4*v + 12. Suppose -5*p + 26 = y, 3*p - 18 = -y - o. Let u be (-1)/((-3)/y)*1. Solve u*j - 2 = 4*j for j.
-1
Suppose -4*r - 192 = -4*z - 0*r, 0 = 4*z + 4*r - 152. Suppose 2*p + 31 = z. Solve p*t = 2*t + 4 for t.
1
Suppose p = 5*h, -h = 2*h + 4*p. Suppose 6 = 2*t - t. Let x be (-3)/(-18) - (-11)/t. Solve 8 = -x*y - h*y for y.
-4
Let a = 10 - 8. Suppose 21 = -14*h + 77. Solve 3*s - a = h*s for s.
-2
Let n(y) = 13*y - 74. Let h be n(6). Solve -j - h = -5*j for j.
1
Let q(k) be the second derivative of -k**4/12 + 13*k**3/6 + 15*k**2 - 16*k. Let t be q(15). Solve t = -3*x + 2*x - 2 for x.
-2
Suppose 0 = -4*l + 3 + 13. Suppose 5*d = 5*q + 55, -l*d + 2*q + 1 + 41 = 0. Let t = -8 + d. Solve 0 = t*o - 7 - 1 for o.
4
Suppose -4*h - 1 = 3. Let g = 3 + h. Solve 4*q - g = 2 for q.
1
Suppose -x = x + 18. Let p be (-3 + -3)*6/x. Suppose 0*t - p*t + 40 = 0. Solve -2*y + t = 3*y for y.
2
Let s(d) = d**3 - 6*d**2 + 1. Let y(o) = -3*o**3 + 17*o**2 - 2. Let l(n) = -11*s(n) - 4*y(n). Let i be l(3). Solve 9 = 3*c - i for c.
5
Suppose 3*f - 38 = -3*a + 5*f, 3*a - 63 = -3*f. Let h = 15 - a. Let z be (2 - -5) + -2 + h. Solve -u = 3*u - z for u.
1
Let h(i) = -6*i**3 + i**2 + 2*i + 1. Suppose -13 - 14 = -s. Let p = 26 - s. Let u be h(p). Solve 0 = 2*c - u*c - 12 for c.
-3
Let b be 5/(-8)*-2*(-95 + 115). Solve -30*g - b = -35*g for g.
5
Suppose -12*p + 30 = -8*p - 3*c, -p + 4*c = -1. Suppose p*y = 5*y + 28. Solve 5 = 2*l + y for l.
-1
Suppose -167 - 78 = -5*i. Let z = i + -45. Solve -z*m + 6 = -2*m for m.
3
Let u = -24 + 30. Suppose -u - 69 = -5*d. Solve -q - 4*q - d = 0 for q.
-3
Let m be 3/4 + 130/104. Solve 5*x + m = 7 for x.
1
Let n = 8 + -6. Suppose n*w - 58 + 20 = 0. Let j(l) = -l**2 + l. Let h be j(0). Solve -4*m - 7 + w = h for m.
3
Suppose z = -0*z. Suppose -5*q = 0, i + 3*q - 7*q - 3 = z. Solve y = -i*y + 8 for y.
2
Let k(f) = -f + 7. Let q = -4 + 4. Let d = 6 - q. Let r b