 a factor of i?
True
Let a(w) = w**3 + 30*w**2 - 59*w + 21. Is 3 a factor of a(-30)?
True
Suppose 10*u - 23741 = 19459. Suppose 323*d = 317*d + u. Does 8 divide d?
True
Let q(i) = 2*i - 5. Let s be q(-9). Let k = s - -29. Suppose 2*f + 0*f + 8 = 0, 0 = 3*x + 3*f - k. Is x a multiple of 3?
True
Suppose -2*f = 24 - 6. Let r be 2*9/(f/(-2)). Suppose -154 = -r*q + 22. Is 4 a factor of q?
True
Let a(c) = 13*c + 47. Suppose 4 = -7*p + 74. Does 6 divide a(p)?
False
Does 54 divide 172138/11 - (-254)/2794?
False
Let b be (-20)/(-50) - 22956/(-10). Suppose b = -11*v + 19*v. Let j = v - 142. Is j a multiple of 28?
False
Let v(w) = -4*w**2 + 7*w + 25. Let s(u) = -u**2 - u + 1. Let i(k) = -6*s(k) + v(k). Let g be i(-9). Suppose -10*z - g = -274. Is 7 a factor of z?
True
Let a be 1/4 - 348/48. Let g = a - -12. Suppose 0 = g*w + 2 - 202. Does 20 divide w?
True
Is ((-213122)/(-104))/((-2)/(-16)) a multiple of 14?
True
Let a be (96/15)/((-8)/(-20)). Suppose 9 = a*s - 13*s. Suppose 2*y - 230 = -s*b, 5*b - 22 = -y + 359. Does 20 divide b?
False
Suppose 3*q - 5*m - 11950 = 0, 3*q - 139*m - 11936 = -141*m. Is q a multiple of 7?
False
Let z = 1135 - 1120. Let v(c) = -23 - 13 + 9*c - 3*c + 9. Does 47 divide v(z)?
False
Let z(w) be the third derivative of -49*w**4/24 + 4*w**3/3 - 28*w**2. Let h be z(-3). Suppose 6*n - 5*n = h. Is n a multiple of 30?
False
Suppose -5*b - 93739 = -4*y - 16519, b - 77196 = -4*y. Is 20 a factor of y?
True
Suppose -6*w - 1226 = 676. Let t = w + 446. Suppose 6*p - p + j - 303 = 0, -2*p - 3*j = -t. Does 10 divide p?
True
Let a = -72 - -75. Suppose -a*j - 1 = 5. Does 5 divide (5/j)/((-2)/24)?
True
Let s be ((-203)/(-29) - (3 - -1)) + 1120. Suppose -5*c - 2*u = -1402, 5*c - c + 3*u - s = 0. Is c a multiple of 16?
False
Suppose 5*u = -3*x - 106, u + 3*u = -2*x - 74. Does 14 divide (1 - -272)/(x/(-18))?
True
Let n = 18404 + -17526. Is n a multiple of 2?
True
Suppose -5*f + 9*f - x + 3 = 0, 0 = -4*x + 12. Let v(o) = -o**3 - 3*o**2 + o + 18. Is v(f) a multiple of 9?
True
Let y(w) = 66*w + 4. Let h be 51/(-119) + 1 + 219/21. Is y(h) a multiple of 73?
True
Let c(x) = 9*x + 227*x**2 + 253*x**2 - 384*x**2 + 9. Does 18 divide c(-2)?
False
Is (-11 - -8) + 320 + 13 a multiple of 15?
True
Let o(y) = -8*y. Let q be o(0). Suppose 4*u + 2*g - 52 = q, u - 1 = -3*g + 2. Is u a multiple of 11?
False
Let w(j) be the third derivative of -2/15*j**5 - j**2 + 0*j + 0*j**3 - 1/120*j**6 - 1/8*j**4 + 0. Is w(-8) a multiple of 16?
False
Let a be 1 + -2 + (1 - -17). Let b(f) = -f**2 + 19*f - 32. Let t be b(a). Suppose 5*j = -t*v + 90, 4*j - 3*v - 15 - 57 = 0. Is 9 a factor of j?
True
Let t(f) = -4*f + 35. Let y be t(9). Let u(v) = -213*v - 1. Let n be u(y). Let h = n + -107. Is h a multiple of 5?
True
Suppose 67 = -3*b - 5*p, 6*b - 7*b = -3*p + 27. Suppose 10668 - 2732 = -4*y. Is (y/b + (-4)/6)/2 a multiple of 5?
False
Let s = -52 - -57. Suppose s*g - 2096 - 1024 = 0. Suppose 3*m + n = g, -m - 5*n = -117 - 77. Is m a multiple of 11?
True
Suppose 0 = -q - 2*a + 220, -4*a = 2*q - 8*a - 472. Suppose 2*g + 2*k = 884, 4*g - 2*k + q - 1966 = 0. Does 23 divide g?
True
Suppose -856 = 5*o + k + k, -12 = 4*k. Let m = 199 - o. Does 9 divide m?
True
Let f(p) = p**3 + 5*p**2 - p + 3. Let s be f(-6). Let l = 60 + s. Is 11 a factor of l?
True
Let z be 517 - (2/8 - 35/(-20)). Does 18 divide (-8414)/(-12) - z/(-618)?
True
Is 35 a factor of (-330)/99*876/(-10)?
False
Let q = 17 - -13. Suppose 367 = -q*c + 31*c. Suppose r - 2*a - 133 = -5*a, -3*r - a + c = 0. Is r a multiple of 24?
False
Suppose 20*v + 100*v - 3642649 = -676609. Is v a multiple of 6?
False
Let q = 77 - 72. Suppose -q*w - 5*t = -25, -35 = -5*w - 2*t - 10. Suppose -w*g + 384 = 54. Does 33 divide g?
True
Let y = 66 - 68. Is 8 a factor of ((-237)/y)/((-54)/(-72))?
False
Let u = 48 + -13. Suppose -37*t + u*t = -316. Is t a multiple of 6?
False
Suppose -26*d = -922084 + 169332. Is d a multiple of 13?
False
Suppose -v + 43398 = 2*p, -5*v - 18765 = -p + 2901. Is p a multiple of 96?
True
Suppose 5*b = -4*g + 28124, 3*b - g - 20035 = -3147. Is b a multiple of 28?
True
Suppose 3 = 7*y - 60. Let f = y - 4. Suppose -3*m + 2*u = -2*u - 420, -f*u = -5*m + 695. Is m a multiple of 30?
False
Suppose 7*r - 208 - 2935 = 0. Is 31 a factor of r?
False
Suppose -5*m = -0*m - 50. Suppose -132 - 288 = -m*u. Suppose -u*s - 780 = -46*s. Is 40 a factor of s?
False
Let o be (-3)/(-9) - (-87)/9. Let y(n) = -n**3 + 9*n**2 + 11*n - 7. Let p be y(o). Suppose 0 = 4*r - p*g + 17 - 44, 5*g + 34 = 3*r. Is r a multiple of 3?
True
Let p be (-6)/(-15) + 104/(-10). Suppose 242 = 7*n + 46. Let k = n - p. Is k a multiple of 6?
False
Suppose 268 - 63 = 41*g. Suppose -g*c = -352 - 1438. Is c a multiple of 24?
False
Is (360/48)/((3/(-40))/((-1212)/30)) a multiple of 92?
False
Let l(d) = 9*d**2 + 77*d + 112. Is l(-11) a multiple of 2?
True
Suppose -80*h = -67*h - 78. Suppose -5*r = -25 + 10. Suppose 3*a = h*a - 3*p - 351, r*a = -3*p + 375. Is a a multiple of 11?
True
Let m be (-3)/6*0 + 65. Let w = 635 + -502. Let c = w - m. Is c a multiple of 17?
True
Let c be ((-6)/(-10))/(22/880). Let w be 6/c*(0 + 0). Suppose 2*f + 34 - 74 = w. Is f a multiple of 3?
False
Let w = -16724 + 23907. Is 93 a factor of w?
False
Suppose 4*m + 21 = 13. Let n(c) = -8*c - 13. Let x be n(m). Suppose -x*r = 5*f - 290, r - 44 = 5*f + 86. Is 35 a factor of r?
True
Let l be (15/18)/5 - 407480/(-240). Does 34 divide (1 + l/30 + -3)*5?
False
Is (8 - (-64962)/(-45))/(2*3/(-90)) a multiple of 14?
False
Let s = -26221 - -43558. Does 45 divide s?
False
Let u(o) = -2*o**3 - 4*o**2 + 3*o + 8. Let a be u(-3). Suppose 0 = a*v - 371 - 1312. Is v a multiple of 9?
True
Let j = 1118 + 641. Does 120 divide j?
False
Suppose -4*p + 129932 = -4*r, 4*p - 15*r = -12*r + 129931. Is p a multiple of 28?
False
Suppose -15834 = -14*v + 3962. Is v a multiple of 31?
False
Suppose -3*v = 3*l - 906, 2*l - 805 = 4*v - 231. Let r = l + -259. Is r a multiple of 4?
False
Let f = 35 - 52. Suppose 36*v - 38*v + 294 = 4*o, -291 = -4*o + v. Let k = o + f. Is k a multiple of 21?
False
Let v(y) = y**3 - 4*y**2 - 8*y + 15. Let l be v(5). Let a(n) = n**2 - 3*n + 3. Let f be a(l). Is 20 a factor of 124 + (4 - 0) - f?
False
Let d(p) = p + 5. Let s be d(-5). Suppose 3*g - 5*j = 4*g + 181, -j = s. Is g/(-2) + 1/(6/(-9)) a multiple of 8?
False
Suppose 2*a - 13 = -a - 5*s, 4*a = 5*s - 6. Let h be a*10/(-5) - 4. Does 15 divide 632/3 - -6*h/54?
True
Let j(z) = -384*z**2 + 6*z - 5. Let a(m) = 384*m**2 - 6*m + 6. Let d(c) = -5*a(c) - 6*j(c). Is d(1) a multiple of 63?
True
Let t(j) = j**3 + 4*j**2 + 7*j + 8. Suppose -5*h = -12*h - 14. Let b be t(h). Suppose 4*m - b*u - 764 = 0, 2*u = 6 - 2. Is m a multiple of 42?
False
Let k(q) = -2*q**3 - 9*q**2 + 6*q + 3. Let g be k(-5). Let f be 1*(2 + 72) + g. Let s = f - 50. Is s a multiple of 13?
False
Suppose -8 = 2*d - 4*d. Suppose 12*j - 15*j - d*z + 180 = 0, -5*z + 177 = 3*j. Does 32 divide j?
True
Suppose -s - s - 5*v = -10, v = s + 2. Suppose s = -5*c - y - 13, 3*c + 17 = 4*y - 0. Is (c*8/(-36))/(1/21) a multiple of 8?
False
Suppose -108 = 9*b - 1044. Does 8 divide b?
True
Is 11 a factor of (27093 - 3)/(-7)*4/(-12)?
False
Suppose -4*c - 2*f = -8, 3*f = 5*c + 6*f - 9. Let t be (c/(-2))/(15/(-70)). Suppose 4*l = i + 131, 5*l - 190 = -t*i + 3*i. Is l a multiple of 17?
True
Let g = -55 + 59. Suppose -2*w + 7 = 3*a, w = -2*a - w + g. Let n = 5 + a. Is 6 a factor of n?
False
Suppose 5*t - 3810 = -u, 3*t = -39*u + 37*u + 7641. Is u a multiple of 22?
False
Suppose -a - 3*a + 3890 = 3*n, 6478 = 5*n + 4*a. Is 12 a factor of n?
False
Suppose -69*d + 1337 = -68*d - a, 20 = 4*a. Is 11 a factor of d?
True
Let d = 25 + -22. Suppose d*x - x - 64 = 2*o, -2*o - x - 55 = 0. Let h = o - -51. Is 19 a factor of h?
False
Let b(u) = 3684*u - 508. Is 16 a factor of b(3)?
True
Is (-54)/81 - 6/(-9)*3247 a multiple of 46?
False
Suppose 112 = 11*v + 2. Let r = 7 - 14. Does 15 divide r/((-35)/25)*52/v?
False
Is 115/(-23) - (-3791 - -2) a multiple of 14?
False
Let t(o) = o**2 + 14*o + 5. Let l be t(-14). Suppose -l = -5*n + 10. Suppose 15 = n*a + 3. Is 4 a factor of a?
True
Let y be (1/(-2))/(3/30). Let x = -2 - y. Suppose -2*h - 5*i = -200, 0 = 2*h - x*h - i + 97. Is h a multiple of 19?
True
Suppose -450*t = -x - 454*t + 867, 