 13 a factor of (-78)/4*(-8)/q?
True
Let y(v) = v**2 - 2*v - 1. Let f be y(0). Let i = 8 - f. Is i a multiple of 3?
True
Suppose -3*i - 11 = -4*b + 8, 2*i = 4*b - 22. Let l(s) = -20*s**2 + 3*s - 10. Let c(j) = 7*j**2 - j + 3. Let r(z) = b*c(z) + 2*l(z). Is r(1) a multiple of 5?
False
Let n(r) be the second derivative of 7*r**3/6 - r**2 - 3*r. Suppose 3*q - 10 = l - 2*l, -50 = -5*q + 5*l. Does 11 divide n(q)?
True
Does 15 divide 15/(4*5/60)?
True
Let a(i) = -i**2 + 9*i + 1. Is a(7) a multiple of 5?
True
Let p(g) = 3*g - 19. Does 5 divide p(13)?
True
Suppose -4*v + 290 = 3*j, -v + j - 3*j + 70 = 0. Is 10 a factor of v?
False
Let f = 156 + -26. Let m be 1/(-1) + f + -1. Suppose 2*x = -2*x + m. Does 11 divide x?
False
Let v(a) = a**3 - 4*a**2 - 6*a + 5. Let m be v(5). Suppose m = -j + 6*j. Suppose j = 2*z - 2*l - 24, 0 = 5*z - 0*l + 2*l - 74. Does 7 divide z?
True
Let m(h) = 7*h + 3. Let s be m(-7). Suppose -213 = 3*g - 0*g. Let p = s - g. Does 8 divide p?
False
Suppose 2*q - 36 = -0*z - 4*z, -q + 16 = z. Is 7 a factor of q?
True
Let d be 2 - (2/(-1) + 0). Let b = 7 - d. Is (-600)/(-8)*1/b a multiple of 12?
False
Suppose -7*w + 107 = -537. Does 46 divide w?
True
Let d be 178/(-3) - 14/21. Let s = 143 + d. Let n = 119 - s. Is 11 a factor of n?
False
Let o = -15 + 42. Does 9 divide o?
True
Suppose 6*z - 672 = 132. Is 14 a factor of z?
False
Let h(y) = -1 + 0 + 1 + 1 + 7*y. Let c = 1 - 0. Is h(c) a multiple of 4?
True
Is (657/6)/(6/8) a multiple of 25?
False
Let f(a) = 2*a**2 - a - 8. Is 10 a factor of f(4)?
True
Suppose -n - 2*p = -35, 3*n - 2*p - 20 = 53. Is n a multiple of 5?
False
Is (-6)/(6*(-4)/32) a multiple of 7?
False
Let x(t) = -28*t + 3. Let a be x(-4). Suppose -3*o + 8*o = a. Does 16 divide o?
False
Let o = -368 + 555. Is 27 a factor of o?
False
Suppose -g - r + 1 = -4, 0 = -g + r - 5. Suppose g = 3*d + d - 264. Suppose 54 + d = 5*f. Is 12 a factor of f?
True
Let b(l) = -23*l - 12. Is 16 a factor of b(-4)?
True
Let z be (18 - 1) + (4 - 2). Let t = -2 + z. Is t a multiple of 17?
True
Let b be 2/(4/(-30)*-3). Suppose 0 = 2*d - 47 + 3. Let w = d - b. Does 8 divide w?
False
Suppose 0 = -x + 5 - 1. Is -6*(0 + x)*-1 a multiple of 24?
True
Let m(u) = -4*u - 7. Suppose o - 4*f - 11 = 2*o, -4*o + 2*f - 26 = 0. Is 21 a factor of m(o)?
True
Let d(n) = -n**3 - 19*n**2 - 25*n + 24. Is 30 a factor of d(-18)?
True
Let c be (8/24)/(1/6). Suppose 60 = 3*x + c*x. Does 8 divide (32/(-10))/(x/(-30))?
True
Let q(o) = -7*o**3 + 2*o**2 - 2*o - 2. Is 8 a factor of q(-2)?
False
Suppose -107 - 73 = -5*w. Let c = -14 + w. Is 11 a factor of c?
True
Let j = 25 + 7. Does 2 divide j?
True
Suppose 13 = -4*r + 37. Is r a multiple of 2?
True
Let n be (-4)/14 + (-210)/(-49). Suppose -3*m + 22 = n*i - 6*m, -38 = -4*i - 5*m. Does 7 divide i?
True
Does 6 divide (-24)/108 + (1090/9)/5?
True
Suppose -43 = -3*j + 77. Is j a multiple of 9?
False
Let v = 95 + -36. Does 19 divide v?
False
Does 5 divide (-6)/4*-24 + 4?
True
Let g = -20 + 44. Is g a multiple of 14?
False
Let b(g) = -7*g**3 - 2*g**2 + g + 2. Is b(-2) a multiple of 8?
True
Let y(q) = 3*q**2 - 10*q - 96. Is y(13) a multiple of 15?
False
Let x(k) be the third derivative of k**5/60 + k**3/6 + k**2. Suppose 0*n = -4*n + 12. Is x(n) a multiple of 7?
False
Let w(f) = -5*f - 8. Suppose -8 - 14 = 2*i. Let q be w(i). Suppose 0*c = 2*c + m - 33, -m + q = 3*c. Is c a multiple of 7?
True
Suppose 4*a - 70 = -a. Suppose 2*h + a - 164 = 0. Suppose -14*d + h = -9*d. Is d a multiple of 8?
False
Suppose 3*l = 76 - 19. Does 7 divide l?
False
Suppose -d = 2*d + 12. Let z = -59 + 42. Let y = d - z. Is y a multiple of 13?
True
Let r be ((-90)/35)/((-3)/14). Suppose -3*n + r + 21 = 0. Does 11 divide n?
True
Let j(t) = 4*t + 1. Suppose 23 = -3*v - 40. Let x be 6/v - 27/(-21). Is j(x) even?
False
Let n(l) = l**3 - l - 2. Let q be n(2). Suppose 175 = q*v + v. Is v a multiple of 22?
False
Let i = 9 - 36. Does 8 divide -2*(-6)/(-4) - i?
True
Let j(w) = -6*w + 1. Let v be j(-4). Suppose -q + 107 = 2*q - n, 5*n = -v. Is q a multiple of 11?
False
Let h = -7 - -85. Let j = h - 39. Is j a multiple of 13?
True
Let b(f) = -22*f**3 + 5*f**2 + f - 6. Let k(q) = -q**3 - q**2 + 1. Let a(g) = -b(g) - 5*k(g). Is a(1) a multiple of 9?
True
Suppose 0 = 3*g - 69 + 3. Is g a multiple of 10?
False
Let g be -5 + ((-6)/3 - 1). Let x(c) = c**2 + 7*c + 5. Is x(g) a multiple of 13?
True
Is 18 a factor of (-4 + 0)/(16/(-72))?
True
Let d = 9 + -7. Let w(i) = -4 + 3*i**d + 2*i + 12 - i - 2*i**2. Does 4 divide w(0)?
True
Let m(a) = a**2 - 3*a - 3. Let g be m(4). Let k be (4/(-5))/(38/285). Let t = g - k. Does 4 divide t?
False
Let k(f) = -f**3 - 10*f**2 + 10*f - 12. Let h be k(-11). Let i(t) = -10*t + 2 + 3*t - 1. Is 4 a factor of i(h)?
True
Suppose 3*g - 19 - 8 = 0. Is 15 a factor of 1*(-3 - -2*g)?
True
Let u = -7 + 12. Suppose -2*j + 28 = -j - 4*w, 0 = -j + u*w + 32. Is j a multiple of 6?
True
Let o(n) be the first derivative of 6*n**2 - 3 - 15*n - 1/3*n**3. Is o(10) a multiple of 2?
False
Let g be 63/(-2)*(-6)/9. Let v = g - 12. Does 9 divide v?
True
Let g(m) = 63*m**3 - 4*m**2 - 2*m + 3. Let s(d) = -64*d**3 + 5*d**2 + 3*d - 4. Let v(i) = 4*g(i) + 3*s(i). Is 23 a factor of v(1)?
False
Let z = 43 - 30. Does 9 divide z?
False
Let o(i) = -i**3 - 21*i**2 - 23*i + 32. Is 17 a factor of o(-20)?
False
Suppose -2 + 8 = 2*n. Suppose 0*h - 18 = -2*h - g, 4*g - 36 = -4*h. Let a = n + h. Is 6 a factor of a?
True
Let f be 1*7/((-7)/(-60)). Let p = f - 39. Does 21 divide p?
True
Let v(o) = -o**3 - 4*o - 2*o**2 + 3 - 4 + 0*o - 3*o**2. Let p be v(-4). Does 12 divide (-3 - p) + 2*19?
True
Let j(p) = p**3 + 15*p**2 + 16*p - 10. Is 18 a factor of j(-13)?
False
Suppose 0 = -4*k + 5*m + 304, 2*m + 16 = -2*m. Does 9 divide k?
False
Suppose 12*m = 1176 + 1248. Is m a multiple of 13?
False
Let p(q) = q**2 - 4*q + 4. Let n be p(7). Let x = n - 15. Is x a multiple of 4?
False
Suppose -h - 336 = -3*h. Is 24 a factor of h?
True
Let v = 102 + -65. Suppose n - 3 = v. Does 20 divide n?
True
Let q(g) = 4*g**2 - 3*g. Suppose 24 = -0*k - 3*k - 3*h, -25 = 5*h. Let d be k*-3*(-8)/(-18). Does 18 divide q(d)?
False
Let s(z) = z**3 - z**2 + z - 2. Let f be (-8)/(-10)*(-15)/(-6). Is s(f) a multiple of 4?
True
Let h(s) = -37*s + 6. Let y be h(4). Let j = y + 62. Is 20 a factor of j/(-15)*(-15)/(-2)?
True
Suppose 5*k = 112 + 368. Is k a multiple of 25?
False
Let m(y) = y - 4. Let p be m(5). Suppose 4 = -v - p. Let i(l) = -2*l. Is i(v) a multiple of 10?
True
Suppose 0 = 3*u - 4*u + 5. Suppose 23 = 2*j - u*s, -2*s + 4 = -6*s. Is 3 a factor of j?
True
Let z(v) = -6*v - 2. Is z(-2) even?
True
Let q = 23 + 28. Is q a multiple of 17?
True
Suppose -5*o - 8 = -2*y, 0 = o + 4*o + 2*y + 12. Let b = -8 + 12. Let r = b - o. Does 6 divide r?
True
Let l(q) = -q**3 - q**2 + 2*q + 2. Let p = -9 + 7. Let a be l(p). Is 4 a factor of (3/a)/((-4)/(-16))?
False
Suppose 8*z = 3*z - 25, 0 = 4*v - 2*z - 286. Is 23 a factor of v?
True
Let u = -11 + 15. Suppose -41 = -u*g + 11. Does 13 divide g?
True
Let d = 3 - -1. Let u(m) be the first derivative of -m**3/3 + 9*m**2/2 + 2*m - 1. Is u(d) a multiple of 8?
False
Let d be (-6)/4*8/(-6). Suppose -3*s + 2*s = -d. Is 11 + 2 - s*1 a multiple of 6?
False
Suppose 7 - 11 = n, 2*n = -4*s + 924. Is s a multiple of 38?
False
Suppose 25 = 5*x - 45. Let j = x + 3. Is j a multiple of 11?
False
Suppose h + p = 17, -h + 4*h + 2*p - 52 = 0. Is h a multiple of 14?
False
Suppose -5*h + 15 = -2*h. Suppose 0*t = -h*t + 200. Suppose 31 - 11 = -4*i, -5*i - t = -3*m. Is 2 a factor of m?
False
Suppose 0 = -d + 3*d - 4. Suppose -24 = -d*j - 2*j. Is 5 a factor of j?
False
Suppose 2*v = 4*v + 96. Let o(t) = t**3 + 18*t**2 - 25*t - 30. Let h be o(-19). Let m = h + v. Is m a multiple of 17?
False
Let r(j) = j**3 + 7*j**2 + 4*j + 9. Is 7 a factor of r(-6)?
True
Suppose -25 = -2*z + 5*g, -g - 97 = -5*z - 0*g. Is z a multiple of 10?
True
Suppose -t + 1 = -0*t. Let r be -1*(1 - 2) + t. Suppose -j - r = 0, -2*k + 0*j = 4*j. Does 4 divide k?
True
Let s be 2 + (-3 - (-47 + 2)). Let q = 86 - s. Let g = q + -26. Is 16 a factor of g?
True
Is 14 a factor of 28/(-6)*63/(-6)?
False
Suppose 0*i = -h - 3*i + 117, -2*h = 3*i - 228. Does 28 divide h?
False
Let s(h) = 13*h**2 + 1. Let p be s(1). Suppose -p = -5*t + 3*t + 4*l, -4*