6. Is 135 a factor of w(16)?
False
Suppose -2*v = 8*f - 12*f + 13308, 0 = 2*f + 2*v - 6672. Does 45 divide f?
True
Suppose 188*c + 893920 = 339*c. Is 12 a factor of c?
False
Suppose 5*z = 2*z + 24. Suppose -7*a + 5*a + z = 0. Suppose 4*d = -a*m - m + 209, d + m - 52 = 0. Is 26 a factor of d?
False
Suppose 0 = 6*f - 5*f + 5, 5*u + 2*f - 5 = 0. Suppose u*y = 3*h + 294, -y - 2*h = -4*y + 291. Is y a multiple of 3?
False
Let c(u) = 115*u + 156. Let j be c(-6). Let v = -410 - j. Is 4 a factor of v?
True
Let s = 99 + -99. Let z(i) = 96 + s*i - 65 + 2*i. Is 7 a factor of z(-8)?
False
Suppose -24*a + 157664 = -16*a. Is 142 a factor of a?
False
Let y be (-3195)/(-11) - (-60)/110. Let z = 351 - y. Does 10 divide z?
True
Suppose 0 = k, 172*c + 5*k - 746 = 170*c. Does 9 divide c?
False
Let s(l) = -818*l + 66. Does 90 divide s(-3)?
True
Let r(c) be the first derivative of -c**4/2 + 2*c**3/3 + c**2/2 - 5*c - 24. Let p be r(4). Let u = 190 + p. Does 9 divide u?
False
Suppose 0 = -5*m + 3*i + 41127, -13*i + 14*i - 24679 = -3*m. Is m a multiple of 91?
False
Let x(k) = -k**3 + k**2 + 5*k - 3. Let a be x(2). Suppose m + 57 = 3*l + 6*m, -a*m - 105 = -4*l. Is 4 a factor of l?
True
Let s = 8145 + -5531. Is s a multiple of 26?
False
Suppose -1027*s + 1050*s = 27945. Is 45 a factor of s?
True
Let z = -121 + 118. Let s(l) = -57*l - 28. Does 11 divide s(z)?
True
Suppose 8*m - 3*m + 2*z - 2349 = 0, -4*z - 12 = 0. Suppose 5*b + 2*n + m = 10*b, -2*n - 99 = -b. Does 46 divide b?
False
Suppose -40*z + 37*z - 594 = 0. Let q be 3280*(z/(-45) - (4 + 0)). Suppose q = 8*m - 1656. Is m a multiple of 50?
False
Suppose -y + 24 = 7*w - 2*w, -2*w + y = -4. Suppose 2554 = w*p - 2*b, 0 = 5*p - 3*b + 5*b - 3179. Suppose -8*z + z = -p. Is 15 a factor of z?
False
Let t be 140/(-21) - 3/9*1. Let z(y) = -y**3 + 9*y**2 - 2*y + 12. Let g be z(9). Is 17 a factor of ((16/g)/1)/(t/609)?
False
Let k(w) = -2*w**2 - 54*w - 102. Let t be k(-25). Is 18 a factor of t*(-11184)/18 + 14/(-21)?
True
Let d(p) = p**3 - 4*p**2 - 5*p + 2. Let v be d(5). Suppose v*u - 125 = -105. Is 8 a factor of u?
False
Let d be (2/(-6)*-2)/(2/6). Suppose -28 = -5*f - d*f. Suppose 0 = -3*x - 4*j - 0*j + 42, -f*x + 56 = -j. Is 3 a factor of x?
False
Let p = 274 + -154. Let j = p + -60. Is j a multiple of 5?
True
Let w be 303*2*(-3)/(-18). Let z = 67 - w. Let f = 20 - z. Is f a multiple of 18?
True
Let w(x) = -3*x**2 + 184*x - 251. Does 11 divide w(56)?
False
Suppose -5*b + 5626 = -4*u + 2005, -4*b - 5*u = -2864. Let a = b - -309. Is a a multiple of 27?
False
Is 26 a factor of (-5 + (-885)/20)/(-4 + 2795/700)?
False
Is 28 a factor of (-6 - 1) + (-31)/((-217)/22589)?
True
Suppose 0 = -6*r - 77 - 187. Let s = 73 + r. Suppose -s*b = -24*b - 15. Is b a multiple of 3?
True
Suppose -4*j - 16 = -4, 2*l - 2*j = 486. Let g = 300 - l. Is g a multiple of 20?
True
Let b = 3594 - -2254. Is b a multiple of 12?
False
Suppose 6217 = c - 4*j, -97*c = -93*c - 3*j - 24985. Does 13 divide c?
True
Let h(n) be the second derivative of -n**4/12 + 7*n**3/2 + 12*n**2 - 5*n + 2. Let g be 4/6*(1 + 29). Is h(g) a multiple of 9?
False
Let g = 8498 - 3538. Does 8 divide g?
True
Let a(t) = 5646*t + 712. Does 71 divide a(1)?
False
Suppose 80 = f + 4*f. Does 39 divide (-38)/f*6*(-167 - -99)?
False
Let g(x) = -x + 1. Let c(z) = 12*z - 34. Let a(v) = -c(v) - 6*g(v). Let n be a(4). Suppose n*l - 1358 = -10*l. Is 21 a factor of l?
False
Suppose 0 = 5*y - 3*f - 4047, -f = -3*y - 2*y + 4049. Let q = y - 570. Is q a multiple of 6?
True
Let p = -11501 + 20507. Is p a multiple of 79?
True
Let x = 2501 + 1774. Does 19 divide x?
True
Let h(z) = -7*z**2 - 5*z + 10. Let i(q) = 7*q**2 + 7*q - 7. Let u(d) = -5*h(d) - 4*i(d). Suppose -3*b - b = 20. Is u(b) a multiple of 21?
True
Let h be (1 - 0)*(-2 - 0 - -4). Suppose h*j = -151 - 77. Let x = j - -192. Is x a multiple of 13?
True
Let b(x) = 22*x - 154. Let v be b(7). Does 15 divide (-675)/(-1 - (v/6)/3)?
True
Let i(h) = -241*h + 6. Let o(t) = -48*t + 1. Let s(c) = 4*i(c) - 22*o(c). Is 7 a factor of s(2)?
False
Let u = 278 + -187. Let b = 71 - u. Is (-3)/5*b/(-8)*-30 a multiple of 7?
False
Suppose y = 5*r + 3*y - 83, 0 = 4*r + 2*y - 66. Suppose r*k + 32 = 21*k. Suppose -2*s + 30 = f, -4*s = -4*f + k*f - 116. Is f a multiple of 3?
False
Let n(r) = -9*r**2 + 5*r - 16. Let d(k) = 80*k**2 - 45*k + 145. Let o(b) = 4*d(b) + 35*n(b). Is o(6) a multiple of 18?
False
Does 9 divide -13*120/(-1872) - 102638/(-12)?
False
Suppose -1335 = -5*k + 5*q, -q = 3*k + k - 1088. Suppose 5*x + 560 = 5*w - 65, -k = -2*w - 5*x. Is w a multiple of 16?
True
Suppose -5*f - 30*q + 44970 = 0, 0*q = 5*f - q - 45001. Is 5 a factor of f?
True
Is 18 a factor of 46277/14 - 3/2?
False
Let y be ((-1446)/(-4))/((-10)/((-80)/12)). Let d be ((-8)/10)/((-6)/15). Suppose -g + d*g = y. Does 22 divide g?
False
Suppose -91761 = 49*i - 122*i. Suppose 4*o + 18*h - 21*h = i, -o + 318 = 3*h. Does 63 divide o?
True
Suppose 3*m + 2*w - 4 = 0, 10 = 3*m + 3*w + 4. Suppose -2*n + 1378 = -2*o, 3*n - 10*o + 14*o - 2095 = m. Is 33 a factor of n?
True
Let y(m) = 13*m**2 + 5*m + 15. Let s be 4/10*(3 - 8). Is 4 a factor of y(s)?
False
Let u be -1*(-2 - 0 - 0). Suppose 22 + 74 = -u*x. Let k = 61 + x. Is 9 a factor of k?
False
Let h = -138557 + 204278. Does 48 divide h?
False
Suppose -3*r - 7 = -13. Suppose -4*n - 5*a = 6, -3*n - 3*a + r*a + 1 = 0. Does 27 divide 9072/28 - (-1 - -2 - n)?
True
Let v(t) = 2*t**2 + t - 17. Let o be -5*6/(-45)*12. Suppose -5*a - o = 22. Does 11 divide v(a)?
False
Let o(t) = -13*t + 59. Let j(k) = 13*k - 58. Let l(f) = 2*j(f) + 3*o(f). Let n(r) = -7*r + 31. Let b(m) = 6*l(m) - 11*n(m). Is b(-6) a multiple of 11?
False
Let a = 60 + -54. Suppose j - 5 = 0, -j + a = h + 1. Does 28 divide 2/(-6) + h + (-169)/(-3)?
True
Suppose 0 = -411*l + 579187 + 958775. Is l a multiple of 42?
False
Let h = -42 - -10. Let o = 80 + h. Let u = -45 + o. Does 3 divide u?
True
Suppose 4 + 5 = -o. Let c be (15/o)/((-4)/(-36)). Does 16 divide (-6)/c - (-616)/10?
False
Suppose 0 = 3*u + 131 - 128, 0 = k - u - 16366. Does 10 divide k?
False
Let g(l) = 2*l**2 - 28*l. Let i be g(14). Suppose i = -28*f + 23*f + 125. Is 3 a factor of f?
False
Suppose -5*t + 205 = -2*a, 2*a - t + 5*t = -196. Let i = 305 + a. Does 7 divide i?
False
Suppose j + 2*j - 2*p - 102 = 0, -2*j - 4*p = -84. Suppose 3*f = -q + j, -q + 2*f = 4*f - 31. Let n = q + 59. Does 8 divide n?
True
Suppose -3*b + 20 = b. Suppose 2*i + 2*i + 2*k = 6, -b = -5*k. Is 31 a factor of (i/2)/((-3)/(-7812)*7)?
True
Let z be 4 - 2*8/2. Is 10 a factor of (2 + 20)/(3 + -5 - z)?
False
Let q(k) = -128*k - 7508. Does 205 divide q(-108)?
False
Does 36 divide (24/8 + 1 + -754)*(-30)/9?
False
Let k(q) = q**2 - q - 4. Let c be k(-4). Suppose 2*i + 6 = 0, 6*j - 34 = 2*j - 2*i. Suppose j*s + 672 = c*s. Is 8 a factor of s?
True
Suppose -4*v + 186 = 5*m, -3*v + 181 = 3*m + 43. Is v*4*(-51)/(-68) a multiple of 15?
False
Suppose 25 = y + 4*y, h - 3296 = -4*y. Does 91 divide h?
True
Let t = -6299 - -7000. Is 43 a factor of t?
False
Is 10 + (-9 - -6) + (6 - -8912) + -5 a multiple of 4?
True
Suppose -104*v + 216*v = 4222400. Is 26 a factor of v?
True
Suppose -g - 4*l + 1190 = 0, 5*g - 18*l = -16*l + 6016. Is g even?
True
Does 10 divide 6/1*114/(-76) + 2809?
True
Let s = -1671 + 6431. Suppose 7*t - s = -1316. Is t a multiple of 41?
True
Let z(p) = 1012*p**2 - 8*p - 3. Is 11 a factor of z(1)?
True
Let p(f) = 2*f**3 - 12*f**2 - 7*f + 5. Suppose 16*b = 12*b + 36. Does 7 divide p(b)?
False
Let b = -2599 - -5046. Is b a multiple of 34?
False
Suppose 29 = 4*a - 3*k, a - 5 + 0 = 3*k. Is ((-4)/12)/(a/(-1704)) a multiple of 71?
True
Suppose 5*q - 186 = -4*y, -y + 40 = -q - q. Let t = 255 - 252. Suppose -o + t*o = y. Does 5 divide o?
False
Suppose -j - 3*r + 20 = 2, -2*r = -8. Suppose 2*t - f + 21 = 0, -j*f + 51 = -4*t - f. Let x(n) = n**3 + 10*n**2 + 5*n - 6. Is x(t) a multiple of 6?
True
Let b(i) = 15*i**2 + 2*i - 3. Suppose -43 - 97 = -4*u. Let l = -39 + u. Is 14 a factor of b(l)?
False
Let y(d) = -18*d + 18. Let c(z) = -z - 2. Let h(q) = -6*c(q) - y(q). Is h(3) a multiple of 5?
False
Suppose 0 = f + 5 + 10. Let v be f/2 + 7/(-2) + 3. Let b(s) = -10*s - 8. Does 12 divide b(v)?
True
Suppose -u + 7*m + 10 = 3*m, -12 = 4*m. Let c(j) = -12*j**2 - 3*j + 1. Let f(k