p be 3/w*10/3. Suppose p*x = 89 + 221. Is 31 a factor of x?
True
Suppose 5*b = -2*z + 43934, 2*b - 13393 = 3*z - 79313. Is 21 a factor of z?
False
Let h = 126 - 116. Suppose h*b - 4230 + 1260 = 0. Is 11 a factor of b?
True
Suppose 40*u + 27*u - 6633 = 0. Suppose -n - 3*f = -3*n + 17, 0 = -2*n - 4*f - 4. Suppose -377 = -5*s + n*p, 0 = s - 2*p - u + 26. Is s a multiple of 11?
True
Suppose -30*x + 14*x + 32 = 0. Suppose 4*p = -5*y + 557, -2*y + 117 = x*p - 163. Is 15 a factor of p?
False
Suppose 915 = 3*i - 3*p - 567, -p = -6. Is 10 a factor of i?
True
Let t be 1233/18 - (-7)/(-2). Suppose 29*a + 7344 = t*a. Is a a multiple of 51?
True
Let y(f) = 3*f**2 - 28*f - 24. Is y(-12) a multiple of 24?
True
Let w be 0*((-4)/8)/1 + 59. Let q = -15 + w. Is 22 a factor of q?
True
Let s(i) = 2*i + 54. Let x be s(-27). Suppose x*b - 10*b = -1350. Is 3 a factor of b?
True
Suppose -j - 62177 = -3*x, -2*x + 15*j + 41434 = 10*j. Is 63 a factor of x?
True
Let s = -235 + 145. Let h = 179 + s. Is h a multiple of 20?
False
Let s be (-1)/(155/(-25) + 6). Suppose 0 = -s*y - 4*q + 11960, 0 = y + 4*q - 2382 + 6. Is 29 a factor of y?
False
Suppose -14354 = -2*i - 4*u + 11756, 7 = u. Is 27 a factor of i?
True
Let k(c) = 206*c**3 - 66*c + 155. Is 16 a factor of k(5)?
False
Let c = -109 - -93. Let y be ((-79)/4 - -3)/(2/c). Let h = -101 + y. Is 2 a factor of h?
False
Suppose 0 = -2*r - 4, -16 = -4*q + 4*r. Suppose 4*b + 5 = 4*o + b, -q*b = -2. Is 32 a factor of o + ((-20)/(-15))/(4/186)?
True
Suppose 5*m + 37 = -2*l, 38 = -5*m - 7*l + 4*l. Let y(s) = -s**2 - s - 3. Let x be y(-3). Does 35 divide (x - -14)*m/(-1)?
True
Let b(g) be the third derivative of -g**5/30 - g**4/4 + 2*g**3/3 - 14*g**2. Let l be b(-3). Does 18 divide ((-2)/3)/(l/(-150))?
False
Suppose h = -3*b - 232, 5*b - h = h - 394. Let i = b + 116. Let q = i + -14. Is 8 a factor of q?
True
Let j be (-6)/9*(-18)/4. Suppose -5*k = -j*d + 1196, -d + 5*k = d - 789. Does 25 divide d?
False
Let b be -3 - -24*6/9. Suppose o = -b*o + 14112. Is 21 a factor of o?
True
Let d(f) = 238*f**2 - 87*f - 254. Is d(-3) a multiple of 44?
False
Let u(l) = l + 72. Suppose -28 + 112 = 4*z - 2*h, -5*z + 4*h + 102 = 0. Does 14 divide u(z)?
False
Let o = 3063 + 16333. Is o a multiple of 13?
True
Let b(d) = 2*d**3 + 6*d**2 - 12*d - 4. Suppose 3*n + 1 + 4 = 2*j, n + 30 = -5*j. Let w be b(n). Is 7 a factor of (-1082)/(-22) + w/242?
True
Suppose 4*y = 5*l - 6*l + 11262, 4*y = l + 11274. Is 198 a factor of y?
False
Suppose 5 + 7 = 4*q. Suppose -14*w = -45*w + 23*w + 624. Suppose 4*s + p + 4*p = 102, -q*p = 3*s - w. Is s a multiple of 28?
True
Suppose 3*u + 97 = -5*o + 145, -o + 4*u = -28. Suppose 3*f = o, -1721 = -3*l - 11*f + 6*f. Does 27 divide l?
True
Let z(d) be the third derivative of 0*d - 19*d**2 - 13/6*d**3 + 107/24*d**4 + 0. Is 36 a factor of z(3)?
False
Let y = -85 + 100. Let o(g) = 9*g + 57. Is 26 a factor of o(y)?
False
Suppose -4*p + 3*g = -5*p + 334, -5*g = 0. Is p even?
True
Let y(d) = d**3 - 44*d**2 + d - 180. Is y(45) a multiple of 15?
True
Let u(p) = -p**3 - 6*p**2 - 7*p - 8. Let z be u(-5). Let j(h) = -3*h + 39. Let f be j(0). Suppose z*o = f + 13. Is 19 a factor of o?
False
Let f = 285 + -242. Let x = 23 + f. Is x a multiple of 22?
True
Suppose 0 = -5*p + 20, -2*c + 4*c + 4*p = 3954. Suppose -4*w = 4*r - 2096, 5*r + 3*w = c + 661. Is r a multiple of 85?
False
Let s = 1392 - 1238. Does 7 divide s?
True
Does 48 divide -9 + (-60102)/(-24) + (-48)/(-64)?
True
Suppose 5*f - 7*f + 42 = 0. Suppose -f = l - 102. Let g = l - -109. Is g a multiple of 38?
True
Let r = 10981 - 4339. Is 16 a factor of r?
False
Let l = -178 + 178. Suppose l*o + 14*o - 3108 = 0. Is o a multiple of 22?
False
Let j be (-114)/(-54) - (-1)/(-9). Suppose 4*f + j*f = -24. Is (-1)/(970/(-242) - f) a multiple of 29?
False
Let t(g) = 145*g + 1. Let p be t(2). Suppose -14*m - p + 12387 = 0. Is m a multiple of 16?
True
Suppose 193643 = -22*j + 571801. Does 59 divide j?
False
Let k(a) = -a**3 + 10*a**2 - 10*a + 4. Let t be k(7). Let v = 37 - t. Let i = -4 - v. Does 40 divide i?
True
Suppose 9587 + 67078 = 15*x. Is 29 a factor of x?
False
Suppose -11 = -3*a + o, 8 = 3*a + a + 2*o. Suppose -a*j + 5*j - j = 0. Does 13 divide j - 27/9*142/(-3)?
False
Suppose -5*g = -3*h + 360, -h - h + 65 = -g. Let c be (-6 + (-105)/(-25))*-25. Let t = c - g. Is 30 a factor of t?
True
Let k(l) = l**3 - 9*l**2 - 38*l + 346. Is k(11) a multiple of 2?
True
Suppose 2 = g, -3*a + 140 - 48 = -5*g. Suppose -2*q + a = -2*p, 10 - 1 = 3*p. Suppose 15*y + 1080 = q*y. Is 38 a factor of y?
False
Let a(v) = v**3 - 9*v**2 + 5*v + 26. Let y be a(8). Suppose o = -5*x + 11, o = 4*x - 6*x + y. Suppose -3*h + 462 = 3*b, 7*h - x*h - 2*b = 592. Does 25 divide h?
True
Let d be (-6530)/14 - -2 - 48/(-112). Is 16 a factor of (-22)/(-33) + d/(-6) + 2?
True
Suppose -3*h - 165 = -8*h + 5*z, 0 = h + 2*z - 18. Let b = h + -26. Suppose b*v = -5*v + 105. Is 2 a factor of v?
False
Let s be -7 - -12 - (0 + 3). Suppose -4*f + 3277 = -v, 0 = 5*f + s*v - 1252 - 2841. Does 7 divide f?
True
Let l(r) = -r**3 + 18*r**2 - 16*r - 16. Let w(x) = 2*x**3 - 37*x**2 + 33*x + 30. Let f(i) = -7*l(i) - 3*w(i). Is f(16) a multiple of 8?
False
Suppose 5*c = -4*u + 59945, -6*u = 5*c - 41194 - 18761. Does 51 divide c?
True
Suppose -5*x = p + 2533, -3*p + 1003 = -2*x - 0*p. Let v = -334 - x. Is v a multiple of 10?
False
Let g = 21925 - 11172. Is g a multiple of 93?
False
Is 20 a factor of -6 + (-5 - -2) + 187509/21?
True
Let h(y) = -17*y + 18. Let r be -1*6*((-25)/5 - -6). Does 20 divide h(r)?
True
Let r = 548 + 49. Suppose -25 = 5*i, 5*k - 688 - r = 4*i. Does 23 divide k?
True
Suppose -4*q = 42*i - 41*i - 1951, -2*i + 3927 = 3*q. Is 72 a factor of i?
False
Let a be -2*((-3)/(-2) + -4) - 5. Suppose 14*q - q - 598 = a. Does 41 divide q?
False
Suppose -2*k + 10*z - 5*z = 15, -6 = 5*k - 2*z. Suppose k*y - 5*y = -3480. Is y a multiple of 8?
True
Suppose -v = 2*n - 981, 0 = 2*n + 3*n - v - 2463. Suppose -85 - 818 = 3*s. Let k = s + n. Is 34 a factor of k?
False
Let v(k) = 32*k - 95. Let m = -384 - -392. Is v(m) a multiple of 18?
False
Suppose -5*c - 5*l = -0*l - 45, l + 7 = c. Let a be (-3 - -1)/(0 - -1). Is 1032/c - (a - -1) a multiple of 13?
True
Let p(n) = 5*n**3 - 9*n**2 - 4*n + 48. Let r = -528 - -534. Is p(r) a multiple of 30?
True
Suppose -5*b + 11 + 9 = 0, -3*b + 57 = -5*o. Is 12 a factor of 9/((-6813)/(-756) + o)?
True
Let k(n) be the third derivative of -n**6/120 + 11*n**5/30 + 7*n**4/24 - 16*n**3/3 + 12*n**2. Suppose -4 - 6 = 2*m, -4*m - 130 = -5*j. Is k(j) a multiple of 17?
False
Let r be ((-1)/(-3))/((29 - 17)/180). Suppose 958 = g + r*a, -29*g + a = -32*g + 2832. Is 23 a factor of g?
True
Suppose -644*i - 65670 = -647*i + 3*l, 3*l + 109438 = 5*i. Is i a multiple of 13?
False
Let p(x) = -2*x**3 - 70*x**2 - 4*x - 138. Let l be p(-35). Suppose -l*r + 7*r = 5*d + 5745, -6 = -2*d. Is r a multiple of 72?
True
Suppose -2*t + 2 = 2. Suppose t = -14*v + 1275 - 71. Is v even?
True
Suppose -156*p + 149*p = -5579. Let s = p - 489. Is s a multiple of 21?
False
Suppose 3*x = -6*x + 2259. Let t = 479 - x. Does 16 divide t?
False
Suppose 0 = -o + 1, -293 = 2*s + o - 970. Is s - (1 - 3/1) a multiple of 34?
True
Suppose -2*x - 10 = -5*z - 8, 0 = 3*x - 3*z + 12. Let j(a) = 17*a**2 + 3*a - 3. Let i be j(2). Let q = x + i. Is 11 a factor of q?
False
Let f = 923 - 885. Suppose 2*j + 60 + f = a, 0 = 4*a - 5*j - 380. Does 18 divide a?
True
Let s be (-7)/4 - 84/(-48). Suppose s = -37*x + 29*x + 5392. Does 14 divide x?
False
Let h be (-6)/(-312)*8 - 308/(-26). Let d(t) = -4*t + 91. Is 4 a factor of d(h)?
False
Let x(p) = 6*p + 45*p**2 + 8 + 52*p**2 + 62*p**2 + 73*p**2. Does 40 divide x(-1)?
False
Suppose -130*q = -40*q - 798120. Is 100 a factor of q?
False
Let v(g) = -3*g + 27. Let w be v(12). Let t be w/(-2) + (-3)/6. Is 1/t - (-1180)/16 a multiple of 15?
False
Suppose -3*q - 4*v + 1409 = 0, 0 = -6*q + 2*q + v + 1904. Is 16 a factor of q?
False
Suppose -3*l = -5*j - 14970, -47*j = l - 49*j - 4992. Does 249 divide l?
True
Let y be (-36)/18 + 3*11. Suppose -2*v = -1 + y. Is 20 a factor of -170*(v/(-6) + -3)?
False
Let i = -539 - -359. Let r = 285 + i. Does 30 divide r?
False
Let a(w) = w**2 + w + 16. Is 13 a factor of a(-21)?
False
Let l be (-2)/(-6)*(2 + 18