k, 5*t + 2*k = 16. Suppose 3*r - 106 = -5*a, t*a = 5*a + r - 62. Does 15 divide a?
False
Let w be (-25 - 1)*166/(-4) + 1. Suppose -y - u = -360, -w = -3*y - 0*u + 2*u. Is y a multiple of 24?
True
Suppose 4*z - 2 - 10 = 0. Let g = 83 - 81. Suppose z*s = g*s + 13. Does 3 divide s?
False
Is 14 a factor of (4 - -54)*91/14?
False
Let s = 2711 + -1283. Is s a multiple of 84?
True
Suppose -4*w + 4*p + 144 = 0, -6*p + 3*p - 184 = -5*w. Let k = w - 26. Is k a multiple of 4?
True
Suppose -112 = -m + 728. Does 84 divide m?
True
Let h be (2/(-4))/(2/12*-1). Suppose h*f + 3*c = 69, 2 - 40 = -f - 4*c. Is 18 a factor of f?
True
Let j be 17/4 - (-5)/(-20). Suppose -4*s - 123 = 5*o, -5*s - j = -3*o + 122. Let d = 74 - s. Is d a multiple of 17?
False
Suppose -m + 3*g - 44 = g, 5*m + 2*g = -172. Is 36 a factor of (m/(-5))/(((-12)/75)/(-4))?
True
Let u = -54 + 100. Let l be (5/(-2))/((-5)/10). Suppose -l*t + u = -14. Is 12 a factor of t?
True
Suppose -3*b - 296 = -5*f - 0*b, 164 = 3*f + 5*b. Is 58 a factor of f?
True
Let n(z) = 5*z + 36. Let p(h) = h + 9. Let r(a) = 2*n(a) - 9*p(a). Suppose 0 = 44*u - 13*u - 372. Is r(u) a multiple of 3?
True
Let v be 4/(-4)*-21 + 0. Suppose 5*z + 2*f - 4*f = v, 3*z = 2*f + 15. Suppose z*b = -3*b + 174. Does 4 divide b?
False
Let k(w) = -39*w + 9. Let y be k(-6). Suppose -4*n + y = -n. Is 14 a factor of n?
False
Suppose 20*b = 17*b + 1458. Does 81 divide b?
True
Suppose -u = -6*u + 5, 5*u + 105 = 2*z. Let c be 62/22 + 10/z. Suppose 142 = 5*n + 4*p + 28, n + c*p = 14. Is n a multiple of 9?
False
Let f be -4 - (-30)/4 - (-2)/(-4). Suppose 5*r = 3*c + 2*r - 69, f*r + 9 = 0. Does 6 divide c?
False
Is 306/(-85)*(-5)/3 + 2121 a multiple of 13?
False
Let z(i) = -3*i - 15. Let b(p) = p**2 - 2*p + 2. Let w be b(0). Suppose -66 = 5*y + 4*a, w*y + a = -y - 34. Is z(y) a multiple of 5?
True
Suppose 5*w = -p - 4*p + 50, -2*p + 30 = 4*w. Suppose 0 = -v + w*h - 5 - 10, 3*h = 2*v + 23. Does 17 divide (-9 - v) + 3*11?
True
Suppose 3*f = -0*z - 3*z + 462, 2*z = -3*f + 458. Suppose q - 82 = -3*w, -8*w + 3*w + f = -5*q. Is 8 a factor of w?
False
Let o = -2 + 2. Suppose 2*c - 17 - 25 = o. Suppose 2*v + c = 5*v. Is 7 a factor of v?
True
Suppose -11*t + 13*t = 290. Suppose 11*w - 1373 = t. Is 8 a factor of w?
False
Suppose 2*a = -4*f + 590, 3*f + 3*a - 447 = -0*f. Let k = f - 118. Is k a multiple of 7?
True
Suppose 5*i = 3*n + 168, 2*i - 5*n = -n + 70. Let p = i - 89. Let y = 93 + p. Is 22 a factor of y?
False
Suppose k - 1056 = -5*m + 118, -2*m + 4*k + 452 = 0. Does 66 divide m?
False
Suppose -3*u - 1 = 17. Is 36 a factor of (-2 + -10)*62/u?
False
Let f(j) = j**3 - 26*j**2 + 28*j - 1. Is f(25) a multiple of 10?
False
Let v(w) = 438*w - 274. Is v(10) a multiple of 37?
False
Let s(o) = -o**2 - 9*o - 17. Let f be s(-7). Let l = f - -7. Is ((-88)/33)/(l/(-66)) a multiple of 11?
True
Suppose -27*f + 28420 = 31*f. Is f a multiple of 49?
True
Suppose x - 89 = -3*z, 66 + 73 = 5*z - 3*x. Suppose -5*g - y = -g - z, -2*y = -g - 4. Suppose g*f + 39 = 7*f. Is f a multiple of 7?
False
Is 35 a factor of (232764/(-510))/(4/(-10))?
False
Let u(n) = n + 6. Let b be u(-3). Suppose 4*y - 5*r - 338 = 0, -7*r - 79 = -y - b*r. Is y a multiple of 29?
True
Suppose -p + 3*s = 2*s - 916, s = 4*p - 3652. Is p a multiple of 34?
False
Suppose -21066 = -93*t + 5625. Does 38 divide t?
False
Suppose -5*d + t = -2*d - 16, 40 = 5*d - 5*t. Suppose -p + d*s - 74 = -13, -5*p - 3*s - 328 = 0. Let r = p - -109. Is 11 a factor of r?
True
Suppose 2*y = -3*u, -4 = -u - y - y. Let b(k) = -k**3 - 2*k**2 - k. Let m be b(u). Does 6 divide (-4)/(m + (-96)/44)?
False
Suppose 0 = -3*m - 3*q + 363, -367 = -3*m - 4*q - 0*q. Does 13 divide m?
True
Suppose 44156 - 2756 = 25*b. Is b a multiple of 6?
True
Suppose 0 = 4*v + v - 850. Is 18 a factor of v?
False
Suppose 2*p = -0*p + 810. Suppose 0 = -5*y - f - 2*f + p, -188 = -2*y + 4*f. Is y a multiple of 14?
True
Let y = 196 + 74. Is 5 a factor of y/14 + (2 - 64/28)?
False
Suppose -23*a + 3 + 3746 = 0. Is 11 a factor of a?
False
Let q be ((-36)/15)/(12/(-80)). Suppose 2*c = 2*t - q, -2*c + c = 5. Is t even?
False
Suppose s = 10 - 0. Let t(y) = 2*y**2 - 13*y - 2. Let q(x) = -x**2 - 1. Let c(g) = -q(g) - t(g). Is 11 a factor of c(s)?
True
Let b(u) = 1 + 21*u + 41*u - 7*u. Let o be b(1). Is 16 a factor of (o + -1 + 1)/1?
False
Let z be 302/(0 + ((-56)/12)/7). Let r = -243 - z. Is r a multiple of 14?
True
Let y be (-1802)/(-6) - (-16)/(-48). Suppose 0*d = 2*d - y. Is d a multiple of 50?
True
Let v = -7 - -10. Suppose -v*s = -4*s - 1. Does 24 divide (31 - s)*3/2?
True
Let f = -165 - -131. Let s = f + 224. Is s a multiple of 11?
False
Let k be (2 - (-60)/(-16))/((-1)/76). Suppose 3*r + g - 68 = 0, 4*g + 3 = 5*r - k. Is r a multiple of 6?
True
Let s = -27 - -48. Suppose 0 = -11*y + 19*y - 240. Let l = y - s. Is l a multiple of 5?
False
Let c = -63 + 110. Let u(y) = -y**2 + 2*y + 15. Let t be u(5). Suppose -5*g + 3 = -z - c, t = -3*g + 3*z + 30. Is g a multiple of 3?
False
Let c = 5197 + -2621. Is 56 a factor of c?
True
Let k(i) = 11*i**3 - 7*i**2 + 8*i + 9. Let p(m) = 5*m**3 - 4*m**2 + 4*m + 4. Let h(n) = -4*k(n) + 9*p(n). Let d be h(7). Let w = d - -33. Is w a multiple of 11?
False
Does 18 divide 686/98 - (-666)/2?
False
Let t(j) = 0*j - 16*j - 10*j. Is 3 a factor of t(-1)?
False
Let d(l) = l**2 - 4*l - 1. Suppose 0 = 4*g + 34 - 66. Is 11 a factor of d(g)?
False
Let w(x) = 2*x**2 - 12*x - 24. Let o be w(17). Is 20 a factor of 72/(-15)*o/(-21)?
True
Suppose 116*l - 5142 = 110*l. Does 86 divide l?
False
Let p = 383 - 183. Let k be (-54)/(-45)*(-5)/(-3). Suppose k*g = -2*g + p. Is g a multiple of 13?
False
Does 5 divide (-2)/(-4)*(57 + -27)?
True
Let x(r) = r**2 - 6*r - 7. Let t(q) = 3*q - 3. Let f be t(2). Suppose 6*a = 3*a + 3*m + 21, -33 = -3*a - f*m. Does 5 divide x(a)?
True
Does 15 divide (1710*-2)/((-12)/8)?
True
Suppose 3*q + 2*l - 16 = -q, 3*l = 5*q - 42. Suppose q = g - 3. Is 3 a factor of g?
True
Suppose 11*x = 16*x - 75. Suppose -4*w - 3*h + 211 = 0, 5*h = -2*w + 80 + x. Is 7 a factor of w?
False
Let p be (-42)/5 - (-4)/10. Let x(d) be the second derivative of -d**5/20 - 7*d**4/12 + 5*d**3/6 + 4*d**2 + 2*d. Is x(p) a multiple of 16?
True
Let l = -258 + 510. Is 12 a factor of l?
True
Let z(q) = -21*q + 20. Suppose s + 21 = 4*u + 7, 0 = 5*s + u + 28. Is 28 a factor of z(s)?
False
Let x be (-4)/(-6) + (-343)/(-21) + 1. Is 20 a factor of (1/((-3)/(-100)))/(x/54)?
True
Let x(p) = p**3 + 5*p**2 + 5*p - 3. Let z(n) = -4*n + 17. Let l be z(5). Let t be x(l). Suppose 0*y - 5*a = y - 113, t = -a + 1. Does 27 divide y?
True
Is (-1)/(8 + 15843/(-1980)) a multiple of 44?
True
Suppose -5*d = -3*b - 2*b - 2795, -d + 551 = b. Suppose -165 = -4*k + d. Is k a multiple of 60?
True
Let f = -202 + 262. Is 9 a factor of f?
False
Let i be 14/6 - 2/6. Let d(s) = i*s**2 + 0*s**2 + 1 + 5*s**2 - s. Is 5 a factor of d(1)?
False
Let s(z) = z**3 + 9*z**2 + 3*z + 27. Let l be s(-9). Does 21 divide (l - (-9)/21) + 10952/56?
False
Suppose 0 = 2*g - z - 65, 3*z + 70 = 2*g + 11. Suppose -p = 2*w - 40, -p = -w - 0*w - g. Is 4 a factor of p?
True
Let o = -1635 + 1699. Is 6 a factor of o?
False
Let k(u) = -6*u - 40. Is k(-7) even?
True
Let n(s) = -4*s + 3 + 1 - 5 - 16. Is n(-11) a multiple of 10?
False
Let p(c) = c**2 - 2*c + 8. Let z be p(2). Let t = z + 27. Is t a multiple of 35?
True
Does 11 divide (-825)/(84/(-112)*(-2)/(-3))?
True
Suppose 2*b + 79 = -217. Is b/8*(-10 - 2) a multiple of 37?
True
Suppose 10*d - 7*d - 627 = 0. Does 17 divide d - 15/(-3 + 6)?
True
Let f = 166 + -104. Let y = f + -14. Is y a multiple of 16?
True
Let q = -14 + 10. Let l(w) = w**2 + 4*w + 3. Let t be l(q). Suppose -t*a = a - 96. Is a a multiple of 13?
False
Suppose 29 - 1 = 4*r. Let n(h) be the second derivative of -h**5/20 + 2*h**4/3 - h**3/2 - 2*h**2 - 7*h. Does 6 divide n(r)?
True
Suppose -26*q + 15028 = -9*q. Is q a multiple of 26?
True
Suppose z + 1 = -p + 121, 3*p - 4*z - 325 = 0. Let o = 10 - 2. Suppose -3*t + o = -p. Is 15 a factor of t?
False
Suppose 0 = 5*o - 10*o + 4*z + 143, 5*o + 3*z - 129 = 0. Is o a multiple of 9?
True
Let y(g) = 4*g**2 + g - 2. Let s be y(4). Suppose 3*u = -2*u - 3*v + 402, 0 = -u + 3*v + s. Is 19 a factor of u?
False
Let k = 59 + -54. Suppose 0 = -2*v - 4*i + 131 + 161, -k*