ltiple of 17?
True
Let q(o) = 11*o**2 + 2*o - 1. Let a(c) = c - 10. Let g(i) = -1. Let p(s) = a(s) + 2*g(s). Let j be p(13). Is q(j) a multiple of 6?
True
Suppose 0 = 8*f + 7*f - 8280. Is f a multiple of 8?
True
Let z(m) = m**3 - m + 10*m**2 - m + 1 - 6*m**2 + m**3 - 6*m**2. Let k = -1 + 3. Is 2 a factor of z(k)?
False
Let q(v) = v**2 + v - 3. Let u be q(-2). Let k = 18 + u. Is 4 a factor of k?
False
Let n = 7 + -2. Let b(d) = 3*d**3 - 6*d**2 - 5*d + 3. Let c be b(3). Suppose -4*w + c = 5*a, w - n*w - 41 = -3*a. Is 2 a factor of a?
False
Let n be -142*((-5)/2 - -2). Is n/2 + 1/2 a multiple of 12?
True
Let f(k) = 191*k**2 - 3*k + 9. Is 59 a factor of f(2)?
True
Let x(t) be the second derivative of -11*t**3/6 - 5*t**2/2 - 2*t. Let u be x(-6). Is (-1 - -1) + u/1 a multiple of 23?
False
Suppose 736 = 4*y + 2*o + 92, 4*o - 8 = 0. Is (y/(-10))/(2/(-8)) a multiple of 16?
True
Suppose -l + 2*w + 4 = 7*w, 3*l - 4*w = 12. Let x(a) = 7*a - 24. Does 4 divide x(l)?
True
Let b = 96 - -14. Is 3 a factor of b?
False
Let u(i) = 2*i**2 - 25*i - 3. Let z(c) = 2*c**2 - 24*c - 2. Let d(y) = 5*u(y) - 6*z(y). Is 21 a factor of d(8)?
True
Let l = -3 + 17. Is 25 a factor of 3/((-18)/(-157)) - l/84?
False
Suppose -l = -z + 1646, 0*z + 3*z + 3*l = 4932. Is z a multiple of 35?
True
Let q be ((-7)/2)/(13/(-26)). Suppose -o = -72 - q. Let x = o + -42. Is x a multiple of 19?
False
Let z(r) = r**3 - 5*r**2 + 4*r + 3. Let i be z(3). Does 24 divide (3 + 0 + 8/i)*261?
False
Let n = 499 - -2314. Is 21 a factor of n?
False
Let r(c) = 3*c**3 + 4*c**2 - 3*c - 4. Let m be r(3). Let p = -206 + m. Let k = -60 - p. Does 14 divide k?
True
Let g(b) = b**3 - 10*b**2 - 9*b - 16. Let w be g(11). Suppose v - 2*d = -w*d + 40, 5*d - 155 = -5*v. Is v a multiple of 9?
False
Suppose -4 + 6 = 2*t. Let q = 4 + t. Does 5 divide q?
True
Let n be 25 + -28 + 15*12 + 0. Suppose n = -d + 237. Is d a multiple of 15?
True
Let o(s) = s**2 + 34*s - 43. Is 9 a factor of o(-36)?
False
Suppose 6 = -2*h - 0*h. Let w be (h/(-9))/((-4)/12). Is 33 - 1*(w + -1) a multiple of 24?
False
Suppose 4*j = 3*u - 944, 0 = -4*u + 4*j - 610 + 1866. Does 4 divide u?
True
Let u = 30 - 32. Is u/(-4) + 2 + 205/2 a multiple of 35?
True
Let a = -217 - -356. Is a a multiple of 24?
False
Let c(g) = 2*g**3 + 2*g + 25. Let u be c(0). Suppose -10*j + u = -9*j. Is 5 a factor of j?
True
Let s = 1860 - 1412. Is s a multiple of 32?
True
Let g be (-2)/(-7) - (-24)/(-84). Suppose g = -5*x + r + 33, -16 = x - 3*x - r. Suppose -5*p = -2*t + 34, -2*t + 2*p = -x*t + 27. Is t a multiple of 2?
False
Let v = 389 + -267. Let l be (124/(-10))/(8/40). Let d = l + v. Is 30 a factor of d?
True
Let d(h) = -h**2 + 10*h + 5. Let c = 25 + -16. Let z = c + 0. Is 5 a factor of d(z)?
False
Let z(g) = 2*g**3 - 4*g**2 + 4. Let n be z(2). Suppose 0 = -n*k + 3*w - w + 202, 4*k - 4*w - 196 = 0. Is k a multiple of 4?
True
Suppose -34 = -i - 3*h, -5*i + 3*h = -144 - 62. Suppose 78 = 2*n - i. Is 27 a factor of n?
False
Suppose -2*c + 9*c - 4039 = 0. Is 6 a factor of c?
False
Let l(q) = 5 - 3 + 0*q**2 + 3*q**2 + q**2. Does 11 divide l(4)?
True
Let c(f) = f**2 - 2*f - 1. Let q(g) = g**2 - 12*g + 9. Let x be q(11). Let j = -5 - x. Is 8 a factor of c(j)?
False
Suppose 75*k - 21818 - 31357 = 0. Is 18 a factor of k?
False
Suppose 130*g = 104*g + 34710. Is 17 a factor of g?
False
Let h = -179 - -879. Does 13 divide h?
False
Suppose 0 = -28*l + 21175 + 21245. Is 19 a factor of l?
False
Let a(q) = 2*q**2 - 5*q - 18. Let k(d) = 2*d**2 - 5*d - 19. Let p(f) = 7*a(f) - 6*k(f). Is 7 a factor of p(-6)?
False
Suppose -5*f = 5*g - 35, -5*f + 4*g = -7 + 8. Suppose 3*w + 5*p - 34 = 180, 4*w = -f*p + 289. Is w a multiple of 13?
False
Let d(v) = -v**2 + 6*v + 2. Let r(z) = -3*z - 10 + z + 3*z. Let m be r(13). Is d(m) a multiple of 10?
False
Let v = -473 + 603. Is 3 a factor of v?
False
Let z be 6 + 6/(-1) + 3. Suppose -z*b + 4*n + 126 + 110 = 0, 2*n - 206 = -3*b. Does 18 divide b?
True
Let w be (1 + 246/(-18))*(-1 - -10). Let s = 192 + w. Is 22 a factor of s?
False
Is 80 a factor of (-5*56)/(-5 - 19/(-4))?
True
Let u = -244 - -370. Is u a multiple of 42?
True
Suppose 12*r - p - 11240 = 7*r, -r + 3*p + 2262 = 0. Is r a multiple of 21?
True
Let l be (-2)/(-11) + -3*100/(-165). Suppose 5*q = -5*u + 185, 0 = -l*q + 7*q + u - 181. Is q a multiple of 3?
True
Suppose 0 = 6*a - 2*a - 1968. Suppose -4*y - 80 = -a. Does 27 divide y?
False
Let b be -1 + -3 - (16/(-4) - 0). Suppose -3*k + y + 586 = 0, -5*y + b*y = -4*k + 796. Is k a multiple of 19?
False
Let x = -8 - -13. Let c = x - 2. Let g = c + 5. Does 8 divide g?
True
Suppose 0 = -10*k + 101 + 69. Does 8 divide k?
False
Suppose -28 = -0*s - 2*s. Let k be (28/(-8))/(2/(-4)). Let o = s - k. Is o a multiple of 2?
False
Let i = -4 + 27. Suppose -15*p + 16*p - i = 0. Suppose g + 5*k = k + 2, p = 3*g - 5*k. Is 3 a factor of g?
True
Let r(o) = -2*o + 53. Let c be r(24). Suppose -6*d = -d + 5*f - 90, 108 = 4*d - c*f. Is d a multiple of 18?
False
Let k be -485 - (-8 + 15)*(-4)/(-14). Let l = k - -814. Does 51 divide l?
False
Suppose 4*z + 5*q - 25 = -z, q = -5*z + 29. Is (-4)/3*(-477)/z a multiple of 25?
False
Let v be (-4)/2 - -6*(-2 + 3). Suppose -v*h + j + 16 = -235, 69 = h + j. Is h a multiple of 9?
False
Let i(x) = -29*x**3 + x**2 + 2*x + 3. Let z be i(-3). Suppose 3*j + 393 = -z. Is 17 a factor of (-8)/12 + j/(-6)?
False
Suppose 3*t - 26 = -z - 0, -4*t = -z + 12. Suppose -2*d = -4*d - 16. Does 16 divide z/d*24/(-3)?
False
Let o = 1717 - 902. Let k be o/20 + (-3)/4. Suppose -v = v - k. Is 20 a factor of v?
True
Let p = 162 - 52. Is 9 a factor of p?
False
Suppose -4*y - 74817 = -55*y. Does 4 divide y?
False
Let z be -18*(-4 + (-66)/(-9)). Does 23 divide (z/(-25))/(1 + (-454)/460)?
True
Suppose -71 + 26 = -5*q. Let g(k) = k - 9. Let l be g(q). Suppose 8*s = -l*s + 88. Is s a multiple of 4?
False
Let j = -105 + 291. Let n = -104 + j. Is 18 a factor of n?
False
Let c = 31 - 29. Suppose -c*j - 5*n = 99, j - 106 = 3*j - 2*n. Let z = j + 100. Does 8 divide z?
True
Let v = 750 - 400. Does 50 divide v?
True
Let b be ((-2)/(-2)*2)/(-1 + 0). Let p(d) = -12*d + 17. Does 20 divide p(b)?
False
Let v(p) = -14*p - 29. Let r be v(-11). Suppose 0 = 5*k + l - 641, -k + r = -3*l + 4*l. Is 13 a factor of k?
False
Suppose 3*k + 44 = b, 5*b + 3*k + 2*k = 180. Does 19 divide b?
True
Let c = 1489 - 829. Is c a multiple of 12?
True
Let y be 2/12 - (-354)/36. Suppose -49 = -w + y. Is w/4 + 5/20 a multiple of 11?
False
Let f be 7 + 1 - 26/13. Is 15 a factor of (-4)/6 - 227*(-2)/f?
True
Let y be (-63)/(-42)*144/2. Suppose -p - 2*h + 25 = 0, -28 = -5*p + h + y. Is p a multiple of 14?
False
Let q(o) = 13*o - 103. Does 17 divide q(21)?
True
Does 18 divide (-1)/(-10) + 57248/320?
False
Let c(f) = f**2 + 8*f + 17. Let w(j) = -5*j + 12. Let d be w(5). Let k be (2 - -1) + 2 + d. Is 15 a factor of c(k)?
False
Suppose -14 = -5*k + 6. Suppose 0*u + k*u = 300. Is u a multiple of 15?
True
Let l = -53 - 23. Let g = -50 - l. Is 7 a factor of (3 - g - -2)*-1?
True
Suppose 18 = 2*a - 18. Suppose 0 = -3*g + 4*g - a. Let t = 39 - g. Is t a multiple of 6?
False
Does 48 divide 1046 - (0 + 8)/(-8)?
False
Let q(d) be the second derivative of d**5/15 - d**3/6 - 6*d. Let n(c) be the second derivative of q(c). Is n(6) a multiple of 12?
True
Suppose 5*w - 6 = -4*z, -2*w - z + 1 = -w. Suppose -w*u - 21 + 163 = 2*h, -2*h = u - 145. Does 10 divide h?
False
Suppose -6*t = -3 - 3. Is (28/(-4))/(t + -3 + 1) a multiple of 4?
False
Let t be (5 + (0 - 4))*(4 + 1). Suppose -3*x = 3*v - 2*x - 104, -t*v + x = -184. Is 6 a factor of v?
True
Suppose -i + 11 = 2*p, -4*i + 3*i + 5 = 0. Suppose -p*h + 2*h - 4*a - 73 = 0, a = 1. Is 6/14 - 3355/h a multiple of 13?
False
Suppose -6*c - 93 = -9*c. Is c a multiple of 23?
False
Let t(k) = -k**2 - 5*k. Let p be t(-5). Suppose l = 4*b - l - 28, 4*b - l - 24 = p. Suppose -b*o + 9*o = 40. Is o a multiple of 5?
True
Let n(y) = -15. Let l(g) = -g + 1. Let x(v) = -25*l(v) - n(v). Is 17 a factor of x(7)?
False
Suppose j - 2*x = 884, 3*j - 3*x - 2652 = x. Is 18 a factor of j?
False
Let t(f) = -f**3 + f**2 + f + 162. Let q be t(0). Suppose 5*j - 128 - q = 0. Is j a multiple of 21?
False
Suppose 4*z = 4*r + 12920, -2*z + 1049 = 3*r - 5431. Does 49 divide z?
True
Suppose -871*u + 1666