s (-1 - -1) + -3 - -51 a multiple of 16?
True
Suppose 5*o - 65 = -y, 2*y + o - 75 = 2*o. Does 12 divide y?
False
Let b be 0/(-2 + 0 - -3). Let w = b + 3. Is 3 a factor of w?
True
Suppose 0 = x + 5*i - 13, 2*x - 49 = x + 4*i. Is x a multiple of 6?
False
Suppose 0 = -3*w + d + 17, 5*w - 54 + 7 = -3*d. Is 14 a factor of ((-273)/2)/w*-2?
False
Let w be 2/(-3) - 242/(-3). Let t be 34/6 - (-4)/(-6). Suppose -w = -3*m - 5*q, -t*m - q + 112 = 2*q. Does 13 divide m?
False
Suppose -3*a = -2*n - 2*n + 99, -2*n - 4*a + 66 = 0. Is n a multiple of 8?
False
Suppose 3*t - 7*t - 22 = 5*c, 4*t = -4*c - 20. Let i be (-1 + c)/((-6)/8). Suppose -j = i - 44. Does 16 divide j?
False
Let j be (1 + 2/(-3))*0. Let w be (-2 - j/1)/(-1). Suppose -4*m = w*t - 38, 2*t = m + 24 + 14. Does 6 divide t?
False
Let l be (2 - 3)*(3 + 0). Let s be (-6)/(-5)*(-10)/l. Is (-12)/(-14)*(17 + s) a multiple of 9?
True
Suppose 0 = -0*y - 5*y - 15. Let k be 2/(-4) + y/6. Let j(r) = -33*r**3 - 2*r**2 + 1. Is 15 a factor of j(k)?
False
Let p(d) = -199*d - 1. Does 11 divide p(-1)?
True
Let g(x) = 3*x**2 + 2*x - 12. Is g(-11) a multiple of 13?
False
Let s(k) = -7*k + 1. Let d(f) = -f**2 - 3*f + 1. Let j be d(-4). Does 7 divide s(j)?
False
Suppose 3*c + c - 144 = 0. Suppose -2*a + 5*a = c. Is a a multiple of 4?
True
Suppose -2*f + 15 = -17. Does 8 divide f?
True
Let t(o) = 21*o**2. Let m be (-2)/(6/9)*-1. Suppose 2 + 1 = m*b. Is 21 a factor of t(b)?
True
Suppose -2*g + 4 + 26 = 0. Let l be 22/5 - 6/g. Let m = 20 - l. Is 8 a factor of m?
True
Let n = -1 - -6. Suppose 0 = -n*r + 40 + 60. Does 10 divide r?
True
Let n be 9/(-3)*2/(-3). Is 21 + -3 - (4 - n) a multiple of 16?
True
Let f be (3 - 2)*7/1. Let r = 1 + f. Is r a multiple of 3?
False
Suppose 3*j + 125 = a, 2*a - 249 = 3*j + 7. Is a a multiple of 20?
False
Suppose 2*r = -0*r + 64. Is 7 a factor of r?
False
Let a be 1/1*2/(-1). Let y be (-20)/6*9/a. Suppose -3*r = -p + y, 5*p + 5*r - 28 = 27. Does 6 divide p?
True
Let l(u) = u**2 - 12*u + 12. Let n(i) = i - 1. Let y(s) = -l(s) - 6*n(s). Let g be y(5). Let x = 10 + g. Is x a multiple of 5?
False
Let a be 24/(-1)*1/(-2). Let y be a/8*4/3. Suppose y*r = r + 7. Does 5 divide r?
False
Suppose 0 = 4*c - 10 + 2. Let v = -45 + 75. Suppose -b + v = b + 2*a, 68 = 5*b - c*a. Does 14 divide b?
True
Is 34 a factor of (-958)/(-8) - (-8)/32?
False
Let f = -58 - -82. Is 12 a factor of f?
True
Suppose k - 6*k + 20 = 0. Suppose 3*j = 4*q + 55, q - 9 = -5*j + k*j. Is j a multiple of 5?
False
Let y = 75 - 48. Suppose 5*u + 2 + 3 = 0, -y = -q - 3*u. Is q a multiple of 10?
True
Let b be (0/(-1) - -1)*5. Let w = b - 0. Is w a multiple of 5?
True
Let g = -60 - -81. Does 8 divide g?
False
Let o be 3/15 + 74/5. Suppose 2*b - o - 15 = 0. Does 5 divide b?
True
Is 11 a factor of (-458)/(-14) - (-22)/77?
True
Let t(i) = i**3 + 3*i**2 + i - 2. Let l be t(-3). Let a = l + 39. Is 14 a factor of a?
False
Suppose 0*i - i - 6 = 0. Let l(u) = -u**3 - 5*u**2 - 3*u - 5. Is 20 a factor of l(i)?
False
Suppose -635 = 5*o + 5*w, 101 = -o + 2*w - 14. Let u = -76 - o. Is u a multiple of 14?
False
Suppose 0 = 3*g - 209 - 37. Let w = g + -55. Suppose w = k - 23. Is k a multiple of 17?
False
Suppose -4*u + n - 35 = -118, 109 = 5*u - 3*n. Is 10 a factor of u?
True
Suppose -16*b - 85 + 533 = 0. Does 7 divide b?
True
Let i = -317 - -497. Suppose 2*l - 6*l + 180 = 2*v, 2*v - 3*l - i = 0. Suppose 4*w - w = v. Is w a multiple of 15?
True
Let p(u) = -29*u**3 - 4*u**2 - 3*u - 2. Let i be p(-2). Suppose -4*t - f = -262, 3*t - 2*f - i = -18. Is 22 a factor of t?
True
Suppose -245 = -4*y - 4*v + 419, -325 = -2*y + 5*v. Is y a multiple of 16?
False
Suppose -n + 2*n = 0. Let f = n + 16. Is f a multiple of 16?
True
Let p = 1 - -39. Does 15 divide p?
False
Let o(w) be the third derivative of 5*w**4/12 - w**3 + 2*w**2. Let a = -15 - -23. Is 20 a factor of o(a)?
False
Let j be (3/2)/(7/14). Suppose 4 + 65 = j*s. Is 12 a factor of s?
False
Suppose -c + 198 = 2*c. Suppose -2*h + 5*h - c = 0. Does 11 divide h?
True
Let z = -18 - -31. Does 4 divide z?
False
Let p = 32 + -47. Let n = p + 93. Is 13 a factor of n?
True
Suppose -12 = -4*w + 4. Suppose 3*g - 62 = -w*i, -4*g + 18 + 33 = -i. Does 12 divide g?
False
Is (219/12)/((-4)/(-16)) - 0 a multiple of 6?
False
Suppose -195 = 4*t - 71. Let b = 47 + t. Is b a multiple of 13?
False
Let s(a) = a**3 - 5*a**2 + 3*a - 1. Does 7 divide s(5)?
True
Suppose 2*y - 5*u - 93 = 0, y - 63 = -y - u. Is 24 a factor of y?
False
Let g be 8/(-10) + (-2)/10. Is 4 a factor of ((-2)/(-3))/(g/(-18))?
True
Suppose 0 = -b - 3, 10 = 5*p - 2*b - 3*b. Let i = p - -4. Let k(t) = 5*t**2 - 1. Does 14 divide k(i)?
False
Let m(p) = -p**3 + 5*p**2 + 2*p - 6. Let a be m(5). Suppose -a*g + 136 = 16. Is g a multiple of 15?
True
Let h be 4/16*0 + 7. Let r = 46 - h. Does 13 divide r?
True
Let m(v) = v + 11. Suppose 8 = -2*j - 12. Let b be m(j). Let t = 11 + b. Does 6 divide t?
True
Let m(s) = 10*s**2 - 15*s + 1. Is m(-4) a multiple of 13?
True
Is 4 a factor of (-1)/(0 + 0 + 3/(-99))?
False
Suppose 0 = -3*l + 24 + 12. Does 2 divide l?
True
Let k = -4 + 6. Is ((-1)/k)/(9/(-72)) a multiple of 3?
False
Suppose -4*y + 332 = 56. Is 16 a factor of y?
False
Does 12 divide (-12)/7*1*(-2 + -5)?
True
Let d be 1/(-4) + 50/8. Suppose -5*v + v = -3*c - d, 0 = -4*v - c - 2. Suppose 2*u - 10 - 22 = v. Does 8 divide u?
True
Suppose -3 = -0*h - h. Let t(g) = 4*g**2 + 4*g - 2*g - h + 1. Does 9 divide t(2)?
True
Let b(a) be the third derivative of a**4/8 - 7*a**3/6 + a**2. Suppose 0 = -v + 5*r - 10, -5*v + 7 = -2*r - 12. Is 4 a factor of b(v)?
True
Let w = -13 + 17. Suppose 0 = w*b - m - 195, 0*m - 180 = -4*b - 4*m. Is 12 a factor of b?
True
Let s(f) = f**3 - f**2 + f + 46. Let p be s(0). Let l = p - 23. Is l a multiple of 6?
False
Let a(t) = -t + 32. Is a(0) a multiple of 32?
True
Let s = -10 + 12. Suppose -s*y - h = -5*h - 12, -y = -4*h - 2. Is 5 a factor of y?
True
Suppose -4*i - 5*z = -3*i - 28, -5*i = -5*z + 10. Let p(k) = k**3 + 2*k**2 - 4*k - 3. Is 10 a factor of p(i)?
True
Suppose -1 = 4*u - 17. Suppose -2*o = -u, 0 = h + 4*o + 11 - 48. Is 22 a factor of h?
False
Let u(i) = i**2 + 5*i - 10. Let w be (-8)/(-4)*6/4. Suppose w*c + 0*c = -5*h - 6, -c + h = 10. Does 3 divide u(c)?
False
Let t(b) be the first derivative of b**4/4 + 8*b**3/3 - 9*b**2/2 - b - 2. Let a be t(-9). Does 8 divide (a - 1)/((-2)/16)?
True
Let l = 246 - 150. Is 24 a factor of l?
True
Suppose 4*u = -3*z + 14, -5*z + 5*u + 40 = -3*z. Let a = z + 0. Is a a multiple of 10?
True
Let x(a) = a**2 - 5*a + 4. Let w be x(5). Suppose y - 8 = -3*y, w*y = 3*g - 73. Is 9 a factor of g?
True
Suppose 0 = 13*t - 417 - 961. Is t a multiple of 21?
False
Suppose -2*k - 3*g = -k - 18, 5*k - 5*g = 110. Suppose 4*v + 21 = -3*w, 2*w - 4*v - 9 = v. Is 16 a factor of k - (4 - (-1 - w))?
False
Is (-86 - 0)/(-9 - -7) a multiple of 15?
False
Let o(w) = -w**3 - 5*w**2 + 6*w + 2. Let h be o(-6). Suppose 42 = l + f, -h*l + 3*f + 170 = 3*l. Does 28 divide l?
False
Let h = 1 - -2. Suppose 0 = -2*u + h*u - 2. Suppose 13 + 9 = u*a. Is 11 a factor of a?
True
Let v(p) be the first derivative of -p**2/2 + 2*p - 8. Does 6 divide v(-4)?
True
Let g = -2 - -5. Suppose -5*k + 3*y = -365, k + g*y - 62 = 29. Suppose 0 = b + 4*s - 18 - 4, 2*s = -3*b + k. Does 20 divide b?
False
Is 27 a factor of ((-314)/(-8))/(8/32 - 0)?
False
Let y be (6/(-4))/(5/(-10)). Let t(c) = 2*c**3 - 2*c - 3. Is 15 a factor of t(y)?
True
Suppose -2*l = y - 60, -5*l + l = 16. Is y a multiple of 11?
False
Suppose -2*w = 2*w. Let i be -1 + (0 - -5) - w. Suppose -l + 8 = i*a - 21, -5*l + a + 61 = 0. Is l a multiple of 13?
True
Let w = 7 + -9. Does 18 divide 50*(w + 1 + 2)?
False
Suppose -6*k = -3*k + 15. Let i = k + 49. Does 17 divide (-4)/(-22) - (-1840)/i?
False
Let f be (0 + -1)/(-1) + 2. Suppose 0 = 3*r + f*l - 81, -l = 4*r - 6*r + 48. Is 25 a factor of r?
True
Is 4/(-3)*(-675)/15 a multiple of 12?
True
Let j be (-3 - -6 - 1) + 20. Let i be (-4)/j + 42/(-11). Let d(c) = -5*c - 4. Is d(i) a multiple of 16?
True
Let l be -1 + 2 + 0 - 0. Let z = 1 - l. Does 19 divide 35 + (1 - (z - -1))?
False
Let o(h) = 6*h. Is 3 a factor of o(2)?
True
Suppose -4*p = -0*p + 144. Is p*(7/(-2))/7 a multiple of 9?
True
Suppose -v + 3*k = -34 - 22, -4*v + 2*k + 234 = 0. Is v a multip