 - 3*g + 15767, -3*m + 20*g + 47312 = 18*g. Is m a multiple of 76?
False
Let k = -42 + 67. Suppose -136 - 319 = -2*b + z, k = 5*z. Does 23 divide b?
True
Let z be -3 - -6 - 16*-34. Let t = -27 + z. Is 26 a factor of t?
True
Suppose 10 + 8 = 3*t. Suppose b - 4 = 4*a + t, -2*a = 0. Let h(c) = -c**3 + 11*c**2 - 7*c. Is h(b) a multiple of 27?
False
Suppose -w + 90 = 3*w - 2*b, 0 = -4*w + b + 85. Suppose -6*o + w - 2 = 0. Suppose 3*n - o*t + 0*t = 159, -3*n = -5*t - 165. Is n a multiple of 25?
True
Let j = -290 - -269. Does 20 divide (-28)/j - 1707*(-12)/27?
True
Let l(n) = -n**3 - 28*n**2 - 58*n - 55. Let h be l(-26). Let k = h - 49. Is k a multiple of 13?
True
Suppose 0 = -4*v - 5*l + 32, -4*l = 2*v - 13 - 3. Suppose 7*m = -2*j + v*m + 388, 404 = 2*j - 5*m. Is j a multiple of 48?
True
Let t = -623 + 2035. Suppose 5*d = -477 + t. Is d a multiple of 4?
False
Let t(q) = q**3 + 9*q**2 + 2*q + 2. Suppose 39*f - 35*f = -16. Let x be -3 - (f - -4 - -3). Does 31 divide t(x)?
False
Let s = 14807 + -10247. Is s a multiple of 152?
True
Let c = -25 + 77. Let r = 57 - c. Suppose 0*f = -4*q + r*f + 9, 3 = -q + 3*f. Does 6 divide q?
True
Suppose 0 = 5*o - 2*u - 30, -3*o = 3*u - 9 + 12. Suppose o*b + 4*l - 1312 = 0, 0 = -5*b + 2*l - 5*l + 1634. Is 6 a factor of b?
False
Let x = -255 + 153. Let h = -62 - x. Is 4 a factor of h?
True
Suppose -9 = -6*u + 9. Suppose u*d = 295 + 1055. Suppose 0*s + d = 3*z - 2*s, s = -z + 145. Is 37 a factor of z?
True
Let k(b) = 13*b**2 + 6*b + 2. Suppose -y - 50 = -11*y. Suppose -3*d + 14 = 5*n, -d + y = -3*n + 19. Does 8 divide k(d)?
False
Suppose 0 = -t + 4*u + 15, -14*u - 30 = -2*t - 10*u. Let h(f) = -f**3 + 17*f**2 - 16*f - 31. Is 10 a factor of h(t)?
False
Let x be (333/(-185))/((-6)/70). Let d(z) = 16*z - 175. Does 23 divide d(x)?
True
Let n be 1/5 - 4764/30*-1. Suppose 60 = 164*b - n*b. Let r = b + 10. Is r a multiple of 2?
True
Let m(n) = -n + 236. Is m(-62) even?
True
Suppose -27*d - 132763 = -153402 - 403585. Is d a multiple of 32?
True
Suppose -6*v + 280 = 154. Suppose v*y - 20*y = 352. Is 8 a factor of y?
True
Suppose 0 = 4*r + r + 4*r. Suppose 21 = d - 4*u - 33, -u = -5*d + 194. Suppose r = 6*k - 58 - d. Is k a multiple of 8?
True
Suppose 2*u = -8*u + 480. Let n = 153 - u. Does 21 divide n?
True
Let c = -101 + 171. Is 23 a factor of (-1)/(2/(-646)) - (c + -69)?
True
Let w(r) = 1 + r**2 - r**3 + 7*r**2 - 1 - 12 - 10*r. Let l be w(5). Suppose 8*o = l*o - 160. Is 8 a factor of o?
True
Let w be (-6)/(-15) - (-49356)/135. Let g = 1175 - 655. Suppose 3*c + 4*d = w + 45, 4*c - g = 4*d. Is 7 a factor of c?
True
Let k(a) = 57 - a**2 + 51 + 30*a + 4*a. Is k(35) a multiple of 10?
False
Let m(w) be the third derivative of w**6/120 - w**5/60 - 2*w**4/3 + 2*w**3/3 + 15*w**2. Let l(n) be the first derivative of m(n). Is l(6) a multiple of 8?
True
Suppose -5*v + 20 + 5 = 0, h = v + 1. Suppose 0 = h*r + 5*r - 2915. Is 53 a factor of r?
True
Let u = 18010 + -7426. Is u a multiple of 18?
True
Suppose 289*i = -50*i - 81*i + 2876160. Is 7 a factor of i?
False
Suppose 4*d - 1366 = 5*j, 3*j + 0*j + 3*d = -798. Let a = -101 - j. Let h = a + -101. Does 9 divide h?
False
Let i(k) be the second derivative of k**4/12 + k**3/2 + 27*k**2/2 - 34*k. Let y = 6 - 6. Does 11 divide i(y)?
False
Let y(q) = 2*q**2 - 9*q + 25. Suppose 5*u + m - 70 = 0, 42 = 3*u + m - 3*m. Let s be y(u). Suppose 2*j = -0*j + 6, s = 2*k - 5*j. Is 17 a factor of k?
True
Suppose -2*o + o = -3393 - 4137. Is o a multiple of 30?
True
Let x(r) = r + 3. Let j be x(-9). Let y(g) = -4*g**2 - 10*g - 15 + 9*g**2 + g**3 + 4. Is 9 a factor of y(j)?
False
Suppose -132 = 12*d + 48. Is 150/d*(2 + (-406)/5) a multiple of 25?
False
Suppose -4*h = u - 8443, -3*h + 3734 = 3*u - 2596. Let j = h + -1467. Is 65 a factor of j?
False
Let n = -75 + 176. Let d = -252 - n. Is d/(-9) - (-8)/(-36) a multiple of 5?
False
Suppose 0 = 2*p + 11*p - 234. Let n be ((-27)/p)/(9/(-12)). Suppose 0 = 5*v + 4*a - 1433, -3*v + 465 + 394 = n*a. Is v a multiple of 15?
True
Suppose -10*v = -22*v + 60. Suppose 0 = -2*l - v*l + 623. Does 40 divide l?
False
Suppose -r + t + 2617 = 852, 5297 = 3*r - 2*t. Does 19 divide r?
True
Let k = 15 - 12. Suppose -5*b - f - k = 0, 3*b + 3*f - 2 = 1. Is (b + -1)*41/(-2) a multiple of 7?
False
Let k be (-63)/6 - (-1)/2. Let r = 14 + k. Is 7 a factor of 24*2 + (-4)/r?
False
Let l = 88 + -88. Let p be (1 - 36/(-4)) + (l - 1). Suppose 8 = -p*k + 134. Is 3 a factor of k?
False
Does 9 divide ((-12688)/183)/(4/(-54))?
True
Let h(s) be the third derivative of s**5/30 + s**4/3 + 14*s**3/3 + 23*s**2. Let c be h(-9). Let a = c - -9. Is a a multiple of 15?
False
Let c be -20 + 9 + 54 - (3 - 1). Suppose -c*b + 38*b = -1116. Does 31 divide b?
True
Suppose -2*p + 4 = 2*h, -3*p = -4*p - 5*h + 2. Let n be (-11 - p - (2 - 5))/(-2). Is 20 a factor of 2/n*(-10)/(-8)*80?
True
Let o(m) = -1246*m - 1304. Is o(-4) a multiple of 10?
True
Let s(r) = -11*r + 3*r - r**3 - 7 + 10*r**2 + 2*r - 2*r. Let b be s(9). Suppose 4*q - 2*c - 3*c - 475 = 0, -3*q = -b*c - 351. Is 23 a factor of q?
True
Let s(n) = -n - 5. Let u be s(-10). Is 17 a factor of 998/u + (-36)/(-90)?
False
Let k = -33 - -172. Suppose -229 = -4*q + k. Let f = q + -68. Is 8 a factor of f?
True
Suppose -331*f - 41591 = -342*f. Is f a multiple of 11?
False
Suppose -8*s + f = -6*s - 1554, 3108 = 4*s - 3*f. Does 21 divide s?
True
Suppose 57008 = 23*g + 25*g + 9200. Is g a multiple of 12?
True
Suppose 0 = -k + 1 + 2. Suppose -k*r = -2*r, 2 = m - 3*r. Suppose m*w + 40 = 232. Is 24 a factor of w?
True
Let w = -163 - -55. Let t be 30/(-4)*(-2 + w/30). Suppose 5*j - 95 = 5*f, -4*f = 2*j - 4*j + t. Does 17 divide j?
True
Suppose 123*h + 7187 = -8405 + 2185. Let u = 338 + -201. Let v = h + u. Is 7 a factor of v?
True
Let m = -562 - -25112. Does 20 divide m?
False
Suppose -68 = o + 693. Let c = 1221 + o. Is 30 a factor of c?
False
Let z(t) = 2485*t**2 - 23*t - 3. Is z(-1) a multiple of 14?
False
Let a(z) = -16127*z - 17 + 60 + 16157*z. Is a(0) even?
False
Let h be (-8)/14*(-4578)/12. Let o = 249 - h. Does 9 divide o?
False
Suppose 0 = 5*g, -2*p = -6*p + 3*g + 1164. Let l = p - 93. Let b = l - 126. Does 18 divide b?
True
Suppose 3*x + 251 = 236. Does 18 divide (2 - (-148)/10)/((-2)/x)?
False
Suppose -2*r + r - 37 = 0. Let z = 3648 + -3317. Let m = r + z. Is 21 a factor of m?
True
Let z(g) be the first derivative of -g**4/4 + 26*g**3/3 - 21*g**2/2 - 10*g + 45. Is z(25) a multiple of 34?
False
Suppose -14*z = -15*z + 588. Suppose 0 = -5*t + 4*t - 386. Let n = z + t. Does 28 divide n?
False
Let n(t) = 2*t**2 - t**2 - 8803 - 4*t + 8894. Does 4 divide n(0)?
False
Suppose 4*z - 3909 = -3*w, -5*w - 3670 = -5*z + 1190. Is z even?
False
Let t = -145 - -150. Suppose t*b - 4 = 71. Is b a multiple of 3?
True
Suppose 0 = -107*m - 35399 + 556168. Does 157 divide m?
True
Let q = -33242 + 45037. Is 5 a factor of q?
True
Suppose 0 = -242*n - 115*n + 28004508. Is n a multiple of 12?
True
Suppose -3*d = 5*d - 64. Is 1/(-1) - (-1127 + d/2) a multiple of 66?
True
Suppose 17*k - 15*k + 112470 = 17*k. Is 115 a factor of k?
False
Let b(n) = n. Let t(z) = 2*z - 10. Let s(y) = 5*b(y) + t(y). Let j be s(4). Is (-1376)/(-36) + (-4)/j a multiple of 31?
False
Let q be -2*((-2)/(-3))/(2/(-6)). Suppose 4*n = 0, 8*n - q*n = g - 404. Does 33 divide g?
False
Suppose t = 5*i - 508, -8*i = -3*t - 5*i - 1572. Let y = 1305 + t. Does 21 divide y?
True
Let g(i) = -25*i - 65. Let j be g(-3). Does 9 divide ((-5)/j*3)/(2/(-356))?
False
Suppose -12*c + 20600 = -2*c. Suppose -1300 = -8*t + c. Is 9 a factor of t?
False
Let t be (1 - 2)*(14 + -19). Suppose -5*q = -3*c + 80, -2*c + t*q + 35 = -10. Is 5 a factor of c?
True
Let c = -7138 + 10697. Is 14 a factor of c?
False
Let r(p) be the first derivative of 3*p**2/2 + 57*p + 25. Is 12 a factor of r(-15)?
True
Let z(j) = -4*j - 9. Let n be z(-3). Suppose -798 - 110 = n*b - 2*p, 0 = -4*b + 2*p - 1208. Let l = b + 510. Is 42 a factor of l?
True
Let i = 121 + -42. Suppose -3*d + 62 = -i. Is 10 a factor of d?
False
Let b be (75456/256)/(6/8). Suppose -4*o - s = s - 402, b = 4*o - s. Is 68 a factor of o?
False
Let c be (-6476)/(-10) + (24/10)/6. Suppose -178*k + 175*k = -c. Is k a multiple of 6?
True
Is ((-26733)/335)/(1/(-100)) a multiple of 10?
True
Suppose 1763*g 