34) + f/(-4)?
False
Let d be ((-1345)/3 + 3)*(-36)/24. Suppose -5*p = -4*j + 2381, j + 70 = 4*p + d. Is 18 a factor of j?
True
Suppose 7*x = 4*x + 27. Let p be 3239/79 + (-8 - 1) + 0. Suppose -p = 7*h - x*h. Is h a multiple of 16?
True
Let w be 2 - (-585)/12 - 2/(-8). Is 2 a factor of 6 + 17/(w/108)?
True
Let k(l) = 15*l - 345. Let s be k(23). Suppose s = 62*c - 23*c - 21528. Is 12 a factor of c?
True
Let l(s) = -2*s - 15. Let z(f) = f**3 + 28*f**2 + 26*f + 41. Let b be z(-27). Suppose 13*j + b = -88. Is 6 a factor of l(j)?
False
Let n(q) = 15 - 7*q**3 - 5*q**2 - 6 + 34*q**2 + 5 + 32*q + 4*q**3. Is n(10) a multiple of 3?
True
Suppose -2*x - 2*a - 13 = 3*a, -3*x - 7 = 5*a. Suppose 2*u = 3*l - 642, x*u - 10*u = -5*l + 1070. Does 7 divide l?
False
Let s(l) = l**3 - 8*l**2 - 3*l + 25. Let x be s(8). Is -9 - (-831 - -7) - -1*x a multiple of 34?
True
Does 43 divide -8 - 517/(((-99)/(-72))/(-11))?
True
Let b(p) = -p**3 - 17*p**2 + 11. Let q be b(-17). Suppose 5*l = -0*k - 5*k + 25, -k + q = 2*l. Let v(w) = -w**3 + 6*w**2 + 17. Does 4 divide v(l)?
False
Let g = 231 - 103. Suppose -5*q - 62 + 24 = 2*n, 0 = 4*n - 3*q + g. Let j = n - -74. Does 19 divide j?
False
Let b = -25273 + 28402. Is b a multiple of 10?
False
Let u(b) = 47*b**2 - 10*b - 515. Is u(-24) a multiple of 98?
False
Suppose -4*a - 18 = -5*a + 2*s, -4*a + 72 = 5*s. Let x(t) = 12*t - 136. Is 2 a factor of x(a)?
True
Suppose -4*c = 9 - 5. Suppose a = 24 - 12. Does 16 divide (a/(-30)*-1)/(c/(-240))?
True
Let l be 154/42 - ((-2)/(-3) - 1). Suppose -l*i = -i - 285. Is 19 a factor of i?
True
Suppose 3*b = -3*i - 3027, 5*i - 2*b = 3*i - 2038. Let q = i + 1546. Is q a multiple of 28?
True
Let u(b) = 6*b - 52. Let x be u(9). Suppose -365 = -x*c + 3*g - 0*g, 554 = 3*c + 2*g. Does 8 divide c?
True
Suppose 0 = 13*u - 56818 + 14477. Suppose 3*k - 904 = u. Is 19 a factor of k?
True
Let h = 688 - 405. Suppose r - h = -63. Is 20 a factor of r?
True
Let i(p) = 36*p + 39 + 191*p + 31 - 74. Let o be i(3). Suppose -5*t + 438 = -o. Does 11 divide t?
False
Let h(y) = -y**3 + 3*y**2 + 1. Let b be h(2). Suppose b*s + 16 = 3*s. Let a(o) = -o**2 - 15*o + 6. Is 22 a factor of a(s)?
False
Suppose 0 = 62*y - 20*y - 158424. Does 76 divide y?
False
Let s(j) = -3*j + 7. Let f be s(-1). Is 17 a factor of 1*206*(f + -9)?
False
Let s(g) be the first derivative of 40*g**3/3 + 11*g**2/2 + 34*g - 160. Does 49 divide s(-5)?
False
Let m = -442 - -252. Let g = 289 + m. Does 4 divide g?
False
Suppose -3*t + 18 = -u, -2*t - 5*u = -3*u - 20. Let n be 1520/6 + (-3)/9. Suppose -t*d = -n - 41. Does 21 divide d?
True
Suppose -11652 = -2*c - 5*l - 2522, 0 = -c - 3*l + 4566. Is 19 a factor of c?
True
Suppose 3*x = -x - 2*x. Suppose -4*m - 1 + 9 = x, 455 = 5*a - 5*m. Does 16 divide a?
False
Suppose 7*m - 2395 - 797 = 0. Does 9 divide m?
False
Let x(s) = -70*s**3 - 11*s**2 - 4*s + 2. Let b be x(-4). Suppose 5*w + 11*n = 7*n + 5404, -4*w = 2*n - b. Is w a multiple of 45?
True
Let p be (-18)/72 - (-4)/((-16)/(-17)). Suppose p*r - 14*r = -6240. Does 18 divide r?
False
Suppose -5*t + 31 = 3*x, -5*t - x = 4 - 31. Let f be 20/9 - 2/9. Suppose 0 = t*y + h - 734, -f*y - 8 = -5*h - 280. Does 9 divide y?
False
Let z be (45/18)/(-2*(-3)/12). Suppose -2*j + 628 = z*s - 3*s, 4*j = 8. Suppose 3 + 1 = -c, 2*a - s = 2*c. Does 19 divide a?
True
Let d be 6/6 - (-8 - 7). Suppose -295 + 7335 = d*r. Is r a multiple of 22?
True
Let i = -122 + 126. Suppose 3*d = o + 79, -i*d + 8 + 102 = o. Is 292/18 + 0 + (-6)/d a multiple of 4?
True
Let d = 556 + 11311. Does 15 divide d?
False
Let i = 21783 + -8267. Is i a multiple of 109?
True
Suppose 4*r - 5*x = 14 + 21, -15 = 5*x. Does 2 divide (r/(-4) - 1)/((-7)/56)?
True
Let j(y) = -y**2 - 16*y - 46. Let r be j(-12). Let d(q) = 1 + 3*q**r + 10 - 4*q + 5 - 2*q. Is d(5) a multiple of 21?
False
Suppose 0 = 45*z - 42*z - 120. Let x = z + 76. Is 29 a factor of 2*-3*1*x/(-24)?
True
Does 6 divide (-8)/(-18) - (-67692)/(-108)*-2?
True
Let s(c) = -c**2 + 12*c + 87. Let g be s(-5). Suppose 2*w = -5*y + 397, 4*w - g*y - 758 = -0*w. Is w a multiple of 4?
False
Let d be (25/(-20))/(2/(-16)). Suppose -68 + 188 = -d*x. Is (-1)/((-1)/x*(-1)/5) a multiple of 15?
True
Let k = 53827 - 24688. Is k a multiple of 275?
False
Suppose -12*s = s - 26. Let y be (2 - 2)*(1 - 0). Suppose y = s*m + 4 - 128. Is m a multiple of 18?
False
Let x(p) = 12*p - 34. Let y be x(3). Suppose q - 3*q = y, k - 391 = -q. Does 7 divide k?
True
Suppose 53*o + 18 = 59*o. Does 13 divide 3474/(3 - -3)*2/o?
False
Suppose 21*i - 22338 = -2*i + 5*i. Is 13 a factor of i?
False
Let g = 55332 + -5310. Is 53 a factor of g?
False
Let w = 740 + -189. Suppose 8*s - w = 889. Is 14 a factor of s?
False
Suppose 3*s = 451 + 1709. Let i(y) = -y**3 + 74*y**2 + 839*y - 7. Let z be i(-10). Suppose 8*n = z*n + s. Does 6 divide n?
True
Let g(f) = -7 - 5*f - 13 - 4 + 18*f**2. Does 15 divide g(-3)?
False
Let r be 10/(-4)*(-228)/95. Let v be 14/(-4*3/r). Let j(u) = -3*u + 25. Does 23 divide j(v)?
True
Let x(q) = -8*q + 48. Let b(a) = 7*a - 49. Let f(i) = 2*b(i) + 3*x(i). Let k be f(-21). Suppose 3*n - 9 = 4*w - k, 4*w - n = 253. Is w a multiple of 16?
True
Let u(r) = -505*r - 309. Does 33 divide u(-37)?
False
Suppose -2*p + 35 = 4*g - 109, g = -p + 71. Suppose -2*m = -392 - p. Is m a multiple of 11?
True
Suppose -5*h - d = 9, 127*d - 123*d + 16 = 0. Is 9 a factor of (-4)/6 - ((-2062)/6 + h)?
False
Let c(a) = a**2 + a + 80. Let v(s) = -s**3 - 15*s**2 - s - 15. Let u be 2*10/(-4) + -10. Let r be v(u). Is 8 a factor of c(r)?
True
Let w = -20 - 136. Let c = -111 - w. Suppose -c = -2*k + 3*n, 7*k - 4*k + 5*n - 77 = 0. Does 4 divide k?
True
Let y = -325 - -329. Is -322*(1 + (-1)/y*6) a multiple of 23?
True
Is 166 a factor of (2068/(-376))/((-1)/558)?
False
Suppose 4*w - 6*w - 2*t = 53054, -53047 = 2*w - 5*t. Is 26 a factor of w/(-51) + (-6)/51?
True
Let u(l) = -2*l - 23. Let d(c) = c**2 - 28*c + 65. Let g be d(19). Let x = g - -93. Does 3 divide u(x)?
True
Let f = -4 + 16. Suppose -6*j = -30 - f. Is 3 a factor of j?
False
Is 72 a factor of (-4)/((350/(-151635))/35)?
False
Suppose -3*t + 491 = 95. Let s = t - 197. Let q = -50 - s. Does 3 divide q?
True
Let w = -38078 + 53333. Is w a multiple of 15?
True
Let b be (-1630)/30 - (-2)/6. Is 25 a factor of ((-51)/(-2))/1*(b + 58)?
False
Is 11 a factor of (8/(-12))/(2/8808*-1)?
False
Suppose -5*m + u + 11966 = 2*u, 0 = 3*m - 2*u - 7190. Suppose -23*y = -14*y - m. Let x = y - 146. Is x a multiple of 15?
True
Is (-230804)/(-70) + 14/(-70) a multiple of 12?
False
Suppose -11*d + 7*d - 4*f = 24, -4*d + f - 34 = 0. Is 29 a factor of ((-164)/d + -6)/(2/12)?
True
Let a = 69 + -70. Let h be ((-3)/(-2))/(a/(-6)). Suppose 4*o + 150 = h*o. Is o a multiple of 21?
False
Let h be (2 - (-7)/(-3))*-15. Suppose -2*b = -q + 3, -2*b - 6 = -2*q + 3*b. Suppose -3*o + h*y - 67 = -6*o, q*o - 75 = 3*y. Is 24 a factor of o?
True
Let w(v) = -2*v**3 - 2 + 2*v + 3*v**3 + 0 + 26 - 14*v**2. Let r be w(14). Let t = 97 - r. Does 9 divide t?
True
Let n(v) = 2*v**3 - 100*v**2 + 37*v + 1678. Does 18 divide n(52)?
True
Let w = -61 - -894. Is 5 a factor of w?
False
Let w(g) = g**3 + 6*g**2 - 9*g + 1. Let v be w(-7). Let y(i) = 4*i + 7*i + v - 2*i - 14*i. Does 12 divide y(-9)?
True
Suppose 5*f - 7 = 4*f. Let d(x) = -x + 11. Let w be d(f). Suppose -q - 10 = -5*b, -b + 37 - 14 = w*q. Is 5 a factor of q?
True
Suppose -5*n - 2552 = 2*r + 12903, 2*n + 10 = 0. Is r/(-10) + (-1)/(-2) a multiple of 28?
False
Let b(t) = t**2 + 29*t - 99. Let q be b(-32). Is -1 + 3 + 1592/(5 - q) a multiple of 10?
False
Suppose -2*t - 1523 = -4*w + 2321, 0 = -2*w - 5*t + 1910. Is 40 a factor of w?
True
Let w = 13 + 24. Suppose -z - 200 = 4*i, w = -2*i + z - 57. Is 7 a factor of ((-36)/(-21))/((-2)/i)?
True
Suppose 55*h - 22473 = 88*h. Let w = h + 1104. Does 23 divide w?
False
Let v(q) = 23*q**3 - 8*q**2 + 20*q - 42. Is v(6) a multiple of 26?
True
Suppose 3*a + 9*i - 545 = 4*i, 4*i = -a + 184. Is 94 a factor of 9/a*10 + 2443/2?
True
Suppose 4*s = -3*m + 188, -5*m - 3*s + 304 = -s. Does 15 divide m?
True
Suppose 30*w = 8947 + 9053. Does 5 divide w?
True
Suppose 3*k + 4506 = -946 + 41143. Is 26 a factor of k?
False
Let m = 194 + -121. Suppose m*x = 69*x + 1232. Does 22 divide x?
True
Let h be (20 - 19)*1096/2. Suppose 0 =