p**2 - p. Let r be o(0). Suppose -7*x = -r*x - 28. Suppose -z = -4*h - 32, -x*h + 0*h - 72 = -3*z. Is 20 a factor of z?
True
Let z(f) = -2*f + 0 + 30*f**2 - 1 + 3. Let h = 1128 + -1127. Is z(h) a multiple of 5?
True
Let x(z) = z**3 - 5*z**2 - 12*z + 2. Let h = -48 - -55. Is 8 a factor of x(h)?
True
Suppose -3*d + 1393 = 4*b, 2*b - 7*b - 3*d = -1739. Is 43 a factor of b?
False
Suppose 5*f + 480 = -3*f. Let m = f - -76. Is m even?
True
Let k(y) be the second derivative of -2*y**3/3 - 4*y**2 - y. Suppose -21*m + 11*m - 80 = 0. Is k(m) a multiple of 10?
False
Suppose -4*d - 4*g + 745 = -3*d, -3*d - 2*g + 2195 = 0. Does 8 divide d?
False
Let d be ((-3)/(-6) + -1)*0. Suppose -5*z + z - 88 = d. Let s = z - -53. Is 13 a factor of s?
False
Suppose -x = -2*o - 1453 + 367, 15 = -5*o. Is 23 a factor of x?
False
Let z(h) = 4*h - 10. Let w be z(3). Suppose q + w*q - 36 = 0. Does 2 divide q?
True
Suppose 1367 + 1064 = 11*m. Is m a multiple of 28?
False
Suppose d - 3*d + 8 = 0. Let w(r) = -r**2 + 6*r - 3. Let i be w(4). Suppose 5*n + 65 = c, -d*c + 205 = c + i*n. Is 9 a factor of c?
True
Let g(t) = -t + 42. Let k be 3 - (3 + 1 + -4). Let c be 0/(1*k/3). Is g(c) a multiple of 14?
True
Let h = -743 - -1686. Does 21 divide h?
False
Suppose -2*c = 4*z + 3*c - 465, -342 = -3*z + 3*c. Let f = -85 + z. Is f a multiple of 3?
True
Let b(r) = 4*r**2 - r. Let t be b(1). Suppose t*c - 2*c = 69. Does 43 divide c?
False
Suppose w = -10 + 15. Let f be w/(20/24) + -2. Suppose -2*r = -3*r + f. Does 4 divide r?
True
Suppose -15 = -y - 3*n + 3, 4*y - 52 = -2*n. Let d = -108 - -111. Suppose 4*c - 3*c = 5*z - 59, d*c + y = 0. Does 11 divide z?
True
Let n = 75 - 42. Does 2 divide n?
False
Let o(r) = r**3 - 6*r**2 - 14*r + 12. Suppose 5 + 22 = 3*k - 5*s, s = 0. Is o(k) a multiple of 10?
False
Let l(g) = 143*g + 39. Is l(2) a multiple of 21?
False
Let o = -579 + 1066. Suppose -6*k + o - 115 = 0. Is 13 a factor of k?
False
Suppose 0 = -y + 4, -4*c = y - 9 + 1. Does 4 divide (23 + c)*4/12?
True
Suppose 334*v = -2*a + 336*v + 4798, 9566 = 4*a + 2*v. Does 19 divide a?
True
Suppose 4*g + 7 = 39. Suppose 4*v + 5*m = 420, -g*m + 4*m + 516 = 5*v. Is 20 a factor of v?
True
Let m = 3663 - 1937. Is 54 a factor of m?
False
Let f(t) = 91*t**3 - 185*t**3 + 7*t + 95*t**3 + 12 + 15*t**2. Is 31 a factor of f(-14)?
False
Let p = 849 + -282. Suppose 33 = -2*l + p. Is 12 a factor of l?
False
Let x(r) = 4*r**2 + r**3 + 5*r + r**2 + 0*r**3 - 1 - 3*r**2. Let m be x(-4). Is (-7 - m)/(2 + -1) a multiple of 18?
False
Let a(q) = q**2 + 4*q - 16. Let r be a(-8). Let z = -11 + r. Does 5 divide z?
True
Suppose -5*a - 3*k + 4352 = 0, -4*a - 8*k + 3489 = -13*k. Does 67 divide a?
True
Let u be 1 + 192/(-84) + (-2)/(-7). Let r(i) = -138*i - 10. Is 6 a factor of r(u)?
False
Suppose 0 = -3*c + 6*c - 219. Let n = -49 + c. Does 3 divide n?
True
Let s be (8 - 8) + (1 - 7). Let c(y) = 2*y**2 - 2*y - 4. Is 16 a factor of c(s)?
True
Does 43 divide (-8)/48 + -2*(-4015)/12?
False
Suppose 5*i - 2*c = 922, -i + 213 - 26 = -3*c. Suppose 5*t = v + i, -3*t + 2*t = 4*v - 20. Is 18 a factor of t?
True
Suppose -32 = -2*j + 2*f, -16*f = -5*j - 17*f + 110. Does 17 divide j?
False
Suppose 0 = 4*n - 4*r - 704, -55*n - 5*r = -51*n - 722. Does 2 divide n?
True
Let g be -2*1 + 47 + -1. Let m = -117 - -122. Suppose -m*p + g = -p. Is p even?
False
Let x be 1*1/1 - 1. Suppose -n + 4*n - 33 = x. Suppose l = 14 + n. Does 12 divide l?
False
Suppose k + 2 = d, 3*k + 5*d = -k - 26. Let z(a) = -8*a - 6. Let l(c) = 24*c + 17. Let w(p) = 2*l(p) + 7*z(p). Does 12 divide w(k)?
True
Suppose -2*s - 240 = -6*s. Suppose -3*q - 3*q = -s. Is 31/1 + q + -10 a multiple of 31?
True
Let j(v) = -2*v + v**2 - 36*v**3 + 3*v**2 - 5*v**2 - 1. Let q(m) = m**2 - m - 7. Let s be q(-2). Does 12 divide j(s)?
True
Suppose 17*d - 12*d - 5 = 0. Is d/((2/(-202))/(-1)) a multiple of 28?
False
Let f(j) = -j**2 - 2*j + 5. Let v(l) = -l + 5. Let y be v(8). Let s be f(y). Suppose -s*o + 5*g + 49 = 2*o, 5*g + 19 = -o. Is o a multiple of 6?
True
Let y be (-29 + 1)*(-1 + -1). Let n = 76 - y. Is n a multiple of 20?
True
Let v = 947 - 369. Let h = v + -358. Is 34 a factor of h?
False
Suppose 0 = 553*a - 511*a - 38850. Is 25 a factor of a?
True
Let s(p) = -4*p**3. Let f be s(-1). Let j be ((-6)/(-14)*7)/3. Is 2 a factor of (-14)/((1 - f) + j)?
False
Let w be 162/36*(-8)/6. Let c = w - -6. Suppose c = 3*x - 4*x + 64. Is 16 a factor of x?
True
Suppose a - 27 = -4*j, -4*j = -6*j - 5*a + 9. Is 17 a factor of -6*(-139)/j + 14/(-98)?
True
Suppose 3*v = 4*u - 5*u + 9, v - 36 = -4*u. Does 5 divide -4*(-6)/u*3?
False
Let d be (-6)/(-4)*(-4 - (-66)/(-3)). Let u = d + 46. Is u a multiple of 6?
False
Let x(j) = -2*j**3 + 3*j**2 + 6*j + 6. Let g be x(6). Let k be 2 - g/3 - 2. Suppose -t = 5*l - 342, -3*t = -l - 32 + k. Is 32 a factor of l?
False
Let i(r) = -r - 10. Let d be i(6). Let s(h) = -h**2 - 22*h + 4 + 4*h + 3. Is s(d) a multiple of 13?
True
Suppose r - 209 = -s, -4*s = -0*s - 3*r - 850. Is 14 a factor of s?
False
Suppose 2*y - 3 = 3*y. Let r = 1 + y. Is 29 a factor of (1 + -6)*(r + -23)?
False
Let r = -109 - -181. Is r a multiple of 9?
True
Let h(k) = 3*k**3 - 2*k**2 - 4. Let a = -33 + 37. Is h(a) a multiple of 13?
True
Is 4729/8 - (-26)/(-208) a multiple of 14?
False
Suppose 4*h - 3*k + 12 = 0, -2*h + 3*k = 3*h + 12. Suppose -3*c - 31 = n, 0 = -3*c - h*n - 4*n - 43. Is c*(8/(-6) + 0) a multiple of 6?
True
Let k(v) = 182*v + 43. Does 12 divide k(5)?
False
Let r = 1861 + -811. Is r a multiple of 25?
True
Let r be (-1*10/45)/(1/(-9)). Suppose r*s - 207 = -7*s. Is s a multiple of 11?
False
Suppose -k = -5*m - 770, -k + 770 + 0 = -4*m. Is k a multiple of 18?
False
Suppose 6*o - 1480 = -4*o. Suppose -5*z = -2*c - o + 20, 5*z - 100 = -5*c. Is z even?
True
Let j(m) be the first derivative of -m**4/4 + m**3/3 + m**2/2 - m + 7. Let h be j(1). Suppose -7*t + 2*t + 55 = h. Is t a multiple of 11?
True
Let c(b) = 2*b. Let a be c(3). Suppose -2*w + a = 4. Does 33 divide 2/w + 111 + 4?
False
Suppose 17360 = 25*n + 6*n. Is 56 a factor of n?
True
Let c be -4 - (-1 - -2)*-10. Let u be ((-42)/9)/((-1)/c). Suppose 2 = 2*t - 5*v, -4*v - u = -4*t - 0. Is 6 a factor of t?
False
Suppose -3*r + g = -346, 4*g - 7*g + 6 = 0. Let b be 15/(-10)*r/(-6). Let n = b + 5. Is n a multiple of 17?
True
Let l(d) = -3*d**3 - 26*d**2 + 6*d + 41. Does 54 divide l(-13)?
True
Suppose -5*i = -i. Does 5 divide 23/(i - (-4)/4)?
False
Let a be 0 - 48/2 - -1. Let n = 255 + -220. Let q = n + a. Does 4 divide q?
True
Suppose 39*z - 150 = 34*z. Is 30 a factor of z?
True
Suppose 0 = 2*i + 41 - 5. Let b be 2/(-4) - 790/20. Let y = i - b. Is 9 a factor of y?
False
Let o(f) = 4*f**2 - 27*f - 6. Let d be o(9). Let w = d - 3. Does 6 divide w?
True
Let r(h) = -25*h + 5. Is 9 a factor of r(-12)?
False
Suppose -1544 = -4*g - 600. Suppose -g - 478 = -7*y. Does 17 divide y?
True
Let k(i) = 2*i**3 - 25*i**2 - 10*i + 10. Is k(14) a multiple of 67?
False
Let x = 13 + -9. Suppose -5*j = -x*n + 99, 1 = -5*n - j + 132. Suppose h - 53 = n. Is h a multiple of 24?
False
Suppose -259 = -5*q + 291. Suppose 2*o - q = -26. Let d = o + -27. Is 5 a factor of d?
True
Let c(v) = -v**3 - 2*v**2 - v - 2. Let k be c(-2). Suppose k = -3*g + 2*g + 5. Suppose -g*w + w = -144. Is 9 a factor of w?
True
Let r(v) = -v**3 - 12*v**2 - 10*v + 6. Let d be r(-11). Let c = d + 8. Let a = 39 - c. Is a a multiple of 18?
True
Suppose -156*w + 129*w = -82890. Does 10 divide w?
True
Let n(l) = -2*l**2 + 4 + 180*l**3 + l - 3 - 45*l**3. Is n(1) a multiple of 14?
False
Suppose 0 = -2*t - 2*a + 556, 4*t = 5*a + 364 + 748. Is t a multiple of 25?
False
Let d = -4 + 8. Suppose 3*q - 5*u - 63 = 0, -4*q - d*u = -u - 113. Is 14 a factor of q?
False
Let u = 4 + -6. Suppose 112 = -5*s + 5*m + 42, 0 = -2*s + 3*m - 29. Let d = u - s. Is d a multiple of 11?
True
Let u = -249 + 291. Is 5 a factor of u?
False
Suppose -s + 5 - 3 = -4*v, -5*v + 23 = 3*s. Is 3 a factor of s?
True
Suppose -2*t + 18 + 0 = 0. Suppose -h + t = 4*z - 5, -5*z = 2*h - 16. Suppose 5*o + 8 = 4*p, -3*p = z*o - 5*o - 17. Is p even?
False
Let s = 30 - -406. Is s a multiple of 13?
False
Suppose 16940 = 29*a - 1707. Is 15 a factor of a?
False
Let y(z) = 499*z**2 + 2*z - 1. Is 20 a factor of y(1)?
True
Suppose -4*t + 9 = -3. Suppose 0 =