ultiple of 18?
True
Let u(v) = 4*v**2 + 3*v + 3*v + 4*v**2. Let c(x) = -16*x**2 - 11*x + 1. Let a(d) = -3*c(d) - 5*u(d). Is 32 a factor of a(3)?
False
Let c(l) = -33*l - 3. Suppose -i - 2*i - 9 = 0. Let t be c(i). Let p = 152 - t. Is 14 a factor of p?
True
Suppose 0 = -2*u + 2*r + 372, -360 = -4*u + 2*u - 4*r. Is 4 a factor of u?
True
Suppose 68*a + 2775 = 73*a. Does 5 divide a?
True
Let j be (32*-2)/4 + 3. Let m = j - -15. Suppose m*y - 4*r = 25 + 13, 16 = 4*r. Is 27 a factor of y?
True
Let r(a) = a**3 + 11*a**2 - 3*a - 23. Let o be r(-11). Suppose 14*w - o*w = 52. Does 7 divide w?
False
Suppose -21 - 261 = -6*i. Let s = i - 7. Does 18 divide s?
False
Suppose 0*t + 8 = -4*q + 4*t, -2*q - 3*t + 16 = 0. Suppose -3*a - 15 = q*a. Let y(h) = -4*h + 6. Is y(a) a multiple of 8?
False
Suppose 4 = -2*m - 4. Let z(k) = -k**3 - k**2 + 4*k + 3. Is 14 a factor of z(m)?
False
Suppose 2*l - 8 = -4*u, 0*u - 1 = -u - l. Suppose 2*f - u*f = -4, 4*q = -f + 516. Is q a multiple of 32?
True
Suppose 14 = 2*d - 16. Let c be ((-13)/5 - -3)*d. Is 8 a factor of (-366)/(-9) - c/(-18)?
False
Suppose 0 = 4*i - 2*i - 124. Suppose 0 = 11*y - 12*y + 43. Let k = i - y. Is k a multiple of 19?
True
Let s = -739 + 2059. Is s a multiple of 33?
True
Suppose 5*m = 25 - 0. Suppose -1058 = -m*v + 412. Is 18 a factor of v?
False
Let a(m) = -m - 9. Let c be a(-12). Let i = 282 - 162. Suppose -c*v + v - y = -125, 2*v - i = -2*y. Does 13 divide v?
True
Let h(t) = t + 22. Let x be h(-9). Suppose 0*r - 2*r = -5*k + 30, 0 = -2*k + r + x. Is k a multiple of 3?
False
Let l = -1594 + 3090. Does 21 divide l?
False
Let v(z) = -30*z + 2. Let u be v(-4). Suppose 2*x = s - 33, x + x - u = -4*s. Does 15 divide ((-8)/2 - -3) + s?
True
Let c be ((-7)/2)/(-7)*(13 + -19). Let m be ((-27)/(-2))/((-2)/4). Is 5 a factor of (c + 2)/(3/m)?
False
Let n(z) = z**3 - 8*z**2 + 9*z - 3. Let j be n(6). Let v be (-3)/(-21) - (-234)/j. Is 4 a factor of (1 - v - 4) + -4?
True
Suppose n = -5*r - 5, r - 3*r = n - 1. Does 9 divide ((-27)/n)/(14/(-70))?
True
Let f(d) = d**3 + 8*d**2 - 3*d - 9. Suppose -9 = 2*v + p, -3*v - 10 = -2*v - 5*p. Does 27 divide f(v)?
True
Is (-2 + 5698/(-21))*(-9)/6 a multiple of 19?
False
Suppose 2*r = -3*r + 15. Suppose -3*b - 708 - 13 = -5*t, r*b = -2*t + 301. Is t a multiple of 25?
False
Suppose o + 9 = 12. Suppose o*m = -4*s + 264, 2*m = 3*m. Is s a multiple of 11?
True
Let f(w) = -w**2 + 26*w - 25. Does 6 divide f(19)?
True
Let y(g) = -g**3 + g + 1. Suppose 4 = 2*d - 0. Let m(j) = 3*j**3 - 4*j**2 - 8*j - 2. Let f(w) = d*y(w) + m(w). Is 12 a factor of f(6)?
True
Suppose 0 = 20*n - 275 - 1205. Is 12 a factor of n?
False
Suppose 1768 = 4*u - 0*c - 4*c, -4*u = 4*c - 1800. Does 19 divide u?
False
Let z(u) = 109*u - 108. Is z(6) a multiple of 5?
False
Suppose -4*u - b = 4*b - 53, 2*u + 5*b - 39 = 0. Suppose u*c = 6*c + 8. Suppose -c = k - 49. Is k a multiple of 9?
False
Suppose -9*b + 23*b = 0. Suppose -t + s + 66 = -b*s, -t = -3*s - 72. Is t a multiple of 21?
True
Let y = 2471 - 933. Does 15 divide y?
False
Let c(q) = -q + 13. Let h be c(10). Suppose 0 = -0*m + m - 5, 0 = t - h*m - 18. Suppose 6*s = 9*s - t. Is s a multiple of 3?
False
Let a = 145 + -80. Let u = a - 41. Is u a multiple of 8?
True
Let a = -30 - -35. Suppose a*d - 47 = 58. Is 3 a factor of d?
True
Let n(h) = 124*h**2 - 8*h + 17. Is 44 a factor of n(2)?
False
Suppose -4*b + 137 = s - 2, 5*b = 4*s + 200. Is 4 a factor of b?
True
Suppose -7*n = -4*n - 174. Let s = -11 + n. Is s a multiple of 23?
False
Suppose 0 = -4*n + 470 + 62. Is n a multiple of 35?
False
Suppose 0*k + 2*k - 21 = 5*w, 5*k - 3*w - 100 = 0. Is 3 a factor of k + -4 + -1 + 2?
False
Let c be 21/(-28) - (-51)/4. Let p be (-296)/c*-3 + -3. Suppose -p + 27 = -2*l. Does 9 divide l?
False
Suppose 44*u - 107100 = 19*u. Is u a multiple of 42?
True
Does 92 divide (414/21)/((9/56)/9)?
True
Let p = -1023 + 2355. Does 37 divide p?
True
Let a(s) be the first derivative of s**3 - 2*s**2 - 14*s + 34. Does 13 divide a(11)?
False
Let w = -1 + 8. Suppose -w*z + 15 = -2*z. Suppose z*f - 193 - 16 = -4*j, 233 = 3*f - 2*j. Is 25 a factor of f?
True
Is 13 a factor of (12/(-21))/((-6)/21) + 4311?
False
Suppose 4*v - 114 = v. Suppose -2*p + v = -12. Suppose -5*y = 2*j - p, 0 = 2*j - 2 + 12. Is y a multiple of 2?
False
Let y be (1 + 3/(-2))/1*-28. Suppose -17*m + 45 = -y*m. Is m a multiple of 15?
True
Suppose -5*i + 12 = -28. Suppose -4*a - 788 = -i*a + 3*b, -196 = -a + b. Is 17 a factor of a?
False
Suppose 5*c = 4*x + 168, -5*c = -x - 0*c - 42. Does 17 divide (376/6)/((-28)/x)?
False
Is -6*(-10)/(-75) - (-2839)/5 a multiple of 18?
False
Suppose 67102 = 12*c + 26506. Is 17 a factor of c?
True
Let y(q) = q**2 + 7*q + 10. Let c be y(-5). Suppose -136 = 5*d - 3*a, c = -4*a - 14 + 2. Is (-5 - d)*9/12 a multiple of 6?
True
Let y(z) = 3*z + 80. Let j be y(-26). Let s(x) = 11*x - 7. Is 3 a factor of s(j)?
True
Is 11 a factor of ((-865)/20)/(9/(-108))?
False
Let h(t) = 2*t**2 + 2*t + 1. Suppose 2*z = 3*z + 2. Let p be h(z). Suppose -p*v - 305 = -5*j, 5*v - 91 - 52 = -3*j. Does 8 divide j?
True
Let z = 14 + -7. Suppose 5*j = 4*o - z*o + 103, 5*o + 4*j = 189. Suppose 0 = 2*g - 0*g - 4*k - 32, 0 = -3*g - k + o. Is g a multiple of 6?
False
Suppose 6*f + 49 = n + f, 164 = 5*n + 2*f. Let t = n - 99. Let d = t + 102. Does 8 divide d?
False
Let f(a) = 2*a - 2. Let g(x) = -x - 1. Let c(v) = -f(v) + 2*g(v). Let p be c(-1). Suppose 34 + 14 = p*t. Is 5 a factor of t?
False
Let c(v) = -11*v**3 + 11*v**2 - 23*v - 127. Does 8 divide c(-5)?
False
Is 42 a factor of (5 - 2) + 6 + 624/2?
False
Let q = 11 - 8. Let c = 5 - 2. Suppose 0 = -q*v - 0*p + c*p + 180, p + 243 = 4*v. Is v a multiple of 18?
False
Let n(d) = -2*d + 9. Let s be n(-5). Suppose 17 = s*l - 18*l. Is 8 a factor of l?
False
Suppose -2*b + 12 = -6*b. Does 11 divide (-4)/9*b*351/26?
False
Suppose 2*t - 557 = 303. Is t a multiple of 56?
False
Let u = -17 - -19. Suppose -b - b - 62 = -u*m, 60 = 2*m - 4*b. Suppose -13*j = -11*j - m. Does 16 divide j?
True
Suppose 6 = -4*h + h, q = 5*h + 45. Let o = -2 + q. Is 3 a factor of o?
True
Let d(j) = -j**3 + 15*j**2 - 14*j - 6. Is d(6) a multiple of 13?
True
Suppose 0 = -5*j - x - 18 - 23, -3*j - 25 = x. Does 10 divide (j/12 - 14/6) + 13?
True
Let y(z) = -z**3 + 9*z**2 - 8*z - 17. Let x be y(8). Let l(m) = -4*m - 4. Is l(x) a multiple of 32?
True
Let z = -1 - -4. Suppose 5*p - 108 = -z*s, 57 = 3*p - 3*s - 3. Suppose -4*g + p + 19 = 0. Is g a multiple of 10?
True
Suppose -2*f + 57 = -13. Let m = 23 - f. Is 12 a factor of 4*7 - (16 + m)?
True
Let i be 3/12 + 78/8. Suppose -i*t + 8*t = -28. Let h = t - 7. Does 5 divide h?
False
Does 31 divide (66568/32 - 4) + 6/8?
True
Let r be 2 + -1 - (4 + -3). Suppose 3*m = -4*g + 24, r = -3*g + 4*m + 1 - 8. Suppose -j = -a + 5*a - 8, 0 = g*j - 4*a - 104. Does 12 divide j?
False
Let s = 12 + 161. Let y = 285 - 402. Let r = s + y. Does 21 divide r?
False
Let u(f) = -f**3 - 6*f**2 - 8*f - 11. Suppose 11 = -3*p + 2*r + 4, -2*p - 4*r - 26 = 0. Is u(p) a multiple of 2?
True
Let h(q) = q**3 - 14*q**2 - 39*q - 66. Does 11 divide h(18)?
True
Let i be 40/12 - 1/3. Is 28 a factor of ((-1)/i)/(1/(-195))?
False
Let k(p) = 2*p + 1. Let r be k(-3). Let l(x) = -2886*x + 6 + 5770*x - 2885*x. Is 3 a factor of l(r)?
False
Let z(h) = 8*h**2 + 13*h + 36. Does 3 divide z(-3)?
True
Let a(s) = 25*s - 5. Does 17 divide a(7)?
True
Suppose r - 13 - 28 = 0. Let w = r + -15. Is w a multiple of 26?
True
Suppose 29*p = 28*p + 4. Suppose 272 = p*h + 92. Is 15 a factor of h?
True
Suppose -3*x - 1504 = -x. Suppose 0 = -5*l + 5*p + 200, 3*p = -5*l + 263 - 63. Is (-1)/(-5) - x/l a multiple of 15?
False
Suppose -9*w + 7*w + 34 = 0. Let q = w - 2. Let c = -6 + q. Does 9 divide c?
True
Let a(p) = -p**2 - 6*p - 5. Let u be a(-4). Suppose u*j - 251 + 5 = 0. Is j a multiple of 6?
False
Let w = -71 - -64. Let s = w - -21. Is 4 a factor of s?
False
Let m = -554 + 2864. Does 77 divide m?
True
Let h = 6040 - 2974. Is 21 a factor of h?
True
Suppose l - 4*o = 2222, 2*l + 4*o - 553 = 3927. Is 15 a factor of l?
False
Let o = -65 - -46. Let c(f) = -4*f + 23. Does 33 divide c(o)?
True
Suppose -6*s + 16 = 2*s. Suppose s*b - 43 = 113. Does 26 divide b?
True
Let k(p) = 114*p**2 - 17*p + 26. Is k(2) a multiple of 32?
True
Suppose -2*