True
Suppose -5*v + 78 = -52. Let o be (1764/180)/(1/5). Let i = o - v. Is i a multiple of 23?
True
Let j be 16/20 - (-2304)/45. Suppose j = -36*u + 40*u. Does 13 divide u?
True
Suppose -5*n - k + 1668 = -649, -2*n + 3*k = -937. Does 12 divide -4*3/(-7)*(n + 5)?
True
Let m = -185 - -167. Does 20 divide 150*(0 + (-12)/m)?
True
Let k be (1 - 0)*(-2 + -4 + 13). Suppose k = 2*q + 3. Does 9 divide -3 + (-82 - q)*-1?
True
Suppose 103*z - 105*z + 12 = 0. Let y be -6*(-2 - (-6)/4). Suppose y*m = -v + 535, -5*m + 4*v - z*v = -890. Does 30 divide m?
True
Let o(i) = 19*i + 12. Let q be o(-6). Let y = q - -100. Does 57 divide (-1)/(y/1)*114?
True
Let z(s) = 2*s**2 + 13*s - 39. Let r be z(-9). Is ((-1265)/(-33))/(2/r) a multiple of 9?
False
Let k = -10387 + 11261. Does 23 divide k?
True
Let f = -2935 + 6059. Suppose 2*s - 149 = -n + 477, -5*n - 4*s + f = 0. Is n a multiple of 4?
True
Is 10 a factor of 57603/9 + (96/192)/(6/(-4))?
True
Is 210/22 + 18/(-33) + 8581 a multiple of 6?
False
Let c be -100 + -4 + (-4)/(-1). Let g = c - -275. Is g a multiple of 5?
True
Let l = -2924 - -2972. Is l a multiple of 8?
True
Let m be -5*133/(-35) + 5. Is 4/(13/(3666/m)) a multiple of 4?
False
Let v = 12 + 88. Let d be 4 + (-1)/(4/v). Let p = 27 - d. Is p a multiple of 12?
True
Does 8 divide (-192)/(-144)*-267*(1 + -21)?
True
Suppose 483435 = 125*s + 10*s. Does 24 divide s?
False
Suppose -5*b = 6*g - 2*g - 76, -3*g = b - 24. Suppose 202*y + 3 = 203*y. Suppose -5*r + 85 = 2*j - 3, -b = -y*r. Is j a multiple of 7?
False
Let b(k) = -k - 5. Let a(v) = -2*v - 9. Let d be a(-14). Let z = 8 - d. Is b(z) a multiple of 3?
True
Let l(m) = 4*m - 69. Let b be l(18). Let u be 1/(2/(-8) - 122/(-456)). Suppose -u = 3*p - b*t - 693, -2*t - 211 = -p. Is p a multiple of 15?
False
Let k = 729 - 519. Let h = 498 - k. Is h a multiple of 18?
True
Suppose -6*o = -2*o - 16. Suppose -20 = -o*n, 5*b - n = b + 2827. Suppose 5*v + 3*a - b = 0, a = 4 - 8. Is v a multiple of 44?
False
Let r be 14/49 + 3 + (-90)/21. Is 26 a factor of r*(-244 + (-6 - -11))?
False
Let c(t) = -2*t**3 - 14*t**2 - 50*t + 30. Is c(-5) a multiple of 20?
True
Suppose -9*p + 23462 = 103346. Does 21 divide (p/(-21))/((-4)/(-12))?
False
Let y = -247 + 249. Suppose -4*n + 2*t + 218 = 0, -3*n + 265 = y*n - 5*t. Is n a multiple of 10?
False
Let b(x) = -20 + 6*x**2 - 113*x + 113*x. Is b(-8) a multiple of 7?
True
Suppose 0 = 6*l - l - 2*l. Let i(g) = 0*g**3 - 4*g**3 - 8*g**3 + 1 + l*g**3. Does 29 divide i(-2)?
False
Suppose -5*f = -3*i - 19, 5*f - 5*i + 9*i = 33. Suppose -f*w + 525 = 5*t, 5*w - t + 0*t - 549 = 0. Does 11 divide w?
False
Let i(n) be the first derivative of -65*n**2/2 - 44*n + 15. Let s be i(-14). Suppose 4*r + a = -r + 1072, 0 = 4*r - 2*a - s. Is r a multiple of 43?
True
Suppose -378*o + 144768 = -320*o. Is 64 a factor of o?
True
Let k(w) = w**2 - 11*w - 14. Let v be k(10). Let h be 420/v*(-28)/5. Let c = h - 69. Does 10 divide c?
False
Let n(r) = -3*r - 112. Let t be n(-37). Suppose 10 - 2 = -4*f. Is (f - t)*-4 + 4 a multiple of 2?
True
Suppose 145*r - 9152 = 123*r. Is r even?
True
Let c(t) = 49*t**3 - 10*t**2 - 12*t - 79. Is c(7) a multiple of 16?
False
Let m(k) = k**2 + 12*k + 5. Let o be m(-12). Let c be 514/((20/o)/2). Suppose -4*v + c = 1. Does 18 divide v?
False
Let o(i) = -2*i**2 - 55*i - 109. Let p be o(-34). Let v = 675 + p. Is v a multiple of 30?
False
Let l = -7793 - -13529. Is l a multiple of 24?
True
Suppose -4*s - 218*k = -221*k - 122393, -2*s + k + 61195 = 0. Does 43 divide s?
False
Let c(d) = 327 - 329 + d**3 + 5*d**2 - 7*d - d**2. Let p be c(-5). Suppose -a - 1 = -p. Does 7 divide a?
True
Let k(b) = 3*b**2 - 3*b - 578. Let x(y) = 2*y**2 - 2*y - 578. Let w(f) = 3*k(f) - 4*x(f). Let c be w(0). Let t = c - 395. Is 31 a factor of t?
False
Let q = 303 + 2285. Is q a multiple of 46?
False
Let o = -4812 - -7787. Suppose 0 = -10*q + 3*q + o. Is q a multiple of 40?
False
Suppose 0 = 2*w - b - 24680, 0 = -w - w + 4*b + 24674. Is 12 a factor of w?
False
Let n = 5857 - 901. Does 28 divide n?
True
Let n = -3110 + 5099. Is 20 a factor of n?
False
Let s(a) = a + 8. Let i be s(14). Suppose 0 = -4*w - 23*t + i*t + 184, -t = -w + 41. Is w a multiple of 5?
True
Let f be (2 - (0 - 15))/1*2. Suppose 0 = 2*a - 30 - f. Suppose 3*q - k - 158 = 0, -q - k + 22 = -a. Is q a multiple of 5?
False
Let r(j) = -3*j - 22. Let a be r(-8). Suppose 0 = a*f - 4*f - 5*q + 1765, -4*f + 4*q + 3516 = 0. Is 38 a factor of f?
False
Suppose 0 = 5*o - 2*q - 919 - 705, -4*q = -2*o + 640. Suppose 2*k + 78 = i - 256, -i = 2*k - o. Is 30 a factor of i?
True
Let v(l) = -5*l**3 - 6*l**2 - 6*l - 4. Let p(s) = s**2 - 9*s + 5. Let t be p(8). Does 19 divide v(t)?
True
Let y(m) = -2*m**3 + 3*m + 0*m - 2*m + 13*m**2 + 7*m**2 - 21*m**2. Suppose -5*j - 11 = 4. Is y(j) a multiple of 4?
False
Suppose -109*k = -111*k - 4*v + 26274, -5*k + 65646 = -3*v. Does 22 divide k?
False
Is 13 a factor of -9 - (-158)/18 - (-3 - (-343554)/(-27))?
True
Suppose -f - r + 2 = 0, 5*f + 4 = -0*r + 2*r. Suppose -12*x - 572 + 104 = f. Does 51 divide 204*6/4*(-26)/x?
True
Suppose -1588*h + 247076 - 35936 = -1576*h. Is h a multiple of 15?
True
Suppose 0 = 2*i + i - 2*p - 8, -3*i - 3*p - 12 = 0. Let r be 24/(-40) - 15/(-25). Suppose 5*g = l - r*l - 40, 5*l - 5*g - 280 = i. Is 15 a factor of l?
True
Suppose -14007 = -11*t - 18*t. Suppose x - t + 51 = 0. Does 23 divide x?
False
Let o = -126 + 128. Suppose 0 = -2*r + 4*y - 7*y + 2631, o*y + 3927 = 3*r. Does 19 divide r?
True
Let u = 6 + -3. Suppose 0 = u*r - 5*r + 6. Suppose r*n = -4*w - 5 + 44, w + 19 = 5*n. Is w a multiple of 5?
False
Let j = 8 + -37. Let m = j + -40. Let i = m + 101. Does 8 divide i?
True
Suppose -70*b + 82*b - 120 = 0. Is ((-7)/(35/(-920)))/(b/115) a multiple of 23?
True
Suppose 0 = 20*g - g - 224139 - 19631. Is 29 a factor of g?
False
Suppose -129 = -2*v + w, 249 = 6*v - 2*v - 5*w. Let b = v + -12. Is b a multiple of 3?
True
Suppose 2*p - 5*u = -889, 2*u - 1347 = 5*p + 907. Let x = p - -820. Does 46 divide x?
True
Is (-25)/(-50) + 23754/12 a multiple of 165?
True
Suppose 0*u = -5*k + 4*u + 22, k = 4*u + 14. Suppose 0 = s - 5*z - 9 + 29, 5*s + 3*z = -128. Does 20 divide -16*k/(10/s)?
True
Let n = 2428 + 182. Is n a multiple of 5?
True
Let b(n) = -2*n + 16. Let o be b(8). Let c(d) = -d**3 + d**2 + d + 95. Let z be c(0). Suppose -12*u + 11*u + z = o. Is 19 a factor of u?
True
Let x be (40/16)/(-3 + 21/6). Suppose 2*d + 58 = -4*l + d, x*l - 4*d + 83 = 0. Let o(u) = -8*u + 1. Is 9 a factor of o(l)?
False
Suppose 3*o - 18329 = -4*c + 10583, 3*c = 2*o - 19252. Is o a multiple of 4?
True
Suppose -29513 + 113188 = 71*u - 298873. Does 6 divide u?
True
Let o(t) = -t**3 - 29*t**2 + 128*t + 48. Let i be o(-33). Suppose -5*c + 2*v - 56 = -i, -2*v = -4*c + 98. Is c a multiple of 4?
False
Let l(v) = -v + 11*v - v - 28 + 2*v. Is 12 a factor of l(8)?
True
Suppose 25 = 9*b - 2. Suppose 138 = b*p + 3*y, 0*p - 5*y = -5*p + 260. Is p a multiple of 7?
True
Suppose -28*g - 21 + 49 = 0. Let w(l) be the third derivative of 11*l**5/20 - l**4/8 + l**3/3 + l**2. Does 16 divide w(g)?
True
Let x(r) = r**3 + 27*r**2 - 9*r - 7. Let l be x(7). Suppose -l = -10*a + 354. Is a a multiple of 15?
True
Let v(w) = -w**2 + 7*w - 10. Let t be v(3). Suppose 4*o - n = 1528, -403 = t*o - 3*o - 5*n. Does 20 divide o?
False
Suppose 5*m - 2420 = -z, 759*m - 763*m = z - 2418. Does 14 divide z?
False
Suppose 4*v - 88390 = -5*k, 2*v - 154*k - 44206 = -151*k. Does 170 divide v?
True
Suppose -121*y - 3547 = -70581. Does 11 divide y?
False
Is -21*3/((-108)/5172) a multiple of 15?
False
Let r = 1911 + -615. Suppose 4*i - r = -14*i. Is 3 a factor of i?
True
Let k = 5834 + -1788. Does 5 divide k?
False
Suppose -2*r = 2*w - 12 - 14, 4*w + 5*r - 55 = 0. Suppose l + 2*y = 3 + w, -3*y - 8 = -4*l. Does 15 divide (-25)/3*(-1)/(l/9)?
True
Let w(n) be the first derivative of 7*n**2 - 28*n + 6. Let r be w(15). Suppose 3*f - r = -14. Is f a multiple of 14?
True
Let v(z) = 45*z**2 + 72*z - 141. Does 11 divide v(-23)?
False
Suppose j = 4*j - 0*j. Suppose j = 8*k + 16*k - 1728. Does 36 divide k?
True
Suppose 17*s = 14*s + 84. Let n = s - 25. Does 2 divide n?
False
Does 41 divide ((-21)/14)/(-3 + 57102/19036)?
False
Let x = 17853 + -11924. Is x a multiple of 77?
True
Let r(d) = -9*d*