iple of 13?
False
Suppose z + 29 = 5*j - 3*z, 0 = 3*j - 3*z - 18. Let p be 2/(3 + (-4444)/1484). Suppose -o + 124 - 45 = -j*w, w + p = 5*o. Is 37 a factor of o?
True
Let b(z) = 7*z. Let y(r) = -22*r - 2. Let w(s) = -11*b(s) - 4*y(s). Suppose 1 + 5 = f. Does 5 divide w(f)?
False
Let c(p) = 8*p - 1 + 6 + p**2 - 14. Let z be c(-13). Let a = -41 + z. Does 2 divide a?
False
Is 187 a factor of 7/14 + 3 + (-369421)/(-26)?
True
Let v(m) = 7*m + 119. Suppose -217 = 31*q - 38*q. Is 8 a factor of v(q)?
True
Let l be (-5334)/(-8) + (-9)/12. Let z = 1101 - l. Does 33 divide z?
False
Let z be ((-8)/20 + 78/20)*24. Let p = 192 - z. Suppose -70*y - p = -71*y. Is 9 a factor of y?
True
Let p(c) = -c**3 - 6*c**2 - 8*c - 3. Let l be p(-6). Let z(g) = 2*g**2 + 28*g + 23. Let n be z(-12). Let v = n + l. Does 4 divide v?
True
Let d(z) = 2*z + 12. Let l be d(6). Suppose -l = -2*f - 6. Suppose -11*m + 32 = -f*m. Is 16 a factor of m?
True
Let z be (-1)/4 - ((-85)/20 + -4). Suppose -3*d = 4*t - 402, -6*t + z*t = -4*d + 196. Is 34 a factor of t?
True
Let z = -147 + 119. Let r = z - -52. Is 28 a factor of ((-4)/r*52)/((-1)/9)?
False
Suppose -20*b + 17376907 = 213*b. Does 42 divide b?
False
Let p(j) = 3*j**2 + 4*j + 29. Let c be (2/6 + -1)/((-19)/(-285)). Is 15 a factor of p(c)?
False
Let k = -455 - -410. Let f = 0 - k. Does 7 divide f?
False
Suppose -8*c - 10*c + 144 = 0. Is 13 a factor of 1086/c + (-75)/(-60)?
False
Suppose 8*d + 2 = 26. Let f(b) = -b**2. Let q(l) = -2*l**2 - 4*l - 19. Let o(n) = d*f(n) - q(n). Is 5 a factor of o(6)?
False
Is 163 a factor of -4 + (364/(-26) + -1)*(-3557)/3?
False
Suppose 38*n + 101*n + 807667 = 5270818. Does 33 divide n?
True
Let r = -923 - -926. Suppose -3*h + 2*g = 5*g - 4473, r*h - 2*g = 4498. Does 12 divide h?
False
Let v(x) be the first derivative of 5*x**3 - x**2 - 6*x + 40. Is 15 a factor of v(-3)?
True
Let p = 36 - 33. Let j be p/(9/6 + 0). Suppose 0 = -4*s - 5*g + 42, -j*g + 0*g + 20 = 2*s. Is 8 a factor of s?
True
Suppose 20815 + 16673 = 8*x. Does 15 divide x/24 + 2/(-8)?
True
Let i = 26357 - 21972. Is 19 a factor of i?
False
Let j(b) = 12*b + 15. Suppose -5*z = -8*h + 4*h - 58, 60 = 5*z - 5*h. Is 5 a factor of j(z)?
True
Suppose 9*c + 358 + 218 = 0. Let s = 47 - c. Does 7 divide s?
False
Let x(k) = -11*k**2 + k + 3. Let f be (((-6)/12)/(-1))/(1/4). Let r be x(f). Let y = r + 64. Is 18 a factor of y?
False
Suppose 7*o - 1471 = 888. Let a = -229 + o. Does 12 divide a?
True
Suppose -20*s = -2*s - 668296 - 34424. Is 10 a factor of s?
True
Let u = 6232 - -4856. Is u a multiple of 12?
True
Let d = -209 - -111. Let g = d + 13. Is (4/2 + -3)*g a multiple of 15?
False
Let d be (-68)/8*(-1 + (-1 - 0)). Suppose -16*f = -d*f + 10. Let o(p) = -p**2 + 25*p - 22. Does 16 divide o(f)?
True
Let m(l) = -4*l + 40. Suppose 4 = -4*k - 3*h - h, h - 7 = -5*k. Let t be 34*(0 - k/4). Does 19 divide m(t)?
False
Suppose -2*f - 2*f = 32. Let v(t) = -41*t**2 + 33*t**2 - 10*t - 5 - 8*t - 5*t**3 + 4*t**3. Does 11 divide v(f)?
False
Let u(r) = 5*r**2 - r. Let q be u(6). Suppose v + 43 = -n, 3*v + q = -6*n + 2*n. Does 25 divide 0 - 2260/n - 4/18?
True
Let p(u) = 283*u**2 + 601*u - 5. Does 63 divide p(-6)?
False
Let u(h) = 977*h + 98. Is u(2) a multiple of 18?
True
Let y be 1 - (52/(-4) + 4). Suppose -5*a - 118 = 4*i, y + 27 = -i - 5*a. Let q = i + 53. Is q a multiple of 4?
False
Does 61 divide (-77142)/(-115) - (-2*(-1)/10)/(-1)?
True
Suppose -12*r + 22*r = 40. Suppose 22 = 5*z - 0*z - 2*d, 0 = -4*z - r*d + 12. Suppose z*p + g - 371 = 0, -3*g - g = -5*p + 469. Is p a multiple of 38?
False
Let o be ((-7)/5)/((-63)/(-315)). Is (-6 - o)/(1/27) a multiple of 9?
True
Let m = 9 + -7. Suppose -h = 5*b - 15, 3*h + 0*b - 11 = m*b. Suppose t + 76 = -w + 219, 0 = -3*t - h*w + 437. Is t a multiple of 21?
False
Let d = 169 - 167. Suppose 0 = -d*x + 108 + 238. Is 6 a factor of x?
False
Let j = 557 + -557. Suppose -4*t + b + 1344 + 789 = j, 4*t - 2128 = -4*b. Does 41 divide t?
True
Is 46 a factor of (1390194/48)/13 + 35/280?
False
Let i(b) = -345*b - 34. Let d be i(-6). Let u = d + -1355. Is 48 a factor of u?
False
Let v be (90/20)/(9/(-12)) + 633. Let p = -271 + v. Is p a multiple of 4?
True
Suppose -3*g + 42840 = 3*g. Is 5 a factor of g/34*((-6)/3)/(-2)?
True
Let w = 29 - 27. Is (w/4)/((-18)/(-2592)) a multiple of 4?
True
Suppose -3*r + 87737 = -419*d + 420*d, -3*d = -r + 29249. Does 9 divide r?
False
Suppose -2*o - 79 = -87. Suppose 2*v - z = 554, -534 = v - 3*v - o*z. Is v a multiple of 11?
True
Suppose -60*n + 44840 = 13700. Is n a multiple of 4?
False
Let b = 20215 + -14205. Is b a multiple of 164?
False
Suppose -7*u - 16*u - 460 = 0. Let v(x) = -x**3 - 18*x**2 + 15*x - 46. Is v(u) a multiple of 60?
False
Let u(m) = -6 + 103 - 2*m + m**2 - 14 + 37. Let p be u(0). Let y = p - 24. Is y a multiple of 8?
True
Let r = 1644 + -2304. Does 55 divide (r/(-8))/((-5)/(-10))?
True
Suppose 5*q + 28 = -3*a - 3, -q + 3*a - 17 = 0. Let p = q - -12. Is 5 a factor of p/6 - 506/(-33)?
False
Suppose 40*r + 41*r - 259259 = -62*r. Is 37 a factor of r?
True
Let h = 281 - 279. Suppose 0 = -h*j + w + 1429, -3*j + 1693 = -5*w - 447. Does 7 divide j?
False
Is 13 a factor of (-9784)/28*21*(-3)/18*13?
True
Is 8 a factor of 4/4*12 + 1876?
True
Suppose -2*i = -6*n + 2*n + 392, -5*n + 508 = 2*i. Let l = n + -562. Is 15 a factor of l/(-18) + (-4)/6?
False
Let u be 249 + (-6)/(-30)*0. Let d = -207 + u. Is 6 a factor of d?
True
Let c be -5 - 288/(-56) - 142/14. Does 13 divide ((-1)/3)/(c/28830)?
False
Suppose -4*i = 3*g - 0*i - 12, -g - 2*i + 4 = 0. Let x(c) = 4*c - 27. Let u be x(8). Suppose -z - u*l = 22, 4*l + 16 + g = 0. Does 2 divide z?
False
Does 65 divide (0 + 26)*(270470/1020 + (-16)/(-3))?
False
Let c(o) = 66*o**3 - o**2 + o. Let r be c(1). Let i(b) = b**2 + 7*b + 9. Let h be i(-6). Suppose 108 = h*w - r. Is 15 a factor of w?
False
Suppose -5*c + 2*c = -12. Suppose 142 = -c*m + 6*m - 4*y, -213 = -3*m - 4*y. Suppose -9*u = m - 386. Is u a multiple of 7?
True
Suppose -627*h + 691*h = 664320. Is 15 a factor of h?
True
Suppose -16*s = -106 - 2870. Let j = 633 + s. Is 39 a factor of j?
True
Let d = -347 + 871. Suppose -k + 407 = -4*k + 2*t, -2*t - d = 4*k. Is (k/(-21) - 6)/(2/246) a multiple of 29?
False
Let p = -6510 - -3270. Let o be (1 - 2/8)/((-15)/p). Suppose 0 = 9*y - 162 - o. Does 12 divide y?
True
Is -13 - (-11 + -2860 + 6) a multiple of 31?
True
Let u(k) = -k**2 - 17*k - 64. Let m be u(-10). Does 7 divide (-2 - -590)/m + -4 - 2?
False
Suppose -568 - 232 = -10*z. Is z/(-120) + (-340)/(-6) a multiple of 26?
False
Suppose 3*j - 45 = -0. Suppose -j*l = -23*l + 5120. Is l a multiple of 40?
True
Let c be 220/5*(1 - 5). Let m = c - -224. Is m a multiple of 9?
False
Suppose 15*n - 38 = 97. Suppose -a + 12 = n*r - 5*r, 2*r - 4 = 0. Does 3 divide a?
False
Suppose -134*t - 118*t = -36170 - 10450. Is t a multiple of 2?
False
Suppose 4*n + 8 = -4*k, -6 = -5*n - 0*n - k. Let w be (-1)/n + 5/(-2). Does 8 divide ((-6)/5)/(1554/520 + w)?
True
Let k be 4*(-3)/(-42) - (-320)/56. Let v = -11 + 11. Suppose v = -2*l + k*l - 360. Is 10 a factor of l?
True
Let v(x) = 28*x**2 - 62*x + 13. Let t be v(-12). Let f = t - 3409. Is 30 a factor of f?
True
Suppose 3*n + h = 43 - 4, n = h + 13. Let a(i) = -20*i + 3*i**2 + 14*i + n*i - 22. Is a(8) a multiple of 35?
False
Let f(a) = -a**3 + 57*a**2 - 3*a - 59. Is 134 a factor of f(19)?
False
Let n(a) = a + 9. Let r be n(-7). Let v(m) = m**3 - 66*m**2 - 74*m + 469. Let b be v(67). Suppose b = -0*s + r*s - 196. Is s a multiple of 16?
False
Does 151 divide (70 - 0)*((-65232)/60)/(-12)?
True
Let n be 30/(-285) - 80/(-38) - -430. Let v = 548 - n. Is 2 a factor of v?
True
Suppose -1190 = 6*g + 442. Let p = g - -379. Is p a multiple of 2?
False
Let o(y) = -27*y - 156. Let q(j) = 136*j + 786. Let r(i) = 14*o(i) + 3*q(i). Does 32 divide r(7)?
True
Suppose -3*q + 1146 = -2*d - 1204, -1535 = -2*q - 5*d. Suppose 0 = 51*r - 45*r - q. Is r a multiple of 6?
False
Suppose 2*h + 16 = -2*h. Let v(g) be the third derivative of -g**4/12 + g**3/3 + 46*g**2. Is v(h) a multiple of 3?
False
Let m(h) = h**3 + 23*h**2 - h - 14. Let q be m(-23). Suppose q*k - k - 8 = 0. Is 19 a factor of (3/3)/(k/(118 + -1))?
False
Let x(c) = 12*c**2 + 12*c - 5. Let h(m) = 48*m**2 + 48*m - 18. Let f(v) = -2*h(v) 