r - 5*p + 81 = 0, -3*r = 5*p - 3*p - 94. Let u = r - 46. Let t = u - -88. Does 8 divide t?
False
Let v = 453 - -880. Does 66 divide v?
False
Suppose 9830 = -2*d + 7*d + 2*h, 4*d + 2*h - 7862 = 0. Suppose 4*l - d = -4*l. Is l a multiple of 17?
False
Let r be ((-24)/60)/((-1)/(-30)). Does 2 divide (-79)/(-1) + (-8 - r)?
False
Suppose -69*g + 367964 + 532760 = 28426. Is g a multiple of 98?
True
Let d be 285/(-38)*4/(-5). Let z = 28 - d. Suppose 3*b + 10 - z = 0. Does 4 divide b?
True
Suppose 13*c - 95844 = -2*z + 10*c, 4*z = 5*c + 191776. Is z a multiple of 318?
False
Let j be 3248/(-8)*48/(-28). Is 8 a factor of j/(-20)*(27/(-6) + 2)?
False
Suppose -403 = 11*w + 455. Let h = w - -222. Is h a multiple of 7?
False
Let h(c) = -2*c**2 - 6*c + 4. Let m be h(-4). Let b = m + 197. Let z = b - 77. Is z a multiple of 29?
True
Let u = 14 + 10. Suppose -z + d = 6, 4*z + u + 0 = d. Is 180 - ((-15)/6 - z/12) a multiple of 14?
True
Suppose 0 = 6*a - 8*a + 14. Let v(j) = -j**3 + 6*j**2 + 9*j + 7. Let u be v(a). Let n(m) = 6*m - 48. Is 13 a factor of n(u)?
True
Suppose 6*f - 104 = 484. Let y = f + -58. Does 5 divide y?
True
Is 21 a factor of (-48080)/120*657/(-6)?
False
Let l be (2/(-18)*-6)/(12/90). Suppose -2*r = -2*j + 274, 0 = 2*r - 3*r + 1. Suppose -246 = -2*y - 0*h + 5*h, -y = l*h - j. Does 16 divide y?
True
Let m be (((-200)/(-15))/(-8))/(1/(-3)). Suppose 4*n - m*p - 526 = 0, -5*n - 5*p + 209 = -426. Does 4 divide n?
False
Let r(d) = -2*d**2 + 25*d + 20. Let x be r(13). Does 9 divide ((-502)/x)/((-14)/98) - 3?
False
Let n(m) = m**3 + 7*m**2 - 7*m + 10. Let c be n(-8). Let l = 54 + -49. Suppose 0 = 3*f + 3*x - 510, l*f - 487 = c*x + 349. Is 42 a factor of f?
True
Suppose 4*n - 22 = -6, -c + 4*n + 12546 = 0. Is 34 a factor of c?
False
Let k = -383 + 384. Is 26 + 48/(k - -7) even?
True
Let d(p) = -12*p + 162 + 33*p - 13*p - 17*p. Does 27 divide d(-26)?
False
Let v be 160/88 - ((-6)/33)/1. Is 15 a factor of -16*(-108)/48*85/v?
True
Let m be (-2 - -73)*(-4 - -5). Let k = 54 - m. Is (-3*k/(-3))/((-2)/10) a multiple of 6?
False
Let y = 3974 + -3956. Let z be (2/6)/((-1)/(-21)). Suppose y = z*s - 45. Does 9 divide s?
True
Suppose 0 = -o + 5, -p + 2*o = 11. Suppose 3*w = 4*w - 3. Does 15 divide (8 + p)*(w - 1)*18?
False
Let o(p) = -146*p + 99. Let i be 3/(8 - -1) - (-342)/(-54). Is 23 a factor of o(i)?
False
Suppose 0 = 9*m - 8*m - b + 6, -2*b - 18 = m. Does 14 divide (-489)/12*-4 - m/2?
True
Let c(d) = 5*d**2 - d + 364. Is 24 a factor of c(22)?
False
Is -8 - 179/(-2)*38 - 3 a multiple of 33?
False
Let g(q) = 12*q**2 - 3*q - 9. Let s be 10/(-10)*-8 - (3 + 0). Does 23 divide g(s)?
True
Suppose 6*m = -7*m - 26. Let s(f) = 203*f + 40. Let n(u) = 68*u + 13. Let y(z) = 8*n(z) - 3*s(z). Does 28 divide y(m)?
False
Does 9 divide (-279)/12*(-85 + 99/(-9))?
True
Let n(p) = -p**3 + 27*p**2 + 30*p - 52. Let t be n(28). Is (-1)/(2/(-130)) + t + -1 a multiple of 7?
False
Let u(o) = 116*o + 5132. Is 136 a factor of u(141)?
True
Suppose -v - 3*j = -41 - 22, -3*j + 165 = 3*v. Is 17/v*(-2 - -140) a multiple of 25?
False
Suppose 0 = -6*v - 5*v + 77. Let d(a) = 47*a - 243. Is d(v) a multiple of 2?
True
Let u(p) = p**3 + 11*p**2 - p - 17. Let g be u(-8). Is 248/(-6)*g/(-122) a multiple of 62?
True
Let b = -3138 - -5184. Is 22 a factor of b?
True
Is 4/(-5) + (-2107566)/(-270) + (-6 - 0) a multiple of 36?
False
Let k be (-10)/35 - 2042/7. Let h be (11 - 9)*(-7 + -219). Let d = k - h. Is 23 a factor of d?
False
Suppose -2*i - 115 = -u - 4345, i - 2088 = -4*u. Is i a multiple of 44?
True
Let o = 13 - -5. Let w = o - 33. Is 6 a factor of (5 + -12)/(3/w)?
False
Suppose 128 = -5*n - 22. Let o be (-16)/20*n/4. Suppose -o*d = -102 - 12. Is 10 a factor of d?
False
Suppose 0 = 125*i - 79*i - 33764. Is 38 a factor of i?
False
Suppose 2*q = -4*w + 402, -4*q - 15 = w - 126. Suppose 16*y - 75 = y. Suppose 0 = -2*i + k + w, -i - 2 = y*k - 35. Is i a multiple of 16?
True
Suppose 30*p = 12969 + 18486 + 43785. Is p a multiple of 12?
True
Suppose 16*f - 17006 = -2*s + 12*f, 0 = 4*s - 3*f - 34045. Is s a multiple of 39?
False
Let d be 524 + (-5 - (-4 + (5 - 2))). Let q = d - 364. Is 39 a factor of q?
True
Let l(m) = 49*m**2 + 2*m - 4. Let o be l(-3). Suppose -2255 + o = -6*g. Does 13 divide g?
False
Suppose -13 = -4*p + 5*m, -3*p = 3*m - 33 + 3. Let x(j) = -j**2 + 15*j - 4. Does 26 divide x(p)?
True
Does 11 divide 96554/14 + 76/266?
True
Let y = -33 + 33. Suppose 3*o - 80 = -5*g, -4*g - 4*o + 72 = -y*g. Suppose -g*r - 535 + 3070 = 0. Does 30 divide r?
False
Let r be (-1)/(3 - ((-2)/(-10) + 3)). Suppose 4*v + 3*o = -17, -7*o + r*o + 12 = -2*v. Is 41 a factor of v/(-35)*2 - 3846/(-14)?
False
Suppose 2*n + c = 2*c + 1315, 3295 = 5*n + 5*c. Suppose 2*s - n = -6*q + 2*q, 4*s = 4. Suppose -g - g + q = 0. Is g a multiple of 41?
True
Let q = -3861 - -4050. Is 30 a factor of q?
False
Is ((-15930)/(-225))/((-2)/(-15)) a multiple of 2?
False
Is 10 a factor of ((-30)/(-12))/(5/656)?
False
Suppose 7*p - 25 = 2*p + l, p - 5 = -4*l. Suppose 0 = -5*g + 15, 3*m + 48 = -p*g - 9. Does 21 divide (-2085)/m - 3/(-24)?
False
Suppose 4*m + m = 25. Suppose 3*p + 4*r + 47 = 0, 5*p + 0*r = -m*r - 70. Let j(g) = g**2 + 3*g - 5. Is j(p) a multiple of 7?
True
Suppose 635 = -q + 2285. Suppose -9*n - 11181 = -q. Is n/(-15) + 21/15 + -2 a multiple of 14?
True
Suppose -20 = 4*t - 0, 2*o + 4*t - 374 = 0. Let p = o - 186. Does 6 divide p?
False
Let g(n) = -82*n**3 + 8*n**2 - 60*n - 395. Does 73 divide g(-7)?
True
Suppose 2048 = 2*w - s, -2*s = 5*w - 7*s - 5110. Is w a multiple of 6?
True
Let z be ((-3)/2 + 4)/(9/18). Suppose n - z*n = 4*v - 28, -5*v + n + 47 = 0. Is v even?
False
Suppose 0 = -2*t + 13 - 1. Suppose 0 = -t*z - 5 + 29. Suppose 0 = -7*a + z*a + 243. Is 11 a factor of a?
False
Suppose -t - 3*x = -1 + 3, 0 = 2*x - 6. Let s be (t - (-2 + -2)) + 3. Let r(j) = -j**3 - j**2 + 7*j + 6. Is r(s) a multiple of 23?
False
Let l be 3*(-16)/(-60)*(-20)/(-4). Let c be (-32)/(-12) + l/3. Does 7 divide c*(-2)/4 - -48?
False
Let y(n) = -n**3 + 58*n**2 - 49*n + 344. Is 16 a factor of y(21)?
True
Suppose -3*q = -j - 5 + 20, 5*j - 19 = q. Suppose j*n - 2*h + 317 = -382, -h = -3*n - 696. Does 29 divide (n/(-12))/(4/(-16)*-1)?
False
Let u = -43530 - -50980. Is 149 a factor of u?
True
Let c = -8777 + 13911. Is c a multiple of 9?
False
Let a(g) = 90*g**2 + g + 6. Let k be a(2). Suppose -6*m = -2*m - k. Is m a multiple of 23?
True
Suppose c + 152*z - 156*z - 6197 = 0, 18549 = 3*c - 5*z. Does 9 divide c?
False
Let z be 0/((-3)/1) + 3. Suppose -z*l - 4*p - 20 = 0, p = -l - l - 10. Is 250/6 - (-7)/42*l a multiple of 12?
False
Let a(l) = -23*l - 54. Let p = -468 - -460. Is a(p) a multiple of 9?
False
Let x(q) = 4*q**3 + 21*q**2 + 3*q - 6. Let p be x(-5). Suppose 3*l - 2*n - 2*n - 374 = 0, -p*l + 480 = 4*n. Is 14 a factor of l?
False
Let h(f) = 13 - 2*f + 4 - 24. Let s be h(-5). Suppose s*w - 139 = -2*b + 13, 380 = 5*b - 4*w. Does 19 divide b?
True
Let d = 9 - 9. Suppose -6*n + 4*n + 32 = d. Suppose x - n = -0*f - 2*f, -x = 3*f - 16. Does 16 divide x?
True
Suppose -12 = -3*j - 9*l + 12*l, 5*j + 4*l = -16. Is (j - -8) + 0 - -927 a multiple of 85?
True
Let b(n) = 3*n - 7. Let u be b(4). Suppose -u*r = -73 + 63. Suppose r*h + 69 = 3*h. Is h a multiple of 32?
False
Let r(l) = -10*l**3 + 4*l**2 + 5*l + 1. Let b be r(-4). Suppose -4*d = -3*j - b - 46, 4*j - 567 = -3*d. Is (1 + d)/((-18)/(-12)) a multiple of 31?
True
Suppose -18740 - 24418 = -2*d - 2*t, 43188 = 2*d - 4*t. Does 76 divide d?
True
Suppose 74 = 3*h + 4*t, 0 = 2*t - 0 + 2. Suppose 0 = h*p - 10*p - 1088. Does 17 divide p?
True
Let i = -1571 + 12655. Is 9 a factor of i?
False
Suppose 4*z + 2*c = 74, 5*c = -3*z + 2*c + 51. Let a = -20 + z. Suppose 11 + 447 = 5*j + b, 5*j - 4*b - 443 = a. Does 13 divide j?
True
Does 33 divide 184/(-644) - (-1152)/14 - -3?
False
Let z = -4232 + 5876. Does 6 divide z?
True
Suppose -8*b = -2*b - 66. Suppose -3*t + b*t - 360 = 0. Is 2 a factor of t?
False
Let t be (-1)/((-6)/(-9) + -1). Let l be (-2 - -16)*(11/2 + t). Suppose 0 = -2*n + 145 + l. Is 33 a factor of n?
True
Suppose -31*p = -7*p - 1392. Suppose -3*g - 3*u = -642, -59*u - 434 = -2*g - p*u. Is g a multiple of 5?
False
Let i be 8 + 53 + (-3 - 3). Is 695/1 - i/11 a multiple of 23?
True
Let a(j) = 2*j**2 + 15*j - 