- 341. Is j a multiple of 23?
True
Let p = 1169 - 701. Is 18 a factor of p?
True
Is (-8)/(-5)*(21654/24 + 14) a multiple of 51?
False
Is (-3)/((4/(-19412))/((-7)/(-21))) a multiple of 85?
False
Is 6 a factor of 13970/44 - (-7)/(-2)?
False
Let v(z) = -z**2 + 13*z - 26. Suppose x - 25 + 17 = 0. Is 7 a factor of v(x)?
True
Let i = -1276 - -2030. Is 26 a factor of i?
True
Suppose 31*o - 10*o = 23478. Is 13 a factor of o?
True
Suppose l - 2738 = -2*u, 10*l = u + 9*l - 1369. Is 40 a factor of u?
False
Let o(z) = 12*z**2 - 7*z - 10. Is o(-4) a multiple of 10?
True
Let i(s) = -2*s - 3. Let d be i(-4). Suppose 3*u - 6 = -d*n + 15, -3*u - 6 = -4*n. Is (n/(-2))/((-1)/36) a multiple of 18?
True
Let b(g) = 31*g**2 - 6*g - 16. Is b(-2) a multiple of 4?
True
Suppose 0 = -2*s + s + 255. Let v = s - 159. Is v a multiple of 24?
True
Let f = -1 + 3. Suppose -r - 9 = -p, -f*p - 19 = 5*r + 61. Is 6 a factor of (r/(-2))/(1/3)?
False
Let m be 8*(-3)/(-12)*2. Suppose 5*b - 585 = 2*f, 2*f - 280 - 206 = -m*b. Suppose -g + 0*y = -y - 49, 3*g - b = -4*y. Does 15 divide g?
True
Suppose 5*y = 4*d + 22, -3*d - 12 + 3 = 0. Let b(f) = -7 + y*f - 3*f - f - 11*f**2 - f - f**3. Is b(-11) a multiple of 17?
False
Let v = -50 + 53. Suppose b + 3*h = 8*h + 25, -4*h = -4*b + 148. Suppose b = 2*l + v*l. Is l a multiple of 4?
True
Suppose -3878 = 49*q - 56*q. Does 32 divide q?
False
Let y(u) = -13*u - 6. Let x = -91 - -89. Is 2 a factor of y(x)?
True
Let u(d) = d**3 + 3*d**2 + 3*d + 3. Let p(i) = 6*i**3 + 15*i**2 + 16*i + 16. Let b(g) = -2*p(g) + 11*u(g). Let w = 247 - 245. Is b(w) a multiple of 4?
False
Suppose 46 = 14*u - 24. Let x = -190 + 287. Suppose -u*s - 30 = -10, -3*l = 5*s - x. Is 13 a factor of l?
True
Let n be ((-4)/(-1))/((-2)/2). Let g be ((-2)/(-4))/((-1)/n). Suppose 3*v - g = 10. Is v a multiple of 2?
True
Suppose -14*r = -23163 - 1925. Is 14 a factor of r?
True
Let i(f) = -f**3 + 8*f**2 - 7*f + 10. Let p be i(7). Suppose -g + 5*o = -p, 6*o - 2*o - 4 = 2*g. Let l(u) = u**3 + 9*u**2 - 14*u - 6. Is l(g) a multiple of 19?
False
Suppose 0 = 8*c - 32*c + 9240. Is 35 a factor of c?
True
Suppose 2*b = 2*r + r + 2055, 2*r = 6*b - 6158. Is 18 a factor of b?
True
Let y = -308 + 991. Does 10 divide y?
False
Suppose 4*k + 12 = -2*q, 3*q = -4*k + k - 21. Let s = q - -11. Suppose s*w - 144 = -i - i, 2*w + 4*i - 96 = 0. Does 19 divide w?
False
Let b = 826 - 598. Does 19 divide b?
True
Let v(q) = q**3 - 11*q**2 + 10*q - 3. Let g be v(10). Let u be ((0 - g) + -1)*1. Let t = 11 + u. Is t a multiple of 9?
False
Suppose 0 = -5*h + 3 - 13. Let c be 430/40 - h/8. Let r = c + 59. Is 14 a factor of r?
True
Let d(r) = -2*r. Let x(q) = 3*q**2 + 15*q + 5. Let k be x(-4). Is 4 a factor of d(k)?
False
Let g be 6/9*(-1773)/6. Let i = 403 + g. Is 5/(-10) + i/4 a multiple of 14?
False
Suppose -2*x - 4*c = 3*x + 4, 5*c = -3*x - 5. Suppose 3*k + 5*j - 17 = x, -j + 0*j + 51 = 4*k. Is k a multiple of 4?
False
Let u(g) = 5*g**2 - 53*g + 12. Does 29 divide u(16)?
False
Let s(t) = t**2 - 2*t - 4. Let x be s(-3). Let p be (-26)/(-39) + (-58)/(-3). Suppose -p - x = -b. Is b a multiple of 24?
False
Let m = -312 - -1752. Does 74 divide m?
False
Suppose -2*y - 333 = y + 3*q, 330 = -3*y - 2*q. Let o = y - -169. Is 31 a factor of o?
False
Suppose 21*a - 16 = 17*a. Let t(o) = o**3 - 4*o**2 - 2*o + 8. Let n be t(a). Let l(k) = -k**2 + 45. Does 15 divide l(n)?
True
Suppose -15*n = -25*n + 7670. Does 30 divide n?
False
Let x(g) = -5*g + 6. Let q(k) = -k**2 + 9*k + 7. Let c be q(6). Let p be 3/15 - 155/c. Is x(p) a multiple of 12?
True
Let r = -741 - -1213. Is r a multiple of 49?
False
Let g(x) = x**2 + 11*x - 7. Let b be g(-12). Suppose 0 = 3*l - 5*j - 115, 2*j - j = b*l - 177. Suppose -4*s + 85 + l = 0. Does 10 divide s?
True
Let d be (2*-1)/((-16)/72). Let r(b) = -b**3 + 8*b**2 + 18*b - 17. Does 11 divide r(d)?
False
Let c(k) = -k**2 + 8*k - 7. Let s be c(7). Suppose 4*u - 3*h = 3*u + 12, 2*u - 5*h = 21. Is s - (0 + u) - -78 a multiple of 27?
False
Suppose -2*o = -5*t - 93, 5*o + 3 = 2*t + 36. Let p(i) = i**2 + 17*i - 31. Does 3 divide p(t)?
False
Let g be (-12)/24*(-1 - 11). Is (g/(-8))/((-17)/272) a multiple of 4?
True
Let l(a) be the first derivative of a**2/2 + 11. Let s be l(-1). Is (s + -1)/(1/(-10)) a multiple of 4?
True
Let k = 425 - -107. Is k a multiple of 28?
True
Let c(x) = 6*x - 16. Let p(w) = -3 - 2*w**2 + 5*w**2 - 2*w**2 + 5 + 8*w. Let n be p(-9). Does 10 divide c(n)?
True
Is 14 a factor of 3*(-4)/66 + 399276/594?
True
Let k(p) be the third derivative of p**6/120 - p**5/10 + p**4/6 - p**3/2 - 8*p**2. Let m be k(6). Does 12 divide 18/m*(-35)/(-1)?
False
Suppose 4*b - 3568 = -4*j, 0*j - 1774 = -2*j + 3*b. Is j a multiple of 92?
False
Suppose -9 = -2*w - 3. Suppose w*u = -2*u + 55. Let p = u - -7. Is p a multiple of 18?
True
Suppose -491 = 10*g - 4801. Is 10 a factor of g?
False
Let l(z) = -207*z**3 - 9*z - 8. Is 26 a factor of l(-1)?
True
Let p be (1 - 4)*(-520)/(-12). Let a be (-20)/p - 74/(-26). Suppose k - 2*g - 68 = -0*g, -a*g = 3. Does 22 divide k?
True
Let v(y) = -y**2 + 45*y - 132. Is v(33) a multiple of 8?
True
Let a = -1137 - -1940. Is 13 a factor of a?
False
Let l(f) = -f**3 - 7*f**2 + f + 4. Does 17 divide l(-8)?
False
Is 4 a factor of (-11)/(-2) + (-3)/6 + 24?
False
Let n(a) = -1. Let l(b) = 22*b - 10. Let h(v) = -l(v) + 6*n(v). Does 12 divide h(-3)?
False
Let p(u) = 120*u**2 + u - 9. Is p(3) a multiple of 24?
False
Suppose -x = -2*h - 16, -x - 2*h + 27 = 7. Let u = 65 + x. Is u a multiple of 29?
False
Let q = -389 + 903. Is q a multiple of 10?
False
Suppose 3*l - 31 = -5*q - 1, 5*q - 5 = 2*l. Suppose 0*p = -l*w + 4*p - 198, 5*p = 3*w + 111. Does 3 divide (-602)/w + (-1)/3?
False
Suppose 0 = 4*q + 20 - 92. Let y = 18 - q. Let f = y + 8. Does 4 divide f?
True
Let l(b) = -b + 9. Let q be l(9). Let v be (1 - -2) + q - -1. Suppose z + 2*z - 4*r - 35 = 0, -3*r = v*z - 55. Is z a multiple of 3?
False
Suppose 5*n - 2 = 13. Let d(o) = -3*o + 3. Let u be d(n). Let r = u + 40. Does 13 divide r?
False
Let w = -845 + 1233. Let a = w + -204. Is a a multiple of 46?
True
Does 8 divide 5/(25/1095) + 5 + 0?
True
Let o(w) be the second derivative of -w**3/6 + 5*w**2 + 8*w. Let t be o(-8). Does 37 divide (-783)/t*(-2)/1?
False
Let l(w) = w**2 + 2*w + 28. Suppose -3*j = -4*q + 9, -3*q - j - 1 = 2. Is 16 a factor of l(q)?
False
Suppose -165*i + 167*i - 2 = 0, 2*j - 215 = i. Is j a multiple of 27?
True
Let l(f) = 35*f + 19. Let t = -135 - -138. Is 23 a factor of l(t)?
False
Suppose 7*v - 72 = 3*v. Suppose -5*p - v = -n, 7 = -5*n + 4*p + 34. Let x = 12 - n. Is x a multiple of 4?
False
Let s(l) = 5*l**3 - 10*l**2 + 33*l - 4. Does 16 divide s(4)?
True
Let t = -177 - -739. Does 48 divide t?
False
Suppose 7*k - 6*k + 5*a - 1115 = 0, -4*k + 4*a + 4388 = 0. Does 25 divide k?
True
Let x be ((-2)/(-6))/(1/(-3)). Let k(i) = -118*i**3 - 3*i**2. Is 23 a factor of k(x)?
True
Suppose 0 = 4*v - 0*v - 480. Let w = -20 + v. Does 18 divide w?
False
Let k(s) = -4*s + 1. Let p be k(3). Let m = p + 14. Is -1*(-1 + m) + 43 a multiple of 18?
False
Suppose -3*h + l + 23 = 0, -31 = -2*h - h - l. Let o = 1 - -3. Suppose 1 = -2*f + o*u + h, u = -4*f + 7. Is f a multiple of 2?
True
Let j(k) = 46*k + 202. Is 34 a factor of j(3)?
True
Let w(j) = 79*j - 12. Let v be w(6). Suppose 8*r - v = r. Is r a multiple of 11?
True
Let c = -3 - -8. Suppose 48 = 7*s - c*s. Is 13 a factor of s?
False
Suppose 0*j - 10 = -2*j. Suppose -5*q = 2*p, -19 = -q + 4*q + j*p. Let t(b) = 17*b**3 - 4*b**2 + 4*b - 2. Is t(q) a multiple of 33?
False
Let a be (-30)/45*(-201)/1. Let r = -85 + a. Does 11 divide r?
False
Let k(s) = 10*s + 51 - 17*s + 53. Does 11 divide k(0)?
False
Let x(c) = -44*c + 77. Is 51 a factor of x(-11)?
True
Let l be 430/90 - (-2)/9. Suppose l*z - 24 - 1 = 0, -5*z - 62 = -w. Does 15 divide w?
False
Suppose -h - 4*p + 261 = 0, 0*p - 8 = 2*p. Is 6 a factor of h?
False
Suppose -5*r = 4 - 19. Suppose -r*d = -6*d + 12. Is 2 a factor of d?
True
Is ((-1)/(-2))/(225895/(-22590) - -10) a multiple of 8?
False
Suppose -3*i + 4*i - 382 = -z, 5*i - 2*z - 1882 = 0. Is 21 a factor of i?
True
Suppose 0*g - 2*y = g + 99, -g - 5*y = 93. Let i = -50 - g. Is 28 a factor of i?
False
Suppose 4*k - 5*p - 25 = -0*k, k - 4*p = 9. Suppose 0 = -5*z - g + 140, 2*g - k - 51