). Let q = 60 + x. Is q a multiple of 13?
True
Let k = -3 - -6. Suppose 2*l + 10 = k*l. Is 10 a factor of l?
True
Let d(b) = b**3 + b**2 - b + 1. Let r be d(1). Suppose 0 = -r*n - 2*n. Is 11 a factor of 34 - 7 - (-3 - n)?
False
Suppose -2*s = -2*d + 2 + 4, 2*d = 5*s. Let r = 7 - s. Is r a multiple of 3?
False
Let n = -116 + 236. Is n a multiple of 15?
True
Suppose -j = 3*j - 8. Let b = j - -4. Let d(o) = 2*o + 5. Does 17 divide d(b)?
True
Suppose 4*j - 3*j = 4. Suppose 2*v = j*v + 4. Is (-58)/(-6) + v/(-6) a multiple of 5?
True
Suppose 4*r = -r + 205. Does 9 divide r?
False
Suppose 4*z + 9 = 7*z. Suppose -z*x = r + 3*r - 22, r - 2*x = 0. Suppose 0*f - r*f = -84. Is f a multiple of 7?
True
Let x = 59 - 35. Is x a multiple of 13?
False
Suppose -4*u + 499 = 115. Does 32 divide u?
True
Suppose d + 4*t - 77 = 59, -4*d = -t - 629. Is 52 a factor of d?
True
Let h(b) = b - 6. Let k be h(8). Suppose 4 = -4*q + k*d + 6, 5*d = -5*q - 20. Does 12 divide -24*(-2 - q) + -1?
False
Suppose 0 = p - 0*p - 14. Is 5 a factor of p?
False
Let n = -2 + -1. Let y = n - -4. Is y*-2*57/(-6) a multiple of 19?
True
Suppose -2*q - 3*q = -155. Let i = 10 - 7. Suppose 2*o + q = i*t, -5*t = -4*o - 0*o - 55. Is 7 a factor of t?
True
Suppose -f + 0 = -3. Suppose 4*l - 6*j + 129 = -j, -4*l - f*j = 121. Let v = -20 - l. Is v a multiple of 11?
True
Suppose 5*r - 80 = r. Is r a multiple of 5?
True
Let v(q) be the third derivative of -q**4/6 - 5*q**3/6 - q**2. Let s(r) = r**2 - 10*r + 12. Let n be s(8). Is 10 a factor of v(n)?
False
Let m = -143 - -224. Is m a multiple of 18?
False
Let a be (-1 - -4)*(3 - 2). Suppose 30 = 5*p + 4*r - 7, r + 12 = 3*p. Suppose -a*s + 20 = o, -2*o + p*s + 32 = o. Does 12 divide o?
False
Let c(i) = i**2 + 5*i - 6. Let a be c(-6). Suppose -r - 9 = -2*l, a*r + 2*r - 3*l = -17. Let w = r + 13. Is w a multiple of 4?
False
Suppose 18 = -4*a + 122. Suppose 178 = 4*d - a. Does 17 divide d?
True
Suppose -7*u + 2*u = y + 161, -2*u + 5*y - 59 = 0. Is 5 a factor of -4*(-4)/(u/(-10))?
True
Let a(k) be the third derivative of -k**4/24 + 5*k**3/6 + 4*k**2. Is a(-12) a multiple of 17?
True
Suppose -d + 12 = -5*d, -2*d - 6 = -2*h. Suppose 2*g + 5*p - 173 = 0, -3*g + 197 = -h*p - 5*p. Suppose 30 = 2*q + r, 2*r + r - g = -5*q. Is q a multiple of 12?
False
Let t = 10 - 8. Let x(w) = -w**3 - w + 4. Let a be x(0). Suppose n - 4*p = -t*n + 22, 4 = a*n + p. Is 2 a factor of n?
True
Let x = 286 + -195. Does 7 divide x?
True
Let w(n) = -n + 4*n - 3*n**2 + 6*n**2 - 1. Let s be (-1)/((-3)/(-6) - 1). Is 14 a factor of w(s)?
False
Let b(w) = -w**3 - 7*w**2 + w + 10. Suppose 0 = -v - 2*z - 2, -2*z + z = -2*v - 19. Is 14 a factor of b(v)?
False
Let i be ((-572)/(-6))/(4/6). Suppose 4*y + r + 140 = -3*r, 4*y + i = -r. Is 7/(21/y)*-4 a multiple of 24?
True
Let q(l) = -l**3 + 4*l + 3. Let g be q(-2). Suppose -4*k - 6 = -g*k. Is k/(-2 - (-3)/6) a multiple of 2?
True
Suppose -6*a + 15*a - 504 = 0. Is 14 a factor of a?
True
Suppose -28 = -4*y - 8. Suppose 2 = -g + 6. Suppose 61 = y*b - g. Is 10 a factor of b?
False
Let b = 14 - -178. Is b a multiple of 33?
False
Let i(s) = -7*s**3 + s**2 + 3. Let b = -8 - -19. Let h(r) = -35*r**3 + 5*r**2 - r + 16. Let v(w) = b*i(w) - 2*h(w). Is v(-1) a multiple of 7?
True
Let b(f) = -2*f**3 + 0*f**3 + 5 + f - 3*f**2 + f. Let w be b(-4). Suppose 2*d - 2*o = -6*o + 46, 0 = 4*d + 5*o - w. Is d a multiple of 13?
True
Suppose 0*v + 3*v = 0. Suppose -2*f + 46 = -5*t - v*t, 5*f + 2*t - 86 = 0. Is 9 a factor of f?
True
Let y(x) = -35 + 11*x + 15 + 17. Is 13 a factor of y(5)?
True
Suppose 4*d - 36 = -20. Does 12 divide (-8)/3*(-54)/d?
True
Suppose 4*k = -0*k. Let h(d) = d**3 + 6*d**2 + 7*d - 2. Let p be h(-5). Let t = k - p. Does 11 divide t?
False
Let b = 10 - -10. Does 4 divide b?
True
Suppose -3*j = 3*z - 5*z - 8, -2*j + 12 = 2*z. Suppose -5*x - f + 196 = 0, -j*f = -x + f + 60. Is x a multiple of 15?
False
Let h = 1 - 1. Suppose 3*p - 8 = -2*l + 5, -p - 2*l + 11 = h. Does 3 divide (1/((-1)/(-7)))/p?
False
Suppose -5*q = 25, -q = 2*w - w - 259. Is w a multiple of 33?
True
Let q be -1 - 1 - (-7 - 1). Suppose 4*b - 34 = q. Let g(s) = s**3 - 9*s**2 - 9*s - 6. Is 2 a factor of g(b)?
True
Let l = 8 + -3. Let p = l - 0. Let k(s) = s**3 - 4*s**2 - 2*s + 5. Is 10 a factor of k(p)?
True
Let s = 88 - 46. Suppose -2*v = s - 112. Does 20 divide v?
False
Suppose -2*f - 3*v - 66 = 0, v = f - 9 + 52. Let k = -22 - -1. Let s = k - f. Is 12 a factor of s?
False
Let a(g) = -g**3 - 11*g**2 - 13*g - 10. Suppose 0*c - 2*c - 18 = 0. Let y be a(c). Let i = -39 - y. Is i a multiple of 16?
True
Suppose -3*q = 3*v - 9, -4*v = -q - q + 36. Is 8 a factor of q?
True
Let i = 190 - -7. Suppose -5*z + 158 + i = 0. Is z a multiple of 26?
False
Let z = 30 - -22. Is z a multiple of 26?
True
Let l = -72 - -157. Is 11 a factor of l?
False
Let h = 12 - 10. Does 3 divide (-486)/(-63) - h/(-7)?
False
Let b be 27/(-12) + 2/8. Let k = -2 - b. Let o = k - -4. Is o a multiple of 3?
False
Let q(b) = -b**2 - 5*b. Let f be q(-6). Let g(r) = r**3 + 7*r**2 + 7*r + 8. Let y be g(f). Is (-4 + y)/(-2)*2 a multiple of 2?
True
Let d = 8 + -4. Let p be (d/2 + -2)/(-3). Suppose 4*c + p*c - 56 = 0. Is 14 a factor of c?
True
Let r(g) = -9*g - 2. Suppose x + 2*h - 1 = 0, -5*h = -3*x + 4 - 23. Is 7 a factor of r(x)?
False
Suppose 4*z = -3*d + 73, 3*d - 73 = -z + 6. Suppose 27 = 3*n - 2*c, n - 3*c = -2*n + d. Is 3 a factor of n?
True
Let p = 16 + -7. Let c(a) = -4*a**2 + 5*a - 8. Let u be c(6). Does 7 divide 2/p + u/(-18)?
True
Suppose 3*j + 12 = 2*h + 2*j, 16 = 5*h + j. Suppose h*k = k + 99. Is k a multiple of 11?
True
Suppose -4*m - 4*c = -4, -3*m - m + 4*c = -4. Is 27 a factor of 240/(-9)*(-2 - m)?
False
Let f(o) = -o + 3. Suppose 4*a + 14 = 2*a. Is f(a) a multiple of 10?
True
Let x(s) = 15*s - 17. Is x(7) a multiple of 13?
False
Let c = 20 - 10. Let f = -7 + c. Does 3 divide f?
True
Suppose 0 = -2*x - 3*x + 315. Is 21 a factor of x?
True
Let d be 1304/56 + 4/(-14). Let k = d - 6. Is 7 a factor of k?
False
Let v be ((-4)/5)/(6/(-15)). Is v/(-7) + 156/7 a multiple of 11?
True
Let r(l) = l**2. Let s be r(-2). Suppose -5*t + w = -26, w = s*t + 3*w - 32. Is t a multiple of 6?
True
Let b(h) = 9*h**2 - 3*h - 2. Does 10 divide b(-2)?
True
Let h = 3 + 26. Is h - (1 + (-1 - -2)) a multiple of 9?
True
Let u(g) = 2*g**3 - 3*g**2 - 3*g + 2. Let o be u(3). Let r = -8 + 11. Does 8 divide r/3*0 + o?
False
Let s(o) = -o**3 - 7*o**2 + 7*o - 7. Let m be s(-9). Suppose 2*j - m = -2*j. Suppose 5*y - 4*h = 39 + j, -2*h = 4*y - 60. Is 6 a factor of y?
False
Suppose -143 = 2*v + 3*j + 2*j, v = -5*j - 59. Suppose 0*p = 8*p + 344. Let y = p - v. Is 14 a factor of y?
False
Let a be 6 - 2 - (1 + -1). Suppose -a*o = o - 15. Suppose 32 = 2*j - o*b - 8, 11 = j + 3*b. Is j a multiple of 17?
True
Let n be 1 - ((-4)/(-2) + 0). Is 10 a factor of (-27)/n*(-1 - -2)?
False
Let g(l) = l + 4. Is g(21) a multiple of 2?
False
Let s(c) = c**2 + 12*c - 9. Let y(f) = f - 1. Let x(o) = -s(o) + 3*y(o). Does 3 divide x(-9)?
True
Let d = 7 - 0. Let k(b) = b**2 - 5*b - 8. Does 4 divide k(d)?
False
Suppose 3*o + 4 + 14 = 0. Let n(d) = d**3 + 8*d**2 + 9*d + 5. Is n(o) a multiple of 9?
False
Let w(v) = 5*v**2 - 16*v + 12. Does 12 divide w(6)?
True
Let b = 16 - -6. Is 16 a factor of b?
False
Suppose -5*a + 235 = 5*k, 2*a - 89 = -4*k + 97. Suppose 0 = -x - x + t + k, -t = -5*x + 121. Does 5 divide x?
True
Suppose -3*c - 2 = -5*c. Let u be (c*2)/(4/(-106)). Is u/(-3) + 1/3 a multiple of 11?
False
Suppose 0 = -5*q - 0*u + 2*u + 37, -11 = q - 5*u. Is 3 a factor of q?
True
Suppose 0 = 6*m - 8*m + 126. Is m a multiple of 6?
False
Let k = 5 + 101. Does 12 divide k?
False
Suppose -5*w = 4*o - 5, 4 = -2*o + 9*w - 5*w. Suppose o = -4*k + 76 + 204. Suppose 9*z - 4*z - k = 0. Is 7 a factor of z?
True
Suppose -3*t + 3 = -7*g + 2*g, 0 = -t + g + 3. Does 6 divide t?
True
Let g(w) = w**2 - w - 8. Let k be g(-7). Suppose -2*q + 3*q = -5*p - 24, 2*q + k = -4*p. Does 10 divide (-5)/5 - 1*q?
False
Suppose -l + 16 = 3*l. Let j(f) = -2 + 5*f + f**2 + l + 1. Does 3 divide j(-5)?
True
Let p = -8 - -12. Let t = p - -12. Does 10 divide t?
False
Let z be ((-1)/(-2))/((-3)/(-132)). Let m = z + 6. Is 8 a factor of m?
False
Suppose -11*h + 3315 = 2*h. Is 9 a factor of h?
False
Suppose -2*d + 2*