tor of y?
False
Let x = -279 + 483. Is x a multiple of 17?
True
Let o be (10/8)/((-3)/(-12)). Suppose -5*i = 2*u - 17, -2 + 3 = u + o*i. Is 6 a factor of u?
False
Let l = -14 + -56. Let k = 46 + l. Does 9 divide (k/(-9))/(1/9)?
False
Let n(g) = -3*g + 5. Let i be n(-5). Let x be 0 - ((2 - 0) + i). Is 11 a factor of (x/3)/(2/(-6))?
True
Let p(u) = 5*u + 2. Let z be p(-2). Let n = z - -13. Is 3 a factor of n?
False
Let r = -11 + 13. Suppose -19 + 49 = r*k. Is 15 a factor of k?
True
Suppose 3*s + 1 = 10. Let z = -6 + 10. Let r = s + z. Is r a multiple of 6?
False
Let q = 167 + -136. Is 11 a factor of q?
False
Let n(u) = -u**3 - 6*u**2 - u + 5. Does 5 divide n(-6)?
False
Suppose -5*j + 4 = -11. Suppose -2*c - j = -c. Is 4 a factor of (44/16)/(c/(-12))?
False
Let s = 46 - 14. Let i = s - 8. Is i a multiple of 12?
True
Let n(r) = r**2 - 10*r + 13. Is 2 a factor of n(10)?
False
Let h = 1 + 0. Let r be h + 1*(1 + 1). Suppose -x - r*x + 5*v = -22, 0 = -4*v + 8. Does 3 divide x?
False
Suppose v = -3*o + 17, 0 = o - 3 + 1. Let f(d) = d**3 - 10*d**2 - 10*d + 4. Does 15 divide f(v)?
True
Let d = -5 + 10. Suppose 0*u + u = -2*i + 91, 220 = d*i - 5*u. Is i a multiple of 18?
False
Let x(j) = -41*j**3 - 4*j**2 - j + 2. Let f be x(-2). Suppose 4*l + 268 = 4*u, f = 5*u - 4*l - 24. Is u a multiple of 24?
True
Let j = 3 - 8. Let w = j - -14. Does 8 divide w?
False
Let g = 4 - 4. Suppose 2*p = -g*p + 84. Let l = p - 11. Does 11 divide l?
False
Let b(u) = u**2 - 16*u + 7. Does 43 divide b(18)?
True
Let z be ((-2)/(-4))/((-2)/(-12)). Let q(c) be the second derivative of c**4/6 - 5*c**3/6 + c**2 + 2*c. Does 3 divide q(z)?
False
Let p(j) = j**3 - 2*j**2 - 3*j. Let o be p(5). Suppose -4*q + o = q. Does 4 divide q?
True
Suppose 0 = 2*i + 2 - 10. Is 261/6 - 6/i a multiple of 20?
False
Let f = 5 + -3. Suppose 3*y - f*g - 36 = 12, 0 = -2*y + g + 32. Does 9 divide y?
False
Suppose -o + 12 = -34. Suppose -2*z + o - 4 = 0. Is z a multiple of 4?
False
Let d be (122/6)/((-1)/3). Let a = -87 - d. Let b = -5 - a. Does 8 divide b?
False
Let r(c) = -c**3 + 5*c**2 + 7*c - 2. Let o(k) = 8*k**3 - k. Let u be o(1). Let z be r(u). Let y = z + 75. Is y a multiple of 14?
False
Suppose 2*i - 1 = 3. Suppose 0 = -4*s + i*u + 106, -s = -u + 2*u - 34. Is s a multiple of 8?
False
Suppose 4*t - 52 - 60 = 0. Suppose -3*z + t = -z. Is z a multiple of 6?
False
Suppose 0 = -2*z + 118 + 12. Is z a multiple of 13?
True
Let n = -29 + 37. Suppose -4*o = -n*o + 112. Is o a multiple of 16?
False
Let b(c) = c**2 + 2*c - 3. Let w be b(2). Suppose 195 = w*m - 410. Suppose -3 = -4*u + m. Is u a multiple of 17?
False
Let z(g) = 2*g**3 - g**2 - 2*g + 1. Let t be z(2). Let d = t - -11. Suppose -4*b + d + 76 = 0. Is b a multiple of 11?
False
Suppose -7 = -s - 5*l, 5 = 3*s + 2*l - 3*l. Does 23 divide s + 6*4 - 3?
True
Let o = 21 - -12. Suppose 5*h - 2*u + 4*u = -6, 3*u = 5*h - 9. Suppose o = -h*n + n. Is n a multiple of 9?
False
Suppose p = -0*p - 2, 0 = -3*f - 2*p + 14. Suppose f*i - i = 20. Suppose y = i + 9. Is 5 a factor of y?
False
Suppose -5*v - 10 = -w, 0 = -v + 3*w - 0*w - 16. Let a be ((-1 - -2)/v)/1. Does 2 divide 1/((a/3)/(-1))?
False
Let j be ((3 - 3)*-1)/(-2). Suppose 2*z + 0*z = j. Suppose z*m = m + 3, 0 = 4*l - 4*m - 44. Is l a multiple of 4?
True
Let j = -187 - -352. Is j a multiple of 14?
False
Suppose -2*k = -5*k + 9. Suppose -2*s + 5 + 4 = 5*r, s + k*r = 7. Let v = s + 24. Does 8 divide v?
True
Suppose -236 = 3*g - 56. Is 19 a factor of 1*(-5 - -2) - g?
True
Let c(y) = y - 2. Let g be c(4). Let f be (g/6)/(1/9). Suppose f*j - 14 = 34. Is 8 a factor of j?
True
Suppose -15 - 145 = -5*t. Is 5*-2*t/(-20) a multiple of 7?
False
Is 2 + 16 - (0 - 0) a multiple of 18?
True
Let g = 46 + -19. Let b = -6 + g. Is b a multiple of 8?
False
Suppose v = 6*v - 15. Let s(a) = 8*a**2 + a**2 + 7*a - a**2 + 8 + a**v. Does 4 divide s(-7)?
True
Suppose 309 = 2*n + 75. Is n a multiple of 9?
True
Suppose -g + 72 = -2*k, -4*g + 2*k = -3*k - 300. Let h = g - 53. Does 9 divide h?
True
Let s(m) = -5*m + 3. Does 14 divide s(-5)?
True
Suppose 2*j - 20 = -2. Suppose -4*b - 30 = -j*b. Is b a multiple of 6?
True
Let h(g) = -19*g + 15. Is 31 a factor of h(-9)?
True
Suppose 4*p = -f + 15, -6*f = -2*f - p - 94. Suppose -i + f = -13. Does 18 divide i?
True
Let y(s) be the first derivative of -11*s**2/2 - s - 3. Is 3 a factor of y(-1)?
False
Is 13 a factor of -3 - 87/((-6)/2)?
True
Suppose -1 - 3 = -4*o, o - 51 = -5*x. Is x a multiple of 9?
False
Suppose 0 = 2*j + o - 6, -33 = -5*j - 3*o + 5*o. Suppose -5*b + 205 = j*w, 16 + 29 = w + 5*b. Does 20 divide w?
True
Suppose -35 + 10 = -5*x. Let n(g) = g**2 + g - 2. Let v be n(-4). Suppose 3*b + 5*j = x, j = 3*b + 5*j - v. Does 5 divide b?
True
Is 5 a factor of (-48)/(-4) + (1 - -2)?
True
Let r(k) = -5*k**3 + 2*k**2 + 4*k + 3. Suppose 5*d + 2*g = -10, 2*g - 3*g = 0. Let f be r(d). Let p = f - 25. Is p a multiple of 9?
True
Let m(a) = a + 3. Let s be m(-3). Suppose i - 5*i + 228 = s. Suppose i = 5*f - 113. Is 16 a factor of f?
False
Let j = 22 + 44. Is 11 a factor of j?
True
Let o be (-4)/24 - 58/12. Is 15 a factor of ((-8)/o)/((-8)/(-160))?
False
Suppose 9*y = 21*y - 2448. Does 16 divide y?
False
Let a = 8 - 6. Suppose 14 = -g + 5*g + 3*w, 5*w - 12 = -g. Suppose -a*c = -0*u + 2*u - 36, -36 = -2*c + g*u. Is 18 a factor of c?
True
Let p be 361/2 + 5/(-10). Suppose 0 = -7*b + 3*b. Suppose 0*s - 5*s + p = b. Is s a multiple of 21?
False
Suppose -4*d - 2*r + 631 = 17, -4*d = 5*r - 623. Is d a multiple of 19?
True
Suppose 5*r = 3*p + 50 + 160, 3*p + 237 = -4*r. Is 13 a factor of (p/(-12) + -3)*12?
True
Let r be 942/(-8)*(-8)/3. Suppose 2*p = 4*p - r. Suppose -4*z - 3*j + p = 2*j, j = 1. Is 13 a factor of z?
False
Let a be (-85)/(-15) + 4/(-6). Suppose -3*q + a*q - 66 = 0. Is 11 a factor of q?
True
Suppose -3*r = b - 156, -b = -5*b - 3*r + 606. Does 37 divide b?
False
Suppose 40 = -3*y - y. Let l = y + 17. Let p = 52 - l. Is 20 a factor of p?
False
Suppose 0 = -5*q + 9*q - 8. Is 3 a factor of 9 + (q/2)/(-1)?
False
Suppose -s - 2 = 18. Let x be 172/6*9/6. Let u = s + x. Is 6 a factor of u?
False
Suppose 0 = -5*j + 9 + 1. Suppose 13 = j*c - 57. Does 22 divide c?
False
Let d(j) = -j - 5. Let q be d(-5). Suppose 0*x - 3*x + 150 = q. Is x a multiple of 14?
False
Let c(d) = d**2 + 2*d - 1. Is 47 a factor of c(6)?
True
Let x(j) = j**2 + 3*j - 1. Let k = -10 - -13. Does 17 divide x(k)?
True
Let m(j) = 3*j**2 - 2*j + 1. Let k be m(5). Let a = 30 - -15. Let i = k - a. Is i a multiple of 10?
False
Suppose 32*x = 33*x - 239. Is 25 a factor of x?
False
Suppose -2 = -c + 3, -3*a + 23 = 4*c. Let h be (13 + -4)/(a - 2). Is 2/3*(0 - h) a multiple of 3?
True
Suppose -2*y = 1 + 75. Does 14 divide y/(1*(-2 - 0))?
False
Let p(m) = -m**3 + 8*m**2 + 10*m + 11. Let q be -2*9/24*-12. Let d be p(q). Let n = d + -9. Is 4 a factor of n?
False
Let u(t) = 2*t**2 - 2*t + 6. Let j(x) = -x**3 + 3*x**2 + 2*x - 1. Let n be j(3). Does 23 divide u(n)?
True
Suppose 2*u - 107 = -3*l + 7*u, 135 = 4*l + u. Is l a multiple of 17?
True
Let p(b) = b**3 + 10*b**2 + b + 6. Let u be p(-10). Let m = 0 - u. Does 2 divide m?
True
Let l(b) = -b + 3. Let g be l(-4). Let y = g - 4. Suppose -y*w + 180 = -0*w. Does 21 divide w?
False
Suppose 2*a = 3*m - 218, -a - 98 - 119 = -3*m. Is m a multiple of 18?
True
Suppose 0 = a + 2*z + 2, 5*z + 4 = -a - 2*a. Let d be 256/12 + a/3. Let j = -13 + d. Is 9 a factor of j?
True
Suppose 5*j - 4*m + 2*m + 250 = 0, -j = 3*m + 50. Suppose 3*x + 2*x = -170. Let t = x - j. Is t a multiple of 8?
True
Suppose 0 = -10*p + 4762 - 12. Is 32 a factor of p?
False
Does 5 divide (-6*10/(-3))/2?
True
Is 9 a factor of ((-3)/5)/(1/(-15))?
True
Suppose -2*f - 3*f = 3*y + 74, -y - 5*f - 28 = 0. Let o(a) = -a**3 - 10*a**2 - 4*a + 1. Let g be o(-10). Let k = g + y. Is 9 a factor of k?
True
Let j = 440 - 93. Is j a multiple of 15?
False
Suppose u - 26 = 72. Is u a multiple of 14?
True
Is (-618)/(-7) - 2/7 a multiple of 21?
False
Let o = -108 + 57. Let b = o + 77. Is b a multiple of 10?
False
Let f(l) = -3*l**2 - 9 + 0*l**3 + 12*l**2 + 3*l - l**3. Suppose -3*c + 33 = 6. Is f(c) a multiple of 7?
False
Let b = 25 - 19. Is b a multiple of 6?
True
Suppose 5*v - 65 = -4*y - y, 0 = -2*y + v + 26. Is y a multiple of 10?
False
Let j be (-32