*3/3 + 4*t**2 + 42*t. Does 2 divide r(-5)?
True
Let m(z) = -2*z + 40. Let u be m(-9). Suppose 56*n - u*n = -166. Suppose -5*r - 5 = 0, a + r = 27 + n. Does 37 divide a?
True
Let x(a) = -8*a - 63. Let m(s) = 2*s + 16. Let f(i) = 9*m(i) + 2*x(i). Let q be f(-8). Suppose o - q*v - 8 = -6*v, -4*o = 2*v - 88. Is o a multiple of 6?
True
Let l = 93 + -88. Suppose l*o + 0 = 35. Suppose -765 = -o*v + 747. Is v a multiple of 36?
True
Suppose -4*o = 5*l - 4596, -202 = -2*o - 214. Is l a multiple of 7?
True
Suppose -2*j - 3*n - 7 = 0, 4*j - 17 = 2*n + 9. Suppose 11*f - 9*f = j. Suppose f*v - v + q - 63 = 0, 2*v - q = 138. Is 14 a factor of v?
False
Suppose 3*k - 63306 = 5*j, -6*k + 126666 = 62*j - 63*j. Is k a multiple of 28?
True
Let u = -183 + 187. Suppose -u*a + 3*r + 94 = 0, 2*r + 5 = 1. Is 6 a factor of a?
False
Let f = -191 + 321. Suppose 440 = 5*j - f. Is j a multiple of 5?
False
Suppose 13*r - 4*r - 27 = 0. Let b(f) = -4 - 4 - 117*f**r + 119*f**3 + 4*f**2 - 5*f. Is 35 a factor of b(4)?
False
Suppose 2*x = -n - 5, 5*n - 3 - 2 = -4*x. Let c(v) = 5 + v + 1 + v**2 + 1 - n. Is c(-2) even?
True
Let c(s) = s**2 - 2*s. Let z be c(-1). Does 18 divide 3/(3126/(-1044) + z)?
True
Suppose -8 = 2*c - 4*p, 2*c - 3*p + 6*p - 13 = 0. Let w(k) = -20*k + 4*k**c - 3*k**2 - 30 + 11*k. Does 12 divide w(15)?
True
Let c = 171 + -138. Suppose w - c = 143. Is w a multiple of 16?
True
Suppose 5*d + 4*q - 2*q = 20, -19 = 3*d - 5*q. Is (3/d)/((-117)/(-4056)) a multiple of 13?
True
Let n(o) = 11*o**2 + 694*o - 238. Does 14 divide n(-98)?
True
Does 19 divide (6/16 + 128058/(-1008))/((-2)/69)?
True
Let w = -167 + 151. Let z = w + 160. Does 15 divide z?
False
Let v = 22973 + 9423. Does 299 divide v?
False
Let z = 278 + -277. Is (626 + 1)*(z + (-14)/21) a multiple of 11?
True
Suppose -272*f = -265*f - 280. Suppose 14*q + 7410 = f*q. Is q a multiple of 19?
True
Suppose -528*u + 503*u = -32375. Is 5 a factor of u?
True
Suppose 44906 = 4*o - 393*w + 392*w, 5*o = -w + 56119. Does 25 divide o?
True
Let k(c) = -58*c**3 + 16*c**2 + 12*c + 34. Is 4 a factor of k(-5)?
True
Suppose 529 = -7*b + 487. Let w(p) = p**2 - 4*p - 2. Let g be w(5). Does 4 divide ((-4)/b)/(g/90)?
True
Does 64 divide (640/7)/(18/(-315)*-5)?
True
Suppose 0 = -5*a - o - 788, -2*a - 4*o - 152 - 156 = 0. Let g = a + 223. Does 15 divide g?
False
Suppose 4*t = 0, -26*t - 2176 = -v - 31*t. Is 35 a factor of v?
False
Is 13 a factor of (-2 + 16946)/16 - 9?
False
Let d(c) = -c**3 - 28*c**2 - 12*c + 69. Let o be d(-28). Suppose 2*z + 4*t = 1094, -690 = -2*z - 3*t + o. Is z a multiple of 54?
False
Let m = -1816 + 1770. Let b be (1 - 11)/((-1)/8). Let p = b + m. Does 17 divide p?
True
Let u(t) = -105*t**3 + t**2 - 2. Let d be u(-1). Suppose 3*q - 3*j = 99, -2*q + 3*j - d = -6*q. Is q a multiple of 9?
False
Let f(d) = -3*d**3 + 25*d**2 + 54*d. Let a be f(9). Suppose 2*w + 0*w - 1158 = 0. Let j = w - a. Does 15 divide j?
True
Let x be (-2)/66*6 + 493/(-11). Let w be (-772)/60 + 6/x. Let j(o) = -20*o + 19. Does 31 divide j(w)?
True
Suppose -2*i = 2*c + 10 - 0, 0 = 5*i - 5*c - 25. Suppose i = -2*d + 4*o + 16, -3*d - 2*o - 72 = -8*d. Is 3 a factor of d?
False
Let n = 7783 + -7727. Is n a multiple of 14?
True
Let b be 0/4 - -2 - (2 + -720). Let c = b + 260. Is 23 a factor of c?
False
Let k = 57 - 53. Suppose -2*w + 3*w = -k*t + 64, -4*t = -3*w + 272. Does 15 divide w?
False
Let q be 6 + -1 + 0 + -5. Suppose -15*p = -q*p - 720. Is p a multiple of 4?
True
Let j(f) = -2*f**2 + 2*f + 25. Let c be j(0). Let w = c - -118. Does 13 divide w?
True
Let x be (-12)/((-16)/(-4))*(-3 + 2). Let t(h) = -10*h + 6. Let f be t(x). Let m = f - -43. Is 17 a factor of m?
False
Suppose -4*f = -3*l + 43217 + 10566, -2*l = 4*f - 35882. Is l a multiple of 125?
False
Let u(x) = -x**3 - 14*x**2 - 21*x - 36. Let a = 81 + -96. Is 42 a factor of u(a)?
True
Let q(z) = z**3 + 8*z**2 + 5*z + 2. Let d be (-1 - -3)*(43 - -7). Let b be (5*24/d)/((-2)/10). Is q(b) a multiple of 10?
False
Let w = -38 + 99. Let b = 64 - w. Suppose -5*z = -3*y - 62, 5*z - 49 = z + b*y. Is z a multiple of 3?
False
Let r = -35 - -38. Let p be ((3 - 2) + -2)*-80. Suppose n + 4*i - 49 = 0, -5*n = -r*n - i - p. Does 6 divide n?
False
Let w = 73 + -65. Suppose 3*k = 9, 2*c + 65 = 3*k - w*k. Let i = c + 85. Is i a multiple of 9?
True
Let m(b) = 212*b**2 + 194*b + 10. Is m(-5) a multiple of 14?
True
Suppose -88*o + 376*o - 45763 - 162173 = 0. Is 2 a factor of o?
True
Suppose -i = -0*i - 5*f - 14, f + 1 = 0. Suppose i*b - 4*b - 290 = 0. Is b a multiple of 9?
False
Suppose -4*c = -2*u - 46, 5*u + 25 = c - 0*c. Suppose -5*h + c*h = 2995. Is h a multiple of 7?
False
Let t be (-687)/(-6 + 3) - -3. Suppose 18*n - t = 16*n. Is n a multiple of 7?
False
Suppose -5*j = -25, -2*l + 6 = 5*j - 11. Let b be 14/1 - (-2 - l). Does 8 divide (-1)/(-4) - ((-969)/b - 5)?
False
Suppose -5*z = 10, -z = -8*i + 3*i + 1507. Suppose -4*n + g = -557, -6*g = -2*n - g + i. Is 46 a factor of n?
True
Let l(k) = k**3 - 8*k**2 + 3*k + 60. Let p be l(11). Suppose 108*q - 110*q + p = 0. Does 4 divide q?
True
Let r be (-4)/(-5)*2 - 174/290. Let v(o) = 135*o - 5. Does 17 divide v(r)?
False
Suppose -20277 = -4*h + b, 0 = 3*b - 52 + 67. Is 13 a factor of h?
False
Suppose 0*a = -5*a + 3*f + 336, a - 74 = 4*f. Suppose o = 3, -3*z + o + 81 = -30. Let x = a + z. Does 13 divide x?
True
Let l = 86 - 123. Let z be 1286/(-10) - (-10)/(-25). Let k = l - z. Does 44 divide k?
False
Let z = -36 - -36. Suppose z = -2*p + 5*a + 315, -5*p - 2*a = -4*p - 144. Is p a multiple of 10?
True
Let f = -1601 + 2488. Does 8 divide f?
False
Let y be (0 - (2 + -1)) + 2 + 13. Suppose 3*z = 5*z - y. Is ((-24)/z)/(8/(-196)) a multiple of 12?
True
Let p = -30 - -207. Let o = p - 69. Is o a multiple of 9?
True
Let m(v) be the first derivative of 3*v**2/2 - 12*v + 6. Let t be m(5). Is 8 a factor of 156/13*4/t?
True
Is 215 a factor of (((-2325)/30)/(-5))/(-4 - 6003/(-1500))?
False
Let y(n) = 3*n**2 - 8*n - 2*n**2 + 27 - 7*n - 35 + 0*n. Is y(-8) a multiple of 22?
True
Suppose -2*y + 4*r + 442 = -y, 432 = y + r. Suppose -2*m + y = 4*s, -3*s = -m + 2*m - 325. Is 18 a factor of s?
True
Suppose -1400*v + 31591 = -1393*v. Does 3 divide v?
False
Suppose -5*b + b - 892 = -2*u, -233 = b + 2*u. Does 11 divide (-9)/(b/(-220))*(-13 + -2)?
True
Suppose 5*w - 4*u = 4*w + 15, 3*w + 6 = -5*u. Suppose 3*q = -w*v + 171, -q = -v - 69 + 8. Suppose -k + 143 = 4*r, -2*r - 3*k + q = -0*k. Does 22 divide r?
False
Suppose -108679 - 153206 = -15*c. Is c a multiple of 13?
True
Suppose -2*y + 3*b = -y - 20, 4*y + b = 132. Let t(u) = -3 + 0 - 12*u + y*u - 1. Is 17 a factor of t(7)?
True
Let u be ((-238)/(-4))/((5 - 3)/(-4)). Let h be (-6)/14 - (-3757)/u. Let a = 90 + h. Does 39 divide a?
False
Suppose -140 = 2*k + 5*f - 1880, 4385 = 5*k - 5*f. Let h = -115 + k. Does 40 divide h?
True
Let p = -74 - -178. Suppose -5*t = -t - p. Let u = t + -20. Is 3 a factor of u?
True
Suppose 39*n - 33264 = 28*n. Is n a multiple of 41?
False
Suppose 274167 = 207*k - 942372. Does 74 divide k?
False
Suppose -12*d = -16*d - 8, 0 = -5*v - 3*d + 14. Suppose -v*s + 389 = -415. Does 5 divide s?
False
Suppose c - 20838 = -4*s, -15642 = -3*s - 275*c + 272*c. Does 28 divide s?
True
Let d(x) = -19*x - 15. Suppose 4*j + 27 + 5 = 0. Does 31 divide d(j)?
False
Let y(x) = x**3 + 5*x**2 + 3*x + 6. Let h be y(-6). Let f be (2 - 22/4)/((-8)/h). Let d = f - -45. Does 24 divide d?
True
Let o(b) = 3*b**3 - 5*b**2 - 7*b - 5. Let v be o(-2). Does 35 divide (-100)/((90/v)/9)?
True
Let g be -44 + 51 + 204 + -1. Suppose b - 224 = 4*a, a - g = -b - 2*a. Does 18 divide b?
True
Let k(n) = -5777*n - n**2 - 2 + 37*n**3 + 5777*n. Is k(2) a multiple of 40?
False
Let p(r) = 23*r - 25. Let f(a) = -11*a + 12. Let n(g) = 5*f(g) + 3*p(g). Is 7 a factor of n(4)?
False
Let n(c) = -7*c**3 + 18*c**2 + 47*c + 40. Let w(v) = 10*v**3 - 26*v**2 - 70*v - 60. Let m(s) = -7*n(s) - 5*w(s). Does 4 divide m(7)?
True
Let g(i) = -i**3 - 5*i**2 + 15*i + 10. Let m be g(-7). Let h be (5 + -10)/(m/9). Is 7 a factor of ((-6)/h)/((-3)/(-600))?
False
Let z(t) = -t**2 + 3*t + 6. Let u be 0*(-4)/8 + 4. Let v be z(u). Is 57 + (v + -1)*-1 a multiple of 14?
True
Let j = -8543 - -35075. Is 44 a factor of j?
True
Let l = 31 - 2. Suppose 0 = -4*s + u + 59, -2*s - l = -3*s + 5*u. S