?
False
Let r(f) = 7 + 7 - 4 + 12*f - 2. Let g be r(5). Suppose 0 = -5*z + g + 122. Is z a multiple of 17?
False
Is 6 a factor of 18 + (-9 + 3039)/5?
True
Let q = 209 + -209. Is (124/(-16))/((-1)/(q + 16)) a multiple of 18?
False
Suppose -66 = -2*v + 4*x, -6*v - 2*x = -11*v + 157. Suppose 4*a = -z + 4319, -v*a - 2*z + 3233 = -28*a. Is 47 a factor of a?
True
Let v = -2 + 6. Suppose 0 = -v*a - x - 363, 0*a - 4*a - 3*x = 353. Is 6 a factor of 1 - (0 - a/(4/(-1)))?
True
Suppose 5 = -2*w - 5*d, w + 3*w = -4*d + 20. Is 153 - (4/(-2))/(8 - w) a multiple of 37?
False
Suppose 0 = 41*o + 357 + 53. Suppose c - 15 = 4*z, 6*c - c - 41 = 3*z. Does 5 divide 0/(4 - c) - o?
True
Let h = 64 - 41. Suppose 0 = -32*g + h*g + 3726. Is 46 a factor of g?
True
Let m(k) = -85*k - 8*k - 36*k + 24*k. Is m(-2) a multiple of 14?
True
Suppose -2*n + 170 = 6*k - 2*k, -n = -5*k - 71. Is n a multiple of 9?
True
Suppose -446 = -0*u - 2*u - 3*n, -u + 4*n + 201 = 0. Is (-14)/u + 38760/155 a multiple of 25?
True
Suppose 2*u + u + 99 = 0. Let f = u + 32. Is 9 a factor of 2 - (f + -3)*14?
False
Suppose 6 = 3*q + 2*w, 0 = -3*w + 2 + 7. Let f(j) = -3 + q - 8 + 8*j + 3*j. Is f(8) a multiple of 15?
False
Let q be 0/(8 + -4) + (-360)/(-5). Suppose q*i = 64*i + 904. Is 6 a factor of i?
False
Is 1522140/84 + 23 + 2/7 a multiple of 112?
True
Suppose 4*f - 3*l - 28 = 0, 5*l = 4*f - 41 + 5. Suppose 5*q + 1 + 5 = -2*n, 5*n + f*q = -49. Let m = 89 - n. Is m a multiple of 29?
False
Suppose 0 = -4*t + 4*v + 232, -t - v + 42 + 8 = 0. Let s = t + -49. Suppose -z + s*z = 96. Does 10 divide z?
False
Suppose -2*o - 41 = -d, -5*d + 3*o = -95 - 124. Is 11 a factor of (78/18)/(3/d)?
False
Suppose y = 3*y - 5*q + 14, 3*q = 4*y. Suppose -y*t + 0*w = 2*w + 2, w + 4 = 0. Suppose -t*c + 168 = 2*c. Is 6 a factor of c?
True
Let u(t) = -39*t + 448. Let x(w) = -9*w + 112. Let s(b) = -4*u(b) + 18*x(b). Is s(-6) a multiple of 30?
False
Let h be 1/4*(34 + -30). Suppose 0 = 9*b + h + 188. Does 15 divide 5*7/(b/(-81))?
True
Let l(k) = -4*k**3 - k**2 + 14*k + 13. Let s(n) = -n**3 - n**2. Let j(h) = -l(h) + 3*s(h). Is j(7) a multiple of 35?
False
Let v(h) = -h**3 - 4*h**2 - 7*h - 2. Let u be v(-2). Suppose 0*d + 389 = u*l - d, 0 = -l - d + 96. Is 2 a factor of l?
False
Suppose -911 - 11558 = -37*t. Does 3 divide t?
False
Suppose 0*x - 7*x = -161. Let n(y) = 7 + 10 - 6*y + 13*y + 25. Is n(x) a multiple of 45?
False
Suppose 2*j + 112 = o, -4*j - 3*o - 232 = -7*o. Let d = j + 49. Is (-126)/(-2) - (d - -2) a multiple of 17?
False
Let l = -25 + 22. Let r be l - ((-146)/(-2) - 4). Let i = 162 + r. Does 30 divide i?
True
Let o(l) = l**2 + 60*l + 41. Let v be o(-22). Let n = v + 847. Does 4 divide n?
True
Let z(l) = 4*l**2 - 18*l + 5. Let s(t) = 8*t**2 - 35*t + 8. Let j(i) = 3*s(i) - 5*z(i). Let b be j(4). Let h(p) = 16*p**2 + p - 2. Does 8 divide h(b)?
False
Let m be 5/(20/32) - 5. Suppose 0 = -q + 2*t + 124, -m*t + 39 + 95 = q. Is q a multiple of 8?
True
Suppose -17*a - 4*a + 318411 = 32664. Is 11 a factor of a?
True
Suppose -2*v + 10496 = -4*u, 89*v = 84*v - 4*u + 26296. Is v a multiple of 18?
True
Let n = -9271 + 24759. Does 16 divide n?
True
Let z(y) = 130*y + 125*y + 286 - 382*y + 121*y. Is 5 a factor of z(27)?
False
Let x be 100/(-36) + (-12)/54. Let f be x*(210/9)/(-7). Suppose -f*l + 13*l - 42 = 0. Is 9 a factor of l?
False
Let q(i) = 2*i**2 - 16*i + 63. Let j be q(7). Suppose 56*t - j*t - 2975 = 0. Does 25 divide t?
True
Suppose 0 = k - 3*u - 6837, -586*u + 591*u - 20497 = -3*k. Is 17 a factor of k?
True
Let p be ((-168)/(-70))/(6/40). Suppose 0 = -p*f + 20*f - 5*m - 1023, -m - 759 = -3*f. Does 18 divide f?
True
Let v(z) = 47*z + 4659. Does 26 divide v(-22)?
False
Let d(i) = -1373*i**3 - 26*i**2 - 68*i - 25. Does 6 divide d(-2)?
False
Let x = -10664 + 10876. Is 53 a factor of x?
True
Let s(k) = 17*k**2 - 4*k - 10. Let t be s(-4). Let p = 451 - t. Is 17 a factor of p?
False
Let b(f) = 2*f**3 + 31*f**2 + 18*f + 39. Let s(c) = c**3 + 15*c**2 + 9*c + 19. Let z(y) = -3*b(y) + 7*s(y). Let j be (18 + 7)*(-2)/5. Is 21 a factor of z(j)?
True
Let s(x) = x**3 - 20*x**2 + 38*x - 9. Let k(u) = -u**3 - 14*u**2 - 12*u + 31. Let n be k(-13). Is 13 a factor of s(n)?
False
Let f be (14 - -1)/(3 - 4). Let x(t) = t**2 + 13*t + 6. Does 15 divide x(f)?
False
Let y be 0/(3 + 1*(-3 + 2)). Suppose y = -8*r + 11*r - 6. Suppose -f - 3*m = 6, -2*f = f + 4*m - r. Is f even?
True
Let x = 4884 + 624. Is x a multiple of 51?
True
Let t = 29591 - 23513. Is 70 a factor of t?
False
Let a = 6305 + -5087. Is 7 a factor of a?
True
Suppose -30 = -2*u - 2*a, 12*u = 14*u - 2*a - 50. Suppose -19467 = -41*b + u*b. Is b a multiple of 90?
False
Let z(m) = -m**3 + 6*m**2 - 2*m - 11. Let t be z(5). Suppose -4*q - 4*d + 488 = 0, -4*q - t*d - 373 = -7*q. Suppose q = 5*v - 87. Does 5 divide v?
False
Let j(q) = -q**3 - 4*q**2 + 3*q - 7. Let f be (-6)/(30/25)*1. Let h be j(f). Suppose -h*g = -y - 0*g + 71, 3*g - 124 = -2*y. Is 30 a factor of y?
False
Let h be 2 - ((-2)/(-9) + (-64)/(-36)). Let m = h - -267. Is m a multiple of 23?
False
Suppose -2*c + 22 - 18 = 0, 34 = -2*d - c. Is -224*(117/d)/13 a multiple of 3?
False
Suppose 2*w + 44 = -3*w - 2*c, 3*w = -c - 27. Does 30 divide (-10 - 775/w)/((-6)/(-40))?
True
Suppose -5*i = 2*y + 175, -i + 0*y = 3*y + 48. Let k = i + 156. Does 9 divide k?
False
Suppose -21*v = -127277 - 70429 + 15804. Does 71 divide v?
True
Suppose 88 = 3*q - 0*q - 5*d, d = -3*q + 58. Let a = -19 + q. Suppose 3*h - 420 = 3*b, -112 - 196 = -a*h - 5*b. Is h a multiple of 18?
True
Let m be ((-170)/3)/(2 - (-21)/(-9)). Suppose -t - 5*j = 61, -4*j - m = 2*t - 6*j. Is 15 a factor of (33/9 - 2)/((-9)/t)?
True
Suppose 0 = -4*j + g - 56 + 426, 2*j = 5*g + 194. Let q = 108 - 171. Let a = j - q. Does 31 divide a?
True
Let a = 35 + -32. Suppose -4*w = -a*y, 5*y - 6*y = -w. Suppose i + 4*i - 300 = y. Is 5 a factor of i?
True
Suppose -155488 = -4*k + 4*z, 259*k - 256*k = 5*z + 116632. Is k a multiple of 56?
True
Suppose -f = -4*g - g + 40709, 32570 = 4*g + 2*f. Let c be g/230 + (4/(-10))/1. Suppose 21 + c = p. Is 11 a factor of p?
False
Let l = 125 + -122. Suppose l*o = -4*q + 37, -2*o = -0*o + 10. Let u(h) = h**3 - 11*h**2 - 20*h - 15. Is 16 a factor of u(q)?
False
Let l be (-5 + 29)*((-16)/(-6))/4. Is 2/l - 3108/(-224) a multiple of 7?
True
Let n = 250 - 247. Suppose 5*a - 5*g = -4*g + 581, -n*a = -5*g - 331. Is 13 a factor of a?
True
Let o be (-72)/84 + 24/28. Is 6 a factor of o + -11 + 5 - -40?
False
Let p(j) = 1138*j + 4889. Does 30 divide p(29)?
False
Let w(m) = -18*m + 13. Suppose 5*x = -3*h - 35, 3*x + 2*h = x - 18. Is w(x) a multiple of 4?
False
Let i be (-1281)/(-39) + (-24)/(-156). Suppose 0 = -n + i + 25. Suppose n = -3*h + 298. Does 44 divide h?
False
Suppose 102*j + 8*w + 40869 = 103*j, -2*j + 81738 = 2*w. Does 171 divide j?
True
Let g(v) = 4*v. Let b be g(0). Suppose 5*r = -u + 230, b*r + 5*r = -10. Is u a multiple of 24?
True
Let k(n) = n**3 + 12*n**2 + 10*n - 3. Let d be k(-11). Suppose d*q = 34 - 2. Is (-12)/(-3) - -5 - q a multiple of 2?
False
Let p(s) = 2448*s + 129. Is 16 a factor of p(3)?
False
Let v(b) = -9*b + 5. Suppose 4*q - 62 = -30. Suppose -24 = -q*i + 12*i. Does 9 divide v(i)?
False
Suppose 0 = -2*m - o + 6, 5*m + 4*o + 1 - 13 = 0. Suppose 4*x - 113 - 243 = 0. Suppose -16 = -3*t - 4*y + x, m*y = -12. Is 14 a factor of t?
False
Suppose -s = 37*c - 40*c + 2, 0 = -5*c - 3*s + 22. Suppose r - 2*d = 95, -5*d = -4*d + c. Does 3 divide r?
False
Suppose 18*t - 36256 = 14558. Does 16 divide t?
False
Let z(i) = 6*i**2 + 146*i + 71. Does 188 divide z(-53)?
False
Let h(t) = 91*t**2 + 3*t - 11. Let x(u) = 3*u**2 + 24*u + 4. Let v be x(-8). Is 47 a factor of h(v)?
True
Suppose 4*b - 3*l - 2*l - 250 = 0, 4*b - 254 = 3*l. Let x be -41 - (6 - (-11 + 18)). Let d = b - x. Does 15 divide d?
True
Let l(y) = 443*y**2 - 13*y - 4. Let x be l(-5). Suppose 0 = -22*c + 6*c + x. Does 12 divide c?
True
Let h(s) = 3*s - 3 - s**3 - 16 + 4 + 13*s**2. Let i be h(13). Is i/(-30)*(-201 + 1) a multiple of 40?
True
Suppose 68275 = 75*b - 556175. Is b a multiple of 189?
False
Let v be (0 - 10) + (-9)/3. Let w(x) = -x**2 - 14*x - 11. Let z be w(v). Suppose 0 = z*o + o - d - 33, 3*d - 21 = -o. Does 3 divide o?
True
Suppose 0*q - 2258 = -9*q + 172540. Is 249 a factor of 