2*f(s). Does 3 divide w(5)?
False
Let y(u) = u**3 + 5*u**2 + 3*u. Let d = -5 - -2. Does 8 divide y(d)?
False
Let g(q) = 2*q - 7. Let c be g(5). Suppose 3*m + c*b = 3, m - b + 11 = -3*m. Let i = m + 11. Does 9 divide i?
True
Let b = 9 + -17. Let z = -11 - b. Let y(w) = -w**3 - 3*w**2 - w + 1. Is y(z) even?
True
Suppose -7 + 25 = 3*n. Is n a multiple of 2?
True
Suppose -228 = -5*w + 197. Is 25 a factor of w?
False
Let a = -46 - -94. Does 35 divide a?
False
Suppose 0 = 5*a - 0*a + 3*j - 815, 2*a - 325 = -j. Does 20 divide a?
True
Let t = 69 - 16. Suppose -4*s + t = -31. Is s a multiple of 11?
False
Suppose 2*h = i + 21, h + 102 = 4*i - 8*i. Let n be 3/1 - 0 - -44. Let o = n + i. Does 11 divide o?
True
Let x(j) = j + 68. Let y be x(0). Suppose 4*u - 2*r = r + y, r = 2*u - 32. Is 14 a factor of u?
True
Let w be 2/(-5) - 4/(-10). Does 21 divide w + -3 + 1 + 57?
False
Let k = 42 + 3. Does 15 divide k?
True
Let j = -14 + 14. Suppose j = -v - 0*v + 6. Is 3 a factor of v?
True
Let k = 973 + -577. Does 44 divide k?
True
Let d(g) = -g - 8. Suppose -4 = -z + 4. Let l be d(z). Let o = 0 - l. Does 8 divide o?
True
Let t = -115 - -181. Let w = t - 44. Is 22 a factor of w?
True
Suppose 0 = -3*a + 4*g - 5*g - 8, 0 = g + 5. Let x be ((-2)/(-6))/((-2)/(-6)). Let l = x - a. Is l even?
True
Let c = -6 - -1. Let i = 17 + c. Let y = i + 3. Is 15 a factor of y?
True
Is (-2)/(-17) - 3226/(-34) a multiple of 12?
False
Suppose -4*s = -2*v - 58, 4*v + 5*s + 121 - 5 = 0. Let k = 51 + v. Is 11 a factor of k?
True
Suppose -2*a = 3*a - 125. Does 14 divide a?
False
Is 18 a factor of 36*(-6)/(-8)*6/9?
True
Let x(v) = -v**2 - 4*v - 6. Let j be x(-4). Let b = j + 10. Suppose 4*r - 38 = -2*q, q + 0*r - b*r + 11 = 0. Is 5 a factor of q?
False
Let i be (-2)/6 - 1/(-3). Suppose -3*f = -i - 6. Suppose -5*h = f*m - 26, -m - h - 3*h + 19 = 0. Is 2 a factor of m?
False
Suppose -q + 3*k = -2*q + 61, q - 45 = k. Is q a multiple of 24?
False
Let l = 55 - 39. Suppose -2*v + 0*w - 5*w = -47, -w = 2*v - 51. Let u = v - l. Is u a multiple of 9?
False
Suppose c + 3*c + x = 62, -5*c - x + 78 = 0. Let i = -4 + c. Does 2 divide i?
True
Let o(x) = x**3 + x + 89. Does 34 divide o(0)?
False
Suppose -2*g + 2*y + 264 = 0, -5*y + 285 = 2*g - 7. Does 34 divide g?
True
Let z = 109 - -41. Does 25 divide z?
True
Let p be 1*(3 - (-2 + 0)). Suppose 3*r + p*n = 67 - 9, n = 2. Is 7 a factor of r?
False
Let x(h) = -2*h - 7. Let k be x(-5). Suppose k*g - 2*w = 49, -2 + 39 = 3*g + 4*w. Does 15 divide g?
True
Let d be (-1)/((-86)/(-42) - 2). Let q = 35 + d. Does 12 divide q?
False
Let s(l) = -l**3 - 3*l + 4*l**2 + 2*l**3 - 4 + 0*l. Does 6 divide s(-4)?
False
Suppose 3*s + 4*k + 24 = -84, 3*s + 102 = -2*k. Does 16 divide 0 - s*(-12)/(-8)?
True
Suppose -2*w = 3*w - 30. Let q = 17 + -43. Is 6 a factor of (q/(-1))/(12/w)?
False
Suppose 0 = -4*j + 105 + 139. Does 16 divide j?
False
Let r = 12 - 20. Let h(f) = -5*f - 11. Is 12 a factor of h(r)?
False
Suppose 3 = m - 2. Let a = -8 + 19. Suppose m*l - 59 = a. Is 14 a factor of l?
True
Suppose -5*b - 20 = -380. Does 18 divide b?
True
Let y = 130 - -159. Suppose -y = -5*x + 3*n, 4*x - 3*x + n = 53. Is x a multiple of 12?
False
Suppose -3*n + 20 = -2*n. Suppose -2*w - n = -74. Let s = -11 + w. Is s a multiple of 6?
False
Let x be 2/(-9) - 14/18. Let d = x + 1. Suppose 2*q + 4 + d = 4*b, 0 = b - 2*q + 2. Is b a multiple of 2?
True
Suppose 658 + 278 = 2*r. Suppose -2*o = -6*o + r. Let g = 166 - o. Is g a multiple of 20?
False
Let f(s) = -91*s - 4. Is f(-1) a multiple of 29?
True
Is 25 a factor of 12/8 - (-291)/6?
True
Suppose 0 = -11*t + 369 + 159. Is 12 a factor of t?
True
Suppose 5*s = -5*n + 824 - 239, -3*n = s - 355. Does 20 divide n?
False
Let l(a) = a**3 + 4*a**2 - 2. Let i be l(-2). Let d be 0 - (0 - i/3). Is d*4/(8/15) a multiple of 6?
False
Let t(q) be the first derivative of -q**4/4 - 5*q**3/3 - q**2 - 3*q + 1. Is t(-5) a multiple of 3?
False
Suppose -1383 = -10*w - 543. Does 21 divide w?
True
Suppose -n + 213 = 4*a - 4*n, 4*n + 12 = 0. Suppose 5*v - a = 4*f, 4*v - 5*f + 0*f - 39 = 0. Does 8 divide v?
False
Let c = 47 + -18. Does 4 divide c?
False
Let i(m) be the third derivative of m**6/120 + m**5/30 - m**4/12 + m**3/6 + m**2. Let s be i(1). Suppose s*g - 3*g + 13 = 0. Does 5 divide g?
False
Let v = -17 - 42. Suppose -27*s - 32 = -23*s. Let f = s - v. Does 17 divide f?
True
Suppose -3*m + 4*i - i + 18 = 0, -4*m - 3*i + 17 = 0. Suppose -g = -m*g. Suppose -5*r + 212 - 72 = g. Is 12 a factor of r?
False
Let f = -20 - -28. Let r be (138/9)/((-2)/(-6)). Is 11 a factor of 4*(r/f - 3)?
True
Let b(v) = -v**3 + 10*v**2 + 13*v - 12. Does 10 divide b(10)?
False
Let x = -4 + 8. Suppose 2*w + 230 = x*w. Suppose 0*v = -5*v + w. Is v a multiple of 6?
False
Suppose 5 = -2*k - 1. Let b be (-1 - (k - 0))*1. Is 6 a factor of -24*b*(-3)/12?
True
Let t be (-4 + 1 - -2) + 16. Suppose 3*d = -4*i + 60, i - 4*d - t = -d. Is 6 a factor of i?
False
Does 4 divide 1/(2 - (-180)/(-92))?
False
Let b(w) be the third derivative of -w**5/60 - w**4/3 + 5*w**3/3 + w**2. Is 15 a factor of b(-7)?
False
Suppose 3*k - 9 - 9 = 0. Is (4 + -2)/4*k a multiple of 3?
True
Let n = -5 + 7. Let k = -32 + 72. Suppose 0*w = n*w - k. Is w a multiple of 7?
False
Let i = 0 + -2. Let x = 3 - i. Suppose 0 = 5*k - 5*j + 10, 3*k = -x*j + 3*j + 19. Is 2 a factor of k?
False
Suppose -3*c + 19 + 3 = -t, 10 = 3*c + 2*t. Does 13 divide 8/12 - (-134)/c?
False
Let i(r) = 10*r + 6*r - 6 + 25*r. Let l be i(5). Suppose c = -4*k + 181, -3*c - l + 67 = -3*k. Does 21 divide k?
False
Let j(f) be the third derivative of 0 + 0*f**3 + 0*f - 7/24*f**4 - 2*f**2 - 1/60*f**5. Is 6 a factor of j(-5)?
False
Let y be -6*(-3)/(-6)*7. Let s = 40 + y. Is s a multiple of 8?
False
Suppose -2*k - 5*r - 25 = -0*k, 2*k - 20 = 4*r. Let b = 1 + k. Let w(c) = 37*c**3 + 1. Does 15 divide w(b)?
False
Suppose 22*c - 16*c - 198 = 0. Is c a multiple of 27?
False
Suppose 0*i = 2*i + 12. Let z = -4 - i. Suppose 2*o = -z*o + 60. Is o a multiple of 5?
True
Let h be (-4824)/(-162) - 4/(-18). Suppose -o + h = 5*q, 0*q - 102 = -5*o - q. Is o a multiple of 19?
False
Suppose 5*i = 254 + 106. Is i a multiple of 20?
False
Suppose -4*t = 43 + 5. Let i be (-429)/(-12) - 3/t. Suppose -r - 4*j + 51 = 2*r, 2*r + 2*j - i = 0. Does 10 divide r?
False
Let q(b) = b**3 + 8*b**2 + 8*b + 6. Is 10 a factor of q(-5)?
False
Let k(d) = d - 6. Let p be k(8). Suppose -p*t + 2 = -t. Does 7 divide t + -1*24/(-2)?
True
Let z be 2 + 2/(2 + 0). Suppose -52 = -z*j + l, -2*l = 3*j - 0*j - 40. Does 8 divide j?
True
Suppose 3*i - 45 + 3 = 0. Suppose i - 2 = 3*s. Suppose -5*j + 85 = s*p, 4*p + 5 = 25. Does 5 divide j?
False
Let r = 13 - 22. Is (-164)/r - (-8)/(-36) a multiple of 18?
True
Let h(c) = -c**3 - 13*c**2 - 16*c + 15. Is h(-12) a multiple of 21?
True
Suppose 3*z - 97 = -2*q, 0*z - z = q - 32. Is z a multiple of 6?
False
Let g(a) = 67*a**2 + a + 4. Is 18 a factor of g(-2)?
True
Suppose -25 = 5*h - 10*h. Let b(j) = -2*j**3 - 1 + 3*j**3 - j**2 - 2*j**3 + h*j - 6*j**2. Is b(-8) a multiple of 8?
False
Let b(o) be the first derivative of o**2 - 6*o + 2. Let u be b(9). Suppose l - u = -2. Is l a multiple of 5?
True
Let s(o) = -12*o**2 + o. Let y be s(-2). Let a = y + 101. Is a a multiple of 17?
True
Let m = 20 - 18. Suppose -m*t + 186 = 34. Is t a multiple of 19?
True
Let a = 50 - 6. Suppose 5*r = a - 14. Is 6 a factor of (r/15)/((-2)/(-60))?
True
Let c(m) = -m**2 + 19*m + 3. Is c(8) a multiple of 16?
False
Suppose -1 - 1 = 2*r - 4*a, 0 = -r - 2*a + 11. Suppose 0 = r*d - d - 52. Does 13 divide d?
True
Suppose -2*z + 4*l + l + 7 = 0, -l = -z + 2. Suppose -2*q + 4*b - z + 89 = 0, 5*q - 4*b = 244. Is q a multiple of 18?
False
Does 27 divide ((-78)/(-65))/(2/75)?
False
Suppose 5*n + 67 = 5*g + n, -n + 77 = 5*g. Is g a multiple of 4?
False
Let c(r) = r**2 + r + 23. Let q = 2 - 2. Suppose q = -0*p + 3*p. Is c(p) a multiple of 10?
False
Suppose 0 = 4*v - 81 - 7. Does 11 divide v?
True
Let a be 24/(-8) + (24 + -2)/1. Suppose -20 = -4*l - 0. Let z = a - l. Is z a multiple of 8?
False
Let v(m) = 8*m - 12. Let f(z) = -z + 1. Let n(a) = 5*f(a) + v(a). Does 15 divide n(15)?
False
Let y = 68 + -38. Does 4 divide y?
False
Let i = -9 - -14. Suppose 0 = i*s - 0*s + 265. Let x = -37 - s. Does 16 divide x?
True
Su