
False
Suppose -4*z + 2*n = -1494, 3*z - 2*n - n = 1128. Let c = 751 - z. Suppose -5*j = 0, -4*j - 224 = -4*b + c. Is b a multiple of 22?
False
Suppose 2*q = 7*t - 50724, 2*t + 278 = 5*q + 14806. Is t a multiple of 4?
True
Let f(v) = 3*v - 2. Let p be f(2). Suppose -p*x + 2*u = -2 - 2, 29 = 3*x + 5*u. Suppose 5*q - 77 = -x*r + 4*q, 4*q = 2*r - 70. Is r a multiple of 27?
True
Let b(i) = -i**3 + 25*i**2 - 32*i + 74. Let h be b(35). Is h/(-38) + 52/494 a multiple of 14?
True
Let g(x) = 1345*x**3 - 18*x**2 + 54*x + 9. Is 23 a factor of g(3)?
False
Let r = 50 + -14. Let v be (2/(-4))/((-24)/(-624)). Let j = r + v. Is 3 a factor of j?
False
Let s = 57 + -54. Suppose 2*z + z + 5*o = 1250, s*z + 3*o - 1254 = 0. Suppose 0 = -n + 6*n - z. Is n a multiple of 12?
True
Let y(w) = w**3 + 31*w**2 + 9*w - 349. Is 13 a factor of y(-22)?
True
Suppose 0 = 50*c - 48*c - 12. Suppose -c*v = -2*v - 76. Is v a multiple of 2?
False
Suppose -72 = x + 8*x. Let n be (1 - 4)/((-12)/x). Is 7 a factor of (3/n)/3 - 504/(-48)?
False
Suppose -26833*q = -26848*q + 33675. Is 51 a factor of q?
False
Let z(d) = -d**3 + 5*d**2 + 32*d - 14. Let h = 523 + -516. Is z(h) a multiple of 28?
True
Let q be 5 - (-34 - 42/(-6)). Let h = 573 + q. Does 9 divide h?
False
Suppose 4*j - 17 = -3*h, -11*h + 9*h + 3 = j. Let r(u) = -927*u**3 - 9*u**2 - 6*u + 1. Is r(h) a multiple of 10?
False
Let q(o) = 16*o + 13*o + 18*o**2 + 21 - 13*o**2 + 19. Is 10 a factor of q(-13)?
False
Let d(g) = -41*g**3 - 10*g**2 - 16*g - 9. Let b be d(-3). Suppose 5*s - 22*z + 19*z = 1764, -3*s + b = -3*z. Is s a multiple of 59?
True
Let n(s) be the first derivative of s**4/4 - 43*s**3/3 + 27*s**2 + 35*s - 179. Is n(42) a multiple of 22?
False
Suppose 264 = 4*f - 2*d, -9*d + 14*d = -3*f + 198. Suppose 2*h = 3*o + 68, 54 = 5*h + 5*o - f. Does 4 divide h?
True
Let d(m) = m**2 + 28*m + 1390. Is d(-93) a multiple of 67?
False
Let l = 923 - 672. Is 6 a factor of l?
False
Let g be (49 - 48) + 1 + (-1 - -21). Suppose -5*p - 66 = -4*f, -5*p = 2*f - f - 4. Suppose -f*d + 13*d = -g. Is d a multiple of 11?
True
Suppose -19470 = -5*z - 3*c, -4*z + 213*c = 210*c - 15549. Is z a multiple of 29?
False
Suppose -8*z - 5052 + 44908 = 0. Does 5 divide z?
False
Let t(m) = 119*m - 1311. Does 23 divide t(46)?
True
Let v(z) = 45*z - 104. Let w be v(4). Suppose -74*f - 1816 = -w*f. Does 63 divide f?
False
Let l(r) = -28*r + 59. Let w be l(2). Does 27 divide -7 + 104/12 - (-76)/w?
True
Suppose 16*z = 8*z + 16. Suppose -385 = -z*m - 111. Is m a multiple of 32?
False
Suppose -8640*i - 453840 = -8660*i. Does 12 divide i?
True
Is ((-8)/(-10) - (-10)/25) + (-3770481)/(-195) a multiple of 12?
False
Suppose -133 = 10*s + 17. Let v(n) = -n**3 - 15*n**2 + n + 15. Let r be v(s). Suppose r = 2*j - 5*m - 1, -14 = -0*j - j - 2*m. Is 6 a factor of j?
False
Let t(d) be the first derivative of d**4/2 + 8*d**3/3 - d**2/2 + 36*d + 284. Does 27 divide t(7)?
True
Suppose 4*k - 1177 = -j + 86, 2*j - 4*k = 2490. Suppose -52 = -6*l + 8. Suppose l*i + 51 - j = 0. Is i a multiple of 40?
True
Let m(r) = 110*r**2 + 4*r + 234. Is 130 a factor of m(7)?
False
Suppose 376 + 404 = -10*l. Let j = 86 + l. Is -3 - -1*24*j a multiple of 7?
True
Let k be -2*(-4 - -7) + 3. Suppose -10*s - 6*s = 7*s. Is ((s - 711)/3)/k a multiple of 9?
False
Suppose 9*d = 11*d. Suppose 2*t - 10 = 2*v, v - 1 = -d*t - 2*t. Let x(h) = -9*h + 3. Is 6 a factor of x(v)?
True
Is 8/(-232) - (-301416)/551 a multiple of 51?
False
Let x = -115 + 118. Suppose x*c + 785 = 4*h, -5*h + 980 = -c - 3*c. Is h a multiple of 25?
True
Is (180/20 - 17) + 6186/2 a multiple of 5?
True
Let q(s) = 52 - 83 - 52 + 14*s. Is q(10) a multiple of 4?
False
Suppose -5*o - 177000 = -4*h, -24*h + 21*h = 4*o - 132781. Is h a multiple of 53?
True
Suppose 341*c = 343*c - 18, -a + 20169 = c. Does 14 divide a?
True
Let d = -36237 + 49965. Does 96 divide d?
True
Let n(u) = 56*u**3 - 2*u + 3. Let c be n(1). Suppose c - 372 = -5*j. Does 9 divide j?
True
Suppose 0 = 5*a + 5*r - 40, -r + 6 + 11 = 4*a. Suppose i = a*i - 350. Is 7 a factor of i?
True
Suppose 21 + 18 = -3*z. Let c = z + 8. Let f(t) = -5*t + 15. Is 7 a factor of f(c)?
False
Is 25 a factor of (15449 - -11)*2/4 + 3?
False
Let l be 0*((-10)/4 + 2)*2. Suppose q = -2*t - l*q + 91, -2*t + 5*q + 97 = 0. Let u = t - 34. Is 3 a factor of u?
True
Suppose 28*p = 26*p + 8948. Let u = p + -2744. Suppose 13*n - 3353 - u = 0. Is n a multiple of 57?
False
Let n(q) = 2*q**3 - 19*q - 8. Let z(b) = -2*b**3 - 25*b**2 - 16*b - 40. Let h be z(-12). Is 54 a factor of n(h)?
True
Let p(d) = 156*d + 234. Does 90 divide p(6)?
True
Suppose -108*h = -110*h + 10. Let f(s) = -2*s**2 - 4 - 1 + 2*s + 4*s**2 - 9. Is 23 a factor of f(h)?
True
Let k(n) = 812*n + 2690. Is 13 a factor of k(11)?
True
Let m(r) be the second derivative of -r**5/20 + 23*r**4/12 - 3*r**3/2 + 5*r**2/2 + r + 46. Is 17 a factor of m(18)?
False
Let y = -1657 + 3210. Suppose 3*o - y = 2*a, 7*o - 5*a + 1029 = 9*o. Is 14 a factor of o?
False
Suppose 4*h + 0*h - 960 = 0. Suppose -11*u + 56*u = -41*u - 14448. Let g = u + h. Does 6 divide g?
True
Let q = 63222 - 44598. Is q a multiple of 16?
True
Let p(b) = -37*b - 44. Let d be p(-8). Suppose 204 = 19*j - d. Is 7 a factor of j?
False
Suppose -1087 = 2*f - 3399. Suppose 5*b + v = 3*v + f, 0 = -b - 2*v + 224. Does 46 divide b?
True
Let r be 2/(-4)*-6 + (15 - 26). Let b be r*(27/(-2))/(-9). Is (b/(-30))/(-2 + 281/140) a multiple of 28?
True
Let k = 324 - -1756. Is 59 a factor of k?
False
Suppose -15 = -5*j + b, -2*j + b = 3*b + 6. Suppose g = j*y - 104, -2*y + 150 - 42 = -3*g. Let x = y - -11. Is 6 a factor of x?
False
Suppose -45*i + 49*i - 246 = -2*f, -4*i = -f - 261. Let a be (-3)/(-15) + 9/5. Suppose a*p = i + 40. Is p a multiple of 14?
False
Let u = -45 - -44. Let v(h) = 46*h**2 - 8*h - 9. Does 36 divide v(u)?
False
Suppose -5*f - 854*c = -850*c - 16401, -4*c - 9879 = -3*f. Does 45 divide f?
True
Is 18 a factor of 1003 + 9/(81/(-117))?
True
Is (-2519 - 1)/(117/(-78)) a multiple of 35?
True
Let o(d) be the third derivative of 7*d**5/60 - d**4/8 - d**3/6 + 29*d**2. Does 11 divide o(4)?
True
Let p be 7*2/4*(21 + -1). Does 10 divide (-20)/p - (-2242)/7?
True
Suppose -39*a + 8*a = -121365. Does 9 divide a?
True
Suppose -2*c + 6*m - 5*m - 5 = 0, c = 3*m - 15. Suppose c = 317*w - 323*w + 234. Is 5 a factor of w?
False
Let a(i) = 4*i**3 - 109*i**2 - 80*i - 34. Is a(28) a multiple of 13?
True
Let u(y) = -3*y**2 + 52*y - 14. Let j(z) = z + 1. Suppose -26*w + 18*w + 120 = 0. Let a be j(w). Is u(a) a multiple of 16?
False
Suppose 0 = -3*i + 4*i - 5*h, 0 = 3*i + 5*h. Suppose -2*w = -2*v - i*v + 70, -w - 2 = 0. Is v a multiple of 11?
True
Suppose -9*h + 1367 + 163 = 0. Suppose h = -o + 228. Is o a multiple of 29?
True
Suppose -32*k + 1467979 = 58*k - 31*k. Does 83 divide k?
False
Suppose -23498 = 138*f - 99950. Is 7 a factor of f?
False
Let s(u) = -3*u**3 - u**2 - 6*u + 6. Let l be s(3). Let h = l - -122. Suppose h*x = 7*x + 351. Is 10 a factor of x?
False
Let a = 147 + -96. Let m = a + -41. Suppose -32 = -o - t, -o + 62 = 5*t + m. Is o a multiple of 5?
False
Let n(y) = 32*y - 10. Let w(m) be the third derivative of -m**5/30 + 9*m**4/8 - 11*m**3/6 + 18*m**2. Let b be w(13). Is 9 a factor of n(b)?
True
Let n = 44557 - 24876. Is n a multiple of 8?
False
Is ((-65)/4)/((-3805)/298312) a multiple of 14?
True
Let c be ((-3)/(-3))/((-6)/(-18)). Suppose 2*q + 4*j = 2, -3*q + 5*j - c = -6*q. Does 21 divide (44 - -2) + (-4)/q?
True
Does 76 divide 5/20*-2 + (-44114)/(-4)?
False
Suppose 10 - 6 = 2*s. Suppose -4*d - 3*u = u - 4040, s*d - 4*u - 1996 = 0. Does 32 divide d?
False
Suppose 47*m + 12*m - 540204 = 0. Is m a multiple of 21?
True
Does 147 divide (59708/6)/(-2*1*101/(-303))?
False
Suppose 2*a - 12897 = -n, -3*n = -1333*a + 1328*a - 38779. Does 14 divide n?
False
Suppose -7*x + 4*x = 1755. Let t = x - -1061. Suppose 0 = -q + 5*q - t. Does 21 divide q?
False
Suppose 2*d - 3*b = 143, -5*d + 28 = 4*b - 387. Let w = -76 + d. Suppose -5*r - w*f = -651, -r + 3*f = 4*r - 639. Is r a multiple of 43?
True
Is 28/126 + (-294812)/(-126) a multiple of 9?
True
Suppose 0*r - 1 = -r. Suppose -h + 5 = -r. Suppose -90 = -9*f + h*f. Does 15 divide f?
True
Let a(v) = 19*v**3 - 7*v**2 - 17*v + 110. Is 48 a factor of a(6)?
False
Suppose 