uppose -4*w = -2*y - 1594, -1215 = -3*w + 4*y - 27. Does 4 divide w?
True
Let i = -192 + 130. Let l = i - -37. Does 17 divide ((-215)/l)/(1/5)?
False
Let y(x) = -2*x - 2. Let u be y(-2). Suppose t + 0*t + 4*w = -2, t - u*w = 16. Is t a multiple of 3?
False
Let o(s) = -s**2 - 3*s + 4. Let l be o(-4). Suppose 2*m - 5*x - 39 = -l*m, 0 = 4*m + 5*x - 3. Does 4 divide m?
False
Suppose 297 = 3*b - 5*u, -b + 2*u - 297 = -4*b. Is b a multiple of 4?
False
Let a be (-79)/(((-20)/8 - -2)*-2). Is 5/1 + (-14 - a) a multiple of 10?
True
Suppose 0*p = -3*p + 99. Let k be (0 + -6)*1375/p. Is 2/6 + k/(-6) a multiple of 21?
True
Suppose 0*a + 19 = 3*a + 4*t, -5*a - 4*t + 37 = 0. Let d = a - 14. Does 16 divide 24*d/(45/(-12))?
True
Let u(c) = -2. Let s(m) = 27*m + 39. Let d(j) = -s(j) - 4*u(j). Does 38 divide d(-11)?
True
Does 26 divide ((-5472)/(-190))/(6/40)?
False
Let j(s) = -s**2 + 6*s + 8. Let c be j(7). Suppose -4*z = 5*m - 166, 2*z - c - 7 = 0. Suppose -4*y = -3*i - 24, -y - 9 = 3*i - m. Does 4 divide y?
False
Let g = -169 - -583. Is 35 a factor of g?
False
Suppose 4*u + 0*u = 8. Suppose 0 = u*y + 4*f + 68 - 212, 4*y - 300 = 4*f. Is 16 a factor of y?
False
Suppose -4*d + 3*d + 3 = 0. Suppose 4*u = d*u + 23. Let q = 13 + u. Is 6 a factor of q?
True
Let a(l) = 2*l**2 - 9*l - 89. Is 4 a factor of a(-10)?
False
Let h be 264/40 + (-1)/((-5)/(-3)). Suppose 0 = h*c - 132 - 372. Does 12 divide c?
True
Let d(m) = 2*m**2 - 22*m + 22. Let b be d(11). Suppose 23*x - 264 = b*x. Is 66 a factor of x?
True
Suppose 13*s - 4021 + 901 = 0. Is 9 a factor of s?
False
Let u(l) = -3*l**3 - 6*l**2 - 8*l - 33. Is 30 a factor of u(-9)?
True
Let d = 35 - -93. Is 59 a factor of d?
False
Let b(n) = -n**2 + 15. Let c be b(7). Let i = 85 + c. Is 17 a factor of i?
True
Let l(u) = -114*u + 6. Let q be l(-4). Suppose -5*x = 2*x - q. Is x a multiple of 18?
False
Let i be 3*1*200/30. Suppose -i = -3*l + 19. Let t = 5 + l. Does 6 divide t?
True
Let m be 1 + 0 - (-3)/((-9)/7041). Does 24 divide 6/10 - m/15?
False
Let t(n) = -n**3 - 12*n**2 + 26*n**2 - 20*n**2 + 6*n - 12. Let i be t(-9). Suppose 4*a + 3*c = a + i, 0 = -2*a - c + 123. Does 16 divide a?
True
Suppose -2*r + 2*f = -1568, -4*r - 6*f = -2*f - 3112. Is 5 a factor of r?
False
Suppose -2*z + 5*z = 9. Suppose 3*n = -z*n + 234. Is n a multiple of 6?
False
Let u(q) = 2*q. Let r be u(1). Suppose -r*i + 35 = 5*m, -5*i = 2*m - 178 + 38. Suppose 4*a + 3*o - 40 = 0, -4*a - 4*o = -a - i. Is a a multiple of 5?
True
Is (-9)/126 + 13530/84 a multiple of 17?
False
Suppose 1 = 4*x - 5*p + 9, 3*x - 5 = p. Suppose -r - x*b = -20, 45 = 4*r - 2*b - 63. Is 13 a factor of r?
True
Let f = -1018 + 4462. Is 39 a factor of f?
False
Let r(l) = l**3 + 16*l**2 + 14*l + 3. Suppose -3*q - 75 = 4*v, -3*v + v = -q + 25. Is 4 a factor of r(v)?
False
Suppose 6*x - x - 260 = -5*d, -5*x + 2*d + 260 = 0. Is x a multiple of 2?
True
Suppose 13 = 2*m + s, -m = 2*m + s - 21. Suppose 2*i + 10 = -3*k, -4*i = -6*k + k + 20. Suppose a + 5*y = m + 3, 5*a + 3*y - 165 = k. Is a a multiple of 9?
True
Suppose 0 = 6*s - 53 - 109. Does 18 divide s + (-20)/(-5) + -4?
False
Let g(n) = -n - 11. Let j be g(-8). Let x = -4 - j. Let i(h) = -46*h - 1. Is i(x) a multiple of 12?
False
Suppose -36*y - 23491 = -95419. Is y a multiple of 27?
True
Let a(q) = -q**3 + 4*q**2 + 2*q - 3. Let f be (5 - 6/2)*2. Let l be a(f). Suppose -c = l*k - 267, -k + 51 = -2*c + c. Is 20 a factor of k?
False
Let z = 135 + -127. Does 7 divide z?
False
Let y(q) = q**3 - 7*q**2 + 2. Let g be y(7). Suppose 6*t + 14 = g*l + 5*t, 3*t = -12. Suppose 2*a = l + 7. Is 2 a factor of a?
True
Let z(a) = 8*a**2 + 2*a + 1. Let l(o) = o**2 - 1. Let w(r) = 2*l(r) + z(r). Suppose -2*j - 5*x = 24, 2*x + 22 = -5*j - x. Does 7 divide w(j)?
True
Let m(b) = 2*b**2 + 58*b - 2. Is m(-41) a multiple of 61?
False
Let h(w) = w**3 + 37*w**2 - 85*w - 90. Does 7 divide h(-39)?
False
Suppose 0 = -10*j + 7*j + 21. Let n(h) = 1 - 4 + j*h - 3 + 1. Does 16 divide n(3)?
True
Suppose -165 = 6*f - 9765. Is f a multiple of 52?
False
Suppose 5*t = -45 - 5. Does 25 divide 3*t/25*-100?
False
Let b = 1583 + -911. Does 60 divide b?
False
Is -2 - ((-12)/16 - (-12131)/(-28)) a multiple of 15?
False
Let t(x) = 3*x + 2 + 2 - x - 2 + 21*x**2. Does 14 divide t(-2)?
False
Let g be (12/(-5))/(((-8)/600)/1). Let j = g + -96. Is j a multiple of 21?
True
Let p(t) = -14*t - 36. Let n be p(-3). Is 756/18*(22/n - -2) a multiple of 17?
True
Let f(l) = 12 - 8 + 87*l + 2. Does 25 divide f(1)?
False
Suppose -u = -86 - 268. Let k = u - 231. Is 41 a factor of k?
True
Let y(k) = 2*k**2 + 4*k - 5*k - 10 - 7*k. Let g be y(-4). Is (g + 6)*(-1)/(-2) a multiple of 30?
True
Let m be 1 - 0*(-4)/4. Let a = 6 - m. Let x(b) = -b**3 + 6*b**2 - 3*b - 4. Does 3 divide x(a)?
True
Let l = -15 + 48. Let p = l + -6. Does 9 divide p?
True
Suppose 5*q - 1733 = v, v = -2*q - 2*v + 683. Does 15 divide q/8 - (-4)/(-16)?
False
Let m(l) = l - 267 - 270 + 34*l + 557. Is m(6) a multiple of 11?
False
Let o = -22 - -12. Let c be ((-20)/2)/(4/o). Let a = 47 - c. Is a a multiple of 8?
False
Suppose 16*q - 36*q = -12100. Is q a multiple of 40?
False
Let i = 38 - 34. Suppose i*d + 61 = 4*j - 27, 0 = 3*j - d - 72. Is 5 a factor of j?
True
Suppose -5*q + 56 = f, 2*q + 41 = 4*f - 73. Is f a multiple of 2?
False
Let g = -1090 - -2181. Does 63 divide g?
False
Suppose -3*n - 2*d + 155 = -13, -d = -5*n + 267. Suppose 0*w - n = -2*w. Does 27 divide w?
True
Does 50 divide (6900/9)/((-16)/(-120))?
True
Suppose 0 = 2*j - j - 12. Let b(k) = 5*k**2 + 4*k + 3. Let x be b(-1). Is j/x + 0 + 61 a multiple of 16?
True
Let m(i) = i**2 - 5*i - 8. Let z be m(9). Is 17 a factor of 265*(z/(-10) + 3)?
False
Is 10844/32 + -2 + 3/24 a multiple of 32?
False
Let w be (7 - 7)/(3 + -1). Suppose 5 = r, w = a - 4*r - 39 + 6. Is 19 a factor of a?
False
Let c(i) = i**2 - 4*i - 7. Let k be c(6). Suppose 3*g = k*b + 26 + 18, 5*b + 32 = -g. Let z(u) = u**3 + 8*u**2 + 4*u - 7. Is z(b) a multiple of 14?
True
Let d(y) = y**3 + 5*y**2 - y + 5. Let g be d(-5). Suppose -g = -4*v + 6. Is 12 a factor of (-70)/(-6) - v/(-12)?
True
Suppose 1452 + 2748 = 10*s. Is s a multiple of 60?
True
Is 41 a factor of ((-66)/(-15) - 4)/((-20)/(-195600))?
False
Let c(v) = v**3 + 4*v**2 - 1. Let m be c(-4). Is (m - 11)*(-2)/4 a multiple of 5?
False
Let b(y) = -14*y**3 - y**2 + 1. Let f(h) be the second derivative of h**3/6 - 5*h**2/2 - 6*h. Let c be f(4). Does 9 divide b(c)?
False
Suppose 4*k - 2*k = 1038. Is 44 a factor of k?
False
Suppose 18*c - 18096 = 10*c. Does 19 divide c?
False
Let r be 0*(-1)/3 - -73. Suppose -5*q - r = -3*f, 3*f + 4*q = -6 + 88. Does 13 divide f?
True
Let v = -979 - -1492. Does 27 divide v?
True
Let i(j) = -3*j**3 - 6*j**2 - 2*j + 8. Let f(o) = -o**3 + 7*o**2 + 18*o - 4. Let u be f(9). Is i(u) a multiple of 8?
True
Is 2/(3/9*21/98) a multiple of 28?
True
Suppose 4 = -3*l - 5. Let j(s) be the third derivative of s**5/60 - s**4/12 + 5*s**3/6 + 17*s**2. Does 5 divide j(l)?
True
Let i(u) = u**3 - u - 8. Let c be i(0). Let g = -8 - c. Suppose -4*l + 167 - 63 = g. Does 13 divide l?
True
Let s(j) be the first derivative of -j**5/60 + 7*j**4/8 - 3*j**3 + 9*j**2/2 + 7. Let w(a) be the second derivative of s(a). Is w(8) a multiple of 23?
False
Let g = -81 - -95. Let c = -13 - -18. Suppose -5*l + g = c*r - 156, -r = 0. Is 12 a factor of l?
False
Suppose 3*u + r + 61 = -u, 3*u - 3*r + 27 = 0. Let p = 16 + u. Let z(i) = 3*i**2 + 4*i - 3. Is z(p) a multiple of 17?
True
Suppose 490 = 9*h - 2*h. Suppose -5*f + h = 2*w, -3*w + 38 + 44 = -4*f. Is w a multiple of 5?
True
Let x = -148 - -452. Does 19 divide x?
True
Let w(c) = 33*c + 179. Is 41 a factor of w(28)?
False
Let m be 8 - ((-3 - -4) + 1). Let o(q) = -q**2 + 6*q + 3. Let s be o(m). Suppose 0 = v - 2, 2*l - s*v - v = 16. Is l a multiple of 4?
True
Let r = -90 + 61. Let l = r - -45. Is 16 a factor of l?
True
Suppose 2*m - 78 = -3*s, 134 = m + 3*m - 5*s. Let w = 30 - m. Is (4 + w - -7)*7 a multiple of 11?
False
Suppose 12*v - 7*v - 15 = 0. Suppose 0 = 2*b + b - v*w - 15, 3*w - 34 = -4*b. Suppose -b*o + 190 = -2*o. Is o a multiple of 19?
True
Suppose 12*n + 1680 = 27*n. Does 23 divide n?
False
Suppose -4*c = -0*c + 3*b - 88, -5*b - 18 = -2*c. Suppose -o = 4*j - c, -5*j = -3*o + 7*o - 87. Does 23 divide o?
True
