s = 14. Suppose 7 = w - s. Is 11 a factor of y(w)?
False
Suppose -3*g + 57 = 3*f - 123, -12 = 4*f. Is g a multiple of 6?
False
Suppose -60*a + 108471 + 60369 = 0. Does 14 divide a?
True
Suppose -6432 + 26595 = 11*p. Does 15 divide p?
False
Let d(o) = 587*o**2 + 9*o + 2. Does 22 divide d(-1)?
False
Suppose -9*d - 6*d = -630. Suppose 2*t = -4*j + 100, t = -5*j + d + 2. Is t a multiple of 9?
True
Suppose 30*x - 2560 = 20*x. Is x a multiple of 18?
False
Suppose -2338 = -3*w + 7139. Is w a multiple of 117?
True
Suppose 9*i - 6*i = 9. Suppose -4*j + 24 = 4*v, v + i + 21 = 2*j. Is j a multiple of 2?
True
Is 6 a factor of (31/4)/(14/336)?
True
Let g be (-2 - 2/(-1)) + -7. Let m = 3 - g. Let x = m + 8. Is x a multiple of 6?
True
Suppose 2*k = 4 - 0. Suppose 4*u - k*u = 110. Let v = -26 + u. Does 5 divide v?
False
Suppose 3*c = 7*c - 916. Suppose -c = -2*h + 35. Suppose 2*z = -2*z + h. Is 11 a factor of z?
True
Suppose 11*x + 2655 - 8287 = 0. Does 10 divide x?
False
Is 7/(35/(-120))*-77 a multiple of 88?
True
Let l = 4 - 0. Suppose 0*g + 20 = l*g. Let r(y) = 3*y**2 - 4*y + 5. Is r(g) a multiple of 15?
True
Suppose 0 = -d + 3*o + 25, 2*d + d + 4*o = 62. Let j = d + -6. Is j a multiple of 8?
True
Let p(u) = -7*u - 5 + 5 - 2 - 2. Suppose -7 = 2*w - 1. Does 5 divide p(w)?
False
Does 13 divide (1/(-2))/((-2)/1808)?
False
Let h = -123 + 306. Let p = 306 - h. Is 41 a factor of p?
True
Let n be ((-4)/3)/((-8)/48). Let l be (-2)/(-8) - 2/n. Is 15 a factor of (-1)/(l - (-3)/(-96))?
False
Let f(t) = 6*t**2 - 8*t - 45. Is f(-5) even?
False
Let f = 12 + -9. Suppose 5*l + p - 381 = 0, f*l - 379 = -2*l + p. Does 17 divide l?
False
Let l = -1 - 0. Let b = 71 + -66. Let n = b + l. Is 4 a factor of n?
True
Let w(r) = r**3 - 5*r**2 + 3*r - 11. Let x be w(5). Suppose -2*n + d = -6 - 54, -30 = -n + x*d. Is 30 a factor of n?
True
Let c = 81 + -79. Suppose c*h + 7*h = 216. Does 8 divide h?
True
Let b be 3/(9/6) - -3. Suppose 7 = -p - 2*x, b*x + 0*x = 5*p + 5. Does 12 divide 0/(-3) - 108/p?
True
Let d = -5 - -4. Is 5 a factor of -8 + 16 + -2*(d + 0)?
True
Is (-30)/(-80) - 5101/(-8) a multiple of 2?
True
Let b = 21 - 18. Let h be b/(-4) - 342/(-8). Let g = h - 12. Is g a multiple of 6?
True
Let y(i) = 133*i + 148. Is 34 a factor of y(4)?
True
Let r = 0 - 15. Let j = r - -16. Suppose -5*z = 3*s - 91 - j, 4*z - s - 77 = 0. Is z a multiple of 11?
False
Suppose 2*b - 126 = -5*m, m - 6*m - 5*b = -135. Suppose -2*d + 0*d = -m. Is 4 a factor of d?
True
Let n be (-13)/(-2) - 15/(-10). Is 35 a factor of ((-35)/4)/(n/(-160))?
True
Suppose -22*k + 13464 = 3696. Does 58 divide k?
False
Suppose -4*o - 5*n + 7 = -4, o - 6 = 2*n. Does 5 divide o*(-15)/36*-3?
True
Let d(u) = -u**3 - 10*u**2 - 10*u. Let j be d(-9). Let a be (102/j)/((-10)/(-15)). Suppose a = -3*t + 4*t. Does 9 divide t?
False
Suppose -44*x = -9*x - 2625. Is x a multiple of 30?
False
Let v(p) = -127*p - 6. Let f be v(6). Let s = -496 - f. Let r = s + -188. Is r a multiple of 28?
True
Let a(x) = -x**3 - 2*x**2 - 18*x + 6. Does 13 divide a(-7)?
True
Let x = -6 - -2. Let t be (-719)/x + (-14)/(-56). Let v = t + -90. Is 30 a factor of v?
True
Let f = 150 - 50. Suppose 4*h - f = 5*c, 0 = -7*c + 2*c - h - 125. Let q = c + 48. Does 6 divide q?
True
Let h(s) be the first derivative of 8*s**2 + s + 1. Let t(z) = z**3 + 8*z**2 - z - 6. Let b be t(-8). Is 11 a factor of h(b)?
True
Suppose -2*p - 4*s + 13 + 7 = 0, -3*p + 14 = 2*s. Suppose 5*v = -y + 10 + 39, -3*y + p*v + 198 = 0. Is 13 a factor of y?
False
Let m = 182 - 173. Let h(y) = 16*y**2 - 3*y + 2. Let r be h(2). Let j = r + m. Is j a multiple of 23?
True
Let m(p) = -19*p + 18. Is m(-6) a multiple of 22?
True
Let t(m) = m**3 - m**2 + 6*m - 16. Let z(j) = 2*j**2 + 14*j + 5. Let p be z(-7). Is t(p) a multiple of 17?
False
Let t(p) = 15*p + 6. Let h be t(5). Let u = h - -114. Suppose 0 = -z + 6*z - u. Is z a multiple of 13?
True
Suppose -705 = -7*s - 117. Let x = -64 + s. Is x a multiple of 18?
False
Let m(f) = f. Let t(l) = -2*l + 7. Let d(n) = m(n) + t(n). Does 2 divide d(0)?
False
Suppose 17340 = 5*q + 10*q. Is q a multiple of 10?
False
Let y be 74/(-10) + (-12)/20. Let d(s) = s + 12. Let x be d(y). Suppose 213 = 4*j + 5*o - 42, -3*o - 295 = -x*j. Is 14 a factor of j?
True
Let r(f) = f**3 - 23*f**2 + 58*f - 16. Is 20 a factor of r(21)?
True
Suppose -5*a - 30 - 10 = 0. Let n(z) = -4*z + 3. Let h be n(a). Is 1554/h - 4/10 a multiple of 16?
False
Let g = 1 - 0. Suppose 0 = -5*c - 5*y + 55, 0 = 5*c + 4*y - 3*y - 63. Let a = c - g. Is a a multiple of 4?
True
Suppose 3*c = 3, -5*c + 3*c = -3*s - 8. Let n be -1 + s - (-42)/(-2). Does 15 divide ((-15)/(-9))/((-2)/n)?
False
Suppose 3*d - 6*d + 561 = 0. Let a = d - 96. Is a a multiple of 32?
False
Let n(g) = 32*g - 16. Suppose 0 = -2*i + 27 - 17. Is n(i) a multiple of 32?
False
Suppose -30*u + 42601 = -u. Is 13 a factor of u?
True
Let v be (-752)/(-20) + (-10)/(-25). Let t = -11 + v. Is 7 a factor of t?
False
Suppose -17 = -4*g + k, 2*g - k + 0 = 7. Suppose 85 = -g*i + 305. Is i a multiple of 17?
False
Suppose 1 - 3 = o. Let d be (10 + (o - 0))/2. Is 182/9 - d/18 a multiple of 9?
False
Suppose -7*g + 610 + 237 = 0. Let p = g + -6. Is 32 a factor of p?
False
Let j(z) = z**2 + 2*z - 4. Let y be j(-4). Suppose -4*b - 3*p = -3 - 12, -2*b + y*p = -2. Suppose -i = 4*x - 284, -284 = -x - 3*x + b*i. Does 24 divide x?
False
Let p be (7 + 1)/(2/4). Let u be (-6)/((-2)/(p/12)). Suppose u = -5*q + 144. Is q a multiple of 15?
False
Let j(r) = -40*r - 60. Is 10 a factor of j(-8)?
True
Suppose 3*o - 2*o = 0. Suppose -43 = -11*h - 10. Suppose 2*y = -h*y + 4*u + 212, 5*y + u - 197 = o. Is 11 a factor of y?
False
Suppose -4*k + 6 = -2*k. Suppose -3*j + 684 = k*j. Does 12 divide j?
False
Let x be 0 + 1 - 2 - -1. Suppose 28 = -x*u - 3*u + 2*n, -u - 16 = -2*n. Let f(j) = -11*j - 8. Does 10 divide f(u)?
False
Let z = -2 + 10. Let k(m) = -3*m + 5*m + 0*m + z. Does 13 divide k(9)?
True
Is (-4 + 1)*(-6715)/51 a multiple of 33?
False
Suppose -2*p - 5327 = -z, 3*p = z + 5*p - 5315. Is 17 a factor of z?
True
Let d(x) be the second derivative of -x**4/12 + 5*x**3/3 - 2*x**2 - x. Let t(r) = r**3 - r**2 - 2*r - 3. Let n be t(3). Is 2 a factor of d(n)?
False
Is 2/18*3629 - 240/1080 a multiple of 4?
False
Suppose -2*q = -q - 8. Suppose -c - 2*m = -11, -c + q = m - 0*m. Let z = c - -15. Does 7 divide z?
False
Let u(i) = 4*i - 16. Let r be (13/(-4))/(3/(-12)). Let k be u(r). Suppose m + k = 2*m + d, -4*d = -m + 51. Does 13 divide m?
True
Suppose 0 = 3*t + 4*v + 39 - 12, -4*v = -12. Let o = t + 17. Suppose -o*g = 12, 3 + 24 = m - 5*g. Does 8 divide m?
False
Let z(h) = h**2 - 7*h + 1. Suppose 3 = 2*i - 5. Let q(m) = m**3 - 4*m**2 + 2*m. Let g be q(i). Is 9 a factor of z(g)?
True
Let n = -971 + 1794. Is 15 a factor of n?
False
Let r = 74 - 34. Let n(c) = 2 - c**2 + 15*c**3 - c - 4*c**3 + r*c**3. Does 17 divide n(1)?
True
Suppose 20*z - 18*z - 2 = 0. Let w(t) = t**2 + t - 1. Let y(x) = 2*x**2 + 2*x - 61. Let d(k) = z*w(k) - y(k). Is d(0) a multiple of 15?
True
Let z = -1 - -2. Suppose -z - 11 = 3*o, -3*f + 4*o + 31 = 0. Suppose 0 = 4*m - 4*t - 388, 303 - 793 = -f*m + 4*t. Is m a multiple of 34?
True
Suppose -z = 5*o - 15, 2*o - 15 - 3 = 2*z. Suppose 0 = 5*v + 4*b + 21, -v + 15 = -0*v - o*b. Does 14 divide (9/18)/(v/(-38))?
False
Is 92 a factor of (-584)/(-6)*(-1254)/(-76)?
False
Let x be ((-2)/(-7))/(2/14). Suppose -x*l - 13 = -l. Let w = l - -23. Is 8 a factor of w?
False
Suppose 20 = 4*g, -2*b - 125 = 3*b - 4*g. Let r = b + 35. Is 14 a factor of r?
True
Let r be (-35)/(-21) + (-4)/(-3). Suppose -1376 = -3*n + r*a - a, 0 = 2*a + 8. Does 12 divide n/14 - (-8)/(-14)?
False
Suppose 58 = -0*y + 2*y. Let a = 57 - y. Does 9 divide a?
False
Is (-1)/((-3 + 7)/(-1336)) a multiple of 15?
False
Let v = 82 + -75. Suppose 3*n - 1 + v = 0, -4*u + 5*n + 682 = 0. Does 56 divide u?
True
Let h = 8 + 22. Is (-33)/(-5) - h/(-75) a multiple of 2?
False
Let h(o) = -o + 3 - 15*o - 3. Does 16 divide h(-2)?
True
Does 8 divide (-8 - (1 + -12))*(260 + -1)?
False
Suppose 4*u - 1402 = 12*c - 10*c, -5*u + 5*c = -1765. Is u a multiple of 29?
True
Suppose -5*x - 1950 = 5*m, -25 = -2*m + 7*m. Let n = 540 + x. Is n a multiple of 31?
True
Let h(g) = -g**3 - 9*g**2 + 9*g - 2. Let c be h(-10). Is 4 a factor of ((