3 divide k?
False
Let v = -2475 - -2624. Is v a multiple of 42?
False
Suppose -3*q + 1444 = 349. Suppose 0 = -3*w - 3*s + 207, 0*w + 5*w + s = q. Suppose m = -x - m + 98, 4*m = x - w. Does 5 divide x?
True
Let z be 5*2*(-18)/(-15). Suppose 3 = 5*v - 17, -4*v + 24 = 2*k. Suppose -5*p + 107 = -k*a, 0 = 7*a - 3*a + z. Is p a multiple of 3?
False
Let l = -289 - -299. Suppose i - 1474 = -5*a, i = -l*a + 6*a + 1180. Is a a multiple of 57?
False
Let t = 524 - 531. Does 11 divide (-4040)/((-56)/t)*-1*1?
False
Suppose 0 = -56*m + 59*m + 324. Let k = m + 62. Let h = 183 + k. Is 18 a factor of h?
False
Let d be (0 - -2) + -13 + 5. Let a = d + -30. Let g = 51 + a. Does 4 divide g?
False
Suppose 87*m + 56819 = 721586. Is m a multiple of 10?
False
Let y be -4 + (-192)/(-30) - (-6)/10. Suppose 41 = y*j + 20. Is 3 a factor of j?
False
Let y = 8106 + -7439. Does 2 divide y?
False
Suppose -3*d = 5*y - 76, 1 = 2*d - 3*y - 56. Suppose -30*k + 1647 = -d*k. Is k a multiple of 41?
False
Suppose 0 = -77*p + 76*p - 265. Is (-5)/(25/p) - (-4)/1 a multiple of 15?
False
Let d(o) = 3*o**2 + 3*o - 994. Let v(a) = -4*a**2 - 4*a + 997. Let n(i) = -5*d(i) - 4*v(i). Is 75 a factor of n(0)?
False
Suppose 3*l + 3 = -2*u, -3*u - 4*l = 8 - 4. Suppose -3*g - m + 33 = u, -g = 3*g + 5*m - 55. Let i(k) = k**2 - 4*k - 2. Does 3 divide i(g)?
False
Let o(a) = -131*a - 260. Is o(-44) a multiple of 86?
True
Let a be ((-2694)/(-9)*-1)/((-2)/(-3)). Let c = a + 309. Let b = c - -292. Does 27 divide b?
False
Let t = 867 + 1156. Let k = t - 1123. Does 20 divide k?
True
Let o(b) be the first derivative of 41*b**3/3 + b - 12. Let m be o(2). Suppose -4*t - 2*g + m + 323 = 0, -2*g + 365 = 3*t. Is 26 a factor of t?
False
Suppose 5022 = -5*j + 188592. Does 87 divide j?
True
Suppose -5*s = -g - 1402, -4*g = -3*s + 226 + 622. Does 10 divide ((-24)/2)/((-847)/s - -3)?
True
Suppose 0 = -45*n + 46*n + 72. Let k be (-1)/(-3) - n/27. Suppose k*i - 178 = -0*i - 4*y, 5*i - 292 = -2*y. Is i a multiple of 43?
False
Suppose -3*q + 22 = 8*x - 6*x, 2*q = -2*x + 22. Suppose 0*b - x*b = -1078. Does 37 divide b?
False
Suppose 150 = -2*g + 74. Let c = g + 89. Suppose 181 - c = 2*m. Is 15 a factor of m?
False
Suppose 2460 = 9*f - 6*f. Suppose s + 6*m - f = 8*m, 0 = 2*s + 3*m - 1668. Does 69 divide s?
True
Suppose 3*t - 18 = a, 5*t - 3*a + 0*a = 34. Suppose 0 = -4*v - i + 156, 3*v = -v - t*i + 140. Suppose -v*c = -36*c - 196. Does 10 divide c?
False
Is ((1 + 1190)/((-12)/(-2)))/(2/4) a multiple of 6?
False
Does 18 divide 776/(-7)*(-175)/14 - (-36)/126?
True
Let g = -1423 + 11860. Is 49 a factor of g?
True
Suppose 2*r - 4689 + 414 = -f, 3*f = 2*r + 12793. Let s = -2536 + f. Is 19 a factor of s?
False
Let w(h) = 293*h**2 - 323*h - 4605. Is w(-14) a multiple of 12?
False
Let o(h) = -10*h + 310. Is 20 a factor of o(-23)?
True
Is (2 + 0 + 10010)*(-21)/(-28) a multiple of 53?
False
Let k(h) = h**3 + 6*h**2 - 2*h - 9. Let q be k(-6). Let o be q + -4 + 62 - 2. Let a = o - 42. Does 17 divide a?
True
Let h(y) = 5606*y**3 + y**2 - 9*y + 9. Does 9 divide h(1)?
True
Suppose 3*s - 2*k - 2355 = 1455, 4*s - 5*k - 5073 = 0. Suppose -526 = -5*b + r + s, r + 718 = 2*b. Is 12 a factor of b?
True
Let p = -108 - 288. Let w = p + 733. Is w a multiple of 27?
False
Does 7 divide ((-473297)/44)/(-8*13/416)?
False
Let r(z) = -42*z**3 + 57*z**2 - 10*z - 111. Is 39 a factor of r(-11)?
False
Suppose -27*x - 39404 = -100154. Is 10 a factor of x?
True
Let x(d) = 2994*d + 2357. Is 19 a factor of x(12)?
True
Let v(m) = m**3 + 6*m**2 - 4*m + 19. Let k be v(-7). Is 9 a factor of (6/k)/(12/(-348))?
False
Let l(j) = -2 - j**2 + 0*j**2 + j**3 + 4 + 2. Let p be l(0). Suppose 4*k = -3*i + 55, -p*i - 10 = 2. Does 16 divide k?
True
Let p(s) = -62*s + 83. Let n be p(-3). Suppose n = g - 128. Is g a multiple of 97?
False
Suppose 8233 = -29*u + 24009. Suppose u*b = 549*b - 755. Is b a multiple of 27?
False
Let w be (-2)/(10/(-15) - 0). Suppose -w*c + 14 = -5*a - 0*c, -2*c - 4 = 0. Is (-249)/(-6) + (-2)/(a - 0) a multiple of 7?
True
Let d(p) = 5*p**3 + 15*p**2 - 23*p + 11. Let t(h) = 4*h**3 + 16*h**2 - 21*h + 11. Let i(w) = -3*d(w) + 4*t(w). Is 18 a factor of i(-19)?
False
Let o be (-60)/14 + 4 + 144/14. Let x be ((-159)/5)/(o/50). Does 14 divide (-1)/(480/x + 3)?
False
Let b be (-8)/(32/364) + -4. Let t = 223 + b. Is t a multiple of 16?
True
Suppose -3*w = i - 25, 0 = 5*i - i + w - 56. Let a(h) = 1 - 11*h**3 + 12*h**2 - i*h**2 + 3*h**3 - 2. Is a(-2) a multiple of 14?
False
Let l be (306/30 - -1) + 8/10. Is (1/l*-3)/((-1)/2372) a multiple of 37?
False
Let z(i) = 5*i - 23. Let l be z(11). Does 4 divide -12*l/(-12) + -4?
True
Let v(g) = g**2 + g - 1. Let z(c) = -11*c**2 - 7*c + 7. Let q(n) = -6*v(n) - z(n). Let s be q(2). Does 2 divide (-21)/6*(-30)/s?
False
Let r be -3 + -2 + 2 - -34. Let q be (-2)/3*3 - r. Is 22/q + 83/3 a multiple of 3?
True
Let t(v) = 1194*v**2 - 7*v - 13. Is t(3) a multiple of 13?
True
Is -5 + (-26318602)/(-464) + ((-20)/32)/5 a multiple of 280?
False
Let b be 0*3/(-9) + -6. Let f(h) be the second derivative of h**5/20 + h**4/2 - 7*h**3/6 - h**2 + 69*h. Is f(b) a multiple of 20?
True
Suppose 4964 = 4*q + 3*o, 2*o + 1737 + 3247 = 4*q. Is 13 a factor of q?
False
Let m = -16606 + 30315. Is m a multiple of 15?
False
Suppose -6*i + 864 + 24 = 0. Suppose -2*q - 4*p + i = 0, 3*q - 206 = -4*p + 6*p. Does 18 divide q?
False
Let o = -5851 - -6031. Does 4 divide o?
True
Let j(h) = 3*h - 28. Let z be j(10). Let g(f) = 235*f + 12. Is g(z) a multiple of 9?
False
Suppose 0 = -2*b - v - 68, -3*b + v - 128 = -4*v. Let o = b + 30. Let c(u) = 4*u**2 + 16*u + 8. Is 8 a factor of c(o)?
True
Suppose 0 = 4*m + 4*y - 480, -88 - 161 = -2*m + y. Suppose 0 = -2*x - 3*a + m, 73 + 16 = x - 4*a. Does 62 divide x?
False
Suppose -7234 = 3*t - 5*t + 4*p, p = 2*t - 7219. Is 134 a factor of t?
False
Let z(o) = 43*o - 1474. Is 49 a factor of z(58)?
False
Let n(o) = -600*o + 684. Is n(-6) a multiple of 14?
True
Let f be (-1)/((-3)/654 - 0). Suppose -u - 3*u + 279 = -3*h, -f = -3*u + 4*h. Let g = u + 54. Is 17 a factor of g?
False
Suppose 16*o - 173 = 435. Does 31 divide o?
False
Suppose -f - 2*s - 8 = 0, 0 = 2*f + 5*s - 3*s + 8. Suppose -23*t = -f*t - 9890. Does 18 divide t?
False
Suppose -2*o = t - 51, 5*o + 4 = 7*o. Does 2 divide 3196/t*2/8?
False
Suppose -8212 = -94*i + 539244. Does 26 divide i?
True
Let n = 12140 + -4370. Does 70 divide n?
True
Let r(b) = 42*b**2 - 4*b - 156. Does 37 divide r(17)?
True
Is 13 a factor of (349614/36 - (-1)/2) + -1?
True
Let p(u) = -24*u + 1285. Is p(-30) a multiple of 23?
False
Suppose 3*w - l - 2*l = 79926, -5*w - l = -133258. Does 10 divide w?
True
Suppose 0 = -18*z + 676732 - 143446. Does 53 divide z?
True
Let r(b) = 970*b**2 + 29*b - 29. Let s = 93 + -92. Is 13 a factor of r(s)?
False
Let l(j) = 675*j**2 + 0 - 8 + 9*j - 670*j**2. Is l(8) a multiple of 48?
True
Suppose 0*b = -4*b + 4, -5*i = -b - 24. Suppose 0 = 5*c + i*r + 165, 5*c + r + 95 = -78. Is 7 a factor of 46 + (30/c)/((-6)/21)?
True
Let m = -12795 + 28615. Is 74 a factor of m?
False
Let s(y) = -y + 2 + 771*y**2 - 772*y**2 - 5. Let u be s(-2). Let t(n) = -2*n**3 - 6*n**2 - 3*n + 6. Is t(u) a multiple of 34?
False
Let x = 94 + -49. Is x + (2 - (-2 - -1)) a multiple of 46?
False
Suppose 5*n - 367 = 3*r, -n + 5*r + 1 = -90. Let i = n + -27. Suppose -2*l = -4*x - i, 21 = 3*l + 6*x - 3*x. Is l a multiple of 4?
True
Suppose 711 = 4*h + 5*c - 734, 0 = -2*c + 2. Let k = h + -117. Is 9 a factor of k?
True
Let x = 77 + -44. Suppose 81 = p + x. Let f = p - 9. Does 14 divide f?
False
Let d(p) = 13354*p**3 + 8*p**2 - 20*p + 13. Does 9 divide d(1)?
False
Let g(n) be the third derivative of n**5/60 + 5*n**4/24 + 5*n**3/6 - 30*n**2. Suppose 4*t = 2*t - 10. Is g(t) a multiple of 2?
False
Let q = 154 - 151. Is 20 a factor of -2 - 11*(-134)/6*q?
False
Suppose 5*t - t - 28 = 0. Suppose 22*u = 28*u + 24. Let y = t - u. Does 7 divide y?
False
Suppose -4*t - 504 = -4*r, -5*t + 105 = r - 15. Suppose 0 = -22*c + 17*c + r. Does 5 divide c?
True
Let t = -3053 - 2965. Is t/(-7) + 24/84 a multiple of 86?
True
Let k(v) = 502*v + 267. Does 115 divide k(5)?
False
Suppose 0 = -3*x - o + 28432, -3*x + 5*o + 19825 + 8583 = 0. Is 14 a factor of x?
False
Let d(j) = 4*j**2 - 89*j - 8. Let g be d(-12). Let w = g + -900