y - 10684, 1097 - 5357 = -4*l + 5*y. Is 10 a factor of l?
True
Is 5 + (12/27 - (-64830)/54) a multiple of 9?
True
Suppose 0 = -17*s + 26*s - 45036. Does 19 divide ((-16)/2)/(s/456 - 11)?
True
Let z = 15 + -55. Let c be 10*1*z/(-50). Is 12 a factor of (3*65)/(12/c) + -2?
False
Let s = 22398 - 12423. Is s a multiple of 57?
True
Let f(j) = -j**2 - 5*j + 2. Let r be f(-5). Let t be 8/(-8)*5 + -1 + 6. Suppose t = 6*y - r*y - 252. Is y a multiple of 21?
True
Suppose 614 = 4*n + 5*l, 4*l - 14*l = -n + 131. Let g be 1/1 + 85 + 1. Suppose n + g = 7*x. Is 4 a factor of x?
False
Let m(f) = -2*f**3 - 9*f**2 + 6*f - 22. Let g be (-17)/(68/24) + -2. Is 14 a factor of m(g)?
True
Suppose -8*a + 38 = -874. Suppose a = r + 2*y, -y = -3*r + 387 - 66. Is r even?
True
Suppose 58*d = 16*d + 26838. Let t = 780 - d. Is t even?
False
Let f = -2041 + 7484. Suppose 0 = -14*d + 9551 + f. Is d a multiple of 47?
False
Suppose -34 = 4*h - 2*u, -3*u + 17 = 3*h + 47. Let l(t) = t**3 + 7*t**2 - 18*t + 1. Let r be l(h). Is 32 a factor of r*(3921/51 + 4/34)?
False
Let d(h) = -156*h - 288. Is d(-21) a multiple of 9?
True
Suppose a = 5*t - 49834, 4*t - 64*a + 61*a = 39876. Does 26 divide t?
False
Suppose -517 = -3*i - 4*c, -3*i - c + 0*c = -505. Suppose 0 = u + i - 1710. Is 42 a factor of u?
False
Let g = 7228 + -6279. Does 73 divide g?
True
Let q(s) = s**2 + 17*s - 34. Let k be q(-16). Suppose 775 = 12*i + 91. Let r = k + i. Is r a multiple of 7?
True
Let m(a) = 91*a**3 + 2*a**2 - 2*a + 3. Let p be m(2). Suppose -p = 47*n - 52*n. Is n - (8/20 + 17/(-5)) a multiple of 17?
False
Suppose 0 = 5*t - 24 + 14. Suppose -t*k - 25 - 37 = 0. Let s = k + 81. Does 10 divide s?
True
Suppose 5*b = 5, b + 10 = 5*a - 9. Is 85/(-20) + a - 4686/(-24) a multiple of 11?
False
Let b be -1 + -4 + 11 + 0. Let i be -9*(4 + (-64)/b). Is 3 a factor of ((-96)/20)/(((-63)/i)/7)?
False
Suppose 3*s + 3*a = -24, 1 + 3 = 2*s - 3*a. Let q = 10 - s. Let w(y) = 13*y - 15. Is 42 a factor of w(q)?
False
Suppose -117402 = -578*i + 544*i. Is i a multiple of 36?
False
Let c be (80/(-15) - -6)*6/4. Is 5 a factor of (-7)/(c/3*9/(-15))?
True
Let i be -2 + 2 + 39 - 3. Suppose i*d + 104 = 40*d. Suppose 18 = a - d. Does 19 divide a?
False
Suppose c + 4 = 5*c, -3*i - 5*c = -1394. Suppose -151 = m - i. Let f = m + -173. Is 16 a factor of f?
False
Suppose 0 = 6*i - 31 - 5. Suppose -2*g + i*g + 27 = d, g + 18 = 4*d. Let r(k) = -k**3 - 4*k**2 + 2*k + 2. Is r(g) a multiple of 9?
False
Let d(g) = g**3 + 10*g**2 + 7*g - 17. Let x be d(-9). Is 44 a factor of 28438/649 - ((-18)/(-22) - x)?
True
Let q be (-2)/(2/(-28)*1). Let p be (-6)/(-16) + 7569/232. Let j = p - q. Is j even?
False
Suppose -90273 + 178060 + 113813 = 84*l. Does 50 divide l?
True
Suppose -20*d - 14*d - 215800 = -134*d. Is 95 a factor of d?
False
Suppose -4*z - 5*u = -12959, 3*u + 347 = 332. Is 8 a factor of z?
False
Suppose 0 = 96*p + 488091 + 159912 - 3279651. Is p a multiple of 21?
False
Let g(q) = q**2 - 33*q - 28. Let n(f) = f**2 - 30*f - 27. Let s(k) = 3*g(k) - 4*n(k). Is s(20) a multiple of 22?
True
Let l = -433 + 437. Is l - -1 - 1008/(1 + -10) a multiple of 26?
False
Suppose 4*t = o + 8 - 3, 0 = -2*t + 3*o - 5. Suppose -2*b - t*g + 5 = -b, 5*b + g = 34. Does 4 divide (-2 + b/2)/((-3)/(-38))?
False
Let u(n) = -2*n - 20. Let h be u(-10). Suppose 2*z - 9 - 29 = h. Suppose -z*a + 1200 = -15*a. Does 14 divide a?
False
Is 6 a factor of 0 + 24/(-5)*81625/(-100)?
True
Let l(z) = 79*z**2 - 215*z - 78. Is l(-19) a multiple of 26?
True
Let i be ((-42)/24)/7*-20. Suppose -4*w + 1620 = 4*x, 825 = -7*w + 9*w + i*x. Is w a multiple of 14?
False
Let a(r) = 2*r**3 + 4*r**2 + 7*r + 12716. Is 68 a factor of a(0)?
True
Suppose -33*n - 3543 = -13806. Let b = -44 + n. Is b a multiple of 20?
False
Let b be 2 + -6*5/(-180)*6. Let q(r) = 2*r + 9*r**3 + 6*r - 5*r - 5*r**2. Is 9 a factor of q(b)?
True
Let o(n) = -603*n - 26. Let f be o(-3). Let r be 28/(-182) + (f/13 - -1). Let z = r - 64. Is 53 a factor of z?
False
Let x = -14 - -15. Let h be (1 - x)/(-1 + 2). Suppose 0 = 3*q + 5*k - 172 - 200, h = 2*q - 3*k - 267. Is 36 a factor of q?
False
Let z = -480 - -233. Let b = -167 - z. Suppose -23*v + b = -21*v. Is v a multiple of 9?
False
Let z(g) = -g**3 - 10*g**2 - 9*g + 16. Let x be z(-9). Let s be 78/48 + 6/x. Suppose -4*b + 647 = 5*h, -4*h = s*b - 2*h - 322. Does 18 divide b?
False
Let i = 175 + -249. Let s be (-2 - i/8)*8/(-2). Let v = 59 + s. Is v a multiple of 7?
False
Let o(z) = z**2 - 7*z + 6. Let u be o(5). Does 17 divide 1*(2*249)/((-4)/u)?
False
Suppose -5*g + 1510 = 3*m, 0*m - m - 5*g = -520. Suppose 110 = -7*h + m. Let j = h - 22. Is j a multiple of 12?
False
Suppose 4*q = -691 + 135. Suppose -4*m = -2*k - 0 - 126, 3*m = -k - 73. Let n = k - q. Does 12 divide n?
True
Suppose i = -2*y - 2 + 10, -3*i + 2*y = -8. Suppose 4*j - q - 255 = 0, i*j - 5*q - 235 = -0*q. Does 65 divide j?
True
Let i be (-2)/(-10) + (-1062241)/(-145). Suppose 20*l - i = 2*l. Is 50 a factor of l?
False
Let g = -2 + -66. Let d = g - -71. Suppose 396 = d*r + 2*l, 2*r - l - 245 = 4*l. Does 26 divide r?
True
Let w = 975 - 973. Suppose w*v + d = -0*v + 409, d = -5*v + 1021. Is v a multiple of 4?
True
Let a(s) = s**2 + 14*s + 497. Is 55 a factor of a(29)?
False
Let c(w) = -w**2 + 8*w - 3. Let j be c(5). Let v be ((-21)/(-21))/((-15)/14 + 1). Let m = j - v. Is m a multiple of 26?
True
Let q(l) = -l**3 + 7*l**2 - 2*l - 9. Let w be q(6). Suppose 5*d - 2*o - 3*o = 795, -w = -5*o. Is d a multiple of 27?
True
Let z = 4286 + -1542. Does 8 divide z?
True
Suppose -a - 200 = 90. Let l = 132 - a. Does 14 divide l?
False
Let f(r) = 13*r**3 - 45*r**2 - 4*r - 12. Does 3 divide f(5)?
True
Is 7/6 - (-162642)/36 a multiple of 23?
False
Let t = 38 + -36. Suppose 2*c - x = -17, -t*c - 4*x + x = -3. Is c/(-4) - 318/(-12) a multiple of 14?
True
Let y(f) = -83*f**3 - 4*f**2 - 2*f - 21. Is y(-4) a multiple of 44?
False
Let i(o) = -121*o**2 + 12*o - 19. Let s be i(7). Let w be 7/((-21)/s) - (-3)/9. Is 22 a factor of w/10 + 4 - 9/6?
True
Let v(h) be the second derivative of 5*h**4/12 - 5*h**3/3 + 20*h**2 + 2*h - 52. Is 22 a factor of v(14)?
True
Is 102 a factor of (2830/(-20))/(4122/(-588) - -7) + 5?
True
Suppose -2*r + f = 3*r - 9, 0 = -5*r + 4*f + 21. Let s be -61*(r + -2 + 0). Let j = -37 + s. Does 8 divide j?
True
Suppose 0 = -a - 2*q - 1, 0 = -a - 4*q + 5*q + 5. Suppose -a*l = -3*b - 555, -5*l + 17*b + 901 = 20*b. Is l a multiple of 5?
False
Let w(a) = 209*a**2 + 34*a - 527. Is w(10) a multiple of 11?
True
Let f(s) = 92*s**2 - 39*s + 74. Is f(6) a multiple of 37?
False
Let w = -227 - -229. Let v be ((-2)/4)/(3/(-18)). Suppose -w*l + t = -0*t - 377, -t = -v. Is l a multiple of 9?
False
Suppose -2*x + 3*l + 1059 = -5*x, 3*x - l + 1051 = 0. Let m be (-6)/16 - x/104. Does 2 divide (-4)/6 + m/(63/350)?
True
Let i(r) = 10*r**2 - 16*r - 4. Suppose q = -5*g - 0 - 14, 0 = -4*g - 8. Does 20 divide i(q)?
True
Suppose 0 = 86*i - 81*i - 2*v + 1330, -3*i = 2*v + 782. Let k = 520 + i. Does 3 divide k?
False
Let f(a) = 34*a - 1. Let z be f(1). Let h = 206 - 123. Let y = h - z. Is 25 a factor of y?
True
Suppose 10*z = 2*z + 2728. Suppose 6*x + 23 = z. Suppose o = -3*v + 52 + x, o = v - 31. Is v a multiple of 7?
False
Let t(y) = -y**2 + 41*y + 23. Let s be t(28). Let o = s - 267. Does 10 divide o?
True
Let j be (2/(-2))/(-2 + (-45)/(-27)). Suppose -r = j*r - v - 19, -4*r = -3*v - 9. Suppose 3*g = r, -4*g = -5*z + 87 + 515. Is z a multiple of 19?
False
Let c(v) = 119*v**2 + 15*v + 15. Suppose -4*f - 22 = 2*u, -36 = 3*u + 5*f - 8. Is c(u) a multiple of 17?
True
Let r = -18958 + 21056. Does 12 divide r?
False
Suppose 15*f - 374446 = -31*f + 167986. Is f a multiple of 219?
False
Let h = -233 + 469. Suppose l = 2*l + h. Let w = -154 - l. Does 14 divide w?
False
Let a be 688/64 + 3/(-4). Suppose -m + 0 = u - a, -2*m - 3*u = -22. Suppose m*y = w + 6*y - 108, -2*w + 204 = -y. Does 12 divide w?
False
Does 38 divide 1406652/104 - (5/(-2) + 0/4)?
True
Let w = -414 - -418. Suppose -3*d + 1362 = x, -3*d - w*x + 2354 = 1001. Is d a multiple of 19?
False
Let f = 1910 - 1332. Suppose 0 = -5*j - k + 2735, -j + 2*k - 42 = -f. Is 13 a factor of j?
True
Let q = -74 - -76. Let u be (2/(-10))/(q/386)*-5. Let z = u + -79. Is z a multiple of 7?
False
Suppose 2*u + 5*u