e n(12). Suppose 7*u - y = f*u. Is u a multiple of 13?
False
Suppose -4*g = -5*f + 20, -7*g + 15 = -4*g. Let h = 186 - f. Is h a multiple of 6?
False
Let v = 6754 - 6165. Is 31 a factor of v?
True
Is 78 a factor of (510/(-40) + -10)/((-1)/264)?
True
Is 86 a factor of (3228 + -3)*204/170?
True
Let y = 5976 - 5443. Is y a multiple of 17?
False
Let p = 379 + -655. Let t = p + 536. Does 71 divide t?
False
Suppose 387 - 407 = -2*b. Suppose 0 = 4*k + b*k - 3136. Does 5 divide k?
False
Let s = -116880 - -171227. Does 11 divide s?
False
Let z = -132 - -152. Suppose z - 18 = w. Suppose -2*v = 4*r - 440, -r = -w*v - 133 + 13. Does 16 divide r?
True
Suppose m - 603 = -10. Suppose 4*f - 796 = -4*a, 3*f - 2*a + a - m = 0. Is f a multiple of 9?
True
Let a = -152 + 279. Suppose -a = -6*u + 455. Is u a multiple of 7?
False
Suppose 13 = 11*v - 9. Suppose 0 = v*t + 127 - 475. Is t a multiple of 29?
True
Let f(n) = -n**3 + 12*n**2 + 5*n + 18. Let w be f(13). Let g = 321 + w. Suppose -4*b + g = b. Does 11 divide b?
False
Let g = -25 + 27. Suppose -5*n = -5*s - n, -4*n = g*s - 28. Let i(u) = u**3 - 2*u**2 + 3*u. Is i(s) a multiple of 6?
False
Let k(n) = -2*n**3 + 14*n**2 + 81*n + 1043. Is 69 a factor of k(-13)?
False
Let b be -6*((-532)/24 + 4/6). Let o = b + -120. Suppose -o*w - 465 + 2085 = 0. Is w a multiple of 44?
False
Suppose 5*b = 2*m + 1338 + 6869, 5*m - 6592 = -4*b. Is b a multiple of 26?
False
Let q(z) be the second derivative of -z**4/3 + 7*z**3/6 + 9*z**2/2 + 41*z. Let m be q(4). Does 30 divide (-75)/m + -3 + 3154/18?
False
Let x be 2*2 - (-6)/(-3). Let l(w) = -9*w**2 - 314*w - 310. Let q be l(-32). Suppose -107 = 4*a - 5*a - x*d, -3*d - q = -5*a. Is a a multiple of 7?
True
Let o(n) = -956*n**3 + 4*n**2 - 12*n - 56. Does 22 divide o(-3)?
True
Suppose 0 = -136*v + 226*v - 1017900. Is 195 a factor of v?
True
Suppose -4*v + i - 6*i = -16, 2*v = 5*i + 8. Let o(d) = 153*d - 111. Does 11 divide o(v)?
False
Suppose 7*r - 19308 = 18597. Does 96 divide r?
False
Let t be (-2)/(-18) + (-124)/(-108)*-237. Let a = -152 - t. Does 4 divide a?
True
Is 290 + -287 - (1 + -723) a multiple of 16?
False
Suppose 96*q + 11*q - 14*q - 285417 = 0. Is q a multiple of 11?
True
Suppose 5*h - 3*h - 22 = 0. Let f(n) = 2*n + 13 - 8*n + h*n + 5*n. Is 19 a factor of f(12)?
True
Let a = 58327 - 39767. Does 45 divide a?
False
Let w be 0/(-1*1*(20 - 18)). Does 6 divide -12*(30/(-12) + 1 - w)?
True
Let t = -12893 + 24368. Is 48 a factor of t?
False
Let d(i) = 53*i - 11. Let u be d(2). Let c(g) = u + 3*g - g + 31. Is 18 a factor of c(0)?
True
Suppose 5*j - 5*w = -60, 8*w = 5*j + 11*w + 84. Is (-6)/(-2)*((-1400)/j)/8 a multiple of 5?
True
Let b(l) = l**2 - 11*l + 58. Suppose -156 = 3*t - 16*t. Is b(t) a multiple of 10?
True
Is 12/(3/(-14520)*-12) a multiple of 44?
True
Suppose 17*y - 17598 = 70530. Is y a multiple of 54?
True
Let p = -42 + 62. Suppose -b + 3*v = -941, 24*v - p*v + 3756 = 4*b. Is b a multiple of 8?
False
Suppose -3*t - 27*w + 11250 = -24*w, -5*t = -4*w - 18768. Is 28 a factor of t?
True
Let g be (18/(-15))/((-1)/(-20)*-2). Let r be 18/(-8)*g/(-9). Suppose -3*l + 441 = -r*h, 0*l + 438 = 3*l - 4*h. Is l a multiple of 30?
True
Suppose -4*z - 7 - 9 = 0. Let c be (-4)/z - 112 - (-1 + -1). Let r = c + 291. Does 14 divide r?
True
Let l be (-29)/58 + 9/2. Suppose -l*j = -3*a - a + 4540, 2*a + j = 2255. Is 18 a factor of a?
False
Suppose 68*n - 41696 = 5632. Does 12 divide n?
True
Let s = 3939 - -9966. Is s a multiple of 45?
True
Let f = -167 - -307. Suppose f = 3*m - 703. Is m a multiple of 28?
False
Let r = 577 + -152. Let a(b) = b**2 + 12*b + 6. Let y be a(5). Suppose -4*j + 5*t + y = -r, -3*j - 3*t = -414. Is 30 a factor of j?
False
Let z = -141 - -641. Let w = -444 + z. Is w a multiple of 3?
False
Let v(m) = 51*m + 2. Suppose 5 = -q + 6*q. Let c be v(q). Suppose -485 = -5*g - 2*w - 85, -g + 5*w = -c. Is 33 a factor of g?
False
Let w = 72 - 37. Let x = w - -19. Let i = x + 12. Is i a multiple of 33?
True
Suppose 15*y = 8*y + 14. Suppose 0 = -y*c + r, -c + 12*r = 8*r - 14. Does 14 divide 2/((-1)/(-10) + 2 + c)?
False
Suppose -168 = -g + 32. Let o = 225 - g. Is o a multiple of 5?
True
Let c(d) = 3045*d**3 - d**2 + 7*d - 6. Is c(1) a multiple of 11?
False
Is 10/30*5067 - -1 a multiple of 65?
True
Is 12 a factor of 78/(-26) - -3 - -2436?
True
Let h be 174/(-5)*(-1710)/27. Suppose 15*l = -4*l + h. Is 17 a factor of l?
False
Let m(q) = 5*q**2 - 16*q - 7. Let f be m(3). Let n(c) = 4*c**2 - 10*c + 7. Does 13 divide n(f)?
True
Suppose 8*i + 9*i = -15*i + 85088. Does 5 divide i?
False
Suppose -2*p + 5*y = 1, -p - 3*y - 49 = 4*p. Let n(v) = v**3 + 9*v**2 + 9*v + 4. Let x be n(p). Is 9456/45 + x/30 a multiple of 14?
True
Let q be (-5 - 25/(-5))/(-1). Suppose q = -5*t + 3*t - 3*u - 777, 4*t + 4*u + 1560 = 0. Let h = -253 - t. Is 10 a factor of h?
True
Let u(h) = 4*h**2 + 20*h + 16. Is u(14) a multiple of 30?
True
Let w be 8/(-6)*(-14 - 7). Suppose -4*g + w = 7*s - 3*s, 28 = 4*s - 4*g. Let n(f) = 4*f + 16. Does 9 divide n(s)?
False
Suppose -5*u + d = -2536, 3*u - 1056 - 461 = -4*d. Suppose 4*x + 2*o = 1366, -3*o + 1202 = 5*x - u. Is x a multiple of 68?
True
Let h be ((-100)/60)/((-3)/(-9)). Is 11 a factor of 0 + 463 + -6 - h?
True
Suppose 5*d = -12 + 2. Let w be (d - (-5 + 4)) + 23. Suppose -2*k = z - 16, k + 4*z + 0*z - w = 0. Is k a multiple of 6?
True
Let x = 56 - -60. Let d = x - -58. Does 6 divide d?
True
Let p(t) = -3*t**3 + 21*t**2 + 27*t + 6. Let j be p(8). Let q = -4 + 9. Suppose -7*d = -q*d - j. Does 15 divide d?
True
Suppose -2*m = -21*m - 12*m + 79825. Is m a multiple of 25?
True
Let p(g) = 255*g**2 + 66*g - 220. Is p(3) a multiple of 20?
False
Let s(o) = 11*o**2 - 7*o - 8*o + 5*o - 29 - 29*o**2 + 26*o**2. Is 4 a factor of s(-4)?
False
Suppose -18 = -5*u + 22. Suppose -r + 444 = -2*w + w, 3*w + 9 = 0. Suppose -u*d + r = d. Is 7 a factor of d?
True
Let l be (3324/18 - -3) + (-5)/(-15). Let p(i) = -2*i**3 - 6*i**2 - 7*i - 4. Let q be p(-4). Suppose -5*o - l = -3*j, j + 0*o - q = 3*o. Does 11 divide j?
False
Let w = -735 + 3474. Is w a multiple of 14?
False
Let r = 79213 + -16743. Is r a multiple of 20?
False
Suppose 12*b - 7*b + 6*d = -3235, -1984 = 3*b - 5*d. Let p = b + 1186. Does 41 divide p?
True
Let n(f) = -f**3 - 15*f**2 + 15*f - 8. Let v be n(-16). Let m = 305 + v. Suppose 287 = 10*y - m. Is y a multiple of 10?
True
Is 11120/(-20)*(-48)/3 a multiple of 32?
True
Suppose 44*w - 15*w - 424700 = -33*w. Does 10 divide w?
True
Let g(o) = o**3 + 20*o**2 + 13*o - 15. Let r(v) = 10*v**2. Let w(b) = -3*b**2. Let h(a) = 2*r(a) + 7*w(a). Let z(u) = g(u) + 2*h(u). Is z(-17) a multiple of 15?
False
Let m = 226 - 226. Suppose 427 = 4*d + 5*j, 5*d + 0*d - 5*j = 500. Suppose m = -8*n + 121 + d. Is 2 a factor of n?
True
Let b = 47 + -43. Suppose 10*l = 11*l - b. Suppose l*r - 74 = 3*o, -4*o - 12 = -0*r - r. Is 4 a factor of r?
True
Let l(t) = -t - 23. Let h be l(-25). Let f be (-1*h)/((-60)/25 - -2). Suppose 5*z - 250 = k, 245 = 3*z - f*k + 95. Is 8 a factor of z?
False
Let h(t) = -3*t**3 + 12*t**2 - 40*t - 110. Does 7 divide h(-11)?
True
Let d be (-3)/(3/(-4) - 0). Let w be 3*4/30*(-65)/(-13). Is 14 a factor of w/(-2) - (16/d - 67)?
False
Is (25/(3500/(-1560)))/(-2*3/378) a multiple of 6?
True
Let h be 8*-1 - 11172/(-57). Suppose -3*m + 281 - 61 = -4*a, 3*m + 4*a - h = 0. Is m a multiple of 3?
False
Let z = -12086 + 13550. Is 6 a factor of z?
True
Suppose 320000 = -134*v + 508731 + 331993. Does 58 divide v?
True
Let g(r) = 23*r - 234. Let x be g(11). Let o(f) = -f**2 - f. Let l(y) = 2*y**2 - 25*y - 25. Let t(h) = -l(h) - o(h). Does 24 divide t(x)?
False
Let d = 1104 + 14906. Does 18 divide d?
False
Suppose 513*n = 517*n - 696. Does 4 divide (-2 - (-56)/6)*261/n?
False
Let f = 34102 + -23028. Does 67 divide f?
False
Is 29 a factor of (-1)/(-3) + (-165032)/(-21)?
True
Suppose 0 = 5*y - 25 - 5. Let g(f) = f**3 - 7*f**2 + 9*f - 14. Let z be g(y). Suppose h = -2*k + 13, -2 = -4*h - z*k + 54. Does 15 divide h?
True
Suppose -39 = -y - 4*m, -3*m + 36 = y - 2*m. Let n = y - 33. Suppose n*w + 2*q - 7*q = 130, -2 = -q. Is 10 a factor of w?
True
Suppose 2*y - 40706 = -14*j, 14555 = 5*j + y + 4*y. Is j a multiple of 57?
True
Does 35 divide 70034/10 + (6 - 96/15) + -3?
True
Let q be (-1)/(-2)*518/(-37)