 of q?
True
Let c(a) = -a**3 + 24*a**2 + 27*a - 15. Does 4 divide c(25)?
False
Let l(g) = g**3 - 5*g**2 - 5*g - 6. Let w be l(6). Suppose w*r - 168 = -4*r. Let t = 71 - r. Does 17 divide t?
False
Let k = 6 - 2. Suppose 4*x = -5*d + 84, -3*x - k*d = -x - 48. Is x a multiple of 5?
False
Let s = 46 + 5. Is 7 a factor of s?
False
Suppose a - 3*t + 18 = 2*a, 31 = 2*a + t. Suppose -a = -3*b + 4*w - 2, b - 5*w = 8. Suppose 0 = -m + b*z + 45 - 5, 0 = 2*m + z - 59. Does 12 divide m?
False
Let a = 111 - 27. Does 17 divide a?
False
Let u be (-6)/(-5)*80/24. Suppose -2*h + u*o = 26, h - 2 = -0*h - 3*o. Let l(v) = -v**2 - 9*v + 2. Does 12 divide l(h)?
False
Suppose 0 = 4*t - 5*i - 58 - 178, 4*t - 240 = 4*i. Is t a multiple of 8?
True
Suppose -5*s + 35 = 5*r, -5*s + 5*r + 10 = -65. Does 11 divide s?
True
Suppose 0 = -2*d + 2*i + 68, 0 = -0*i - 2*i - 2. Is d a multiple of 18?
False
Suppose -g + 3*o + 98 = -0*o, 2*g - 2*o = 196. Is 20 a factor of g?
False
Let r = 46 + -82. Is 18 a factor of (-1971)/r + (-6)/8?
True
Suppose -g - g + 2*d = -22, 5*d - 15 = 0. Is 14 a factor of g?
True
Let d(p) = -p**3 + 7*p**2 + 3*p - 4. Let c be d(7). Let m = c + -10. Is m a multiple of 5?
False
Let v(q) = -8*q. Is 8 a factor of v(-6)?
True
Let i(z) = -154*z**3 + 3*z**2 + 2*z. Is i(-1) a multiple of 31?
True
Let i be 4/(-2) + -2 - 2. Let y(g) = g**2 + 7*g + 3. Let c be y(-7). Does 10 divide -16*(27/i)/c?
False
Let x(r) = -5*r**3 + 4*r**2 + 4*r + 4. Let d(b) = -6*b**3 + 5*b**2 + 4*b + 5. Let p(w) = -4*d(w) + 5*x(w). Does 12 divide p(-4)?
True
Let c be (-1)/(-9)*3*-15. Does 7 divide 12/30 + (-33)/c?
True
Let y(k) = k**3 - 4*k**2 + 2*k + 1. Let t be y(3). Let w = t + 2. Let n = w - -8. Is 3 a factor of n?
False
Let w be (-3)/(-6)*0 - 2. Let f be 2 + (-3)/(w - -1). Is 6 a factor of (f/10)/(1/12)?
True
Let o = 8 + 0. Suppose 2*d + m = 22, d - 2*m = -4*m + o. Is d a multiple of 4?
True
Let r(m) = -m + 20. Let x be -13 + (4/1 - 1). Is r(x) a multiple of 15?
True
Let p = -8 + 13. Suppose p*j - 8 = 4*j. Is 4 a factor of j?
True
Let p(z) = 6*z**2 - z - 3. Is 18 a factor of p(-3)?
True
Let k = 15 + -2. Suppose -5*x = k - 68. Let h = 15 - x. Is 3 a factor of h?
False
Suppose 309 - 1365 = -3*y. Is y a multiple of 16?
True
Is (70/(-20) - 2/(-4)) + 182 a multiple of 31?
False
Does 10 divide 2 + (-4)/(-4) - (-33 + -4)?
True
Suppose 2*k + 80 = 5*s, -5*s + 52 = -s - 4*k. Suppose 3*p - 9 = -3*r, -4*p + s = p + 2*r. Suppose -p*v + 0*v = -164. Is v a multiple of 15?
False
Let v(n) = -2*n**2 - 2*n + 5. Suppose 20 = 5*u - 2*j, 3*u - 4*j - 18 = -6. Let c be v(u). Let g = c - -59. Does 9 divide g?
False
Let n = 25 + 23. Does 4 divide n?
True
Suppose 5*p - x = 120, 4*x + 97 = 4*p + 1. Suppose w - p = -3*w. Is 6 a factor of w?
True
Let p = 18 + -58. Does 7 divide 6/(-4)*p/3?
False
Let a be 1/(-3) + 1768/(-6). Let u be 1/2 + a/(-10). Is -2 + 2 + u - 0 a multiple of 11?
False
Suppose -535 - 281 = -12*q. Does 11 divide q?
False
Suppose 0 = 4*v - 3*v - 10. Let m = 15 - v. Suppose 96 = 7*k - m*k. Does 24 divide k?
True
Let o(c) = -c + c**2 + 7 + 2*c - 6. Let s be o(0). Is 16 a factor of (31*(0 - s))/(-1)?
False
Suppose -4*v + 15 = -3*v - 3*m, 5*v - 4*m = 31. Suppose 0 = 3*a, 0 = 3*i - 5*a - v. Does 17 divide (0 + 19)*i/1?
False
Is (310/(-6))/((-12)/36) a multiple of 24?
False
Suppose -5*o = -15, 3*m - 27 = -m - 5*o. Suppose 4*y - m*f - 42 = 3*y, 42 = y + 4*f. Is y a multiple of 21?
True
Let m(o) = -5*o + 20. Let c(p) = 4*p - 20. Let z(s) = -4*c(s) - 3*m(s). Let a = -9 - -9. Does 10 divide z(a)?
True
Let m be ((-2)/3)/(12/(-54)). Suppose 3*o - 99 = 3*z, -6*o = -2*o + m*z - 97. Let p = 49 - o. Is p a multiple of 21?
True
Suppose 2*n + 251 = 1001. Suppose -139 + n = 4*j. Is 17 a factor of j?
False
Suppose 2*b = -b + 18. Is (-2)/b - (-498)/9 a multiple of 11?
True
Let q be (-36)/(-20) + 2/10. Does 3 divide (4 - (q - -1)) + 11?
True
Is (-5)/(-15)*6*1 + 112 a multiple of 19?
True
Suppose -3*o = -2*o. Suppose -6 = -o*a - 2*a. Is 6 a factor of 57/9 - a/9?
True
Suppose 2*q - 7*q = -2*j - 96, 4*q - 5*j - 87 = 0. Is q a multiple of 2?
True
Is -3 + -1*(-48)/3 a multiple of 13?
True
Let p(z) = 4*z**2 - 2*z - 2. Does 11 divide p(-2)?
False
Does 12 divide 34 + -2 - (0 + 0)?
False
Let s = 15 + -8. Suppose 2*m - 6 = -5*z, -s*z - 34 = -3*m - 2*z. Is 7 a factor of 1*14*4/m?
True
Suppose -4 = -3*h + 2, -5*c = -2*h - 11. Suppose 0 = c*x - 5*q - 125, -4*x + 3*q + 148 = q. Is x a multiple of 7?
True
Let r be ((-6)/(-2))/(3/2). Suppose 5*q = -r*v + 194, -3*q + 0*v = -2*v - 126. Is 22 a factor of q?
False
Does 14 divide (56/2)/(14/42)?
True
Let b(d) = 7*d**3 - 2*d**2 - 13*d + 5. Let n(v) = 10*v**3 - 3*v**2 - 19*v + 7. Let p(t) = -7*b(t) + 5*n(t). Is 3 a factor of p(3)?
True
Suppose a = -0*a - 5, 2*a = -5*g. Let w be (-1)/g*-2*3. Suppose 3*n + 2*i - 53 = 0, 0*i + 73 = w*n - 2*i. Does 7 divide n?
True
Let a(h) = -13*h. Let r(y) = 6. Let k(t) = 1. Let l(j) = 5*k(j) - r(j). Let u(f) = a(f) - 3*l(f). Is 14 a factor of u(-3)?
True
Let f = -88 - -132. Let p(r) = 33*r. Let x be p(2). Let l = x - f. Is 11 a factor of l?
True
Is 6 a factor of 4 + 1/2*40?
True
Is 27 a factor of (-93)/(-3) + 0 + -4?
True
Suppose -179 = -5*u + 181. Suppose 0 = -5*m - 2 + u. Is 7 a factor of m?
True
Let x(a) = a**2 - 1. Let u be x(-4). Let k = u + -34. Is (-4)/(-2 - 36/k) a multiple of 19?
True
Suppose -p - 261 = -4*p. Is 29 a factor of p?
True
Let r(s) = s**3 - 8*s**2 - s - 6. Is 11 a factor of r(9)?
True
Suppose -4*p = -0*p + 12. Is 17 a factor of (-9)/p*21 + 0?
False
Let p be 2 - -3*2/2. Suppose f - 127 = p*o - 10*o, 0 = -o + 3*f + 19. Let k = 55 - o. Does 15 divide k?
True
Suppose 4*z - 211 - 73 = 0. Is z a multiple of 16?
False
Let r(u) = -u - 8. Let w be r(-6). Let f be w*1/4*-18. Suppose 2*m - f = 19. Is 8 a factor of m?
False
Suppose -r - 176 = 5*f, -r - 73 = 2*f + 2*r. Let g be (-7)/2*20/f. Is (g/(-6))/(3/(-45)) a multiple of 4?
False
Let a(i) = 2*i**3 - 13*i**2 + 10*i - 6. Does 3 divide a(6)?
True
Let v(j) = j**2 + 3*j + 3. Is v(-4) a multiple of 7?
True
Suppose -82 = -2*k - 20. Let q = k + 20. Does 17 divide q?
True
Suppose -4*l + 15 = 3. Let q be 6/(-21) + (-65)/(-7). Suppose 87 = l*g + 5*s, -5*s = g - 2*g + q. Is g a multiple of 12?
True
Suppose -4*q - 222 = -5*w, -3*q - 58 = 4*w - 217. Does 14 divide w?
True
Suppose -3*n = -2*r + 26, 3*r - 7 = -2*n + 6. Suppose -r + 1 = -f. Is f a multiple of 3?
True
Suppose 0 + 8 = 2*m. Suppose m*s = 3*s. Suppose 0 = 5*t + 5, -36 = -p + 4*t - s*t. Is p a multiple of 19?
False
Let u = 22 + -7. Suppose -129 = 3*n - t, 0*n + n + 43 = -2*t. Is u/5 - (n + 0) a multiple of 16?
False
Let t(r) = 9*r - 23. Is 6 a factor of t(11)?
False
Suppose 4*n - 3*n - 50 = 0. Is 10 a factor of n?
True
Let n = 3 + -1. Suppose -x + 5 = -5*z, -n*x = -0*x + 10. Is (-21)/z*(0 + 2) a multiple of 10?
False
Let n be (0 + 1)/(1/107). Let g = n - 54. Suppose 4*k - 31 - g = 0. Is 12 a factor of k?
False
Let a = 654 + -359. Is a a multiple of 59?
True
Let x(f) = -2*f**3 - 7*f**2 + 9*f + 13. Let p(y) = y**3 + 3*y**2 - 4*y - 6. Let r(s) = 9*p(s) + 4*x(s). Is r(3) a multiple of 3?
False
Suppose 0*s = 2*s - 70. Does 14 divide (-4)/(-10)*s*2?
True
Let s = 587 + -291. Is s a multiple of 31?
False
Suppose -88 - 32 = -4*w. Is 15 a factor of w?
True
Suppose 5*s - 656 = 274. Is s a multiple of 31?
True
Suppose -4*x + 232 = -0*x. Is 10 a factor of x?
False
Let a be -8 + 11 - (-43 - 0). Let y(o) = -o**2 - o - 3. Let d be y(-6). Let j = a + d. Is j a multiple of 13?
True
Let n(s) = s**3 - 8*s**2 + 11*s - 7. Is 8 a factor of n(7)?
False
Suppose -5*x + 311 - 115 = p, 0 = 4*p - x - 679. Is p a multiple of 19?
True
Let n = 16 - 13. Suppose -3*m - n*o + 9 + 60 = 0, 0 = -2*m + 5*o + 25. Does 10 divide m?
True
Let h(p) be the first derivative of -p**4/4 - 5*p**3/3 - p**2/2 - 1. Does 4 divide h(-5)?
False
Suppose -2*r - 4*w = -0*r + 28, w + 56 = -4*r. Let u = 25 - r. Is 13 a factor of u?
True
Suppose 0 = 3*u + 4*p - 218 - 107, 5*p = -25. Is 20 a factor of u?
False
Suppose 33 = 5*o - 2*o. Suppose 49 = 2*b + o. Does 5 divide b?
False
Suppose 2*a - 15 = 5*a. Let v(g) = -2*g**3 - 7*g**2 + g + 5. Does 18 divide v(a)?
False
Suppose 2*y + 6*x - 20 = 2*x, -4*x + 12 = 0. Is y a multiple of 2?
True
Let n(v) = -25*v - 1. Does 7 divide n(-1)?
False
Let x be (6 + -3)/(12/(-136)