 + 1 = 0 for f.
1
Let b(f) = -f**2 + 7*f + 2. Let u be b(0). Solve -u*v = -0 + 2 for v.
-1
Let v(p) = -17*p - 281. Let q be v(-33). Solve 51*d - q = 91*d for d.
-7
Let c be 126/294 + 96/21. Solve -2*s - 9 = -c*s for s.
3
Let n be ((-126)/49)/((-17)/238). Solve 24*i + n + 36 = 0 for i.
-3
Let d(s) = s - 1. Let m be d(4). Let w = 430 + -430. Suppose 18 + w = 6*p. Solve 0 = -p*f + m - 15 for f.
-4
Let u be (18/(-3) - -6) + -1 + 6. Suppose -u*k + 37 + 53 = 0. Solve 12*x - 24 = k*x for x.
-4
Suppose 0 = 9*f - 14*f + 30. Let h = 317 - 315. Solve -h*b - f = b for b.
-2
Suppose 5*a - 67 = -f, 23*f + 5 = 3*a + 28*f. Solve -a*z + 61 - 16 = 0 for z.
3
Let f = -101 + 137. Let r be f/10*(-13)/(39/(-5)). Solve 7 = r*p - 5 for p.
2
Suppose 2*u + 4*u = 2*u. Let n(f) = f - 52. Let k be n(55). Solve u = -k*a + 4*a for a.
0
Suppose 0 = 8*j + 184 + 760. Let m = -116 - j. Suppose 5*s = 4*s. Solve m*r - 1 - 5 = s for r.
3
Let k = 98 + -105. Let n be 75/21 - k/(147/(-12)). Solve 2*u + n = -u for u.
-1
Let i = 3153 + -3148. Let j(g) = g**2 - 8*g + 12. Let y be j(6). Solve y*v + i*v = 0 for v.
0
Let f = 480 - 408. Suppose -20 = -f*m + 70*m. Solve 0 = 9*q - m*q for q.
0
Let a be (7/(-21))/(266/(-912))*(-77)/(-2). Solve -77*z + a*z = 0 for z.
0
Suppose -8*l = n - 1558, 5*n + 79 = 109. Solve -l*a - 24 = -182*a for a.
-2
Let g = -11 + 13. Suppose 6*t - 8 = 10. Suppose g*r - 2 = -6*s + 8*s, -2*r = -t*s. Solve 0 = s*a - 1 + 5 for a.
-2
Let z be 5/2*192/15. Suppose -6*c = -z + 14. Suppose -n + 13 - 5 = 0. Solve -c*p - n = p for p.
-2
Let o(s) = -s**3 - 7*s**2 + 9*s + 14. Let g be o(-8). Let k be (6 - g)/6 + 1. Let y be ((-8)/(-6) + -1)*6. Solve -y*b + k = -b for b.
1
Suppose 0 = -4*g - 3*h + 5*h - 6, 2*g + 6 = 2*h. Let s = -3 + 8. Suppose 36 = 11*k - 4*n, 2 = -n + 2*n. Solve g = k*f - s*f for f.
0
Let h be 1/3 + -1*(-1)/(-3). Suppose h = -5*s + 6*g - 2*g + 23, -g = -2*s + 8. Let w be 27/6 + s/(-12)*2. Solve -10 - 10 = w*x for x.
-5
Suppose 3*j - 8*j + 21 = -3*p, 7 = -j - 5*p. Suppose k - 5*i = -2*k + 37, -3*i = -5*k + 51. Let q be (-3 - 1)*k/(-6). Solve -j*z + 0*z + q = 0 for z.
2
Let c be (273/7 + 9)/((-3)/(-2)). Let o(t) = 2*t**3 - 63*t**2 - 32*t + 26. Let p be o(c). Solve p = y + 23 for y.
3
Let r be (-121)/(-3) + (50/15)/(-10). Suppose -r*d + 31*d = -36. Solve 0 = -d*g - 2*g + 30 for g.
5
Suppose 34*q - 5*q - 145 = 0. Suppose 20 = -q*l, 4*r - 2*l - 40 = -0*l. Solve -2*t - 6*t - r = 0 for t.
-1
Let g(r) = -7*r + 94. Suppose 10*q - 43 = -3*p + 11*q, -2*q + 5 = p. Let h be g(p). Let f be (21/(-6))/(1/(-2)). Solve 5 = -h*n - f for n.
-4
Let z(k) = -k**3 + 2*k. Let d be z(-2). Suppose -4*p + 16 = -t - 2*t, p = -t + d. Suppose p*h - c - 8 + 0 = 0, -3*c + 6 = 3*h. Solve -2*q = h*q + 12 for q.
-3
Suppose 5*n - 2*g - 5 = 0, -n - 3*n = -g - 7. Suppose -2*k + n = 1. Let c be k + 0 - 1*(-7 - -5). Solve c*x - 1 + 7 = 0 for x.
-2
Suppose 5*c - a - 2*a - 177 = 0, -115 = -3*c + 4*a. Solve 35 - c = 2*q for q.
1
Let z = -1864 + 1942. Solve -25*o = -12*o - z for o.
6
Let x be (1 + (-7)/4)*-4. Let r(y) = -33*y + 99. Let v be r(3). Solve v = -x*i - 2 - 7 for i.
-3
Suppose 2*a - 12 = 3*r, -3*r - 2*a - 12 = -0. Let c be (3 - (0 - r)) + 6. Let s be 1*c/(-1)*-1. Solve 11 = s*f - 14 for f.
5
Let j(k) = -k**2 + 4*k + 3. Let m be j(5). Let n be m + (-5)/20*-28. Solve n*d = -0*d for d.
0
Suppose 185*b = 2476 + 484. Solve 20 = -b*o - 12 for o.
-2
Let w(i) = 30*i**2 + 62*i + 3. Let h be w(-3). Suppose 22 = -h*d + 98*d. Solve 9 - 13 = -d*z for z.
2
Suppose c - 2*t + 18 = 0, -2 + 6 = 2*t. Let y(b) = -b - 12. Let s(k) = -2*k - 24. Let w(a) = 6*s(a) - 11*y(a). Let x be w(c). Solve 0 = -m + x*m + 3 for m.
-3
Let y(x) be the second derivative of x**4/12 + 13*x**3/6 + 17*x**2/2 + 6*x. Let o be y(-12). Suppose p = o*p. Solve -d - 4*d = p for d.
0
Let f(t) = t**3 + 5*t**2 + 7*t + 12. Let j be f(-4). Suppose -20 = -5*o, 2*o = -3*i + 5*o - 12. Suppose u = -i*u. Solve j*a + a + 5 = u for a.
-5
Suppose 39*a - 40*a = -9*a - 7*a. Solve 0*g - 77*g - 154 = a for g.
-2
Let b(w) = 40*w + 2*w**2 + 3*w**2 - w**2 - 17*w. Let k = -5 - 1. Let z be b(k). Solve p = -z + 1 for p.
-5
Suppose -6*t - 17*t = -15*t. Solve t = 4*d + 161 - 181 for d.
5
Let k = 21 - 27. Let w(q) = q**2 + 8*q + 12. Let o be w(k). Let p(b) = -8*b + 66. Let v be p(8). Solve -v*a = -o*a for a.
0
Suppose -5*z - 11 = -46. Suppose -3*x + 4 = -2*y, 15 = 5*x + 5*y - 0. Let p be ((-60)/(-8))/(((-140)/8)/35)*8/(-12). Solve -x*j - p = -z*j for j.
2
Let z = 8 - 5. Suppose -4 = -d - 5*c + 9, 35 = 4*d + z*c. Let v be (1 - 0)*(-100 + 54 - -49). Solve -d = -p - v for p.
5
Suppose 2*v = -2*p - v - 174, 5*p + 401 = v. Let h = -28 - p. Suppose -51*g - 10 = -h*g. Solve -i + g = 8 for i.
-3
Let p(a) be the second derivative of -a**4/12 - 2*a**3/3 + 54*a - 1. Let m be p(-2). Solve m*v = 2*v - 2 for v.
-1
Suppose -5*m + 2*f + 1104 = 0, -3*f = 4*m - 6*f - 886. Solve 11*b + m = 55*b for b.
5
Let k(q) = -q**2 - 3*q - 17. Suppose -4*s + 5*d = 43, -9 = 3*s - 2*d + 18. Let p be k(s). Let h = -40 - p. Solve 0 = -2*f + h + 5 for f.
5
Let x = 2435 + -2195. Solve 0 = 16*m + 24*m - x for m.
6
Let t be ((-7)/(-5) - 2)*-155. Let g = t - 91. Solve -g*a + 4 = -4 for a.
4
Suppose 5 = -c - 4*b, 3*b + 8 - 102 = 5*c. Let a = c - -20. Suppose -3*k - 5 = 5*q - 6*q, 4*k + 4 = 0. Solve -f = -a*f + q for f.
1
Suppose -3*l + 6*l + 17 = -c, -c + l + 3 = 0. Let o be 5/((-3 - -1)/c). Suppose 6*s = -160 + 208. Solve o*i - i = -s for i.
-2
Suppose -224*c - 211*c + 453*c - 666 = 0. Solve 1 = -c*x + 36*x for x.
-1
Suppose 14*o + 429 = 639. Let j(l) = -2*l - 7. Let c be j(-6). Solve -o = -c*i - 0 for i.
3
Let g(c) = 8*c**2 + 3*c - 1. Let s be g(-1). Suppose s*o - 1818 = -1586. Solve -3*k = -o + 67 for k.
-3
Suppose -4*a + s = 12, 4*s - 24 = -3*a + 7*a. Let b be ((-2)/(-3))/(a/(-9)). Let d = 4440 + -4425. Solve -b*p + d = 2*p for p.
3
Let k be 10/(-25) + -3 + (-67)/(-5). Let y(g) = -g**2 + 10*g - 13. Let s be y(8). Let b be (4 + (-12)/s)/(-1). Solve -8*p + k*p - 10 = b for p.
5
Let l = -25 + -261. Let v = l + 290. Solve 0*m - v*m = 0 for m.
0
Let m be (-224)/(-140) - 24/15. Let q = 8 - 5. Suppose -q*d - 4*c - 13 = 0, 5*d - 3*c - 1 = -4*c. Solve -d = -m*b + b for b.
-1
Suppose 4*g + 57 = f, -f + g = -42 - 6. Let u = 252 - 248. Suppose 5*i = -u*i + f. Solve i*n = 6*n + 3 for n.
-3
Let y = 1 + 1. Let x(g) = 19*g**2 + 2*g + 67. Let o(d) = -11*d**2 - d - 34. Let w(h) = -7*o(h) - 4*x(h). Let f be w(6). Solve -y*i - i = f for i.
0
Let d = -3 - -9. Let z be (-57)/21 + 3 - 36/(-21). Suppose -5 = b, 6*h = 8*h - z*b - 16. Solve d*c = h*c for c.
0
Suppose -x + 3*x = 74. Suppose -x*r + 12 = -34*r. Let w be (2 + 4)/(-7*(-18)/42). Solve 2*g - r = -w for g.
1
Suppose 26*o - 17*o = 33*o - 9672. Solve 3*w = 430 - o for w.
9
Let j(i) = 3*i**3 - 127*i**2 - 82*i - 162. Let o be j(43). Let s(l) = -l + 4. Let z be s(-5). Solve -z + o = w for w.
1
Let w be (6/24)/(9/6732). Solve w*s - 192*s + 10 = 0 for s.
2
Let i(d) = d**3 + 5*d**2 - 5*d - 28. Let m be i(-4). Solve -1937*v - m = -1941*v for v.
2
Suppose -114 = -10*p - 2*q, 42*p + 2*q - 37 = 39*p. Solve -30*x - p = -131 for x.
4
Let k be 2/((-12)/(-27)) + (-297)/(-18) + -19. Solve -19*q + k*q - 68 = 0 for q.
-4
Let a be (5 + -1)*1 - 12. Let i be (4/10)/(a - 322/(-40)). Solve t - i*t = -14 for t.
2
Let k be 3/((-15)/(-5))*5. Suppose k*o - 30 = 2*o. Let n be 2 + 3*2/6. Solve -5*d = -n*d + o for d.
-5
Let z(v) = -v**3 + 15*v**2 + 16*v + 20. Let w be z(16). Suppose 0 = 19*q - w*q - 3*j + 7, 2*q - 6 = 2*j. Solve -q*k = 3*k + 14 for k.
-2
Let s = 42531 + -42513. Solve -48*p = -54*p + s for p.
3
Suppose 3*h - 2*o = -o + 76 + 14, 0 = 5*o. Solve 0 = h*u - 22*u - 48 for u.
6
Suppose -21*j - 1112 = -84*j - 76*j. Solve 7*b - 6 - j = 0 for b.
2
Let u(a) = -5*a**2 - 566*a - 885. Let h be u(-108). Solve -13*o + h = 1845 for o.
6
Let h be (-27)/(-2 - -11) - -25*1. Solve 7*z - h = -78 for z.
-8
Let m be 194/22 + (13 - ((-2519)/(-121) + -8)). Let h be (-2)/(-4)*(-11 - -11). Suppose h*v + 3*v = 0. Solve 0 = 3*r - v*r - m for r.
3
Let u(s) = s**2 + 49*s - 2045. Let f be u(27). Solve 31 + 11 = -f*n for n.
-6
Let o(b) = -117*b - 819. Let k be o(-7). Solve k = -11*l - 33*l for l.
0
Suppose 3*a = 10*a. Suppose a = s - 20 - 51. Suppose -3*o - 53 = -s. Solve o = -0*k - 3*k for k.
-2
Let r(k) = 258*k - 4