 1008 = -d*i. Is 13 a factor of i?
False
Let x(w) = w**2 + 55*w + 2259. Is 8 a factor of x(-44)?
False
Let a(l) = -l**3 - 8*l**2 - 12*l. Let w be a(-6). Suppose w*n + n = 246. Is 26 a factor of n?
False
Suppose 4*a + 4*q = 400, 4*a + q - 392 = -q. Does 11 divide a?
False
Let m(f) = f + 0*f**3 + 12*f - 9*f**2 + 11 - f**3 - 6. Let q be m(-10). Is 14 a factor of -745*(-3 + (-70)/q)?
False
Suppose -5*g + 1261 = 251. Let z = 48 - -67. Let d = g - z. Does 25 divide d?
False
Suppose 4*p - 6450 = -8*t + 5*t, 5*p - 5*t - 8080 = 0. Suppose -6798 = -6*c - p. Does 27 divide c?
True
Let d = 431 - 676. Is (-2)/(-7) - 229250/d a multiple of 13?
True
Suppose -u + 7 = -c, 2*c - c = -4*u + 23. Let i(s) = 31*s**2 + 14*s. Does 48 divide i(u)?
True
Does 7 divide ((-200241)/513)/((-1)/3) - (-1 + -3)?
False
Let c = 7 - 5. Let w = 415 + -148. Suppose -4*u = -5*j + w, 4*j + c*u = 3*j + 59. Is j a multiple of 11?
True
Let s = 579 - 575. Suppose -6958 = -5*d - 2*a, -d - s*a - 2788 = -3*d. Does 16 divide d?
True
Let p(v) = 59*v**2 + 364*v - 12. Does 15 divide p(-9)?
False
Suppose 390 = -2*q + 4*l, q - 6*q = -l + 957. Let k = q - -355. Does 4 divide k?
True
Suppose -z = -3*a + 17, 4*a - 8 = -2*z - 12. Let q(k) = -3*k**3 - 16*k**2 + 2*k + 8. Is 28 a factor of q(z)?
True
Let l = -45 + 770. Is 25 a factor of l?
True
Let i be ((-19)/57)/((-1)/3). Let d = i - 23. Let n(l) = -l**3 - 22*l**2 - 6*l + 16. Is n(d) a multiple of 13?
False
Let q(v) = -3*v**2. Let w(g) = -10*g**2 + 29*g - 31. Let u(b) = -3*q(b) + w(b). Does 75 divide u(24)?
False
Suppose 24*g - 11993853 + 4676583 = -386*g. Is 27 a factor of g?
True
Suppose -15*m + 12*m - 2*w = -10097, 0 = 2*m - 3*w - 6727. Is 142 a factor of m?
False
Let h(n) = 85 + 106 + 98 + 50 + 58*n - 67. Does 12 divide h(22)?
True
Let f = 131 - 137. Let h(z) = 9 + 8 - 7 + 13*z - z**3 + 3 - 3*z**2. Is h(f) a multiple of 4?
False
Suppose 4*d - 2*y = 299 + 535, -4*y = -d + 198. Suppose 630 = j + d. Does 30 divide j?
True
Is (2924/170)/((-558)/(-555) + -1) a multiple of 5?
False
Suppose -33 - 24 = -19*c. Let r be c/21*10*-7. Is 27 a factor of (-435)/r*(-8)/(-6)?
False
Let z(l) = l**2 - 8*l - 5. Let u be 8 - ((0 - -2) + -2*1). Suppose 4*q - u = -2*o - 38, -o - 5*q = 24. Does 23 divide z(o)?
False
Let d = -503 - -521. Suppose 3*v + 2*f = 95, 5*f - 62 = -3*v + d. Does 11 divide v?
False
Let v(s) = -83*s**3 + 14*s**2 - 25*s - 4. Let w(z) = -55*z**3 + 10*z**2 - 17*z - 2. Let u(a) = -5*v(a) + 7*w(a). Is u(4) a multiple of 30?
True
Suppose 4 + 2 = q. Suppose -9 - q = -3*u. Suppose -l + 198 = -u*v + 889, 3*l = -3. Is 11 a factor of v?
False
Does 50 divide (-1 - (-33104)/28)/(11 + 608/(-56))?
False
Suppose -3*b - 318 = -5*i + 413, -2*i = -3*b - 746. Let c = -171 - b. Is c a multiple of 3?
True
Let d(v) = 2902*v + 2448. Does 14 divide d(4)?
True
Suppose -10 = -4*m - v, -10*m + 5 = -7*m + 2*v. Suppose 0 = m*w - 9*w. Suppose 0 = -2*f + l - w*l + 139, 3*l = 15. Is f a multiple of 24?
True
Let x(f) = 10*f + 4. Suppose -a + 6 = -v + 7, 4*v = 3*a + 8. Let z be x(v). Suppose -5*h = 4*n - 3*h - z, -2*n + 12 = -4*h. Is 6 a factor of n?
True
Let r = -180 + 189. Is r*(15/(-75) - 612/(-10)) a multiple of 53?
False
Let q(y) = 2*y**3 - 8*y**2 + 4*y + 14. Let v be q(5). Let p be ((-60)/14)/((-5)/35). Let c = p + v. Is c a multiple of 38?
True
Let v(c) = 51*c**2 + 3*c - 2. Let g be v(1). Suppose k = g + 48. Does 10 divide k?
True
Let t(r) = -r**3 - 12*r**2 + 3*r + 24. Let o = 1 + -13. Let s be t(o). Is 9/s + 561/12 a multiple of 16?
False
Suppose -4*y - 3*f = -4, 0 = -y - 5*f + 7 - 23. Suppose 2*j + 2*x - 2 = 0, -y*j - x - 4*x = -6. Is 5 a factor of 31*-3*j*1/3?
False
Let z(r) = -r**2 - 6*r + 4. Let b be z(1). Is (-214)/(-1) + b/(-3) a multiple of 17?
False
Let u(z) = 10*z + 3. Let r(l) = -189*l - 56. Let m(y) = -3*r(y) - 56*u(y). Let t be m(-1). Is (t + 4 - 3)*(-132)/9 a multiple of 13?
False
Let y be (-68)/306 + (-1)/((-9)/11). Let a = -115 - -37. Is (-13)/(a/84) - -4*y a multiple of 12?
False
Suppose -3 = -2*b + 5. Let q(c) be the third derivative of 13*c**4/24 - 17*c**3/3 - 3*c**2 - 289. Does 16 divide q(b)?
False
Suppose 314*t - 829*t = -2697570. Is t a multiple of 18?
True
Is ((-5)/(-30))/((-28)/(-5348952)) a multiple of 170?
False
Suppose -y + 3176 = 2*g, y - 2*y + 3164 = -g. Does 33 divide y?
True
Suppose 5*m - 44 = 3*l, -2*l - 2 = -3*l. Let i = m + -6. Suppose -5*g - 86 = -t, -i*t = 2*g - 273 + 17. Is t a multiple of 11?
True
Let y(x) = -8*x + 202. Let j be y(23). Suppose 2*s + 510 = -j*w + 23*w, 5*s = 5*w - 525. Does 2 divide w?
True
Let h = 27155 + -16971. Does 106 divide h?
False
Let n(k) = 6*k**2 - 15*k - 1. Is 7 a factor of n(13)?
False
Let x(t) = -2*t - 82. Let n be x(0). Let v = n + 52. Does 22 divide 218 - (v/(-5))/3?
False
Let d = 73 - 79. Let c be 45/d*(-880)/25. Suppose -54*l = -51*l - c. Is l a multiple of 24?
False
Let h(f) = f**3 + 14*f**2 - 8*f - 9. Suppose 0 = 5*i - 5*l + 19 + 36, 2*l = -3*i - 38. Let d be h(i). Suppose -10*k + 7*k + d = 0. Is k a multiple of 25?
True
Let v be (-7 - (-3 + -3))/((-3)/(-6)). Does 6 divide 46 - v/3*3?
True
Let n = -111 - 19. Let i be 1538/(-10) - ((-234)/30 + 8). Let m = n - i. Is 6 a factor of m?
True
Suppose -30*d + 10178 = -16*d. Is d even?
False
Let s be 19/(-38)*(-146 - 0). Let f = -30 + s. Let k = f - 13. Is 15 a factor of k?
True
Suppose 8*t = 122 + 22. Let b(j) = 12*j**2 - j + t - 14 - 8. Is 17 a factor of b(3)?
False
Let i(t) = -t**3 - 3*t**2 + 2*t - 1. Let j be 3/((-117)/84) - (-2)/13. Let l be i(j). Is 16 a factor of 223/(-33)*l - (-4)/22?
False
Let z(o) = 7*o**3 + 22*o**2 - 6*o - 69. Let i(k) = -10*k**3 - 33*k**2 + 10*k + 103. Let c(a) = -5*i(a) - 7*z(a). Is c(7) a multiple of 13?
False
Let f(v) = 2*v**2 - 36*v - 162. Let l be f(22). Suppose -4*y + 4*a + 1244 = 0, -3*y + l*a - 12*a + 934 = 0. Is 12 a factor of y?
True
Let v = 72 - -161. Suppose 18*y - 703 = v. Is y a multiple of 26?
True
Let x(a) = a**3 - 7*a**2 + 3*a + 3. Let g be x(6). Let l(y) = y**2 + y - 1. Let b(h) = 7*h**2 + 27*h + 12. Let p(w) = -b(w) + 6*l(w). Does 18 divide p(g)?
True
Suppose 5 = i, -i - 166 = -2*x - 673. Let j = x + 540. Is 17 a factor of j?
True
Does 27 divide (1/(-4) - 122/(-40))*(-565060)/(-152)?
False
Suppose -10 = -98*f + 93*f. Let j(s) = 14*s**3 + s**2 - 2*s. Is j(f) a multiple of 7?
True
Suppose 37*t = -344*t + 1212342. Is t a multiple of 37?
True
Let c(p) = -p**3 - 5*p**2 - 2*p - 9. Let w = -8 - -3. Let k be c(w). Is 4 a factor of 21 + -19 - 120/((-2)/k)?
False
Let o be 3201 - (24/(-6))/(1 - 5). Suppose -51*v + v = -o. Is 8 a factor of v?
True
Let l be (118/(-8))/(-4 + 75/20). Suppose -f + 6 = 5*b - l, 5*f + 2*b = 302. Is 20 a factor of f?
True
Let f(v) be the third derivative of v**5/15 - 35*v**4/24 + 122*v**3/3 - 274*v**2. Is f(12) a multiple of 80?
True
Suppose 3998752 = 130*b + 9*b. Is 31 a factor of b?
True
Let y(u) = -u**2 + 11*u + 4. Let v = -22 + 26. Suppose v*o - 5*x = 12, 0 = -4*o - 0*o - 4*x + 48. Is 4 a factor of y(o)?
True
Suppose -8*q - 55 = -13*q. Suppose -3*w + 2834 = 2*s, -q*w - 2*s + 4730 = -6*w. Is 18 a factor of w?
False
Is 1 + 2 - (-6776 - (27/(-9) - 8)) a multiple of 16?
True
Suppose k - 2*p - 12776 = -3*p, 2*k - 25588 = 4*p. Is k a multiple of 77?
True
Let y = -2241 - -7323. Is 154 a factor of y?
True
Does 219 divide (1023/15 + -3)*(134 + -14)?
False
Suppose 5*x - 180 = -31*d + 32*d, -x - 1 = 0. Let b = 229 + d. Is 5 a factor of b?
False
Let x(j) = 2*j + 7. Suppose a + 34 = -4*s, -4*s + a = 11 + 27. Let i be x(s). Let r(w) = -2*w**3 - 22*w**2 - 2*w + 1. Is 3 a factor of r(i)?
False
Let y(m) be the third derivative of -5*m**4/8 - 34*m**3/3 - 11*m**2 + 1. Does 6 divide y(-15)?
False
Is ((-12888)/(-12))/((-1000)/252 + 4) a multiple of 19?
False
Let n(p) = 2*p**2 + 68*p + 52. Let t be n(-31). Suppose 0 = -2*a + 4*f + 400, 0*a + 4*a - 3*f = 780. Let h = a + t. Is 29 a factor of h?
True
Let g(p) = p**3 + 8*p**2 - 3*p + 6. Let i be g(-4). Let v = i - -183. Is v a multiple of 44?
False
Let h be 3089/9 + 10/(-45). Suppose -3*k = -x + h, -k + 3 = 6. Is 44 a factor of x?
False
Let r be 12*426/(4 + 2). Let x = r - 515. Is 45 a factor of x?
False
Is (-166324)/344*(-1)/((-1)/(-56)) a multiple of 44?
False
Is (-20)/(-2) + 3945 + -172 a multiple of 18?
False
Suppose -6*g + 59 + 43 = 0. Suppose -6570 = 8*y - g*y.