True
Suppose -o + 132 = -4*n, -3*n + 2*o = -o + 90. Let j be 1*n - (0 - 1). Let a = -15 - j. Does 9 divide a?
True
Let c(j) = j**2 - 5*j - 5. Let r(g) = g**3 - 11*g**2 + 11*g - 4. Let z be r(10). Suppose -z*p + p - 5 = -5*y, -28 = 2*y + 4*p. Is 10 a factor of c(y)?
False
Suppose 78*l + 2*k + 2184 = 80*l, -4*l + 4341 = 5*k. Does 35 divide l?
False
Suppose -19*m + 6374 = 1833. Is 43 a factor of m?
False
Suppose -5*v - 6 = 4. Let o = v - -8. Suppose -2*d - 32 = -o*d. Does 8 divide d?
True
Let r(m) be the third derivative of m**5/60 + m**4/24 + m**3/6 - 11*m**2. Suppose 3*p = -8 - 1. Is r(p) a multiple of 2?
False
Let t(u) = -u + 1. Let w be t(-10). Suppose c - 42 = -w. Let q = 54 - c. Is 13 a factor of q?
False
Let q(y) = -y**2 - 5*y - 2. Let p be q(-3). Let k be (3 - p) + (-3 - -8). Suppose -4*u + h + 25 = 2, 0 = -k*u + 4*h + 8. Is 2 a factor of u?
False
Suppose 3*s = -15, -1353 - 3187 = -5*l - 4*s. Is l a multiple of 12?
True
Let t be 4/(-12)*-8*3. Let b be (-9)/(-12) - (-2)/t. Let z(i) = 10*i**2 - i + 1. Is 10 a factor of z(b)?
True
Let l(c) = c**3 - 19*c**2 - 33*c + 10. Does 8 divide l(22)?
True
Suppose -10*h = -6*h + 384. Let s = -78 - h. Is 6 a factor of s?
True
Suppose -2*i + 0 = -6, -4*p = 4*i - 2360. Is p a multiple of 23?
False
Suppose o - 197 = -29. Does 21 divide o?
True
Suppose 5*k + 54 = 2*j, 0 = -3*k + 3*j - 21 - 15. Is (5/k)/((-1)/436) + -2 a multiple of 18?
True
Let r(h) = -2*h**2 - h + 12. Let m be r(5). Let u = 53 + m. Is 10 a factor of u?
True
Suppose 5*o + 4*u = 1892, -3*u = 4*o - 304 - 1210. Is 3 a factor of o?
False
Suppose 8*i + 223 = -393. Is (-620)/(-22) + 14/i a multiple of 14?
True
Suppose -3*w - 106 = -2*v, 3*w - 174 + 15 = -3*v. Is v a multiple of 14?
False
Suppose 3*r - 56 = -r - 3*h, 2*h = -5*r + 70. Does 8 divide -128*(r/4 - 4)?
True
Let d(z) = z - 6. Let i(b) = -b - 1. Let h(g) = d(g) + 5*i(g). Let y be h(6). Let n = 69 + y. Is n a multiple of 17?
True
Let r be 12/(-4) - (-5)/1. Suppose -r*s = -0*s - 168. Does 28 divide s?
True
Is 8 a factor of (300 - 0) + (-8)/(-2)?
True
Let f(t) = t**3 + 8*t**2 - 7*t + 20. Let q be f(-9). Suppose -z - 5 = q. Is 11 a factor of -1 - -16 - (-7 - z)?
False
Let a be (0 + -2 + 1)/((-27)/(-27)). Is (a/(-1))/((-156)/(-153) - 1) a multiple of 8?
False
Let i(h) = -18*h - 4. Let b be i(-3). Let d = 90 - b. Is 15 a factor of d?
False
Let v be 21*11 - 1/(-1). Suppose -4*f + 2*f + 2 = -2*l, -5*l - 1 = -4*f. Suppose w + l*w = v. Is 20 a factor of w?
False
Let q be 4/18 - 102/(-27). Let z(r) = 7*r**3 + 5*r**2 + 3*r + 9. Let d(k) = -k**3 - k**2 - k - 1. Let t(p) = 6*d(p) + z(p). Is 17 a factor of t(q)?
False
Let s be (-1 - -139)/(4 + -2). Suppose 336 = 4*k - 4*l, l - s - 90 = -2*k. Suppose -k = -4*m + 79. Is 10 a factor of m?
True
Let l = 63 - 71. Let m(d) = -5*d + 20. Does 15 divide m(l)?
True
Suppose 4*x + 948 = -8*x. Let j = 161 + x. Does 40 divide j?
False
Let p = 22 + -11. Let j(s) = 5*s**2 - 4*s**2 - 12 + 0*s**2 - p*s. Does 10 divide j(13)?
False
Let k(m) = 5*m**3 + 2*m - 3. Let i be k(2). Suppose -8*o + 45 = 101. Let z = o + i. Is 15 a factor of z?
False
Let s(r) = 16*r + 20. Suppose -y - 2 = 3*w, 9 = -4*w + 1. Is s(y) a multiple of 12?
True
Suppose l - 5*u + 996 = 5*l, 5*u = 0. Is 83 a factor of l?
True
Suppose -y + z - 9 = 0, 18 = -4*y - 2*z - 0*z. Does 2 divide (266/57)/(2*(-1)/y)?
True
Let v = 66 - 77. Let g = v + 50. Does 13 divide g?
True
Let a(p) = 5 - 7*p + 3 - 19. Does 19 divide a(-7)?
True
Let b be (-2)/9 + 122/(-18). Let n(o) = 16*o + 23. Let w(h) = -2*h - 2. Let j(m) = -2*n(m) - 14*w(m). Does 7 divide j(b)?
False
Suppose 5*r - 624 = 3*r. Suppose -r - 206 = -5*k - i, -5*i - 88 = -k. Does 23 divide k?
False
Let l(j) = -j + 47. Let w be l(0). Let c be (-16)/(-8) + 5 + -1. Suppose c*f = w + 295. Does 19 divide f?
True
Let f = -38 - -1119. Is f a multiple of 52?
False
Let b(q) = -q**3 + 7*q**2 - 2*q + 2. Let m be b(7). Is 17 a factor of 87*(-16)/m - 4?
False
Does 68 divide -7*(-645)/7*32/48?
False
Let g(s) = -4*s + 3. Suppose 2*u + 2*u = -3*i - 36, -u = -4*i - 10. Is g(u) a multiple of 8?
False
Let i = 515 - 34. Is 13 a factor of i?
True
Let a = -1158 + 1446. Is a a multiple of 11?
False
Let i(x) = -x + 13. Let m be i(10). Suppose m*g + g - 24 = 0. Is 20 a factor of 232/g + (-12)/(-36)?
False
Suppose -4*s = -q + 16, -2 = -5*q - 5*s + 3. Suppose -2*u + 4*p + 246 = 0, -5*u = -8*u + q*p + 367. Is u a multiple of 14?
False
Let q(h) be the first derivative of 41*h**2/2 - 40*h + 21. Does 39 divide q(5)?
False
Let f(s) = 2*s**2 + 16*s + 116. Is 23 a factor of f(-16)?
False
Let c be -1*(0 - -3)/3. Is (c - 124/6)/((-29)/87) a multiple of 13?
True
Let h(j) = -j + 18. Let c be h(16). Does 15 divide 4*c/8*15?
True
Is 14 a factor of ((-57)/114)/(1/(-214))?
False
Suppose 3*p - 20 = -2*p. Suppose -2 = p*z - 46. Suppose 0 = -z*r + 7*r + 172. Does 16 divide r?
False
Let u be 15*((9 - 10) + (-5)/(-3)). Let o = u - -89. Does 11 divide o?
True
Let w = 68 - -123. Suppose 0 = -12*x - w + 1511. Is x a multiple of 25?
False
Let b be (-7)/2*(5 - 29). Suppose 5*z - b = 3*z. Is z a multiple of 21?
True
Let h(x) be the second derivative of -x**5/20 + x**4/4 + 5*x**3/6 + 5*x**2/2 - 2*x. Let d be (-105)/(-33) + -5 + 6/(-33). Is 3 a factor of h(d)?
True
Suppose -49*i + 7988 + 123724 = 0. Is 69 a factor of i?
False
Does 49 divide 2964/45 - (-6)/45?
False
Suppose 0 = 3*p - 4 - 8. Let s be 279/p - (-1)/4. Suppose 3*v + 2*v = 3*d - s, d - 12 = -4*v. Does 10 divide d?
True
Let w = -19 - -78. Let l = 75 - w. Is l a multiple of 16?
True
Let t be 57/21 + (-2)/(-7). Let s(r) = 19*r + 10. Is s(t) a multiple of 13?
False
Suppose n - 2*k = -12 - 3, 3*n + 45 = -2*k. Let l be (-14)/(-3) + 10/n. Does 4 divide l*(5 + -2 - 1)?
True
Is 3 + (-5)/2 - 2716/(-8) a multiple of 30?
False
Suppose 0 = 4*i - 4, 0*i = 3*c + 5*i - 68. Is 9 a factor of c?
False
Let q be -2 + -2 + 124/2. Suppose -f = 2*u - 61, -u + 2*f = -3*f - q. Suppose u = 4*v + 1. Is v a multiple of 2?
True
Let k(h) = -h**3 + 11*h**2 + 11*h + 8. Let g be k(12). Does 8 divide -25*(16/g + 3)?
False
Let z be ((-3)/2 + 2)*0. Let p be (-7 - z - 3)/1. Is (2/(-3))/(p/345) a multiple of 23?
True
Let f(d) = 70*d - 1. Suppose -4*w + 2 = -5*w. Let u be w/4*(-6)/3. Does 23 divide f(u)?
True
Let a(s) = 13*s + 10. Let t be a(-5). Let u = -40 - t. Is 2 a factor of u?
False
Let l(a) = -2*a**2 + 6*a + 499. Is 10 a factor of l(0)?
False
Suppose 6*f + 12 = 96. Suppose 16*p = f*p + 18. Is p a multiple of 3?
True
Suppose -5*a - p + 2186 = 0, -2*p = 10*a - 15*a + 2183. Is 10 a factor of a?
False
Let c(y) = 2*y**3 - 9*y**2 - 8*y + 14. Let q(o) = -2*o**3 + 9*o**2 + 9*o - 14. Let m(n) = 4*c(n) + 3*q(n). Is 14 a factor of m(7)?
True
Suppose 0 = -k + 3*v + 23 + 130, 0 = 2*k - 5*v - 303. Does 9 divide k?
True
Let s(y) = y + 4. Let j be s(-3). Is 17 a factor of j + (4 + 109 - 3)?
False
Let y(s) = 4*s**2 + 2*s - 2. Let r be y(1). Suppose 4*u = -r*d + 136, 5*u + 42 = -4*d + 180. Let w = 68 - d. Does 6 divide w?
True
Let j(q) = -q**2 - 4*q**2 + 6*q + 2*q**2 + 4*q**2 - 7. Let u be j(-7). Suppose u = 6*w - 2*w - 40. Does 10 divide w?
True
Suppose -4*h + 4*w + 32 = 0, 0 = -0*h + h - 2*w - 10. Let q(y) = 25*y - 18. Is 33 a factor of q(h)?
True
Suppose 0 = -2*k - 4*z - 16, -4*k - z + 3 = -0. Is 7 a factor of (0 - -2)/k - -55?
True
Let v(z) = z**3 - 7*z**2 + 3*z + 9. Let k be (1 + 1)/(4/(-2)). Let r be (-135)/(-20) + k/(-4). Does 6 divide v(r)?
True
Suppose -3*h + 7 = -s - 4, -3*h + 5*s = -31. Suppose -6 = -h*p, -5*p = -2*b - 9*p + 112. Is b a multiple of 16?
False
Suppose -23*i + 997 + 3143 = 0. Is i a multiple of 10?
True
Let s(q) = -43*q + 7. Let t(c) = 2*c + 29. Let f be t(-16). Is s(f) a multiple of 34?
True
Let o(b) = -1 + 6 + 22*b - 3 - 5*b. Let v be o(2). Is (v/(-20))/(1/(-5)) a multiple of 4?
False
Suppose 0 = k + 5 - 9. Suppose -k*w + 9*w = 0. Does 13 divide (-8 + 71)*(w - -1)?
False
Let j(z) = -17*z**3 + 2*z**2 - 1. Suppose -21 = -4*h - 1. Suppose -m = -h*a - 9, 5*m - a + 3 = -0. Does 6 divide j(m)?
True
Suppose -g = 5*g - 36. Suppose b + 3*l = -3*b + 8, 3*l = 3*b - g. Is 2 a factor of b?
True
Let i = 874 - 601. Is i a multiple of 7?
True
Let c(t) = -4*t**2 - 51 - 2*t + 52 + 28*t**2. Does 31 divide c(2)?
True
Suppose 0*h - 4*z - 42 = 2*h, -2*z = -2*h - 12. Let d(j) = j**3 + 12*j**2 - 6*j - 8.