be ((-12)/(-10))/(1/(-5)). Let k be (-4)/g - 30/(-9). Suppose -2*f - 2 + 0 = -4*y, -f - k*y = -29. Is f a multiple of 3?
True
Does 27 divide (18/5)/(-2 + 31/15)?
True
Let w = -6 - -10. Suppose 5*b - 8 = -3*l + 1, -w*l + 12 = -2*b. Suppose b*a + 3*q = 4*a - 4, 0 = q - 4. Is a even?
True
Suppose -4*q + 10 = a, 3*q - 3*a + 3 = 18. Let d be 1/(((-9)/(-15))/q). Suppose -2*f - 13 = f - 5*c, d*c - 25 = 0. Does 2 divide f?
True
Let j = -17 - -37. Is 20 a factor of j?
True
Let s(a) = 56*a + 44. Is s(4) a multiple of 13?
False
Suppose 0*b + 585 = 5*g + 4*b, -234 = -2*g - 4*b. Is 39 a factor of g?
True
Suppose -2*t = 4*j - 62, -t + 49 = j + 2*j. Suppose o - j = 7. Is 8 a factor of o?
False
Let h = 452 - 296. Is 12 a factor of h?
True
Suppose -44 = 2*f - 4*f. Suppose 66 = 3*k + 2*d - 5*d, 0 = -k - 3*d + f. Is k a multiple of 9?
False
Suppose 3*p = q + 102, 2*p - 4*q = 7*p - 170. Does 5 divide p?
False
Let w(l) = -8*l - 4. Is w(-3) a multiple of 20?
True
Suppose -6*s = -5*s - 56. Suppose -4*l + 0*l - u = 129, -3 = 3*u. Let g = s + l. Does 12 divide g?
True
Let o = 2 + -3. Let v be 0/o - 0/3. Suppose v = n + 3*n - 40. Is n a multiple of 5?
True
Suppose 5*p = 18*p - 52. Is p a multiple of 2?
True
Suppose -5*j + q - 6*q = -40, 5 = 4*j - 5*q. Let n = -3 + j. Suppose -n*h + x - 13 = -4*x, -3*h - x = -23. Is 3 a factor of h?
True
Let x = -86 + 56. Let v = x + 62. Does 16 divide v?
True
Suppose 0 = -3*c - 3 - 15. Let q be (-3)/(c/9 + 1). Let p = q + 15. Is 4 a factor of p?
False
Let w = 1 - 3. Let o be (33/(-12))/(w/(-8)). Let y = 7 - o. Is y a multiple of 10?
False
Let j = 346 - 198. Does 9 divide j?
False
Let c(m) = -m**2 - 5*m - 2. Let r be c(-3). Let n = 17 - r. Does 4 divide n?
False
Let q = -13 + 27. Does 14 divide q?
True
Let f = -4 - -4. Suppose f = -0*v - 3*v + 12. Does 2 divide v?
True
Suppose -1 - 2 = -h. Let f be h/2*6 - -2. Suppose -f + 92 = 3*i. Is 11 a factor of i?
False
Suppose -2*p + 2 = -2*z, -2*z + 4 = 2*p + 2. Suppose 5*t - 10 = -z. Suppose 40 = 2*i + t*i - 4*j, 2*j - 22 = -i. Does 14 divide i?
True
Let x(q) = -5*q**3 - 2*q**2 - 5*q + 6. Is x(-3) a multiple of 18?
False
Let m = 125 + -31. Suppose 5*b + m = 5*c + 24, -3*c + 4*b = -44. Suppose 2*w - 30 = c. Is w a multiple of 13?
False
Suppose -2*v + 2 - 64 = -4*c, -19 = -c - 3*v. Suppose -2*l - c = -g, -l + 0*l + 13 = 3*g. Suppose -g*r = -4*r - 40. Does 10 divide r?
True
Let h be (-1)/(-2) + 99/6. Let g = 114 + -80. Let y = g - h. Is y a multiple of 9?
False
Suppose -4*w + 5 = 3*u - 1, -2*w + u - 2 = 0. Suppose -4*f - 60 + 0 = w. Is 6 a factor of (12/(-15))/(1/f)?
True
Does 10 divide (-2)/11 + (-200)/(-11)?
False
Let m = 2 - -1. Suppose -5*u - 2*a = -35, a - m*a - 10 = -4*u. Let h = u + 5. Is 10 a factor of h?
True
Let k(c) = c - 4. Let b be k(4). Suppose b = -g - 5 + 11. Is 10 a factor of (-64)/(-6) - (-2)/g?
False
Let p = 3 - 5. Let h(y) = -4*y**2 - 2*y. Let w be h(p). Is 2/(w/9)*-10 a multiple of 15?
True
Let k = 22 - 15. Does 7 divide k?
True
Let p be (-4)/8 - 105/2. Let l = p - -38. Is (-66)/l - (-4)/(-10) a multiple of 4?
True
Suppose 0 = 2*s + 2 - 4. Suppose -z + s = -1. Suppose -3*w = w + z*v - 4, 0 = 3*v + 6. Is w a multiple of 2?
True
Let m(k) = -3*k**2 - 2*k**2 + 7*k**2 - 12*k + 10. Does 32 divide m(9)?
True
Let n(p) = -p**3 + 11*p**2 - 14*p - 6. Is 18 a factor of n(6)?
True
Suppose 0 = 3*f + 2*f + 5, -3*i - 5*f + 187 = 0. Is 13 a factor of i?
False
Suppose 5*k = -0*k + 60. Is 12 a factor of k?
True
Suppose 2*r + 8 + 0 = 0, 0 = 4*g - r. Let x be 2 + (0 + 1)*g. Is 4 a factor of 12 - 2 - (x + -1)?
False
Let l = 87 + -35. Is l a multiple of 12?
False
Let c = -3 + 3. Suppose a - 4*a + 57 = c. Is a a multiple of 19?
True
Suppose -2*j = -5*s - 140, 2*j - 2*s - 148 = -s. Let q = -39 + j. Does 24 divide q?
False
Is (-8)/(-20)*5 - 292/(-4) a multiple of 28?
False
Let u(b) = -b**2 - b + 12. Let h be u(0). Let s = 72 - h. Is 30 a factor of s?
True
Let q = -32 - -185. Suppose q = -0*h + 3*h. Suppose -3*z = 2*i - 5*z - 30, h = 3*i - 5*z. Is 11 a factor of i?
False
Let l(t) = 6*t**2 + t + 1. Let x be l(-1). Let n(i) = 2*i + 0*i - 6 - 3 + 3. Does 4 divide n(x)?
False
Let z(m) = -m**2 - 7*m - 5. Let t = 2 + 1. Suppose -4*j - 16 = -t*n, 4*j + n = -j - 20. Is z(j) a multiple of 4?
False
Let o = 22 + 23. Is -3 + o/(6/2) a multiple of 3?
True
Is (-1232)/(-36) + (-2)/9 a multiple of 5?
False
Let p(b) = -b**3 - b**2 + b + 6. Let l be p(0). Suppose g - l*t = -2*t + 4, 0 = -2*t. Suppose 4*n + g*i - 7 = 3*n, -5*i = -5*n + 10. Is n a multiple of 3?
True
Let f = 1 + 0. Let q(c) = 2*c**3. Let g be q(f). Suppose -3*d = -3*k - 2*k + 83, 87 = 5*k - g*d. Is 19 a factor of k?
True
Let a(x) = -x**3 + 393 + 2*x + 6*x**2 + 0*x - 390. Suppose 12 = n + n. Does 15 divide a(n)?
True
Let r(m) = -4 - 6*m**2 + 5*m + 14 - 11 + 2*m**3. Is r(4) a multiple of 17?
True
Does 4 divide (1/(-3))/(2/(-78))?
False
Let l(b) = -2*b - 4. Let v be l(-3). Let y = 3 - v. Does 6 divide -2 + 0 - -16*y?
False
Let c = 26 + -41. Let a = -9 - c. Is a a multiple of 3?
True
Let g = -33 + 66. Is 6 a factor of g?
False
Let k(i) = 2*i**2 - 9*i + 10. Is 9 a factor of k(7)?
True
Let i = -1 + 5. Let b = i + 3. Suppose b*l - 40 = 2*l. Does 8 divide l?
True
Let t(l) = l**2 - 2*l - 32. Does 8 divide t(10)?
True
Let h(r) = 6*r - r - 7*r - 2. Suppose -15 = 3*c - 0*c. Is h(c) a multiple of 8?
True
Does 3 divide 0*(-2)/4 - (-150)/5?
True
Let j(y) = -y**2 - y. Suppose 0 = 2*l - 3*l. Let s be j(l). Suppose s*g + 2*g - 146 = -3*x, 2*x = 4*g + 76. Is 17 a factor of x?
False
Let c(z) = -z + 0*z + 3 + 0 + 14*z. Let q be c(-5). Is q*3/6*-1 a multiple of 9?
False
Suppose 0 = -2*y + 5*y. Does 6 divide (-3 + 2)*(-29 - y)?
False
Suppose 3*s = 5*s. Suppose s = 7*r - 2*r - 30. Does 6 divide r?
True
Let m(a) = -a**2 - 5*a. Let q be m(-5). Suppose -3*t - 2*t + h = 29, -3*t = h + 19. Let z = q - t. Is z a multiple of 5?
False
Suppose -3 = 5*s - 13. Is (25 - 5)/(s + -1) a multiple of 8?
False
Suppose 24 = 5*g - 4*g + 5*q, -4*g = -4*q - 24. Suppose -3*c + g = 3. Is c a multiple of 2?
True
Let w be (-3 + 2)/(1/(-2)). Let r be 2/(-4)*40/w. Is (-2 - -3 - r)/1 a multiple of 11?
True
Let s be (-2)/7 + (-264)/(-42). Let c(h) = h**3 - 5*h**2 - 2*h + 7. Does 13 divide c(s)?
False
Suppose -13 + 2 = -n. Suppose 5*l - 2*h = n, 22 = 2*l + 3*h + 10. Suppose -i = v - 2*i - 29, 4*i + 88 = l*v. Is 17 a factor of v?
False
Let n be (-13*(-7 - -3))/2. Let d = 46 - n. Is d a multiple of 9?
False
Suppose 2*g + 7 = -4*v - 253, 0 = 5*v - 3*g + 336. Is 11 a factor of (-1 + v/(-15))*5?
False
Let s = 46 - 28. Does 8 divide s?
False
Let z be -4*(8 - -3) - 0. Is 328/11 - 8/z a multiple of 10?
True
Suppose 0 = -15*v + 754 + 296. Is v a multiple of 14?
True
Let v(w) = -w**2 - w + 4. Let n be v(-4). Let b = -8 - n. Suppose b = -5*f + 14 + 21. Is f a multiple of 7?
True
Let p = 19 + -13. Suppose p*q - 72 = 2*q. Is 5 a factor of q?
False
Let s(w) = -w**2 + 1. Let f be s(2). Let o(r) = r**3 + 3*r**2 - 2*r - 3. Let y be o(f). Let q(n) = n**3 + 2*n**2 - 3*n - 2. Does 13 divide q(y)?
False
Suppose 2*o - 3 = 1. Suppose o = 4*k - 6. Let r(n) = 7*n + 2. Is 8 a factor of r(k)?
True
Suppose 0 = c - 0*c - 4. Suppose -3*v = -2*v + 5*l - 9, 0 = c*v - 2*l - 58. Is 7 a factor of v?
True
Let z(p) = p**3 + 6*p**2 - 2*p - 8. Let h be z(-6). Suppose -r + 7 - 1 = 4*q, -3*r + 18 = h*q. Suppose -3*b + 5*l + 9 = 0, -4*l - r = -2*b + l. Is b even?
False
Let s = -48 - -54. Is s a multiple of 2?
True
Let g(y) = -y**3 + y**2 + y. Let x(t) = 2*t**3 - 9*t**2 + 7*t + 3. Let f(q) = 3*g(q) + x(q). Let a be f(-7). Let k = 12 - a. Is 11 a factor of k?
False
Let l(g) = g**3 + 5*g**2 - g. Let k be l(-5). Suppose -h + 3*z = -45, 3*h - 40 = -k*z + 25. Is 15 a factor of h?
True
Suppose 2*c + 5*r - 66 = 0, -5*r - 11 = -4*c + 151. Is c a multiple of 15?
False
Suppose 0*g + 5*g - 15 = 0. Is 13 a factor of 5 - g - 2 - -14?
False
Suppose 5*r - 3*r + 44 = 0. Let m = r + 37. Is m a multiple of 10?
False
Let d = 16 - 10. Let x = 10 + d. Is 16 a factor of x?
True
Let b = 28 - 12. Suppose 2*l - 2 = -4*k, l + 3*l - 4*k = b. Suppose l*y + 3*i = -i + 38, 4*y - 36 = 2*i. Is 10 a factor of y?
True
Let x(a) = a**2 - 7*a + 4. Let y be x(5). Let g be 0/(-3) - (y - -1). Suppose -4*j = 5*p - 191, g*j + 4*p - 148 = 84. Is j a multiple of 22?
True
Let o(h) = 2*h**3 -