pose -60 = -g*a + 2*k, -89 = -7*a + 2*a - k. Does 6 divide a?
False
Suppose 0 = -7*a + 12*a - 4*f - 5274, 3*a - 3*f - 3165 = 0. Is 24 a factor of a?
False
Let q = 61 - 37. Let s = q + -28. Does 15 divide s/(292/100 + -3)?
False
Let u(d) = 10*d - 15. Let p be u(7). Let b = -40 + p. Is 15 a factor of b?
True
Let d(i) = 14*i**2 - 4*i - 132. Is 21 a factor of d(20)?
False
Let n be 3 + 48/27 - (-6)/27. Let y(j) = -j + 54. Does 16 divide y(n)?
False
Suppose 0 = 2*v - 308 - 722. Does 12 divide v?
False
Suppose 0 = 9*g - 7*g + 24. Let u be 2/(-8) - 1443/g. Suppose -u = -5*b + 6*m - m, -123 = -5*b + 2*m. Is 16 a factor of b?
False
Suppose 6*l - 11253 = -1665. Is l a multiple of 17?
True
Let b be -1*49/(-2)*(-22)/(-11). Suppose 3*k - 21 = -5*y + 16, 3*k + 2*y = b. Is 19 a factor of k?
True
Let n(t) = 56*t + 4. Let a be n(1). Suppose -9*i - a + 996 = 0. Is i a multiple of 6?
False
Is 63 a factor of (12/3)/4 - -251?
True
Suppose -4*l - 117 - 294 = -a, a + 4*l = 371. Suppose 67 = -6*n + a. Suppose -55 = -3*o + 5*c, -2*o + 2*c = 3*c - n. Is o a multiple of 11?
False
Let c = 12 + -13. Let k(t) = -8*t**2 - 3*t - 2. Let i be k(c). Is (-6240)/(-112) + (-2)/i a multiple of 11?
False
Let c = 255 - 485. Let t = -101 - c. Does 15 divide t?
False
Let g be (-2)/(-7) + (-24)/(-14). Let q be 1 - 0 - (0 - g). Suppose 22 = -q*d + 4*d + l, -3*l + 100 = 5*d. Is 5 a factor of d?
False
Let f(g) = 3*g**2 + 12*g + 6. Let x be f(-6). Let s = 65 - x. Is s a multiple of 23?
True
Suppose -3*r = -f - 1109, -4*f - 123 = 3*r - 1222. Is r a multiple of 3?
True
Let z be (-5)/5 - (-4 + 0). Suppose -3*w - 2*r + 26 = 0, -2*w + w + 5*r + 3 = 0. Suppose -z*t = -5*t + w. Is t a multiple of 4?
True
Suppose 10*p - 197 = 593. Suppose -p = -7*y + 33. Does 4 divide y?
True
Let n(r) be the second derivative of -69*r**5/20 - r**4/12 + r**3/6 + r**2/2 - 8*r. Let t be n(-2). Suppose -62 = 5*m - t. Is m a multiple of 14?
False
Let k(u) = u + 43. Does 20 divide k(-14)?
False
Suppose -1 = -3*b + 2, -3*a = -3*b + 213. Let n be (0 - -3)/(210/7700). Let h = a + n. Is h a multiple of 20?
True
Let d(m) = -m**3 + 5*m**2 + m - 3. Let l be d(5). Suppose 0 = -4*g - 5*y - 39, -l*g - 5*y = -3*g + 9. Does 5 divide -1 - g - (0 - 0)?
True
Suppose -5*g - 354 = -1899. Does 26 divide g?
False
Let i = -7 + 10. Let y(m) = -i*m + 5 - 9*m**2 + 8*m**2 - 6*m. Is y(-9) a multiple of 5?
True
Suppose -20*j + 945 = -15*j. Is j a multiple of 9?
True
Let v(b) = -5*b + 38. Is v(-49) a multiple of 21?
False
Suppose -26 = -4*d - 10, -6*d = z - 980. Is z a multiple of 8?
False
Let t(m) = 5*m**2 + 25*m - 70. Does 84 divide t(14)?
True
Suppose -2*t + 5*u = 13, -1 - 2 = t + u. Let q be ((-3 - -3)/t)/(-3). Is 19 a factor of (116/(-2))/(q - 2)?
False
Let u = -236 + 357. Suppose -2*r + 25 = -15. Suppose u = 3*y - 5*z - 18, 0 = 4*z + r. Is y a multiple of 13?
False
Let f(i) = 20*i**2 - 34*i - 320. Is f(-12) a multiple of 74?
False
Suppose 3*z = -7 + 25. Let y = 10 - z. Suppose 2*v = y*v - 78. Does 15 divide v?
False
Suppose 5*b - 329 = 226. Let l = -66 + b. Is l a multiple of 9?
True
Let i(h) = h**3 + 25*h**2 + 58*h - 66. Does 67 divide i(-22)?
False
Let u = 1340 - -178. Does 15 divide u?
False
Suppose -2348 = -3*m + 2*h, -5*m + 3920 = -6*h + h. Is 30 a factor of m?
True
Let h = -90 + 84. Is 291/9 + 7 + (-4)/h a multiple of 5?
True
Let b(p) = 3*p**2 + p + 1. Let g be b(-1). Suppose 8*v - 10 = g*v. Suppose -3*k + 2*k = 2*w - v, 24 = 5*k + 3*w. Is k a multiple of 4?
False
Let r(t) = 3*t + 59. Is r(17) a multiple of 13?
False
Let l be 666/(-4) + (-1)/2. Let u = 287 + l. Is u a multiple of 32?
False
Let j(z) = 5*z**2 - z - 12. Let s be j(-9). Suppose 3*g - 308 = -6*r + 5*r, 3*r = 4*g - s. Is 34 a factor of g?
True
Let j(g) be the first derivative of g**4/12 + g**3/6 - 7*g**2/2 + g - 2. Let b(l) be the first derivative of j(l). Is b(-5) a multiple of 7?
False
Suppose 2*j + 3*y - 3745 = 0, 19*j - y = 23*j - 7465. Does 18 divide j?
False
Suppose 0 + 20 = 5*i. Let o be -41 + 0 + (i - 8). Let k = -28 - o. Does 10 divide k?
False
Let x be 4/(-6)*(-19 + 1). Let n(z) = -z**2 + 14*z - 16. Is n(x) a multiple of 4?
True
Suppose 27 - 62 = -5*j. Suppose -452 = -j*t + 3*t. Is t a multiple of 15?
False
Suppose 0 = 5*y + h - 16, -2*y - 5*h = 11 + 1. Suppose -q - 2*b = -148, -y*b - 712 = q - 6*q. Is 16 a factor of q?
True
Let d(u) = -4*u**3 + 2*u**2 + 2*u - 5. Is d(-3) a multiple of 33?
False
Suppose -5*y = 0, -2*q + 294 = -0*q - 3*y. Suppose -3*r + 5*n - q = 0, -3*r + 2*n - 94 = -r. Let t = r - -151. Is t a multiple of 27?
False
Is 9 a factor of ((-32)/12)/(4 - 43428/10854)?
True
Let u be -2*1/3*12. Let i(x) = -16*x - 5. Let g be i(u). Suppose 4*n = -35 + g. Is 11 a factor of n?
True
Let f = 241 + -413. Let g = -28 - f. Is g a multiple of 12?
True
Suppose 36*k = 37*k - 14. Does 7 divide k?
True
Suppose 6*z - 9*z + 3*v + 450 = 0, 4*z - 600 = -v. Does 77 divide z?
False
Let g(b) = 2*b**2 + 2*b - 3. Let f be g(-15). Let p = f - 193. Does 16 divide p?
True
Suppose -4*p = -5*i - 586, -4*i = -p - 32 + 184. Does 20 divide p?
False
Let y = 6543 - 3884. Is y a multiple of 26?
False
Let g be (-2)/(-3)*13 + 11/33. Is (822/g)/((-4)/(-6)) a multiple of 29?
False
Suppose -45 = 4*f - 61, 2*u + 5*f = 824. Is 67 a factor of u?
True
Let p = 268 - -330. Is 23 a factor of p?
True
Suppose -5*u + 4*q - 53 = 0, 0*u - 2*q - 5 = u. Does 28 divide 2/u + (-1012)/(-18)?
True
Let l be (-3)/(-9) + (-5)/15. Suppose -q = -b + 3 + 11, 2*b - 3*q - 33 = l. Is 4 a factor of (4 - 3 - 0)*b?
False
Is 20 a factor of 1 + 96 - (-2 + 0)?
False
Does 6 divide 2*(3 - (-35 + -3))?
False
Suppose 4*j = -4*g + 28, -3*j + 18 = -g + j. Suppose -g + 6 = 4*f. Does 21 divide ((-42)/(-4))/f*2?
True
Suppose -630 = -2*b + 5*b. Let n = b + 333. Does 41 divide n?
True
Let b(u) = u**3 + 12*u**2 + u + 532. Is 8 a factor of b(0)?
False
Let g be (-4837)/35 + (-8)/10. Let c = g - -217. Suppose k + k - c = 0. Is 13 a factor of k?
True
Let k(t) = -t + 6. Let n be k(3). Suppose -3 = n*a - 12. Suppose 0*h + 105 = 3*y - 4*h, 5*y = a*h + 164. Is 9 a factor of y?
False
Let x be (-2)/3 - 2444/(-12). Suppose -6*l + x + 85 = 0. Is l a multiple of 24?
True
Suppose u - 1666 = -674. Is 24 a factor of u?
False
Suppose b + b - 788 = -2*c, -5*c - 2*b = -1970. Does 21 divide c?
False
Let q = -123 + 854. Is q a multiple of 21?
False
Suppose y = h - 29, -y - 1 = 3*h + 8. Let a be 819/18 + 1/2 + -1. Let g = a + y. Is 21 a factor of g?
True
Suppose 3*x - 90 = -3*z + 5*x, -5*x = 3*z - 69. Let q = z - 26. Suppose d - 34 = q. Is d a multiple of 9?
True
Let y(n) be the third derivative of -n**5/60 - n**4/2 + n**3/3 - 5*n**2. Let a be y(-11). Let r = a - 3. Does 5 divide r?
True
Suppose -4*l + 447 = k, 2*l + 0*l + 4*k - 206 = 0. Does 15 divide l?
False
Let m(k) = -18*k + 11*k + 2 - 13*k. Let i be m(1). Let o = i + 102. Does 28 divide o?
True
Let m = -68 + 157. Let j be m/1 + (-3)/3. Suppose -u - 3*u = -l - j, 4*u - 4*l - 76 = 0. Does 7 divide u?
False
Let h(v) = -18*v + 11. Let b be h(-10). Let o = b + -131. Does 30 divide o?
True
Suppose -8 = 2*d + 2, 4*d = -z - 38. Let o = z + 53. Is o a multiple of 7?
True
Let c be 1/4 - (-114)/(-8). Let z = -10 - c. Suppose -o - 148 = -z*o + j, j = -1. Is 28 a factor of o?
False
Let g = 17 + -11. Let r = -11 - -9. Let w = r + g. Is 4 a factor of w?
True
Let d(r) = -8*r + 39. Let n(c) = -c**3 - 5*c**2 + 7*c + 11. Let f be n(-5). Does 22 divide d(f)?
False
Let g(o) = -2*o + 30. Let j(t) = -t + 1. Let n be j(1). Suppose -11*l + 7*l = n. Is g(l) a multiple of 4?
False
Let s(n) = -n**2 + 14*n - 12. Let g be s(10). Suppose -3*i + d = -0*i - g, d = 4*i - 38. Is 2 a factor of i?
True
Let y be (1 + -10)/((-3)/2). Suppose -p + y - 4 = 0. Suppose p*v + 7 = 105. Is 16 a factor of v?
False
Suppose 0 = -2*n + 2 - 0. Let t be n*-1*(-7 + 7). Suppose 3*g + t*u = 3*u + 120, 3*u - 105 = -2*g. Is 11 a factor of g?
False
Let a(p) = -p**3 + 7*p**2 - 5*p + 2. Suppose 20*f - 17*f - 60 = 0. Suppose 3*r = -r + f. Is 11 a factor of a(r)?
False
Suppose -7*g - 230 = -8*g + 5*v, -2*g + 2*v + 444 = 0. Is g a multiple of 10?
True
Let r(t) = 7*t**3 - 4*t**2 - 3*t + 10. Let a = -51 + 53. Is r(a) a multiple of 4?
True
Is 76 a factor of 2888/(((-2)/(-7))/(5/35))?
True
Let m = 18 + -14. Suppose -2*g - 33 = -g - 5*w, g = m*w - 37. Let k = g + 95.