27 divide -1 + -10*(60/(-8) - z)?
True
Let q be 108/(-5) - 4/10. Suppose 5*l = 4*t + 64, -2*t + 3*t - 5*l + 31 = 0. Is 12 a factor of 0 + t/(q/24)?
True
Let q = -487 + 515. Is 28 a factor of q?
True
Let w = -2840 + 5909. Is w a multiple of 74?
False
Suppose q - 5*q = -20, -4*u + 1565 = 5*q. Does 29 divide u?
False
Suppose -g = 5*z + 2, -4*g - 8 = 5*z - 0*z. Suppose 3 = o - z*o. Suppose 2*f + f = 3*n + 165, o*n + 3 = 0. Is 13 a factor of f?
False
Suppose -5*r + 515 = 5*v, 4*r + v + 153 - 553 = 0. Suppose 3*b + 25 = 2*b. Let t = r + b. Is 31 a factor of t?
False
Let p(d) = 9*d**2. Let s be p(1). Suppose 0 = -t + 3 - s. Is 26 a factor of (-338)/t + 9/(-27)?
False
Let k(v) = 29*v**2 - v + 67*v**2 + 1 + 86*v**2 + 34*v**2. Let r be k(-1). Suppose -d + 0*d + r = 4*y, -5*y = d - 273. Is 16 a factor of y?
False
Suppose -2*a - 6561 = -11*a. Is 17 a factor of a?
False
Let m(p) = -3*p**3 - 2*p**2 - 4*p - 3. Suppose 4*y - 4 = 6*y. Let j be m(y). Let h = j + -11. Is 4 a factor of h?
False
Suppose 98*n + 1428 = 104*n. Is 9 a factor of n?
False
Let c = -158 - -86. Let r be (-4)/(-6)*c/(-16). Let k(h) = -h**2 + 6*h. Does 9 divide k(r)?
True
Let k = 19 - 15. Suppose k*q - 14 = 2*q. Is q a multiple of 7?
True
Is 29 a factor of 4 + -2 + (4 - -532)?
False
Suppose -4*g + 5 = -g - u, -23 = -g - 5*u. Let r be 4/((-24)/(-369)) + 6/(-4). Suppose r = 2*h - 3*f, h + f + 64 = g*h. Is h a multiple of 11?
True
Let x = 258 + -378. Let l = x - -50. Is 3*(-1 + l/(-6)) a multiple of 13?
False
Let k(r) = r**3 - 4*r**2 + 4*r - 2. Suppose -5*z + y = 2*y - 16, y + 24 = 5*z. Let t be k(z). Let a = 44 - t. Is 10 a factor of a?
True
Let w be 2/((8/(-6))/2). Is 19 a factor of ((-231)/(-14))/(w/(-16))?
False
Is 29 a factor of (-3 + (-160)/(-15))/((-1)/(-87))?
True
Suppose 3*i - 4*i = -37. Let b = 114 - i. Is b a multiple of 11?
True
Suppose -b - 2*a = 2*b - 16, -35 = -5*b - 5*a. Suppose 0*w - 59 = -4*d - 5*w, -b*d - 5*w + 27 = 0. Does 2 divide d?
True
Suppose -6*j = -j - b - 17, 4*b = -8. Suppose g - 4*o + 112 = j*g, -3*o - 246 = -4*g. Does 8 divide g?
False
Let p(b) = -6*b**3 + 9*b**2 - 13*b - 19. Let d(r) = 7*r**3 - 9*r**2 + 14*r + 20. Let a(i) = 5*d(i) + 6*p(i). Is a(7) a multiple of 14?
True
Suppose 264 = 2*l + 4*x, 0 = 3*l + 4*x - 203 - 199. Is l a multiple of 56?
False
Let m be (-228)/(-30) + (-6)/(-15). Suppose 10*s = -m*s + 1080. Does 15 divide s?
True
Let w = 11 - 13. Let m(x) = 2 + 2*x**2 - 3*x - x**3 + 3*x. Is m(w) a multiple of 6?
True
Does 2 divide (-47)/(-376) - (-494)/16?
False
Let g = 379 - -23. Is g a multiple of 6?
True
Let j = -111 - -113. Suppose -74 - 94 = -j*v. Does 14 divide v?
True
Let y be (-3 - -11)/(2/(-3)). Let h be 560/(-24)*y/10. Does 15 divide -4 + 7/(h/248)?
False
Suppose -7 = -2*a + t, -a + t = -6 - 0. Let c(z) = 27*z + 5*z + 10*z - 1 - 6*z. Is c(a) a multiple of 17?
False
Suppose -o = 3*r - 1869, -2*r = 5*o - 3*r - 9377. Is o a multiple of 25?
True
Let h = 816 + -320. Does 31 divide h?
True
Suppose -3*t - t - 1200 = 0. Does 25 divide ((-4)/(-12))/((-2)/t)?
True
Does 22 divide (1 - (-2 + 2))*3 + 129?
True
Is 7436/6 + (-11)/33*4 a multiple of 7?
False
Let w = 20 + -17. Suppose w*d - 8 - 10 = 4*n, -53 = -5*d - n. Is 4 a factor of d?
False
Does 3 divide (-14)/(-133) + 7/((-399)/(-7860))?
True
Let s(p) = p**3 - 7*p**2 - 17*p - 4. Let b be s(9). Suppose -b*r + 283 = -87. Is 31 a factor of r?
False
Suppose 0 = -d + 2*j + 560, -8*j + 6*j = -10. Is d a multiple of 47?
False
Suppose -28 = p - 78. Let q be (-1 + -1)/((-4)/4). Suppose p + q = o. Does 20 divide o?
False
Let q = -319 + 905. Is 48 a factor of q?
False
Let f(b) = -b - 4. Suppose -l - 3*l = 4*n, -10 = 2*l. Let d be f(n). Is 16 a factor of d/(-21) - (-218)/14?
True
Let t(k) = k**2 - 25*k - 187. Is t(38) a multiple of 2?
False
Let o(n) = -n**2 + 9*n - 6. Let y be o(4). Does 14 divide 11/(-77) - (-730)/y?
False
Let t be (68/(-6))/((-2)/3). Suppose -9*f - 33 = -j - 5*f, -2*j + 63 = -5*f. Let k = j - t. Is k a multiple of 3?
True
Let f(v) = -6*v + 24*v**2 - 23*v**2 + 18 - 5*v. Is 22 a factor of f(12)?
False
Let t = -8 + 12. Suppose 0 = 4*q + t*s - 52, -5*q + 2*s + 64 = -q. Is 11 a factor of q?
False
Suppose -3*j - 4 = -j, 4*j - 3 = -r. Let w = r - 28. Let l = 37 + w. Is 7 a factor of l?
False
Let m(f) = 7*f + 14. Suppose -6 = -3*c + 12. Let n be m(c). Suppose -q = -2, -4*a - 4*q + n - 16 = 0. Does 3 divide a?
False
Let l = 2 + 1. Suppose -4*v = -x + 158, -2*v - 150 - 284 = -l*x. Is x a multiple of 27?
False
Suppose 9*b - b - 768 = 0. Is b a multiple of 24?
True
Let k = -204 + 278. Is k a multiple of 32?
False
Suppose m - 17 + 8 = 0. Suppose 2542 - 850 = m*y. Is y a multiple of 22?
False
Suppose -4*c - 32 = -2*z, 2*z - 3*z - 3*c = -36. Does 3 divide z?
True
Suppose 0 = -3*v + 2*r + 148, -4*v + 215 = v + 3*r. Is 27 a factor of v?
False
Suppose -79*d + 66*d + 9633 = 0. Is 57 a factor of d?
True
Suppose 0 = -4*c - 5*z + 2*z + 1699, z - 1273 = -3*c. Let g be c/40 + (-4)/(-10). Let w = 6 + g. Is w a multiple of 17?
True
Let n be 1*(-1)/2*-4. Suppose -3*t + 2*y + 420 = 0, 3*t + n*y - 272 = 148. Is t a multiple of 20?
True
Suppose -3*x + 0*x + 477 = 0. Let n be 372/(-4) - 4*3/12. Let y = n + x. Is y a multiple of 13?
True
Suppose -18 = -b - m + 4*m, -4*b + 4*m = -56. Suppose -13*k + 26 = -b*k. Suppose -x + k = 2*u, -3 = -4*u + 5. Is 22 a factor of x?
True
Suppose -b - 7 = -z, -7*z - 5*b + 37 = -4*z. Suppose -4*n - z = -61. Is 2 a factor of n?
False
Let i(n) = -n**2 - 11*n - 12. Let m be i(-9). Is 7 a factor of -6*((-39)/m + (-9)/(-3))?
True
Suppose 2*w = -5*h - 35, 0 = -5*w - 4*h + 8*h - 5. Does 8 divide (w/(15/(-6)))/((-2)/(-88))?
True
Suppose w + 7 = -0*w + 3*x, 4*w + 2*x + 70 = 0. Suppose 4*m = -38 - 14. Let u = m - w. Is 3 a factor of u?
True
Let m(t) = -t**2 - 6*t + 14. Let w be m(-7). Suppose w*y - 29 = 55. Does 3 divide y?
True
Suppose 3*b + 5*c - 8287 = 0, 3*c = 8*b - 12*b + 11064. Is 24 a factor of b?
False
Suppose -12*i = -7632 - 2232. Is i a multiple of 13?
False
Suppose 0 = 2*z + 6*z - 400. Suppose 8*u = 3*u + 380. Let l = u - z. Is l a multiple of 26?
True
Suppose 0*b + 4 = 3*b - 2*u, 2*u + 4 = -5*b. Suppose 2*p = 2*y + 74, p + b*p - 3*y - 35 = 0. Suppose p = 2*r - 2*a - a, r + 2*a = 19. Is r a multiple of 9?
False
Let l(c) = 47*c**3 + 12*c**2 + 12*c - 10. Does 14 divide l(4)?
False
Suppose -1130 = -5*l + 5*n + 655, 5*l - n - 1773 = 0. Is 10 a factor of l?
False
Suppose 4*i - 50 = -2*o, -11 = -o + 3*i + 19. Let j = o + -7. Is j a multiple of 9?
False
Let g(y) = 60*y**2 - 2*y + 1. Let q be g(1). Suppose 0 = -7*k + 4 + q. Does 6 divide k/((-9)/(-16)) - -1?
False
Let b be 3/(-10)*8*(-20)/3. Suppose b*u - 768 = 12*u. Is 12 a factor of u?
True
Let z(w) = 19*w**3 - 3*w**2 + 15*w - 3. Does 67 divide z(3)?
False
Let b(f) = 23*f + 3. Let v be b(1). Suppose -109 = -t + v. Is t a multiple of 27?
True
Suppose -v + 746 = 5*h, 10*h + 4*v = 5*h + 734. Suppose 726 = 8*o + h. Is 12 a factor of o?
True
Let h(d) = -d**2 - 13*d + 13. Let y be h(-14). Let z(t) = -4*t**2 + t. Let b be z(y). Does 22 divide (-6 - b)/((-2)/44)?
True
Suppose 21*l - 57136 = -15745. Does 56 divide l?
False
Let o = 340 + -275. Is 13 a factor of o?
True
Suppose -28 - 2 = -5*x. Let p = -4 + 6. Suppose 2*b + p*s = x*s + 72, -5*s = 10. Does 12 divide b?
False
Let n(r) = 45*r - 225. Does 5 divide n(11)?
True
Let n(v) = v**3 - 9*v**2 - 9*v - 14. Let b be n(10). Let m be -2*(b + 3) + -167. Does 11 divide m/10*4*-1?
True
Suppose -3*b - 4*o = -4352, -5*b - 26*o = -23*o - 7257. Does 12 divide b?
True
Let i(y) = -y + 13. Let n be i(6). Let b(o) = -o**3 + 9*o**2 - 2*o - 4. Is b(n) a multiple of 13?
False
Is (-70 - 14)*(-504)/32 a multiple of 49?
True
Let i(w) = -2*w**2 + 2*w + 6. Let l be i(3). Is 18 a factor of (4 + -43)*l/9?
False
Suppose -180 = -4*s - 32. Suppose -13 = d - 5*w, -5*w + 17 = -3*d - 12. Let m = s - d. Is m a multiple of 15?
True
Suppose 0 = -5*d + 3*t + 17 + 7, -14 = -3*d + 2*t. Let g be d/4*(-8)/(-12). Does 11 divide g*-18*6/(-4)?
False
Let q(o) = o**2. Let c(x) = 5*x**2 - 1 - 1 - x**3 + 0*x**2 + 4*x + 0*x. Let j(d) = c(d) + 4*q(d). Is j(9) a multiple of 13?
False
Let l = -552 + 1740. Is l a multiple of 54?
True
Suppose 8*w - 3 = 7*w. Suppose -w*u - 4*v + 22 = 0, -27 = -3*u - 4*v + v. Is u a multiple of 4?
False
Suppose 0 = -10*i + 7*i +