 a multiple of 101?
False
Let h = 9493 - 721. Does 60 divide h?
False
Suppose -x + 4*r = 2, 3*x + 5*r + 4 = x. Is (-41)/x*10 - -6 a multiple of 34?
False
Let p be (-2)/((30/5)/6) - -5. Suppose 0 = p*n - 2*s - 1558, 0 = -4*n - n - 5*s + 2580. Does 14 divide n?
True
Suppose -2829 = -3*p + 999. Is 14 a factor of p?
False
Does 40 divide (-26)/(-52)*((-5432)/(-10))/(10/1475)?
False
Let b(z) = -30*z - 102 - 24*z + 34*z. Does 29 divide b(-16)?
False
Let c(r) = 31*r**2 - 60*r + 116. Does 24 divide c(2)?
True
Let u(m) = -m**3 - 4*m**2 - 23*m - 7. Let r(i) = 2*i**3 + 5*i**2 + 22*i + 8. Let d(x) = -2*r(x) - 3*u(x). Is d(5) a multiple of 5?
True
Let p = -1565 + 3254. Suppose -56*d + 53*d + p = 0. Is 32 a factor of d?
False
Suppose 3*u = 3, -2*z + 37 = -0*z + 5*u. Suppose -z*i + 18*i = 4. Suppose -l + 2*r + 0*r = -146, 3*r = i*l - 291. Is 36 a factor of l?
True
Suppose 4*k - 8 = 8. Let m be ((-4)/(-6)*87)/(k/8). Let c = -79 + m. Is 37 a factor of c?
True
Let g(j) = -j + 14. Let x be g(0). Let p = 232 - 239. Is (-107)/p + 11/((-539)/x) a multiple of 3?
True
Let w(r) = 2*r - 23. Let m be w(11). Let z be -3 + 5 + (-1)/m + 0. Is 16 a factor of 2 - (-34 + 12/z)?
True
Suppose 3*y - 249 = -11*u + 12*u, 3*y = 0. Let i = -214 - u. Is 7 a factor of i?
True
Let r be (-1)/(22/(-62)) - (-38)/209. Suppose -2*p + r*i = -16, -2*p + i = -p - 7. Let j(l) = -l**3 + 5*l**2 + 9*l - 8. Is 10 a factor of j(p)?
False
Suppose -p = -2*v + 5, 5*v - 26 = 12*p - 8*p. Let k(y) be the second derivative of 7*y**3/6 + 37*y**2 - y. Does 2 divide k(p)?
False
Suppose -115*h + 125*h - 4000 = 0. Is h a multiple of 53?
False
Let m be (-4004)/(-39)*378/4. Suppose -m = -10*j - 23*j. Does 11 divide j?
False
Let q(w) = w**3 + w**2 - w + 18. Let s be (1 + 4 + -4)/(-1). Let r be 6 + -7 - (s + 0). Does 5 divide q(r)?
False
Suppose 15*m - 493256 = 50524. Is 14 a factor of m?
False
Suppose 32*r + 30294 = 10*r. Let m = -805 - r. Does 11 divide m?
True
Let g be -2*84483/(-48) + (-16)/128. Suppose 27*y = 5*y + g. Is 16 a factor of y?
True
Suppose -128 = 14*w - 10*w. Let d(g) = -g**2 - 29*g + 110. Is 7 a factor of d(w)?
True
Let s be 28/(1/(9 - -1)). Let o = -239 + 249. Suppose -o*u - s = -14*u. Does 14 divide u?
True
Let h be (-1944)/(-39) + 2/13. Suppose i = -4*i + h. Does 22 divide -6 + i + (-10 + -1)*-8?
False
Suppose -6 = h - 5*o + 2*o, 5*h - o = 12. Suppose 3*s - 2*q = 4, -3*q = h*s + 2*q + 10. Suppose -z - 5*n - 81 = -2*z, s = -n + 2. Is 13 a factor of z?
True
Let l be 3/(7/((-140)/(-15))). Suppose l*y + 2 = 14. Let q = y + 3. Is q a multiple of 2?
True
Let w = 17454 + -3870. Is 86 a factor of w?
False
Suppose 2*q - 25 = 5*k, -2*k + 5*q + 4 = k. Is 5 + k/((-21)/9) + 362 a multiple of 37?
True
Suppose -h + 60 = 2*p, 2*p + 30 = 3*p + 4*h. Is 42 a factor of (-2)/(((-2)/(-10))/((-852)/p))?
False
Let x = 7 - -613. Let k = 37137 - 37141. Is 3 a factor of -2*k/52 + x/26?
True
Let c = -3666 - -20280. Does 32 divide c?
False
Let d(n) = 9*n - 9. Let u be d(1). Suppose 10*p = -u*p + 17130. Suppose -p = -10*x + 567. Is x a multiple of 19?
True
Let t(o) = -2836*o**3 + 17*o + 16. Does 3 divide t(-1)?
True
Let n(t) = -t**3 - t**2 - t - 1. Let b be n(2). Let z(h) = h**3 + 8*h**2 + h - 3. Let d be z(-3). Let m = d - b. Is m a multiple of 9?
True
Let w(k) = 4*k - 11. Suppose p + 2*p = -9. Let z(a) = 4*a - 11. Let b(q) = p*z(q) + 4*w(q). Is 13 a factor of b(12)?
False
Let d be 1/3 + (-400)/(-15). Suppose 28*u - d*u - 19 = 0. Let f = u - 15. Is f even?
True
Suppose -139250 - 560575 = -143*s - 12*s. Is 37 a factor of s?
False
Is 198 a factor of (-256 + (5 - 3))/(8226/549 - 15)?
False
Suppose -43*y + 39*y + 28402 = -3*v, 7114 = y - 3*v. Does 8 divide y?
True
Let k(x) = 104*x**3 + 5*x**2 - 19*x + 10. Let o be k(6). Suppose 22*i + o = 45*i. Does 28 divide i?
True
Let y(d) = -d**3 + 11*d**2 + 13*d - 10. Let a be y(12). Let i be a/((-2)/4*(-44)/33). Suppose -2*u + 0*w - i*w + 300 = 0, 2*u = w + 284. Is 24 a factor of u?
True
Suppose 13*s - 1313 = -9074. Is ((-1)/4)/(3/8)*s a multiple of 9?
False
Let x(j) = 953*j + 669. Does 24 divide x(3)?
True
Let q be 10*(-3)/6*(-507)/(-5). Let o = 577 + q. Is 3 a factor of o?
False
Let r = 41 + -39. Suppose 5*n - 180 = -3*z, -r*z + z + 71 = 2*n. Suppose -a = -n + 5. Does 4 divide a?
True
Suppose -72*r + 39*r + 204768 = -17*r. Does 58 divide r?
False
Suppose -7*q + 12*q = -45. Let p(v) = -v**2 - 15*v - 30. Is p(q) a multiple of 4?
True
Let v be 2/7 + 144/(-63) - -3. Let c be ((-284)/(-8))/(v/2). Suppose -5*f = -271 + c. Does 8 divide f?
True
Suppose -4*i - 2612 = -x + 1309, 3*i = -3. Is 17 a factor of x?
False
Let t(o) = o**3 + 14*o**2 - 14*o + 14. Let y be t(-15). Let f(n) = -26*n + 0 - 57*n + 3 - 9*n. Is 19 a factor of f(y)?
True
Let g(b) = -24*b - 8. Let r be g(-8). Suppose 0 = 9*k - 598 + r. Does 12 divide k?
False
Let d be -192*(-6)/9 + 4. Suppose -15*h + 18*h - d = 0. Suppose -126 - h = -5*i. Is i a multiple of 5?
False
Suppose 17*k + 44*k - 238559 = 2009840. Is 98 a factor of k?
False
Let u(k) = 431*k**2 + 2*k + 3. Let w(g) = 6*g - 61. Let d be w(10). Is 27 a factor of u(d)?
True
Suppose -8*v - 98 - 102 = 0. Is 25 a factor of 3490/v*(-5)/2?
False
Let q(g) = g**2 + 9*g - 17. Let y be q(-11). Suppose t - 93 = -2*r, -225 = -4*r - r - y*t. Is 30 a factor of r?
False
Let t(n) = -70*n + 1472. Does 6 divide t(-25)?
True
Is 3 a factor of 2636 + 2 - (0 + (9 - 5)/1)?
True
Let n be (-4)/14 + 148/28 + -5. Suppose n = 4*b + 5*f + 641 - 3086, -4*b + 4*f = -2472. Is 41 a factor of b?
True
Let x = 5636 - 3244. Is x a multiple of 8?
True
Let w = 4823 - 3276. Does 7 divide w?
True
Suppose 80*j - 37*j = 40*j + 6645. Is 15 a factor of j?
False
Let n(c) = c - 5. Let s be n(6). Let a be (s - 5)*((-1790)/8)/5. Let z = -107 + a. Does 17 divide z?
False
Let y(r) = 42*r + 306. Let m be y(-20). Let h = m + 603. Is h a multiple of 11?
False
Let z be 2*4/(-68) - (-752)/34. Let h(y) = -2*y**2 + 51*y + 1. Is h(z) a multiple of 6?
False
Let c = -29 - -33. Suppose -3*a + 2106 = 5*v - 6*a, 0 = -c*v + 2*a + 1684. Is v a multiple of 35?
True
Let y(h) = 3*h**3 + 28*h**2 - 14*h - 14. Let s be y(-9). Suppose 2*q + s = 1007. Does 37 divide q?
True
Suppose 4*j = 1457 - 1449. Suppose x - 162 = j*n - 795, -3*x = -5*n + 1581. Is n a multiple of 10?
False
Let j = 17 - 17. Suppose 39 = 17*y - 12. Suppose -3*q + 15 = j, -9*w - 51 = -12*w + y*q. Does 11 divide w?
True
Suppose 16*g + 616 = 5*g. Let k be g/84 + (-46)/(-6). Does 14 divide 1375/k - 15/35?
True
Let t(v) = -212*v - 15. Let a(u) = u**2 + 9*u - 39. Let m be a(-12). Does 43 divide t(m)?
False
Let n(y) = -300*y + 1740. Does 10 divide n(5)?
True
Suppose -7095 = 21*f - 9*f - 13*f. Does 43 divide f?
True
Suppose 5*p + 21 = 36. Suppose -3*r + 3*f = -273, 7*r - 380 = p*r - 4*f. Is r a multiple of 13?
False
Suppose 29*l - 30*l + 913 = -t, -3676 = -4*l - 4*t. Does 10 divide l?
False
Suppose -148 = 8*f + 76. Is ((-33)/(-2))/((-6)/f) a multiple of 11?
True
Let f be (-22 - -2)*(-3)/4. Is 57*f - (12 - 10) a multiple of 72?
False
Let u(v) = v**3 + 5*v**2 - v - 6. Let r be u(-5). Suppose 3*a + 4*w + 7 = 3*w, -2*w - 11 = 5*a. Is (r - 2) + (a + 111 - -1) a multiple of 18?
False
Let r be (-2 - 1) + (0 - 6). Let k be 23 + 2/(-5)*(13 - 8). Let p = k + r. Is 3 a factor of p?
True
Let a(g) = -5*g**2 - 14*g - 25. Let x(i) = -14*i**2 - 41*i - 74. Let d(o) = 11*a(o) - 4*x(o). Let s be ((-4)/12)/(7/210). Is d(s) a multiple of 12?
False
Let w = -170 - -285. Suppose 0 = 23*q + w - 2047. Is q a multiple of 42?
True
Let j = 1954 - -5052. Is j a multiple of 113?
True
Let b(p) = 19*p + 174. Let d be b(17). Suppose 5*l - d = 653. Is l a multiple of 19?
False
Does 32 divide 276872/14 - (640/140 - (7 + -3))?
True
Let n(c) = 160*c**3 + c**2 - 20*c + 20. Let g be n(1). Is 14 a factor of 23/(g/(-14)) - (-696)/2?
False
Let s = -534 + 302. Let g = s - -520. Does 18 divide g?
True
Suppose -9607 = -2*u - 5*o, -4*u + 0*o - 5*o = -19179. Is 62 a factor of u?
False
Is (-723720)/(-186) - (-30)/930 a multiple of 37?
False
Suppose m = 37 - 11. Let s = m + -22. Suppose 11*r - 413 = s*r. Is r a multiple of 9?
False
Suppose 3*t = -t + 4*d - 200, -4 = 4*d. Let o = t - -56. Suppose -407 = -o*g + g - 3*f, 207 = 2*g + 5*f. Is 20 a factor of g?
False
Let y = 13 + -15. Let a be 6/12 - 29/y. Suppose -a*v + 1505 = -8*v. Is v