*5/60 + 5*z**4/6 - 209*z**3/6 + 311*z**2. Does 17 divide q(18)?
False
Does 358 divide -11 + (-3)/((-30)/440450)?
True
Suppose -y - 2*i = -3*i - 6, 5*i = -20. Suppose -4*z = 2*t - 886, 0*z + 8 = y*z. Does 87 divide t?
True
Let z = -39 + 42. Suppose -z*i - 225 = -4*h - 2*i, -3*i - 171 = -3*h. Does 41 divide h?
False
Suppose -3*h + 2*s + 76 - 26 = 0, 5*s + 48 = 2*h. Let c(g) = 3*g**2 + 5*g + 28. Is 7 a factor of c(h)?
True
Let c be ((-4)/8 + 1/2)/1. Suppose -4*u = 5*r - 7*u - 889, c = r - 2*u - 182. Is r a multiple of 3?
False
Suppose g - 12834 = 3*x, 2*x + 51378 = 4*g - 3*x. Is g a multiple of 27?
True
Is 8 a factor of 54065/35 - 40/56?
True
Let x = -6 + 21. Let n(j) = -j**2 + 25*j - 23. Let r(d) = 1. Let c(v) = n(v) + 4*r(v). Does 27 divide c(x)?
False
Let m be (-5 - -10)*(2 + 6). Suppose -3*z - 2*z + m = 0. Suppose a = -z*a + 810. Is a a multiple of 13?
False
Suppose -34 - 8 = -5*v - s, 0 = -5*v - 2*s + 44. Let h be (5 - 36/v)/(2/44). Suppose -h*n + 650 - 177 = 0. Is 9 a factor of n?
False
Suppose -329*y + 335*y + 18 = 0. Let l(w) = -21*w**3 - w**2 - 4*w - 24. Is l(y) a multiple of 42?
True
Let y(u) = -u**3 - 30*u**2 + 18*u + 21. Is y(-34) a multiple of 109?
True
Let q = -5118 - -6187. Does 61 divide q?
False
Let d = -36 - -15. Does 3 divide (-27)/(7/(d/3))?
True
Let i(q) = -q**3 + 7*q**2 + 22*q. Suppose -2*g = w - 16 - 0, -3*w - 22 = -4*g. Is i(g) a multiple of 10?
False
Suppose 4*d = -2*c + 8, 4*d + 12*c - 8*c = 0. Does 22 divide ((-4)/d)/(2/(-704))?
True
Is 88 a factor of -22 + (7 + -11 - -17262)?
False
Let q = 22 - 17. Suppose 2*a = -2*l + 1 + q, -2*l = -a. Is 16 a factor of (-882)/12*a/(-3)?
False
Let d = 4131 + -1343. Is d a multiple of 5?
False
Does 16 divide ((2/12)/(20/780))/((-3)/(-3414))?
False
Let p = 2016 + 2848. Does 38 divide p?
True
Let k(v) = -2*v**3 + v**2 - 7*v + 6. Let i be k(1). Is 6 a factor of ((-720)/8)/((1 - 0)*i)?
False
Suppose -g - 16212 = -8*g. Suppose 23*x = g - 936. Does 30 divide x?
True
Suppose 3*v - 1 = f - 9, 4*v = 2*f - 12. Suppose 2*y - 47 = -135. Let a = f - y. Is 10 a factor of a?
False
Suppose 2*n - 12*n + 40 = 0. Suppose -n*c + 12 = -4. Suppose c*g - 6 = 62. Is 17 a factor of g?
True
Let z = -56 - 15. Suppose -4*q + 3*y + 631 = 0, 512*y - 515*y + 311 = 2*q. Let f = q + z. Is 41 a factor of f?
False
Suppose 0*o = 4*o - 101916 + 32756. Is 182 a factor of o?
True
Let u(c) = 80*c + 3. Let h be u(1). Suppose -h*o + 87*o = 2392. Is 11 a factor of o?
False
Does 6 divide 2/(-7)*6*(14892/(-24) - -15)?
True
Suppose 18035 = 23*h - 6667. Is 12 a factor of h?
False
Let f be (-1)/(3 + (-58)/19). Is 54 a factor of 171/f + 55*16?
False
Suppose 5*z = 16*p - 22*p + 3642, 2*p + 3*z = 1206. Does 12 divide p?
True
Suppose -2*f = 2*z - f - 3, -2*z = 5*f + 1. Suppose 8 = -z*o, 19*l - 2009 = 16*l - o. Is 34 a factor of l?
False
Let u(o) = -5482*o - 4915. Is u(-5) a multiple of 11?
True
Let o be (-6)/(-21)*280/8. Suppose 0 = o*r - 141 - 159. Does 7 divide r?
False
Suppose 3*b + 5*w - 8201 - 31040 = 0, 2*b = 5*w + 26119. Is 76 a factor of b?
True
Let f = -289 - -1073. Is f a multiple of 8?
True
Is 39 a factor of (-83580)/(-36)*(2 + 4)?
False
Let z(p) = -p**3 + 6*p**2 - p - 2. Let m be z(4). Let q be 5/(15/m) - (-20)/60. Suppose -q*l - 328 = -2353. Is l a multiple of 59?
False
Let k(c) = 5*c**2 + 45*c + 54. Is 28 a factor of k(34)?
True
Let w = -15491 + 20301. Is 26 a factor of w?
True
Suppose -n + 8 = 3*w, -2*w + 0*n = -2*n. Suppose -w*a = 4*o - 718, -4*a + 5*o + 338 = -3*a. Is 51 a factor of a?
False
Let p = -77 - -80. Let z be (-147)/(-42) - p/(-2). Suppose 3*l = 5*w - 9 + 349, -z*l - 3*w = -578. Is l a multiple of 23?
True
Let q = -142 - -147. Suppose 4*z - 526 + 98 = -l, z - q*l = 107. Is 4 a factor of z?
False
Suppose -14592 = 47*h - 63*h. Is h a multiple of 57?
True
Let g = -74 + 72. Is 2 a factor of 124/16*-2*g?
False
Suppose -5*v - 4*k = -126822, 0 = -8*v + 11*v - 2*k - 76080. Is 10 a factor of v?
False
Let m(a) be the second derivative of a**5/20 - 17*a**4/12 + 14*a**3/3 - 4*a**2 + 30*a. Is 41 a factor of m(18)?
True
Let v be (-69948)/(-290)*(70/3)/1. Suppose 3*y = -3*y + v. Is 57 a factor of y?
False
Suppose 80 = -a + 5*g, 5*a - 2*g = -358 + 50. Let o = 240 + a. Is o a multiple of 18?
True
Suppose -30*i = 182*i - 1082048. Is 4 a factor of i?
True
Let h(w) = -w**3 + 28*w**2 - 26*w - 76. Suppose 34*z - 178 - 604 = 0. Is h(z) a multiple of 73?
True
Let r(g) = 130*g + 249. Is r(0) a multiple of 11?
False
Suppose -3*o = 4*j - 82522, 18*j - 137560 = -5*o + 23*j. Does 9 divide o?
False
Let v(a) = -3 + 10*a**3 + 2*a**2 + 4*a**3 + a + 0*a. Is v(2) a multiple of 17?
True
Suppose 254 = -22*r - 10. Let k(z) = -2*z**3 - 21*z**2 + 18*z. Does 36 divide k(r)?
True
Suppose 5*h + o = 279, 4*o - 28 = -h + 24. Suppose -52*s + h*s - 656 = 0. Does 12 divide s?
False
Let t = 24509 + -6418. Is 11 a factor of t?
False
Let s = -354 + 345. Is (-182)/78 - 6744/s a multiple of 9?
True
Let m be 3/(-2)*(-20 - 2). Suppose 3*d + 27 = 3*k, 5*k + 0*d = 2*d + m. Suppose -2*g - 5*z = g - 138, 0 = -2*g - k*z + 97. Does 7 divide g?
False
Let k = -9804 - -16674. Is 5 a factor of k?
True
Suppose -169*p + 3*g + 433 = -168*p, -1716 = -4*p - 4*g. Is p a multiple of 18?
False
Suppose -2*o + 140 = -6*o - 2*l, 28 = -o + 3*l. Let c = 40 + o. Is 1015/28 - c/(-8) a multiple of 13?
False
Let d be ((-2)/4)/(52/(-312)). Suppose 5*n - 764 - 917 = x, 1005 = 3*n + d*x. Does 16 divide n?
True
Let r = 162 + -63. Suppose 7*q - 69 = r. Suppose v = 40 - q. Is 8 a factor of v?
True
Let d(x) = 2*x - 10. Let a be d(6). Suppose b = -2, -5*s + a*b + 0*b = -29. Suppose -5*j + 560 = -w, s*w + 469 = 4*j - 0*w. Does 9 divide j?
False
Suppose -2*z + z - 167 = -3*k, 3*k - 483 = 3*z. Does 15 divide (33/6 - 4)*(2 - z)?
True
Let g = 9445 + -1661. Is 13 a factor of g?
False
Suppose -1257 = -11*m + 1100 + 3825. Does 4 divide m?
False
Suppose -p - 3*l + 447 = 0, -3*p - 4*l = -l - 1353. Suppose 4*j - s = 443, -p = -j - 3*j - s. Is j a multiple of 7?
True
Suppose 3*v + 4 - 49 = 2*b, 0 = 4*v - 4*b - 56. Suppose v*l = 16*l - 4*t + 316, 2*t - 310 = -l. Is 28 a factor of l?
False
Suppose 938 = -22*t + 4634. Let g = t - -186. Is g a multiple of 51?
False
Suppose 4*f - 6053 = -5*j, 5*j - 5*f + 344 = 6379. Let i = j + -728. Is 11 a factor of i?
False
Let z(p) = -p - 45. Let s be z(-21). Let d = s + 406. Is d a multiple of 86?
False
Let m = -89 - 51. Is 1/(4/1242) - 210/m a multiple of 24?
True
Suppose -12*g - 585 = -7*g. Is 3/(-1)*1209/g a multiple of 24?
False
Let f be (3 - (1 - -3))/1. Let o(d) = -154*d**3 + d**2 + 3*d + 1. Does 17 divide o(f)?
True
Suppose -107*b + 181*b + 52680 = 89*b. Is b a multiple of 8?
True
Let m be 1 - 5200/(-28) - (-4)/14. Suppose 0*a + a - m = 0. Suppose -7 + a = 2*j. Is j a multiple of 12?
False
Suppose 126*t + 2 = 124*t. Does 54 divide -268*((-35)/14 + t)?
False
Let o(h) = -16*h**2 + 9*h - 16. Let y be o(5). Let t = y + 644. Suppose 5*d = 2*d + t. Is 13 a factor of d?
True
Suppose -16 = -4*s - 4*o, 4*s + 3*o = 15 + 2. Let h = s - -44. Suppose 0 = 63*u - 64*u + h. Is 17 a factor of u?
False
Let z be 2 + (-6 - -3) + 3 + 1522. Let j = z - 1063. Suppose -4*b - 660 = -3*v - 205, 0 = -3*v - 2*b + j. Is v a multiple of 12?
False
Let r(m) = -3*m**3 + 31*m**2 - 13*m + 27*m**2 - 21*m**2 + 15 - 13*m. Is r(11) a multiple of 29?
False
Let z(k) = -30*k**2 + 12 + 2 + 8*k + 34*k**2. Let i = -9 + 3. Is 10 a factor of z(i)?
True
Let g(i) = -3*i + 20. Let s be g(5). Suppose s*l - 72 - 73 = 0. Does 13 divide l?
False
Let x(w) = -4*w + 16. Let k be x(-16). Suppose -8*l = -13*l - k. Is 8 a factor of (50/(-5))/(2/l)?
True
Suppose 5*z = b + 18, -b - 10 = -3*z - 0*z. Suppose -q - y - 6 = -0*y, -2*y = -z*q - 30. Let d(r) = r**3 + 11*r**2 + 2*r + 11. Is d(q) a multiple of 13?
False
Let n = -35 - -75. Let o = n - -21. Is o a multiple of 22?
False
Let a be -6 + (-114)/(-18) + (-766)/(-6). Let x = a - 28. Suppose -26 - x = -2*g. Does 9 divide g?
True
Let f(m) = -2*m**2 - 15*m - 14. Let b be f(-5). Suppose -6*p = -b*p - q + 804, 0 = 2*p + q - 324. Does 2 divide p?
True
Is 7 a factor of (1 - 2 - (-95)/57)*1050/10?
True
Let f = -629 - -664. Suppose y - 4*z = 876, 0 = -4*y - f*z + 39*z + 3564. Is y a multiple of 8?
True
Suppose -6 = 2*h, 3*h + 3741 = 3*t - 594. Suppose 2*v - x - t = -3*v, -4*v + 1154 = 