3
Let r = -312 - -340. Let b be (111/74)/(2/r). Solve 0 = 20*l - b*l + 5 for l.
5
Suppose 1383 = 169*z + 200. Solve 506*u - z = 499*u for u.
1
Suppose -3*s - 72 = 35*u - 37*u, 4*u - 5*s = 140. Solve -166*y = -160*y + u for y.
-5
Suppose -2922*j + 2918*j + y = -23, 5*j - 28 = 2*y. Solve 77*x = 78*x + j for x.
-6
Suppose 3*o - 90 = -0. Suppose 25*w = -10*w - 1050. Let s = o + w. Solve 5*q - 7 + 2 = s for q.
1
Let w = -209 - -208. Let f be (9 - 1)/(w + 2). Solve f*q = 5*q + 15 for q.
5
Suppose -19*q + 21*q = u + 4, -48 = -3*u - 4*q. Solve -l - 5 = -u for l.
3
Let c(p) be the first derivative of p**2/2 + p + 65. Let q be c(1). Solve -q*a = 2*a for a.
0
Let y(j) = -j**3 + 34*j**2 + 74*j - 67. Let k be y(36). Solve k*s - s = 16 for s.
4
Let h = 10620 + -10099. Solve 42*i + 143 = h for i.
9
Let i(c) = 12*c + 81. Let j be i(-3). Suppose -100 = -11*w - j. Solve -w = 4*g - 13 for g.
2
Suppose 552 = 26*t - 34*t. Let h = 73 + t. Suppose 3*n = 3*m - 24, 5*m + 4*n - h = -9. Solve -m*u = -0*u - 15 for u.
5
Let a(r) = -r**3 - 15*r**2 - 3*r + 96. Let y be a(0). Solve y = 7*f + 82 for f.
2
Let k = 6877 - 6826. Solve -k*o + 29*o = 132 for o.
-6
Let y(o) = o**3 - 4*o**2 - 6*o + 20. Let g be y(5). Suppose -q + 61 = -26. Let c = -85 + q. Solve -f = c*f + g for f.
-5
Let b be -4*(54/(-8) - -3). Let i = -18298 - -18298. Solve i = 12*o - 17*o - b for o.
-3
Suppose 0 = 20*a - 9*a - 814. Let w = 83 - a. Solve -w = -4*o + 7*o for o.
-3
Let k(w) = -7*w**3 + 13*w**2 + 45*w + 24. Let n be k(-2). Solve -12*b - 42 - n = 0 for b.
-7
Let b(m) = -10*m**3 + 2*m + 1. Let q be b(-1). Suppose 2*n = 4*j + 6, -2 + 26 = n + 5*j. Let g = n - q. Solve 2*v - v + 4 = g for v.
-4
Let p be 515 - (384/(-224))/((-2)/7). Solve k - p + 506 = 0 for k.
3
Let y(x) = x**3 - 19*x**2 + 136*x - 81. Let c be y(6). Solve 12*s + 243 = c for s.
2
Let c(m) = 2*m**2 + 70*m + 683. Let d be c(-16). Let p(o) = -2*o - 6. Let t be p(-5). Let u be t/(-3) - d/(-9). Solve -4*k + 15 = -u*k for k.
-5
Suppose 770 = 10*j - 0*j. Let w = j - 72. Solve -2*a = -a + w for a.
-5
Let k = -21733 + 21865. Solve 142*g + 10 = k*g for g.
-1
Let o(g) = g**2 + 35*g + 4 - 14*g - 16*g. Let f be o(0). Solve 3*r = 5*r + f for r.
-2
Suppose -64*s - 142*s + 3090 = 0. Solve -s*t = 18 + 72 for t.
-6
Suppose -57*y + 26*y + 432 = -25*y. Solve -71*q = -83*q - y for q.
-6
Suppose -2*h = 5*s - 21, -37*h + 3*s - 11 = -38*h. Solve -h*i - 175 = 17*i for i.
-7
Let t(u) be the first derivative of u**5/30 - u**4/12 - 31*u**3/3 + 24. Let r(o) be the third derivative of t(o). Let c be r(3). Solve -3*v + 5 = -c for v.
5
Suppose -10*n + 167 = 17. Let f be (-6)/(-27) - 129/(-27). Solve -n = -5*m + f for m.
4
Suppose 3*y = 29 - 20. Suppose -s - 5*r - 9 = s, y*s - 49 = 5*r. Solve s = 2*d + 10 for d.
-1
Let u = 167 + -162. Suppose u*t = 10 + 20. Solve i + 2*i + t = 0 for i.
-2
Suppose -4*v - 6*q + 11*q = -27, q - 57 = -4*v. Solve v*n = 50 - 24 for n.
2
Suppose 1400*k = 1407*k - 868. Solve 113*m + 11 = k*m for m.
1
Let t be 8/((-13 - -13) + (-3)/(-36)). Solve 12*y + 12*y + t = 0 for y.
-4
Let x(g) = 3*g - 20. Let a be x(7). Let j be (-2)/3*21/(-2). Suppose -j*y + a = -6. Solve 5*c + y = -9 for c.
-2
Let f = 51 - 23. Let k = 20 - f. Let y = -8 - k. Solve y = u + 2*u for u.
0
Suppose 11*w - 3*w + 518 = 558. Solve -w*g - 12 + 2 = 0 for g.
-2
Let y be 2073/(-117)*-3 - (-2)/(-13). Suppose y*c + 234 = 62*c. Solve 5*x - c + 6 = 0 for x.
4
Suppose 4 = -2*y + n - 4*n, 0 = 3*y + 4*n + 4. Let o be (-3)/2*(-9 - 250/(-30)). Solve y*k = -o + 5 for k.
1
Let j = -148 - -162. Let i be ((-9)/4 - -2)*(j - 22). Solve 5 = y - i*y for y.
-5
Let t be 123/(-164)*((-52)/6 + -6). Solve -2413 = -t*w - 2314 for w.
9
Let f(u) = 2*u**3 - 27*u**2 + 15*u - 5. Let g be f(13). Solve 85*m + g = 78*m for m.
-3
Let k be ((-84)/(-5))/((-8)/(-15)*(-477)/(-42612)). Solve 15 = -2819*d + k*d for d.
-3
Let j be 0 - (-6 + 7)*-5. Let p(k) be the third derivative of -k**6/120 + 7*k**5/60 - 11*k**4/24 + 5*k**3/6 - 3*k**2. Let m be p(j). Solve -3*t + 2*t = m for t.
0
Let k = -48 + -44. Let v = k + 150. Let b = 59 - v. Solve 3*h - 11 = b for h.
4
Let m = 3814 - 3533. Solve 295*f - m*f = 70 for f.
5
Let v be (-2)/(-3 - 538/(-178)). Let r = v - -38. Let x = -51 - r. Solve x = -0*i - 2*i + 10 for i.
5
Let z(t) = t - 1. Let f(p) be the second derivative of -2*p**3/3 + p**2 + 14*p. Let d(n) = -f(n) + 2*z(n). Let x be d(1). Solve -j + x = -1 for j.
3
Let y(q) = q**3 - q + 6. Let s be y(0). Let g = s - 6. Let w = -1496 - -1503. Solve g = 3*l + w + 8 for l.
-5
Suppose -16*x + 16 = -12*x. Let j be 3*4/(-12)*x - -7. Solve 0 = y - 0*y + j for y.
-3
Let w = 11 - 8. Let k = 10 - -20. Let l be k/26 - ((-41)/(-13) - 3). Solve l = -w*g - 5 for g.
-2
Suppose -328 = 1119*o - 1127*o. Solve 0 = o*v - 58*v - 17 for v.
-1
Suppose -50 = -249*r + 247*r. Suppose -3*g = -5*l - 29, 2*g - 4*l = -g + r. Solve 0 = g*a - 3 + 9 for a.
-2
Let z = 18238 - 18234. Solve 0 = -z*k + 87 - 103 for k.
-4
Let j = -1474 + 1514. Solve 48 = -2*l + j for l.
-4
Let p(h) = -h**2 - 72*h + 1008. Let g be p(12). Solve -10*l + 23 - 13 = g for l.
1
Let c(p) = p**3 - 4*p**2 + 2*p + 2. Let a(t) = -5*t**3 + 22*t**2 - 11*t - 10. Let x(j) = 2*a(j) + 11*c(j). Let i be x(0). Solve -i*r = r + 6 for r.
-2
Suppose 6 = 27*y + 87. Let z be -21*((-4)/y)/(-4). Solve -5*i + z*i = 0 for i.
0
Let q = 95 - 53. Suppose -q*u = 19 - 61. Solve -h + 0*h = u for h.
-1
Let d(o) = -2*o + 3. Suppose 0 = m + 2*i - 11 - 49, -3*m - i = -165. Let x be (2 + -1)*9/(m/(-12)). Let r be d(x). Solve 2 = -f + r for f.
5
Let d = 550 + -527. Suppose d*b = 25*b - 16. Solve -4*f - b = -4 for f.
-1
Let f(y) = -y**3 - 21*y**2 - 20*y + 11. Let w be f(-20). Suppose -8*i + w*i = 240. Suppose 2*v + 2*t + 38 = 4*v, -4*v + 5*t + i = 0. Solve v = p + 2*p for p.
5
Let d = 18223 + -18174. Solve -21 = d*g - 21 for g.
0
Suppose 0 = 29*p - 28*p - 4. Let n be -2 - 7*(13 + -3). Let a be -3*p/n + 178/12. Solve -2*g + 5 = a for g.
-5
Let k(s) = -s**3 - s**2 - s - 1. Let u(r) = -r**3 + 7*r**2 + 18*r + 10. Let o(b) = -2*k(b) + u(b). Let l be o(-6). Let y = 11 + -6. Solve l = -y*n + n for n.
0
Let x = 3123 - 3123. Solve 179*a - 167*a + 60 = x for a.
-5
Let o(a) = a**2 - a. Let g be o(1). Suppose -3*t - 5*m - 28 = -g*t, -5*m - 25 = 0. Let v be t*-6*-2*3/(-12). Solve -v*k - 4 = -13 for k.
3
Suppose 2*o + 10 = 22. Let q(u) = u**3 + 6*u**2 + 113*u + 312. Let r be q(-3). Solve 2*s + s - o = r for s.
2
Let w be 10 + (-9 - -2 - -6). Suppose -27 - 9 = -w*g. Solve g*d = 8*d for d.
0
Let h = 319 - 308. Suppose 23 = h*t - 43. Solve -4*g + t*g = 6 for g.
3
Suppose -323 = 93*m - 3206. Solve -m + 71 = 10*a for a.
4
Let m(s) = 88*s + 426. Let p be m(-4). Solve -8*k = 29*k - p for k.
2
Let i(k) be the first derivative of k**2 + 7*k + 27. Let v be i(-5). Let l(u) = -u**2 - 5*u - 3. Let b be l(v). Solve -b*t = t for t.
0
Suppose 5*f + 2*n - 192 = 0, 2*f - n = n + 74. Let d = 42 - f. Solve -d*l + 4 = -6*l for l.
-2
Let i(r) = r**2 + 5*r - 5. Let u be i(-6). Let s(o) = 65*o - 14. Let c be s(-3). Let a = c + 212. Solve a*n + u = -8 for n.
-3
Let d = -12344 - -12413. Solve 33 = 18*v + d for v.
-2
Suppose 0 = -b + 5 + 7. Let c = 673 + -645. Solve c - b = -4*m for m.
-4
Let a = 88 - 52. Let s = a + -24. Solve -3*w + s = -3 for w.
5
Let i(s) = 12*s + 14. Let z be i(1). Suppose c = t + 12, c + 5*t - 8 = -z. Solve -8*r - 1 = c for r.
-1
Suppose -3*o + 10 = 4*s - 2*o, 5*o = -4*s + 18. Let i(k) = 67*k**3 - k**2 + 2. Let p be i(1). Suppose -71*a = -p*a. Solve -3*n - s*n = a for n.
0
Suppose 4*z = 2*a + 6*z - 50, -z = 4. Let w = a - 62. Let c = w - -38. Solve -c*r - 2 = -3*r for r.
-1
Suppose -5*t + 2310 = 29*t + 21*t. Solve -t*p = -37 - 47 for p.
2
Let z be ((-12)/(-14))/(-21 - 2980/(-140)). Solve 64 = -z*n + 55 for n.
-3
Suppose -5*z + 9 = -r, -5*r - 5*z - 373 + 388 = 0. Solve 15*a - r - 29 = 0 for a.
2
Let z be (-38)/2 - (-15)/((-165)/22). Let g be -4 - 56/z*3. Solve -16 = g*p - 8*p for p.
4
Let a(f) be the second derivative of -4*f**3/3 - 47*f**2 + 47*f. Let t be a(-12). Solve 6 = -h + t for h.
-4
Let j be 1/4*(16 - -12). Let s = j + -11. Let g be 3*(-4)/(-8 + s). Solve v = -4 + g for v.
-3
Let d = -12939 + 12940. Solve -d = 8*u - 41 for u.
5
Suppose -17*k = -16*k + 4*a - 8, -3*a = k - 11. Solve -4*q + k = -14*q for q.
-2
Suppose 11 = 9*q - 7. 