 = -i**2 + 16*i - 30. Let z be b(14). Let r be z/5 - (-24)/10. Suppose 4*v = -r*d + d + 274, v = -2*d + 72. Does 20 divide v?
False
Suppose -2*w = -5*b + 3*b - 110, -219 = -4*w + 5*b. Suppose -5*n - w = -n. Let y = 5 - n. Is 19 a factor of y?
True
Suppose -7*a = -10*a + a. Suppose a = 25*m - 3059 - 1816. Is m a multiple of 13?
True
Let m be (-52488)/252 + (-2)/(-7). Let d = 659 + -284. Let p = d + m. Does 29 divide p?
False
Does 4 divide (-18)/5*(-99855)/189?
False
Let l be ((-10)/(-6))/(50/60). Suppose -1082 = -3*h + l*b, 10*b = -3*h + 7*b + 1107. Does 52 divide h?
True
Suppose -2*z - 12*z = -11956. Suppose 6*c + z = 13*c. Suppose 0 = s + 54 - c. Does 22 divide s?
False
Suppose 50*l - 596363 = -66*l + 479189. Is l a multiple of 27?
False
Let y(d) = -259*d - 437. Is 65 a factor of y(-18)?
True
Let d(l) = 1647*l**2 - 97*l - 27. Does 47 divide d(-3)?
True
Let x(g) = -5*g - 55. Let w be x(-11). Suppose 0 = -3*i + 7*t - 3*t + 2285, 2*i + 2*t - 1514 = w. Is i a multiple of 27?
False
Let n = 1497 - -215. Is n a multiple of 16?
True
Let s(y) = 3*y**2 + 8*y + 1. Let p be s(2). Let k = p - -300. Does 47 divide k?
True
Let f = 2035 + 1321. Is f a multiple of 21?
False
Let v = 200 - 644. Let t = v - -654. Does 30 divide t?
True
Let x = -39 + 37. Let a be (-1)/x + (-7)/(98/(-35)). Suppose -2*f + 99 = i - 7*f, -4*i - a*f = -281. Is i a multiple of 14?
False
Suppose -11778 = -16*n + 12894. Is 40 a factor of n?
False
Let n = -140 - -135. Let v be (115/(-25))/(1/n). Suppose 0 = -a + v + 47. Is a a multiple of 10?
True
Let i(m) = -23*m - 26*m + 65*m + 3 - 26*m. Does 49 divide i(-8)?
False
Let z(b) = -304*b + 7518. Is z(7) a multiple of 14?
True
Suppose 2*m - 62 = -3*m - c, 4*m = 2*c + 58. Let d = m + -12. Let p(y) = 33*y + 1. Does 7 divide p(d)?
False
Let i = 29997 + -20773. Does 8 divide i?
True
Let n(y) be the third derivative of 17*y**4/24 + 115*y**3/6 - 8*y**2 + 8. Does 8 divide n(10)?
False
Suppose -87*m + 19 = -88*m. Let l = -42 + m. Let x = 35 - l. Does 24 divide x?
True
Suppose -5*n + 2*z = -80, -7*n + 141 = 2*z + z. Is 42 a factor of (-1 - n)/((-39)/2106)?
False
Suppose 0*s + 190 = 5*y + 4*s, 0 = 3*y - 4*s - 146. Let m = -39 + y. Suppose 0 = -2*r - m*r + 300. Is 17 a factor of r?
False
Suppose d + 13 + 26 = 3*i, 5*d + 15 = 0. Let h = i - 10. Is 14 a factor of 904/12 + h/3?
False
Suppose 19*r - 14*r = -50. Let g(t) = t**3 + 9*t**2 - 13*t - 26. Let d be g(r). Suppose 2*v = -2*o - 2*o + 70, 0 = 3*v - d*o - 135. Is v a multiple of 6?
False
Let a be ((-6)/(-10))/(3/13085). Let t = 3880 - a. Does 18 divide t?
False
Does 20 divide 0 + 10182 + 11/((-33)/21)?
False
Let r = 1335 - 828. Let t = r + 338. Does 65 divide t?
True
Let v(y) = 2504*y - 232. Does 12 divide v(2)?
True
Is (-5958)/(-4) - 78/(-260)*5 a multiple of 4?
False
Suppose -3*t - 195 = 3*c, 80 = 5*c - t + 387. Let y = -346 + 467. Let j = y + c. Is 6 a factor of j?
False
Let d be (4/10)/(((-8)/(-220))/2). Suppose 3*q - 4*f + d = 0, q + 3*f + 46 = -3*q. Let i = q - -25. Is 3 a factor of i?
True
Suppose -19*h + 110865 + 19893 = 0. Is h a multiple of 111?
True
Suppose -8*s + 27607 = 23863. Does 7 divide s?
False
Suppose 43 + 421 = 29*z. Let x = 132 - z. Is x a multiple of 2?
True
Let j(c) = -30*c + 11. Let i = -470 + 456. Is j(i) a multiple of 11?
False
Suppose 5*v + 6025 = k - 892, 5*v + 15 = 0. Does 25 divide k?
False
Suppose 6*c = c + 10, 4*v - 2*c - 32 = 0. Suppose 18 = -9*k - v. Does 8 divide (k + (-45)/(-25))*-20?
True
Suppose -85 = -4*z - 21. Suppose g = -3*g - z. Is 17 a factor of (g/(-3))/((-18)/(-999))?
False
Let i(t) = 3*t**2 - 10*t + 17. Let d be i(4). Suppose r - l - d = 2*r, -3*r - 57 = -3*l. Let k = r - -61. Is k a multiple of 13?
True
Suppose 4*a = -5*b + 9866, -b - 3*b - 4*a = -7892. Does 42 divide b?
True
Let t be (-14003)/(-33)*(-3)/1. Let l = t - -1801. Is 33 a factor of l?
True
Let a(y) = 2*y**3 - 8*y**2 - 15*y + 11. Let t be a(10). Suppose 3*f - 4*m = t, 5*m = 5*f - 2003 + 243. Suppose 7*x - f = 234. Does 17 divide x?
False
Let c be (-2 - -3) + (-5 + -6 - 2). Is 14 + c/18*-6 a multiple of 2?
True
Let y = -54 + 89. Suppose y = 13*i - 8*i. Suppose -280 = -o - i*o. Is o a multiple of 18?
False
Suppose -4168 = -91*n + 16762. Is n a multiple of 10?
True
Suppose 29*f - 55983 - 135417 = 0. Is f a multiple of 110?
True
Let a be 3*((-2)/4)/(10/(-40)). Suppose -15 + a = -3*f. Does 2 divide f?
False
Suppose -7*p - 6*p = -4*p. Suppose 9*h - 7936 - 6158 = p. Is h a multiple of 18?
True
Let q(a) = 34*a**2 - 6*a - 4. Suppose 5*p = -5*f + 10, -6*p = 4*f - 10*p + 24. Is q(f) a multiple of 3?
True
Let v(x) = x**3 + 13*x**2 - 6*x + 12. Suppose -5*d - 2*d - 91 = 0. Does 15 divide v(d)?
True
Suppose -11 = 3*r + i, -2*r - 2*i = 11 + 3. Is 23 a factor of 1/r - 2201/(-2) - -4?
True
Suppose m = -2*r + 3334, -m = -3*r + 1487 - 4796. Does 12 divide m?
True
Let s be (-3 + (-14)/(-6))/(2/234). Let h = 158 + s. Is 5 a factor of h?
True
Let g(h) = h**3 + 18*h**2 + 14*h + 45. Let f be g(-18). Let a = -185 - f. Is 2 a factor of a?
True
Suppose -3*m - 31878 = -21*m. Does 11 divide m?
True
Let r(p) = p**3 + 26*p**2 - 57*p + 19. Let s(u) = -8*u**2 + 2*u + 9. Let z be s(-2). Does 9 divide r(z)?
False
Let i(o) = -631 - 5*o + 0*o + 635 + 66*o**2. Is 7 a factor of i(1)?
False
Let n = 12151 + -4513. Is n a multiple of 19?
True
Let w be (-2)/(-4 - (-6)/2). Let g be 2 + w + 0 - 1*4. Suppose -7*f + 621 + 226 = g. Is f a multiple of 11?
True
Suppose 4642 = -17*x + 39628. Suppose -19*g + x + 1134 = 0. Is 12 a factor of g?
True
Let l = 254 + -118. Let q = -69 + l. Let x = -30 + q. Is x a multiple of 14?
False
Let z(k) = 0*k + k + 19 + 28 - 10. Does 6 divide z(-27)?
False
Let c(i) = 69*i**2 + 9*i - 6. Let j(l) = -35*l**2 - 5*l + 3. Let o(w) = -3*c(w) - 7*j(w). Is 6 a factor of o(3)?
False
Let m be (-2)/((-1)/((-70)/(-4))). Let h = m - 20. Suppose 16*c = h*c + 60. Is 15 a factor of c?
True
Let i be 14/5 + (217/35 - 7). Does 35 divide (-5)/((-10544)/5264 + 0 + i)?
True
Let a(p) = -14*p**3 - 2*p**2 - 3*p - 1. Let w be a(-1). Suppose -16*u = -w*u - 294. Suppose 2*h + h = u. Is h a multiple of 7?
True
Suppose -228*k - 4 = -227*k. Is 8 a factor of (k/(-9)*6)/((-1)/(-183))?
True
Let a(b) = -5*b**3 - 22 + 14 + 51 + 4*b**3 - 4*b**2 + 0*b**3 - 10*b. Is a(-11) a multiple of 27?
False
Let n = -33 + 35. Suppose 5*p = -n*b + 4 + 3, -5*b - 29 = -3*p. Suppose -2*s = -0*s + p*c - 32, -2*c = 0. Does 2 divide s?
True
Let r(c) = 281*c**2 - 98*c + 707. Is 127 a factor of r(8)?
True
Suppose -246*r + 20 = -236*r. Suppose h = 4*n - 3*h - 420, -r*n + 4*h + 204 = 0. Does 3 divide n?
True
Suppose 5*l = 2*u - 12522, -3*u - 36*l = -40*l - 18762. Does 22 divide u?
False
Is 62 a factor of 3297*(208/(-39))/2*2/(-8)?
False
Suppose -5*g = 4*w - 12, 2*w = g + 2 + 4. Does 10 divide (-42 - w)*42/(-9)?
True
Let k = 37999 + -6274. Does 45 divide k?
True
Let p(b) = -15*b + 42. Let z be p(28). Is 20 a factor of 3/(-7) + (-53082)/z?
True
Let x = 34714 + -20439. Is 25 a factor of x?
True
Let f be 3/(4/10 - 363/1045). Let t = 83 - f. Does 26 divide t?
True
Suppose 2*u + 8 = 0, -5*g + u + 16935 + 27124 = 0. Does 13 divide g?
False
Let t = 91 + -84. Suppose -6*a + 405 = 4*u - t*a, 0 = u + 2*a - 108. Is u a multiple of 13?
False
Suppose -100764 = -39*l + 15339. Is l a multiple of 11?
False
Suppose 4*w - 20 = -0, 5*u - 65 = -w. Suppose 0 = g - 29*t + 25*t - 494, u = -3*t. Does 31 divide g?
False
Let f = -137 - -128. Let w be f/(-12) + 1/4 + -137. Let h = w - -250. Does 23 divide h?
False
Suppose -5*l - 798 = -43*l. Is -1 + 624 + l/3 a multiple of 35?
True
Suppose -6*l + 14*l + 74*l = 3457202. Does 133 divide l?
True
Let p(o) = 2*o**3 - o**2 - 8*o + 8. Suppose -2*q + q = x - 11, 2*x = -5*q + 37. Let b be p(x). Suppose 0*f - 5*f + b = 2*h, 3*h + 131 = 2*f. Is 9 a factor of f?
False
Suppose h + 2 = -2. Let x be (1 - (-10)/h)*(-42)/(-1). Let d = x + 75. Is 4 a factor of d?
True
Suppose 0 = -18*q + 1259 + 91. Suppose -2*g + q = i, 5*g = 9*g + i - 147. Does 12 divide g?
True
Let u be (-308)/132 - 2/3. Does 33 divide -13 + 16 + (-1377)/u?
True
Let p(u) = -341*u + 2849. Is p(5) a multiple of 2?
True
Does 75 divide (40/(-6) + 0)/(3/(-540))?
True
Let c = 5 + 47. Let q = c - -80. Does 11 divide q?
True
Let s be (-1)/(2 + -3 + 2) + 869. Suppose -10*b + 1792 + s = 0. Does 7 divide b?