y - k for y.
-4
Suppose 5*f - f + 4 = -4*z, 2*z = -3*f - 7. Let u = 7 + f. Suppose 15 = 4*s + 3*j, 0 = -u*s - 3*j + 4*j + 5. Solve s*d = -1 - 2 for d.
-1
Let m = -1560 + 1560. Let i(r) = -r**2 + 6*r + 2. Let o be i(6). Solve -10 = -o*u - m*u for u.
5
Let w = -9 + 13. Suppose 0 = 4*a - w*g - 24, 5*a = -g + 15 + 21. Solve -3*z = -a*z for z.
0
Let m be 9*10/12*2. Let n = -11 + m. Solve n = -3*y + 1 for y.
-1
Let u(o) = o**3 - 7*o**2 + 6*o + 6. Let s be u(5). Let d = 19 + s. Suppose -d*a = -2*a. Solve a*k = -4*k - 4 for k.
-1
Let y(n) = -2*n + 24. Let c(h) = 1. Let p(s) = -5*c(s) + y(s). Let d be p(8). Suppose d*i - 4*i = -3. Solve -i*w + 19 = 4 for w.
5
Let o = -676 - -679. Solve 5 = -t + o for t.
-2
Let m(v) = 11*v**2 + 2*v + 1. Let x be m(-1). Let h(l) be the first derivative of l**2 - 15*l + 3. Let o be h(x). Solve 6 = o*u - 4 for u.
2
Let g(c) = c**2 + 9*c + 1. Let i be g(-12). Let a = i + -36. Solve -p + 1 = -a for p.
2
Let a be (-94)/(-3) - ((-28)/(-3) - 9). Solve a*h - 1 = 30*h for h.
1
Let f = 1911 - 1905. Solve 54 = f*l + 66 for l.
-2
Suppose 4*h + 20 = -5*f, 0 = -f - 4*h - 4 - 16. Solve 18*j - 21*j - 6 = f for j.
-2
Suppose -7*i - 222 = -13*i. Solve -20*l + 43 + i = 0 for l.
4
Let i be (-10)/15*(-6)/2. Let d be -2*i/12*-6. Suppose 2*k - 6 = -d. Solve -3*r = 17 - k for r.
-5
Let w be (-3)/2*98/(-21). Suppose 4 = 9*d - w*d. Solve 0 = d*b + b + 12 for b.
-4
Let c = 846 + -826. Solve c = 3*k + 2*k for k.
4
Let s be 1/1 + -2 + (0 - -1). Suppose -x - 2*x - 19 = -4*c, s = -5*c + 3*x + 23. Solve 0 = -5*l - 14 + c for l.
-2
Suppose 0 - 4 = -2*v. Suppose -6 = -y + 3*j, 2 = 5*y - v*j - 2. Solve y = -o - 2*o - 3 for o.
-1
Suppose -5*y = 3*g - 34, -3*g - 1 = -5*g + y. Let z be (-1)/(-2) - 4/8. Solve -g*f + 5*f - 8 = z for f.
4
Suppose -2*d + 12 = 3*u + 7, 4*u = d - 19. Solve d*t + 5 = -30 for t.
-5
Let j be (-8)/((-24)/369) - (-2 - -5). Let v be (j/90)/(2/30). Solve 0*r - v = -4*r for r.
5
Suppose -5*b = -10*b - 65. Let h(r) = r**3 + 13*r**2 + 16. Let n be h(b). Solve n = v - 5*v for v.
-4
Let d(o) = 3*o**2 + 4*o + 54. Let x be d(0). Solve 59*g + 15 = x*g for g.
-3
Let x(b) = b**3 + 4*b**2 + 2*b. Let n be x(-3). Suppose -n*f = f. Suppose f = o - 2 - 2. Solve o*z - 5*z = -5 for z.
5
Let c = 660 - 657. Let z(p) be the second derivative of 3*p**5/20 - p**4/6 + p**3/6 + p**2 + 3*p. Let j be z(2). Solve c*y - 8*y = -j for y.
4
Let s = 1390 + -1385. Solve -s = -5*d + 10 for d.
3
Let w be 5*2 - (-28 + 31). Solve w*v = 3*v + 20 for v.
5
Suppose 3*o = 7*o. Let y be (-114)/285 + 1*(-2)/(-5). Solve y = -d - 3 - o for d.
-3
Let y = -37 + 26. Let g = y + 16. Suppose 3*r = g*h - 0*r - 80, r - 32 = -2*h. Solve 5*q + 1 - h = 0 for q.
3
Suppose 0*w - 11*w = -w. Suppose 16 = z + 3. Suppose -4*o + m + z = 0, 4*m = -o - w*o - 1. Solve 1 = o*f - 2 for f.
1
Let q(h) = -5*h**2 - h + 5. Let d be q(-5). Suppose -4*t - 4*r - 37 - 163 = 0, -t - 42 = -r. Let v be t/d - (-2)/(-5). Solve 4*g = -v*g for g.
0
Suppose -246 = -3*m - 234. Let c(w) = w**3 + 9*w**2 + 10*w + 7. Let y be c(-7). Suppose -5*u + 3*k + y = -21, 2 = -k. Solve -10 = m*d + u for d.
-5
Let f = -121 + 131. Solve 5*g - 30 = -f for g.
4
Let g be ((-26)/6)/((-1)/15). Suppose -g = -2*y - 25. Let j be 2/(-6) + 19/3. Solve -j*k = -k + y for k.
-4
Suppose -w - 7 = 5. Let o be (-36)/(-10) + w/(-30). Solve -2*b + o = -2 for b.
3
Let k(g) = 9*g - 7. Let d(x) = x**2 - 11*x + 13. Let u be d(10). Let w be k(u). Solve 7*p - 3*p = w for p.
5
Let c be -54*(348/(-108) - -3). Solve 2*q - c = -14 for q.
-1
Let l be ((-4)/(-2))/(49/8 - 6). Solve 7*w = -w + l for w.
2
Suppose 0 = -4*o + 3*o + l + 6, -3*o - l = -2. Solve 2*j + 2 + o = 0 for j.
-2
Let z be 0/2*1*-1. Suppose -4*n + 8 + 4 = z. Solve 0 = 5*g - 2 - n for g.
1
Let m be ((-110)/275)/((-2)/115). Solve -8 = 5*i - m for i.
3
Let m = 256 + 220. Let h be ((-2)/8)/((-17)/m). Solve -h + 2 = 5*t for t.
-1
Suppose 4*u - 114 = -5*k + 6*u, -2*u - 26 = -k. Suppose -20*d = -k*d. Solve d*w + 2*w = 8 for w.
4
Let o(l) be the second derivative of -5*l**3/6 + 71*l**2/2 + 31*l. Let s be o(14). Let i = 14 - 10. Solve -i*q - 11 - s = 0 for q.
-3
Let f = 25 - 25. Suppose -2*j + a - 5*a - 16 = f, 2*j - 5*a - 29 = 0. Solve -3*l - 10 - j = 0 for l.
-4
Suppose 25*f = 46 + 29. Solve f*j + 1 = 7 for j.
2
Let j(y) = -4*y**2 - 5. Let f(n) = 3*n**2 + 4. Let z(k) = -5*f(k) - 4*j(k). Let g be z(0). Solve g = -5*o + 2*o + 15 for o.
5
Let y(a) = -a**3 + 4*a**2 - 3*a + 19. Let q be y(4). Solve 4*o = q - 19 for o.
-3
Let t(p) be the second derivative of p**3/6 - p**2/2 + p. Let w be t(3). Solve 2*h = 3*h + w for h.
-2
Suppose 0*t + 4*a - 35 = -3*t, 4*t - 50 = -2*a. Let m(d) = d**2 - 14*d - 7. Let u be m(t). Let x be (12/8)/((-2)/u). Solve 0 = -n - 2*n - x for n.
-5
Let k(a) = -a + 5. Let l be k(0). Suppose -l*d + 25 = 5*n, 5 + 3 = 4*n. Solve 4*f + d - 15 = 0 for f.
3
Let p(r) = -5*r**2 - 34*r + 5. Let t be p(-6). Suppose 2*s + 2*v = -s + t, 15 = -3*v. Solve -2*d - s + 3 = 0 for d.
-5
Let r be 42/49 + (-3)/(-21). Solve y = 2 - r for y.
1
Let o(v) = -v**2 - v + 3. Suppose m = -2*m. Let s be o(m). Solve s*n = -2*n - 15 for n.
-3
Let r be (-4)/1*(-15)/(-10)*-1. Let h be (-4)/(-24)*2*r. Solve 0 = -0*d + 2*d - h for d.
1
Let t be ((-2)/12)/(3/(-18)). Suppose -3*o - 8 = 2*f, 5*o - t + 17 = -2*f. Solve -l - f = -5 for l.
3
Suppose 0 = -g + 2*g. Let y = 19 - 17. Solve -3*z - 17 + y = g for z.
-5
Let q(c) = c**2 + 8*c - 13. Let r be q(-9). Let x be 2/8*-1*r. Solve 2*t - x = -3 for t.
-1
Let u(b) = -b - 22. Suppose 0 = -19*v - 34 - 555. Let h be u(v). Solve 0*k + h = 3*k for k.
3
Let k = -38 - -23. Let r be 2/6 - k/9. Solve -r*o + 12 = 4 for o.
4
Let o(w) = -w - 5. Let p be 4 + (-3)/(12/32). Let m be o(p). Let a = 1 - m. Solve -s - 7 = -a for s.
-5
Let r(s) = s**3 - 6*s**2 - 16*s + 4. Let b be r(8). Let k be ((-4)/(16/b))/((-1)/3). Solve z - k = 1 for z.
4
Suppose -3*h + 162 = -h. Suppose -14 = -5*c + h. Let d = c - 15. Solve d*p = -0 + 8 for p.
2
Suppose o - 2 = -1. Suppose -p = 5*g + 2*p + 3, -5*g + 5*p = -5. Let q be g/((-2 + 1)/1). Solve -o = -q*d - d for d.
1
Let t be (-3 - (-1 + -6)) + -4. Solve -2*w + 3*w = t for w.
0
Suppose 19*t - 7*t - 252 = 0. Solve -7*n + 0 - t = 0 for n.
-3
Let w be (-6 - (-3 - 1)) + -43. Let c be w/(-6) - (0 + (-2)/(-4)). Solve -2*t - c = -1 for t.
-3
Suppose -3*q + 8*q + 14 = u, 3*u - 142 = -5*q. Solve u*p = 40*p - 4 for p.
4
Let n be (-3)/(18/(-52)) + (-8)/12. Let y be (-21)/(-3) + (-5)/1. Solve -2*s - n - y = 0 for s.
-5
Suppose 9 = 4*c - 35. Solve 20 = -7*g + c*g for g.
5
Suppose x - 12 = 5*x, -2*a = 2*x. Solve -6*s = -5*s + a for s.
-3
Suppose 13*i + 71 = 383. Solve -7*w - i = -3 for w.
-3
Suppose 2*o = -10, 7*o - 75 = -4*t + 2*o. Let v = 20 + t. Suppose 5*q = -5*y + v, -y = -3*q + 3 + 4. Solve -2*a - y + 1 = 0 for a.
-2
Let h(u) = u + 13. Suppose -k - 1 = -s, -k - 7*s = -2*s - 23. Suppose -k*x + 45 = -3*t, t - 2*x + 35 = 3*x. Let y be h(t). Solve y*a + 0*a = -15 for a.
-5
Let m = 26 + -10. Let w = 8 + -8. Solve w = 5*c - m - 4 for c.
4
Let n be (-1 + 2)/((-1)/(-3)). Suppose 2*p + n = 9. Let x be (-10)/(-6)*(11 + -2). Solve x = p*g - 6*g for g.
-5
Let k = -2582 + 2583. Solve 4*l - k = 19 for l.
5
Suppose -27 + 43 = -4*z. Let t(q) = -4. Let l(s) = -s - 4. Let d(i) = 3*l(i) - 4*t(i). Let c be d(z). Solve -3*x - c = x for x.
-4
Let z be ((-4)/(-5))/(4/10). Let b(v) = -1 + 0*v + 3*v - v**3 + z*v - 2*v + 3*v**2. Let m be b(3). Solve -2*p = -4*p + m for p.
4
Let w(q) = -22*q + 594. Let y be w(27). Solve y = 5*j + 102 - 122 for j.
4
Let n be 80/14 - (-2)/7. Suppose 0 = 4*k - 5*i - 60, -5*k = i + 3*i - 116. Suppose 5*t = 2*m + 20, 3*m + 8*t - 3*t = k. Solve m = -n*c + 4*c for c.
0
Let s(u) = -11*u - 314. Let b be s(-29). Solve -3 = b*q - 8*q for q.
1
Let q(v) = 3*v**2 + 2*v + 1. Suppose 2*b + 3 - 1 = 0. Let g be q(b). Solve 2*j = 4*j + g for j.
-1
Let p = 266 - 261. Solve -20 = p*q - 0 for q.
-4
Let v be (-766)/(-22) + (-14)/(-77). Let w = v + -35. Solve -2*c + w*c = 0 for c.
0
Let k(i) = -i + 3. Suppose -z = 3*h - 6*h - 6, -4*z + 15 = -3*h. Let t be k(z). Let u(m) = -m**2 + 2*m + 3. Let w be u(t). Solve w*o - 16 = -o for o.
4
Let l(d) = -d**3 - 33*d**2 - 34*d - 58. Let o be l(-32). Solve 0 = g - o + 4 for g.
2
Let j = 6 + -17. Let o(g) = -g - 4. Let n be o(j). Suppose -2*f = a - 10, 0 = 