Solve b = m + m for m.
5
Suppose -7*g + g = -6. Let r be (-1)/3 + 13/39. Suppose 3*f - 9 = r, -n - 3*f + 29 = 3*n. Solve n = -s + g for s.
-4
Let d(b) = 2*b**3 + 2*b - 1. Let a be d(1). Suppose 4*m - 4*y + 25 = -7, 0 = 5*m + 4*y + 67. Let f be m/(-5) - (-1)/(-5). Solve -h = f + a for h.
-5
Let s = 254 - 213. Let h = s + -38. Solve -17 = -5*g + h for g.
4
Let q = 4 - 1. Let c(u) = -475*u - 82644. Let v be c(-174). Solve -v*j = -q*j - j for j.
0
Suppose 33*j + 14 - 245 = 0. Suppose 0 = -9*r - 3*r + 48. Solve -j - 5 = -r*z for z.
3
Suppose 2*r - 28 = -3*z - z, 26 = 4*z + r. Suppose -z*g + 15 = -5*g. Suppose 5*u + d = g, -8*d = -5*d. Solve 4*v = 5 + u for v.
2
Let s(h) = h + 5. Let q be s(-5). Let a = -208 + 201. Let n be (3 - (-3 - a))*q. Solve p + n*p - 2 = 0 for p.
2
Let g be ((2 - 0) + -2)/(-2). Let h be (16/264)/(258/8514). Suppose -2*m = -6*m + 32. Solve g*u = h*u + m for u.
-4
Let r be -1*5/40 - ((-43245)/(-40))/(-9). Solve 99*a - 126 = r*a for a.
-6
Suppose -4*g = 2*x - 264, -4*g = -2*x - 891 + 643. Solve -30*z - 170 = -g*z for z.
5
Suppose 138723 = 9*u + 137229. Solve 62 + u = -114*v for v.
-2
Let h(k) = 101*k + 85. Let i be h(-5). Let f = -410 - i. Solve 10 = 12*y - f*y for y.
5
Let c be 20/(-12)*(-6 - (-8 + 176 + 0)). Solve -c*y + 305*y = 105 for y.
7
Let j(k) = 4*k**3 + k**3 - 5*k**3 + 2*k**2 - 3*k + 3 + k**3. Let o be j(-3). Let g(r) = -16*r**2 - 99*r - 6. Let w be g(-6). Solve -o*i = i - w for i.
3
Let l(o) = -2*o**2 - 21*o - 45. Let y be l(-11). Let b be (16/14)/((y/(-49))/4). Solve -s = -b*s + 6 for s.
2
Let r = -297 - -176. Let o be r/5 - (3/(-15) - 0). Let s = 26 + o. Solve -4*d + s*d - 4 = 0 for d.
-2
Suppose 2*g + 348 = 388. Suppose g*y = 17*y + 9. Solve 19 = -y*t + 7 for t.
-4
Let t be (-4)/8*(-3 + -1). Suppose 5*g = 23 + 32. Suppose -3*b + 1 = w - g, 3*w + 16 = 4*b. Solve w = t*n + 4 + 2 for n.
-3
Suppose 52*k - 49*k - 933 = 0. Let s = k - 307. Solve -s*m = 2 - 14 for m.
3
Suppose 2*o + 7*k = 6*k + 11, 5*k - 28 = -o. Suppose o*r = -2*j + 18, 2*j = 5*j + 4*r - 27. Solve 15*x - 6 = j*x for x.
1
Let j(s) be the first derivative of 4*s**2 - 3*s + 3. Let q be j(2). Suppose 5*f + 2*b - 14 = 0, -7 - q = -5*f - 5*b. Solve f*m + 5 = 7 for m.
1
Let r be ((-12)/10)/((-3)/10). Let i(y) = -y**2 + 12*y + 76. Let d be i(16). Suppose r*x = -5*l + 20, -2*l + d = l + 2*x. Solve 5*a + l = a for a.
-1
Let w(l) = -l**3 - l**2 - l + 5. Let z = 154 - 103. Let b = 51 - z. Let m be w(b). Solve 4 = m*c - 6 for c.
2
Let g(w) = -2*w - 24. Let n(b) = 1. Let h(s) = -g(s) - 10*n(s). Let i be 18/(-21)*(4 - -3). Let u be h(i). Solve -u*r = r + 3 for r.
-1
Suppose -h - 2*w = -2, -2*h - w + 3 = -h. Let m be (-24)/42 + ((-144)/(-84))/3. Solve m = -8*y - h*y + 12 for y.
1
Suppose -75*b = -63*b - 156. Solve b*h = 7*h - 12 for h.
-2
Let g be (-12)/5*(-6 + 63/28). Solve -g*d = -3*d - 30 for d.
5
Let d(m) = 118*m + 3582. Let k be d(-26). Solve y = 517 - k for y.
3
Let o = -8107 + 8114. Solve 3*p - o = -4*p for p.
1
Suppose 0 = 73*d + 194 - 413. Let y = -15 + 22. Solve 0 = 2*s - y - d for s.
5
Let q(g) be the third derivative of 23/6*g**3 - 1/120*g**6 + 3/20*g**5 + 16*g**2 + 1/3*g**4 + 0*g + 0. Let l be q(10). Solve -l*o = 8 + 7 for o.
-5
Suppose -4*j + 18*j - 14 = 0. Let k be (-27 - -26)*0/j*1. Solve k = 4*t - 15 - 5 for t.
5
Let o = -3901 - -3925. Solve 24*f + 0 = o for f.
1
Let t = 430 + -428. Suppose 4*f = 4*j - 4, 0 = -3*j - t*f + 18 + 10. Solve -d - 15 = -j*d for d.
3
Let b be 1323/162 - (21/18)/7. Solve 8*f = -8 - b for f.
-2
Suppose -u + 4*u = 6. Let d be 1/((-4)/(-60)) - 3. Let g = d + -10. Solve -u = g*m + 4 for m.
-3
Let u be (1 + (-48)/(-60))/(6/20). Solve -u*q + q = -0*q for q.
0
Let f(p) = p**2 + 405*p + 2396. Let x be f(-6). Solve x*o - 36 = -40 for o.
-2
Suppose -3*f = -0*f + 12, -3*i + 5*f = -83. Suppose 0 = q - 6*q - j + 27, -i = -5*q - 3*j. Let t be (q/2)/(18/12). Solve 3 = -m + t for m.
-1
Suppose 5*m = 5*h + 9 - 74, -5*m - 10 = 0. Suppose 4*d - h*l = -16*l - 8, -5*d + 7 = 2*l. Suppose 2*b = -3*b + 20. Solve d*f = f + b for f.
2
Let b(w) = -w**3 + 3 - 181*w**2 + 386*w**2 - 197*w**2. Let o be b(8). Solve -o*r = 2*r for r.
0
Let p be 0 + 64 - ((-14)/(-4) - 77/(-22)). Solve p*x - 145 = 26 for x.
3
Suppose 18*x = 20*x + 6. Let k be (-4)/(-2) - (5 + x). Suppose -2*o + 5*o = 0. Solve k = -o*f + f for f.
0
Suppose -42 = 5*b - 47. Let l be 1 + -1 + 0 + b. Let c = 2 - 0. Solve -l = t - c for t.
1
Suppose 782 = -183*k + 6021 + 2630. Solve 35*p + 24 = k*p for p.
3
Let m(f) = 147*f**2 + 288*f + 4. Let l be m(-2). Solve -82*r + l = -74*r for r.
2
Let i = -54 - -60. Let y = -3 + i. Suppose -y*m + 3 = -0. Solve -o = 3 - m for o.
-2
Suppose 2*a + 4*w = 716, 5*a - 3*w + 717 = 7*a. Solve 65*m + 7*m = -a for m.
-5
Let q be 18/((-1134)/549) + 2/(-7). Suppose -2*w + 46 = -5*o, -50 - 1 = -3*w + 3*o. Let u = q + w. Solve u*y + 0 + 4 = 0 for y.
-1
Let c(u) = u**3 + 49*u**2 + 94*u + 2. Let r be c(-47). Suppose 0 = -r*l + 5*v + 56, -6*v - 22 = -l - 5*v. Solve -p = l - 17 for p.
-1
Suppose 0 = -8*g + 49*g. Suppose g*z - 14*z = -70. Solve -3*q - z = 4 for q.
-3
Suppose 2*c - 20 = -c - 2*p, 8 = 3*c - p. Suppose -2*j + 4*g = 0, -c*j = -j + 2*g. Let y = -50 + 51. Solve -o + y + 0 = j for o.
1
Let d(b) = 4*b**2 + 243*b - 59. Let n be d(-61). Solve -3 - n = 5*r for r.
-1
Suppose 103*b = 98*b + 25. Suppose 5*n = -b*s - 5, 3*n = -30*s + 35*s + 5. Solve -t + n*t = -5 for t.
5
Suppose -12*h = 133*h - 1160. Solve 0 = -h*u + 130 - 178 for u.
-6
Let a be 322/(-12) - 22/132. Let u(j) = -j**3 - 25*j**2 + 55*j + 27. Let s be u(a). Solve 18 = 9*c - s for c.
2
Let g be -3*((-50)/15 + 2)*35/14. Solve -6*a + g*a = -6*a for a.
0
Suppose -232*i + 231*i - 9 = 0. Let k be (i/2 - -3)/(3/4). Let s be ((-2)/(-4))/(k/(-12)). Solve 5*p - 4*p = s for p.
3
Let b = -6663 + 6670. Suppose 23 + 7 = 5*k. Solve b*v - k = 4*v for v.
2
Suppose 3*z = -w + 73 - 17, 4*z - 92 = 3*w. Solve 9*b - 29*b + z = 0 for b.
1
Let d be (11 + -10)*(126 - 10). Solve d - 16 = 20*w for w.
5
Suppose -74*a + 199 = -75*a. Let l = a + 211. Solve -4*q = 8 + l for q.
-5
Let x = 57 + -33. Suppose -d + x = d. Suppose -z + d = 7. Solve 0 = -h - 0*h + z for h.
5
Let d = 330 + -538. Let n = d + 223. Solve -n + 1 = -7*y for y.
2
Suppose -15 = -t - 4*t. Let j be -14*(7/2)/(-7). Let f(o) = -o**3 + 8*o**2 - 7*o + 10. Let u be f(j). Solve -u + 1 = t*s for s.
-3
Let s(y) = -49*y - 4370. Let m be s(-94). Solve -21*c - m = -299 for c.
3
Let h(r) = -17*r - 14. Let y be h(-1). Suppose v + y*o - 5*o - 11 = 0, 5*v - 37 = o. Solve -v*x + 4*x = 0 for x.
0
Suppose 6*h = k + 2*h + 5, 45 = -3*k - 3*h. Let p = -169 + 157. Let b = p - k. Solve -3 = -2*g + b for g.
2
Let k be 60 + (149/(-13) - (-408)/884). Solve 4*s = -3*s + k for s.
7
Let t = -19986 - -19995. Solve -t*v - 316 = -379 for v.
7
Let y be 3 - ((-12)/(-24) + (-723)/(-6)). Let s = 123 + y. Solve -s*r - 7 - 8 = 0 for r.
-3
Suppose 2*n + 167 = -9. Let i be 202/22 + (-4 - 336/n). Solve i*q + 4 = 11*q for q.
2
Let h be ((-31)/(-93))/(1/10146*2). Solve -h + 1684 = -7*u for u.
1
Suppose 8 = h + d, h - 2*d - 8 = -3. Let u(o) = 2*o**3 - 43*o**2 - 23*o + 7. Let i be u(22). Let c be ((-3)/5)/(((-16)/i)/(-16)). Solve -h*v = -4*v - c for v.
3
Let r(v) = -v**2 - v - 223. Let f be r(0). Let n = 226 + f. Solve 3*w + 0 = -n for w.
-1
Let w(t) = -4*t - 59. Let v be w(-16). Let z(g) = g**3 - 15*g**2 + g - 3. Let r be z(15). Let f be ((-66)/9)/((-4)/r). Solve f - 2 = -v*h for h.
-4
Let d(y) = 118*y + 26. Let r be d(-2). Let t be 4 - (-22)/(-33)*r/4. Solve 9*o - t = -3 for o.
4
Let z(r) = -8*r - 4. Let b be z(-1). Suppose 2*y - b*p = 14, -2*p = -0*p. Let c be ((-12)/(-8))/(1/2). Solve y + 5 = -c*a for a.
-4
Suppose 0 = 5*w - 26 - 159. Suppose 4*r = 11 + w. Suppose -5*t - 3*z + r = -6, -3*t + 38 = -5*z. Solve c = -c - t for c.
-3
Let z(p) = 2*p**2 + 17*p + 174. Let c be z(-13). Solve 351 = -20*h + c for h.
-3
Suppose 7 = 4*t - 5*k, 3 + 1 = 4*k. Let d be 206/10 - t/5. Let y = 29 - 25. Solve d = -h - y*h for h.
-4
Let m(u) = u**3 + 16*u**2 + u + 20. Suppose -384 = 9*h + 15*h. Let d be m(h). Let c = 21 - 21. Solve -2*p - d = -c for p.
-2
Suppose -5*l + j - 1870 = -540, 5*l + 1330 = -3*j. Let u = l - -270. Solve -36 = -u*v + 13*v for v.
-4
Let q(t) = -t**3 + 16*t**2 + 15*t + 42. Let r(u) = -u**2 - 14*u - 28. Let k be r(