 factor of (p + m/27)/(2/18)?
False
Let z = -600 - -600. Suppose -6*j + 4256 + 34 = z. Does 5 divide j?
True
Let m = -1557 + 2612. Suppose 4*b = -355 + m. Is 25 a factor of b?
True
Let g = 11 - 8. Suppose -4*h = -2*w - 918, -395 = -3*h - g*w + 298. Suppose h = 3*i + j, -168 = -5*i + 3*i + 3*j. Is 5 a factor of i?
False
Let k be ((-2)/6)/((-7)/4641). Let g = -155 + k. Suppose 7*d - g = 207. Is d a multiple of 13?
True
Suppose -5*z + 75 = 15. Let q = -632 + 636. Suppose q*k + z = 0, t + k - 34 - 139 = 0. Is t a multiple of 22?
True
Suppose -q - 2*q - 139 = -5*b, -2*q - 141 = -5*b. Let z = -30 + b. Is 4 + -3 - (-14 - z) a multiple of 14?
True
Does 75 divide ((-1290)/(-1505))/((-3)/(-48489))?
False
Let s(u) = u**3 - 19*u**2 - 2*u + 42. Let o be s(19). Suppose 0 = -o*v - 3*x + 495, -3*x - x - 340 = -3*v. Does 12 divide v?
True
Let l(g) = 1350*g - 2900. Does 4 divide l(16)?
True
Let s = 13058 + -7238. Is 86 a factor of s?
False
Let z(l) = l**3 - 41*l**2 + 6*l + 7. Let d be 36 + 2/(((-72)/(-30))/6). Is 4 a factor of z(d)?
False
Let d(l) = l**2 - 31*l - 36. Let u(t) = 3*t - 28. Let n be u(20). Let s be d(n). Is 8 a factor of (((-72)/(-21))/s)/(1/(-56))?
True
Let m be 0*(-4)/(8/(-1)). Suppose 47*u - 42*u - 2060 = m. Is 44 a factor of u?
False
Let z(p) = -p**2 - 47*p - 311. Let k be z(-39). Suppose -4*q + 108 = 4*n + 12, 120 = 5*q + 4*n. Is 17 a factor of 1638/q - k/4?
True
Suppose -383 = -5*g + 67. Suppose 4*f + 11*f - g = 0. Suppose f = 3*a, -4*a = -5*v - a + 519. Is 7 a factor of v?
True
Let u = -3822 - -6093. Does 22 divide u?
False
Suppose -12*i + 17*i + 6903 = 2*x, x - 3447 = -2*i. Is x a multiple of 151?
False
Suppose -20*n - 32 = -24*n. Suppose n*r - 5013 = -645. Is 7 a factor of r?
True
Let m(z) = 5*z**2 - 657*z + 1410. Does 183 divide m(153)?
True
Suppose -36*q = 59*q + 7*q - 879138. Is 28 a factor of q?
False
Suppose -7*v - 4 = -3*v + 3*g, 0 = -5*g. Let w = v + 172. Does 9 divide w?
True
Suppose 2*c = 2*p - 10, 5 = 4*p + c - 2*c. Suppose 6 = -4*i + 2*x, -i + x - 2*x = p. Is 15 a factor of i - 39/(-33) - 1656/(-88)?
False
Let i(o) = 2*o**2 + 26*o + 28. Let w be i(-12). Suppose -13 + 5 = -4*f. Suppose f*g + 172 = 2*x, 421 = x + w*x + 4*g. Is 13 a factor of x?
False
Let l(a) = a**3 + 12*a**2 - 5*a + 21. Suppose -z + 2*t = z - 176, -3*z - 2*t = -279. Let f = -103 + z. Is l(f) a multiple of 39?
False
Let u(r) = r**3 + 7*r**2 - 14*r + 28. Let b be u(-9). Is b/14 + 78012/154 a multiple of 46?
True
Suppose 207*w - 141*w = 736560. Is w a multiple of 20?
True
Suppose -13*k + 2*f + 253704 = 0, 2*k + 4*f = -379 + 39419. Does 34 divide k?
True
Let j = 3743 + 2332. Is j a multiple of 8?
False
Suppose 5*t + 17*t = 223542. Does 14 divide t?
False
Suppose -36540 = -17*r + 2*r. Suppose 57*c = 60*c - r. Is c a multiple of 28?
True
Is ((-18)/21)/((-4)/2996) + -20 + 14 a multiple of 3?
True
Let r = -74 - -79. Suppose 3*v - j - 74 - 37 = 0, 3*j = r*v - 189. Does 6 divide v?
True
Let j(s) = s**3 + 10*s**2 - 14*s - 14. Suppose 6*l - 5*l = -6*l. Suppose l = 40*p - 35*p + 55. Is j(p) a multiple of 19?
True
Suppose p + 4*v = 29586, 148044 = 697*p - 692*p + v. Is p a multiple of 315?
True
Let h = -165 + 64. Let x = -38 - h. Is x a multiple of 29?
False
Suppose 16*i - 3407 = 27617. Is (-3)/(-2 - i/(-980)) a multiple of 8?
False
Let y(f) = -2*f**2 + 58*f + 1239. Is 128 a factor of y(36)?
False
Let q(w) = -242*w - 1258. Does 32 divide q(-77)?
True
Suppose 70*o - 66*o - 100 = 0. Suppose -u = 2*d - 14, 5*u + 2*d - 7*d - o = 0. Does 12 divide -423*6/(-24) - 6/u?
False
Suppose -4*i + 1118 + 2486 = -2*k, 5*k - 3632 = -4*i. Suppose i = 64*x - 43*x. Is 2 a factor of x?
False
Let r = 240 - 237. Suppose -r*x - 2*u - u + 165 = 0, 0 = -2*u - 10. Is 20 a factor of x?
True
Let i = -53 + 57. Suppose -i*p + 11*p - 3682 = 0. Suppose 11*x - 2 = p. Is 11 a factor of x?
False
Let w be (2 + -3)*619 - 0. Suppose 62*z = 101*z + 14430. Let g = z - w. Is g a multiple of 15?
False
Let j = -1099 + 13880. Is j a multiple of 42?
False
Let y(d) = d**2 - 2*d + 6. Let o = 21 + -16. Let x be y(o). Is 18 a factor of (-1)/(3/(-369)) + x/7?
True
Does 25 divide 7/((-14)/1060)*(64 + -74)?
True
Suppose 30*u - 812 = 23*u. Let b be u/(-30) - (464/(-120) - -4). Is 5 a factor of ((-66)/b)/((-2)/(32/(-6)))?
False
Let v(x) = 2*x**2 + 22*x + 24. Let d(u) = -u**2 - 17*u - 13. Let l be d(-17). Does 19 divide v(l)?
True
Let x(q) = 6*q**2 - 77*q + 653. Is 15 a factor of x(58)?
False
Suppose -39*l + 49*l - 289820 = 0. Is 28 a factor of l?
False
Let b(l) = 4*l**2 + 33. Let n be b(7). Let d = n + -606. Let g = -234 - d. Is 11 a factor of g?
True
Does 33 divide ((-402738)/(-14))/(((-20)/100)/((-8)/30))?
False
Let d = 62 - 54. Suppose -2*o + 214 = d. Suppose -7*k + 163 = -o. Is k a multiple of 19?
True
Suppose 6*w + 15*w + 19 - 61 = 0. Let k(s) be the first derivative of 24*s**2 + 2*s + 1. Does 15 divide k(w)?
False
Let p = 83 + -78. Suppose p*l - 1759 = 3*i, -3*l + i + 1047 = 2*i. Suppose -12*s + l = -274. Does 17 divide s?
False
Let b be ((-66)/24)/11 + (-242)/(-8). Let h be ((-2)/1 + 5)/1. Suppose 3*t - h*r + 9 = b, -2*r = -5*t + 50. Is 12 a factor of t?
True
Let b(a) = a**3 + 12*a**2 + 13*a + 15. Let v(f) = -f - 16. Let x be v(-5). Let l be b(x). Let u = 96 - l. Does 46 divide u?
False
Suppose -8*b - 8 + 32 = 0. Suppose 0 = -c + b*h + 470, -3*c - 10*h + 13*h = -1380. Is c a multiple of 13?
True
Suppose -g - p + 1799 = 0, -4*p + 2 - 6 = 0. Let m = g + -1188. Suppose m = 4*t - 48. Is 31 a factor of t?
False
Let f(a) be the second derivative of -25*a**3/6 + 3*a**2/2 + 25*a. Does 14 divide f(-11)?
False
Is 3 a factor of ((-66150)/(-392))/(2/48)?
True
Let a(v) be the first derivative of -v**4/4 + 14*v**3/3 - 7*v**2/2 + 8*v - 33. Let h be a(7). Suppose -3*y + 346 + h = 0. Is 18 a factor of y?
True
Let p = 159 + -271. Let v = -110 - p. Is 4 a factor of 69 + (3 - (-2)/v)?
False
Suppose -538*g = -529*g. Suppose 610 = x + a, g = 3*a - 26 + 20. Is x a multiple of 32?
True
Suppose h = -4*o + 1 + 11, h = o - 3. Suppose -9*a + 992 = o*y - 4*a, 0 = -2*y - 4*a + 658. Is 22 a factor of y?
False
Let m(i) = 21*i + 74. Let n be m(-5). Let l(o) = o**3 + 31*o**2 - 6*o - 12. Is l(n) a multiple of 38?
False
Let s = -13470 + 14022. Is 5 a factor of s?
False
Let z(j) = -8*j - 66. Let a be z(-11). Is 7 a factor of (106 - (-2)/(-2)) + -17 + a?
False
Suppose -2 = 2*p, 4*b + 4*p = 3*b. Suppose -i = 5*g + b*i - 1505, -3*g + 905 = i. Is 12 a factor of g?
False
Suppose -8342*i + 20496 = -8330*i. Does 7 divide i?
True
Let i be -1*36/24*(-4)/3. Suppose 2*f = -2*k + 202 + 80, 0 = -5*k + i*f + 733. Is 15 a factor of k?
False
Let w(f) = -5*f**2 - 14*f + 273. Let u be w(-9). Let b be 0 - 3/(6/10). Is 16 a factor of 198 + b + 4 - (4 + u)?
False
Let z = 1609 - 3900. Let w = -1617 - z. Is w a multiple of 21?
False
Let d(k) = -k - 11. Let v be d(-20). Let t(f) = -15 - v*f - 17 + 20. Is 11 a factor of t(-5)?
True
Let n(i) = i**2 - 4*i - 8. Suppose 5*f - 3*f - 6 = -z, 2*z + 2*f - 4 = 0. Let t be n(z). Suppose -u + t*j - 5*j = -18, -54 = -3*u + 4*j. Is 3 a factor of u?
True
Let l(t) = -2*t**2 - 153*t + 1862. Is l(-62) a multiple of 12?
True
Let o(r) = -89*r + 79. Let z be o(-11). Suppose 0 = -8*b + z + 1366. Does 55 divide b?
False
Suppose 0 = 6*k - 2*k + 28. Let c(f) be the third derivative of f**5/60 + f**4/4 + 13*f**3/6 + 448*f**2. Is c(k) a multiple of 5?
True
Let j = 1178 + 4672. Is 13 a factor of j?
True
Suppose 3*q - 7 = -5*j, -j = q - 5*j - 8. Suppose -8*v + 540 = q*v. Does 15 divide v?
True
Let w = -14700 + 16110. Is 17 a factor of w?
False
Let c(r) be the second derivative of -3*r**5/10 + r**4/12 + 2*r**3/3 + 2*r**2 + 65*r. Is c(-2) a multiple of 6?
True
Let u(g) = g + 252. Let d be u(0). Suppose -d = -4*q + 364. Let i = -46 + q. Is i a multiple of 12?
True
Suppose 425 = 9*l - 547. Let d be (-298)/4 + 4/(-8). Let h = d + l. Does 6 divide h?
False
Let f(k) = -86*k + 1356. Is 158 a factor of f(-32)?
True
Suppose -706*g + 684248 - 74348 = -599*g. Does 10 divide g?
True
Suppose 11*a + 28*a = -390. Let m(x) = -x**2 - 16*x + 15. Is 2 a factor of m(a)?
False
Suppose -21 + 297 = 3*d. Let f = d + -26. Let a = -38 + f. Is a a multiple of 14?
True
Suppose 2*y + 2761 = 5*a - 2*y, y = 5*a - 2764. Suppose -3*d - 2*o + a = 0, 3 = -2*o + 13. Is 10 a factor of d?
False