 Does 10 divide m?
False
Let s(o) = -14*o + 127 - 243 + 121. Does 36 divide s(-3)?
False
Suppose -215*w - 418593 + 2536988 = 0. Is w a multiple of 43?
False
Suppose 292*b = 295*b - 432. Suppose 6*u - 1536 = b. Is 28 a factor of u?
True
Let d be (-1196)/24 - (52/24 + -2). Let q be 880/d - 2/5. Does 15 divide (-1 + 3)*(-387)/q?
False
Let y(k) = 2*k - 6. Let p be y(15). Suppose -20*l - 568 = -p*l. Suppose -51 = c - l. Does 13 divide c?
True
Suppose 27 - 27 = -5*k. Suppose y - 11 = -3*d, -6*y + d + 5 = -2*y. Suppose -y*q + 5*q = j - 75, -4*q + 12 = k. Is j a multiple of 21?
True
Suppose -19 = d - 27. Suppose -d*t = -t - 5537. Is 10 a factor of t?
False
Let j(b) = b**2 - 7*b + 7. Let h be j(7). Suppose -h = 3*u + 29. Let g(p) = -p**3 - 11*p**2 - 14. Is g(u) a multiple of 26?
True
Suppose -390*f = -387*f - 12, -3*f - 33800 = -4*j. Is j a multiple of 12?
False
Let c(i) = 122*i**2 + 12*i - 15. Let r be c(5). Suppose -3*u + h + 3*h + 1855 = 0, -r = -5*u + 5*h. Is 53 a factor of u?
False
Suppose 4*l - 3*r = 2, -2*r + 0*r = -l - 2. Suppose 0 = l*k - 6*k + 348. Let y = k - 42. Is 15 a factor of y?
True
Let a be 120/90*(-9)/2. Is 26 a factor of 15/a - (-1146)/4?
False
Suppose 3*w = -4*z + 10, 3*z + 0*w - 8 = -2*w. Suppose z*k + 8 = 6*k. Let n(c) = 14*c - 8. Does 16 divide n(k)?
True
Is 2/((-12)/((-64008)/(-759)) + 1/7) a multiple of 127?
True
Let r(o) = -2*o**3 - 14*o**2 - 2*o - 7. Let t be r(-7). Let u be (2 - 12/7) + 26/t. Suppose 4*x - v = 23, -4*x + u*v = v - 13. Is x a multiple of 7?
True
Suppose -n = 2*c + 12, 18 = 4*c - 7*c + 2*n. Is 15 a factor of (-1)/4*c*(-1640)/(-15)?
False
Let y(a) be the second derivative of -a**5/20 + 5*a**4/12 + 4*a**3/3 - 5*a**2 + 31*a. Does 14 divide y(4)?
False
Suppose -2*p + 706 = p + h, -3*h + 246 = p. Is p a multiple of 9?
True
Let c be (-63)/(-12) + (-25)/20. Suppose 96 = 2*n - c*h, 3*h - 52 = -n + h. Does 39 divide n?
False
Let u = 1874 - -7531. Does 69 divide u?
False
Is (92/(-6))/(-4*5/1260) a multiple of 161?
True
Suppose -3*j = -q - 227, 2*q = -3*j - 2*j + 360. Suppose -j*d = -66*d - 784. Is 25 a factor of d?
False
Let g = -121 - -109. Is 18 a factor of 16/(22/72 + 3/g)?
True
Does 16 divide ((-689)/52)/(6 + (-1325)/220)?
False
Is 19 a factor of (198 + 5)/((-1)/(-4)) - -5?
True
Let i(u) = -2*u**3 + 18*u**2 - 16*u + 21. Let a be i(8). Suppose -a*y = -22*y + 64. Is y a multiple of 4?
True
Suppose 2594*c - 2566*c = 418404. Is 63 a factor of c?
False
Let m(x) = 117*x**3 + x + 115*x**3 + 5*x**2 + 4 - 152*x**3 - 8*x. Is m(2) a multiple of 26?
True
Suppose 532 + 698 = -41*o. Suppose -3*w = -4*w - 9. Is (o/w)/((-16)/(-456)) a multiple of 34?
False
Suppose -31846 = -50*l + 1171904. Is 29 a factor of l?
False
Let b = -2359 - -27285. Does 22 divide b?
True
Let j(f) = -f**3 - 6*f**2 + 2*f + 7. Let v(l) = -l**3 + 7*l**2 - 7. Let t = -38 + 45. Let c be v(t). Is j(c) a multiple of 21?
True
Suppose 239 = -8*z + 839. Suppose z*s = 58*s + 7293. Is s a multiple of 33?
True
Let j be (49/7 - 7) + (1 - 7). Let h(z) = -12. Let a(r) = -r + 11. Let n(u) = j*h(u) - 4*a(u). Does 15 divide n(14)?
False
Let a(n) = n**2 + 11*n - 20. Let m be a(-14). Suppose 0 = m*v - 19*v - 810. Is 15 a factor of v?
True
Let q = -472 + -15. Is 46 a factor of q*(0 + (-4)/4)?
False
Suppose 2*g + 5*p - 7*p - 23208 = 0, -14*g = 3*p - 162558. Is g a multiple of 30?
True
Let v be 12/(1 + (-105)/114). Suppose 14*a = 6*a + v. Is 5 a factor of a?
False
Let q = 27 - 56. Let i = q - -40. Suppose 2*l - 2*u - 20 = 0, -u + 29 = 4*l - i. Does 2 divide l?
True
Suppose 7*l - 12*l = -4399 - 956. Is 63 a factor of l?
True
Let w be 3*(-20)/(-12) - -518. Suppose s - w = 185. Is 31 a factor of s?
False
Let b(d) = -d**3 + 25*d**2 - 2*d + 25. Let c be b(25). Does 3 divide c*((-6)/6 + 0)?
False
Let v(y) = 3*y**3 - 53*y**2 + 786*y + 10. Is 13 a factor of v(12)?
True
Let s = 3961 - 2899. Does 130 divide s?
False
Suppose -5*m + 14901 = -d - 83795, -d + 19744 = m. Is m a multiple of 8?
False
Suppose 10*r = 11*r - 48. Let i = r - 40. Does 17 divide 1*23/2*i?
False
Suppose 173102 = 68*v - 2493 - 98173. Is v a multiple of 22?
True
Let l(q) = -5*q - 19. Let s(y) be the third derivative of y**4/4 + 10*y**3/3 + 25*y**2. Let n(m) = -5*l(m) - 4*s(m). Is 5 a factor of n(-5)?
True
Let h be 1*-1 + (-4 - -2). Suppose -g - d + 26 - 37 = 0, 0 = 3*g + 5*d + 39. Is (19/2)/((h + 2)/g) a multiple of 19?
True
Suppose -20 = 4*i, -24*y + 2002 = -23*y - 2*i. Suppose 13*k - 8*k = -g + y, -2*k - 4*g = -786. Is 8 a factor of k?
False
Suppose -520281 = -131*n - 108168 + 175160. Is 84 a factor of n?
False
Suppose 9312 = 4*q + 438*s - 441*s, 5*q - 11640 = -3*s. Is 39 a factor of q?
False
Is 3 a factor of 2/(-14) - (46161/(-21) + (-135)/(-15))?
False
Let t = -8106 - -9921. Does 15 divide t?
True
Suppose 0 = -n - 0*n + 3. Suppose h + y = 4, -3*y - n = h - 13. Is 12 a factor of (8/h - -2)*6?
True
Let v(m) = m**3 + 4*m**2 - 5*m - 16. Let l be v(-2). Suppose 5*c = 10, -3*d + 477 = -l*c - 2819. Is 50 a factor of d?
True
Let b(k) = -k**2 - 4*k + 35. Let i be b(-8). Suppose 2*j = 5*d - 432, 3*d + i*j = 7*j + 248. Is 22 a factor of d?
True
Is (-1392)/10*((-113)/2 + -11) a multiple of 87?
True
Let z(c) = 126*c + 518. Let f be z(-5). Suppose -5*q = -5*y + 925, y + 35 = -4*q - 695. Let h = f - q. Does 17 divide h?
False
Suppose 4347*r - 4322*r - 26900 = 0. Does 3 divide r?
False
Suppose p - 8*p = -2667. Suppose 302 = 4*z + h, -h = -5*z - 4*h + p. Suppose 7*n + z = 691. Is 8 a factor of n?
True
Suppose -4*l = -f - 9, 0 = -5*l - 1 + 6. Is 37 a factor of (f + (-25)/(-4) - 2)*-888?
True
Let t be (-6)/4 + (-52)/(-8). Suppose 21 = t*n + 3*q, 4*q = n - 3*n + 14. Suppose 20 = n*s + 5. Is 2 a factor of s?
False
Let g = 304 - 306. Let t(x) = -23*x**3 + x**2 - 19*x - 35. Is t(g) a multiple of 15?
False
Let f(x) = 3 + 16*x + 4 - 104*x + 2. Is f(-3) a multiple of 21?
True
Let o(s) = 14*s. Let y be o(-1). Let q = 342 + y. Suppose 122 = 2*x - 5*j, q = 5*x + 3*j - 4*j. Is 11 a factor of x?
True
Suppose -q = -3*u + 448, -q + 4*q + 594 = 4*u. Suppose 2*p + u = a - 439, -4*a = -4*p - 2376. Does 35 divide a?
False
Let v(p) be the third derivative of -3/2*p**3 + 0 + 1/30*p**5 + 0*p**4 + 0*p + 15*p**2. Does 23 divide v(-4)?
True
Suppose -2 + 2 = 6*p. Suppose -2*n + 3*s = -133, 180 = 3*n - 0*s + 2*s. Suppose 3*l + 6*t - 2*t - 54 = p, 4*l - n = -2*t. Is l a multiple of 10?
False
Suppose 116935 = 3*a - 5*j, -7*a - j = -12*a + 194855. Is 155 a factor of a?
False
Suppose -4*a + 9476 = 4*y, 0 = y - 84*a + 86*a - 2372. Is 39 a factor of y?
False
Suppose 4*r - 56028 = -4*c, 91541 = 5*c + 3*r + 21508. Is c a multiple of 94?
True
Let i(p) = 4*p - 117. Let a be i(0). Let m = a + 161. Does 3 divide m?
False
Let i = -2066 - -16203. Is i a multiple of 119?
False
Does 13 divide 5/4 + 1570905/1260?
True
Is 161 a factor of -1 + (9172 - 0 - (-7 - -1))?
True
Let t(u) = u**2 - u + 10. Suppose 77 + 91 = -3*o. Let n = o + 56. Is 4 a factor of t(n)?
False
Suppose 6*b + 2*b - 16 = 0. Is 5 a factor of (40/(-1))/((-1)/b)?
True
Suppose -1154 = 474*o - 476*o + 2*c, -5*o - 4*c + 2948 = 0. Is 4 a factor of o?
True
Let p(c) = -110*c + 172. Let n(y) = 164*y - 258. Let b(l) = 5*n(l) + 7*p(l). Is 6 a factor of b(3)?
False
Does 64 divide (-11)/22*16 + 6024?
True
Let p(n) = 2*n**3 + 10*n**2 + 3*n + 11. Let d(o) = o**3 + 5*o**2 + o + 6. Let q(v) = -7*d(v) + 4*p(v). Let g be 6/12*-6*(-1)/(-1). Is 3 a factor of q(g)?
False
Suppose 10*t - 1296 = -2*t. Suppose f - 17 = t. Is 25 a factor of f?
True
Let b(f) = f**2 + f + 6. Let x(l) = 6*l**2 - 24*l - 7. Let j be x(5). Suppose 12 = -5*p - j. Is b(p) a multiple of 8?
True
Suppose 3371 = d - y, -119*d = -120*d + 4*y + 3386. Is d a multiple of 102?
True
Suppose -11*z + 7*z + 27044 = q, -2*q = -5*z + 33792. Is 169 a factor of z?
True
Let p be ((-1)/2)/(3/12). Let y = p + 7. Is 2 a factor of 5/10*(y - 1)?
True
Let t(q) = -q**3 + 12*q**2 + 28*q + 3. Let j be t(14). Suppose 0 = -5*z - 3*v + 230, -j*z + 2*v + 45 = -112. Does 5 divide z?
False
Let v(j) = j**3 - j**2 - j - 67. Let o be v(0). Let x be ((6/(-5))/(-2))/((-1)/185). Let g = o - x. Is g a multiple of 8?
False
Suppose 3*g + 3*i = 14256, g + 20*i - 23*i - 4728 = 0. Is 118 a factor of g?
False
Suppose -4*w + 12*a - 17*a = -730, 0 = w - 4*a - 172. Is w a multiple of 5?
True
Let c(n) be the 