- 10*i, 4*d - 2*i = 9060. Is d a multiple of 10?
False
Suppose 54 = -5*y + 3*g, y = -0*y + 4*g - 21. Let j(f) = -f**3 - 8*f**2 - 2*f + 12. Is 2 a factor of j(y)?
False
Let k = -4 - -11. Let n(c) = -6*c + 29. Let j(x) = 9*x - 43. Let g(q) = -5*j(q) - 8*n(q). Does 4 divide g(k)?
True
Suppose 0 = 14*s - 17*s + 12. Let i(j) = j**2 - j + 1. Let z(r) = -r**2 - 2*r - 2. Let n(o) = 4*i(o) + z(o). Does 8 divide n(s)?
False
Let u be (-212)/26 - 16/(-104). Is 6/u - 16551/(-36) a multiple of 17?
True
Suppose 5*f - 5 = 15. Let m = 300 - 287. Does 13 divide m*f/(-2 + 6)?
True
Suppose -l - 6844 = -g, g + l - 571 = 6265. Is g a multiple of 10?
True
Suppose 164*d = -6*d + 108460. Is d a multiple of 46?
False
Let b(t) = t**3 + 119*t**2 - 27*t - 3790. Is 10 a factor of b(-118)?
True
Suppose 36960 = -7*y + 13*y. Suppose -h = -12*h + y. Suppose -h = -6*p + p. Is 28 a factor of p?
True
Let z(y) = -y - 7. Let h(v) = v + 15. Let c(b) = 6*h(b) + 11*z(b). Let q be c(3). Is 25 a factor of (53 - 3)*q/(-4)?
True
Is ((-20)/((-2000)/275))/(1/2272) a multiple of 34?
False
Suppose -5*q + 39 = 3*m - 0*q, m - 2*q = 2. Is 19 a factor of -77*-2*-2*(-10)/m?
False
Let n be (-7 - (-38840)/50) + (-2)/(-10). Suppose -280 - n = -10*q. Is 17 a factor of q?
False
Let f = 63 + -14. Suppose 25*g - 24*g - f = 0. Let v = g - 35. Does 5 divide v?
False
Let c(a) = 2*a + 3. Let l(o) = 2*o**2 + 24*o + 4. Let p be l(-12). Let v be c(p). Let g = 87 + v. Is g a multiple of 13?
False
Let i = 237 - 234. Suppose 9*s - 12*s = 4*w - 6151, 6121 = 4*w - i*s. Is 23 a factor of w?
False
Is (2 - 393/2)*5/(15/(-18)) a multiple of 62?
False
Let q(y) = -13*y + 320. Let f = -447 + 460. Does 79 divide q(f)?
False
Suppose q + 3*q - 168 = 0. Let f be (1*-303)/(q/(-28)). Let p = f - 127. Is p a multiple of 15?
True
Let z(f) = 191*f**2 - 6*f + 41. Is z(-3) a multiple of 7?
True
Let p(r) = 186*r**2 - 71*r - 617. Is 179 a factor of p(-16)?
False
Let y = 109 + -78. Let x = y - -213. Let m = -115 + x. Does 16 divide m?
False
Suppose 4*s + 2*l = 12862, -4*l + 4121 = -2*s + 10547. Suppose -92 + s = 9*a. Does 35 divide a?
False
Let n(m) = -20*m**2 + 8*m + 12. Suppose -9*u + 0 = 27. Let l be n(u). Let g = l - -336. Is g a multiple of 24?
True
Let w(t) = -5*t**3 - t**2 - 6*t - 1. Let s be w(-3). Let f = 152 - s. Suppose 2*k - 4*j + f*j = 64, -41 = -k + 2*j. Is k a multiple of 3?
False
Let c(m) = -9*m - 45. Let w be ((0 - -1) + 2)*(-19)/3. Does 18 divide c(w)?
True
Let i(w) = 2*w + 9. Let x be i(-5). Let d be (x - (0 + 3)) + 6. Does 37 divide (d + -5)*222/(-9)?
True
Let g be 1/(-2)*(-3 - -5). Let u be (5 - 2) + (4 - (2 - g)). Suppose 2*l = -5*y + u*y + 66, 5*l + 4*y = 165. Does 4 divide l?
False
Let j = 891 - 475. Suppose -2*t - j = -5*k, -5*k = 4*t - 277 - 121. Is k a multiple of 13?
False
Let c = 80 + -121. Let a = c - -44. Does 6 divide 9 - (a - (8 + -2))?
True
Let l be (4/(-8))/(0 - (-3)/684). Let z be (24 - 3)*108/14. Let m = l + z. Is 24 a factor of m?
True
Suppose 113*s - 13*s - 8701308 = -98*s. Is s a multiple of 39?
False
Suppose v - 2604 = -3*o - o, 2*o = 3*v + 1316. Suppose o = 3*s - 4*n, n - 4 + 5 = 0. Is 16 a factor of s?
False
Suppose 41509 = -52*v + 141037. Is 22 a factor of v?
True
Let z(a) = 33*a**2 + 53*a + 1016. Is z(-13) a multiple of 23?
False
Let k = -56 + 486. Suppose 0 = -3*q - 4*r + 287, -2*r = 5*q - k - 25. Is 16 a factor of q?
False
Let t = 2 + -9. Let w = t - -9. Suppose 4*h = -4*j + 212, w*j - 2*h = 3*h + 85. Is j a multiple of 13?
False
Let z = -6400 + 14464. Does 56 divide z?
True
Let t(d) = 7*d**2 + 3*d - 9. Let j be t(6). Suppose -5*g + 5*o = -665, -g + 121 = 207*o - 204*o. Suppose g*x = 127*x + j. Is 6 a factor of x?
False
Suppose 4*h + 2706 = m - h, -3*m + h = -8146. Suppose -8*r - 2728 = -12*r - 4*d, -4*r + m = -2*d. Is 29 a factor of r?
False
Let x(h) = -h - 15. Let v be (-2)/4 + (-39)/6. Let p(c) = -c - 22. Let u(y) = v*x(y) + 5*p(y). Is u(9) even?
False
Let j(p) = -36561*p**3 - 15*p**2 - 16*p + 1. Is j(-1) a multiple of 70?
False
Let j = -44 + 96. Suppose -3*l + 2*w = -5, 3*w + w = -5*l + 45. Suppose 0 = 7*p - l*p - j. Is p a multiple of 13?
True
Let h = 3723 + -3721. Let i(t) = -t**3 + t**2 + 2*t - 1. Let f be i(-2). Suppose -f*y = -h*y - 1245. Is y a multiple of 34?
False
Suppose -3*o = -2*h - 347 - 3057, 0 = h + 1. Does 63 divide o?
True
Suppose -7*u - 5 = 16. Is ((-10)/u)/(8*(-7)/(-1008)) a multiple of 10?
True
Suppose 4*p + 1585 = -4*r + 10097, r = -8*p + 2156. Is 9 a factor of r?
True
Is 102 a factor of 38157 + (2 + 0 + 1)/(211/(-633))?
True
Suppose 0 = -w - u - 3*u - 7, 4*w - 14 = -2*u. Let y = w - 2. Does 5 divide (y/(-2))/(2*(-5)/500)?
True
Suppose -3*x + 1 = -8. Suppose 4*w - 41 = -x*j - 2*j, -4*j = -3*w - 8. Suppose 2*q - 34 = -2*i + i, 91 = j*q + i. Is q a multiple of 19?
True
Let i(b) = 45*b + 46. Let u be i(24). Suppose -7*m = -u - 3914. Does 23 divide m?
False
Let b be 2 + 0/((-6 - -1) + 2). Suppose -2*x + b*d + 442 = 0, -4*x + 5*d + 889 = -0*x. Does 22 divide x?
False
Let s(k) = k**2 + k - 3. Let q be s(-2). Let t be 1*(-2)/q + 14 + -12. Suppose 2*g - g + t*b = 15, -96 = -5*g + b. Does 19 divide g?
True
Let v(r) = 12*r**3 + 7*r**2 + 10*r - 38. Is 136 a factor of v(6)?
False
Let g(x) = 7. Let k(c) = c. Let z(s) = -g(s) + 3*k(s). Let d be z(5). Suppose d = b + 4. Does 4 divide b?
True
Let o(v) = 20*v + 27. Let c be o(17). Let z be 20/30 + c/3. Let i = z + -87. Does 9 divide i?
True
Let j be (-1)/(1580/225 + -7). Let n = -10 + 7. Does 21 divide n*(2 - 3/3) - j?
True
Let o = -233 - -217. Is 4 a factor of (-20)/o + (-3699)/(-36)?
True
Suppose 0 = -7*r - 2*r. Suppose -2*z - z + 150 = r. Is (36/(-30))/((-4)/z) a multiple of 3?
True
Suppose 20*a = 13*a + 35. Suppose -18*o + 17*o + 608 = -4*v, a*o = 4*v + 3040. Does 11 divide o?
False
Let p(n) = -3*n - 13. Let a(t) = t**2 + 21*t - 6. Let v be a(-21). Let k be p(v). Suppose c + 5*x = 47, -3*c = -k*c + x + 149. Is c a multiple of 12?
True
Let t(r) = -73*r**3 + 2*r**2 + 20*r + 52. Does 167 divide t(-4)?
True
Suppose 8*w - 43 = -19. Suppose -126 = -4*i + 5*t + 728, 0 = w*t + 6. Is 9 a factor of i?
False
Let v(z) = -72*z - 45. Suppose -4*y = -y + 2*x + 19, -2*x = -4*y - 30. Is v(y) a multiple of 27?
True
Suppose 6*g = -0*g - 864. Let q = -252 - g. Is (-9)/(q/8)*30 a multiple of 5?
True
Let x = 1566 - -2. Does 10 divide x?
False
Let l(o) = 10*o**2 - 31*o - 538. Is 18 a factor of l(-19)?
False
Does 27 divide (42*(-5)/40*4)/((-9)/4377)?
False
Let h be 301/(24/32 + (-3)/(-12)). Suppose 288*m - 281*m - h = 0. Is m a multiple of 4?
False
Suppose -3*o + 4*v = -36718, -v + 0*v - 12240 = -o. Does 44 divide o?
False
Let r be 762*32/(-336) - (-4)/7. Let l(k) = k**3 + 3. Let b be l(0). Let u = b - r. Does 15 divide u?
True
Suppose -188*y = -109*y - 165323 - 371561. Does 80 divide y?
False
Suppose 4*u - 4*n = 59404, 6*u + n = 3*u + 44565. Does 14 divide u?
True
Let d = -131 + 131. Suppose -14*w + 10*w + 1872 = d. Does 26 divide w?
True
Let z = -650 + 558. Let o = z + 280. Is o a multiple of 7?
False
Suppose 16*j = 14*j - 2*z - 618, j + 327 = 5*z. Let m = -188 - j. Does 19 divide m?
False
Let u(t) be the second derivative of 31*t**3/6 + t**2 + 23*t. Suppose -5*i + 18 = -2*n, -3*n + 1 = 2*n - i. Is u(n) a multiple of 26?
False
Let z(n) = n**2 + 6*n + 6. Let g be z(-6). Suppose g*u + 72 = -138. Let f = u + 67. Is f a multiple of 16?
True
Let b(w) = -30 + 3*w**3 - 4*w - 2*w**3 - 4*w**3 + 0*w - 6*w**2 + 22. Is 65 a factor of b(-4)?
False
Let f(o) = 12 + o - 20 + 5 + 9. Let w be f(-2). Suppose -w*x + 8*x = 0, 3*s + 4*x - 48 = 0. Does 4 divide s?
True
Let s = 26 - 92. Let c = -62 - s. Suppose 4*q = c + 20. Does 6 divide q?
True
Is ((-71328)/192)/(3/(-6)) even?
False
Let s(z) = -31*z - 124. Let u be s(-4). Suppose -14*f - 13*f + 9288 = u. Does 43 divide f?
True
Let f(g) = -12*g - 3. Let i be f(-6). Let a be (-4)/(12/i)*-2. Let p = -13 + a. Does 8 divide p?
False
Suppose -19386 = -t - 2*b + 12496, -t - 4*b + 31884 = 0. Does 34 divide t?
False
Suppose -884*g - 115664 + 44824 = -906*g. Is 14 a factor of g?
True
Suppose 3*r - 541 = -r + w, 5 = -5*w. Suppose 12*z + r = 17*z. Is 2 a factor of z?
False
Let b(q) = 92*q**2 - 41*q - 10. Does 17 divide b(5)?
False
Let n(u) = -5*u + 16. Let h be n(-5). Let v = 609 + h. Is v a multiple of 10?
True
Let v = 524 + 567