 of 13?
False
Let s(m) = m**2 - 10*m + 18. Let j be s(14). Let a = -43 + j. Is a a multiple of 16?
False
Suppose 2*b - 6*b - o - 35 = 0, -3*b + 5*o = 32. Is 19 a factor of 3 - (b + 4)*7?
True
Let s = 17 + -11. Suppose -15 + s = -c. Is 9 a factor of c?
True
Let r(t) = -6*t - 38. Does 16 divide r(-17)?
True
Suppose a + a - 26 = 2*w, -4*w = -3*a + 41. Suppose -15 = -g - 4*p, 2*g - g = -2*p + a. Does 7 divide g?
True
Suppose 5*r - 92 = -2*f, 3*r - 13 = 4*f + 63. Does 3 divide r?
False
Let k = 7 - -4. Suppose -3*a + 13 = -4*i, -k = -4*a - i - 0*i. Is a even?
False
Let w = -3 + 7. Does 4 divide w?
True
Let z be (3 + -4)*(-4 - -1). Suppose 3*p - z*d - 36 = 0, 2*d + 11 = 4*p - 45. Does 16 divide p?
True
Let y(d) = -8*d**2 - 9*d + 3. Let w(b) = -b - 3. Let x be w(4). Let f be y(x). Is f/(-6) + 2/3 a multiple of 19?
False
Let y(j) = -3*j**2 - 15*j + 26. Let i(p) = -p**2 - 5*p + 9. Let n(a) = 17*i(a) - 6*y(a). Is 3 a factor of n(-7)?
False
Let p = 0 - -4. Suppose p*c = -3*z + 69, 0 = 5*z - 4*c - 74 - 41. Is z a multiple of 17?
False
Let c = -93 - 0. Let f = c - -141. Is 13 a factor of f?
False
Let v be (-7)/(-35) - (-38)/10. Suppose 0 = -y - v*y + 35. Does 2 divide y?
False
Let l(i) = i**3 - 15*i**2 + 17*i + 18. Is 19 a factor of l(14)?
False
Let g = -49 + 118. Does 8 divide g?
False
Let o be ((-6)/(-2) - 0)*-2. Let f(d) = -7*d + 2*d - 23 + 17 + d. Does 18 divide f(o)?
True
Let w(c) = c**2 + 6*c + 2. Let h be 18/(-2)*6/9. Let k be w(h). Suppose 0 = -j + k + 11. Is j a multiple of 9?
False
Let p be 2 - 5/((-15)/(-6)). Suppose -z + 15 = -4*o + o, p = 4*z - 2*o - 90. Is 12 a factor of z?
True
Let q(t) = -t**2 + 10*t - 18. Let p be q(7). Let g = -8 - -39. Suppose b - g = -2*c, -2*c + p*b = -5*c + 39. Does 18 divide c?
True
Let j(k) = k**3 + k**2 + k + 4. Let d be j(0). Suppose -3*p + 3*i = 7 - 1, 0 = -2*p - d*i + 26. Suppose p*y = -5*o + 59, -3*o + 3 - 4 = -y. Is 9 a factor of y?
False
Suppose 86 = 2*b + 2*v, -3*b - v + 131 = -0*v. Is b a multiple of 22?
True
Suppose -3*g - 12 = -7*g + 2*a, -2*g - a + 6 = 0. Suppose -b = -6 - g. Is 9 a factor of b?
True
Let l = 81 - 1. Is 10 a factor of l?
True
Suppose 8 + 16 = 4*y. Is 16 a factor of ((-48)/9)/((-2)/y)?
True
Suppose 3*r + 2*u = -2*r + 57, 4*u = 3*r - 29. Does 11 divide r?
True
Let m = 20 - 14. Let f(k) = m + 22*k**3 - 1 - k - 4. Is f(1) a multiple of 6?
False
Suppose 0*s - 5*s - 10 = 0. Let l be s*(1 - 2 - 1). Suppose 3*d = d + 4*n + 46, -2*n = l. Does 10 divide d?
False
Suppose -3*r + 0*r = 3*v, -3*r + 2*v + 20 = 0. Let g(n) = -n - 1. Let i(c) = 5*c - 1. Let p(j) = -g(j) + i(j). Does 8 divide p(r)?
True
Suppose 0 = -7*t - 2*t + 216. Does 24 divide t?
True
Suppose 0 = -5*z + 3*z + 74. Is 29 a factor of z?
False
Suppose 7*i = 3*g + 2*i - 24, -2*g + 9 = -i. Let l be (-4)/(-22) - (-320)/176. Suppose g*a - 59 - 11 = -l*u, 0 = 5*a - u - 134. Is 13 a factor of a?
True
Let g(q) = -q**2 + 5*q + 10. Let z be g(7). Let n be (z/(-6))/((-2)/(-3)). Is (n*-13)/1*-1 a multiple of 5?
False
Suppose 4*a - 4*t = -0*a + 8, -a + 4*t = -11. Does 8 divide (a - 0/(-3)) + 15?
False
Suppose 3*n + 2*g = 7*g + 199, 4*n = g + 288. Is n a multiple of 22?
False
Let r = 9 - 8. Is 0/(r - 5) + 46 a multiple of 23?
True
Let z(k) = k**2 + k - 1. Let q be z(-3). Let w(i) = i**2 - 2*i + 7. Is w(q) a multiple of 11?
True
Suppose 0 - 6 = -3*l. Suppose 0 = -4*m - 4*v + 215 + 21, l*m - v - 118 = 0. Suppose -5 = -0*j - 5*j, 4*o = j + m. Is o a multiple of 7?
False
Let w be (-3)/4 + 19/4. Suppose 3*d = w + 62. Does 5 divide d?
False
Suppose 11 = -3*x - 7. Is 93/(x/(-2)) + -1 a multiple of 15?
True
Suppose 5*y - 200 = u, -2*y - 40 = -3*y + 5*u. Let t = y + -26. Does 12 divide t?
False
Let w be (-3 - -1)*21/(-7). Suppose 5 = w*q - q. Let d(c) = 17*c**3 + c**2 - c. Is 7 a factor of d(q)?
False
Let d be -2*(-1)/(-6)*-3. Let c be d/(-3)*(-6 + 0). Suppose 0 = c*q - x - 63, -13 = q - 2*x - 52. Is 15 a factor of q?
False
Suppose 4*l + 32 = 4*c, 0*c - 3*l = c + 12. Suppose 4*g = -3*r + 68, 56 - 5 = c*g + 3*r. Is g a multiple of 15?
False
Is (3 + 2 + -4)*53 a multiple of 8?
False
Let b be 3/(-6)*-6*1. Let a be (8 + -5)/(b/2). Suppose 5*o - 28 - a = 0. Is o a multiple of 4?
False
Let n(b) = b**2 - 8*b - 5. Let m be n(-5). Suppose q + f = 38, f + f = 2*q - m. Let z = q + -8. Is z a multiple of 13?
True
Suppose -5*u + 328 + 169 = z, u - 3*z = 93. Suppose 4*y = 5*b - u, 5*b + 2*y - 11 = 112. Is 14 a factor of b?
False
Let j(g) = 23*g**3 + 1. Does 6 divide j(1)?
True
Let k(y) = -8*y + 60. Is 60 a factor of k(0)?
True
Suppose 14*p - 1512 = 2*p. Does 14 divide p?
True
Suppose -5*z + 8 = 4*u, 5*u - 4 = -5*z + 11. Is u a multiple of 7?
True
Let r be (-2)/(-16) - 1790/(-16). Let l = r + -63. Is l a multiple of 30?
False
Let y(u) be the third derivative of -u**7/2520 - u**6/60 + u**5/24 - u**4/8 + u**2. Let r(f) be the second derivative of y(f). Is r(-12) a multiple of 2?
False
Let s(r) = 18*r**2 - 2*r - 1. Is 19 a factor of s(-1)?
True
Let l = -25 - -43. Is 13 a factor of l?
False
Let k(n) = -n**2 - n + 5. Let j be k(0). Let t(h) = 4*h + 3*h - j*h**2 - 6 + 4*h**2. Is 3 a factor of t(5)?
False
Suppose 4*q - 5 = b + 10, -2*b = 5*q - 22. Does 2 divide (-20)/(-6) + b/(-3)?
False
Let v = 55 + -30. Is 7 a factor of v?
False
Let y(q) = -q**3 + 9*q**2 - 4*q - 6. Let n be y(8). Let t = 36 - n. Is t a multiple of 5?
True
Let g = -6 + 19. Let w = g + -3. Is 10 a factor of w?
True
Let l be -1 + 1 - 4/(-2). Suppose l*a - 4*v - 16 = 0, -4*a + 0*a - 3*v = 12. Suppose -3*d + 69 = 3*k, 3*d + a*d - 81 = 3*k. Is 9 a factor of d?
False
Let d(q) = -q**2 + 9*q - 6. Let r be d(8). Is 31 a factor of 33/(-12)*(-56)/r?
False
Suppose 0*q - 4*q = 8. Let j = q - -16. Does 5 divide j?
False
Suppose 0 = 3*l + 2 - 8. Suppose 0 = l*i + u - 3, -4*i + 8*i - u = 9. Suppose i*c + c - 78 = 0. Is c a multiple of 13?
True
Let h be 1/(-5) + (-78)/(-15). Suppose -2*z + 8 = 3*j, -h = 2*j + 5*z + 8. Does 4 divide j?
False
Let r be (-2)/((0 + -2)/1). Does 21 divide (-14*r)/(8/(-12))?
True
Let m be (39 - -2)/(1/1). Suppose 2*j = 0, -2*s - 3*j - 69 = s. Let q = m + s. Is 9 a factor of q?
True
Suppose -3*j - 9 = 2*b, 4*b + 2 = -j + 9. Suppose -b*d - m - 2*m = -96, -3*d + 2*m + 76 = 0. Is 11 a factor of d?
False
Suppose 0 = -4*c, -s = s + 4*c. Let q = s + 29. Let l = q + -16. Is l a multiple of 13?
True
Let n(a) = -a. Is n(-8) a multiple of 8?
True
Suppose 68 = n + 4*m, -5*m + 61 = n - 4. Is 20 a factor of n?
True
Let m(l) = 2*l**2 - 5*l + 3. Is 8 a factor of m(10)?
False
Suppose 0*h = 3*h - 3*j - 18, 5*h + 3*j = 14. Suppose 4*b = -5*s + 88, -h*s + 2*b + 83 = b. Does 10 divide s?
True
Let b = 114 + -6. Is b a multiple of 21?
False
Suppose 0 = -3*a + 4*j + 103, 3*a + 3*j + 0*j - 75 = 0. Is a a multiple of 6?
False
Suppose 2*f = -3*w - 95, 3*f + 51 = -4*w - 91. Let g = 67 + f. Does 9 divide g?
False
Let a be (-17)/(-5) + 2/(-5). Suppose -a*k + 2*k - 7 = 0. Does 6 divide (-4 - 3/(-3))*k?
False
Does 19 divide (10840/100)/((-2)/(-5) - 0)?
False
Let o = -23 + 26. Suppose -s = 4*t, s + s + t = 0. Suppose o*u = 111 - s. Is 14 a factor of u?
False
Suppose 6 = -y - 2*y. Let j = y - -37. Is 14 a factor of j?
False
Let q be (12/8)/((-6)/(-8)). Let f(m) = -4*m**2 - 2*m - 1. Let g be f(q). Let b = 49 + g. Is 17 a factor of b?
False
Let k be (-749)/(-35) + (-2)/5. Let y = k - -7. Does 14 divide y?
True
Let g(c) = 2*c**2 + 8*c + 2. Let b be g(-7). Is ((-4)/(-2) + b)/2 a multiple of 21?
False
Let l(w) = 5*w**2 + 3*w + 3. Let p(g) = 14*g**2 + 10*g + 9. Let r(m) = -11*l(m) + 4*p(m). Is 9 a factor of r(-9)?
False
Suppose 0*q - 3*q = 0, 5*c + 90 = q. Is 9 a factor of (-1)/(-3) + (-156)/c?
True
Let l(y) = y. Let a be l(6). Suppose 3 = -s + a. Suppose 5*g = 2*v - 56, -2*g = s*v + 2*g - 61. Is v a multiple of 9?
False
Let r(m) = -m**2 + 6*m + 6. Let q = 0 + -4. Let k be r(q). Is ((-4)/(-8))/((-1)/k) a multiple of 8?
False
Is ((-60)/9)/((-146)/72 - -2) a multiple of 40?
True
Let q(z) = -z**3 - 3*z**2 - z + 6. Let h be q(-6). Suppose 5*m + h = 400. Suppose -4*f + f = -2*j + 6, -5*f + m = 4*j. Is j a multiple of 3?
True
Let y = -55 + 95. Suppose 4*t - y = 5*x, 0*x + 10 = -5*x - 2*t. Is 15 a factor of (-9)/x*(-40)/(-2)?
True
Let r be (-25)/(-5)*4/(-10). Let u = r + 5. Is u a multiple of 3?
True
Let m(v) = -86*v + 5. Let h be m(-3). Suppose 2