uppose -y*u - 5*u = -567. Is u a multiple of 21?
True
Let k(r) = -7*r - 16. Suppose -3*w - 4*t - 2 = 22, 0 = -2*t. Let i be (-4 + 2)/((-2)/w). Does 9 divide k(i)?
False
Suppose 23*p - 28*p - 163 = -3*f, 4*f - p - 206 = 0. Does 5 divide f?
False
Let n(h) = -12*h - 11. Let o be n(-10). Let p = o - 55. Is 18 a factor of p?
True
Let v be 2/5 + 92/20. Suppose d = 5*l + v*d - 487, 5*d = 3*l - 270. Let i = l - -1. Is i a multiple of 32?
True
Let q(v) be the first derivative of v**4/4 - v**3 - v**2 + 6*v + 2. Let i be q(4). Suppose 5*o = -a + i, 98 = 2*a - 0*o - 4*o. Does 20 divide a?
False
Let y be (2 - -2) + -1 + 1. Suppose -2*a - 42 = y*u, -2*a = -4*u + 16 - 78. Let p = u - -28. Is 15 a factor of p?
True
Let v(w) = w. Let c(b) = -3*b + 7. Let d(s) = c(s) + 4*v(s). Let h be d(-4). Suppose -41 = -p + 2*q, -p + 27 + 15 = -h*q. Is 13 a factor of p?
True
Suppose -5 = 7*h - 2*h. Let g be ((-2)/(-6))/(h/(-6)). Suppose c - 73 = g*y, 4*c + 218 = 7*c - 5*y. Is 26 a factor of c?
False
Let h = -174 - -480. Is h a multiple of 34?
True
Let f(j) = -279*j**3 + 9*j**2 + 6*j + 7. Is f(-2) a multiple of 9?
False
Let b be ((-14)/21)/((-2)/21). Let u(j) = -j + j**2 - 4*j + 2*j - 2 - 2*j. Is u(b) a multiple of 12?
True
Let f = -653 - -1998. Is f a multiple of 51?
False
Let h = -189 - -941. Is 16 a factor of h?
True
Suppose 450 = -6*y - 42. Let x = y + 131. Does 11 divide x?
False
Let y(c) = c + 34. Let x be y(-10). Is 3 a factor of (-2 + x)*(-2)/(-4)?
False
Suppose -4*t - 4 = -4*n, n + 0*n + 3 = 3*t. Suppose -184 = f - n*f. Is 19 a factor of f?
False
Suppose 2*r - 6*r + 16 = 0. Suppose 42 = -4*n - 5*t + 345, 4*n - 304 = -r*t. Is n a multiple of 25?
False
Suppose -50 = 6*y - 488. Is y a multiple of 2?
False
Let z(h) = 0*h**2 - 7*h + 509 - 499 - h**2. Does 4 divide z(-5)?
True
Let r = 933 - 917. Let x = 1 - 1. Suppose l = -4*i + 88, -i + 4*l + 23 + r = x. Does 23 divide i?
True
Let j be (-13395)/5 - (-4 + 1). Does 16 divide j/(-42) + (-4)/(-14)?
True
Let y = 12 - 6. Suppose -608 = -y*a + 502. Suppose 3*m - 119 = j, 2*m - 7*m = -5*j - a. Is m a multiple of 7?
False
Let k(p) = -p**2 + 49*p + 153. Is 34 a factor of k(51)?
False
Let p = 76 + -65. Let w(q) = -q**3 + 12*q**2 + 7*q - 11. Is 41 a factor of w(p)?
False
Suppose -3*c = -3*g + 267, 0 = -c - c - 6. Let f = -17 + 21. Suppose g - 298 = -f*v. Is v a multiple of 11?
False
Let j(h) = -h**2 + 2*h + 8. Let l be j(4). Suppose -160 + l = -4*p. Suppose -3*z - u = 6 - p, 3*z + 4*u = 28. Does 12 divide z?
True
Suppose 0*l + 2*l - 4 = -i, 2*i = 8. Let a(c) = c**3 + c**2 + c - 1. Let z be a(l). Does 13 divide (8/z)/(-4) + 45?
False
Let v(r) = -160*r**3 + r**2 + 3*r + 2. Let j be v(-1). Suppose -64 + j = 4*a. Is a a multiple of 12?
True
Suppose -2*f + f = -217. Let b = -127 + f. Is b a multiple of 18?
True
Suppose -t - t = 5*h - 1564, -2*t - 4*h + 1562 = 0. Is t a multiple of 47?
False
Suppose 3*l - 176 = -l. Suppose 4*m + 0*m = 340. Let o = m - l. Is 15 a factor of o?
False
Let k(m) = -4*m + 44. Is k(-17) a multiple of 4?
True
Let t = 75 + -70. Let x(o) = -o**3 + 8*o**2 + 4*o - 5. Does 15 divide x(t)?
True
Let d(x) be the first derivative of -9*x**2 + 3*x + 1. Suppose -3*s = 5*l + 2 - 11, -5*s + 5*l = 25. Is d(s) a multiple of 13?
True
Let u be -6 - -5 - (-16 - -2). Let f(d) = d**2 - 6*d + 9. Let t be f(u). Suppose -5*i = 4*v - 252, 5*i + 2*v - t = 3*i. Is i a multiple of 11?
False
Suppose 11*q + 0*q - 13585 = 0. Does 45 divide q?
False
Suppose 0*p = 2*p + 24. Let r(u) = u**3 + 12*u**2 - u - 9. Let j be r(p). Suppose -5*v = -j*v - 64. Is v a multiple of 16?
True
Let n(v) = 309*v**2 + 5*v - 4. Is 4 a factor of n(1)?
False
Let w = 1149 + -516. Is 8 a factor of w?
False
Suppose 5*y = -0*y - 5, 5*y - 2715 = -2*f. Is 34 a factor of f?
True
Let a be 1896/16*4/6. Let v = 96 + a. Does 11 divide v?
False
Suppose -v = 4*v - 10. Let o(j) = -11*j - 11*j + 19*j + v. Does 4 divide o(-3)?
False
Suppose f = 4*c + 206, -4*f - 194 = -5*f + c. Does 7 divide f?
False
Suppose -3*m + 2*d + 5420 = 0, 0 = 2*m + d - 4071 + 460. Is m a multiple of 14?
True
Let f(y) = -3*y**3 + 15*y**2 - 10*y + 3. Is f(4) a multiple of 11?
True
Is 4 a factor of (648/(-20))/(76/(-570))?
False
Let o(t) = -t + 8 + 4*t - 2*t. Let s be o(-8). Suppose n - 2*n + 55 = s. Is n a multiple of 11?
True
Let t(r) = r**3 + 10*r**2 - 5*r - 11. Let i(u) = -2*u**3 - 21*u**2 + 10*u + 23. Let a(c) = 3*i(c) + 7*t(c). Does 12 divide a(-4)?
True
Let j(i) = 14*i + 6. Let z be j(-2). Let f be (-1)/(2/82) - 3. Let k = z - f. Does 22 divide k?
True
Let w(v) = 26*v - 100. Is 22 a factor of w(14)?
True
Suppose -5*r - 17 = -5*m + 23, -27 = 3*r - 2*m. Let n be 2/r + (-136)/(-22). Suppose -n = 4*a - 5*a. Does 6 divide a?
True
Suppose -3*s + 36 = 6. Let a = s + -7. Suppose 5*t + y + y = 101, -a*y - 6 = 0. Does 7 divide t?
True
Let t = 3166 + -1663. Is 21 a factor of t?
False
Is 58 a factor of (2 - 3)*-4 - 3 - -324?
False
Let u(w) = w**2 - 14*w - 4. Let q be u(-12). Let v be ((-72)/7)/((-2)/42 + 0). Let g = q - v. Is g a multiple of 14?
False
Suppose 0 = 3*f - 23 - 247. Suppose -f - 26 = 4*l. Let s = -14 - l. Does 15 divide s?
True
Let l = -907 + 1946. Suppose -1181 - l = -5*v. Suppose -v - 130 = -7*y. Is y a multiple of 11?
False
Does 34 divide (-4894)/(-9) - 50/(-225)?
True
Is 22 a factor of -6 + (1407/3 - -3)?
False
Let f be 5 - 9/((-30)/(-10)). Suppose -4*u + 0*k + 3 = -k, -5*u + k = -3. Suppose f*z - 141 - 27 = u. Is z a multiple of 22?
False
Suppose 31*v - 11*v = 32400. Is v a multiple of 27?
True
Suppose -5*x + y + 13 = -24, 0 = 2*y + 4. Let h(w) = 4*w - 16. Is 6 a factor of h(x)?
True
Let o(n) = -4*n**2 + 9*n + 9. Let t(s) = -7*s**2 + 18*s + 18. Let a(u) = 5*o(u) - 3*t(u). Is 17 a factor of a(-5)?
False
Suppose i + 4*a - 937 = 0, 2*a + 1116 + 2668 = 4*i. Is 27 a factor of i?
True
Let w be -3 + 7 + -3 + 2 + 3. Let c(p) = -p**2 + p + 1. Let f(x) = -2*x**2 - 2*x + 7. Let j(l) = -3*c(l) + f(l). Does 10 divide j(w)?
True
Suppose -p + r = -5*p + 139, -3*p + 103 = r. Let a = -23 + 28. Suppose a*b + 3*h = 425, -b - 2*h + p = -42. Is 30 a factor of b?
False
Suppose 300 = 13*n - 2326. Does 6 divide n?
False
Let p(k) be the third derivative of 0*k - 1/60*k**5 - k**2 + 1/24*k**4 + 0 + 8*k**3. Is 16 a factor of p(0)?
True
Suppose -3*k + 15 = 3*f, -k - 11 = -2*f + 7*f. Suppose -h + 0 = -k. Does 3 divide h?
True
Let x(f) = f**3 + 16*f**2 + f + 17. Let v be x(-16). Suppose 0 = 5*c + 5*w - 210, 3*c - 148 = 4*w - v. Is c a multiple of 15?
True
Suppose -28 = 2*w + 60. Suppose 3*u = g + 66 + 230, 0 = 3*u + g - 298. Let t = u + w. Is t a multiple of 15?
False
Suppose -51 = -2*j + 63. Let x be j + (-2 + 3 - 3). Suppose -x = -3*w - 7. Does 16 divide w?
True
Suppose 0 = -4*d + 3 + 13. Is 26 a factor of 658/d*(-24)/(-42)?
False
Suppose 8 = -2*m, 24*y + 3*m = 20*y + 2884. Does 16 divide y?
False
Let n = 3 + -5. Let j(g) = 274*g**2 + 2*g + 3. Let w be j(n). Is 21 a factor of w/20 + (-2)/(-8)?
False
Let p = 101 - 29. Suppose -2*c + 3*i = -0*c + 9, 2*c - i = 1. Suppose -4*y + 16 = j - 68, -3*j = c*y - p. Is 10 a factor of y?
True
Suppose 0 = 2*v + l - 959, 0*l - 1883 = -4*v + 5*l. Does 50 divide v?
False
Suppose -33*l + 6*l + 10962 = 0. Does 14 divide l?
True
Suppose 3*v + 142 = 1381. Is v a multiple of 7?
True
Suppose 4*v = 5*w + 44, 4*w - 4*v + 35 - 3 = 0. Is (18/w)/1*(-80)/6 a multiple of 4?
True
Let m be (8862/10)/(-7) - 3/(-5). Does 10 divide (-17 + 18)/((-2)/m)?
False
Let g be (-1692)/(-12) + 1*4. Suppose -j = 4*j - g. Is 29 a factor of j?
True
Suppose 5*a - 1185 = -5*h, 67 + 398 = 2*a + 5*h. Does 12 divide a?
True
Let l = 336 + -196. Is l a multiple of 4?
True
Suppose 4*r + 1 = -39. Is -2 + (2 - 1) - r a multiple of 3?
True
Let a = 370 - -29. Is 42 a factor of a?
False
Let t = 3323 - 2005. Is 15 a factor of -3*(t/(-24) - (-10)/40)?
False
Let o be -1 - -172 - (-7 + 4). Let y = o - 255. Let c = -55 - y. Does 11 divide c?
False
Let j = 177 - 27. Is j a multiple of 50?
True
Is (1/(-2))/(16/123712*-2) a multiple of 34?
False
Let g = 15 - 6. Let c be 200/72 + 2/g. Suppose v + 52 = 2*i + 3*v, 2*i + c*v - 54 = 0. Is 12 a factor of i?
True
Let y = -2603 + 4144. Is 22 a factor of y?
False
Let y be (-8)/(-2) - (-1 + 1). Suppose 3*p = 5*p + 3*d - 43, 0 = y*d + 12. Does 12 divide p?
False
Let r(k) = 2*k**2 + 16*k + 4. Let b be r(