 Is 32 a factor of s?
True
Let u = -24 + 70. Suppose 4*b - 2*k = 178, -177 - u = -5*b + 2*k. Is b a multiple of 15?
True
Let j = 697 + -377. Is 15 a factor of j?
False
Suppose 70969 - 18337 = 72*a. Is a a multiple of 43?
True
Let c(s) = s**2 + 34*s + 49. Is c(-56) a multiple of 34?
False
Let i be (-11)/4 + (-2)/8. Let o be ((-2)/(-4))/(i/162). Let z = -12 - o. Is z a multiple of 3?
True
Let t = -5272 - -8899. Let s = t + -1683. Does 15 divide 3/(-5) - s/(-40)?
False
Let r = -47 - -44. Is (17/3)/(r/(-9)) a multiple of 6?
False
Suppose 34 = -5*d - 2*n, n = 3*d + 16 - 0. Let c = 62 + d. Is 14 a factor of c?
True
Suppose -69 - 241 = -2*k. Let d = k - 81. Suppose -b + 22 = -x, 7*b - 4*b - d = -5*x. Does 11 divide b?
False
Let m = -1 + 8. Suppose m*f - 415 = 2*f. Let r = 123 - f. Is r a multiple of 15?
False
Let h(d) = -d**2 + 11*d - 17. Let v be -5*1*28/(-20). Is 2 a factor of h(v)?
False
Let s(b) = b + 28. Let v be s(-22). Does 36 divide ((-2)/v)/((-1)/177)?
False
Suppose -48*n + 3*r + 223 = -43*n, 0 = -2*n - 2*r + 86. Is n a multiple of 9?
False
Let k be 0 - (-1)/(-1)*-3. Suppose -k*j = 16 + 14. Let l = j + 17. Does 4 divide l?
False
Let g be 9/(1994/(-2000) + 1). Suppose 7*h - g = 920. Suppose -u = -5*u + h. Is u a multiple of 35?
True
Let q be (40/(-6))/(-5)*(-60)/8. Let z = 25 - q. Is z a multiple of 10?
False
Let z(t) = -23*t + 3. Let d be z(-2). Suppose -2*b - 5 = -d. Does 11 divide b?
True
Is 9 a factor of 744952/532 + 2/(-7)?
False
Suppose -3*x + 0*x = -222. Let z be x/5*(-65)/(-26). Suppose 43 + z = 8*s. Is 9 a factor of s?
False
Let i be (-1934)/6 - (-2)/6. Let o = i + 647. Is 13 a factor of o?
True
Suppose 4225 = 2*w - 3*u, -6318 = 171*w - 174*w - 2*u. Is w a multiple of 11?
False
Let z(y) = -7*y + 42*y**2 - 88*y**2 + 49*y**2 - 37. Is z(11) a multiple of 20?
False
Suppose 0 = 9*o - 80 + 26. Suppose -o*w = w - 364. Does 13 divide w?
True
Let k = -25 + 53. Suppose -4*v - k = 3*p, 5*p + 0*p + 3*v = -43. Let w(u) = -u**3 - 9*u**2 - 9*u - 2. Is 3 a factor of w(p)?
True
Let a(w) = 24*w + 256. Is 42 a factor of a(-5)?
False
Let v(b) = -34*b - 22. Let h be v(2). Let i = 144 + h. Is 54 a factor of i?
True
Let d be 3*-1*25/(-15). Let r = 32 + -6. Suppose r - d = f. Does 8 divide f?
False
Let l = -216 - -429. Suppose -4*o = -c - l, 120 = 5*o - 3*o + 4*c. Is o a multiple of 9?
True
Let i = -662 + 1793. Is i a multiple of 25?
False
Let x(t) be the third derivative of 11*t**8/6720 + t**6/360 - t**5/120 - t**4/12 + t**2. Let h(r) be the second derivative of x(r). Does 4 divide h(1)?
True
Let j(s) be the third derivative of -8*s**2 - 1/24*s**4 + 0 + 27/20*s**5 + 1/6*s**3 + 0*s. Is j(1) a multiple of 27?
True
Suppose -q - 3*g = -10, 2*q - 2*g + 5*g = 26. Suppose 4*v + q = 5*v + 4*z, 0 = v + 3*z - 12. Suppose -2*k + 2*i + 10 = v, -3*k = -6*k - i + 11. Does 2 divide k?
True
Let w(p) = 64*p + 201. Is 9 a factor of w(5)?
False
Let f(z) = -64*z**3 + 11*z + 17 - 4*z + 65*z**3 - 8*z**2. Does 15 divide f(7)?
False
Suppose -5*w + 14 = 2*o, 4*o = 3*o + 2. Suppose 6 = 2*s + w*t, 0*t - 2 = -2*s - 3*t. Is 4 a factor of s?
False
Let a be 17/2 + 7/14. Suppose 4*u - a*u = -175. Is 7 a factor of u?
True
Let f = -137 - -137. Suppose -4*i = -3*u - 3*i + 414, 5*u - 2*i - 690 = f. Is 23 a factor of u?
True
Suppose -12626 = -8*x + 10414. Is 45 a factor of x?
True
Let t(i) = -5*i**2 - 4*i + 1. Let a be t(-4). Is 4 a factor of (-6)/14 + (-4815)/a?
True
Suppose 1400 = 4*m - 264. Is m a multiple of 2?
True
Suppose 2*z + 4*h - 3660 = 0, -4*z - 3226 = 2*h - 10516. Does 9 divide z?
False
Let m = 75 - 57. Suppose -4*k + m = -42. Is k a multiple of 5?
True
Suppose 3*x + 3294 = 5*f, -f - 3*x + 476 + 190 = 0. Is 10 a factor of f?
True
Let h be 3314/10 + 12/(-30). Suppose h = 5*y + 16. Does 21 divide y?
True
Let b be (-3)/2*16/(-12). Suppose -b*x + 24 = -28. Is x a multiple of 18?
False
Is (-99)/24*-91 - (-6)/(-16) a multiple of 75?
True
Let n be 15 - -1 - (1 + 0). Let j = -130 - -133. Does 2 divide (j - 24/9)*n?
False
Let y = 273 + -278. Let h(a) = -7*a**3 + 16*a**2 + 17*a + 1. Let o(q) = -3*q**3 + 8*q**2 + 8*q. Let d(m) = -4*h(m) + 9*o(m). Is 21 a factor of d(y)?
False
Suppose 145 + 62 = -i. Let a = 71 - i. Let j = -197 + a. Does 24 divide j?
False
Let o(b) = b**3 + 16*b**2 + 2*b + 2. Does 26 divide o(-14)?
False
Let o(y) = 2*y**2 - 7*y + 8. Suppose 25 = 5*n - v, -3 + 18 = 5*n + v. Suppose -14 - 10 = -n*h. Does 8 divide o(h)?
False
Suppose 0 = -5*i + 10, 2*h - 4*i = -87 - 25. Let o = -4 - h. Is 48 a factor of o?
True
Let s(n) be the third derivative of -n**6/120 - n**5/60 - n**4/24 + 13*n**3/2 + 2*n**2. Let f(a) = -a + 4. Let i be f(4). Does 17 divide s(i)?
False
Let i(v) = -36*v - 27. Does 15 divide i(-2)?
True
Let l(i) = 65*i**2 + 8*i + 15. Let h be l(-4). Is 6/8 - h/(-44) a multiple of 8?
True
Let m(v) be the second derivative of v**4/12 + 3*v**3/2 + 9*v**2 - 13*v. Let w be m(-7). Suppose -w*s + 8*s = 380. Is s a multiple of 19?
True
Suppose 0 = k - 12 - 0. Does 14 divide 9/k + 2216/32?
True
Suppose 0 = -4*d - 5*p - 1, 2*p - 3 = 5*d + 23. Let r be d/4 + (-2 - -5). Suppose -19 = -r*c + 51. Does 27 divide c?
False
Let u = 346 - 32. Does 17 divide u?
False
Does 46 divide 12/(-22) - 328239/(-99)?
False
Let f(o) = 10*o**2 - 4*o - 7. Does 4 divide f(-2)?
False
Let f = 842 + -680. Does 22 divide f?
False
Suppose 0 = 7*u - 8*u - 2*p + 20, -93 = -5*u - 3*p. Let n = 16 + -22. Is 10 a factor of ((-70)/n)/(3/u)?
True
Let p(w) = 4*w**2 + 5*w - 9 + 8*w**3 + 10 - 6. Let g(f) = 3*f**3 + f**2 + 2*f - 2. Let l(r) = 7*g(r) - 2*p(r). Does 20 divide l(2)?
True
Let x be (2/(-4))/((-2)/232). Let i be x/18 + 2/(-9). Suppose 0*g = i*g - 33. Is g a multiple of 11?
True
Suppose 0 = -4*p - p + 3*r + 11022, 0 = -p - 3*r + 2208. Is p a multiple of 45?
True
Let h be (-3)/(-2)*3/(-9)*138. Let w = 126 + h. Does 30 divide w?
False
Let i be -4*6/16*-2. Let q be -2 + 4 - (-404)/2. Is q/9 - 2/i a multiple of 6?
False
Let v = 17 + -85. Does 6 divide v/(-4) - (1 - 5)?
False
Suppose -2*t + 5*t = 3. Let y be t/((-3)/(-36)*2). Suppose 0 = z - y*z + 10. Is z even?
True
Let g(f) = 10*f**2 + 1. Let c be g(2). Let p(k) = -7*k + 2. Let y be p(-13). Let u = y - c. Does 26 divide u?
True
Let l be (-15)/(-18)*-4*(-9 - 6). Suppose 6*w - l = 214. Is w a multiple of 6?
False
Suppose 14*d - 1706 - 856 = 0. Does 5 divide d?
False
Suppose 8*j = 5*j + 24. Suppose x - j*x = -84. Does 6 divide x?
True
Suppose -455 = -4*u - 5*k, 5*u - 314 = -4*k + 257. Suppose -9*a - u = -10*a. Is a a multiple of 7?
False
Let j = 13 - 13. Let x be (-4 - 10)/(-1 - j). Does 4 divide 6/21 + 80/x?
False
Suppose -1609 + 4669 = 6*c. Is c a multiple of 15?
True
Let k = -23 - -23. Suppose y + 2*y - b - 47 = k, -4*y = 5*b - 31. Let s = y - 7. Does 7 divide s?
True
Let m(q) = q - 9. Let t be m(11). Let y = 5 - t. Is 7 a factor of (y/2)/(6/28)?
True
Suppose 5*k = -4*b + 273, 0 = 4*b - 2*b + 3*k - 135. Let j = b - 51. Does 21 divide j?
True
Let k(o) = 5*o + 4. Let t be k(-9). Let w = 53 + t. Is 4 a factor of w?
True
Suppose -o = 3*j + 42, -j + o - 5*o - 25 = 0. Let m be 1 - (-2 + j/(-1)). Let p(h) = h**2 + 8*h - 5. Does 5 divide p(m)?
True
Suppose 0*y + 4*s - 4 = 2*y, -2*y + 2 = 2*s. Suppose y = -3*b - 0*q + q + 12, 3*b - 5*q = 0. Suppose 3*x = b*u - 139, 4*u - 124 = -x - 3*x. Does 26 divide u?
False
Let m(y) = 915*y**2 + 2*y + 10. Does 9 divide m(-2)?
False
Let g = -247 + 335. Is g a multiple of 4?
True
Let i be 121 + (-2 - (-5 - -2)). Suppose -4*p - 292 = -5*q, 2*q = -0*p - p + i. Is q a multiple of 30?
True
Let q = 7067 - 3681. Is 14 a factor of q?
False
Let r(g) = -2*g - g - 7 - 5 - 7*g. Is 8 a factor of r(-6)?
True
Let p(a) = -49*a - 90. Is p(-18) a multiple of 36?
True
Suppose -4*w = u + 26, 0 = u - 4*u - 5*w - 85. Let t = 55 + u. Does 19 divide t?
False
Let a = 30 - 32. Let f be (4 - 85/(-2))*a. Let n = f - -144. Is 10 a factor of n?
False
Suppose 4*l + 81 = 353. Suppose 2*t + 4*s + 316 = l, 8 = -2*s. Let q = t + 211. Does 31 divide q?
False
Suppose 10470 = -91*b + 97*b. Is b a multiple of 21?
False
Let x = 1003 - 132. Is x a multiple of 34?
False
Suppose 6*y = 3*b + y - 385, -3*b - 3*y + 393 = 0. Does 5 divide b?
True
Let f be 1/(3 + 872/(-292)). Suppose 3*y = -0*y + c + 67, -2*y - 5*c = -f. Suppose 2*w - 4*n = 24, 5*w - 3*w = 3*n + y. Is 12 a factor of w?