2*u - 20*u - p, 3*u + 3*p = 5757. Does 8 divide u?
True
Is (3 - -555)*26/6 a multiple of 13?
True
Is 63/18*202010/35 a multiple of 34?
False
Let z = 8 - 3. Let o be -5 + z - (1 + -13). Does 5 divide o/(-4)*20/(-6)?
True
Suppose 3*r = 4*b - 3, 0*r - b + 4 = -4*r. Let k be (-3 - -87) + r - -3. Suppose -4*p = d - k, 5*d + 2*p + 98 = 6*d. Does 30 divide d?
False
Suppose 3*g + 5*j + 14 = 2*g, 0 = -2*g - j + 8. Suppose -g*x + 1149 = -3*x + 3*r, 731 = 2*x - 5*r. Does 42 divide x?
True
Let g = 6401 - 3726. Suppose -16*w + g = 9*w. Does 6 divide w?
False
Let l(p) = p**3 + 13*p**2 + 8*p - 18. Suppose 20*a - 24*a = 48. Is l(a) a multiple of 2?
True
Let a(r) = 108*r + 8. Let x be a(10). Let y = -743 + x. Suppose -21*z + y = -18*z. Does 31 divide z?
False
Let n = 24 - 43. Let h = n + 22. Suppose k + p - 8 = h, 0 = k - 5*p - 35. Does 5 divide k?
True
Let q be (-4)/(-22) + 4/((-88)/(-7366)). Let j = 751 - q. Is j a multiple of 60?
False
Let j = 13982 + -4206. Does 84 divide j?
False
Let p(i) = -1026*i**3 + 2*i**2 - 6*i - 18. Does 42 divide p(-3)?
True
Let s(o) = -3*o**2 - 178*o + 79. Does 9 divide s(-38)?
True
Let t be 3*((-14)/3 + -4). Let o = 30 + t. Suppose -4*a = -3*r + 284, 0*r + 379 = o*r - 5*a. Does 16 divide r?
True
Let x = 13 + -9. Let u be ((-132)/(-8) + 3)*x. Suppose 0*q + 2*q - u = 0. Does 9 divide q?
False
Let i(q) = -2*q**3 + 3*q**2 + 964*q - 970*q + q**3 + 13 + 4*q**2. Does 5 divide i(5)?
False
Let m = -3652 - -4813. Is m a multiple of 27?
True
Let z(r) = 198*r**3 + r**2 - 2*r + 1. Let m(t) = t**3 - 4*t**2 - 6*t + 8. Let k be m(5). Let f be (3/(-6))/(k/(-6)). Is 18 a factor of z(f)?
True
Suppose 4*j - 15 = 5*u + 3*j, -j + 5 = 0. Let i be 5*6/12 + u/4. Suppose -i*n + 141 = -113. Does 16 divide n?
False
Let u = 22 - 26. Let c be 3 + -1 - (-8)/u. Suppose -3*k + c*k = -f - 108, 0 = 4*k + 3*f - 144. Does 18 divide k?
True
Suppose -85 - 25 = -5*x. Let l(c) = -c**3 + 22*c**2 - 8. Let p be l(x). Let d(g) = -4*g + 1. Is 7 a factor of d(p)?
False
Suppose 7*n - 169260 = -8*n - 0*n. Does 182 divide n?
True
Let b(g) = -g**3 - 6*g**2 + 16 - 6*g - 8*g - 1 - 9*g**2. Let p be b(-14). Suppose 16*a - p*a - 9 = 0. Is 8 a factor of a?
False
Let b = -132 - -133. Suppose -2*n = 3 + b, 2*v + 4*n = 112. Is 12 a factor of v?
True
Suppose -3*y + 64 = 127. Let s = 47 - y. Is s a multiple of 17?
True
Suppose 0 = -5*z + 2*p - 975, -3*z = -z + p + 399. Let u = -1 - z. Does 7 divide u?
True
Suppose 10*z - 5*z = -245. Let t = 51 + z. Does 17 divide t/(-3) + 3430/42?
False
Let v(i) = i**2 + 19*i + 36. Let l be v(-16). Let x(z) = -20*z - 66. Does 4 divide x(l)?
False
Suppose 141688 + 186937 = 55*f. Is f a multiple of 31?
False
Is 60 a factor of (1410/15)/(6/360)?
True
Let u be ((1 - 0)/1)/(45/180). Suppose -n + 15*m + 422 = 11*m, u*n - 1664 = 4*m. Is 33 a factor of n?
False
Suppose -5*y - 7852 = -2*i, -i + 653*y = 657*y - 3900. Is i a multiple of 102?
False
Suppose -6*z + 27 = 15. Suppose 18 = 3*v - v - 3*r, -2 = z*v + 2*r. Is 6 a factor of 453/7 - -4*v/42?
False
Let s = 49345 + -12325. Does 30 divide s?
True
Suppose -13*w + 14*w = 12. Suppose -4 = b + c + c, -2*b - w = 5*c. Suppose -2*n + 55 = 5*j, -5*j = -3*n + b*n - 20. Is 28 a factor of n?
False
Let y = -193 - -198. Suppose -t - 1156 = -y*p, -p + 0*p = 4*t - 227. Is 11 a factor of p?
True
Let v(t) = 123*t - 18 - 399*t + 4. Does 28 divide v(-2)?
False
Suppose 4 = -x - 1. Let o(j) = -j**3 - 4*j**2 + 2*j - 12. Let l be o(x). Suppose -3*b - b + 2*c = -774, -l*c = 3*b - 567. Does 28 divide b?
False
Suppose -4*b = -26 + 6. Suppose -33 = b*x + 32. Does 16 divide ((-96)/7)/(x/(-7) - 2)?
True
Let k = 5368 - 5305. Is 21 a factor of k?
True
Suppose -3*v + 17 = k - 0*v, 0 = -v + 5. Suppose -2*d + k*l = -1182, 9*l - 14*l = -2*d + 1173. Is 9 a factor of d?
True
Let t be (-10)/(-60) + (-1)/6. Suppose t = -179*s + 172*s + 2156. Is 49 a factor of s?
False
Let x = 54848 - 33912. Does 4 divide x?
True
Let d = 18365 + -15250. Is d a multiple of 4?
False
Is (-17)/68 + (-34530)/(-8) a multiple of 15?
False
Suppose r + 4*j + 1 = -41, -2*r + 2*j = 64. Let x = 39 + r. Let w(m) = m**3 + 4*m + 5. Is w(x) a multiple of 13?
False
Suppose -4*m + s = 606 - 6074, -2*m + 2*s + 2728 = 0. Is m a multiple of 36?
True
Suppose 30*n - 132283 = 174835 + 17542. Is n a multiple of 20?
False
Let r(g) = 5*g**2 + 44*g + 16. Is 3 a factor of r(-26)?
False
Let f = -2529 - -7362. Is 48 a factor of f?
False
Let r(h) = -26*h**2 + 3*h - 48. Let j be r(7). Is 14 a factor of 20/60 + j/(-3)?
True
Suppose -7*w + 120 = 5*w. Suppose 0 = 5*r - 2*z - 33, r + 3*z + w = 3. Suppose 74 + 241 = r*p. Is p a multiple of 9?
True
Let g(t) = 2*t**3 - 6*t**2 + 24*t + 6. Let h be g(7). Let v = 1226 - h. Is 31 a factor of v?
False
Let o(u) = 21*u**2 + 17*u + 21. Let h be o(11). Suppose 1377 = 2*t - d, 3*d = 22*t - 18*t - h. Is 45 a factor of t?
False
Suppose 5*g - 18 = -y, 7*y - 4*y - 24 = -5*g. Suppose -5*d = g*u - 3258, 2*d - 1627 = -u - 324. Is 49 a factor of d?
False
Let n = 10259 + -3635. Is n a multiple of 46?
True
Suppose 1 = -5*d + y - 5*y, 5*y + 17 = -d. Is 10 a factor of 32*((-99)/44)/(d/(-10))?
True
Let u = -114 - -82. Let o = -30 - u. Does 12 divide o/(-8) - (-9804)/48?
True
Let d(y) = -y**2 - 18*y + 18. Suppose 12*h + 213 = 21. Is 10 a factor of d(h)?
True
Suppose g - 2*p = 835, -146*g + 5*p = -145*g - 850. Does 15 divide g?
True
Let d be (-1)/(-4) - (-1199)/4. Let p = -1995 - -1995. Is 15 a factor of (d/(-40))/(p - 1/16)?
True
Let a be ((-5)/(-2))/5*3*2. Let h(p) = -4*p**2 - p**a + 7*p**2 - 26 - 5 + 14*p**2 + 5*p. Is h(17) a multiple of 9?
True
Suppose -306 + 318 = 4*o. Let h = 22 - o. Is 5 a factor of h?
False
Let m be (3 - 76/16)*-12. Is ((-36)/m)/((-2)/(-7)) + 1367 a multiple of 65?
False
Let m be 2*(-4)/((-32)/52). Let a(z) = 4 + m*z + z - 4*z. Is 7 a factor of a(1)?
True
Suppose -3*h + 140326 + 54607 = -2*d, 10 = 5*d. Does 97 divide h?
False
Suppose -2*o = -21 + 13, -4*r + 2*o = -28628. Is 42 a factor of r?
False
Is -1 + -4 - (189 + -1062) a multiple of 202?
False
Suppose 4775 = -3*w + 2*n, -5*w + n - 3431 - 4539 = 0. Let k = w + 2659. Does 19 divide k?
True
Let y = -9 + 14. Let j(a) = -a**2 - 10*a - 14. Let b be j(-8). Suppose 0*i = 4*i - b*l - 514, y*i + 5*l - 665 = 0. Does 13 divide i?
True
Suppose -3*z + 3*x + 51 = 0, -5*z + 0*x + 87 = -4*x. Suppose 2*k - 220 = -9*k. Suppose 0 = -k*i + z*i + 42. Is i a multiple of 16?
False
Let d = 86 + -82. Suppose 2*v - 19 = -x - 4, -d*v + 5*x = 5. Suppose 2*p + v*p - 49 = 0. Does 7 divide p?
True
Let r = -241 - -273. Suppose r*z - 3298 = 30*z. Is 41 a factor of z?
False
Suppose 0 = 4*t - 4*h - 4064, 2*t - 15*h - 2044 = -16*h. Does 12 divide t?
True
Let h(c) be the second derivative of -23*c**3/3 + c**2/2 - 4*c. Let f be h(-4). Suppose -6*y + 7*y - f = -5*n, 5*n - 200 = 2*y. Does 16 divide n?
False
Suppose 18 - 31 = -v. Let d be 13 + -1 + v + -17. Suppose -99 - 1413 = -d*w. Does 21 divide w?
True
Let l be -11*(-1 + 0/4). Suppose 3*f = 17 - l. Suppose 0*i + 262 = f*i - 2*j, 4*i + 3*j - 552 = 0. Does 15 divide i?
True
Let k be (-2 - (-4190)/(-15))*3. Let j be 8/36 - k/9. Let t = j + -54. Does 8 divide t?
True
Let q = -22 + 26. Suppose 0 = -2*w + 8, f - q*w - 506 = -2*f. Suppose -3*p - 3*d = -f, 3*d + 192 = 4*p - d. Is p a multiple of 21?
False
Let v = -54 - -74. Suppose 0 = -24*p + 19*p + v. Suppose 3*d - 764 = u - 117, 2*u + p = 0. Does 38 divide d?
False
Let q = 2520 + 545. Is 13 a factor of q?
False
Let b be (-54 - -54)*(0 + -1). Suppose b = -0*x - 4*x + 4524. Is 37 a factor of x?
False
Let d = 3763 + 2287. Does 13 divide d?
False
Suppose 25 = -2*b - 0*s + 5*s, -4*b - 2*s - 86 = 0. Let m = 41 + b. Suppose -f - 2*z + m = -5, -4*f - z + 76 = 0. Is f a multiple of 3?
True
Suppose 13*x - 7*x - 24 = 0. Suppose -x*r - 4392 = -12*r. Is 61 a factor of r?
True
Let h(g) = -g**3 - 12*g**2 - 11*g + 19. Let p be h(-11). Let z = -17 + p. Is 3 a factor of (-22)/(-4) - 1/z?
False
Suppose 0 = 13*l + 43*l + 26*l - 215496. Is l a multiple of 12?
True
Let w(v) = -2*v + 8. Let a be w(3). Let p be (3 - (-18)/(-4))*a. Is 239 - (p/(-9))/((-3)/9) a multiple of 49?
False
Let h(m) = 4*m**2 + 9*m + 62. Let f be h(23). Suppose 3*o = -4*t + 1443 - 13, 5*o + 5*t = f. Does 93 divide o?
False
Let n(u) = u**2 - 4*u + 5. Let t be n(5). Suppose 4*c + t*c - 280 = 0. 