w(b). Is 17 a factor of j(-4)?
False
Suppose -8*d - d + 4536 = 0. Suppose 0 = 8*x - 5*x - d. Does 24 divide x?
True
Suppose j + 0*j + 25 = -z, 3*j + 12 = 0. Does 13 divide -58*(z/2)/7?
False
Let o = -408 - -1191. Is 25 a factor of o?
False
Suppose -6*z + 1 = -11. Suppose -2*x - 2*l = -6*l - 20, -z*x - l = -40. Does 4 divide x?
False
Let s be -5 - 2/(-4 - -2). Let a be 52/(-8) - 2/s. Does 15 divide 3 + a/2*-4?
True
Let r be 940/24 - 4/24. Let b be 0 - (20 - (-3 + 2)). Let l = r + b. Does 4 divide l?
False
Let a(k) be the second derivative of -k**5/20 + k**4/3 - k**3/2 + 7*k. Let o be a(3). Suppose n = -4*w + 41, o = w - 5*w - 4*n + 32. Does 6 divide w?
False
Suppose -96658 + 297241 = 57*c. Is 23 a factor of c?
True
Let l(i) = -4*i - 9. Let h(g) = -4*g - 9. Let c = -15 + 18. Let q(j) = c*l(j) - 4*h(j). Is q(11) a multiple of 13?
False
Let l(d) = d**3 - 9*d**2 - 24*d + 9. Let h be l(11). Let s(i) = i + 39. Does 5 divide s(h)?
False
Suppose 0 = -2*q - o - 698 + 1963, 2*q - 1250 = 2*o. Is q a multiple of 10?
True
Let m(d) = 176*d - 2. Let a be m(1). Let j = a + -91. Does 6 divide j?
False
Let k(v) = v**2 - v - 1. Let b(f) = 5*f**2 + 8*f - 5. Let z(p) = b(p) - 3*k(p). Is 8 a factor of z(-10)?
True
Suppose -30*v - 107 = -1457. Does 9 divide v?
True
Suppose n + p = -0*n - 72, -4*n + 5*p = 243. Let f = n - -46. Let b = -2 - f. Is b a multiple of 18?
False
Suppose -4*t = -5*t + 7. Suppose -2*f = 2*z - 2, -9 - t = -2*z + 5*f. Suppose u - 6 - 16 = -5*w, -2 = w - z*u. Is 3 a factor of w?
False
Let z(f) = -2*f. Let b(j) be the third derivative of 5*j**4/12 + j**3/6 + 4*j**2. Let v(a) = -4*b(a) - 22*z(a). Does 10 divide v(6)?
True
Does 43 divide -3 + ((-12)/(-10))/((-9)/(-960))?
False
Let w(y) = -y**3 + 15*y**2 - 12*y + 17. Let n be w(14). Let x be 8049/n - 8/(-60). Suppose 121 = 4*p - 5*v, -5*p - 4*v + x = -3. Does 17 divide p?
True
Let w(k) = 2*k - 3. Let r(t) = 4*t**2 - t. Let v be r(1). Let j be w(v). Suppose 0 = j*b - 51 - 27. Is b a multiple of 13?
True
Let y = 3 - 2. Let t = -9 - y. Let o = 66 - t. Does 20 divide o?
False
Suppose -5*z = -0*z + 185. Let j = z - 14. Is 13 a factor of j/(-3)*1*1?
False
Suppose -59*t = -49*t - 12420. Is 69 a factor of t?
True
Is 30 a factor of (-963)/(-8) - (-3)/(-8)?
True
Let m = -194 + 1. Let j = -88 - m. Is 5 a factor of j?
True
Let p = 84 + 65. Let r = 111 + -55. Suppose -r - p = -5*z. Does 14 divide z?
False
Is 30/(6*11/792) a multiple of 10?
True
Suppose 0 = -5*t - 4*j + 235, 3*j = 6*j - 15. Let m = t - 23. Is 5 a factor of m?
True
Let w(y) = -2*y**2 - 10*y - 12. Let v(l) = -4*l**2 - 20*l - 24. Suppose 0 = -t + 2*t + 3. Let u(j) = t*v(j) + 5*w(j). Is u(-9) a multiple of 25?
False
Let p be (5 - 7)*14/(-8)*38. Let z = p - 121. Is z a multiple of 2?
True
Suppose -5*c = u + 29, 123 = -5*u - 2*c - c. Let n = u + 29. Suppose -2*j + 2*d = -94, d = -n*j - 3*d + 190. Is 14 a factor of j?
True
Suppose -3*w + 5*w = -24. Let p = 14 + w. Suppose -4*y + s = -208, 4*s = -p*y + 6*y - 208. Is y a multiple of 32?
False
Suppose -19 + 328 = c. Suppose -c = 59*x - 62*x. Does 13 divide x?
False
Suppose 3*f = 3*j - 110 - 4, -4*j - 3*f = -145. Suppose -43*d + 12 = -37*d. Suppose -d*q + j = -3. Does 7 divide q?
False
Suppose -5*b + 2*j + 450 = 3*j, 79 = b - 2*j. Suppose -b = -5*a + 101. Is a a multiple of 18?
False
Let b = -47 - -50. Let v(w) = w**2 + 1. Let t be v(0). Let c = t + b. Is 3 a factor of c?
False
Suppose 0 = -4*a + 3*x + 4229, 26*x - 2120 = -2*a + 22*x. Is a a multiple of 14?
False
Is 55 a factor of (-14)/(-161) - 60704/(-184)?
True
Let v(u) = -u**2 + 11*u - 19. Is 2 a factor of v(6)?
False
Suppose 5*n = 5*g + 305, -2*n + g + 119 = 2*g. Let z = n - -16. Is z a multiple of 19?
True
Let t = 43 - 43. Suppose w + 3*d - 26 = t, -3*w - 32 = -d - 90. Is w a multiple of 3?
False
Suppose 2*l - 5 = -3*h, 2*h + 3*h - 4*l - 45 = 0. Let x = h + 7. Does 12 divide x?
True
Does 41 divide (-24 - -1099) + 2 + -7 + 1?
False
Let a(q) = 753*q - 363. Is a(3) a multiple of 57?
False
Is (-153)/408 - 20179/(-8) a multiple of 13?
True
Let n(v) = 0*v**2 + 176*v - 189*v + v**2 - 35. Is 13 a factor of n(16)?
True
Suppose 6*k - 2010 = -2*s + 8*k, -4020 = -4*s - 5*k. Is 73 a factor of s?
False
Suppose g + 0*u - 17 = 4*u, 4*g - 4*u = 68. Let z(v) = -g + 12 + 6*v - 32*v. Is 16 a factor of z(-2)?
False
Let j be (-1 + 133 + 2 - -2) + 1. Let f = j - 89. Does 12 divide f?
True
Let h(c) be the third derivative of c**8/2880 + c**7/840 + 13*c**5/60 - 2*c**2. Let m(w) be the third derivative of h(w). Is 31 a factor of m(-5)?
False
Let n be (1 - 27/21) + (-583)/(-7). Let i be 12/18 + (-76)/(-3). Let s = n - i. Does 9 divide s?
False
Suppose 288 = -5*j - 12. Let c = 158 + j. Let w = c - 38. Does 15 divide w?
True
Let m(i) = i + 5. Let a be m(-5). Suppose -3*u - 3*r = -129, -r + 88 = 2*u + 3*r. Suppose a*o + u = 3*o. Does 3 divide o?
False
Let m(z) = z**3 + 5*z**2 + 4*z - 1. Let o be m(-3). Suppose -5*b + s - o = 0, -11 + 0 = 3*b + s. Does 24 divide 35 + -13 - b/1?
True
Let z be 435/6*(-8)/(-20). Let i = 69 - z. Is 11 a factor of i?
False
Suppose 0*b - b = 5*h - 360, -5*h = -b + 330. Suppose 6*p = p + b. Is 21 a factor of p?
False
Let f(c) = 2*c**3 - 3*c**2 + 7*c + 1. Is f(6) a multiple of 35?
False
Let n be (-22)/(-77) + 33/7. Suppose -n*m - 3*k = 0, 0*k = 2*m - 4*k. Suppose m = -2*c + 69 + 39. Is c a multiple of 9?
True
Suppose 10 + 15 = z. Let w = z + -4. Let f = w - -22. Is 16 a factor of f?
False
Let c = 64 + -44. Let l = 22 - c. Is 28 a factor of ((-36)/(-27))/(l/201)?
False
Let j = -374 - -673. Suppose 4*t - 301 = -3*z, -2*z + j = z + 5*t. Does 6 divide z?
False
Let b(m) = m**3 + m**2 + m + 3. Let l be b(2). Let f = 212 - l. Is 13 a factor of f?
True
Let n(a) = 41*a**3 - 3*a**2 + 6*a - 18. Does 27 divide n(3)?
True
Let q = -5 + 7. Suppose -15 = -3*a - q*a. Suppose -76 = -4*y + a*l - 2*l, 4*y = 3*l + 84. Is y a multiple of 12?
False
Suppose 0 = 3*a - 4*p - 20, 5*a - 5*p = -0*p + 25. Suppose 4*y - 15 + 3 = a. Suppose 0 = -y*s + 74 + 13. Does 6 divide s?
False
Suppose -2*n - 712 = 5*m - 10*m, m + 2*n = 152. Is m a multiple of 8?
True
Let h be 1 - (-1 - -14)*-1. Suppose -4*t = -2*r - 106, -7*t - 5*r + 85 = -3*t. Let j = t + h. Is j a multiple of 6?
False
Let n = 21 - 17. Suppose c = -5*z + 11, 4*c + n*z = 123 + 1. Is 12 a factor of c?
True
Suppose -3*c - 2*u - 14 - 57 = 0, -5*c - 140 = -u. Does 3 divide (-8)/36 + (-1356)/c?
False
Let k be 1 - 4 - (14 - 17). Suppose k = 2*z - 7*z + 10. Suppose 50 = 4*g - z*l - 252, -3*g + 229 = -l. Is g a multiple of 26?
True
Let d be 328/16 + 3/(-6). Let i(k) = -k + 14. Let g be i(d). Does 27 divide g/10 + 3864/40?
False
Let z(q) = -4*q**3 - q. Let j be ((-1)/(-2))/((-1)/2). Let b be z(j). Suppose -b*s + 4*c = -0*s - 145, 5*c = -s + 58. Does 11 divide s?
True
Let z(w) = w + 33. Does 4 divide z(51)?
True
Let a(y) = -y**3 + 20*y**2 + 23*y - 24. Let o be a(21). Let i = o - -177. Is 39 a factor of i?
True
Let j = 31 - 4. Suppose 4*g - j + 7 = 0. Suppose -5*k + 2*v + 47 = 0, -5*v + g = -10*v. Is k a multiple of 3?
True
Let v(n) be the third derivative of -n**6/120 + n**5/12 + n**4/24 - n**3/6 + 6*n**2. Let k be v(5). Does 4 divide k/30 - 9860/(-300)?
False
Suppose -3026 = -5*q - 4*d, -4*q - 610 = -5*q - 2*d. Is q a multiple of 43?
True
Does 4 divide 8/6*-3 + 164/4?
False
Let p(w) = 32*w**2 - 6*w + 34. Is p(-14) a multiple of 99?
False
Is ((-336)/126)/(2/(-2772)) a multiple of 8?
True
Suppose -c - 2*c = 3*m - 3276, 0 = 5*c. Does 13 divide m?
True
Let w = 26 + -16. Let o be (2/(-3))/(w/30). Does 8 divide (-1 + 3)/o + 25?
True
Let o = -2 + 7. Let d be (8/(-14))/((-20)/70). Suppose 111 = l - d*f + 37, o*f = -l + 46. Does 17 divide l?
False
Suppose 6*t - 11*t - 115 = 0. Let c = -3 - t. Let w = 10 + c. Is 13 a factor of w?
False
Suppose -269 - 67 = -2*c. Let j = c - 45. Is 41 a factor of j?
True
Let q be ((-6)/(-3) - 2)/1. Suppose q = -p + 20 + 12. Does 8 divide p?
True
Let h be (-26 - -27)/((-2)/(-126)). Let o = h + 35. Does 14 divide o?
True
Suppose -1280 = 198*y - 200*y. Is 41 a factor of y?
False
Let c = -743 + 1059. Is c a multiple of 9?
False
Is (65/(-10))/(-13)*5762 a multiple of 22?
False
Let b(n) be the third derivative of -n**5/60 - 23*n**4/24 - 3*n**3 - 4*n**2. Does 14 divide b(-19)?
False
Suppose -4*d = 4*w - 64, -2*w + d + 47 =