 5?
True
Suppose 416 = 3*z - 2*s, -2*s - 3*s = 3*z - 388. Suppose 4*j - z = -0*j. Let g = j + -15. Is g a multiple of 13?
False
Let z = 2 - 3. Is 16 a factor of z/(426/(-141) + 3)?
False
Suppose -3*d + 116 = 428. Suppose -2*l - l + 486 = 0. Let f = d + l. Does 20 divide f?
False
Let a be -3 + 58 + 0/(-4). Let i = a - 23. Is 7 a factor of i?
False
Let w = -54 + 96. Does 7 divide w?
True
Suppose 4*l - 74 - 70 = 0. Let t = -13 + l. Is 10 a factor of t?
False
Is (-1 + 2)*62/2 a multiple of 31?
True
Let q(j) = -j**2 - 6*j + 6. Let x be q(-7). Does 25 divide (-50)/(x/((-3)/(-6)))?
True
Let n = -35 + 96. Is 12 a factor of n?
False
Let p = -1 - -1. Suppose p = -0*k - 3*k + 33. Is 11 a factor of k?
True
Suppose 368 = 4*l + 2*j, -j - 194 = -2*l + 3*j. Is 13 a factor of l?
False
Let x(z) = 6*z**2 + z + 5. Let f be x(4). Suppose 4*c - f = 7. Is 14 a factor of c?
True
Let m = 28 + 19. Is 5 a factor of m?
False
Suppose 0*j + 10 = -j. Does 14 divide (-6)/30 + (-142)/j?
True
Is (2 + -6)/(-4) + 26 a multiple of 21?
False
Suppose 4*x = 5*f + 13, 5*x + 3*f - 7 = -0. Suppose 52 + 30 = x*w. Is w a multiple of 16?
False
Let g(j) = 11*j + 7. Is 42 a factor of g(7)?
True
Let t(y) = y**3 - 2*y + 13. Is t(0) a multiple of 6?
False
Suppose -20 = 2*u + 3*u. Is 15 a factor of (6/u)/((-1)/10)?
True
Let s = -12 - -25. Does 4 divide s?
False
Let n(v) = v**3 - 10*v**2 - v + 13. Let h(w) = 3*w - 2. Let i be h(4). Let y be n(i). Suppose -5*z + 3*a + 168 - 33 = 0, y*a + 15 = 0. Is 12 a factor of z?
True
Let w be (0*(-2 + 3))/2. Suppose j - 9 = -w. Is j a multiple of 9?
True
Let t(h) = 14*h - 38. Does 10 divide t(7)?
True
Let y be -4*(-1)/4*1. Let s be (y + -31)/(-3)*1. Does 13 divide 174/s - 9/(-15)?
False
Suppose -4*z - 402 = -h, -239 - 590 = -2*h + 3*z. Let r be h/3 - 2/3. Suppose 4*x - r = -0*x. Is 15 a factor of x?
False
Suppose -5*y = -15 - 25. Does 4 divide y?
True
Suppose 3*w = 3 + 9. Suppose 0*x + 120 = w*x. Is x a multiple of 14?
False
Let j be (-4)/(-1)*11/(-4). Let p = j - -27. Suppose 2*u = 68 - p. Is 12 a factor of u?
False
Let j(i) be the second derivative of -3*i**3 - i**2/2 - 4*i. Let h be j(-1). Let k = h - 0. Is 17 a factor of k?
True
Let t = 45 + -24. Suppose d = -t + 109. Let j = d + -51. Is 8 a factor of j?
False
Let m be ((-2)/(-2)*0)/1. Suppose -p + 0 + 20 = m. Is p a multiple of 13?
False
Let l(d) be the third derivative of -3*d**2 + 0 + 1/60*d**5 + 0*d - d**3 + 1/4*d**4. Is l(-8) a multiple of 3?
False
Let l(a) = a**3 - a**2 + a - 1. Let g(s) = s**3 - 3*s**2 + 4*s - 4. Let j(r) = g(r) - 3*l(r). Suppose 8 = -3*o - o. Does 8 divide j(o)?
False
Is 4 + -6 + 6 + 113 a multiple of 13?
True
Let s(c) be the second derivative of 2*c**5/5 + c**4/12 - c**3/6 + c. Let f be s(1). Suppose 3*r - 1 - f = 0. Is 3 a factor of r?
True
Does 32 divide (1 - 6)*(-768)/60?
True
Let t = -34 + 92. Does 7 divide t?
False
Does 9 divide (14/3)/(3/9)?
False
Suppose 0 = 2*l - 3*g - 10, 0*l = 2*l - 5*g - 14. Suppose h - 40 = -l*h + 2*j, 2*h - 26 = j. Is h a multiple of 12?
True
Let i(z) = z**2 - 4*z - 1. Suppose 0*r + 3*r = 18. Does 4 divide i(r)?
False
Let h = 143 + -53. Does 18 divide h?
True
Suppose 675 = 4*u + u. Is 11 a factor of 1/(-4) + u/12?
True
Suppose 19 + 2 = 3*k - 3*o, 2*o = -3*k + 31. Suppose -k = -2*g + 1. Suppose 4*f + 4*w = 108, -g*f + 3*w - 2*w + 117 = 0. Does 12 divide f?
True
Let p be ((-8)/6)/((-4)/30). Let x = 16 - p. Let m(l) = l**2 - 4*l. Does 8 divide m(x)?
False
Suppose -9 = 2*h - 6*h - 3*n, -3*n - 9 = -2*h. Suppose -h*b + 1 = -14. Is b a multiple of 2?
False
Let i = 35 + -29. Is 3 a factor of i?
True
Let z(g) = 3*g**2 - 9*g + 3. Let q(r) = -r + 16. Let m be q(9). Is 24 a factor of z(m)?
False
Let k be 0/1 + -27 - -3. Is 9 a factor of k/(5/(30/(-4)))?
True
Suppose 4*j = 10*j. Suppose -4*h + h = -6. Suppose -h*f + 5*f - 72 = j. Is f a multiple of 12?
True
Let f(z) = -23*z**3 + z**2 - z - 2. Is f(-1) a multiple of 4?
False
Let l(o) = 0 - 2 + 2*o**2 - 3*o + 8*o - 11*o. Is l(5) a multiple of 6?
True
Let x be 0 - 7/(7/(-2)). Suppose -x*w + 75 = 3*w. Does 15 divide w?
True
Let q = 126 + -69. Is 15 a factor of q?
False
Let j(t) = 2*t + 3 - 3. Let p be 3/(-6) - (-18)/4. Does 4 divide j(p)?
True
Suppose -4*d - 3*p = 0, 5*d = p - 0*p + 19. Suppose -5 - 37 = -d*v. Does 14 divide v?
True
Is 13 a factor of 2*(-156)/(-8)*8/6?
True
Let i(l) = l**3 + 2*l**2 + l + 2. Let c be i(-2). Let s be (c - -2)*(-9)/6. Is (0 + -3)*s/1 a multiple of 8?
False
Let m(z) be the first derivative of -3 + 4/3*z**3 - 2*z - 1/2*z**2. Is m(3) a multiple of 15?
False
Let u(j) = j**3 + 7*j**2 - 9*j - 5. Let y be u(-8). Let a(x) = 11*x + 3. Does 11 divide a(y)?
False
Suppose -82 = -2*v + 38. Does 35 divide v?
False
Suppose -f + 5*d - 4 = 2*d, -d = -2. Let b = 2 + f. Let p = b - -4. Does 8 divide p?
True
Suppose 3*u - 21 = h, 139 = 2*h - 7*h - 2*u. Is 1/((12/h)/(-4)) a multiple of 9?
True
Let z(l) = -l**3 + l**2 - l + 9. Suppose -9 = -5*o + 4*d + 7, -4*o = -2*d - 8. Let n be z(o). Let q = n - -3. Is q a multiple of 6?
True
Let l be ((-105)/28)/(2/8). Let n = -7 - l. Is n a multiple of 3?
False
Suppose 0 = -3*g + 7*g + 3*l - 633, 480 = 3*g + 4*l. Suppose 4*s - g = s. Is 11 a factor of s?
False
Let o = -30 - -42. Is 7 a factor of o?
False
Let t(c) = c + 4. Let p be t(0). Suppose -v = -2*v + 5*x + 17, 3*v + p*x - 108 = 0. Does 16 divide v?
True
Let y = -18 + 12. Is (-213)/(-6) + 9/y a multiple of 12?
False
Let i = -143 + 202. Let m(f) = -f + 11. Let n be m(0). Suppose i + n = 5*q. Does 14 divide q?
True
Suppose -8 - 1 = -3*t. Is 8/(-6)*t/(-1) even?
True
Let o be 0/(5 + -4 + 1). Suppose -m - 1 = -o. Is 20 a factor of (80/(-6))/(m/3)?
True
Does 3 divide 84/(-49)*(-7)/2?
True
Let k(p) = p**3 + 9*p**2 - 5*p - 2. Suppose 3*c + 9 = -18. Is k(c) a multiple of 22?
False
Is 19 a factor of ((-6)/(-10))/(7/385)?
False
Let a(x) = -x + 3. Let f be a(3). Suppose 5*b + f*b = -20. Is 5 a factor of b/10 - (-134)/10?
False
Let q be (-4)/((-16)/(-58))*-2. Let s = -16 + q. Is s a multiple of 13?
True
Let z(l) = -3*l - 4. Let h(k) = -6*k - 9. Let v(o) = -3*h(o) + 7*z(o). Does 8 divide v(-3)?
True
Suppose -4*q = -20, 0*q - 41 = -2*r - q. Is 11 a factor of r?
False
Suppose -13 - 12 = -5*r. Suppose -208 = -r*j - 1198. Is 2/5 - j/5 a multiple of 18?
False
Suppose y + 2 = 4. Is 15 a factor of (-4)/y - 50/(-2)?
False
Let q(w) = 3*w**2 + 2*w - 1. Let h = -4 - -9. Suppose -h = -5*n - 0. Is q(n) even?
True
Let q(o) = 6*o - 9. Suppose m = -3*z + 2*z + 7, -4*z = 4. Is 20 a factor of q(m)?
False
Let w = 1 - -2. Suppose 0 = 2*s - 4, -w*a + 2*s + 22 + 70 = 0. Suppose a = -2*g + 6*g. Does 4 divide g?
True
Suppose -3*d + 2*i = -134, 3*d - 133 = i - 0*i. Suppose -5*k + d = -31. Suppose -x = -9 - k. Is 11 a factor of x?
False
Let q = 73 + 1. Is 3 a factor of q?
False
Let w = 120 + -81. Does 15 divide 1/(-3) - (-1183)/w?
True
Let x = -1 + 36. Does 6 divide x?
False
Suppose -y - 3*y + 468 = 0. Is y a multiple of 13?
True
Suppose 0 = 3*s - 11 - 4. Suppose -3*y - v + 31 = -2*y, -v - 125 = -s*y. Does 13 divide y?
True
Let y = 51 - 30. Is y a multiple of 3?
True
Does 16 divide 15/(-35) - 1574/(-14)?
True
Let s(t) = -2 + 2*t - 5 - 3. Is 4 a factor of s(8)?
False
Suppose 5*k = 5*a + 30, 2*k + 0*a = 3*a + 15. Suppose -k = -w + 2. Suppose -4*n = -5*b + 144, w*b + 0*n - n = 141. Does 14 divide b?
True
Is 5 a factor of 103/4 - (-2)/8?
False
Suppose 5 + 1 = 3*a. Suppose -4*o - 7 + 3 = 2*m, 0 = -a*o + m + 6. Let y(q) = 19*q**3 + 2*q - 1. Is 10 a factor of y(o)?
True
Suppose 19*r = 4*r + 630. Is 3 a factor of r?
True
Suppose 5*g - 1155 = -3*p, -5*g + 458 = -3*g + 2*p. Is 18 a factor of g?
True
Let p(r) = -r**3 - 2*r**2 + 3*r + 4. Let c be p(-3). Let j be (0 - c)*3/(-6). Is 15 a factor of (-61)/(-3) - j/6?
False
Let c be (-6)/27 - 2/(-9). Let k be (3/3 - -1) + c. Suppose 94 = k*z + 6. Is z a multiple of 18?
False
Let s(g) = -g**2 + 4*g + 5. Let o be s(5). Let i = 2 + 0. Suppose o*d - i*d = -42. Is d a multiple of 21?
True
Let q = 188 - 23. Does 11 divide q?
True
Let j be (7 - 1) + 2 - 0. Let i(c) = c - 6. Let v be i(j). Suppose -n - y + 24 = 0, -5*n + 124 = v*y + y. Is n a multiple of 17?
False
Let a = -4 - -2. Let p(i) = -2*i**3 + i**2 - 2*i - 3. Does 9 divide p(a)?
False
Let q = -19 - -13. Let d = 8 - q. Does 14 divide d?
True
Let y be (-1)/(33/(-15) +