 4. Let v be (-72)/(-10) + (-1)/5. Solve c = r*t - v*t + 5 for t.
1
Suppose 4*i + 14 = 2*x, x - 4 = -0*x + 3*i. Let s(t) = 13*t + 0*t**3 + t**3 + 12*t**2 - 2*t**3. Let p be s(x). Solve p = 2*a - 4*a + 6 for a.
3
Suppose -4*g + 5*s + 26 = -1413, -358 = -g + 3*s. Suppose 0 = -10*r + 259 + g. Let c = -60 + r. Solve -3*x = -c*x + 3 for x.
-3
Let r = -33 - -38. Suppose 0 = -r*j + 2*j + 3*u + 18, 0 = -3*j - 3*u + 6. Let o be (21*(j/3 + -1))/1. Solve -o*h = -3*h for h.
0
Let o(d) = -d**3 - 4*d**2 - 4*d - 6. Let q be o(-4). Suppose -2*i - 72 = -5*u - q, 3*i = 12. Solve 0 = 3*n - 23 + u for n.
3
Let k = -3455 - -3467. Let o = -50 - -70. Solve -26*x - k = -o*x for x.
-2
Suppose -11*f - 2*f + 2250 = 5*f. Solve f = -5*g + 115 for g.
-2
Let x(z) = -9*z**2 - 5*z + 5. Let y be x(1). Let j be ((-10)/1)/(6*1/y). Solve -27*w - j = -30*w for w.
5
Let r(l) = -3*l**3 + 46*l**2 - 14*l - 15. Let k be r(15). Solve k*w = 11*w + 55 for w.
-5
Suppose -4*d - 80*d = -8568. Solve d = -7*s + 123 for s.
3
Let c be (-66)/(-231) + 47/7. Solve -c - 11 = -3*f for f.
6
Let h = 7621 + -7593. Solve x + 22 = h for x.
6
Suppose 3*j = -2*v, 3*j - 1120 = -5*v - 1147. Solve 0 = j*x - 1551 + 1497 for x.
9
Let z be 4/(-10) + (-688)/(-20) + -8. Solve 0 = -27*c + 40*c - z for c.
2
Let c = 55192 + -55189. Suppose -4*d = -5*d + 3. Suppose -s = 4*w - d*s - 28, 2*s = 4. Solve -w = c*u - u for u.
-4
Let p be 4/(-6) - (-105)/9. Suppose -3*y = -3*o + 21, -12*o = -p*o - 4*y - 16. Solve o - 2 = 2*x for x.
1
Let t(v) = -v**3 - 3*v**2 - 100*v - 544. Let c be t(-5). Suppose -3*o + 59 = -5*y, 2*o - o - 15 = -3*y. Suppose -c*h + 0 = -o. Solve h*j + 3 = 15 for j.
4
Let l(h) = -145*h**3 + 10*h**2 + 3*h - 7. Let b be l(-1). Solve -b*a = -148*a + 27 for a.
9
Let k be (-24)/(-9)*(-54)/(-36). Suppose -480 = n - 483. Solve -17 = k*s + n for s.
-5
Suppose 2*w = -5*z + 99, -78*w - 45 = -79*w - z. Solve w = 29*i - 22*i for i.
6
Let g = -20 - -18. Let m be 0*(-2)/(g - 2). Suppose -2*s = 2 - 0, m = -p - 3*s + 2. Solve 2 = p*k - 3 for k.
1
Suppose -935 = 15*s - 20*s. Let a = -152 + s. Solve 5*l + a = -2*l for l.
-5
Suppose z + 0*z + 2*b = 0, 2*z - 5*b = 0. Let k be (-3)/(-3) + (1 - -19) + -2. Suppose m = 5*n - 0*n - k, 4*m + 16 = z. Solve n*f = 2 + 13 for f.
5
Let t be -3 + 6 + (-5 - -2) + 0. Solve t = -9*q - 2*q - 44 for q.
-4
Suppose 27*k + 23 - 539 = -102*k. Solve 7*t + 21 = k*t for t.
-7
Let o = -1 + 5. Suppose -h - 2*h = 2*f - o, -4 = -h + 2*f. Suppose -880 = -15*m - 205*m. Solve -h + m = g for g.
2
Suppose 3*d = 5*y + 2053 - 160, -2*y = -2*d + 1266. Solve -d = -5*c - 616 for c.
4
Let f(a) = 55*a**2 + 14*a + 33. Let n be f(-2). Suppose -11*q + n = -2*q. Solve -q = -9*p + 4*p for p.
5
Let p be ((-10)/(-6))/(-2 - 53/(-27)). Let k be 84/45 - ((-129)/p + -3). Solve -o + k*o = -3 for o.
-3
Let r(n) = -2*n**3 - 81*n**2 + 35*n - 243. Let t be r(-41). Solve -t*p + 57 = 63 for p.
-2
Let k(x) = -74*x - 521. Let f be k(-20). Solve -962*l - 15 = -f*l for l.
-5
Let z = -188 - -42. Let y = 149 + z. Solve 0*m - m = y for m.
-3
Suppose 3*z + z = 60. Suppose 5*k + 9 = -11, 4*u = k + 24. Suppose -z = -u*b + 5. Solve 1 = -c + b for c.
3
Let b(r) = 21*r**2 + 94*r - 192. Let c be b(-6). Solve 2*u - 310 + 302 = c for u.
4
Let u(l) be the first derivative of l**3 - l**2/2 - 14. Let t be u(1). Suppose t*q - 4*q + 12 = 0. Solve 0*p = 2*p + q for p.
-3
Let b = -92 + 95. Solve 24 = -b*y - 5*y for y.
-3
Suppose -65*u = 69*u - 6030. Solve -41 = 2*f - u for f.
2
Let k be (2 + -3 + 0)*7. Let q be 4 + (-39)/9 + (-80)/12. Let l = q - k. Solve l = 3*r - 4*r for r.
0
Suppose -l = -1 + 3. Let v(u) = 1. Let h(a) = 2*a - 6. Let t(k) = l*v(k) + h(k). Let c be t(6). Solve c + 0 = -r for r.
-4
Suppose 2*a + 10*a - 12 = 0. Let p(o) = -3*o**3 + o**2 + 3*o + 1. Let q be p(-1). Solve x + a = q*x for x.
1
Let o be 123/60*20/8 + (-87)/696. Solve o*t - 240 = -230 for t.
2
Let l = 19 - 17. Let k(m) = -m + 7. Let n be k(l). Suppose 0 = -3*h - 12, h + 61 = n*i - 3*h. Solve f - i = -2*f for f.
3
Let r(f) = 35*f**3 + 4 + 4*f**2 + f - 21*f**3 - 7*f - 10*f**3. Let k be r(1). Solve k*j + 12 = 12*j for j.
2
Let o(p) = -p**3 - 17*p**2 + 4. Let t be o(-17). Suppose -6*z = -t*z - 6. Let h be (-6)/(-10) + (-3)/5. Solve h - z = -3*u for u.
1
Let p = -10127 - -10189. Solve -p*c + 98*c - 180 = 0 for c.
5
Suppose -2*t - 34 = -3*z, z = -4*z - 2*t + 62. Suppose 0 = -121*q + 125*q - z. Solve 0 = l + q*l + 16 for l.
-4
Suppose 0 = -4*u + 12 + 4, -4*g - 5*u + 220 = 0. Suppose 4*r = 2*v - g, -5*v + 5*r = -127 - 8. Suppose 25*n = v*n - 20. Solve -n*w = -2*w - 9 for w.
3
Suppose -10*i + 9*i = -4. Let b be (-12)/(-9)*(14/i + -2). Suppose f = -v + 1, 0 = b*f - 5*f + v + 11. Solve -2*q - 20 = f*q for q.
-4
Let i(g) = g - 4. Let s be i(4). Suppose s = -4*a + 3*j + 29, 3*j = -5*a + 5*j + 31. Let b = -2 + 2. Solve b = -a*v + 11 - 1 for v.
2
Suppose 2*w + 7 = h + 1, 0 = 2*w + 8. Let l(j) = j**2 + 13*j + 24. Let z be l(h). Solve z*k + 15 = -3*k for k.
-3
Let y = 1239 - 1221. Solve -41*r + y*r - 161 = 0 for r.
-7
Suppose 0 = -3*h - 410 + 176. Let t be h/(-15) - (-2)/(-10). Solve -10 + 5 = -t*q for q.
1
Let u = 511 + -507. Let m be ((245/(-10))/7)/((-2)/u). Solve 0 = m*g + 30 - 9 for g.
-3
Let f = 33 - 30. Suppose -8 = c - f*t - t, 0 = 3*t - 12. Suppose -14 + c = -d. Solve b = -b - d for b.
-3
Suppose 0 = 62*t - 33*t + 61*t. Solve t = 9*h + 35*h + 220 for h.
-5
Let w be 16/(-8) + (-4)/(-1). Let p(n) = -3*n**2 - 6 + w*n - n**3 + 4 - 4. Let r be p(-4). Solve -r = -v - 4 for v.
-2
Suppose 0*o + 5 = o. Let v be (3 - 1 - 0) + 5. Let q be -8 + 2555/292 + 3/(-4). Solve q = o*b - 8 - v for b.
3
Let f(s) = s**2 + 8*s + 1. Let b(q) = q**2 - 3*q - 23. Let o be b(7). Let l be f(o). Let k be 2/12 - (-319)/l. Solve -k*g = -0*g for g.
0
Suppose -57*i + 49*i = -720. Solve 29*b + i = 47*b for b.
5
Let y(l) = -l**3 + 64*l**2 + 278*l - 406. Let k be y(68). Solve 24*s - k = 94 for s.
4
Let j(l) be the first derivative of 70*l**3/3 - 3*l**2/2 - 23. Let i be j(-1). Let o = i - 68. Solve -o*n + 9 + 6 = 0 for n.
3
Let p be ((-6)/(-15))/((-1)/(-5)). Suppose 8*i = 10*i + p. Let n be i - -3 - (-2)/2. Solve 3 = 3*c - n for c.
2
Let a(g) = 19*g**3 - g**2 + 2*g - 1. Let o be a(1). Suppose -12*m - 574 = -o*m. Suppose 0 = 6*v - m + 22. Solve 4*u = 2 + v for u.
3
Let l be 1/(1/2) + 5/5. Suppose 4*r - 2*k = 64, -4*r + l*k + 17 = -49. Suppose 11*v + 20 = r*v. Solve v*p - 4 = p for p.
1
Suppose -6*l + 7*l = -100. Let v = -94 - l. Let i be -2 - (-26)/v - 2/6. Solve i*c - 20 = -2*c for c.
5
Let p be 7 + ((-21)/(-3))/7. Let j be 15*(-3)/(-18)*p/10. Solve -3*s - j = 10 for s.
-4
Let d be (-156)/(-4)*(-4)/(8/(-2)). Solve d*g - 371 = -98 for g.
7
Suppose -369 - 4599 = -56*q - 128*q. Solve 51 - q = 8*y for y.
3
Let k = -12 + 16. Let d be k/(-18) - 325/(-45). Suppose h - d = -3. Solve -h = -3*y - y for y.
1
Let b(m) = 4*m**3 - 6*m**2 - 2*m. Let g be b(5). Let t = g - 335. Solve -t*d - 39 = -14 for d.
-5
Let r = -143 - -231. Let n = 90 - r. Solve x = -x - n for x.
-1
Let x(l) = -86 + 27 + 41 + l**2 - 8*l. Let u be x(10). Suppose 3*w + o - 28 = 0, 5*w - 39 = -u*o + 7. Solve 4*y = w - 2 for y.
2
Suppose r = 5*o + 1189, r = -r + 8. Let d = 241 + o. Solve -2*b + d = -4*b for b.
-2
Let m(t) = -3*t**3 - 86*t**2 - 69*t - 214. Let o be m(-28). Solve 605 = 65*l + o for l.
7
Let m be (-4)/3 + (-548)/(-6). Suppose -4*i = -3*i - 4*k - 30, -5*k - m = -3*i. Suppose -7*z = -z - i. Solve -z*a = 9 + 1 for a.
-2
Let b(c) = -8*c**3 + 6*c + 4. Let u be b(-2). Let i be (((-144)/u)/9)/(1/(-7)). Solve -r - i*r + 3 = 0 for r.
1
Suppose -5*o - 25542 = 28*o. Let d = o + 777. Solve 0 = -u + d*u + 2 for u.
-1
Let w be 6 + 1 + -5*(-27)/45. Solve 20 = -w*c + 90 for c.
7
Let o = 2 + 2. Suppose -1689*t = -1720*t + 806. Suppose -8 = o*z, 2*i - 3*z + 2*z = t. Solve i = v + 7 for v.
5
Suppose 0*f - 6 = -3*f. Let l be -2 + f - 0/(7 - 3). Let s = 35 + -25. Solve l*z = 2*z - s for z.
5
Suppose -24*k + 71*k + 24*k = 284. Let b = 2 + 1. Suppose -p - 2 = -0*r - r, b*r = 12. Solve -l + k = p for l.
2
Let y(f) = f**2 - 14*f + 30. Let n be y(10). Let r be 2 + n*4/(-8). Let c = r + -4. Solve 13 + c = -4*u for u.
-4
Let g be -1 - 1/(2/(-158)). Let u be (-2)/39 + (-340928)/(-4368). Let q = u - g. Solve f + f - 10 = q for f.
5
Suppose -5*u + 205 + 245 = 0. Suppose -3*v + 3*w + 53