for p.
1
Suppose 0 = 16*k + 35*k. Solve 8*o - 29*o = k for o.
0
Let y = 144 - 140. Let c = 16 - 52. Let r be (-108)/(-7) - c/63. Solve -y - r = 4*f for f.
-5
Let r(j) = j**3 + 8*j - 1. Let a be r(0). Let l be ((a - 1)*-1)/1. Let t be 3 + ((-50)/20 - l/4). Solve -2*q + t - 8 = 0 for q.
-4
Let k(l) = 4*l**2 - 27*l + 21. Let m be k(6). Solve m = -3*a - 9 for a.
-4
Suppose 0 = 5*p + 3*f - 12, 2*p + 3*f - 149 + 155 = 0. Solve -p*h = -521 + 491 for h.
5
Let f(p) = p**3 - 9*p**2 - p + 14. Let j be f(9). Let m be (100/8)/j*(2 - -2). Solve m = -3*b - 2*b for b.
-2
Let x(h) = h - 1. Let y be x(4). Let l = 48173 - 48171. Solve -y + 1 = -l*v for v.
1
Suppose 3*m = -0*m + j + 32, m - 3*j = 16. Suppose -2*q - 52 = y - 51, 4*y = 5*q + 61. Solve -y*k - m = -7*k for k.
-5
Let v be ((-3564)/(-165))/((-3)/60*2). Let l = v - -220. Solve -l*x = x - 20 for x.
4
Suppose 4*o - 20 = 4*x, 3*x + 0*o - 4*o = -20. Suppose x = 4*h - h - 18. Let r be ((-9)/6 - -2)*h. Solve 0 = p + 2*p + r for p.
-1
Let d(f) = f**2 + 28*f - 3. Let g(a) = 13*a - 1. Let r(m) = -6*d(m) + 13*g(m). Let c be r(0). Solve -2 = -x - c for x.
-3
Let m = -3437 + 3461. Solve -12*d = -m*d for d.
0
Suppose 10*q - 4272 = -79*q. Solve 0 = 185*y - 197*y - q for y.
-4
Let n be (1 - 0)/((-218)/(-342260)). Solve 0 = -1567*g + n*g - 9 for g.
3
Let h(m) = 157*m + 628. Let a be h(-4). Let q(o) = -o**2 + 5*o - 1. Let t be q(2). Let k = 10 - 6. Solve k*y - t*y = a for y.
0
Let z(t) = 71*t - 1339. Let g be z(27). Solve 2*j - g + 574 = 0 for j.
2
Let g(z) = z - 10. Let l be g(6). Let n = l + 12. Suppose n*b = 6*b + 4*m + 26, 3*b + 2*m - 7 = 0. Solve p = -b + 3 for p.
-2
Let b(y) be the first derivative of y**2/2 + 9*y - 24. Let f be b(-5). Suppose -f*w + 32 = 4*o, w - 14 = 3*o - 5*o. Solve -3*p + 9 + o = 0 for p.
5
Let k = 6 + -6. Suppose 2*q = 2*n - 6, 41*n - 13 = 38*n - q. Solve -4*r - n - 16 = k for r.
-5
Suppose 3*b - 104 = -5*x, 2*b + 0*x - 68 = -4*x. Let l be ((-12)/10)/((-75)/(-2000)). Let y = l + b. Solve -2 - y = -4*c for c.
2
Suppose 0 = 2*c - 8*f + 4*f - 22, 0 = -4*c + 4*f + 40. Suppose 5*h = 14*h - c. Suppose 4*x - h - 15 = 0, 2*n - 12 = -2*x. Solve -o - 3 = n for o.
-5
Suppose -2*o - 24 = -2*j, 5*j + 2*o - 13 = 12. Let f = -5739 - -5739. Solve -t + j*t - 30 = f for t.
5
Let k(g) be the second derivative of g**5/10 - 29*g**4/12 + 19*g**3/6 - 34*g**2 - 337*g. Let j be k(14). Solve -4 = j*d + 6 for d.
-5
Let l be (-7 - -3 - -3)*(0 + -1). Suppose 13 = 4*t + l. Solve -t*r - 4 = 2 for r.
-2
Let h(z) = -320*z + 3. Let a be h(0). Solve -21*q - 18 = -a*q for q.
-1
Suppose 2*o = 3*z + 1, 17*z - 16*z - 23 = 4*o. Let a be (-25)/(-2) + (o/2)/7. Solve 3*u = -0*u + a for u.
4
Let w be (1 + 0)/((-3)/9) + 115 + 14. Solve -6*h = 15*h - w for h.
6
Let t(m) = 46*m**2 - 690*m - 2063. Let p be t(-3). Solve p = 10*o + 341 for o.
8
Suppose 4*t + 46 = 2*f, -13 = 5*t - 3*t + f. Let c be (t - -2)*(120/42)/(-5). Solve 0 = n - 3*n - c for n.
-2
Let z = -376 + 379. Suppose -3*p - 17 = -h, 0*h = -5*h - 2*p. Suppose -h*t - 4*x + 16 = 0, z*t + 2*t + 4*x = 52. Solve -3*n - n + t = 0 for n.
3
Suppose 0 = -6*b - 759 + 129. Let z be (5/(b/(-36)))/((-12)/(-56)). Solve 3*j - z*j = 25 for j.
-5
Let q(c) = -2*c + 55. Let h be q(23). Suppose 4 + 104 = h*n. Solve -f = 3*f - n for f.
3
Suppose 120*h = 103*h + 1122. Solve -19*o + 47 = h for o.
-1
Let c = -9 + 29. Let o be ((-5)/(c/12))/1. Let x be ((-4 - o)*-4)/2. Solve -x*y = -y for y.
0
Let a(n) = -n + 8. Let y(l) = -l + 8. Let c(g) = -4*a(g) + 3*y(g). Let b be c(15). Suppose 3*k - b = 2. Solve o = k*o - 6 for o.
3
Let p(c) = -c**3 + 10*c**2 + 30*c - 321. Let w be p(7). Solve -10*u + 56 - w = 0 for u.
2
Let q be (-1)/(-3*(-4)/(-1128)). Suppose -q + 29 = p. Let f = -48 - p. Solve 5*a - f = -2 for a.
3
Let i(k) = 6*k**2 + k - 2. Suppose 3*a + 6 = 5*z + 4*a, 3*z - 7 = -4*a. Let x be i(z). Solve 0 = -x*d - 18 - 7 for d.
-5
Suppose 4*b - 141 - 507 = 0. Let z = -161 + b. Solve -2*c + 3*c - z = 0 for c.
1
Let v(t) = -9*t**2 + 556*t - 339. Let g be v(61). Solve g*w = 91*w - 3 for w.
1
Suppose -m + 657 = 225. Let t = m + -432. Solve -2*j = -t*j - 2 for j.
1
Let l be 4*4/(-88) - ((-6840)/110)/12. Let v = -3 + 3. Solve s + l = -v*s for s.
-5
Let j(c) = 117*c - 229. Let r be j(2). Let u(n) = 4*n - 15. Let v(w) = w - 4. Let f(p) = 2*u(p) - 9*v(p). Let m be f(6). Solve -25 = r*d - m*d for d.
-5
Let p be 4*4 - (75 - 107). Solve 46*y - 54*y = p for y.
-6
Let g = 3 - 2. Let y = -1 + g. Let a = 275 - 273. Solve 0 = -y*q + 2*q + a for q.
-1
Let p be (665/(-21) - 2) + 8/(-6). Let a be (-51)/(-21) - (-15)/p. Solve -6 = a*q - 2 for q.
-2
Let g(h) = 195*h + 6562. Let a be g(-33). Solve -17*n = -a*n - 330 for n.
-3
Suppose -2 = -0*k - k + 5*u, 0 = 2*k + 4*u - 4. Suppose 5*j - 100 = -5*r, 0*j - j = k*r - 25. Suppose 8 = -8*x + 8. Solve 6*i - i - j = x for i.
3
Let g(i) = -46*i**2 + 49*i - 3. Let u be g(1). Solve p - 2*p + 3 = u for p.
3
Let d = 953 + -726. Let p = 272 - d. Solve 11*m - 2*m = p for m.
5
Let t(w) = -w**3 + 8*w**2 + 5*w - 72. Let d be t(5). Solve 23*h + 15 = d*h for h.
3
Suppose 24*n - 15 - 25 = 16*n. Solve n*p + 26 = -4 for p.
-6
Let p(k) = k**3 - 12*k**2 + 10*k + 29. Let r be p(11). Suppose -7 = -r*a + 29. Suppose -v + a = -4*s + 17, -4*s = -4*v. Solve x - v*x = 0 for x.
0
Let h be 3 - (2 + -1) - 16/(528/(-3993)). Solve -15*p + h = 63 for p.
4
Suppose -4*x + x = 0, -1 = -z + 2*x. Suppose 4 = c + z. Suppose a - 31 = -4*w, a = -5*w - c*a + 47. Solve -25 = -2*f + w*f for f.
-5
Let a = 2109 + -2107. Let z = 7 + -8. Let b(w) = -5*w**3 - 2*w**2 - 2*w - 1. Let h be b(z). Solve h = -a*l + 2 for l.
-1
Let a(s) = -2*s**3 + 20*s**2 + 4*s - 22. Let c be a(10). Solve c*k - 67 = 5 for k.
4
Let r = -25 - -31. Suppose 0 = 5*q - r*q. Solve 0 = -k - q + 5 for k.
5
Let x = -1836 - -1928. Solve -86*h + x*h = 0 for h.
0
Suppose 4*d - 50 - 390 = 0. Suppose 6*s - d = -74. Solve 3*c = -s - 6 for c.
-4
Let b(i) = i**2 - 3*i - 15. Let f be b(6). Let h(a) = -5*a - 9. Let p be h(-9). Suppose 16 = -f*s - s, 2*w - 5*s = p. Solve -j = j + w for j.
-4
Let n = 308 - 294. Let b be 8/14 + 2*(-4)/n. Solve 4*x - x - 3 = b for x.
1
Suppose -7*x = -119 - 105. Let v = x - 28. Suppose 3*c = -4*q - 15, -v*c - 23 = -3*q - 3. Solve 2 = h - q*h for h.
2
Let k(c) = -c**3 + 4*c**2 + 13*c - 15. Let w be k(-3). Solve w*o = -133 + 88 for o.
-5
Suppose -400*v + 203 = -396*v - k, 0 = 5*k - 25. Solve 9*n = -17*n + v for n.
2
Let v(w) = -w**3 - 17*w**2 - 14*w + 32. Let b = 10 + -26. Let k be v(b). Suppose 4*s = -k*s + 20. Solve s*z + 9 = -11 for z.
-4
Suppose -67 = -5*y - 12*c + 10*c, 0 = -2*y - 2*c + 22. Solve -32*s + y*s = 68 for s.
-4
Let p = 35 - -3. Let b be -2*2/14 + p/(-14). Let a be b + 6 - -1 - (-1 + 2). Solve -g = a*g for g.
0
Let l(r) = r**3 + 31*r**2 + 27*r + 14. Let n(a) = a**3 + 30*a**2 + 27*a + 15. Let g(w) = 3*l(w) - 4*n(w). Let x be g(-26). Solve x*k - 11*k = 12 for k.
-4
Let c = 293 - 155. Let f = c + -123. Suppose -33*h = -38*h + f. Solve -2*p - 25 = h*p for p.
-5
Let h(c) = -42*c + 682. Let r be h(16). Solve -r*w + 5*w = 3*w for w.
0
Let f(b) = -b**3 - 2*b**2 + 18*b + 4. Let s be f(-6). Suppose 33*i - 139 = -s. Solve i*m = 6*m + 6 for m.
-2
Suppose -4*t + 5*w - 10 = 3*w, -20 = -5*t - 4*w. Suppose t = 14*d + 44 - 394. Solve 6*u - d = u for u.
5
Let z = 22 - 17. Let g(o) = o**2 + 6*o. Let j be g(-7). Suppose 0 = -2*y + 5*i + 28, y - 3*i - 9 - j = 0. Solve -z = u + y*u for u.
-1
Let o(y) = -54*y - 3814. Let n be o(-71). Solve 0 = 6*i - 14 + n for i.
-1
Let b(c) = c**3 - 4*c**2 + c - 3. Let x be b(3). Let q be 35/(-14) + 4 - 3/6. Let w be q - x/(-6)*(-6)/(-9). Solve -2*h + 1 + 1 = w for h.
1
Let t(u) be the second derivative of u**4/12 - u**3/6 + 6*u**2 - 16*u. Let x be t(0). Suppose 5*c = c + x. Solve 5*z = c*z for z.
0
Let v(h) = -4*h**3 + 22*h**2 - 56*h - 6. Let i(x) = 3*x**3 - 22*x**2 + 56*x + 5. Let o(u) = -3*i(u) - 2*v(u). Let j be o(19). Solve 7 = -3*a + j for a.
3
Let i(k) be the first derivative of -k**3/3 - 9*k**2/2 + 5*k + 24. Suppose t - 12 = -2*t, 4*j + 4*t + 20 = 0. Let l be i(j). Solve -l*o = -2*o - 12 for o.
4
Let g be (-4)/6*(-7 - (-1613)/2). Let h = g - -533. Solve -4*d - 13 + 9 = h for d.
-1
Suppose -x = -2*x + 11. Let l be (-2)/((-28)/(-63)*3/(-2)). Suppose -2*a + g = a - x, 0 = -a - g - l. Solve o = -a*o for o.
0
Let 