8/44)?
False
Suppose 5*f = 5*j + 420, 4*j = 6*f - 11*f - 372. Let n = -53 - j. Is 5 a factor of n?
True
Suppose 0 = -2*n - 8, -9*n - 72917 - 14473 = -3*f. Is 80 a factor of f?
False
Let p(y) = -9*y - 25. Let b be p(-4). Suppose 0 = 4*r - 1 - b. Suppose 0 = -r*z + 17 + 94. Is 10 a factor of z?
False
Suppose h - 2*v = 84, 5*v = -4*h + 374 - 90. Let q = 60 - 40. Let p = h - q. Is p a multiple of 14?
True
Does 15 divide (1 - -306) + 6946/(-302)?
False
Let n = 85431 - 59795. Is 377 a factor of n?
True
Let t(w) = -12*w + 161. Suppose 5*v - 60 = -5*l, 11*v - 9*v + 5*l = 24. Is 3 a factor of t(v)?
False
Let j be 2*(-6 - (-30)/4). Suppose -j*q = -q - 142. Is q a multiple of 9?
False
Let g(t) be the third derivative of t**6/30 - t**5/60 + t**4/24 - t**2. Let d be g(1). Suppose d*p + 2*b = -0*p + 476, 2*b = 4*p - 468. Is p a multiple of 17?
False
Let x be ((-156)/(-120)*-2)/(1/(-5)). Let l(b) = -2*b**3 + 27*b**2 - 3*b - 22. Does 9 divide l(x)?
True
Suppose b - 2*b = -2*c - 753, 2261 = 3*b - 5*c. Let a = b - 501. Is a a multiple of 16?
True
Let x(f) = -2*f**3 - 5*f**2 - 2*f. Let k be x(-3). Let n = 16 + k. Suppose s + 0*s = 5, s = 3*z - n. Does 11 divide z?
False
Suppose -4*u + 2*x = -x - 8, 6 = 3*u - x. Suppose 153 = u*g + 19. Suppose 15 - g = -4*a. Is 8 a factor of a?
False
Suppose 13*y - 132335 = 4*t, 4*t - 30529 = -0*y - 3*y. Is y a multiple of 29?
True
Let p be 1 + (-1 + 1 - 3) + 152. Suppose j - r = 150, p = -j + 2*j + 3*r. Is j a multiple of 2?
True
Suppose 15*g = -214*g + 11761211. Is g a multiple of 29?
True
Let r = 568 + 343. Does 10 divide r?
False
Let x = 17707 + -13624. Is x a multiple of 23?
False
Let h(u) = 11*u - 8. Suppose -2*v + 5 = 3*m, 0 = v - 1. Let d be h(m). Suppose d*s = 9*s - 1506. Does 9 divide s?
False
Suppose 10 = -0*i - 5*i. Does 5 divide (-7)/i*(-3 - (-194)/14)?
False
Let x = -8442 + 22090. Does 96 divide x?
False
Suppose -188*i - 114*i + 309248 = 0. Does 8 divide i?
True
Suppose 181*n - 180*n - 144 = 0. Suppose -156*o = -154*o - n. Is 4 a factor of o?
True
Let v = -743 + 5790. Is v a multiple of 7?
True
Let s(f) = -144*f - 14. Let c be s(-1). Suppose -2444 = -33*k + c. Is 12 a factor of k?
False
Suppose 840*h + 3591 = 843*h. Suppose -5*f = 14*f - h. Is 3 a factor of f?
True
Let n be -4*9/(-108) + 20/(-6). Let m(v) = 2*v + 10. Let g be m(n). Suppose 4*z - w = 161, -g*z + 2*w = -120 - 46. Is z a multiple of 39?
True
Suppose 3*y - 3*s - 14613 = 0, -4*y - 70*s = -68*s - 19502. Is y a multiple of 13?
False
Suppose 0 = -41*q + 79639 + 302071. Is q a multiple of 154?
False
Is 10 a factor of 1186 - (-196 - -1)/(-15)?
False
Suppose 5*z - 4162 = -a, -11*a = 2*z - 8*a - 1670. Let p = 518 + z. Does 30 divide p?
True
Let z be 4/(-10) - (-72)/30. Suppose -5*k - 3*u = -78, z*u = 3*k + 6*u - 38. Is 9 a factor of k?
True
Suppose 81*s - 53956 = 76*s + 4*q, s - 3*q - 10778 = 0. Does 3 divide s?
False
Let h = 167 + -141. Let j(t) = -t**2 + 30*t + 14. Is j(h) a multiple of 13?
False
Suppose 3*s - 19443 = 3*b, -5*s = -305*b + 303*b - 32384. Does 166 divide s?
True
Suppose -3*r - 5*v = -3265, -2*r + 5*v = -r - 1075. Suppose -3*o = -15, 8*s + 2*o = 3*s + r. Does 43 divide s?
True
Suppose 8*y = 11*y - 17*y + 43484. Is 8 a factor of y?
False
Let h = 97 - 92. Let j(z) = -6 + 6 + 3 + 1 - h*z. Is j(-6) a multiple of 3?
False
Suppose -g = -4*g - 1185. Let t = 152 - g. Suppose -4*r - 4*d = 15 - t, -130 = -r - 2*d. Is r a multiple of 34?
True
Is (192 + -7)/37 - (-13401 - 1) a multiple of 26?
False
Let y be 4/(-1)*-1 + -2. Let s be (-1)/y - (-1704)/16. Let b = 250 - s. Is 36 a factor of b?
True
Let q = 37 + -34. Let o be (-2)/q + 32/12. Does 17 divide -1 - o/((-10)/325)?
False
Suppose -39 = -q + 2*s, -3*s = -2*q - 0*q + 83. Suppose m + 3*o = 64 + 43, 273 = 3*m - 3*o. Let y = m - q. Does 23 divide y?
True
Let t be 3264/(-44) + 2 - 4/(-22). Is 18 a factor of (t + -6 - 6)*-1?
False
Let i be 2 - -3 - (-1 - -12). Let g(t) = 11*t**2 - 21*t - 86. Is 12 a factor of g(i)?
False
Suppose -5*r - 4 = 2*b, -4*b + 22 = -2*r + 6. Is r/4 + (7 - 1612/(-8)) a multiple of 52?
True
Suppose -3*f - 6*f = -153. Suppose -39 = -o - f*g + 14*g, -4*g + 12 = 0. Is o a multiple of 5?
True
Suppose 0 = 6*d - 3*d, -u + 4*d = 2. Is 40 a factor of -386*(u/6)/((-12)/(-18))?
False
Suppose u - 5*f = -803, -u + 0*f = f + 809. Let a = u + 847. Is a a multiple of 3?
True
Let h = -5284 + 5374. Is 15 a factor of h?
True
Is ((-4196392)/(-222))/(8/12) a multiple of 52?
False
Let u be -78 - 55 - (-2 + -1). Let r = 69 - 157. Is 26 a factor of (r/(-55))/((-4)/u)?
True
Let z(h) = h**3 + 2*h**2 - 4*h + 390. Is 35 a factor of z(0)?
False
Let v(m) = m**2 + 9 - 4 - 11 - 3*m. Let d be v(5). Suppose -20 = -5*x, -d*x - 352 = -5*f + f. Is 37 a factor of f?
False
Let d(u) = 2*u**2 - u - 1. Let w be d(-1). Suppose -5*z - 454 = -w*f, -8 = -4*z + 2*z. Does 33 divide f?
False
Suppose 0 = -2*i + 2*z + 1270, -12*i + 1930 = -9*i + 2*z. Is 24 a factor of 9/(-4)*11/((-110)/i)?
True
Let a be 8/(-2) + (-2 - -10). Suppose a*o - s - 8 = 32, -4*s = 16. Does 2 divide o?
False
Let t(f) be the third derivative of f**5/30 - 19*f**4/24 - 25*f**3/6 + 8*f**2. Is t(15) a multiple of 17?
False
Suppose -3*i = 10*f - 6*f - 1824, 3040 = 5*i - 3*f. Let t = -389 + i. Is 22 a factor of t?
False
Suppose -8 = -u - 4. Let o be -15*5*u/20. Let q(y) = y**3 + 15*y**2 - 6*y - 20. Is q(o) a multiple of 5?
True
Suppose 0 = 20*q - q - 171. Suppose 1257 = -q*v + 3561. Does 32 divide v?
True
Let p be (-1 - -8*1) + 0/(-7). Suppose 4*h = 4*l - 24, p + 9 = -4*l. Is 41 a factor of 2/h + 1236/30?
True
Let y = 239 - 172. Let u = y + 140. Is 13 a factor of u?
False
Let j(q) = 46*q + 1772. Let p be j(-50). Let g = 25 - 15. Is 12/(-15) - p/g a multiple of 13?
True
Suppose 47 = 3*o + t, 5*o - 2*t - 83 = t. Suppose -o*b - 48 = -20*b. Suppose -5*y = 4*k - b - 108, -2*y - k + 51 = 0. Is 5 a factor of y?
False
Let k(q) = 40*q**2 + 3*q + 1. Is k(6) a multiple of 2?
False
Let v = -436 - -441. Suppose 3216 = v*t - 1544. Is t a multiple of 56?
True
Let x(a) = a**2 + 11*a - 1. Let t be (-2)/(-2) - (-6 - -7)*19. Is x(t) a multiple of 5?
True
Let j(u) = 64*u - 2. Let g be j(-1). Let z = 79 - g. Suppose -5*a - z = -595. Is a a multiple of 18?
True
Suppose y + 3*y - 19 = -a, -18 = -3*y - 2*a. Suppose 920 = 3*j + y*b, 2*b - 509 - 413 = -3*j. Is j a multiple of 11?
True
Let z = -11 + 17. Suppose 2*p - z*p = -5*l - 990, 0 = 3*p + 2*l - 731. Is 8 a factor of p?
False
Let l(q) = 3*q**2 - 10*q - 27. Let t be l(5). Is 60 a factor of ((-198)/(-27) + -8)*45*t?
True
Let r(q) = 5*q**3 - 8*q**2 - 6*q - 1. Let v(s) = -4*s**3 + 7*s**2 + 6*s + 1. Let n(d) = -5*r(d) - 6*v(d). Let p = -394 - -390. Is 13 a factor of n(p)?
False
Let w = -756 - -1083. Does 14 divide w?
False
Let u = -776 + 1712. Is 9 a factor of u?
True
Let v(d) be the first derivative of d**4 + 8*d**3/3 - 23*d**2/2 + 10*d - 62. Is v(5) a multiple of 17?
True
Let f = 40 + -47. Let g(c) = -8*c - 41. Let u be g(f). Let h = 81 - u. Is 19 a factor of h?
False
Suppose 50260 = 21*q - 70595. Is q a multiple of 11?
False
Let v be 44/(-77) - ((-72)/14)/2. Suppose 2 = -5*a + 12, 0 = 5*f - a + 22. Is 8 a factor of 197 - (0/f - v)?
False
Suppose 3*p - 12 = 27. Suppose 13 = -6*n + p. Does 11 divide 1 + (10*4 - (n + 2))?
False
Let g(j) be the second derivative of 5/6*j**3 + 20*j - 3/2*j**2 + 0. Does 11 divide g(13)?
False
Let b be (-14)/(-91) + (11577/(-13))/(-3). Let r = 135 + b. Is r a multiple of 16?
True
Let q = -376 - -256. Let k = 302 + q. Is k a multiple of 13?
True
Let x(w) be the third derivative of -w**6/360 + 13*w**5/120 + 5*w**4/8 - 13*w**3/6 + 2*w**2. Let s(n) be the first derivative of x(n). Is 12 a factor of s(12)?
False
Let t(x) = x**3 + 8*x**2 - 264*x + 19. Does 106 divide t(17)?
True
Let l = 815 - 2119. Is 67 a factor of ((-63)/(-42))/((-3)/l)?
False
Suppose 2*z - 2*b = 4*z - 652, 0 = 4*z + 5*b - 1299. Let f = -222 + z. Does 5 divide f?
False
Suppose 2*p - 934 - 15 = a, 5*p - 2390 = -a. Let l = p - 340. Does 27 divide l?
False
Suppose -r + 409 = 4*w + w, -4*r = 5*w - 1606. Let c = -165 + r. Is 18 a factor of c?
True
Let n be (-16)/(-7)*119/34. Suppose -5*h = d - 795, 11*d + 2*h = n*d + 2411. Is 53 a factor of d?
False
Suppose -53*x + 56*x = 9. Suppose 0 = x*v - 21*v + 270. Is 2 a factor of v?
False
Let p be 2 - ((-4 - 0)