25 = -5*x - 0*s, -h*s + 195 = 3*x. Does 29 divide x?
False
Let i(w) be the third derivative of w**5/30 + w**4/6 + w**3/2 + 7*w**2. Let r be i(-2). Is 9 a factor of 5/(10/r)*6?
True
Suppose -5*h = -5*c - 3*h + 15, -4*c = 4*h - 40. Suppose -c*u - 4*u = -1800. Is 29 a factor of u?
False
Let w(h) = 10*h - 24. Does 28 divide w(8)?
True
Let k(v) = -v**3 + 11*v**2 - 11*v + 12. Let u be k(10). Suppose u*d - 80 = 4*r, 6*d - 3*d + 4*r - 80 = 0. Is d a multiple of 6?
False
Let u = -142 - -886. Is u a multiple of 32?
False
Suppose 17 = y + 14. Let d be -3 + -2 + (y - -5). Suppose 0 = 5*l - d*g - 104, -3*g = -3*l - g + 62. Is l a multiple of 14?
False
Let h(f) be the third derivative of 0*f - 2*f**2 + 1/6*f**4 + 0 + 2/3*f**3. Is h(4) a multiple of 20?
True
Suppose 81*v - 79*v = 24. Let g = 96 + v. Does 14 divide g?
False
Suppose 1094 = 4*k + 2*q, 5*k - 3*q - 67 = 1328. Is 10 a factor of k?
False
Suppose 5*s - 285 - 470 = 0. Suppose -3 + s = 4*j. Is j a multiple of 5?
False
Suppose w + 4*u = 6*u + 574, 0 = -w + 3*u + 577. Does 71 divide w?
True
Suppose 36 - 575 = -y. Suppose -3*p - 6*v + 3*v + 408 = 0, y = 4*p + 3*v. Does 24 divide p?
False
Let b(c) = -6 + 32 + 0*c + 4*c. Let l be b(-11). Is 5 a factor of (-510)/l - (-4)/6?
False
Let f(b) = 3*b**3 - 2*b**2 - 2*b - 7. Let i(c) = c**3 - c**2 - 14. Let t be i(0). Let z = 17 + t. Is f(z) a multiple of 15?
False
Let q(c) = c**2 - 6*c + 2. Let u be q(6). Suppose 0 = -0*g - 2*g - z + 5, -u*g - 10 = -2*z. Suppose 5*t = t - 2*i + 110, g = 3*i - 9. Is 25 a factor of t?
False
Suppose 530*o = 522*o + 44664. Does 18 divide o?
False
Let s be (-24)/(-10) - (-4)/(-10). Let f(d) = 4*d**2 - 6*d**2 - 2*d**s + 3*d**2 - 13*d - 7. Does 6 divide f(-6)?
False
Is 7 a factor of ((-13 - -11) + 0)/((-2)/41)?
False
Let b(x) = 29*x + 413. Is 4 a factor of b(19)?
True
Suppose m = 2*m. Suppose m = -3*f - 4*b + 136, 5*b = -f + 3*b + 42. Let d = 76 - f. Is d a multiple of 7?
False
Let q(g) = -20*g. Let w be q(-6). Is 1/((0 - -3)/w) a multiple of 10?
True
Let s = 429 + -99. Does 5 divide s?
True
Let a(c) = c**2 + 3*c + 3. Let j be a(-2). Let l = 1 + j. Suppose -5*t + 2*s + 80 = -2*t, l*t - 36 = -3*s. Is t a multiple of 24?
True
Does 10 divide (1668/10)/((-12)/(-30))?
False
Let u = 510 + -411. Is 12 a factor of u?
False
Does 6 divide (-114)/(-10) + (-33)/(-55)?
True
Let l(z) = -z**3 + 14*z**2 - 10*z + 114. Is l(8) a multiple of 19?
True
Let k(i) = 3*i**2 + 6*i + 23. Let x be k(8). Let w = x - 138. Is w a multiple of 21?
False
Suppose 4*t - 20 = -0*t. Suppose -117 = -t*n + 2*n. Let r = -12 + n. Is r a multiple of 24?
False
Is (-6956)/(-10) - 22/(-55) a multiple of 9?
False
Let r = -608 + 779. Is r even?
False
Let m(o) = -o + 9. Let q be m(3). Suppose q*p = 5*p - 4. Let n(z) = -18*z. Is n(p) a multiple of 21?
False
Let d = 10 - -65. Is d a multiple of 5?
True
Let m = -1247 - -2583. Is m a multiple of 115?
False
Suppose 10*n + 175 = 11*n + 5*o, -3*o = n - 185. Is n a multiple of 44?
False
Let w(b) = -b**3 - 12*b**2 - b - 17. Let y be w(-12). Let r = y - -5. Suppose 4*a - 98 - 14 = r. Is 8 a factor of a?
False
Let p be (-2)/(-9) - 250/(-90). Suppose q - 40 = p*j, -5*q = -5*j - 281 + 81. Is 16 a factor of q*((-1 - -1) + 2)?
True
Suppose 0 = -3*g - 2*g + 545. Suppose -35 = -p + g. Does 16 divide p?
True
Let n be ((-4)/8)/(3/18). Let f(w) = -35*w + 10. Is 6 a factor of f(n)?
False
Suppose 9 = 3*v - 6. Suppose v*a - 225 = -2*d, -2*a - 3*d = -4*a + 90. Let y = 75 - a. Is 15 a factor of y?
True
Suppose 4*g - 3*g - 923 = -4*m, 5*m + 15 = 0. Is 17 a factor of g?
True
Suppose -3*n + 5*v - 29 = 0, 0 = -v + 1. Let p(o) = o**3 + 11*o**2 - 10*o - 24. Is p(n) a multiple of 25?
False
Suppose h + 3 = 2*y, 0 = 4*h + 2*y - 36 + 8. Let m = h - 3. Suppose -v = -j + 40, -2*v - m*v = 4*j - 136. Is 17 a factor of j?
False
Suppose s - y - 17 = 4*y, 3*s - 2*y = 38. Does 3 divide (15/(-9))/((-10)/s) - -24?
False
Let t(j) = -j**2 + 14*j + 17. Let f be 13 + (-2)/(-1) + (5 - 8). Is 13 a factor of t(f)?
False
Suppose 36*u - 121649 - 12811 = 0. Is 21 a factor of u?
False
Let l(v) = -v + 1. Let n(p) = p**3 - 4*p**2 + p + 2. Let q be n(3). Let i be l(q). Suppose -i*z - 2 = -37. Is z a multiple of 4?
False
Suppose 48*a = -14*a + 15190. Is a a multiple of 4?
False
Let m(o) = 14*o + 4 - 50*o - 3. Let w(h) = 18*h - 1. Let c(n) = 3*m(n) + 5*w(n). Is 13 a factor of c(-3)?
True
Let q(w) = -w**3 + 29*w**2 + 45*w - 145. Does 32 divide q(27)?
True
Suppose 9*t - 50 - 85 = 0. Suppose -t - 225 = -3*b. Is b a multiple of 20?
True
Let o be 2/((4/5)/2). Suppose -5*i - b + 33 = 0, 0 + 3 = 3*i - o*b. Suppose 4*v - 33 = h, 2*v - 21 = i*h - h. Is 3 a factor of v?
False
Is 48 a factor of (-4 - 28788/(-90)) + 4/30?
False
Let b = -71 - 7. Let l = b + 105. Does 4 divide l?
False
Suppose -5*c + 28860 = 10*c. Is c a multiple of 74?
True
Let z = -18 + 16. Does 23 divide (z - -177)/(10/10)?
False
Let q be (-33)/(-55) - (-1344)/10. Let f = 237 - q. Is 34 a factor of f?
True
Let y be 3 - (-146 + 0 + 2). Let d = -79 + y. Is d a multiple of 17?
True
Suppose 4*w + 0*w = 1052. Let l = -153 + w. Let m = l + -78. Does 8 divide m?
True
Suppose 0 = -41*q + 38*q + 486. Is q a multiple of 26?
False
Suppose 0 = t - 2*t + 11. Let s = 27 + -11. Let v = s + t. Does 9 divide v?
True
Let o(h) = -h**3 + 10*h**2 + 6*h + 1. Let i be o(8). Suppose 4*s + i + 28 = 5*r, 0 = r - s - 41. Is r a multiple of 14?
False
Let i be 1/2 - (-2763)/2. Suppose 0 = -11*d + i - 293. Is d a multiple of 21?
False
Suppose 488 = 4*h + 2*z - 4*z, 4*h + 4*z = 512. Does 31 divide h?
True
Suppose -152*i + 155*i - 3*q = 6777, -2*i = -q - 4513. Does 14 divide i?
True
Let j = -164 + 234. Let t be (-28)/j + (-22)/(-5). Suppose 4*l + 5*y = 67, -y - 82 + 9 = -t*l. Does 6 divide l?
True
Let w = -14 + 18. Suppose 7*m - w*m - 27 = 0. Is m a multiple of 9?
True
Let m = -14 + 13. Let a be 88/(-24) + m/3. Does 3 divide a/(-10) + 86/10?
True
Let u(c) = -c**2 - 10*c - 1. Let q = 15 - 22. Is u(q) a multiple of 20?
True
Let m(y) = -y + 7. Let p be m(-5). Suppose p = -z - 2*r, 3*r + 4 = -0*z + 2*z. Is (7 + z - 0) + 6 a multiple of 3?
True
Let q = 1586 - -87. Does 37 divide q?
False
Suppose -2*d + 4*p - 1016 = -7*d, 4*p - 216 = -d. Is d a multiple of 50?
True
Let u be (5 - (11 - 3))*(-70)/6. Let x = 84 - u. Is x a multiple of 17?
False
Suppose -g + 3*g + 42 = -o, 5*o = -2*g - 218. Let b = -29 - o. Suppose 20*f = b*f + 475. Is 29 a factor of f?
False
Is 30 a factor of ((-2)/((-16)/884))/(2/4)?
False
Let g = -32 - -75. Let f = -73 + g. Let i = 13 - f. Is i a multiple of 17?
False
Suppose -4*w = -3*y + 2515, -12*y + 5*w - 4180 = -17*y. Does 17 divide y?
False
Let v(j) = 19*j**2 + 5*j. Does 6 divide v(-2)?
True
Let f be 9*10/15 - 0. Does 20 divide ((-9)/f)/(6/(-328))?
False
Let w be ((-40)/15)/4*-3. Suppose 5*l - 11 - 1 = -p, 5*l - 5*p = 0. Suppose -w = -l*h, -4*h = 2*c - 3*h - 125. Does 20 divide c?
False
Let p(d) = 3*d**2 + 30*d - 113. Is p(-25) a multiple of 44?
True
Let k(d) = 5*d + 6*d + 1 + d + 2*d. Let z(p) = -112*p - 7. Let b(s) = -49*k(s) - 6*z(s). Is b(-4) a multiple of 12?
False
Let r(q) = -18*q - 21 + 9 - 3 - 12. Does 13 divide r(-6)?
False
Let b(l) = -l. Let u(y) = 12*y - 20. Let d(c) = 10*b(c) + u(c). Let k be d(10). Suppose -3*x - 3*x + 156 = k. Does 13 divide x?
True
Let k = -18 + 11. Let m = k - -7. Suppose 2*b - 6 = -4*l, 4*l - l + 9 = m. Is 3 a factor of b?
True
Let b = 13 + -27. Let f be b - -7 - (1 - -2). Let x(a) = -a + 12. Is x(f) a multiple of 11?
True
Let j(o) = o**3 + 9*o**2 + 2*o - 3. Let b be 1 - (7 + 2)/1. Is j(b) a multiple of 14?
False
Let p(h) = -h**3 + 23*h**2 - 49*h - 36. Is p(16) a multiple of 27?
True
Suppose -23*b = -26*b - 4*i + 1252, 2*b = 5*i + 850. Is 49 a factor of b?
False
Suppose 3*i = -3*f + 972, 3*i + 320 = -10*f + 11*f. Is 19 a factor of f?
True
Let q be 2 - 3 - (-3 + -12). Suppose -v + 3*i - 6 = -2, 5*v - q = -2*i. Does 15 divide (-6)/v - (-288)/6?
True
Suppose -9*m = -11*m + 200. Let d = m + -28. Is 18 a factor of d?
True
Let d(f) = 7*f**3 + f**2 + f + 1. Let y(l) = 6*l**3 + l**2 + l + 2. Let b(j) = -3*d(j) + 2*y(j). Let u be b(1). Is (-336)/u - (-12)/(-20) a multiple of 15?
False
Let m(s) = 22 + 0*s**2 - 4*s**2 + 2*s**2 + 10. Is m(0) a multiple of 8?
True
Let c(o) = -15*o - 9. Let a(t) = -t**3 - 4*t**2 + 5*t - 1. Let m b