-1. Let a(u) = 35*u. Let x(j) = a(j) - 6*w(j). Is x(2) a multiple of 19?
True
Suppose -2*v - 214 = -z, 4*z + 7*v = 6*v + 901. Is z a multiple of 18?
False
Does 17 divide (4 - 3 - 1) + 320?
False
Let q be 8/(-14) - 834/(-14). Let m = 38 + q. Is 14 a factor of m?
False
Let p(m) = -m**3 + 4*m**2 - 2*m - 18. Does 5 divide p(-6)?
False
Let o(m) = -m + 7. Let s be o(6). Let f(d) = -39*d + 7. Let v(c) = -1. Let t(l) = -f(l) - 5*v(l). Does 10 divide t(s)?
False
Suppose 5*d - 3*k - 132 = 0, d + 0*d + 5*k - 32 = 0. Does 9 divide (-48 + 1)/(d + -28)?
False
Let o = 220 - 116. Does 14 divide o?
False
Let t(d) = 44*d**2 - 6*d + 7. Is 19 a factor of t(2)?
True
Let h(g) = g**2 - 6. Let x(p) = p**2 + 11*p - 9. Let j be x(-12). Let i be h(j). Suppose -y + 4*v = 17, 2 = 5*y - 2*v - i. Does 3 divide y?
True
Suppose -32 = -8*w + 24. Suppose -w*p - 3 = -38. Suppose -z + 2 = 0, -2*h = -p*z - 144 + 58. Does 12 divide h?
True
Let z = 46 - 37. Suppose z*b = 78 + 165. Does 9 divide b?
True
Suppose 2*m - 1712 = -92. Is 45 a factor of m?
True
Is 8 a factor of (41 - 48)/((-2)/16)?
True
Suppose 0 = -3*l + 7*l - 712. Let a = l + -47. Does 13 divide a?
False
Suppose 4*h - i = 2095, 2*h + 69*i - 72*i - 1035 = 0. Is h a multiple of 24?
False
Does 12 divide (-287)/(-2) + 60/(-8) + 8?
True
Suppose 111*x = 139*x - 71344. Does 14 divide x?
True
Let g be (-1 - 2/(-4))*0. Suppose g*m - 4 = -4*m. Let p(s) = 80*s + 1. Is p(m) a multiple of 27?
True
Let p(j) = j**3 - 2*j**2 - j + 4. Let d be p(0). Let b(o) = -2*o. Let i(x) = 3*x + 1. Let v(u) = -13*b(u) - 6*i(u). Does 13 divide v(d)?
True
Let z(d) = 7*d**2 + 6*d - 48. Does 11 divide z(-6)?
False
Suppose 0*x = 3*l + x - 16, 3*l + 5*x - 20 = 0. Suppose 19*u - l = 14*u. Does 24 divide -88*((-4)/u - -3)?
False
Suppose -11*n + 15*n = 5*q + 443, -5*n + 4*q = -556. Is n a multiple of 16?
True
Is 62 a factor of 17 - -200 - (0 - (-2 - -1))?
False
Let x(v) = 6*v**2 - 5*v + 5. Let b(u) = -u**2 + u - 1. Suppose d = 4 - 3. Let y(w) = d*x(w) + 5*b(w). Does 5 divide y(5)?
True
Let x(w) = -2*w**2 - 2*w + 123. Suppose c + 11*a = 6*a + 5, 4*c - 4*a = -4. Is x(c) a multiple of 31?
False
Let g(w) be the first derivative of w**4/4 - 4*w**3/3 - w**2/2 - 7*w - 7. Is 47 a factor of g(8)?
False
Is 2/((-1)/((-20)/(-8))) + 138 even?
False
Let c be 6/9*(-12)/(-8)*3. Does 14 divide 903/7 + (5 - c)?
False
Suppose -5*y + 85 = -5*w, 2*y - 5*y + 39 = w. Suppose -13*x = -y*x - 1. Is x*(0 + -1) - -59 a multiple of 24?
False
Suppose -5*f - 21 = -71. Let g be f/4 - 2/4. Suppose 82 = -2*b + 5*b - 4*a, 0 = g*b - 4*a - 56. Is b a multiple of 13?
True
Let i = 11682 + -18807. Is 1 + 4/(-7) - i/35 a multiple of 12?
True
Suppose -3*b + 42 = -3*h, b - 40 = 5*h + 2*b. Let d be -32 + -7 + 0 + 5. Let z = h - d. Is z a multiple of 5?
True
Let j(b) be the first derivative of 29*b**3/3 + b**2/2 + 2*b + 5. Let m be j(-2). Does 17 divide m*1/(2/1)?
False
Suppose -j = 5*h - 3*h - 21, -j - 35 = -5*h. Does 10 divide (10/h)/(2/152)?
False
Suppose 0 = -d - 2*d + 18. Does 11 divide (16/5)/(d/30)?
False
Suppose 0 = 104*c - 109*c + 5, 4*o - 5*c = 419. Is o a multiple of 6?
False
Let f(q) = q**3 - 6*q**2 + 11*q. Let w be (-4)/(-4 - (-10)/3). Is f(w) a multiple of 33?
True
Let f(z) = -z**2 + 18*z - 10. Let d(x) = 2*x + 8. Let k be d(4). Does 11 divide f(k)?
True
Suppose 831 = -3*y + 2259. Does 34 divide y?
True
Let s = -344 + 554. Does 14 divide s?
True
Let l(s) be the first derivative of s**4/4 + s**3 - 2*s**2 - 5. Is 5 a factor of l(2)?
False
Is 29 a factor of ((-1)/2 - 27/6) + 70?
False
Suppose 4*n + 254 = 5*b - 147, b + n = 73. Is 12 a factor of b?
False
Does 8 divide (-24)/((12/173)/(-4))?
True
Let m(c) be the third derivative of 59*c**6/120 + c**5/60 + 4*c**2. Let y be 2/1 + (-3 - (3 + -5)). Does 15 divide m(y)?
True
Let c be (3/9)/((-5)/(-165)). Let s = c - 2. Suppose -a - p + 2*p = -s, -3*p = a - 5. Is 4 a factor of a?
True
Suppose 535 = -3*d + 4*q + 1641, -3*q - 1477 = -4*d. Does 4 divide d?
False
Let y(b) = 3*b - 3. Let x(p) = p - 1. Let h(l) = 6*l - 7. Let t(n) = h(n) - 3*x(n). Let f(c) = -3*t(c) + 4*y(c). Is f(4) a multiple of 9?
False
Suppose i = l + 26, 4*i + i + 4*l - 112 = 0. Suppose 0 = -m + 3*f + 8 - i, -4*f + 32 = -4*m. Is (2 + -3 + 0)*m a multiple of 4?
True
Suppose p + 2 = 3*p. Let l = p - 1. Suppose 0 = j + 5*t - 133, l = -t + 2 + 2. Is 31 a factor of j?
False
Let d = 93 + -64. Let w = d + 5. Is 8 a factor of w?
False
Suppose 4*j - 5*j = -6. Suppose -3*y + j = -4*y. Does 16 divide 72/12*(-80)/y?
True
Suppose 304*h = 300*h + 1084. Is 21 a factor of h?
False
Suppose 0 = -2*k - 5*k + 14. Is 4 a factor of 2/(k + 0)*(-3 + 24)?
False
Let l = 16 - 14. Let t be (-4 + 1)*(-208)/6. Suppose -l*j - 2*j = -t. Does 13 divide j?
True
Let w = 166 + -164. Let d(l) = 21*l**2 + l - 2. Let x be d(-3). Suppose x = w*m + 2*m. Is m a multiple of 9?
False
Let w = -14 - -19. Suppose w*k - 5*u - 265 = 0, 4*k + 2*u = 68 + 150. Is k a multiple of 18?
True
Suppose -4*y - b = -82 - 111, 5*y - 3*b = 220. Is 11 a factor of y?
False
Suppose 0 = -5*k + 4*v + 327, -337 = 10*k - 15*k - v. Is 2 a factor of k?
False
Suppose 61*j - 64*j = -4071. Is 23 a factor of j?
True
Is 3 a factor of 20/3*(-1296)/(-120)?
True
Let f be ((-9)/(-6))/((-7)/((-84)/9)). Is (14 - 6)*(7/f + -3) a multiple of 3?
False
Let g be ((-5)/(-3))/(9/54). Let t = -4 + 20. Let j = g + t. Does 13 divide j?
True
Let b be (-2 - -4)/((-2)/(-15)). Is 25/b + 2361/9 a multiple of 33?
True
Let b(n) = n**3 + 10*n**2 + 7*n + 6. Let k be b(-11). Let i = -368 - k. Let c = -125 - i. Does 17 divide c?
True
Let f = -2 - -6. Suppose -f*k + 333 = -k. Does 18 divide k?
False
Suppose 6*k - 4*k - 12 = 0. Suppose k*o - 453 = 3*o. Does 35 divide o?
False
Let j = 429 - 69. Is 15 a factor of j?
True
Is (-104)/(-13) + (-4440 + 1)*-1 a multiple of 74?
False
Suppose 0 = 3*t - 2*t - 3*x + 18, t - 5*x = -14. Let r = t - -44. Is r a multiple of 5?
True
Let b = -59 + 66. Suppose 5*i - 67 = -b. Is 3 a factor of i?
True
Suppose 26 = -6*p + 2. Let a = p - -24. Is a a multiple of 5?
True
Suppose 0 = 2*z - 4*i + 48, 0 = -3*z - 4*i - 14 - 18. Let f be z/(-3) + 3/(-9). Suppose -f*k + 3*a + 90 = -a, -2*k = 4*a - 36. Is 16 a factor of k?
False
Let j(d) = -16*d**2 + 16*d - 110. Let q(v) = 3*v**2 - 3*v + 22. Let w(s) = 2*j(s) + 11*q(s). Does 12 divide w(0)?
False
Let i(u) = u**2 - 21*u + 15. Let n be i(13). Let a(j) = 39*j + 7. Let r be a(-5). Let c = n - r. Does 33 divide c?
True
Let j(l) = -l**2 - 30*l + 119. Is j(-26) a multiple of 5?
False
Suppose 0 = 10*o - 9491 + 2911. Is 22 a factor of o?
False
Suppose 35*p + 370 = 40*p. Is p even?
True
Suppose 0 = -4*v + 3*g - 171, 4*v = -3*g + 8*g - 173. Is (-2)/(-7) - 7044/v a multiple of 24?
True
Suppose 2*z - 29 + 33 = 0. Is z/10 + (-333)/(-15) a multiple of 22?
True
Let z be -120*(15/9 + -3). Suppose -3*o + z = -2*o. Is 32 a factor of o?
True
Let j(z) = 18*z + 22. Suppose 4*d - 21 = -0*d + 5*n, -3*n = -4*d + 27. Let g be j(d). Suppose 4*i + 4*s = g, 3*i = s + 4*s + 146. Does 11 divide i?
False
Suppose 8*g = 3*g - k - 595, 2*k + 600 = -5*g. Let u = g - -277. Is u a multiple of 34?
False
Does 29 divide (6 + -20)*(-87)/3?
True
Let h(o) be the third derivative of -o**6/360 - o**5/12 + o**4/12 + 7*o**2. Let s(z) be the second derivative of h(z). Does 9 divide s(-15)?
False
Let c = 1636 - -2028. Is 8 a factor of c?
True
Suppose -3*b + 6 + 1 = q, -4*q = b - 6. Let n(t) be the third derivative of t**6/60 + t**3/6 + 18*t**2. Is n(b) a multiple of 17?
True
Let z be 8998/(-8) + 2/(-8). Is 47 a factor of z/(-6) - (-6)/12?
True
Let n = -41 - -43. Suppose 0 = n*v - 5*i - 139, -4*v - 3*i = 105 - 396. Is 18 a factor of v?
True
Suppose -3*s + 16 = -5*s. Let u be 3/12 + 186/s. Let c = -7 - u. Is c a multiple of 4?
True
Let a(y) = 3*y**2 - 9*y + 13. Is a(-11) a multiple of 57?
False
Let r = -30 + 61. Is 7 a factor of 1 + r/4 + (-13)/(-52)?
False
Let f = -29 + 27. Is (11 + -10)/(1/(12 - f)) a multiple of 4?
False
Suppose 0 = 6*k - 0*k + 72. Is 13 a factor of k/(-4) + -2 - -65?
False
Suppose 0 = 3*l - 171 - 795. Does 16 divide l?
False
Let r be (1 + 5/(-2))/((-9)/168). Does 4 divide (r/(-4))/(-3 + 2)?
False
Suppose 4*s + r - 3*r + 4 = 0, 0 = -r. Is 22 a factor of (-6 - (-244)/(-12))/(s/6)?
False
Suppose 0 = 5*u + 2*p + 2*p - 8, 6 = 3*u + 2*p. Is 37 a factor