 + 3*c - 4*c = 265, 0 = d + 2*c - 64. Let v = d - 36. Is v a multiple of 6?
True
Suppose -4*c + u = -0*u - 496, -2*c + 5*u + 266 = 0. Is 39 a factor of c?
False
Let i = 183 + 79. Is i a multiple of 36?
False
Suppose 0 = 5*p - 212 + 57. Is 6 a factor of p?
False
Suppose -u = 2*u - 108. Suppose 32*s - u = 28*s. Does 9 divide s?
True
Suppose 3 = 5*f - 42. Let q(c) = c**2 - 2*c - 45. Does 2 divide q(f)?
True
Let c(k) = -3*k**2 - 3*k - 9. Let h(g) = 10*g**2 + 8*g + 25. Let t(a) = 11*c(a) + 4*h(a). Suppose -4*y - o + 1 = -4*o, -5*y - o - 13 = 0. Does 18 divide t(y)?
False
Suppose x - 8*x = -280. Is x a multiple of 5?
True
Suppose -197 = -z - 2*k + 96, 3*z = -5*k + 883. Is 20 a factor of z?
False
Is 30383/23 + 2/4*10 a multiple of 78?
True
Suppose -3*x + 90 = -x + 5*l, 2*l = 0. Suppose g = -2*i + 65, i + 3*g + 0*g = x. Is 12/i*5*11 a multiple of 8?
False
Let v = 50 + -48. Suppose 5*p = -i + 89, -150 = -0*i - v*i + 4*p. Is i a multiple of 13?
False
Let v be 6/4*(-10)/(-3). Suppose 5*g = -v*n + 1015, 3*n - 48 = 3*g + 543. Suppose -3*u - 2*u + n = 0. Is u a multiple of 20?
True
Is -495*(4/30 + (-52)/39) a multiple of 9?
True
Let b = 689 - 385. Is b a multiple of 16?
True
Let v = 826 - 238. Is v a multiple of 84?
True
Let q be 1 + -3 + 11*-2. Let j = q - -34. Is j a multiple of 5?
True
Let p be ((-65)/(-20))/(2/(-8)). Let r = p + 85. Suppose 2*j - r = -j. Does 6 divide j?
True
Let h(v) = 3*v + 6. Let m be h(-4). Let p = 2 + m. Is 16 a factor of 78/p*14/(-7)?
False
Let l(o) be the second derivative of o**4/12 - 5*o**3/6 - 15*o**2 + 19*o. Is l(14) a multiple of 32?
True
Let h(i) = 2*i - 2. Let t be h(3). Suppose 3*z = 4*a - 153, -5*a + 5*z - 2*z + 189 = 0. Suppose w - a - 6 = -4*k, -t*k = -3*w + 174. Does 18 divide w?
True
Let z(k) be the first derivative of 17*k**3/3 + k**2/2 + 15. Does 16 divide z(-1)?
True
Let n(l) = -l**2 - 19*l + 45. Let c be n(-22). Let b = 46 + c. Is 11 a factor of b?
False
Let z(q) = -14*q**2 - 15*q + 11. Let s be z(-8). Suppose -c = c + 4. Is 10 a factor of s/(-36) - c/(-8)?
False
Suppose -11*q = -7205 + 1155. Is 17 a factor of q?
False
Let n(c) = -7*c - 6. Suppose 3*p - g + 32 = 0, 0 = 4*p - 0*g - 2*g + 44. Let v be n(p). Suppose -v = -w - w. Does 32 divide w?
True
Suppose 0 = 2*r + 3*d - 180, -r - 3*d = 23 - 119. Does 27 divide r?
False
Suppose h = -5*j + 310, 0 = -2*h + 4*j + j + 665. Is h a multiple of 5?
True
Let y(a) be the first derivative of 3 - 3/2*a**2 + 1/4*a**4 - 2*a - 5/3*a**3. Is 8 a factor of y(6)?
True
Let h(x) = x**3 + 24*x**2 - 26*x - 14. Let r = 88 - 113. Does 3 divide h(r)?
False
Let k be (-56)/(-10) + 16/40. Suppose u - 7 = -y + 3*u, -3*u - k = 0. Let i = y - -5. Is i a multiple of 8?
True
Let k(x) = 190*x + 1024. Is k(0) a multiple of 16?
True
Let x(f) = -f + 2. Let y be x(-1). Suppose u - 65 = -y*n, 4*u = -2*n + 1 + 39. Is 7 a factor of n?
False
Let g(c) = 68*c**2 + 18*c + 35. Let o be g(-7). Does 12 divide o/21 + 1/(-3)?
False
Suppose -5*n + n = 5*f - 966, 4*f - 2*n - 778 = 0. Is 23 a factor of f?
False
Let n be 0/((-3)/(-3)) + 59. Suppose 0 = -3*y + 4*p + 10, -6*p + 1 = 3*y - p. Suppose 5*r + 4*a - 19 = y*r, 4*a + n = 3*r. Is 3 a factor of r?
False
Suppose 4*c + 2*u = 28, 4*u - 3 = c - 1. Suppose -n = -0*n - c. Is 35 a factor of (774/(-5))/n*-5?
False
Suppose 3*s - 3*w - 819 = 0, 0 = 4*s - 2*w - w - 1089. Is s a multiple of 3?
True
Let z(c) = 31*c**3 + c - 1. Let y be z(1). Suppose -y*p = -30*p - 46. Let s = p + 10. Is s a multiple of 14?
True
Suppose 0 = -6*d + 629 + 127. Is 24 a factor of d?
False
Suppose -797 = -3*i + 157. Is i a multiple of 12?
False
Let b(g) = g**3 - 14*g**2 + 13*g - 32. Let m be 29 + -17 - (-2 + 0). Does 13 divide b(m)?
False
Suppose 0 = -18*j - 12*j + 29310. Is 14 a factor of j?
False
Suppose 13*c = 9041 + 9497. Is c a multiple of 29?
False
Suppose 3*j + 3*i - 3 = 0, 5*j = -4*i + 7 - 2. Let k = 5 - j. Let v = k - -3. Is v a multiple of 3?
False
Let i = 1477 + -1098. Is 39 a factor of i?
False
Let m be (-19)/3 + (-2)/(-6). Let b = 51 + -34. Let a = m + b. Does 11 divide a?
True
Suppose 823 + 407 = 3*a - u, -2*u - 1227 = -3*a. Does 3 divide a?
True
Suppose -2*c = f - 200 - 11, -3*c + f + 319 = 0. Suppose c = 2*h - 4*q - 30, -4*h = -5*q - 278. Is h a multiple of 6?
True
Let p be -2 + (0 - 1) + -1. Suppose 469 = -5*x + 79. Is (x/p)/(1/2) a multiple of 11?
False
Suppose 0 = -6*s + 45*s - 16185. Does 15 divide s?
False
Let j = 1 + 13. Is 8/j - 1466/(-7) a multiple of 30?
True
Let o(f) = 94*f**3 - 2*f**2 + 2*f - 1. Let u be o(1). Let q be 2/(-8) + u/4. Let r = q - -35. Is 12 a factor of r?
False
Let i = -1519 - -4359. Is i a multiple of 20?
True
Let j(i) = 3*i**2 + 2*i - 60. Is j(10) a multiple of 52?
True
Suppose 0 = -4*z + 164 - 48. Let w = 44 - z. Does 5 divide w?
True
Is (-350)/140*(-17658)/15 a multiple of 11?
False
Suppose 3*n - 5 = 10, 0 = -3*v + 3*n + 6. Let y be 2/v + 136/14. Let z = y + 2. Does 4 divide z?
True
Suppose -2*q + 2*l = -1922, -4*q + 5*q = -l + 965. Is 13 a factor of q?
False
Let m be ((-368)/(-4))/(5/25). Is 4/14 - m/(-7) a multiple of 22?
True
Let y = 129 + -85. Suppose 4 = 5*a - 1, 0 = -n + 4*a - y. Does 4 divide n/4*6/(-4)?
False
Does 9 divide 4/7 + ((-17943)/(-7))/3?
True
Let d(q) = -2*q**3 - 2*q**2 + 2*q + 6. Let s be d(-3). Let h = 71 - s. Is h a multiple of 3?
False
Let n = 125 - -869. Is 54 a factor of n?
False
Suppose 0 = z - 2*o - 258, 0 = 5*z + o - 400 - 890. Does 47 divide z?
False
Suppose -5*s + 34 = 4. Let h = s + 2. Suppose 0 = b - h + 1. Does 6 divide b?
False
Suppose 0*l - 188 = -2*l. Let c = l - 47. Suppose 2*d = 33 + c. Is 8 a factor of d?
True
Let z(c) = -c**2 - 23*c - 1. Does 44 divide z(-16)?
False
Let r(a) = -a**2 - 14*a - 10. Let d(o) be the first derivative of -o**2/2 + o - 2. Let s be d(11). Is 15 a factor of r(s)?
True
Let b(u) = 114*u. Let t be b(-2). Let w be 1 + t/(-3 + 0). Suppose 3*i - 257 + w = 0. Does 20 divide i?
True
Suppose -2888 = -5*f - 2*x, 5*x - 1715 = -5*f + 1185. Does 36 divide f?
True
Suppose -142*n + 34 = -140*n. Is 3 a factor of n?
False
Let g be 2/(-4)*210/3 + 0. Is 5 a factor of (g/(-14))/((-1)/(-10))?
True
Suppose -4978 = -3*m - g, -77*g + 80*g = 3. Is 21 a factor of m?
True
Suppose -6*t - 60 - 12 = 0. Let q = 14 + t. Does 29 divide (-112)/((-8)/q) - -1?
True
Let j(r) = 7*r**2 + 7*r + 1. Let f be j(-3). Let z = -37 + f. Is 4 a factor of z?
False
Suppose 3397 + 6633 = 5*c. Does 59 divide c?
True
Suppose -4*w + 4*b = -2*w - 16, 5*w + 4*b = 96. Let r(h) = 2*h**2 - 18*h - 2. Does 37 divide r(w)?
True
Suppose -q + a + 31 = 0, 2*q = -a - 2*a + 47. Let y = q + -48. Is ((-165)/y)/(6/16) a multiple of 11?
True
Is 5 a factor of (-102634)/(-84) - (-3)/18?
False
Let g be (-2 - -3 - 3)*(-78 - 1). Suppose 94 = 4*c - g. Is c a multiple of 7?
True
Suppose 0 = 5*f - 26*f + 3570. Is 10 a factor of f?
True
Suppose 7*j + 283 = 1753. Is j a multiple of 35?
True
Let b(a) = -3*a + 0*a**3 + 2*a - a**2 + 16*a**3. Let j be b(-1). Let d = j - -54. Does 11 divide d?
False
Suppose 5*b + 2*k = -580 + 144, -2*b - 180 = -2*k. Is 5 a factor of (4 + b/16)/(1/(-60))?
True
Suppose -3853 = -26*t + 7717. Is t a multiple of 89?
True
Let q(l) = -36*l + 78. Does 11 divide q(-7)?
True
Suppose 20*f - 20244 = 6176. Is 14 a factor of f?
False
Suppose 476 = p + 5*d, 26*d - 22*d = -2*p + 958. Is p a multiple of 13?
True
Let p = 1875 - 1063. Does 28 divide p?
True
Let i be (-102)/(-27) + 4/18. Is -124*(-1 - 1)/i a multiple of 31?
True
Let n = 160 + 622. Is 11 a factor of n?
False
Let z(g) = -3*g + 7. Let y be z(5). Let k = 174 - 177. Let b = k - y. Is 5 a factor of b?
True
Let l be (-8)/(-3)*(-21)/(-14). Suppose 7*k - 11*k = l. Let o = k - -9. Does 8 divide o?
True
Let p = -12 + -1. Let t be (p - (-2)/(-1))/(-1). Suppose -y + 14 = -t. Is y a multiple of 22?
False
Does 63 divide (-155)/(-62)*(-2898)/(-5)?
True
Suppose -4*z - c = -275, z = c - 2*c + 68. Is 26 a factor of z?
False
Let k be ((-99)/2)/(12/32). Let q = k - -237. Is 35 a factor of q?
True
Let u = 34 - 31. Is 11 a factor of 4/(-16)*u + (-47)/(-4)?
True
Let q(h) = h**2 + 42*h + 35. Does 51 divide q(12)?
False
Let w = -22 + 22. Suppose -5*y = 2*k + 17, y = -w*y - 3. Does 17 divide -3 - -41 - (3 - k)?
True
Let w(f) = f**2 - 10*f - 4. Let i be w(10). Let q be -2 - (-24)/15*(-13 - 2). Let v = i - q. Does 10