k = -b + 124 + 50. Suppose 5*l = 251 + b. Is 12 a factor of l?
False
Let j(n) = n**3 + n**2 - 2. Let u(f) = f**3 + 2*f**2 - 2*f - 2. Let w(s) = -s**3 + 13*s**2 - 2. Let c be w(13). Let q be u(c). Is 9 a factor of j(q)?
False
Suppose -4*o + 30 + 46 = 0. Let w = 2 + o. Suppose 7*h - 21 = w. Is 6 a factor of h?
True
Let i(s) = 6*s**3 - 8*s**2 + 6*s - 8. Is 20 a factor of i(3)?
True
Let l = 1469 + -677. Is 33 a factor of l?
True
Let u be -1 - (-188)/(3 - 1). Let k(r) = -r + 1. Let i be k(-1). Suppose -w - w - u = -c, i*w = -3*c + 239. Is c a multiple of 33?
False
Suppose -2277 = -13*a + 4*a. Is a a multiple of 35?
False
Let k be -1 + 176 + (-4)/(-4). Suppose -q - 3*q = -k. Is q a multiple of 11?
True
Let o(j) = -2*j**2 - 4*j - 1. Let s be o(-5). Is 2 a factor of s/(((-5)/(-5))/(-1))?
False
Let y(l) be the third derivative of 2*l**2 + 1/2*l**4 + 0 + 1/2*l**3 + 1/120*l**6 + 0*l + 7/30*l**5. Is 8 a factor of y(-13)?
True
Let k = 4759 - 745. Is 18 a factor of k?
True
Let w(c) = -3*c + 39. Let i be w(13). Suppose i = -6*x + 127 + 413. Does 18 divide x?
True
Let y(j) = 28*j**2 - 16*j + 10. Does 9 divide y(2)?
True
Suppose 7 + 3 = 5*a. Suppose 4*i + 92 = 3*o, 0 = 3*o + a*i + 39 - 137. Is o a multiple of 16?
True
Let x = -412 + 412. Let u(v) = -v**2 + 6*v - 4. Let z be u(4). Suppose 2*b = x, -z*w + 2*b + 112 = b. Is w a multiple of 19?
False
Let q be (525/(-9))/(-5) + (-2)/3. Suppose -76 = -q*a + 111. Does 16 divide a?
False
Let b = -17 + 17. Suppose 6*q - 38 - 178 = b. Is 18 a factor of q?
True
Let t(f) = -5*f**3 + 2*f**2 - 3*f - 3. Let w(p) = -p**3 - 6*p**2 - 4*p + 3. Suppose o + 26 = -5*a, -o + 0 = 1. Let z be w(a). Is 15 a factor of t(z)?
False
Let s(a) = a**3 + 4*a**2 + 5. Let w be s(-4). Let v(b) = b - 1. Let l be v(w). Is 18 a factor of ((-57)/6)/((-2)/l)?
False
Let t(u) = 7*u + 2. Let p be t(-5). Let f = 40 - p. Does 19 divide f?
False
Let h = 177 + -119. Suppose 4 = -5*j - 26. Let i = j + h. Is i a multiple of 28?
False
Suppose 2*r = r - 1. Let g be r + (3 - 3) - -59. Let l = g - 28. Is l a multiple of 23?
False
Does 33 divide 1346 + (-49)/(-14)*8/14?
False
Let y(t) = -22*t - 20. Let b(u) = -1. Let i(g) = 6*b(g) + y(g). Is 21 a factor of i(-10)?
False
Is (-38)/(-76) - (-1617)/2 - -3 a multiple of 58?
True
Let g = 30 - 34. Is -40*(-1 - (-1 - g)/15) a multiple of 14?
False
Let a(b) = -b**2 - 6*b - 5. Let v be a(-6). Let w be 556/20 + (-1)/v. Let o = -20 + w. Is o a multiple of 7?
False
Let k(y) = 7*y + 8. Let p be k(5). Suppose 3*j + 16 = p. Let w = -3 + j. Is 3 a factor of w?
True
Suppose g + 19 = 3*t - g, 5*t = 2*g + 29. Suppose 91 = 3*m - 2*x - 659, 3*x = -t*m + 1250. Is 29 a factor of m?
False
Suppose 0 = 4*s + 5*r + 17, s = r + 2*r. Let g(c) = -2*c**3 + 2*c**2 - c + 5. Is g(s) a multiple of 16?
True
Suppose 41 = -2*r - c, 5*r + 0*c + 2*c = -102. Suppose -a = -11*a - 110. Let w = a - r. Is w a multiple of 6?
False
Let w(b) = b**3 + 13*b**2 + 29*b + 15. Let h be w(-6). Suppose -p = 6 - h. Does 33 divide p?
False
Suppose -t = -80 - 682. Let h = 266 - t. Does 15 divide (h/12)/((-10)/15)?
False
Let c(f) = 4*f**2 + 6*f - 7. Suppose -5 = n + 3. Let z be c(n). Suppose 6 = -3*s + z. Is 13 a factor of s?
True
Let a = 1795 - 158. Does 20 divide a?
False
Let c = -28 + 77. Let x be (3/2 - 2)*-232. Let j = x - c. Is 20 a factor of j?
False
Suppose -3*h + 84 - 524 = -4*q, -330 = -3*q + h. Suppose -q + 310 = 5*s. Is 5/10*(0 + s) a multiple of 10?
True
Let k(l) be the third derivative of l**4/24 + 11*l**3/6 - 5*l**2. Let c be k(-7). Is 22 a factor of (c - 2)*112/7?
False
Let n(l) = l**2 + 4*l + 2. Let v be n(-10). Is v + (3/2)/(33/22) a multiple of 4?
False
Suppose -33*u + 32*u = -a - 211, -a - 629 = -3*u. Is u a multiple of 19?
True
Let z(b) = 4*b - 3. Let d be z(6). Let m = 7 - d. Let f = m - -46. Does 16 divide f?
True
Suppose o + 12 - 15 = 0. Suppose 2*i + 4*z = 320, i = o*z + 2*z + 146. Is 32 a factor of i?
False
Suppose 0 = -0*h - 5*h. Let j be 2/(6/(-9)) + 6. Suppose -j*u + 3*f + 125 = 8*f, h = u - f - 55. Does 9 divide u?
False
Let p = -5 - -8. Suppose 75 = p*t - 207. Is t a multiple of 32?
False
Let g(x) = x**3 - 12*x**2 + 9*x + 28. Does 10 divide g(14)?
False
Let d be (2 - (6 + -1)) + 5. Let p be d/7 - (-94)/14. Suppose -5*r - 2*t = -p*t - 40, -3*t + 6 = 2*r. Does 3 divide r?
True
Suppose -6 = 3*r - 6*r. Suppose -r*j = 3*j + 5*w - 95, 35 = j - 3*w. Is 11 a factor of j?
False
Let h(z) = -33*z + 19. Let p be h(-7). Suppose 0*b = 5*n + 5*b - p, n + 4*b - 65 = 0. Is n a multiple of 8?
False
Suppose 2*b + 282 = 2*a - 346, -3*b + 1594 = 5*a. Does 21 divide a?
False
Let x(u) = 29*u + 4. Let j be x(-2). Let k = -6 - j. Does 12 divide k?
True
Let r(w) = -w**2 - 13*w - 15. Let d be r(-10). Suppose -5*b = -0*b - d. Suppose b*u - 199 - 47 = 0. Does 23 divide u?
False
Suppose -3492 = -3*i + 6*f - f, 4*i - 2*f = 4656. Is i a multiple of 12?
True
Let k be 2*-5*28/(-70). Suppose k*q - 228 = -0*q. Is q a multiple of 19?
True
Let q = 1 + 4. Suppose -q*t - 90 = -10*t. Is 10 a factor of t?
False
Let k = -5 + -1. Is 18 a factor of -90*3*2/k?
True
Suppose -z = -3*z - 156. Does 20 divide (-4)/(-26) - 8256/z?
False
Let j = 224 + -140. Is j a multiple of 28?
True
Let b(q) = -9*q**2 - 3*q - 10*q**2 + 27*q**2 + 27*q**2. Does 34 divide b(3)?
True
Let n(c) = c + 35. Let u(z) = -z**2 + z - 17. Let x be u(0). Is n(x) a multiple of 9?
True
Let i(x) = -16*x**3 + 15*x**3 - 18 - 5*x - 25*x - 13*x**2 - 2*x**2. Is 16 a factor of i(-14)?
False
Let o(m) be the third derivative of m**5/60 - m**4/24 + 11*m**3/2 + 20*m**2. Is 14 a factor of o(13)?
False
Is (2/(-1))/((-51)/68)*1140 a multiple of 19?
True
Let d(k) = -19*k**3 + 3*k**2 - k - 6. Let a(g) = -6*g**3 + g**2 - 2. Let z(m) = -8*a(m) + 3*d(m). Does 16 divide z(-2)?
True
Let m = -71 - -73. Suppose 31 = 3*u + 3*f - 125, 0 = -m*u - 5*f + 89. Is u a multiple of 12?
False
Let j(f) = 61*f**3 - 2*f**2 - 5. Let n(z) = -61*z**3 + 2*z**2 + 4. Let w(l) = 5*j(l) + 6*n(l). Is w(-1) a multiple of 18?
False
Suppose 3*l - 18 - 3 = 0. Suppose 2*j = 1 + l. Suppose -36 = 3*w - j*w. Does 12 divide w?
True
Suppose -1 = -2*j + 13. Let o be 18/(-42) - 193/j. Let t = -16 - o. Is t a multiple of 7?
False
Let n be 3/(-12) + (-3524)/(-16). Suppose -2*l - n = 2*c - 6*l, 2*c = -5*l - 175. Does 14 divide (c/8)/((-4)/8)?
False
Suppose 139*v = 134*v + 1040. Is 75 a factor of v?
False
Let y(p) = 5*p**2 - 3*p - 2. Let d be (-1992)/(-84) + (-2)/(-7). Suppose 3*k = 5*x - 0*k - d, -4*k - 12 = 0. Does 17 divide y(x)?
True
Let d = 437 + -177. Is 65 a factor of d?
True
Suppose -3*y - 5*k - 7 - 6 = 0, 2*y - 23 = 3*k. Suppose -y*f = -f. Suppose 4*u + 70 = d, d + 2*u - 82 = -f*u. Does 26 divide d?
True
Let w be 308/26 - 4/(-26). Suppose w = -6*y + 246. Is 13 a factor of y?
True
Let a(t) = -43*t**3 + t**2 + t + 1. Let s be a(-1). Let k(z) = 1 + z**2 + z + z**2 - s*z**3 + z. Is k(-1) a multiple of 15?
True
Let u(v) = -v - 16. Let z(m) = -m - 11. Let x(p) = 5*u(p) - 8*z(p). Let f be x(-2). Is 84/1 - (1 - f) a multiple of 9?
False
Let f = 1257 + -729. Does 22 divide f?
True
Let k = 55 + -55. Suppose -9*d + k*d + 567 = 0. Is d a multiple of 9?
True
Does 15 divide 3/(-2) + 6/(-4) - -903?
True
Suppose v - 10 = 5. Suppose 12*u - 9*u = v. Is 286/12 - u/(-30) a multiple of 6?
True
Let x(d) = -5*d - 6*d - 10 + 7*d. Let m be x(-4). Is 4 a factor of (2/m)/((-2)/(-48))?
True
Suppose -664 = -2*u - 4*s, 25*u = 27*u - s - 689. Is u a multiple of 20?
False
Let g(i) be the third derivative of -i**6/120 + i**5/10 - i**4/4 + 2*i**3/3 - i**2. Let n be g(5). Is 12 a factor of (-32)/16 + 58 + n?
False
Let c be -2 - (-2 - 0)*6. Suppose -c = 2*n - 3*n. Does 5 divide n?
True
Let j(h) be the third derivative of h**5/30 + 5*h**4/24 - 11*h**3/6 + 4*h**2. Does 49 divide j(9)?
True
Let n(k) = -5*k**3 + 3*k + 4. Let h(w) = -5*w - 17. Let y be h(-3). Does 3 divide n(y)?
False
Does 5 divide (-24453)/(-507) - (-9)/(-39)?
False
Suppose 9*p - 82 = 2006. Does 48 divide p?
False
Let f = 16 + -47. Let s = 28 + f. Is 6 a factor of s + 6 - (-5 + -4)?
True
Suppose f - 3*z = -4*f - 59, -5*f = 5*z + 35. Let k be -2*(f/4 + 1). Suppose 86 = k*u - 13. Is u a multiple of 13?
False
Does 33 divide (6/(-10) + 20/(-50))*-119?
False
Let g(v) = -v**3 - 7*v**2 - 2*v - 10. Let s be g(-7). Let a(k) = -k**3 + 10*k**2 - 10*k + 15. L