+ p for f.
-2
Suppose -d - 4 = -5*d, -d + 91 = -5*n. Let b = n + 22. Let z(s) = -s**2 + 13*s - 11. Let k be z(3). Solve -k = -5*a - b for a.
3
Let j = 5275 + -5263. Solve -16*b - j = -18*b for b.
6
Let v(f) = -f**2 - 6*f + 10. Let y be (-195)/30 - (-1)/2. Let j be v(y). Suppose j*m - 121 = 29. Solve -q - m = -6*q for q.
3
Suppose -8 = -3*i - 4*a, 4*a + 0 = 3*i + 8. Suppose 32*s - 37*s + 215 = i. Solve -39*u + s*u = 20 for u.
5
Let j(s) = 137*s - 5476. Let q be j(43). Solve -q*c + 9 = -406*c for c.
1
Let c(a) = -3*a**2 - 64*a - 96. Let u be c(-19). Solve -u*r + 188 = 3 for r.
5
Let q = 38 + -30. Suppose 3*b + 7 + q = -p, 0 = 5*p + 2*b + 10. Solve p*m - 7*m = 0 for m.
0
Let a = 41 + -39. Suppose 0 = -4*x - 3*m - 33, 45 = -a*x - 3*x - 5*m. Let i be (-10)/2 - x - -5. Solve u - 3*u - i = 0 for u.
-3
Let r(h) = -425*h**2 - 3826*h + 3. Let o be r(-9). Solve 0 = o*s - 1897 + 1801 for s.
8
Let n = -4 - -11. Solve -n*p + 114 - 93 = 0 for p.
3
Let s(k) = k**3 + 8*k**2 - 11*k - 17. Let t be s(-9). Suppose -4*a - 4*q + 15 + 5 = 0, -4*a - 5*q + 21 = 0. Solve t + a = b for b.
5
Let p(t) be the second derivative of 1/6*t**4 - 1/3*t**3 - 3*t**2 - 40*t + 0. Let j be p(3). Solve j*r = r + 15 for r.
3
Suppose -5*k + 26 = -3*g, 5*g - 64 = -k - 70. Let w = 3 + 0. Solve -k*a - w*a + 14 = 0 for a.
2
Suppose -55*g = 2*p - 51*g + 2, 3*p - 15 = -3*g. Solve -p*i = 62 - 117 for i.
5
Suppose -145 = -2*g - 129. Suppose 4*b - 48*x + 4 = -47*x, -g = 2*b - 2*x. Solve -z + 4 + 0 = b for z.
4
Let a = -4003 + 4015. Solve 0 = -22*g - 100 + a for g.
-4
Let r(a) = -19*a + 176. Let g(c) = -2. Let n(f) = 4*g(f) - r(f). Let l be n(10). Solve -11*i = -l*i - 20 for i.
4
Suppose -182*w + 5*f - 14 = -186*w, -3*w = -3*f - 51. Solve 29 = -3*a + w for a.
-6
Let v(a) = -42*a + 826. Let o be v(18). Solve 6*q + o = 100 for q.
5
Let o be 58/(-522) + 55/9. Let m be ((-2)/2 - -2)/((-20)/(-100)). Solve c - m = o*c for c.
-1
Let s be (1 - 0) + 2 - (10 + -5). Let w be 7/14 + (49/s)/(-1). Let r be (-1)/(w/15 + -2). Solve v = 2*v + r for v.
-3
Let q be 42/9 - ((-33)/(-9) + -3). Suppose 82*g + 489 = 1719. Solve -w - g = q*w for w.
-3
Let r be ((-450)/(-10))/5 - 4. Let k(x) = -13*x - 3. Let s be k(-3). Suppose 4*z - s = r*j, j = 3*j + 8. Solve z*b = 2*b + 8 for b.
4
Suppose -6014 + 173 = -116*d + 17*d. Solve 58 - d = h for h.
-1
Let y = 1 - 0. Suppose -v = y - 5. Suppose 0 = 5*z - 3*z - a - 5, a - 10 = -3*z. Solve -v = -z*d + 4*d for d.
-4
Let y(a) be the third derivative of a**5/60 - a**4/4 + 4*a**3/3 - 11*a**2. Let l be y(5). Solve h - l*h = 0 for h.
0
Let q = 8 - 5. Suppose -327*g - 95 = -7*n - 329*g, -5*n + 90 = -3*g. Solve q*r = -0*r + n for r.
5
Suppose -4*p + 0*b + 2410 = b, -2*p + 1206 = b. Suppose 38*w = 1032 + p. Solve 0 = 44*u - w*u - 2 for u.
2
Let l be ((-12)/(-18))/(4/(-3006)) - 0. Let t = -501 - l. Solve t = -f - 1 for f.
-1
Let m be 134/201*(1*2 - (-318)/12). Solve -25*o - 46*o = -m*o for o.
0
Suppose -1439*w + 4*r = -1442*w + 12, -w - 5*r + 15 = 0. Suppose 3*t - 2*v = -4, -2*v + 4 = 2*t - 0. Let c = w + t. Solve c = -2*i - 4 - 2 for i.
-3
Suppose 0 = 28*z - 0*z - 7*z - 315. Solve -52*y + z = -47*y for y.
3
Let m be 22*(-2 + 6/(-4)). Let j = 77 + m. Suppose j = -5*n - 0. Solve 5*q = -n - 10 for q.
-2
Let s(h) = 72*h + 49. Let w be s(-5). Let j = -309 - w. Solve 6*i - 32 + j = 0 for i.
5
Let s(c) = -2*c. Let i be s(-2). Let f be -24*((-4)/34*-1 + (-575)/1275). Solve -4*j = -f*j - i for j.
-1
Let j(v) = -v**2 + 15*v - 5. Let n be j(12). Suppose 2*b - 37 = -5*k, -4*k + n = -k - b. Solve -4*h - k = 7 for h.
-4
Suppose -2*j = -37*j - 8*j + 1161. Solve -87 = -12*v - j for v.
5
Suppose 6*h + 15*h - 738 = -20*h. Solve h*w + 11*w = 0 for w.
0
Let o be 8*33/(-44) - ((-66)/2 - 1). Solve -56 = -7*f - o for f.
4
Suppose -4*j + 39 = -3*s, -2*j - 3*s = j - 3. Suppose 5*v + 3*x = 7*x - 2, 4*v + j = x. Let m be 3/v*(-36)/27. Solve 2*w + m = -0 for w.
-1
Suppose 5*z = 2*v + 36, -z + 5*v + 4 = 3*v. Suppose -3*g = 1623*c - 1630*c + 7, 5*c = 4*g - 21. Solve 0 = r - z + c for r.
1
Suppose -9*f - 1325 = -182. Let l = f - -134. Solve -12*o + 25 = -l*o for o.
5
Suppose 22 = 5*f - 3*u, 5*f - 12 = 2*u + 11. Suppose 0 = -2*m - f*s + 6, 4*m - m - 9 = s. Solve m*d - d = 2 for d.
1
Suppose -627*z + 629*z - 4 = 0. Suppose -2*m - 3*b = -40, -z*m + 23*b - 28*b = -48. Solve -16*t = -m*t + 8 for t.
-4
Let o(b) = 24 + 0*b**2 - 54 + 9*b + 2*b**2. Let u be o(-7). Solve 0 = u*r - 2*r for r.
0
Suppose 13*h - 5 - 86 + 0 = 0. Solve 333 - 298 = h*c for c.
5
Let h be (141/9 - 15)/((-3)/(-144)). Solve h*y - 616 = 120*y for y.
-7
Let b = -18 + 42. Suppose 4*z = -4*u + b, 3*z + 2*z = 4*u + 12. Solve u*q = -q for q.
0
Let n(c) = -231*c**3 + c**2 - 4*c + 3. Let v be n(1). Let b = v - -237. Solve 3*s = b*s + 12 for s.
-4
Let c(v) = -6*v - 11. Suppose -1 = 8*g - 25. Let z(j) = -7*j - 10. Let i(o) = g*c(o) - 2*z(o). Let r be i(-4). Solve 8*p = r*p for p.
0
Let a(l) = 2*l**3 - 3*l**2 + 23*l - 44. Let c be a(2). Let u = 236 - 232. Solve 10 + c = -u*x for x.
-4
Let z(o) = o**3 + 7*o**2 - 13*o - 33. Let h be z(-8). Suppose 2*t + 6*n - n + 14 = 0, -23 = -5*t + 2*n. Suppose 19*p = -15*p + 34. Solve -t*d - p = -h for d.
2
Let w be (-112)/(-6) + 16/(-24) + -3. Suppose 0*h + 3*h - w = -4*a, -2*h = -3*a + 24. Suppose -4*u - a*u + 90 = 0. Solve 6*m = 3*m - u for m.
-3
Let x = 464 - 447. Solve -x*k + 48 = -29*k for k.
-4
Let j = -6638 + 6726. Solve j - 1 = 29*a for a.
3
Let h(k) = 8*k + 2*k**2 - 10*k**2 + 32*k**3 + 4 - 31*k**3 + 25. Let u be h(6). Solve -j + 0 = u for j.
-5
Let s be (-14850)/(-81)*9/15. Solve -130 = 5*d - s for d.
-4
Let j = -13 + -18. Let a = 40 + j. Let f be -2 + a + -10 + (-19)/(-1). Solve -3*d + 4 - f = 0 for d.
-4
Suppose -4 = -5*o + 8*o + 5*k, -5*o - 4*k + 2 = 0. Suppose 2*y = -2*y. Solve -2*a - o = -y for a.
-1
Let t = -19113 + 19177. Solve -57 = t*q + 199 for q.
-4
Suppose 22*i = -14*i + 10*i + 208. Solve -13*d - 42 = i*d for d.
-2
Let g(c) = 3*c**3 - 12*c**2 - 2*c - 2. Let q(b) = 7*b**3 - 24*b**2 - 5*b - 4. Let t(s) = -5*g(s) + 2*q(s). Let z be t(12). Solve z*f + 2 + 8 = 0 for f.
-5
Suppose -3*c = p - 39, 5*p + 0*p - 182 = -2*c. Let l = -36 + p. Suppose l = -4*g - 4*b + 120, b + 2*b = 15. Solve 6*m - m = -g for m.
-5
Let s(h) = h**2 + 4*h + 1. Let x(v) = -4*v**2 - 17*v - 4. Let q(z) = 9*s(z) + 2*x(z). Let a be q(-3). Solve a = -4*o - 8 for o.
-3
Let x(t) = -7*t - 19. Let a be x(-4). Suppose a*y = 7*y. Suppose 0 = -3*r + 3*h + 42, y = 2*r + 2*h - h - 22. Solve 11*f + r = 7*f for f.
-3
Let m be 60/((-21)/(-14) + 0). Suppose m*z - 45*z = -25. Solve 3*w = 4*w + z for w.
-5
Let d(r) = -584*r - 2908. Let t be d(-5). Solve t*u = 138 - 174 for u.
-3
Let i = -3 + 5. Let v = 253 - 226. Suppose h = -s, 0 = -5*s + i*h + 2*h + v. Solve 4 = -s*q + 1 for q.
-1
Suppose l - 4*i - 335 = 0, -4*l + 4*i - 442 = -1866. Solve 346*x - l*x = -17 for x.
1
Suppose 0 = 909*f - 920*f + 1430. Solve 40*b + f = 14*b for b.
-5
Let k(x) = x**3 + 7*x**2 - 4*x + 18. Let d be k(-8). Let w be (18 - 19)*(d - -1). Suppose w*q + 14 = 66. Solve 0 = v - 2 + q for v.
-2
Let j be 456/(-16)*8/(-6). Suppose 5*n - 5*q - j = -3*q, -26 = -3*n + 2*q. Suppose n - 3 = 3*i. Solve 0 = k - i for k.
1
Suppose 3*f = -5*c + 214, c + 46 = 11*f - 4. Solve -42 = 16*z + c for z.
-5
Let l(y) = 9*y**3 - 2*y**2 + 2*y + 1. Let k be l(1). Let c be -6 - k/(4 - 5). Solve r - 3 = c*r for r.
-1
Suppose 0 = -3*r - 4*f + 84 - 33, 3*f + 51 = 2*r. Solve -119*l - r = -126*l for l.
3
Suppose 13*g + 32*g + 2*g = 0. Solve g = 20*j + 122 - 102 for j.
-1
Suppose -248*z + 10755 = 317*z - 79080. Solve -38*g = -31 - z for g.
5
Suppose 28*n = 26*n + 534. Let s = 270 - n. Solve 6*v - s*v = -12 for v.
-4
Suppose 3*l - 957 = -z, 3*z - 5*l = -2*z + 4865. Solve z = -b + 975 for b.
6
Suppose -7*s + 4672 = 4427. Solve 0 = 7*f - 0*f - s for f.
5
Let v = 5576 + -5562. Solve 108 = 32*d - v*d for d.
6
Let t = 26211 + -26207. Suppose 0*q - 40 = -2*q. Solve 4 = -t*a + q for a.
4
Suppose 0 = -5*q + 3*h, 3*h = 2*q + 2*h - 1. Suppose -r - t + q = 0, -3*r - 4*t + 12 = -4*r. Solve 2*y + 0*y = r for y.
0
Let h = -2595 - -2793. Solve 203*t - h*t = 25 for t.
5
Let l(x) = 10*x + 1. Let p be l(1). Let f = 51896 - 51870. Solve 3*q = f - p for q.
5
Let h(c) = c**2 - 5. Let v be h(2). Let l(w) = w + 1. Let o be l(v). Suppose -15*t +