-1 - -12) + 4) a multiple of 4?
True
Let q = -4 - -7. Let f(o) = -o + 4*o**q - 4*o**3 - 13*o**2 + 15*o**2 + 7*o**3. Is 4 a factor of f(1)?
True
Let i be (-78)/2 + 8/2. Let m be ((-54)/5)/((-7)/i). Let p = m + 78. Is 8 a factor of p?
True
Suppose -23*j = -28*j + 515. Let t(q) = -6*q**2 + 5*q + 4. Let i be t(-3). Let m = j + i. Does 33 divide m?
False
Suppose -3*j + 9 = 57. Let a = j - -21. Suppose -24 = -a*h + 36. Is 4 a factor of h?
True
Let l be 6*1*2/3. Suppose z - 25 = -4*i, -l*z - 2*i + 5 = -5*i. Is 1/(0 - (-1)/z) even?
False
Suppose -a + 9 = 1. Let v be a/(-6)*30/(-5). Suppose -2*g - 2 = -v, 3*z = 4*g + 15. Does 9 divide z?
True
Let z(w) = w**3 + 10*w**2 - w + 5. Let d be z(-10). Suppose -2*y + 5*m = 3*y - 50, 0 = -y + 5*m + 14. Suppose d*o = y*o + 720. Does 30 divide o?
True
Suppose -12*h + 5*h + 16359 = 0. Does 105 divide h?
False
Let f(n) = -5*n + 3. Let j be ((-45)/(-10))/9*-6. Is 2 a factor of f(j)?
True
Suppose 402 = -12*a + 1926. Is a even?
False
Let g(p) = p**2 + 12*p - 7. Suppose -o + 58 = -5*o - 3*n, 0 = o - 3*n + 7. Let a be g(o). Suppose -x - x + a = 0, t + 3*x - 61 = 0. Is 10 a factor of t?
False
Let o = -1331 + 2628. Is 5 a factor of o?
False
Suppose 0*d + 4*d - 72 = 0. Suppose -w = 4, -5*w + 52 - d = 2*z. Does 9 divide z?
True
Let l = 181 - 73. Let k = l + -18. Is k a multiple of 13?
False
Suppose 23*m - 1716 = 21*m. Does 26 divide m?
True
Let z = -1002 - -1436. Is 8 a factor of z?
False
Suppose -6 = 3*g - 0. Does 5 divide ((-8)/10)/(g/50)?
True
Let g = 15 + -9. Is (-1)/(946/474 + g + -8) a multiple of 17?
False
Suppose 0 = -5*t + 85 - 20. Suppose -g - t = -78. Is 25 a factor of g?
False
Is 42 a factor of (-28)/6*(-30)/70 + 388?
False
Let y(m) = -215*m - 345. Does 15 divide y(-6)?
True
Suppose 4*c + 219 = 1031. Suppose 0 = -5*r + 4*w + c, w + 49 = r - 4*w. Suppose -o - r = -4*o. Does 9 divide o?
False
Let z(w) = -2*w**3 - w**2 - w - 2. Let v be ((-3)/9)/((-2)/(-12)). Let j be z(v). Suppose j = q + y - 5*y, q + 2*y = 0. Is q a multiple of 3?
False
Let v = 13 + -9. Suppose -z - 45 = -v*z. Does 13 divide 4/(-10) - (-636)/z?
False
Let v(t) = t - 4. Let m be v(9). Suppose -m*n + 50 = -30. Is 11 a factor of n?
False
Suppose -5*q - 3*g - 166 = -0*q, -2*g + 146 = -4*q. Let m = 28 - q. Does 7 divide m?
True
Suppose -a = 5*z - 6606, -13*z + 5*a - 6610 = -18*z. Does 19 divide z?
False
Let c be 1/(2/(-6)) + (-264)/(-44). Suppose 0 = c*n, -5*b + b + 708 = -3*n. Is 21 a factor of b?
False
Is 3734/12 + 2/(-12) a multiple of 8?
False
Suppose k + 9 = -3*g, 2*k - 3*g - 6 = 3. Does 20 divide 117/(1 - k) + (-3)/(-1)?
True
Suppose 2*k + 0 = 90. Suppose -2*p - k = 3*p. Is 3/p + (-61)/(-3) a multiple of 7?
False
Let v = 1068 + -555. Does 9 divide v?
True
Suppose -s - 2*b - b - 27 = 0, -b = -5*s - 183. Let w(k) = -k**3 + 8*k**2 - 6*k + 7. Let x be w(7). Let d = x - s. Does 18 divide d?
False
Let c = 724 - 653. Is c a multiple of 71?
True
Suppose -4*i + 3*i - 7 = 3*s, -5*i - 5*s - 5 = 0. Suppose -3*r - r + 718 = i*f, 184 = r - 4*f. Is r a multiple of 45?
True
Suppose 254 + 1608 = 14*h. Does 7 divide h?
True
Suppose 4*v - 20 = 0, 1923 = h - 39*v + 41*v. Is h a multiple of 81?
False
Suppose 0 = 28*u - 23*u - 915. Is u a multiple of 2?
False
Let r(x) = 2*x**2 + x - 4. Let l be r(0). Is 12 a factor of ((-304)/12)/(l/6)?
False
Let m(w) = 2 - 2*w**2 + 3 + w**2 - 5*w. Let n be m(-5). Suppose 5*q = -4*j + 112, -n*j = -q + 4*q - 140. Is j a multiple of 14?
True
Let c be (-240)/(-39) - (-8)/(-52). Suppose -2*b - 3*b - 2*p + 27 = 0, -b + c = p. Suppose b*k = 4*k + 20. Is 6 a factor of k?
False
Is 19 a factor of (-7)/(49/(-70)) - -1041?
False
Is ((-31)/(-3))/((-163)/(-1956)) a multiple of 25?
False
Suppose b + 16*y = 19*y + 654, 3*b - y - 1954 = 0. Does 21 divide b?
True
Let t(j) = -j**3 + 7*j**2 - 15*j + 6. Let s be t(10). Let n = -204 - s. Is 60 a factor of n?
True
Let z(m) = m**2 - 2*m - 1. Let u be z(3). Suppose u*p + g = 13, p + 2 = -4*g - 2. Is 4*(36/p + 0) a multiple of 9?
True
Let y(i) be the first derivative of i**3/3 - 2*i**2 + 12*i - 12. Is 24 a factor of y(9)?
False
Let a be 15/(-15)*(1 - 1). Suppose 3*k - 6*k + 12 = a. Suppose 9 = b + k*n - 14, 0 = 4*n. Is 18 a factor of b?
False
Suppose -n + 60 + 102 = 0. Suppose -2*w + 80 = 4*m - 42, -3*w + n = -m. Let q = w + -17. Is q a multiple of 14?
False
Let d(f) = -43*f - 19. Is d(-6) a multiple of 34?
False
Let t = 1 + 7. Suppose 4*y = v + v - t, 0 = 5*y + 3*v - 12. Suppose y = -5*a + 17 + 178. Does 13 divide a?
True
Suppose 2*y - 1480 = -164. Does 47 divide y?
True
Suppose -x + 201 = -f, 5*x - 396 = -3*f + 617. Suppose -i = -2*s - x, 2*i - 297 = 5*s + 109. Is i a multiple of 18?
True
Does 3 divide 1232/21 - (-6)/(-9)?
False
Let l(o) = o**3 - 27*o**2 + 21*o - 33. Is 21 a factor of l(27)?
False
Does 15 divide 2973259/1675 + (-2)/25?
False
Let w be 3 + 33/(-15) - (-772)/10. Suppose -258 = -10*i - w. Is i a multiple of 6?
True
Let f(i) = i**2 + 7*i. Let s be f(-7). Suppose -2*k + 4 = -s*k. Suppose -85 = -a + 4*h, 5*a + 4*h - 375 - k = 0. Is a a multiple of 21?
False
Suppose -5*t + 3*x = -309, -2*t + 2*x = 2*t - 246. Let i be (t/(-25) - -2)*-180. Suppose i + 32 = 2*l. Is l a multiple of 13?
True
Let k = 64 - 141. Suppose -5*y + 4*a = -769, -4*a + 677 = 5*y - 124. Let j = k + y. Does 16 divide j?
True
Does 41 divide 14952/7 + (-32)/8?
True
Let w be (-42)/(-10)*(-190)/(-57). Is 32 a factor of 3/((-63)/3) - (-3138)/w?
True
Let k = -58 + 74. Suppose k*c = 12*c + 292. Is c a multiple of 8?
False
Let o(t) = 20*t + 47. Let f be o(-10). Is -2 - 1 - (-1 + f) a multiple of 18?
False
Let h(k) = -2*k**2 + 5*k - 8. Let c be h(4). Is 14 a factor of (c/(-15))/(6/423)?
False
Suppose -o + 348 = -4*d + 42, d + 5 = 0. Is o a multiple of 47?
False
Let n be -10 + 7 - (-4 - -1). Let k(o) = 16*o**3 + 2*o**2. Let m be k(1). Suppose n = 2*l + l - m. Is l a multiple of 5?
False
Let i(t) = 2*t + 31. Let w be i(-14). Suppose -8 = -5*v - 2*l, -l + 16 = 3*v + w*l. Suppose 4*q - q - 3*j - 81 = 0, v = -5*j - 15. Does 8 divide q?
True
Let v = 399 - 147. Suppose 0 = 20*d - 23*d + v. Does 14 divide d?
True
Let z(k) = 3*k**2 + 12*k - 34. Is z(-9) a multiple of 6?
False
Suppose k - 4*b - 79 = 0, 5*k - 293 = 4*b + 38. Is k a multiple of 7?
True
Suppose 4*u + 3*n = 47, -4*u + 28 = -4*n - 12. Suppose 4*t - u + 3 = 0. Is 20/((-4)/(-12)*t) a multiple of 14?
False
Let p = -455 - -764. Let i = p - -2. Does 39 divide i?
False
Suppose 0*p = -4*p + 108. Suppose 3*a - p = -0*a. Let z = a - -6. Is z a multiple of 9?
False
Let x be (-48)/6*2/(-4). Suppose -u = -x*j + 22, -19 = -5*j + 3*u + 12. Suppose -3*d - 149 = -j*c - 5*d, 3*c + 5*d = 78. Is c a multiple of 9?
False
Let s(n) = n**3 - 11*n**2 + 7*n + 33. Let k be s(10). Suppose -883 = -5*z + k*m, 4*m = 5*z + 3*m - 881. Is z a multiple of 22?
True
Let y(g) = 1432*g**3 + 5*g - 4. Does 11 divide y(1)?
False
Let p(g) = -5*g + 9*g + 2*g - 19. Is 8 a factor of p(10)?
False
Let b = 15 - 15. Suppose -12 = 3*g - b, -5*o = g - 216. Is o a multiple of 8?
False
Suppose -2*w - 1 = -n - 4*w, -4*w - 23 = -3*n. Is 12 a factor of (24/n)/(-6)*-90?
True
Suppose -3174 = -3*p + 3*d, -2*d - 2*d = 4*p - 4232. Is 27 a factor of p?
False
Let q(a) = -a**3 - 4*a + 5. Suppose -3*u + 25 = 19. Let i be q(u). Let o = i - -21. Does 3 divide o?
False
Suppose p = -3 + 16. Suppose 3*o = -4*g, 0 = 2*g + g - o - p. Suppose 5*b = -g*h + 69 + 6, -5*h - 4*b + 138 = 0. Is h a multiple of 29?
False
Suppose 0 = -5*y + 5*d + 24855, 8*y + 2*d - 4962 = 7*y. Does 24 divide y?
True
Let b(g) = -74*g**3 - 4*g**2 - g + 3. Does 48 divide b(-3)?
True
Suppose 0 = 9*n + n - 520. Is 13 a factor of n?
True
Let r(c) = -2*c**3 + 9*c**2 - 16*c - 22. Is 54 a factor of r(-7)?
False
Let a = -1 + 4. Let b be 0 + a + (-15 - 3). Is (3/(-3) - b) + -1 a multiple of 13?
True
Let p = 31 - 21. Let z be (-126)/(-30) - (-8)/p. Suppose 116 = z*y - 109. Is 15 a factor of y?
True
Suppose 214*t = 218*t + 24. Is 19 a factor of t + 3 + (605/5 - -4)?
False
Let m(f) = -f**2 + 49*f + 28. Does 76 divide m(20)?
True
Let p(t) = t**3 - 12*t**2 + 12*t - 7. Let u be p(11). Suppose -u*y + 100 = 4*w, 5*w + y = -y + 128. Is w a multiple of 26?
True
Is 16 a factor of (4/5)/((-4)/4640*-4)?
False
Let d = -3 - -4. Suppose -2 + d = -i, 2*i + 22 = 2*m. Does 3 divide (18/(-4))/((-9)/m)?
True
Supp