3*r - 2057. Suppose a - 94 = 5*w. Is 13 a factor of w?
False
Let v be 12*((-7)/(-2) + -3). Let u = v + -11. Is 13 a factor of 258/5 + (-2)/u?
True
Suppose -2*z - 3*q + 384 = 0, 0*q + 5*q = -4*z + 766. Suppose -3*g - z = -3*k, 0*g - 20 = 4*g. Is 16 a factor of k?
False
Suppose -7 - 5 = -3*s. Suppose s*k = -3*a + 52, k + a = -2*k + 34. Is 3 a factor of k?
False
Let d = -6 + 9. Let b(u) = -5*u**d - 7 - 5*u - u**3 + 7*u**2 + 4*u**3 + u**3. Is 9 a factor of b(5)?
True
Suppose -h + 326 = 2*k, -368 - 312 = -4*k + 5*h. Is k a multiple of 11?
True
Let l be (-4)/10 - (-67)/5. Let j(o) = -o**3 + 13*o**2 - o + 17. Let m be j(l). Suppose 3*a - 37 = m*r, 2*a + 4*r = 6*r + 24. Is a a multiple of 11?
True
Let h(i) = -2*i + 6 + 26*i**2 - 27*i**2 - 2. Let d be h(-3). Suppose 42 + d = 5*a - 3*u, -14 = -2*a + 2*u. Is a a multiple of 4?
False
Let m = -305 + 724. Is m a multiple of 30?
False
Suppose -231*i = -232*i + 259. Does 13 divide i?
False
Suppose 0 = 20*h - 6353 - 5087. Is h a multiple of 26?
True
Suppose 10 = -2*v + 12. Let y(p) = 4*p - 1 - p - v - 2*p. Is y(6) a multiple of 3?
False
Let q be (-251)/(-9) - 2/(-18). Let t = 140 - q. Is 23 a factor of t?
False
Does 29 divide (80/15)/(5 + 1492/(-300))?
False
Suppose 0*h = -3*z + 2*h - 1, 5*z = -2*h + 25. Suppose -4*p - z*n = -220, -p + 36 = -0*p - 4*n. Does 4 divide p?
True
Let l(a) = 0 + 5 + 0 - 3 + 16*a. Let s be l(-5). Let n = s - -132. Does 18 divide n?
True
Is (10090/8)/((-255)/(-204)) a multiple of 66?
False
Suppose -189 = -2*f + 123. Suppose -3*v + f = v. Is 10 a factor of v?
False
Suppose 2*a = 4*q - 66, q = -3*a + 4*q - 99. Let k = a + 68. Let r = -19 + k. Is 8 a factor of r?
True
Suppose 2*p - 994 = -5*f, -2*f - 202 = -3*f - 2*p. Suppose -7*a - f = -1248. Is a a multiple of 8?
False
Let n be ((-182)/(-8))/((-2)/8). Let x = 131 + n. Does 8 divide x?
True
Suppose 9*k - 34 - 11 = 0. Does 16 divide (192/(-9))/(k/(-45))?
True
Does 39 divide 5/(-25)*1 + 4008/15?
False
Let x(z) = 34*z + 858. Does 13 divide x(0)?
True
Let j(c) = 65 + 26 - 7 + c**3 + 0. Is 21 a factor of j(0)?
True
Suppose -p - 4*d = -5*p + 364, 172 = 2*p - 4*d. Suppose h + h - p = 0. Is 12 a factor of h?
True
Let c(u) = -2265*u - 27. Is 17 a factor of c(-1)?
False
Let o = -52 - -72. Is o a multiple of 4?
True
Let w = 194 + 76. Is w a multiple of 12?
False
Let t be 6/2 + -10 + 8. Does 17 divide 3/(t + (-31)/34)?
True
Let u be -3 - ((-4)/8)/((-4)/(-40)). Is -3 - (u/(-4) - 71/2) a multiple of 33?
True
Let o = -27 + 27. Suppose -4*c + o*c = -1060. Does 20 divide c?
False
Suppose 0 = 2*t + 3*k - 63, 4*t + 2*k = k + 141. Suppose -t = -p - 4*m, -2*p + 16 = 4*m - 48. Is p a multiple of 13?
False
Let i = 53 - -930. Does 21 divide i?
False
Let c(b) = 6*b - 6. Let i(y) be the third derivative of y**4/6 - y**3/6 - y**2. Let f be i(2). Is 20 a factor of c(f)?
False
Suppose i + 3*i = 16. Does 2 divide 485/55 + i/22?
False
Let b = -204 - -347. Is 35 a factor of b?
False
Suppose -4*j + 8556 = 4*v, 0 = 10*v - 6*v + 2*j - 8554. Is 38 a factor of v?
False
Let x(p) = -p**3 - 8*p**2 + 7*p + 2. Let a be x(-9). Let h = -13 + 18. Suppose h*l + 24 = j, -2*j - a = -3*j + 4*l. Is 4 a factor of j?
True
Suppose -4*g + 0*a = 2*a + 6, -5*g - 3*a - 6 = 0. Suppose -y + 0*y = -26. Does 20 divide (y/g + 2)*-3?
True
Let d(o) = o**3 + 21*o**2 + 20*o + 5. Let k be d(-20). Let i(n) = -2*n**3 + 5*n**2 + 3*n - 3. Let j be i(-6). Suppose -136 + j = k*p. Does 22 divide p?
False
Let d = 376 - 218. Suppose 3*k - 4*g = d, -3*k + 2*g = -8*k + 298. Does 29 divide k?
True
Let b = -154 + 158. Let i(x) = 2*x**2 - x - 3 + 7*x - 1. Is 13 a factor of i(b)?
True
Let l(r) = -r**3 + 11*r**2 - 6*r + 17. Let t = -25 - -32. Is 12 a factor of l(t)?
False
Let v(u) = u**3 - 12*u**2 + 14*u + 1. Let w be v(11). Let i = -157 + w. Let s = i + 227. Is s a multiple of 22?
False
Let j(z) = -2*z**2 - 12 - z**3 + 4 + 0*z**2 + 3*z. Let l(p) = 5*p - 5. Let a be l(0). Does 13 divide j(a)?
True
Let a(z) = -z**3 + z**2 + 7*z - 12. Is a(-4) a multiple of 4?
True
Suppose 5*b - 1 = 2*p + 13, -b + 10 = 2*p. Let q be 28/(-35)*(-30)/b. Does 4 divide (8/1)/(q/9)?
True
Let k = 45 + -42. Does 3 divide (40/15 - k)*-117?
True
Suppose 4*h = 2*h + 1000. Let u be -2*((-45)/6 + 2). Suppose u*p = 6*p + h. Is 20 a factor of p?
True
Suppose 3*i - 3745 = 3*t - 8*t, -3*t - 4*i = -2258. Is t a multiple of 9?
False
Let o = -823 - -1823. Is o a multiple of 25?
True
Let d(c) = -2*c**3 - 36*c**2 + 4*c - 25. Is 9 a factor of d(-19)?
True
Suppose 3*o = -4*i + 33, i - 5 = -o + 2. Let w be 6/21 + i/7. Is 2/5*50/w a multiple of 5?
True
Suppose 3*v - 12 = -x, -2*x - 2*v + 18 = 2*v. Let s be 12/6 + (-75)/x. Let k = 28 + s. Is k a multiple of 2?
False
Let z(l) = l**2 - 12*l - 9. Let d be z(13). Suppose 0 = m - 4*w - 100, 0 = -d*w + 5*w + 5. Suppose -2*i = 2*i - m. Does 12 divide i?
False
Let b = -119 + 61. Let p = b - -137. Is p a multiple of 19?
False
Suppose -i + 7*g + 1217 = 2*g, 3*i - 3664 = 2*g. Does 47 divide i?
True
Suppose -4*v + 51 = 5*h, -2*h + 27 = -h + 5*v. Suppose 11*q = h*q - 132. Does 6 divide (-2)/(-11) + (-1017)/q?
False
Let v(i) = -i**3 + 9*i**2 + 2*i + 3. Let l be v(7). Let x = -82 + l. Is 9 a factor of x?
False
Let c = -29 - -67. Suppose -s = -3*b - c, 0 = 2*s - s - b - 28. Is 23 a factor of s?
True
Suppose -4*b - 5*w - 190 - 217 = 0, -b = 5*w + 83. Let t = -64 - b. Is t a multiple of 17?
False
Suppose m + m = 8. Suppose 4*b = -2*c - 25 + 5, -4*b = -m*c + 20. Suppose c = -3*a + 33 + 63. Is a a multiple of 8?
True
Let x = 12 + 28. Let q = x - 36. Suppose 56 = 2*t + q*c, -2*c + c + 74 = 3*t. Does 6 divide t?
True
Let p(b) = -16*b - 6. Let i be p(7). Let a = i - -306. Is 47 a factor of a?
True
Let u = 21 + -19. Let j be ((-96)/9)/(u/(-3)). Suppose 2*c = 6*c, 2*f + 2*c = j. Does 2 divide f?
True
Let r(k) = 2*k**2 + 13*k - 38. Is r(4) a multiple of 4?
False
Let r = -108 + 84. Suppose -3*d = -2*g - 0*d + 99, 3*d - 81 = -2*g. Let y = r + g. Is 8 a factor of y?
False
Let l be (-15)/(15/2) - (-8)/2. Suppose -3*c = l*c - 930. Does 62 divide c?
True
Let n(h) = h**3 - 3*h**2 - 9. Let x be n(4). Let k(z) be the second derivative of 2*z**3/3 + 5*z**2/2 + 2*z. Is k(x) a multiple of 11?
True
Let z be 15*(2/(-3))/((-6)/177). Suppose z = 8*n + 7. Is 16 a factor of n?
False
Let w(z) be the second derivative of 7*z**3 - 65*z**2/2 + 3*z. Is 11 a factor of w(5)?
False
Suppose -5*g + 5498 = 3*r - 951, 4*r - 8657 = 5*g. Is r a multiple of 83?
True
Let o be (-20)/(-6)*(1 - 458/(-4)). Let d = -253 + o. Is d a multiple of 22?
True
Let s(z) = 87*z + 39. Is 4 a factor of s(2)?
False
Let o(s) be the third derivative of -s**6/360 - 13*s**5/120 + s**4/12 + 7*s**3/6 + 4*s**2. Let n(i) be the first derivative of o(i). Is 10 a factor of n(-9)?
False
Let g be -5 + 5/(-5) + 9. Suppose 6*n - 3*n = q - 36, -3*q - g*n = -132. Is q a multiple of 7?
True
Let b(m) = 5 + 1 + 9*m - 2 + m**2. Let h be b(-9). Suppose -h*w = -94 - 82. Is w a multiple of 22?
True
Suppose -2*w - 2*u + 1777 = 141, 0 = w + 5*u - 834. Is w a multiple of 12?
False
Let q(d) = -2*d**3 - 8*d**2 + 4*d + 3. Let i be q(-6). Suppose 0 = -x + 4*m + 21, -4*m + i = 4*x - 7*m. Is 11 a factor of x?
True
Let d be (-15)/6*24/(-10). Let o = d + -65. Let i = 95 + o. Is 6 a factor of i?
True
Let v be (0 - (-3)/4)*4. Suppose -c + 0*c = 4*t - 23, 0 = v*c - 9. Let r = 22 + t. Is r a multiple of 9?
True
Is -9 + 778 - (-2 + 1) a multiple of 14?
True
Let g(b) be the second derivative of b**5/20 - 7*b**4/6 + b**3/6 + b**2/2 - 6*b. Does 4 divide g(14)?
False
Let k(u) = 2*u**2 + 5*u. Suppose -w = 2*f - 3*w, 0 = 5*f + 4*w. Suppose 2*b - 3*d + 21 = -f*b, 4*b - 5*d + 39 = 0. Is 21 a factor of k(b)?
True
Let l = -12 + 8. Let o be (-31)/l - (-2)/8. Suppose -u + o + 45 = 0. Is u a multiple of 11?
False
Let i = -3864 - -5681. Is i a multiple of 8?
False
Suppose -683 + 94 = -31*h. Is h a multiple of 19?
True
Let i be 3 + -4 - 2/((-8)/(-12)). Is 4/(-14) + 541/(-28)*i a multiple of 10?
False
Let n(p) = 2*p**3 + 50*p**2 + 28*p - 63. Does 6 divide n(-24)?
False
Let y(c) = 2*c**2 - 37*c - 4. Does 5 divide y(29)?
True
Let t(r) = -10*r - 14. Let m = 4 - 14. Let g be t(m). Suppose 3*l = l + g. Is l a multiple of 16?
False
Let k be (8 - 6)*(-43)/2. Let t = k + 29. Is t/((-4)/2) - -2 even?
False
Suppose 4*j + 140 = 4*b, -j - 30 = 14*b - 