 + 5. Suppose -15 + 3 = 3*w - r, -5*w = -r + 18. Is n(w) a multiple of 11?
True
Let z(d) = 21*d + 61. Let o be z(-13). Let h = 727 + o. Is 16 a factor of h?
False
Suppose -628 = -2*x - 4*y, 36*x + 3*y + 294 = 37*x. Is 34 a factor of x?
True
Suppose 3*c + 118 = 5*v, -6*v + 2*v = 4*c + 136. Let r be c/60 - 123/(-5). Suppose 0 = -54*s + 53*s + r. Is 12 a factor of s?
True
Suppose -5*l + 48 - 13 = 0. Let b be 163 + -3 + -12 + 29. Suppose l*f - b = 341. Does 17 divide f?
False
Suppose 9*k - 134640 = -17*k - 7*k. Does 51 divide k?
True
Let t(a) = 2*a**2 - 48*a + 7. Let g be t(24). Suppose -y = h - 184, -y + 4*h = g*h - 192. Is 18 a factor of y?
True
Let n(d) be the first derivative of 27/2*d**2 - 2*d - 1/3*d**3 + 27. Is n(25) a multiple of 8?
True
Let y = 2253 - 2253. Let c(i) = i**3 + 4*i**2 + i - 1. Let w be c(-3). Suppose 6*k - w*k - 65 = y. Does 14 divide k?
False
Suppose -5*l - 4*v = -9*l + 40, 0 = l + 2*v + 5. Let g be 0 - 2 - (1 - 418). Suppose -2*n + c = -265, -n - l*c = -4*n + g. Is n a multiple of 28?
False
Let x be (-1)/(-4) + 55/20. Suppose -5*q - 2675 = -7*d + x*d, -5*d = -q - 3370. Is d a multiple of 15?
True
Let x(n) be the first derivative of 191*n**2/2 + 107*n + 233. Is 22 a factor of x(3)?
False
Suppose -37*i + 34*i + 9 = 0, 4*h + 3*i = -51. Let u = 341 - h. Does 15 divide u?
False
Let q = 318 - 294. Let y = q - -97. Is y a multiple of 11?
True
Let w(t) = 46*t**2 + 3*t + 2. Let h be (1 - 3/5) + 14/(-10). Let n be w(h). Is 14 a factor of 4/(-40)*-56*n/6?
True
Is 5 a factor of ((-567)/243 - (-11)/(-3)) + 2302/2?
True
Suppose 12*u + 27503 = 91071 + 82208. Is u a multiple of 164?
False
Is 34 a factor of (-7*(-39132)/(-378))/(2/(-102))?
True
Is 47 a factor of (-150043)/(-114) - (-3 + 57/18)?
True
Let h(t) = 6364*t - 17414. Is 10 a factor of h(6)?
True
Suppose -2*h + 2*m = m + 504, 0 = 3*h - 3*m + 750. Let j = 454 + h. Is 32 a factor of j?
False
Suppose -5*l + 12 = 2*t, 5*l + 13 = 5*t + 53. Suppose -l*p - 4 = -3*p. Let u(b) = -b**2 - 8*b - 4. Is 6 a factor of u(p)?
True
Does 178 divide 102528/6 - (-7 + (-26)/(-4))*0?
True
Let s = -33 - -6. Let f = s - -24. Does 13 divide (f - 57/(-6))*2?
True
Suppose 4*a = -5*r - 3937, 5*r - 845 = 2*a - 4764. Let k = r + 1115. Does 55 divide k?
True
Suppose -1 = 2*y - 57. Let w be ((-18)/21)/((-2)/y). Is ((-1)/(-2))/((-6)/w) - -85 a multiple of 5?
False
Let u(r) = 4*r**2 + 7*r + 4. Let z be u(-2). Suppose -4*f - z = -2, 0 = -w + 4*f + 2. Does 17 divide (43/(-3))/(w/6)?
False
Let j be ((-2680)/35)/(-2) - 4/14. Let v = j - 27. Suppose -v*h + 0*h + 198 = 0. Is h a multiple of 2?
True
Let d = -70 + 83. Let m be (5 - d/3)/(2/(-162)). Let n = -3 - m. Is 3 a factor of n?
True
Let z(i) = -i - 1. Let s be z(-3). Let t(q) = -2*q**3 + 3*q**2 - 2*q + 3. Let d be t(s). Does 23 divide (d/((-5)/(-2)))/((-2)/32)?
False
Suppose -16*b + 71512 + 16420 = 22*b. Does 34 divide b?
False
Let o(v) = -13*v**3 + 33*v**2 + 13*v - 27. Is 23 a factor of o(-9)?
True
Suppose 3497 = 6*y + 929. Let a = 601 - y. Let c = -121 + a. Is c a multiple of 13?
True
Let u be 59 - 16/(-12)*-3. Let i = -6 + u. Suppose 0 = 4*t - i - 119. Is t a multiple of 2?
True
Let k(z) = 3*z**3 + 32*z**2 - 9*z + 22. Let a be k(-11). Is 13 a factor of (-2 - -1)/((-8)/11128 - a)?
True
Suppose 132560 = -28972*o + 28992*o. Does 32 divide o?
False
Let v = 128 + -125. Suppose v*k + 15*k - 4950 = 0. Is 25 a factor of k?
True
Suppose 0 = 4*y + 3 + 1, 2*i = 2*y + 758. Is i a multiple of 61?
False
Let q(v) = 235*v**3 + 3*v - 1. Let u be q(1). Suppose -5*p - 4*l = -u, -3*l - 153 = -3*p - 0*l. Is p a multiple of 47?
False
Let v(u) = -u**2 + 5*u - 2. Let k be v(-9). Let g = k + 187. Is 9 a factor of g?
False
Suppose 5*u - 479 = p, 3*p - 3 + 0 = 0. Suppose l = -5*y + 258, 2*y + 0*l = 2*l + u. Suppose -27 = -2*i + y. Is i a multiple of 4?
False
Let f(j) = 97*j**2 - 143*j + 51. Is 73 a factor of f(8)?
False
Let l = 22 - 6. Suppose 4*y + b - 1 = -5, 4*y = 4*b + l. Does 11 divide -59*(y - 1) - (-48)/16?
False
Does 17 divide (-120)/(-32)*1132 + (1 - (-6 - -2))?
True
Let x = 78234 - 40137. Is x/102 - (-2)/4 a multiple of 7?
False
Let v(g) = g**3 + 11*g**2 + 3*g - 12. Let i be v(-7). Let y = i + -146. Suppose y*t = 2*t + 705. Is t even?
False
Let y(j) = -22*j + 195. Let x be y(29). Let w = x - -483. Is w a multiple of 26?
False
Suppose 5*u = 10*u + u. Suppose -t + 13*t - 5580 = u. Does 31 divide t?
True
Let l = 29 - 32. Let j be ((-9)/l)/((-4)/(-4)). Does 14 divide ((-49)/21)/(j/(-81))?
False
Suppose -14*a + 15*a = d - 157, 2*d = 5*a + 326. Suppose -3*f - d = -4*k + k, -3*f = -k + 51. Does 6 divide k?
False
Let p = -33 + 89. Suppose i - 2*z - 2*z = 1, 5*i - 3*z - p = 0. Suppose -145 + i = -4*w. Is 27 a factor of w?
False
Suppose 0 = -6*f + 3161 - 221. Is f a multiple of 5?
True
Suppose 2*a - 2*w - 6 = 0, -4 = -a + 4*w + 8. Suppose 90 = 2*c + 6*u - u, -4*c - 3*u + 166 = a. Does 10 divide c?
True
Let r = -3135 + 4988. Suppose -4*i - r = -441. Let a = 584 + i. Is a a multiple of 16?
False
Suppose p + 10*p = 0. Let c(w) = 2*w + 28. Is c(p) a multiple of 14?
True
Let u(p) = -22*p + 5*p**2 + 0*p**2 + 23 - 2*p**2. Is 31 a factor of u(12)?
False
Suppose 31*l - 20*l - 198 = 0. Suppose l*j + 30*j = 40032. Does 66 divide j?
False
Does 12 divide (448/80 + -4)*1125?
True
Let z(v) = -6*v + 39. Let u(k) = -k**2 + 8. Let y(l) = 5*l + 26. Let m be y(-6). Let t be u(m). Is z(t) a multiple of 12?
False
Suppose -4*p = -33*p - 5440 + 72169. Is p a multiple of 13?
True
Let d be (9/2)/(3/2). Let v(l) = 3*l**2 - 3 + 0*l**2 - l**3 + 2*l**2 + 8*l - 6*l. Is 7 a factor of v(d)?
True
Let q(u) = 4*u - 96. Let x be q(-14). Is (8/3)/(1 + x/156) a multiple of 26?
True
Let l = 259 - -16857. Does 5 divide l?
False
Let b(n) = n**3 - 2*n. Let y be b(2). Suppose y*w = 3*q + 67, -4*w + 0*q - 5*q + 27 = 0. Suppose -2*i = w - 125. Is i a multiple of 11?
False
Suppose 3*f - 30 = 2*x - 166, 3*x - 4*f - 205 = 0. Suppose -6*t = -455 + x. Is 2 a factor of t?
True
Does 12 divide 6/(-12)*(-4 - -4) - (-9099 + 6)?
False
Let y = 293 - 290. Suppose 5*h + 2*v - 682 = 4*v, -v = y*h - 418. Does 13 divide h?
False
Let r = -14887 + 26317. Is r a multiple of 9?
True
Suppose 3*y - 148 = -5*z, 4*y - 128 = 2*z + 104. Let a = y + -36. Is 4/a - (-59)/5 a multiple of 4?
True
Let r(b) = -9*b - 36. Let c(a) = -24*a - 8*a + 3*a**2 + 65 + 2*a - 2*a**2. Let q be c(27). Does 29 divide r(q)?
False
Suppose 15 = 3*i, -3*i - 29833 = -2*m + 13380. Is 8 a factor of m?
False
Let k be 8/(-10)*45/24*4. Let d be 3/(-9) - (-4)/k. Does 6 divide 2/(-3)*d*(2 + 7)?
True
Let p(g) = 1937*g**2 - 209*g + 420. Is 25 a factor of p(2)?
True
Let l = 196 + -201. Is 14 a factor of 2/l + (-11)/(275/(-18210))?
True
Suppose -2*a = -g - 5407, 0 = a - 8*g + 4*g - 2700. Is 13 a factor of a?
True
Let m = 128 + -123. Suppose m*s + 2110 = 5*g, 5*s - 1768 - 322 = -5*g. Does 7 divide g?
True
Let l(d) = -13*d + d**3 + 392 - 5*d**2 - 196 - 199. Let v be l(7). Does 34 divide (1 + v/(-8))*68?
True
Is 20 a factor of ((-4)/(-34) - 118/136) + (-723)/(-4)?
True
Suppose -66*y = -64*y + 22. Let c = 4 + y. Is 4 a factor of ((-14)/8)/c*44?
False
Suppose -270*j + 269*j - 2 = 0, 2*d - 5044 = 3*j. Is 11 a factor of d?
True
Suppose 17*a - 251264 = -35*a + 20*a. Is 18 a factor of a?
False
Suppose 5*u - 5*n + 16 = -54, -24 = u + n. Let r = 134 + u. Is 10 a factor of r?
False
Suppose 0 = -4*a + 3*u + 25, 2*u + 6 = -0. Suppose b - 96 = -2*z, 4*z + a*b - 115 = 77. Does 4 divide z?
True
Let u be 6/(-5)*(-200)/60. Suppose -8*r - 20 = -3*r, -4*r - 1864 = -u*s. Is s a multiple of 22?
True
Let f(s) = s**3 + 23*s**2 - 2*s - 34. Let t be f(-23). Suppose -734 = t*v - 14*v. Is 21 a factor of v?
False
Suppose 0 = 4*q - 3*r - 37587, 30*r - 31*r - 5 = 0. Is 160 a factor of q?
False
Let d = 63 - 63. Suppose d = -28*a + 33*a. Suppose a*k - 45 = -k. Is 18 a factor of k?
False
Let l = -12 + 32. Let x(a) = 24*a - 20. Let i be x(11). Suppose -5*f - q - 3*q = -i, 0 = -5*q - l. Is f a multiple of 13?
True
Does 161 divide 2/(-4) + (-998)/(-4) + 5 + 5?
False
Let v(a) = a**3 + 45*a**2 + 55*a - 38. Let u be v(-44). Let t = u - -647. Is t a multiple of 4?
False
Let b(i) = 2*i**3 + 2*i**2 - 3*i - 4. Let o be b(-2). Let m be (10/2)/(-5 - o). Let x(f) = 4*f**2 - 2*f - 17. Is 12 a factor of x(m)?
False
Let b = 2080 - 1356. Is 6 a f