True
Let y = 6189 - 4238. Is y a multiple of 26?
False
Suppose -47*d + 50413 - 6045 = 0. Is d a multiple of 59?
True
Suppose 3*z - 126 = -2*u - 0*u, -z + 46 = 2*u. Let s(q) = -11 + 46*q - 79*q + z*q. Is s(4) a multiple of 15?
False
Suppose 9*k = 7*k + 36. Let a be (k/15)/(6/160). Let f = a - 8. Does 12 divide f?
True
Let h(g) = -g**3 - 9*g**2 - 9*g - 4. Suppose -12*u = -7*u + 40. Let k be h(u). Suppose k*n - 80 = 124. Is n a multiple of 17?
True
Let p(u) = -u**3 + 10*u**2 - 11*u + 27. Let h be p(9). Suppose h*s = -153 + 1080. Does 18 divide s?
False
Let b(t) = t**2 - 13*t + 16. Let d(v) = v**3 + v**2 + 2*v + 12. Let s be d(0). Does 4 divide b(s)?
True
Suppose 32 = -2*n + k, -n - 4*k - 11 = 5. Let m(b) = b**2 + 10*b - 21. Is m(n) a multiple of 25?
True
Let y be (-28)/((9/3)/(-12)). Let r = -70 + 73. Suppose 0 = -3*d + 3*o + 288, -2*o = -d + r*o + y. Is 11 a factor of d?
False
Let h(g) = g**2 - 4*g - 11. Let k(z) = 3*z**2 - 8*z - 6. Let v be k(6). Suppose v = -0*c + 6*c. Does 17 divide h(c)?
True
Let y = 728 - 350. Is 18 a factor of y?
True
Does 42 divide 3272/5 + -7*(-24)/280?
False
Suppose -8 = -j + t, -5*j = 5*t - 1 + 11. Suppose 3*s + 63 = j*h, 3*h - 63 = 6*s - s. Let f = 33 - h. Is 3 a factor of f?
True
Suppose -6*c + 3735 = 1071. Does 33 divide c?
False
Let q be 261 + (2/5)/((-9)/(-45)). Let u = q + -117. Is 9 a factor of u?
False
Let q(t) = 2*t**2 + t. Let g be q(-1). Suppose -g - 4 = -l. Suppose 218 = 4*n + l*c + 81, -97 = -3*n + 2*c. Is 11 a factor of n?
True
Let o(a) = 5*a**3 - 16*a**2 + 7*a - 25. Is o(7) a multiple of 13?
False
Let k(z) = z**2 + 5*z + 2. Let w be k(-7). Suppose -3*l = a - 83, -6*a + 2*a - w = 0. Does 14 divide l?
False
Let d(o) = 15*o**2 - 24*o + 213. Is d(7) a multiple of 12?
True
Suppose 4*t - 2 = -5*i + 8, 4*i - 4*t - 44 = 0. Is 2 a factor of i*(-3 - (-40)/12)?
True
Suppose -7*l - l = 160. Does 4 divide 1*45/4 - (-5)/l?
False
Let s(u) be the second derivative of -u**6/360 + u**5/15 + u**4/6 - 5*u. Let d(y) be the third derivative of s(y). Is 9 a factor of d(-5)?
True
Suppose 3*t + 19 = 4*t. Suppose 0 = -4*w - q + 159, 24 = w + 2*q - 7*q. Let b = w - t. Is 20 a factor of b?
True
Suppose -6*t = -34*t + 16464. Does 42 divide t?
True
Let p(w) = -w**2 + 6*w - 4. Let i be p(4). Is 2 a factor of 2 - (-9 + i + -1)?
True
Let u = 12 - 10. Let z be u/(-4) - 44/(-8). Suppose a - o = 4*a - 66, z*a - o = 110. Does 22 divide a?
True
Is (8/10)/((-6 - -16)/1200) a multiple of 12?
True
Does 54 divide 32/(-40) - -2*(-1222)/(-5)?
False
Suppose -191520 = 5*n - 47*n. Is 60 a factor of n?
True
Suppose 0*f + 37 = -f. Let v = f - -41. Is v a multiple of 4?
True
Let a = 33 - -2187. Is 30 a factor of a?
True
Let z = 13 - 10. Suppose 3*l - 4*l = 2*g, 4*l - 15 = -z*g. Let c(r) = r**3 - 6*r**2 + r + 8. Does 12 divide c(l)?
False
Let b(v) = 20*v - 512. Is b(43) a multiple of 100?
False
Suppose 44 = -10*o + 6*o. Let g = 9 - o. Is 13 a factor of g?
False
Let v be (-2 - 1)/(-6)*10. Suppose -3*h + 230 = 5*u, -4 = -v*u + 1. Suppose -68 = -4*a + l, 24 = -3*a + 3*l + h. Is 6 a factor of a?
False
Let o(l) = l**3 + 6*l**2 + 4*l. Let u be o(-5). Suppose -5*b = 4*s + 18, -u*s + s = 8. Is (b - -4) + 10 + -1 a multiple of 3?
False
Let r be (-1*2)/(2*(-1)/29). Suppose -1 = -3*m + r. Is m a multiple of 8?
False
Let p(k) = -k**3 - 7*k**2 - 18*k + 13. Is 18 a factor of p(-9)?
False
Suppose 3*r = -15, 2*r + 81 = 3*i - 115. Let z = i + -109. Let k = z + 98. Is 17 a factor of k?
True
Suppose -20 = -5*p - 0. Suppose -3*g + 1 = 5*y, 0*y + 1 = -p*y - 3*g. Suppose -18 + y = -4*d, 0 = -5*o - 3*d + 172. Is o a multiple of 18?
False
Let d(z) = -54*z**3 - 5*z**2 - 3*z + 3. Let a(v) = v**3 + v**2 + v - 1. Let c(k) = -4*a(k) - d(k). Does 17 divide c(1)?
True
Let g = 10 - -36. Suppose 0 = 2*z - z - g. Does 30 divide 2*1/(1/z)?
False
Suppose 0 = -2*n + 20 - 16. Is n*(-6)/12 - (-84)/1 a multiple of 32?
False
Let z = 460 - 80. Is z a multiple of 5?
True
Suppose 80 - 88 = 4*l, 5*h - 5*l = 3805. Is 11 a factor of h?
True
Let p(g) = 70*g**3 - 2*g**2 + 1. Suppose 5*c - 5*w + 24 = 9, -5*c + 2*w = 3. Is p(c) a multiple of 28?
False
Let u(x) = x**2 + 9*x + 12. Let q be u(-8). Suppose p = -q*r + 39, r - 12 = -p + 3*p. Does 4 divide r?
False
Suppose -8*m + 994 = -m. Suppose -10*l + 68 = -m. Does 7 divide l?
True
Suppose -4*s - 5*o + 2391 = 0, -3*o = -2 - 7. Let n = -300 + s. Is 49 a factor of n?
True
Is 5/(-3) + 1272/72 a multiple of 5?
False
Suppose 0 = -84*u + 95*u - 5566. Is u a multiple of 11?
True
Let c(i) = i**2 - 9*i + 11. Let o be c(8). Suppose -2*p = a - 7, o*a + 1 = p + 4*p. Is 11 a factor of 27 - (p + -1 + 0)?
False
Let i = 2411 - 1659. Let a = i + -534. Let z = -95 + a. Is z a multiple of 33?
False
Suppose 4*q - 7641 = -14*j + 13*j, 2*j = 10. Is q a multiple of 29?
False
Is ((-6)/9)/(1/(-585)) a multiple of 26?
True
Suppose 0 = v + b - 3, 5*v - 25 + 3 = 2*b. Suppose -1482 = -2*m - 2*m - 2*k, 5*m - 1851 = -v*k. Is m a multiple of 53?
True
Let r(x) = x**3 - 2*x**2 + 2*x. Let b be 6*(-3)/(-7 + -2). Let j be r(b). Suppose -3*q = -2*n + j*n - 161, -n - 5 = 0. Is 20 a factor of q?
False
Suppose u + 30 - 40 = 0. Suppose 0 = 2*y - u, -y + 18 = -2*v + 69. Does 3 divide v?
False
Suppose y - 23 + 10 = -3*o, -4*y = -2*o + 4. Suppose -o*q - 2*g + 356 = 14, -4*q + g + 333 = 0. Is 42 a factor of q?
True
Suppose 0 = -4*y + 2*f + 12, 0 = y + 5*f - 3*f - 3. Let w be (290 + -3 - y)/1. Is w/14 + (-10)/35 a multiple of 10?
True
Let i be (-541)/(-6) + (-1)/6. Suppose 0 = -u - 3*j - 10, 4*u - 3*j - 4 = 31. Suppose -2*o - 1 = 4*s - 11, u*o - i = 3*s. Does 12 divide o?
False
Let h = 1758 + -117. Is h a multiple of 17?
False
Suppose 0*u - 7 = u. Is 15 a factor of 6868/119 + (-2)/u?
False
Let r be ((-18)/4)/((-7)/14). Is 9 a factor of 116/12 - 6/r?
True
Let a be -2 - 4/(2 + -1). Let j(k) = -k - 7. Let p be j(a). Is 12 a factor of (-294)/(-12) + p/2?
True
Suppose 0 = -2*c - c + 4*a + 323, -230 = -2*c - a. Suppose c = 3*g + 23. Is g a multiple of 10?
True
Suppose 112 = 2*b - 3*d, 5*b - 3*d - 208 - 54 = 0. Is 5 a factor of b?
True
Let l(p) be the first derivative of 2*p**2 + 5*p + 4. Is 7 a factor of l(4)?
True
Let c(s) = -15*s + 338. Is c(0) a multiple of 27?
False
Let b(x) = -189*x**3 - 2*x - 1. Let y be b(-1). Let i = y + 90. Suppose 9*a - 4*a = i. Does 14 divide a?
True
Suppose -172 = -7*x + 3*x. Let p be x/(-7) + 7/49. Is (-96)/(-2)*(-4)/p a multiple of 16?
True
Suppose 213*s - 10960 = 208*s. Is 14 a factor of s?
False
Suppose -386 = 3*y - 776. Does 13 divide y?
True
Let c = -4 + 7. Suppose 4*q + 286 = -q + 4*m, -117 = 2*q + m. Is 8 a factor of 1/(c - (-172)/q)?
False
Suppose 4*i - 32 = 8. Is (7 - 16)*i/(-6) a multiple of 5?
True
Let q(d) = d**2 + 3*d + 13. Let m(i) = 2*i**2 + 4*i + 13. Let c(h) = 5*m(h) - 6*q(h). Is c(-5) a multiple of 11?
True
Is 12 a factor of (-5148)/(-12) + (-15)/(-5)?
True
Suppose -35*t - 150 + 1025 = 0. Does 3 divide t?
False
Let g(p) = 5*p + 359. Is g(20) a multiple of 25?
False
Let b = 0 + -26. Let a = 87 + b. Suppose 5*j = 3*j + 4*f + 86, a = 2*j + f. Is 11 a factor of j?
True
Suppose -6*o + 12 = -9*o. Is 3/(-4) - 183/o a multiple of 31?
False
Let x(n) = -n**3 + 9*n**2 - 2*n + 12. Let y be x(8). Let b be (20/(-8))/((-10)/8). Suppose -y = -6*i + b*i. Is i a multiple of 5?
True
Let p = -123 - -252. Suppose 0 = 3*x - p - 759. Does 12 divide x?
False
Suppose 4*w - 144 = -2*v - 920, -5*v = -4*w - 790. Let c = -106 - w. Does 6 divide c?
False
Suppose -5*b - 2*x = -20, -b - 5*x + 7 = 3. Is (1/(-4)*5)/(b/(-512)) a multiple of 10?
True
Is (-9)/(-126) - 8325/(-70) a multiple of 119?
True
Let h(x) be the second derivative of x**3/3 + 5*x**2 - 14*x. Let l be h(-3). Suppose l*u - 2*m = u + 364, -4*u + 470 = 5*m. Is u a multiple of 34?
False
Suppose -3*j = 369 - 603. Does 2 divide j?
True
Let o(q) = -2*q**2 + 53*q + 44. Let x be 24 - 2/(-3)*(-4 + 7). Is o(x) a multiple of 5?
True
Let w = -20 + 7. Let o be 0 - -1 - (w - -11). Suppose 0 = o*c - 2*c - 6. Is c a multiple of 6?
True
Let v = 41 - 28. Suppose d + v = 47. Suppose -4*i + 2*i = -d. Is 4 a factor of i?
False
Suppose l = -h + 119, -h + 517 - 53 = 4*l. Does 35 divide l?
False
Let u = -919 - -1647. Does 28 divide u?
True
Let a(j) = 11*j**2 - 7*j + 5. Does 13 divide a(5)?
False
Let f(p) = p**2 + 3*p - 24. Let m be f(-7). Let z = -