y = -5*t + 43. Suppose b - 37 = y. Does 6 divide b?
False
Let w(p) = p**2 - 9*p + 10. Let k(c) = 3*c - 15. Let y be k(6). Let q = y + 6. Is 10 a factor of w(q)?
True
Suppose -2*a - 54 = -2*f, f - 2*f - 2*a = -21. Let d = f - 19. Suppose d*g - 208 = 2*g. Is g a multiple of 8?
False
Let z = 5384 + -3827. Is 49 a factor of z?
False
Suppose -2735 = -l + 5*o, -11*l + 15*l - 10924 = 4*o. Is 13 a factor of l?
True
Let a(t) be the second derivative of t**5/20 + t**4 - 4*t**3 - 5*t**2 - 25*t. Does 39 divide a(-13)?
False
Let y = 1620 + -934. Is y a multiple of 22?
False
Let y = 816 - 798. Does 14 divide y?
False
Let z(l) = 11*l**2 - 3*l + 1. Let i be 3*2 - (-5 - -7). Is 33 a factor of z(i)?
True
Let q(d) = -2*d**2 + 13*d - 9. Let n be q(5). Suppose 5*w + g - 375 = n*g, 4*g + 66 = w. Is 23 a factor of w?
False
Suppose -2*f + 12 = f - h, -5*f = -4*h - 20. Suppose 20 = 9*k - f*k. Suppose 3*p = k*g + 149, -2*p + g = 4*g - 122. Is 15 a factor of p?
False
Let m(i) = -i**2 + 11*i - 1. Let h be m(11). Is (-122)/(-8) + h + (-1)/4 a multiple of 14?
True
Let f be (-2)/(-8) - 62/(-8). Suppose -5*y + 5*v = -5, 0 = -3*y - 0*v + v + 7. Suppose y*x = 7*x - f. Is 2 a factor of x?
True
Let m = 1 + -5. Let p be 92/12 - m/(-6). Suppose 0 = 4*a - p*a + 63. Does 17 divide a?
False
Suppose 23*i - 40 = 18*i. Suppose -i*b = -440 - 272. Is 11 a factor of b?
False
Suppose 17 = 6*c - 7. Suppose 0 = 2*a + 4*b + c + 12, 4*a - 5*b + 6 = 0. Let o = 50 - a. Is o a multiple of 18?
True
Let a = 21 - 63. Let v be 6*7/(a/(-4)). Suppose z = v*k - 0*z - 51, -52 = -3*k - 2*z. Does 6 divide k?
False
Suppose -10 = -5*x - 15*u + 10*u, x - 2 = -2*u. Suppose -5*l + x*s - 57 + 317 = 0, -2*l = 2*s - 104. Is 3 a factor of l?
False
Let m be 21/15 + (-6)/(-10). Suppose -m*n - n + 15 = 0. Suppose 0 = n*d - 100 - 170. Is d a multiple of 17?
False
Let u be 137 - (1/(-3))/(2/(-18)). Let z = u - 82. Is 52 a factor of z?
True
Suppose -3*f + 100 = -4*c, 3*f - 2*c - 128 = -24. Is f a multiple of 27?
False
Let n(h) = h**2 - 4*h + 3. Let j be n(-5). Let q = 82 + j. Suppose -5*l + 4*u + u = -q, 2*l + 5*u - 45 = 0. Does 13 divide l?
False
Let i = -31 + 24. Let c be (1 + -1)*7/i. Suppose c = -4*t + 4*o - 5 + 185, 5*t - 205 = o. Is t a multiple of 8?
True
Suppose i - 1222 = 5*f, 0 = -2*i + 2*f + 1755 + 729. Does 51 divide i?
False
Suppose -191 + 632 = 9*k. Is k a multiple of 49?
True
Let i be (8 - 5) + (1 - 1)/(-1). Suppose i*p = -2*p + 495. Does 8 divide p?
False
Let i(v) = 15*v**2 + 7*v - 6. Does 96 divide i(6)?
True
Let z(f) = -439*f + 93. Is 47 a factor of z(-2)?
False
Let p = -19 - -19. Suppose -4*t = -2*x - p + 2, -x = 4*t - 25. Is x a multiple of 9?
True
Suppose -1435 = -3*m - 5*a, 742 + 1655 = 5*m + 3*a. Does 24 divide m?
True
Let c(m) = m**2 - m**2 + 42 - 9*m + 8*m + m**3. Is c(0) a multiple of 16?
False
Let s(o) = 457*o - 81. Does 86 divide s(3)?
True
Let u(y) = y**3 + 5*y**2 + 4*y + 7. Suppose 0 = -j - 0*g + g, -g = 3. Does 10 divide u(j)?
False
Suppose 0 = -10*l + 5*l - 2*a - 8, 0 = 2*a + 8. Suppose l = -19*h + 18*h + 81. Is h a multiple of 7?
False
Let z(r) = r**2 + 12*r + 4. Let d be z(-12). Suppose -h = -0*f - f + 88, 3*h - 331 = -d*f. Is f a multiple of 28?
False
Does 10 divide (-6618)/(-15)*(-35)/(-7)?
False
Let c = 2122 + -1310. Does 29 divide c?
True
Let c(k) = k**3 + 30*k**2 - 11*k - 12. Is 72 a factor of c(-29)?
False
Let z = -59 + 51. Does 34 divide 4/z*-16 + -4 - -234?
True
Let u(a) = 9*a**2 - 11*a + 6. Let j(d) = -3*d**2 + 4*d - 2. Let f(l) = -7*j(l) - 2*u(l). Is 26 a factor of f(6)?
False
Let l(m) = 12*m**2 - 7*m + 61. Is 67 a factor of l(6)?
False
Let f(x) = 15 + 2*x - 14 + 4*x + 12*x**2. Is 24 a factor of f(3)?
False
Let h = 2929 + -2005. Does 33 divide h?
True
Suppose s = 4*l - 4, -2*s - 4*l + 28 = -6*s. Suppose 2*b + 0*x + 10 = 5*x, -x + 2 = -3*b. Let c = b - s. Is c a multiple of 2?
True
Let z = -8 + 13. Let f = 29 - 18. Let g = f + z. Is 8 a factor of g?
True
Let q(h) = 8*h - 204. Is q(32) a multiple of 16?
False
Suppose 44 = -4*b - 8. Let g = b - -18. Suppose 4*j - 6 + 19 = g*d, d - 20 = -5*j. Is d a multiple of 2?
False
Suppose -3*p + 519 = -183. Is p a multiple of 13?
True
Let p = -1141 - -1735. Does 22 divide p?
True
Suppose 0 = 2*y + 50 + 168. Let w = y + 58. Let d = w - -112. Is d a multiple of 13?
False
Suppose -3*m + m = 4*m. Suppose m*b - 2*b + 172 = 0. Does 38 divide b?
False
Let f(y) = 5*y - 30. Is 5 a factor of f(19)?
True
Let b be 4*4*2/4. Is b + ((-3)/(-5))/((-3)/15) even?
False
Suppose 54*a = 16*a + 8512. Is 13 a factor of a?
False
Suppose -10*d + 121 = -249. Does 22 divide d?
False
Suppose -7*d = 7*d - 196. Suppose -20*u + d*u = -948. Is 45 a factor of u?
False
Let c(x) be the third derivative of x**6/120 + x**5/6 - x**4/24 - x**3/3 - 4*x**2. Let g be c(-10). Is ((-4)/g)/(1/(-42)) a multiple of 7?
True
Let w(f) = f**2 - 5*f - 5. Let l be w(6). Let g(i) = 14*i - 1. Let u be g(l). Let m = 56 - u. Is 25 a factor of m?
False
Suppose -5*s + s = -56. Let m = 3 + -3. Suppose -5*g + s + 11 = m. Is 4 a factor of g?
False
Let t be ((-4)/(-5))/((-2)/(-20)). Suppose -132 = -10*g + t*g. Does 6 divide g?
True
Let p(a) = -40*a**2 + 2. Let m be p(2). Let i = -98 - m. Is i a multiple of 20?
True
Let g(n) = -2*n + 3 - n**3 + n**3 - n**3 - n + 10*n**2. Let t be g(10). Let q = t - -63. Does 9 divide q?
True
Suppose -4*i + 6385 = x, 1747 = -2*i + 5*x + 4956. Does 15 divide i?
False
Let h be 24/10*275/11. Suppose 9*u = 8*u + h. Suppose b - u = -b. Is 6 a factor of b?
True
Let y = -97 - -59. Let b = 23 - y. Does 11 divide b?
False
Let k(z) = z**2 + 35*z + 158. Is k(-33) a multiple of 5?
False
Suppose -4*h = h - 15. Suppose 58 + 47 = h*c. Suppose -40 = -5*n + c. Is 15 a factor of n?
True
Let d = -517 - -582. Does 8 divide d?
False
Let l(g) = 2*g**2 - 4*g + 2. Let p be l(-4). Let o = 25 + p. Is 14 a factor of o?
False
Suppose 38*o - 31*o - 4130 = 0. Does 59 divide o?
True
Let j = 13 - 9. Suppose -2*p + j = 10. Is 78/(-8)*8/p a multiple of 9?
False
Suppose -3*h - 5*g + 3 = 0, 2*h - g - 2 = g. Is ((-462)/(-24))/(h/4) a multiple of 7?
True
Let r = 8 - 9. Let b(q) = -53*q**3 - q**2 - q - 1. Let o be b(r). Suppose 32 = 4*a - o. Is 21 a factor of a?
True
Let n(o) = -o**2 - 3*o + 12. Let v be n(-5). Let a(c) = 15*c**2 + 2*c + 1. Does 13 divide a(v)?
True
Suppose 0*u = -4*u + 24. Let h be (0/(-1))/(-7 + u). Suppose h = 2*o + p - 22, 2*o - 4*p - 11 = o. Is 11 a factor of o?
True
Let o(j) = 2*j**2 - 2*j - 2. Let w be o(-1). Suppose -3*s = -3 - 3. Suppose 0 = s*c + w*c - 272. Is 23 a factor of c?
False
Let k = 33 - 30. Is 7 a factor of (-6)/18 + 97/k?
False
Let v be 117*(-2 - 28/(-12)). Let w = -23 + v. Suppose 2*r + 3*u = 32, r = 2*u - 0*u + w. Does 4 divide r?
True
Let b(p) = p - 5. Let a be b(9). Suppose s - a = -0*s. Suppose 4*c = 2*c - 3*f + 127, 66 = c + s*f. Is 31 a factor of c?
True
Let v be (1 - 1)/(-1 + 2). Suppose v = 6*i - i + 20, y - 6 = i. Is y/8 - (-819)/52 a multiple of 8?
True
Let p(j) = 4*j**2 + 8*j + 45. Does 21 divide p(-6)?
False
Suppose 5*u + 5*b - 9*b - 1212 = 0, 0 = -2*u - 4*b + 468. Is u a multiple of 4?
True
Let l(i) be the second derivative of i**5/120 + 11*i**4/24 + 2*i**3/3 + 7*i. Let k(n) be the second derivative of l(n). Is 15 a factor of k(4)?
True
Let l(j) = 3*j + 9. Let m be l(0). Suppose -4*v - m + 49 = 0. Suppose -2*c - 294 = -3*g, g - v - 105 = -5*c. Is 25 a factor of g?
True
Suppose -c = -r, 3*c - 2 = 4*c - 2*r. Let g(n) = n**3 - 6*n**2 - c + 0 + 4*n - 1. Is g(6) a multiple of 12?
False
Let w(b) be the second derivative of -b**4/12 + 11*b**3/6 - 3*b**2 - 11*b. Is w(8) a multiple of 17?
False
Let q = 1163 - 829. Let i = q + -106. Does 19 divide i?
True
Suppose -2*n - 473 = -d, -3*d + 1446 = -n + 4*n. Is 30 a factor of d?
False
Suppose -700*u + 2009 = -693*u. Is 23 a factor of u?
False
Let m = -15 + 5. Let f = -6 - m. Is 21 a factor of 4*22 + f + -7?
False
Let h(v) = 25*v + 31. Let w be h(13). Let p = 527 - w. Is 19 a factor of p?
True
Suppose -376 = -4*d - 0*d. Let v = d - 2. Does 12 divide v?
False
Suppose 25 - 5 = 2*g. Suppose 15*a - 310 = g*a. Does 13 divide a?
False
Suppose -c - 4*c + x + 59 = 0, c + 2*x = 14. Suppose 2*y - 4*u = -y + 16, -3*u = c. Suppose y*s = s - 49. Does 19 divide s?
False
Let l(a) = -4*a**3 - 4*a**2 - a - 2. Is l(-3) even?
False
Suppose 