k = u - -69. Is k a multiple of 10?
True
Let k(g) = 8*g + 4. Let u be k(4). Suppose 2*q = -5*i + 2*i - 19, i - 17 = q. Let l = u + q. Is l a multiple of 11?
True
Suppose -3*c = -6, -4*u - 4*c = 1 - 17. Suppose u*x + 10 = 0, 4*s + 15 = s - 3*x. Let o(y) = y + 8. Is 6 a factor of o(s)?
False
Suppose -5*w = 8 - 303. Is w a multiple of 7?
False
Let b(j) be the first derivative of -j**7/420 - 2*j**3/3 + 2. Let i(d) be the third derivative of b(d). Is 6 a factor of i(-2)?
False
Let v = 6 - 4. Let n be 8 - (-3 + (4 - v)). Suppose x - 2 - n = -q, 3*q + 4*x - 38 = 0. Does 4 divide q?
False
Let a(x) = -3*x - 8. Suppose 3*w = 3 + 3. Let q be (-1)/(-1) - (w - -5). Is a(q) a multiple of 5?
True
Let x(z) = z**3 + 16*z**2 - 18*z - 2. Is x(-17) a multiple of 15?
True
Let f(q) = -q**2 + 13*q + 3. Let o be f(12). Suppose 0 = -3*a - 0*a - 6, k = 2*a + o. Does 11 divide k?
True
Suppose -5*o + 2*u = -639, -4*o + 2*o - 5*u = -244. Does 8 divide o?
False
Suppose -16 = -4*v - 2*t, 4*v + t - 13 - 5 = 0. Is v a multiple of 5?
True
Suppose -y - 4*y + 90 = 0. Let k = y + -4. Does 7 divide k?
True
Suppose 3*g - 2*r - 156 = 0, 0 = -2*g - 4*r - 32 + 120. Is 10 a factor of g?
True
Suppose 50*v - 54*v = -144. Is v a multiple of 5?
False
Suppose 0 = 2*c - q - 2*q - 30, -4*c + 3*q + 60 = 0. Suppose 2*j + c - 39 = 0. Is j a multiple of 3?
True
Let r(a) = -2*a - 7. Let d be r(-12). Suppose -7 = -2*q + d. Is 3 a factor of q?
True
Let k be -1*(-2)/6*-6. Let c(g) = -10*g - 3. Is 8 a factor of c(k)?
False
Let b(v) = -2*v - 2. Let u be b(-1). Let m = -47 - -81. Suppose -m = -2*q - u. Is q a multiple of 17?
True
Let w(z) = 16*z**2 + 2*z + 1. Let v(u) = u**2 - 7*u + 5. Let d be v(6). Let h be w(d). Let i = h - 11. Is 2 a factor of i?
True
Does 25 divide (-14)/2 + 33 + 2/(-2)?
True
Suppose 0*x + 270 = c + 5*x, 4*c - 1032 = 4*x. Does 65 divide c?
True
Let i(h) = -21*h - 1. Let k = -2 - -1. Does 20 divide i(k)?
True
Let w(r) be the third derivative of -r**4/3 - r**3 - r**2. Let t(i) = -i**3 - 4*i**2 + 8*i + 9. Let h be t(-5). Is w(h) a multiple of 17?
False
Is 11 a factor of (-5)/(((-20)/(-12))/(-5))?
False
Let t be (-56)/20*5/(-2). Suppose 0 = 2*m, -2*j - 20 = -t*j - 4*m. Is 2 a factor of j?
True
Let y(g) = 13 + 3*g + g**2 - 6 - 10*g. Is 35 a factor of y(14)?
True
Let r = -130 + 265. Is 27 a factor of r?
True
Let q = -195 - -347. Is 19 a factor of q?
True
Suppose 0 = -7*c + 2*c. Suppose c = 6*q - 4*q - 28. Is q a multiple of 10?
False
Suppose -9 + 27 = 2*x - o, 38 = 4*x - 3*o. Is x a multiple of 4?
True
Is 12 a factor of (-6)/(-2) - (0 - 9)?
True
Let r be -1 + 0 + 0 + 5. Suppose 60 = u + 4*u. Suppose 3*t = r*n + 21, -u = t - 0*n + 5*n. Is t a multiple of 3?
True
Let s = -82 + 118. Is 18 a factor of s?
True
Suppose -5*s - 4*u = -11, 2*s + 3*u - 5 + 2 = 0. Let y(c) = 16*c + 7. Is y(s) a multiple of 25?
False
Is ((-112)/6)/(170/45 + -4) a multiple of 7?
True
Let k(b) be the third derivative of 11/24*b**4 + 0 + 0*b - 4*b**2 + 1/3*b**3. Is k(3) a multiple of 13?
False
Let v = -157 - -453. Is 53 a factor of v?
False
Let k be -7*(-1)/1 + -1. Suppose a - 5*g - 3 = -1, 3*a - k = -2*g. Suppose 0 = 2*u - 2*h - 12 + 4, -2*u = a*h - 16. Does 6 divide u?
True
Suppose -3*l - l - 568 = 0. Let b = -70 - l. Is b a multiple of 30?
False
Let z = 1 + -1. Suppose z = 3*d - 2*d + 13. Let i = d + 19. Is i a multiple of 3?
True
Let l(g) = 4 + 2 + 3*g - 2*g. Suppose 3*b - 12 = 3. Is l(b) a multiple of 4?
False
Let a(h) = h**3 + 10*h**2 + 10*h + 4. Does 16 divide a(-8)?
False
Let y(r) = r**2 + 8*r + 3. Let q be y(-8). Let f(u) = 7 + 3*u + 5*u - 5. Does 10 divide f(q)?
False
Suppose 0 = -4*x - 12, -4*i - 3*x + 3 = 0. Suppose 0 = -i*w - 5*c + 10, -2*c - 22 = -3*w - 4*c. Does 10 divide w?
True
Is (19/3 + -5)/((-2)/(-21)) a multiple of 14?
True
Let c(p) = p**2 + 3*p - 11. Let u be c(-8). Let z = -4 - -26. Suppose -4*d = 3*x - 2*d - u, 2*x - z = -2*d. Is x a multiple of 7?
True
Let w(m) = -m**3 + 7*m**2 - 8*m + 7. Does 23 divide w(4)?
True
Let l = -20 + 73. Is 18 a factor of (l + 0)/(9/9)?
False
Suppose -3*f + 3*v + 39 = 4*v, 4*f = -5*v + 41. Does 2 divide (-64)/(-28) - 4/f?
True
Is -4*(-4)/(-16) + 17 + 0 a multiple of 6?
False
Let d(q) = -4*q - 4*q - q**2 + 6*q. Let a be d(-3). Does 10 divide (40/6)/((-1)/a)?
True
Let d(a) = -68*a - 5. Does 7 divide d(-1)?
True
Suppose -5*g = -0*g - 85. Let y = g - 2. Is 8 a factor of y?
False
Let s(h) = h**3 + h + 9. Let m = -3 - -3. Let w = m - 0. Is 9 a factor of s(w)?
True
Let y = -40 + 78. Is y a multiple of 10?
False
Let a be 84/8*4/3. Suppose b - a = -b. Is 7 a factor of b?
True
Suppose -g - 5 - 2 = 0. Let s be g/(-2)*4*1. Suppose 0 = -3*m + m + s. Is m a multiple of 7?
True
Let y = 163 + -30. Is 19 a factor of y?
True
Let t = -111 + 171. Does 45 divide t?
False
Let v(w) = -w**2 - 7*w - 9. Let r be v(-6). Let l(n) = n**3 + 4*n**2 + 3*n - 4. Let i be l(r). Does 8 divide (-160)/(-9) - i/18?
False
Let b(p) = -p - 6. Let m be b(-6). Let n = m - -2. Suppose -5*q + 106 = 4*h, 4*q - n*q + h = 40. Does 18 divide q?
True
Let l(w) = 5*w - 6. Is 9 a factor of l(3)?
True
Suppose -7 = -m - 3*q + 6, 2*q = 4*m - 10. Let j = m + 2. Is j a multiple of 6?
True
Suppose -805 = 4*p - 2*o - 3*o, -o - 799 = 4*p. Does 11 divide p/(-9) + (-12)/54?
True
Let d(w) = 5*w**3 - w**2 - 2*w. Does 5 divide d(2)?
False
Let c be (-3 + 2)*(-1 + -109). Let b = c + -62. Suppose -3*j = -0*j - b. Is 14 a factor of j?
False
Let p = -2 + -4. Let m be (p/10)/(1/(-5)). Suppose 0*g - m*g = -60. Does 13 divide g?
False
Let j be (-10)/30 + 226/(-6). Let m = j - -53. Is m a multiple of 5?
True
Let c(s) = 3*s - 9. Let j(n) = -n**3 - n**2 + n + 6. Suppose 0 = 6*k - 3*k. Let p be j(k). Is c(p) a multiple of 3?
True
Suppose -3*x - 5*g - 20 = 0, 4*x = -0*g - g - 38. Is 22 a factor of (x/5)/(2/(-44))?
True
Let p(s) = -s**3 + 3*s**2 + 6*s - 3. Let d be p(4). Suppose -4*v = n - 157, 29 = -d*v - 3*n + 227. Does 13 divide v?
True
Suppose -2*h = 3*h - 25, h - 855 = -5*r. Is 34 a factor of r?
True
Let j = 26 - -137. Is 29 a factor of j?
False
Let h = -3 - -19. Is 7 a factor of h?
False
Suppose 3*u = -2*y + 112, 2*y + 58 = 2*u - 0*y. Let z = u - 21. Is z a multiple of 11?
False
Let y(j) = -3 + j + 2*j - j. Is y(4) a multiple of 3?
False
Suppose 2415 = o + 2*o. Is 12 a factor of o/20 - (-1)/(-4)?
False
Let w(p) = -5*p + 3*p + p**2 + 0*p. Let n be (2/4)/(8/96). Does 9 divide w(n)?
False
Let t(n) = -n**3 - 10*n - 6 + 5 - 9*n**2 + 3. Let c = -4 - 4. Is t(c) a multiple of 7?
False
Suppose 0*b - b + 16 = 0. Does 2 divide b?
True
Let j be -5*1 - (4 - 6). Let g = 60 - 95. Let l = j - g. Is l a multiple of 16?
True
Let u be (-3)/(-2*6/(-8)). Let b = -3 - u. Does 10 divide b*(-2 + (-7 - 1))?
True
Suppose 0 = -w - 5*n + 48 + 22, w = 5*n + 90. Does 24 divide w?
False
Let z(g) be the third derivative of g**5/60 - 5*g**4/24 - g**3 - 2*g**2. Let q be z(6). Suppose -2*l - 2 + 8 = q. Is l a multiple of 3?
True
Let a be 1/(-2) + 291/6. Suppose 3*n = n + a. Is 12 a factor of n?
True
Suppose -5*q = -751 - 149. Suppose -2*n = -5*n + q. Is 15 a factor of n?
True
Let x be (-1)/(0 - 2/12). Suppose x + 8 = 2*s. Is s a multiple of 5?
False
Let j = -45 + 57. Does 5 divide j?
False
Let v(a) = a. Let u be v(2). Suppose 3*c - u*c = 80. Suppose 3*q + q = c. Is q a multiple of 10?
True
Suppose 3*y = -3*c - y + 75, 0 = -5*c - y + 108. Does 5 divide c?
False
Suppose 7 + 2 = 3*s, 0 = -3*m + 2*s + 48. Is 9 a factor of m?
True
Suppose 2*j = -5*m + 42, -j + 4*j = -12. Let a = m + -7. Suppose -17 = -a*c + 3*p + 52, 0 = -2*c - 5*p + 11. Is 11 a factor of c?
False
Let f = -130 + 198. Is 17 a factor of f?
True
Suppose 0 = 5*q - 33 + 8, -4*t - 5*q + 37 = 0. Suppose -2*b = 5*z - 48 - 99, 0 = z - t. Is b a multiple of 22?
True
Does 15 divide 0 + 110/7 - 6/(-21)?
False
Let x(m) = 4*m**2 - m. Suppose 3*p - 9 = 0, 2*v - 2*p + 12 = 4. Let l = v - 1. Is x(l) a multiple of 9?
True
Suppose 3*c = 4*t - 354, -2*c + 12 - 188 = -2*t. Does 3 divide t?
True
Let t(b) = 2*b**2 - 3*b - 1. Is 5 a factor of t(5)?
False
Let k be ((-10)/4)/((-4)/8). Suppose -22 - k = 3*i. Is 8 a factor of (-28)/(-3) + 3/i?
False
Is ((-452)/(-2))/2 + 1 a multiple of 26?
False
Let n(b) = -b**3 - 4*b**2 - b. Does 5 divide n(-5)?
True
Let t be ((-6)/4)/((-2)/4). Suppose 5*x - 4*x + 90 = t*c, -5*x + 108 = 3*c. Does 15 d