t u be 54 + (-1 + -2 - -1). Suppose 0 = -8*w + 4*w + u. Is 13 a factor of w?
True
Let j be (8/(-5))/((-4)/10). Suppose j + 2 = 3*i. Suppose 3*s + i*c = 82, -1 - 4 = -c. Is 11 a factor of s?
False
Let p be (1 + 0)*1*0. Let m(l) = -l**3 + 9. Let c be m(p). Suppose -c*f = -5*f - 120. Is f a multiple of 15?
True
Let y = 4 - 2. Suppose 0*l = -y*l + 18. Let q = 21 - l. Is q a multiple of 5?
False
Let r(h) = -h - 1. Let s be r(-5). Suppose 0 = s*x - 10 - 66. Does 11 divide x?
False
Suppose 2*r + 100 = 5*q, -2*r = -q - 5*r + 3. Let v = q - 6. Let b = v - 7. Does 5 divide b?
True
Let j be 1*(0/(-2) + -1). Let p = -1 - j. Suppose 0 = 3*u - p*u - 9. Is u a multiple of 3?
True
Let o = -12 + 6. Let a = 4 + o. Is 7 a factor of (a + 21/9)*33?
False
Let t(m) = -10*m. Let y = 1 - 2. Is t(y) a multiple of 10?
True
Suppose 4*w - 9 = 4*u - 3*u, 2*u = -w - 9. Let m be ((-2)/w)/(7/56). Is 8 a factor of ((-4)/(-8))/((-1)/m)?
True
Suppose 0 = 5*j - 326 + 11. Is 7 a factor of j?
True
Suppose 0 = -5*l - 25, l + 15 + 26 = 2*j. Suppose -6 = -2*o + j. Is 6 a factor of o?
True
Suppose 5*q = 3*q + 20. Suppose 2*x + b - q = 0, -3*x + 0*x + 15 = 2*b. Let g(k) = 3*k - 7. Is g(x) a multiple of 4?
True
Let s = 93 + -61. Suppose s = 3*x + x. Is x a multiple of 4?
True
Let f(o) be the first derivative of -4 - 6*o - 9/2*o**2. Is 10 a factor of f(-4)?
True
Let x(o) = -o**3 - 4*o**2 - 2*o - 3. Suppose 5*d = 3*g - 120, -3 = 2*g - 13. Let w be (-2)/(-8) + d/4. Is 12 a factor of x(w)?
False
Suppose -4*d - 20 = 0, 0*d + 30 = 3*i - 3*d. Suppose 4*s - i*m = 41, -4*m + 5 = -7. Is 11 a factor of s?
False
Let c = 172 - 99. Is 20 a factor of c?
False
Suppose 3 = -2*b - 3. Does 5 divide 0/b + 0 + 10?
True
Suppose 0 = -3*f + 7 - 1. Let b = f + 14. Is b a multiple of 8?
True
Suppose 6*t - 10 = t. Suppose -s - 26 = -t*s. Is s a multiple of 10?
False
Suppose 2*d + d = 165. Let t = d - 31. Is 12 a factor of t?
True
Let g = 7 - 3. Suppose -3*q - 8 = 2*t, -3*q = t - g*q + 4. Let s(z) = -2*z - 1. Does 7 divide s(t)?
True
Suppose -f - c + 0*c = 52, -5*c - 205 = 4*f. Let a = 105 + f. Is a a multiple of 13?
False
Let i = 71 + -49. Does 5 divide i?
False
Let c(u) = -u**3 + 10*u**2 + 4*u - 8. Let v = 23 - 13. Is c(v) a multiple of 14?
False
Suppose -5*l - 4*u - 487 = 0, -50 = -3*l + u - 332. Let t = l + 192. Suppose 4*v + 13 - t = -4*m, -15 = -5*m. Does 9 divide v?
True
Suppose -5*b - 96 + 396 = 0. Is b a multiple of 20?
True
Let y = 267 - 138. Does 24 divide y?
False
Let k = -22 + 57. Let h = k + -10. Is 9 a factor of h?
False
Let f(l) = l**2 + 3*l + 54. Does 9 divide f(0)?
True
Suppose -76 = -4*l + 72. Suppose 0 = 4*a + k + l, -24 = 5*a - 5*k - 9. Let g = 31 + a. Is 21 a factor of g?
False
Let h(p) = 15*p - 2. Let i be h(-3). Let y = i - -108. Suppose -7*t + y = -3*t - w, 0 = -t + w + 16. Does 15 divide t?
True
Let w(h) = h**3 + 4*h**2 + h - 2. Let l be w(-2). Suppose 0 = -v - 5*k + 21, l*v - 5*k - 36 = -k. Let n = v - 7. Is n a multiple of 4?
True
Is (-21555)/(-75) + (-4)/10 a multiple of 41?
True
Let y(g) = g**2 - 6*g - 1. Let x be y(13). Suppose -5*i + 0*i + x = 0. Is 18 a factor of i?
True
Let j = 3 + 54. Does 13 divide j?
False
Let z(f) = -4*f - 1. Let w be z(-1). Suppose -2*j - w + 7 = 0. Suppose 5*m - 36 = 3*m + j*c, -4*m + 27 = 5*c. Is m a multiple of 9?
False
Suppose -7 + 22 = 3*h, -h + 23 = 2*y. Let v(d) = 6*d - 9. Is v(y) a multiple of 15?
True
Let c be (-1)/(-1)*(5 - 0). Suppose j = 12 - c. Does 2 divide j?
False
Is 18 a factor of 2*((-39)/65 - 2142/(-20))?
False
Let m be 2 - (-9)/(-6)*-2. Is 4 a factor of ((-8)/m)/((-2)/15)?
True
Let m(f) = -f**2 - 2*f + 121. Is m(0) a multiple of 13?
False
Suppose 0 = -2*h + 4*h - 8. Suppose -c = -5*m + 3*c + 211, -3*m + 101 = h*c. Let y = -20 + m. Is y a multiple of 19?
True
Let w = -4 - -8. Suppose w*o + o + 3*u - 69 = 0, -3*u = -9. Does 12 divide o?
True
Let c = 7 - 16. Let m = 3 - c. Is 12 a factor of m?
True
Let g = 12 - 6. Let w = 10 - g. Suppose -w = -3*p + 44. Is p a multiple of 8?
True
Let b(r) = -6 + 1 + r - 1. Let l be b(4). Does 14 divide l - (3 - 2) - -54?
False
Let s = -18 + 33. Is s a multiple of 5?
True
Let u = 10 + -18. Let i(b) = -4 + 2*b + 1 - 4*b. Is 13 a factor of i(u)?
True
Suppose 5*q = 43 + 47. Is 6 a factor of q?
True
Let v(c) = -5*c + 5. Let x(z) = -11*z + 10. Let r(h) = 5*v(h) - 3*x(h). Is r(5) a multiple of 10?
False
Let r = 66 - 45. Is 10 a factor of r?
False
Suppose l - 4*w + 0*w - 62 = 0, 0 = -4*l - 3*w + 172. Does 14 divide l?
False
Let j be -4*((-78)/(-4))/(-3). Suppose 3*l - 4*i = -66, 14 + 28 = -2*l + 2*i. Let a = l + j. Does 4 divide a?
True
Let i = 0 + -36. Let m = -31 - -30. Does 19 divide (-3)/m - (1 + i)?
True
Suppose 3*q + 143 - 44 = 0. Let j = 48 + q. Does 5 divide j?
True
Is (1/(-2))/(35/(-420)) a multiple of 5?
False
Suppose 4*r = -2 + 58. Let k(g) = g**2 - g - 2. Let j be k(3). Suppose 6*a = -2*l + a + 18, 0 = -j*l + a + r. Does 2 divide l?
True
Let m(t) = 2*t**3 - 4*t**2 + 4. Let y be m(2). Suppose -u + 6 - 1 = 0. Suppose -5*i + y*i - 5 = 0, u*x + 4*i = 0. Is x a multiple of 3?
False
Suppose 2*n + 4066 = 234. Let o be 6/(-15) + n/10. Does 24 divide (o/(-30))/(4/30)?
True
Let r be 20/(-6)*6/(-5). Let w = -2 + 4. Suppose 6*h = -3*z + 2*h + 26, w*z - 4 = r*h. Does 3 divide z?
True
Suppose 2*y - 2 = 18. Suppose -8 = -j + y. Is j a multiple of 9?
True
Let u be 35/14*2/(-1). Is 9 a factor of u/3*(-2 - 7)?
False
Suppose m + 3 = 2*f - 1, -f = -3*m + 3. Suppose -35 = -r - 2*k, 5*r = -m*k + 128 + 71. Does 7 divide r?
False
Let v(z) = z + 3. Let o be v(-3). Suppose o*a - 4 = -4*a. Let x = a + 10. Does 6 divide x?
False
Suppose -705 = -24*u + 21*u. Is u a multiple of 47?
True
Suppose 97 = 3*m - u - 25, -m - 5*u = -62. Suppose -b = -m - 0. Does 37 divide b?
False
Let m(f) = -31*f - 1. Let s be m(-1). Let z = s - 16. Is 8 a factor of z?
False
Let i(b) = b**2 + 1. Is i(-5) a multiple of 8?
False
Let g = 41 + -11. Is g a multiple of 8?
False
Let x(f) = 27*f**2 + 2*f + 2. Let m = 26 - 27. Does 9 divide x(m)?
True
Let g = -76 + 155. Is g a multiple of 16?
False
Let w = 9 + -7. Suppose 0 = 3*h - 2*k - 22, -w*k + 28 = 2*h - 0*h. Is 10 a factor of h?
True
Let q(y) = -7*y - 113. Is 10 a factor of q(-27)?
False
Let x be 6/(-33) + 4/22. Let j(b) = 2 - 3 - b + x*b + b**2 - 5. Is j(-6) a multiple of 17?
False
Let b(l) = -l**3 + 7*l**2 + 3*l + 6. Does 8 divide b(7)?
False
Suppose 0 = 4*m - o + 5*o - 348, o - 2 = 0. Is 19 a factor of m?
False
Let i = 147 + -43. Let z = 169 - i. Is z a multiple of 17?
False
Let r = 22 + -16. Does 7 divide (-205)/(-30) - (-1)/r?
True
Let y be (2*19)/(10/25). Suppose 3*l - y = -4*i, 3*l - l + 4*i = 70. Is 10 a factor of l?
False
Let f be -78*((-7)/2 - -3). Let y(l) = 13*l**3. Let o be y(-1). Let q = f + o. Is 13 a factor of q?
True
Suppose 3*t - 365 = -g + 6*g, 5*t - 670 = -4*g. Does 13 divide t?
True
Let v = -10 + 13. Suppose 0 = x + 5*o - 1 - 4, -v*x + 15 = -5*o. Is x even?
False
Let b(v) = -15*v. Let l be b(-2). Suppose -4*g = g - l. Does 10 divide g/(-9)*-3 + 24?
False
Suppose 5*v - 29 = 131. Does 16 divide v?
True
Suppose 0*x - 2*g = x - 175, 850 = 5*x + 5*g. Is x a multiple of 34?
False
Does 3 divide 3/((-3)/2) + 13?
False
Let r(a) = a**2 - 6*a. Let d be r(5). Is 4 a factor of (-3)/2*30/d?
False
Is 5/(-4 - (-65)/16) a multiple of 20?
True
Suppose -3*x - 22 = -u, -x + 2*u + 9 = 23. Let k(v) = -v**2 - 6*v + 4. Let m be k(x). Does 2 divide (m + 0)*(-2)/(-4)?
True
Suppose 0 = -o + g + 4*g + 40, 3*g = -6. Does 2 divide 20/o - (-16)/3?
True
Let f be 146/10 + (-2)/(-5). Let o = -1 + f. Is o a multiple of 14?
True
Suppose r = 4*r - 12. Suppose -2*j + r*j = 48. Does 6 divide j?
True
Let i = 4 + -4. Suppose i = -r + 1 - 2. Is 1*r - (1 - 45) a multiple of 16?
False
Does 14 divide (32/(-3))/(2/(-9))?
False
Let v(l) = -9*l - 4. Is 13 a factor of v(-5)?
False
Let x be -3 - -4 - (4 + -2). Let f = 19 - x. Does 10 divide f?
True
Let s be 1/(3*(-2)/(-24)). Suppose -4*p + 4*o + 56 = 0, 22 = -s*p + 3*o + 73. Is p a multiple of 4?
False
Let f(a) = 17*a + 15. Let q(x) = 11*x + 10. Let b(j) = -5*f(j) + 8*q(j). Let v(w) = 2*w**2 - w - 1. Let m be v(2). Does 6 divide b(m)?
False
Let s(y) = 7*y - 1. Let b be s(7). Let j(k) = k - 2. Let t be j(6). Suppose b = t*u - 20. Is u a multiple of 7?
False
Suppose -4*t = 8, -l + 2*t - 