3)?
False
Suppose 0 = 5*k - 2*v - 171, 3*v = -k - k + 57. Let g = -5 + k. Let a = 45 - g. Is a a multiple of 17?
True
Suppose 0 = 5*y - 25, -1 = 4*s - 2*y + 1. Let r be (-46)/(-3) + s/3. Suppose r = j + 3. Is 13 a factor of j?
True
Let y = -27 - -24. Let m(a) = -11*a - 6. Does 27 divide m(y)?
True
Suppose 0*w + 3*t = 2*w - 14, -4*w + 4*t + 36 = 0. Let z = w - -39. Is z a multiple of 13?
True
Let r = 522 + -274. Is 10 a factor of r?
False
Suppose 0 = -4*s - 0*v + 3*v + 204, -3*v = -12. Does 18 divide s?
True
Let n = 10 + -9. Suppose 4*r - 5*b = 6*r - n, -2 = -2*b. Does 2 divide 6*(-3)/12*r?
False
Let d(m) = 5*m**3 - 2*m**2 + 1. Let s be d(-1). Let q(x) = -x**3 - 7*x**2 - 7*x + 3. Is q(s) a multiple of 3?
True
Let y(x) = 5*x**2 - x + 1. Let z be y(1). Suppose -2*a - a + 4*w - z = 0, 4*w = -a + 25. Suppose f - 6*f = 2*k - 127, f + a*k = 30. Is 10 a factor of f?
False
Is 6/(-8)*(-17 + -3) a multiple of 11?
False
Let j be 3*4/(-3)*-1. Suppose -5*q = -j*y - 50, 3*q = q - 5*y + 53. Let m = -9 + q. Is m a multiple of 2?
False
Let h(s) = s**3 - 8*s**2 - s + 9. Let a be h(8). Let f = a - -20. Is 7 a factor of f?
True
Suppose 34 = -7*l + 685. Is l a multiple of 29?
False
Let u be 1 - (0 - 2 - 0). Suppose 16 = -5*f - 0*f - 3*x, u*f = 4*x + 2. Let d = f - -8. Is 5 a factor of d?
False
Let f(t) = t**3 + 11*t**2 - 15*t + 8. Is f(-12) a multiple of 29?
False
Suppose 2*j = -3*f + 63 + 126, -5*j + 477 = 3*f. Is 32 a factor of j?
True
Let d = 220 + -149. Is d a multiple of 10?
False
Let n be (-356)/(-6) - (-3)/(-9). Suppose -3*a - 5*w + 168 = -2*w, 2*w + n = a. Is 20 a factor of a?
False
Let s(h) = 10*h + 2. Suppose 7 = -2*n + 19. Does 17 divide s(n)?
False
Let g = 554 - 336. Is 57 a factor of g?
False
Suppose 3*z = -0*z. Does 7 divide z - -3 - (2 - 13)?
True
Suppose -l + 6*l = -80. Is 7 a factor of 98/4 + 8/l?
False
Let w = -15 - -83. Does 17 divide w?
True
Let i(l) = -6*l**3 - 6*l**2 + 15*l + 4. Let p(b) = 6*b**2 - 2 - 1 - 5*b**3 + 10*b**3 - 14*b. Let n(g) = -6*i(g) - 7*p(g). Is 6 a factor of n(5)?
True
Suppose -3*u = d + 4*d - 39, -4*d + 4*u + 44 = 0. Is d a multiple of 9?
True
Let h(w) = w + 12. Let u be h(-9). Suppose -23 = -p + u. Is p a multiple of 5?
False
Let a = 0 - 0. Suppose a*g - 35 = -3*j - 5*g, -16 = -4*g. Does 2 divide j?
False
Let d(c) = -2*c**3 + 4*c**2 - 2*c - 4. Let g be d(-3). Suppose f = -3*f + g. Is f a multiple of 4?
False
Suppose 0 - 1 = -j. Is 12 a factor of ((-3)/(-6))/(j/34)?
False
Is 11 a factor of 165*(-2 - (-21)/9)?
True
Suppose -16*t = -11*t - 630. Does 18 divide t?
True
Does 20 divide 4/(-22) + 4080/55?
False
Suppose f + 3*m - 120 = -f, -3*f = m - 180. Is 15 a factor of f?
True
Suppose -411 + 96 = 5*l. Does 23 divide l/(1*(-3)/4)?
False
Suppose 4*k - 2 = i + 223, -2*k = -3*i - 105. Suppose 2*u = k - 3. Does 9 divide u?
True
Does 13 divide (7/2)/(1/26)?
True
Let b = 122 - 77. Is b a multiple of 14?
False
Suppose 0 = -2*f - 2 + 6. Suppose 50 = 3*m - f*m. Is 25 a factor of m?
True
Suppose 6*j + 16 = 2*j. Let i = j - -5. Suppose -8 = -f + i. Is 9 a factor of f?
True
Let q = -19 + 21. Suppose 30 = -j + 2*j + q*c, -42 = -j - 5*c. Does 7 divide j?
False
Let s(g) = -g**2 - 19*g - 4. Is 10 a factor of s(-7)?
True
Let l(p) = -45*p. Let x = -2 + 1. Is 15 a factor of l(x)?
True
Is 56 + (0/1)/3 a multiple of 10?
False
Suppose -j + 2*j = 0. Suppose j = 3*u + 2*s + 17, 4*s = 2*u + 21 + 17. Let g = 20 + u. Does 11 divide g?
True
Let b(q) = 23*q. Let w be b(1). Suppose 11 = -5*l + y, -4*l = 4*y + 8 - 4. Is 6 a factor of (-1)/l + w/2?
True
Let m(d) = 2*d - 6. Let t be m(4). Suppose -24 = u - 2*u - 5*k, t*k + 24 = 2*u. Is u a multiple of 7?
True
Let g(r) be the second derivative of -9*r**5/10 - r**3/3 + r**2/2 - r. Let k be g(1). Let w = k - -29. Does 8 divide w?
False
Let b(w) = -w**2 + 15*w - 11. Let x be b(11). Suppose -4*z = -x - 79. Is z a multiple of 14?
True
Let x be 1/((1/(-29))/(-1)). Suppose j + 5 = 5*o, o + o - x = -5*j. Suppose j*k - 2*g - 78 = k, 0 = 3*k - 3*g - 63. Does 9 divide k?
True
Let f be 520/(-12) + 8/(-12). Let x = f + 64. Does 20 divide x?
True
Let d = 98 + -48. Is d a multiple of 15?
False
Is 5 a factor of (-23)/(-5) - 4/(-10)?
True
Let x(v) = 2*v**2 + 17*v + 9. Is x(-9) a multiple of 6?
True
Let f be (-6)/(4/(-14)*1). Let m = -13 + f. Is ((-58)/m)/((-3)/12) a multiple of 10?
False
Let q(w) = -14*w**3 + w**2 + w + 2. Is q(-2) a multiple of 29?
True
Let t(u) = -2*u**2 + 6*u + 10. Let v be t(5). Suppose -2*q - 2*q = 28. Let a = q - v. Does 3 divide a?
True
Let y be (-1 - -16) + 10 + -10. Suppose -149 = -3*c - 17. Suppose -g + c = y. Is g a multiple of 17?
False
Suppose -5*l = -2*l + 15, -3*l - 126 = -i. Is 20 a factor of i?
False
Let j = -149 - -345. Is j a multiple of 25?
False
Let h(l) = -l**3 - 7*l**2 - 5*l. Let v be h(-6). Let z be (-4)/18 + v/(-27). Suppose z = -0*p - p + 47. Does 17 divide p?
False
Let q(j) = -j**2 + 33*j + 49. Is 12 a factor of q(27)?
False
Let m be (120/25)/(1/(-10)). Let g = 74 + m. Does 13 divide g?
True
Suppose -5*c + 372 = -0*c - 4*w, 5*c = -w + 382. Is 19 a factor of c?
True
Let f(l) = -l**2 + 20*l + 2. Is f(18) a multiple of 24?
False
Suppose -65 = -3*k + 67. Let d = 65 - k. Is d a multiple of 7?
True
Let p(y) = -5*y**3 - 14 + 14*y + y**3 + 5*y**3 - 11*y**2. Is p(10) a multiple of 13?
True
Let m = -14 - -6. Let j = m - -13. Is 4 a factor of j?
False
Suppose -4*n = -7 - 1. Let g be 3 + -1 + (n - 18). Is 14 a factor of 4/g + (-247)/(-7)?
False
Suppose -37*t = -42*t + 1100. Is t a multiple of 20?
True
Suppose 0 = -4*k + 5*w + 244, -4*k + 5*w - 92 = -6*k. Does 28 divide k?
True
Let w = 446 - 213. Is 21 a factor of w?
False
Suppose -4*u = -64 - 36. Is 5 a factor of u?
True
Let z(b) = -b**3 + 6*b**2 + 9*b + 10. Let k be z(7). Let v = -6 + k. Is v a multiple of 3?
True
Let o(k) = 8*k - 10. Is o(7) a multiple of 23?
True
Let x = 8 + -15. Let u(o) = 5*o**2 - 8*o + 1. Let t(l) = -9*l**2 + 16*l - 2. Let i(w) = x*u(w) - 4*t(w). Is i(9) a multiple of 10?
True
Let x be 1 - -2 - (26 + -2). Is 10 a factor of (28/x)/((-2)/51)?
False
Let d(g) = -g**2 + g + 75. Is 25 a factor of d(0)?
True
Let n = 318 - 168. Does 25 divide n?
True
Let b be 48/(-27)*-15*3. Suppose -4*j = b - 244. Is j a multiple of 27?
False
Suppose 0 = -3*o - 3 - 3. Let x be (o/1)/((-4)/8). Let n(r) = 2*r**2 - 4*r - 2. Does 7 divide n(x)?
True
Suppose -32 = 4*g - 8*g. Let q(b) = b - 5. Does 3 divide q(g)?
True
Is 4 - (2 - 7)*4 a multiple of 8?
True
Let g(a) = 3*a - 3. Let r be g(2). Suppose 5*o - 35 = -5*m, 4*o - 14 = -r*m + 15. Is 4 a factor of o?
True
Let r = -3 + 5. Suppose 0 = -3*s - 4*x + 4, r*s - 9 = -x - 3. Is s a multiple of 3?
False
Let j = 48 + -19. Let y = j - 17. Does 4 divide y?
True
Suppose i = 67 + 69. Suppose -p - i = -3*p. Is 17 a factor of p?
True
Let s(t) = -8 - 8*t**2 + 3*t - 5 - 5*t**3 + 4*t**3. Let d be s(-9). Let m = d - 11. Does 18 divide m?
False
Let b be 5 - (-16)/12*3. Suppose b*a - 14*a + 510 = 0. Is 18 a factor of a?
False
Suppose -2*z - z + 3*k = -297, 3*z = 5*k + 299. Is z a multiple of 14?
True
Let d(h) = 4*h - 11. Let z be d(5). Suppose -4*f - 4*l = -z*l - 220, 2*f - 92 = -2*l. Is 12 a factor of f?
False
Let n be 1 + (-1)/1*-1. Let k be 1 + (n - -6) - 2. Let l = 4 + k. Does 11 divide l?
True
Suppose 4*d - 17 - 23 = 0. Is 10 a factor of d?
True
Let o(f) = -f**3 + 8*f**2 - 2*f - 8. Let h be o(7). Suppose -4*a + 5*w + 9 = -0, 2*a = -5*w + h. Is a a multiple of 3?
True
Suppose 3*x - 7 = 4*b + 5, 4*b + 12 = -2*x. Suppose -2*i + 2*q + 42 = -x*q, 20 = i - 2*q. Is 22 a factor of i?
True
Suppose 3*d - 3*f = 24, 2*d + 3*f = -0*d + 1. Suppose -3*h - 16 = -d*h. Is 4 a factor of h?
True
Let a(s) = -s**3 - s**2 + s. Let g(q) = -5*q**3 - 11*q**2 + 14*q + 1. Let h(c) = 4*a(c) - g(c). Does 5 divide h(-8)?
True
Suppose 4*x - 8 = 8. Is x a multiple of 3?
False
Suppose -t = -4*t + 15. Suppose 3*k = t*l + 525, 3*k + 107 = -l + 4*k. Let g = -70 - l. Does 17 divide g?
False
Let f be ((-3)/(-2))/(3/28). Suppose f*c + 34 = 16*c. Is c a multiple of 17?
True
Let c(i) = i**2 - 2*i - 17. Does 20 divide c(-12)?
False
Let q(h) = h**2 - h + 7. Is 5 a factor of q(0)?
False
Let j = 0 - -2. Suppose j*p - 5*p + 24 = 0. Is 6 a factor of p?
False
Let b(m) = -m**2 - 14*m - 7. Is b(-7) a multiple of 14?
True
Does 8 divide 5082/91 + (-6)/(-39)?
True
