1. Is 18 a factor of r(3)?
False
Let r be (-3)/9 - (-32)/6. Let y(q) = q**2 - 4*q + 7. Does 11 divide y(r)?
False
Let t(b) = 20*b - 14. Does 13 divide t(2)?
True
Suppose -3 = -5*c + 7. Suppose -c*z + 6 = -6. Is z even?
True
Let h(r) = -r**3 + 8*r**2 - 7*r - 6. Suppose 3*s - 18 - 13 = -2*a, 4*a = 2*s + 6. Let u be h(s). Is u/5*(-20)/8 a multiple of 2?
False
Let a(d) = -7*d - 22. Is 16 a factor of a(-11)?
False
Let p = -325 + 619. Is p/36 + (-1)/6 a multiple of 4?
True
Suppose h - 15 = -4*h. Is (-1)/(h/(-30))*5 a multiple of 10?
True
Let z be 15*2/10*-2. Let l = -1 - z. Suppose 0 = 2*c - 3*g - 28, c = -4*g + l - 13. Does 4 divide c?
True
Let t(l) = -13*l - 10. Suppose -w + 5*w - 2*r + 20 = 0, 0 = 4*r + 16. Is 27 a factor of t(w)?
True
Let n(a) = -2*a - 1. Let h be n(-7). Let i = -6 + h. Is 5 a factor of i?
False
Suppose -5*n + n + 4*p = -28, 5 = -5*n - 5*p. Suppose 160 = 4*t + 4*d, -n*t + 40 = 5*d - 78. Does 15 divide t?
False
Suppose 0 = -2*z - 1 - 11. Is 4/z - (-130)/6 a multiple of 10?
False
Let f(u) = -2*u**2 - 4*u**3 + 5 - 4 + u**3 + 6*u - 5*u. Does 15 divide f(-2)?
True
Let f be 0 - 2/(-2)*1. Let q be 2*f/2 + 67. Suppose 5*l = l + q. Is l a multiple of 17?
True
Suppose u = 1 - 15. Let c = u + 7. Let x = c + 19. Is x a multiple of 6?
True
Let q = 6 + -4. Suppose -4 = -k - w, -w - 28 = -q*k + 2*w. Does 3 divide k?
False
Suppose 2*j + 45 = -3*j. Suppose -5*n - 35 = 3*t + 2*t, 3*t = 4*n - 7. Is 8 a factor of n*(-1 - j)*-1?
True
Let v(x) = x**2 + 3*x + 2. Let w = -7 - -4. Let n be v(w). Suppose -m + n*z + 9 = 4*z, -m + 4*z = 3. Is m a multiple of 3?
False
Let h = -3 - -6. Suppose -2*x - h*x + 120 = 0. Does 8 divide x?
True
Let x(l) = l**3 + 4*l**2 - 6*l - 2. Let o be x(-4). Let w = o + 10. Is w a multiple of 8?
True
Let t be (-14)/(16/(-6) - -2). Let l = 45 - t. Is 12 a factor of l?
True
Suppose -x - g = -21, -22 = 5*x + 3*g - 137. Is 13 a factor of x?
True
Suppose 0 = -5*j - 25, 2*u + 5*j - 6 = -7. Does 2 divide u?
True
Suppose 2*o - 5 = -1. Let j(y) = -y**3 - y. Let q be j(-1). Suppose -o*s - 3*s = 0, 0 = -q*c - s + 22. Is c a multiple of 8?
False
Let r = -8 + 6. Let a = r - -20. Is 6 a factor of a?
True
Let a(w) = -2*w + 1. Let x be a(2). Is 2 + -1 + (-48)/x a multiple of 16?
False
Let m(w) = -18*w. Let z(g) = g - 1. Let r be z(-3). Does 18 divide m(r)?
True
Suppose -39*x - 224 = -43*x. Does 8 divide x?
True
Does 15 divide 2/((-4)/9)*-10?
True
Let s(l) = 5 - 4 - l + 4 + 10. Is 4 a factor of s(0)?
False
Suppose 5*d = 5*k + 20, -2*d - 5*k = 2*d - 52. Is 24 a factor of d/(-6) + 1100/15?
True
Suppose v - 3*f = 83, 0 = 5*v + 4*f - 0*f - 434. Let d = -117 + 79. Let h = v + d. Is 13 a factor of h?
False
Suppose -4*f + 13 = 5. Suppose -n + 10 = 4*n, f*i - 3*n = 26. Is i a multiple of 10?
False
Suppose 0 = 5*w - 3*w - 24. Is w*((-16)/12 + 2) a multiple of 2?
True
Let f(c) = c**3 - 4*c**2 - 2*c + 10. Let m be f(4). Suppose -p - 10 = -3*i, 5*p = 6*p - 5. Suppose m*t + 96 = i*t. Is 10 a factor of t?
False
Suppose 2*q - 7*q - 50 = 5*u, -4*u + 3*q - 12 = 0. Let m = 64 + u. Is 22 a factor of m?
False
Suppose -3*v - 4*w - 50 = -4*v, -170 = -4*v + w. Is v a multiple of 14?
True
Suppose 2*g = -4*u + 318, 5*g = 4*u - 0*g - 353. Does 14 divide u?
False
Let c = 49 + -28. Is 13 a factor of c?
False
Is (-1707)/(-18) + (3 - (-51)/(-18)) a multiple of 21?
False
Suppose 280 = -5*f + 15*f. Is f a multiple of 19?
False
Let r(j) be the third derivative of -3*j**2 + 0*j - 1/60*j**5 + 0 + 1/3*j**4 - j**3. Is r(4) a multiple of 10?
True
Let u(t) = t**2 + 3*t + 8. Does 4 divide u(-5)?
False
Suppose h - 45 = -3*v, -4*v + 9 = -3*h - 64. Suppose 0 = z - 2*r, -8*z + 4*z = -4*r - v. Does 7 divide z?
False
Let b(l) = -7*l**2 + l. Let m be b(3). Let g = -33 - m. Does 12 divide g?
False
Let m(n) = n**2 + 2*n. Let i be m(2). Let g = 11 - i. Suppose -g*u = -6*u - j + 27, 4*j = u - 22. Is u a multiple of 10?
True
Let v(t) = -81*t**3 - t**2. Does 13 divide v(-1)?
False
Suppose g - p - 9 = -g, -5*p = 25. Suppose -5*h - 4*i = -408, -29 - 127 = -g*h - 4*i. Is 31 a factor of h?
False
Let t = 5 + -3. Let x be 133 + 1 + t/(-2). Suppose -2*q - h + x = 3*q, -6 = -2*h. Does 13 divide q?
True
Let k = 0 + 0. Suppose -2*j = -2*l - 5*j + 24, -4*l - j + 48 = k. Suppose 0 = -4*m - 4 + l. Does 2 divide m?
True
Suppose -3*m + 0*m = -9. Suppose -s + a = -11, -s + 21 = s - m*a. Does 4 divide s?
True
Let w be 2 + (0 - (3 + 2)). Let k(v) = -5*v - 3. Is 6 a factor of k(w)?
True
Let v = 2 - -2. Suppose 2*u = -v*p + 56, 4*u - 72 = p - 5. Is u a multiple of 7?
False
Suppose -7 = 4*f + 25. Is 10 a factor of 8/((14/f)/(-7))?
False
Let d(v) be the third derivative of v**5/60 + v**4/12 + 2*v**3/3 - v**2. Is d(-6) a multiple of 26?
False
Suppose v = 5*v - 8. Suppose -r = -v*u - 4, -4*r = -3*u - 2 - 14. Suppose -3*z + 7 = -4*z - 2*s, -4*z = -r*s - 32. Does 2 divide z?
False
Is 3 a factor of 3 - (-6)/2 - -2?
False
Suppose -3*g + 568 = 5*t, -5*t - 3*g = -6*g - 562. Is t a multiple of 7?
False
Let s(t) = 12*t + 3. Let q be s(3). Let i = 73 - q. Does 7 divide i?
False
Let p(o) = 15*o**2 - o + 2. Let y be p(-3). Suppose 4*b - y = -b. Is b a multiple of 16?
False
Suppose 0 = 2*r - b + 15 - 71, -4*r = -4*b - 108. Is r a multiple of 10?
False
Let t(r) be the second derivative of r**4/12 - 5*r**3/6 + r**2 - r. Let d be t(4). Is 6 a factor of d*(-2)/(-8)*-24?
True
Suppose 8*o + 785 + 119 = 0. Suppose -408 = 5*t - d, -5*t - 4*d = -t + 312. Let k = t - o. Does 12 divide k?
False
Let x(g) be the third derivative of 0 - 1/24*g**4 - g**2 + 0*g + 1/60*g**5 + 1/6*g**3 + 7/120*g**6. Is x(1) a multiple of 8?
True
Let l(p) = 3*p**3 - p**2 + p + 2. Suppose 2*k - 17 = -5. Let n = k + -4. Does 15 divide l(n)?
False
Let v(n) = 2*n**3 - 2*n**2 - 3*n - 2. Let x(c) = 2*c**3 - 3*c**2 - 3*c - 3. Let w(l) = -5*v(l) + 4*x(l). Let s = -4 - -1. Is w(s) a multiple of 9?
False
Suppose 5*s - 78 = -5*b + 52, -3*s = -3*b - 60. Is 23 a factor of s?
True
Suppose 4*r - 8 = -2*k, -3*k - 10 = -5*r + k. Suppose -7*u + 19 = -r*u - 3*v, 4*u + 5*v = -7. Suppose i + 2*p = -0*p + 12, 3*p = u*i - 45. Does 7 divide i?
False
Let v(h) = 3*h - h**2 - 6*h**2 + 7*h**2 - 2 + 3*h**2. Is 13 a factor of v(-4)?
False
Suppose 19*r - 23*r = -972. Is r a multiple of 27?
True
Suppose 3*w + 67 = b - 11, 4*b + 66 = -2*w. Is 15 a factor of 5/((-57)/w - 2)?
True
Let b(a) = 2*a**2 - 3*a + 1. Let q be b(2). Does 4 divide 15 + -2 + (2 - q)?
True
Suppose -4*v + 1 + 4 = 3*p, -4*v = 5*p - 3. Let w be -75 - (2 + 0/p). Let x = -37 - w. Does 20 divide x?
True
Let w = 151 + -67. Is w a multiple of 21?
True
Let h be (-8)/20 + 34/10. Suppose -h*l - 2*l + 140 = 0. Is 7 a factor of l?
True
Let h(f) = f**2 - 3*f - 2. Does 15 divide h(-9)?
False
Does 8 divide (-6)/(-15) - (-2572)/20?
False
Let f = -18 + 24. Does 2 divide f?
True
Let k(r) = 5*r**2 + 0*r + 0*r - 4*r**2 + 2. Does 17 divide k(-7)?
True
Is 174/(3 - 15/10) a multiple of 16?
False
Suppose -3*j + v - 3 = -2*v, 3*v - 7 = j. Is j even?
True
Let s = 0 + 17. Let d = s - 9. Does 8 divide d?
True
Let j be 3 + (-2 - (2 - 3)). Suppose -j*r - 42 = -314. Suppose -r = -8*q + 4*q. Does 16 divide q?
False
Suppose -87 = -5*h + 3*v, 0 = -5*h + v - 4*v + 63. Is 14 a factor of h?
False
Suppose 5*s + 2*n = 132 + 88, -112 = -2*s + 4*n. Let y = 76 - s. Is 11 a factor of y?
False
Does 3 divide ((-2)/3)/(14/(-63))?
True
Suppose 0*u + 9 = 3*u. Suppose -f + 2 = -1. Suppose -2*l = -f*l + u. Is 2 a factor of l?
False
Suppose -b + 8 = -62. Is 12 a factor of b?
False
Suppose -h = 3*r + 85, 4*r + 5*h + 157 = 29. Let l = 49 + r. Suppose 4*p - 22 = l. Does 5 divide p?
False
Suppose -4*c + 5 + 7 = 0. Let v be 4 - (c + -1 + -1). Suppose 144 = 5*z + v*u, -3*z + 0*u + 82 = 4*u. Is z a multiple of 13?
False
Let p = 53 - 35. Is 13 a factor of p?
False
Suppose -2 + 4 = a. Let f = 4 - a. Suppose 0 = -5*n - f*s - 7 + 82, -5*s = 0. Does 6 divide n?
False
Suppose b - n - 47 = 0, -b + 0*b = 5*n - 35. Is 15 a factor of b?
True
Let m(p) = 76*p - 1. Does 15 divide m(1)?
True
Let k = 1 + -1. Suppose 5*s + k*s = 3*i + 21, 13 = 3*s - 2*i. Is 9 a factor of (s/2)/(5/60)?
True
Let i(g) = -g + 3. Let p be i(0). Suppose -k + 23 + 0 = -5*t, -7 = p*k + 4*t. Suppose 3*j - 12 = -k*l, 0*l - 34 = -5*l + 2*j. Is l a multiple of 4?
False
Let f = -38 + 45. Is f a multiple of 2?
False
Is 6 a factor