) - 5/35. Suppose -p*u = -4*l - 183, -2*u + l + 126 = -1. Is u a multiple of 13?
True
Let q(c) = -11 + 2 + 2 + c. Let l be q(7). Is 64/((1 - l)*1) a multiple of 32?
True
Let y(j) = 29*j**3 + 4*j**2 - 29*j - 9. Is 98 a factor of y(4)?
False
Let g = 57 - -689. Is 15 a factor of g?
False
Suppose 0 = 3*g - j + 135, 9*g - 5*g - 2*j + 182 = 0. Let t = 116 + g. Is 12 a factor of t?
True
Let o(c) = -7*c**2 - 5*c - 4. Let m be o(-2). Let b be 74/(-2)*(-3)/3. Let v = b + m. Is 5 a factor of v?
True
Suppose -26 = -3*t + 2*d - 108, 4*t + 115 = -3*d. Let u = t - -34. Is u a multiple of 5?
False
Let x = 4 + -2. Let a be (-2)/2*(0 + -3 + -1). Suppose -a*z = -x*h + 22, -5*h + 1 = 4*z - 12. Is h a multiple of 4?
False
Suppose 3*k = -5*j + 117, -56 = -2*j - 2*k - 10. Is 7 a factor of j?
False
Let n(s) = s**3 - 5*s**2 - s - 6. Let q = -5 + 10. Let y be n(q). Does 24 divide (y - -2)/(6/(-32))?
True
Let t(b) = b + 9. Let n be t(-4). Does 17 divide (158 + -2)*n/10?
False
Suppose -10*y = -7*y + 120. Does 10 divide y/6*15/(-10)?
True
Let k(y) = y**2 + 2*y. Let v be k(-3). Suppose -f + 70 = w, v*f - 329 = -5*w + 5*f. Is w a multiple of 22?
False
Suppose -5*u - 559 = -2*o, 18*o = 22*o + 5*u - 1073. Does 70 divide o?
False
Let z(p) = -p**2 + 19 - 5*p + 2*p**2 + 7*p - 14*p. Does 13 divide z(12)?
False
Suppose -26*p + 1403 = -14067. Is p a multiple of 35?
True
Suppose 38 = 5*a + 148. Let v = 43 + -47. Is v/a + (-64)/(-11) a multiple of 6?
True
Let u be 0 - (-3)/6 - 33/(-6). Suppose 6*v - u = 114. Is v a multiple of 2?
True
Let d be 12/2 + (1 - 0). Suppose 3*f + d = -4*y, 0 = -2*y - y + 2*f - 1. Does 15 divide -2 + (y - -2) + 101?
False
Let f(c) = -37*c + 2. Let z be f(4). Suppose -8225 - 3241 = -42*y. Let h = z + y. Is h a multiple of 32?
False
Let z = 431 - 135. Suppose -4*d - 40 = -z. Is 4 a factor of d?
True
Suppose -16*y + 837 = -7*y. Is 3 a factor of y?
True
Let y(k) = 5*k**2 + 3*k + 2. Suppose -8*v + 3*v - 16 = q, 0 = 4*q + 4*v + 16. Let f be y(q). Let l = 30 - f. Is l a multiple of 26?
True
Suppose -3*j - 1 + 13 = 0. Suppose -354 = -5*t - j*h, 0 = 3*t - 4*h - 101 - 105. Does 12 divide (-2)/(-6) - t/(-6)?
True
Suppose 540*z = 549*z - 29106. Does 33 divide z?
True
Let b be (10/(-30))/(-1*(-2)/(-12)). Suppose 1 = -b*u + 33. Does 16 divide u?
True
Let u = -86 - -162. Let r = 132 - u. Is r a multiple of 26?
False
Let x(u) = 14*u - 2. Let c(k) = k**3 + 2*k**2 - k + 7. Let p be c(-3). Let y be x(p). Is (-75)/(-2)*y/3 a multiple of 39?
False
Suppose -14*g + 8*g + 828 = 0. Suppose 5*b - g = -c + 247, 3*b = -2*c + 224. Is 13 a factor of b?
True
Let f(m) = 11*m**2 - 10*m - 83. Is f(-4) a multiple of 3?
False
Let t(f) = f**2 - 4*f + 8. Let x be t(-6). Suppose -8*j = -332 + x. Is j a multiple of 22?
False
Suppose 0 = -34*b + 19*b + 4485. Does 33 divide b?
False
Let n be (-7)/(-2)*(-12)/(-7). Is n + -10 - (2 + -216) a multiple of 21?
True
Suppose 8318 = 18*a - 3994. Does 57 divide a?
True
Suppose 5*i + 2 = 4*d - 37, 58 = 3*d + 2*i. Suppose 12 = 3*u - u. Let z = d - u. Is z a multiple of 7?
False
Suppose 23*u - 16830 = 13*u. Is u a multiple of 33?
True
Suppose -5*f + 120 = 4*s, -3*f - f + 107 = s. Is -2 - ((2 - f) + 0) a multiple of 8?
True
Suppose 279 - 35 = 4*t. Let i = t + -37. Is 12 a factor of i?
True
Let j be 12/(5 + -1) + 0. Suppose -q - 2*w - 78 = q, -j*q - 2*w = 113. Is 10/q + 342/21 a multiple of 3?
False
Suppose 2*d + 10 = -z, -5*d + 3*z = 49 - 13. Let l be 33/d - (-3)/(-2). Let g(t) = -10*t - 6. Is 32 a factor of g(l)?
True
Suppose 2*m + 3 = -3, -3*r + 5*m + 24 = 0. Suppose -7*k + q + 98 = -r*k, -k + 30 = -3*q. Is 5 a factor of k?
False
Let l(g) = 19*g**2 + 4*g - 7. Does 20 divide l(4)?
False
Does 23 divide 1 + 0 + 3 - -3448?
False
Suppose -5*d = -4*h + 1128, -2*h = 4*d - 9*d - 564. Is h a multiple of 47?
True
Let l = -269 - -443. Suppose -11*g = -1355 - l. Does 16 divide g?
False
Suppose -3528 = -16*u - 5*u. Is u a multiple of 24?
True
Let x = -8 + 2. Let t be (-1025)/(-35) - x/(-21). Let k = 39 - t. Is 2 a factor of k?
True
Suppose -5*o + 1321 + 524 = 0. Does 9 divide o?
True
Is 3 a factor of 59 + 3/6*-2 - 2?
False
Suppose -6*s + 10*s - 8 = 0. Is 12 a factor of -2 + (-4)/s + 35?
False
Let k(y) = y - 2. Let s be k(4). Suppose 4*x = -3*o + 5*o - 30, -5*o = 5*x - 15. Suppose -o*h + s*h = -80. Does 8 divide h?
True
Let t = -29 + 32. Suppose o - 4*y = 20, -o + 16 = t*y - 6*y. Let b = o - -12. Is b even?
True
Let z(k) be the third derivative of k**5/20 + k**4/3 + k**3/3 - 5*k**2. Is 9 a factor of z(-6)?
False
Let a(h) = -h**2 - h + 4. Let r(i) = 3*i**2 - 14. Let s(g) = -4*a(g) - r(g). Let d(j) = -7*j + 1. Let x be d(1). Does 5 divide s(x)?
True
Suppose -5*w + 76 = -w. Suppose -w*p + 20*p - 22 = 0. Does 14 divide p?
False
Let x(m) = -4*m + 4 + 2 - 24*m**2 + 30*m**2. Let t be x(4). Suppose t = 3*b + 29. Is b a multiple of 5?
False
Let g(h) = -h**3 + 2*h - 6. Let b be g(-6). Suppose 3*v + 16 = -v, -3*n + 3*v = -b. Is 10 a factor of n?
False
Suppose -5*k = -4*s + s + 173, -4*s + 269 = k. Does 11 divide s?
True
Let a be (21/12)/(2/8). Suppose -5*v + a*v = 146. Let r = v - 50. Is 8 a factor of r?
False
Let d(m) = 17*m**3 - 2*m**2 + 2*m - 1. Let g(w) = 2 + 4*w + w**2 + 7 - 5. Let x be g(-3). Does 9 divide d(x)?
False
Let h(x) = 28*x**3 - 23*x**2 + 87*x - 5. Is 31 a factor of h(4)?
True
Suppose -8*q = -3*q - h - 656, 520 = 4*q - 2*h. Is q a multiple of 12?
True
Suppose -3*z - 3*f = -1074, 20*f = 4*z + 17*f - 1467. Is 6 a factor of z?
False
Suppose -470*k = -493*k + 7268. Is k a multiple of 35?
False
Suppose 6*i + 47 - 2327 = 0. Suppose 7*g = 2*g + i. Does 5 divide g?
False
Let c(t) = 8*t + t**3 - 5 + 0*t**3 - 1 - 3*t. Is 24 a factor of c(5)?
True
Suppose -v - 5*l + 33 = 0, -8*v + 2*l = -5*v - 150. Suppose -2*h + 24 = -v. Is h a multiple of 6?
True
Suppose -2*r - 324 = 2*j + j, -4*r - 648 = -5*j. Is (4/3)/((-4)/r) a multiple of 18?
True
Is 6 a factor of (-16)/((-2)/(-8)*-2)?
False
Is ((-22300)/75)/(2/(-3)) a multiple of 8?
False
Let j(r) be the first derivative of -r**4/4 + 2*r**3/3 + r**2 + r - 1. Let i be j(2). Is 11 a factor of (195/9)/i*3?
False
Let r(x) = -x**3 - 8*x**2 + 38*x - 13. Does 18 divide r(-19)?
False
Let n(u) be the second derivative of 7*u**4/12 - u**3 - u**2/2 + 11*u. Does 20 divide n(-3)?
True
Let b(w) = -w**3 - 6*w**2 - 20*w - 2. Let g(l) = -l**3 - l - 5. Let k be g(0). Does 6 divide b(k)?
False
Does 48 divide (-24)/(5/(-10) - (-24)/54)?
True
Suppose -2*f - 2 = -2*p, 9*p + 2*f + 2 = 4*p. Suppose -7*m + 1183 = -p*m. Is m a multiple of 19?
False
Suppose -2*q = -q + q. Suppose -7*g + 171 + 165 = q. Does 12 divide g?
True
Suppose 5*m - 5 = 5. Let b be 36/(-8)*m/(-3). Suppose t = b*t + 5*p - 60, 2*p = 0. Is t a multiple of 15?
True
Let o(m) = 19*m**2 - 11*m - 6*m**2 - 8*m**2 + 20. Is o(5) a multiple of 26?
False
Let o be -27 + 0 - (-1 + -1). Suppose 13*g = 10*g - 45. Let h = g - o. Is h a multiple of 3?
False
Let t = 14 - 12. Suppose -2*d = 2*i - 8, 9 = 4*d - i - t*i. Does 3 divide d?
True
Suppose -12*p = -15*p + 2619. Suppose 898 + p = 11*c. Is 9 a factor of c?
False
Let u = 9 + -19. Let w = u + 6. Let h(k) = -k**3 - 4*k**2 - 6*k - 5. Is 19 a factor of h(w)?
True
Let i(p) = 2*p**2 - p - 28. Is i(-15) a multiple of 23?
True
Suppose -78*q + 15844 + 20894 = 0. Does 12 divide q?
False
Let f(g) = -g**3 - 7*g**2 - 4*g - 16. Let a be f(-7). Is 691/6 - (14/a)/7 a multiple of 21?
False
Let t = -36 - -837. Is 50 a factor of t?
False
Let b(t) = t**2 + 10*t + 16. Let o be b(-11). Let f = 2 + o. Let c = -8 + f. Does 6 divide c?
False
Let b(w) = 9 - 6 + 10*w + w**2 + 5. Is 8 a factor of b(-10)?
True
Suppose -45 = 4*o - 4*g + 15, 2*o = -3*g - 40. Let t = 20 + o. Does 17 divide ((-2)/t)/(12/(-702))?
False
Suppose -3*c + 0*c - 1414 = -4*y, 3*y - 1052 = -2*c. Does 11 divide y?
True
Let m(t) = 0*t**3 - 3*t - t**3 + 4 - t - 11 + 9*t**2. Is 12 a factor of m(6)?
False
Let q(h) = -122*h - 84. Does 27 divide q(-6)?
True
Suppose -14*c = -20*c + 1350. Is c a multiple of 9?
True
Suppose -3*b = g - 19, b + 18 = 5*g + 3. Suppose g*s = 144 + 64. Is s a multiple of 10?
False
Suppose 341 = -3*c - 70. Let m = 187 + c. Is m a multiple of 5?
True
Suppose -2*v - 2 = -8. Suppose -j + 0*j = u - 1, v*u - 8 = 2*j. Suppose -5*l + 10 = -0*l, r + u*l - 28 = 0. Is r a multiple of 5?
False
Is (-1)/(-10) 