 Let q = -501 + a. Does 15 divide q?
True
Suppose -2*n - 1889 = -m + n, 4*m - 7511 = -3*n. Is 94 a factor of m?
True
Let l = -18 - -39. Does 24 divide (7/(l/(-261)))/(-1)?
False
Let z be 4/10 - (-804)/(-60). Let k be (0 - 1)/(z + 12). Does 5 divide (k - 12/9)*207/(-3)?
False
Let p be 3/(-1*18/(-12) + -3). Let o(d) = 45*d**2 + 7*d + 13. Does 3 divide o(p)?
False
Suppose 3*y + 4*r - 18 - 7 = 0, -4*r + 7 = -3*y. Suppose 0 = i + 5*n - 234, -2*i + y*n + 936 = 2*i. Is i a multiple of 10?
False
Let r(p) = p**3 + 13*p**2 + 20*p - 17. Let v be r(-12). Let f = -108 - v. Suppose -2*s - f*z = -133, -5*s + 48 = -z - 217. Does 22 divide s?
False
Suppose -5*d + 27*n + 13410 = 31*n, 0 = -d - 5*n + 2661. Is d a multiple of 28?
False
Let g be 9/(18/(-8)) - -8. Let k(j) = -6*j**2 + g*j - j**3 + 14 + 4*j - 2*j - 2*j**2. Is 18 a factor of k(-10)?
False
Let j(c) = c**3 + 21*c**2 - 38*c - 25. Suppose 3*v = -6, 0 = a + 3*v - 0*v + 28. Does 22 divide j(a)?
False
Suppose 4*k + 3*r = 52873, 3*k + 10*r - 39641 = 5*r. Is 120 a factor of k?
False
Let d(a) = 6082*a**3 - 5*a**2 - 64*a + 67. Is 95 a factor of d(1)?
True
Let w(i) = -i + 1. Let o(x) = 10*x + 22 - 19 + 5*x. Let m(p) = o(p) - w(p). Is 14 a factor of m(6)?
True
Let q(t) = -2*t**3 - 3*t**2 - 4*t - 3. Suppose -4*d - 4 = -2*h, -5*h + h - 5*d - 18 = 0. Let c be q(h). Suppose i = c*i - 120. Is i a multiple of 3?
True
Suppose 581*x - 577*x = -5340. Does 8 divide (-470098)/x + 2/(-15)?
True
Suppose -567 = -5*l + 583. Suppose 3*y + 42 = 51. Does 12 divide ((-12)/(-8))/y*l?
False
Let p(v) = -2*v**2 - 17*v + 10. Let l be p(-9). Suppose 2*a = 2*y - 6, y = 3*a + l - 2. Suppose 5*d + 3*u - 875 = u, -860 = -y*d - 5*u. Is d a multiple of 29?
False
Let n = -108 - -109. Suppose -7*h + 6*h + n = 0, 0 = 2*x + 3*h - 1043. Is 13 a factor of (-27)/(-18)*x/6?
True
Suppose 2*d - 5*u = 31, -3*d - u + 4*u + 42 = 0. Let y = d - 77. Is 16 a factor of 0 + -1*y/4?
True
Let f = -1 + 4. Suppose f*x - 61 = 95. Does 13 divide (25/2 - -1)*x/39?
False
Suppose -21 = p - 5*t, 2*p - 5*p + 5*t - 13 = 0. Suppose -p*d = -688 + 208. Does 30 divide d?
True
Suppose -6*z - 9 = -3*g - 4*z, 0 = -2*z. Suppose -5*r - 26 = -11, 0 = i + g*r - 362. Does 42 divide i?
False
Suppose -4*y - 195 = -5*y. Suppose 6*k + y = -267. Let g = k - -127. Does 10 divide g?
True
Let c be (-234)/(-4)*1*880/24. Let v(q) = -q**3 + 7*q**2 + 10*q - 8. Let n be v(8). Suppose 0 = -n*j - 7*j + c. Is 33 a factor of j?
False
Suppose -2*q + 3*h - 28 = 7*h, 4*q - 2*h + 26 = 0. Suppose 4*r = -o + 22, 0 = -3*o + 2*r + 16 + 78. Let f = o + q. Does 11 divide f?
True
Let n = -221 + 315. Suppose -2*q = -5*a - n, -5*q - a = 4*a - 200. Suppose 0*m = -2*m + q. Is 5 a factor of m?
False
Suppose l - 800 = -4*l. Suppose 5*s - 784 - 36 = 0. Suppose 6*v - s = l. Does 23 divide v?
False
Is 13 a factor of 4445 + 11 - (-1 + 6)?
False
Let c(m) = -4*m + 10. Let t be c(-15). Suppose 0 = -55*z + t*z - 3720. Is z a multiple of 4?
True
Let w(i) = 2*i**3 - 5*i**2 - 2*i - 3. Let u be w(-2). Let y(c) = -4*c - 19. Is y(u) a multiple of 11?
True
Let o(n) = -n**3 + 2*n**2 + 2*n - 2. Let w be o(-2). Suppose -11*z = -w*z. Suppose -c - 4*g = -3*c + 22, 2*g = z. Is 2 a factor of c?
False
Let w = -958 + 58. Does 50 divide w*3*(-7)/42?
True
Let r be 5/20 + (-26)/8. Let b(a) = -4*a + 37. Let h(u) = 3*u - 36. Let g(z) = r*h(z) - 2*b(z). Does 9 divide g(7)?
True
Let q = 101 + -113. Let a be -14 - ((6 - 3) + q/2). Let h(z) = z**2 + 5*z - 18. Is h(a) a multiple of 6?
True
Let k = 155453 - 110680. Is k a multiple of 29?
False
Let t(d) = 22 - 5*d**2 + 3*d - d**3 - 9*d + 2*d + 9*d. Let g be t(-9). Let k = g + -174. Does 16 divide k?
False
Is (-2)/((-2 - 55456/(-27726))/(48/(-18))) a multiple of 240?
False
Let w be 14 + -26 - (2 + -4). Let d(k) = 0*k + 1 + k + 42. Is 2 a factor of d(w)?
False
Let b(p) = -11*p - 7. Let y be b(-2). Suppose -f + 238 = 3*d, y*d = 14*d - 3*f + 90. Is d a multiple of 3?
True
Let u(y) = -14*y**3 + 2*y**2 + y. Let f be u(-2). Suppose 12*b - 530 = f. Is b a multiple of 29?
False
Let v(o) = -3*o**2 + 48*o + 21. Let f be v(16). Let x = 296 + f. Does 6 divide x?
False
Let x = -9223 - -33327. Is 92 a factor of x?
True
Is (-3 - -1 - 2)*(35216/(-64) + -23) a multiple of 9?
False
Is 24 a factor of (-13 - 1748 - 3)*78/(-9)?
True
Let u(j) = 14*j**3 + j**2 + j - 9. Let h be u(3). Let i = -62 + 41. Is 7 a factor of h/9 + 7/i?
True
Does 208 divide (-5)/35 - 529600/(-56)?
False
Suppose -20*t + 19*t = -502. Let z = t - -122. Is z a multiple of 48?
True
Let a(b) = b. Let t(w) = -5*w - 18. Let z(s) = a(s) + t(s). Let o be z(-4). Does 9 divide 18/(1 + o/(-4))?
False
Suppose 28*o = 36*o - 120. Suppose -o*u + 16*u = 455. Does 13 divide u?
True
Let z = -17682 - -23688. Does 39 divide z?
True
Let y be (34 - 31)/((-1)/(827/(-3))). Suppose -4*h + 2607 = y. Does 7 divide h?
False
Let h(a) = -333*a - 117. Let r be h(-6). Suppose 2*d - 6*d - r = -3*p, -3*d = -p + 632. Does 12 divide p?
False
Suppose -219428 = 131*b - 147*b + 4*m, 13723 = b - 2*m. Does 36 divide b?
False
Suppose -29*u + 12323 - 3362 = 0. Is 5 a factor of u?
False
Let u = -15 + 12. Let g(x) = 7*x + 5. Let l be g(u). Does 17 divide (-2)/l*4*50?
False
Let a(m) = -3*m - 137. Let u be a(0). Let s = u - -244. Is 16 a factor of s?
False
Is (282/30 - -1)/(-4 - 4323/(-1080)) a multiple of 18?
True
Does 14 divide -1 - -37996 - (2 + -18)/16?
True
Let k(o) = -3*o + 15. Suppose 0 = -5*c + 4*i - 121, -5*c - 99 - 24 = -2*i. Is k(c) a multiple of 9?
True
Let f(j) = 13 - 223*j - 23*j - 280*j - 149 - 204. Is f(-4) a multiple of 18?
True
Let y = -296 + 1776. Is y a multiple of 148?
True
Let t = -6923 - -7748. Does 25 divide t?
True
Let p = 5707 + -4311. Is 101 a factor of p?
False
Suppose 116268 = 76*h - 190088. Is 41 a factor of h?
False
Suppose -15*n + 18*n - 5819 = -4*l, 5*n + 5843 = 4*l. Is l a multiple of 5?
False
Suppose -10*b + 144 + 26 = 0. Suppose 2567 + 4131 = b*f. Does 40 divide f?
False
Let s be 1084/6 - 3/(-9). Let y be -44 + -89 + (2 - -3). Let f = s + y. Is f a multiple of 10?
False
Suppose 0 = 24*s - 14941 - 87683. Is s a multiple of 50?
False
Suppose 3*y + 11 + 16 = 0. Does 3 divide 3/y - 1275/(-45)?
False
Suppose 6*d - 63 = -3*d. Suppose d*z - 130 = 1634. Suppose 31*s - z = 29*s. Does 14 divide s?
True
Suppose 22780 = 5*a + 3*z, -a - 5*z + 1622 = -2912. Is a a multiple of 47?
True
Is 54 a factor of 4*40/(-32) + -5 + 3 + 8472?
False
Let l(z) = 5245*z - 229. Does 152 divide l(1)?
True
Let g be (4 - 21/7)/((-2)/(-10)). Suppose o - 252 = -5*i + 142, 0 = g*o + 4*i - 1991. Is o a multiple of 21?
True
Suppose -692578 = -79*u + 1441138 - 23468. Is u a multiple of 56?
True
Let h = 537 - -1. Let p = h - 214. Is p a multiple of 27?
True
Suppose 2*z - 13452 = -q, -35*z + 15 = -30*z. Is 162 a factor of q?
True
Suppose -6*q + 7 + 11 = 0. Suppose -q*h = 3*c - 2124, -3*h + 1401 = -h - c. Is 15 a factor of h?
False
Let v(f) = f**3 - 36*f**2 + 79*f - 511. Is v(39) a multiple of 94?
False
Let f = -5635 - -8995. Does 14 divide f?
True
Let x = -953 - -1557. Suppose -y - n + 305 = -6*n, -2*y = -4*n - x. Is y a multiple of 33?
False
Let m be (54 - 0) + 2/8*20. Suppose 8*w - m*w = -7395. Is 11 a factor of w?
False
Let l = 10603 - 7939. Is l a multiple of 23?
False
Suppose -3*o = -2*w + 16249, -70*o + 71*o = -4*w + 32449. Is w a multiple of 14?
False
Let q(h) be the third derivative of -h**6/120 - h**5/30 + 25*h**3/6 + 3*h**2. Suppose 0 = -3*l - 2*m - 8, m + 6 = 4*l + 2. Is 4 a factor of q(l)?
False
Let a = -195 + 311. Suppose 1529 + a = 5*x. Let v = x + -186. Is v a multiple of 12?
False
Suppose -29*p + 25*p + 670 = 5*l, 0 = 3*p + 2*l - 499. Suppose -10*c + 5*c = -p. Does 5 divide c?
False
Let l(g) = 10*g**2 - 300*g + 33. Does 7 divide l(36)?
False
Let m = 42 - 63. Let o = 21 + m. Suppose -b + 326 = 5*c, o = 5*c + 2*b - 0*b - 322. Is 15 a factor of c?
False
Let i be 230/18 - (-4 + 68/18). Let n be 338/i + 2*-1. Let o = 40 - n. Is 4 a factor of o?
True
Let r be (-19 - 16/(-4))/((-1)/31). Suppose c = -2, -2*x - 5*c + 625 + r = 0. Is x a multiple of 10?
True
Let n be (5/(-30) - (-23)/(-6))*1. Let r be -1 - 0 - (-7 - n)*19. Suppose -50 = -o + r. Does 11 divide o?
False
Suppose -5*k - 3*o - o + 43 = 0, 49 = 5*k + 2*o. Suppose 7*m + 2*z + 1146 = k*m, -4*z + 12 = 0. Is m a multiple of 48?
True
Let h