ltiple of 19?
False
Let w(d) = d**2 - 5*d - 7. Let v be w(7). Let b = 3 - v. Is 16 a factor of (-1)/b - 254/(-8)?
True
Let n(d) = -d + 67. Does 22 divide n(-11)?
False
Suppose -2*m = -4*m + 38. Let y(r) = 7*r - 14. Let c be y(10). Let k = c - m. Is 13 a factor of k?
False
Suppose -5*c - j - 19 = 0, 2*c + 3*j + 15 = c. Let n = 0 - c. Does 3 divide n?
True
Suppose -n = -3 + 2. Let m be 12/2 + n/(-1). Suppose z + 64 = 5*b, m*z = -9 - 11. Does 5 divide b?
False
Suppose z + z = 36. Is 6 a factor of (-556)/(-24) - 3/z?
False
Let r be (-2)/4 + 18/12. Is 12 a factor of (-1)/(1/(-12))*r?
True
Suppose 0 = -2*d + 2*o + 20, -18 = -d + 4*o - o. Is d a multiple of 6?
True
Suppose 4*d = 3*k + 27, 0 = -5*d - 4*k + k. Does 2 divide d?
False
Let k(j) = j**2 - 6*j - 11. Let v(i) = 2*i**2 - 3*i - 2*i**2 - 1 + i**2. Let q be v(5). Does 8 divide k(q)?
True
Suppose -2*d = -4*b + 4, 5*b - 4*d = -0*d - 1. Suppose b*u - u = 10. Does 5 divide u?
True
Suppose 0 = 2*g - o - 24, 4*g + 4*o = -0*g + 60. Is 9 a factor of g?
False
Suppose -183 = -3*a + 9. Is 18 a factor of a?
False
Let r(n) = -n**2 + 10*n + 2. Let j be r(10). Suppose 4*f - 28 = j*f. Is f a multiple of 7?
True
Suppose -288 = 17*t - 20*t. Does 16 divide t?
True
Suppose 3*g + 6 = -0*g, -5*l + 17 = -g. Suppose -3*w + 0*w + 2*q = -98, -29 = -w - l*q. Is 16 a factor of w?
True
Let o(a) = a - 8. Let v be o(6). Let u = v + 3. Does 12 divide 24/u + -1 + 0?
False
Suppose 0 = -4*p + p. Suppose p = -5*q - 4*n + 37, 2*q - 2*n - 3*n = -5. Does 2 divide q?
False
Let r(a) = a**2 - 4*a - 6. Let h be r(6). Let b(z) = h + 4*z - 2*z - 5. Is 5 a factor of b(2)?
True
Is 22/3 - (-5)/(-15) a multiple of 5?
False
Suppose -3*v = -v - 70. Does 35 divide v?
True
Suppose 3*s - 14 = -a, -19 = -5*a + 3*s - s. Suppose 4*t = a + 15. Suppose -t*d = -3*k + 47, -4*k - 2*d = 7 - 113. Is 9 a factor of k?
False
Let z(k) = 9*k - 3. Let y(n) = 4 - 6*n - 7*n + 3*n. Let q(u) = -3*y(u) - 4*z(u). Is 6 a factor of q(-1)?
True
Let o(t) = 3*t + 20. Is 13 a factor of o(17)?
False
Suppose 14 = h - 2*v, -h + 5*h + 3*v = 1. Suppose 189 = i - h*i. Is 10 a factor of (-18)/i - (-68)/7?
True
Suppose -41 - 47 = -8*w. Is w a multiple of 2?
False
Let d(j) = -j + 5. Let c be d(3). Suppose 0 = -5*i + 52 - c. Does 10 divide i?
True
Let y(r) = 31*r + 16. Let a(h) = 4*h + 2. Let l(m) = 51*a(m) - 6*y(m). Let c be l(7). Suppose -4*t + 48 = -c. Is t a multiple of 17?
False
Suppose 13 = -3*n + 91. Does 8 divide n?
False
Suppose 0 = 2*j - 3*j + 129. Let y(z) = z**2 + 3*z - 5. Let b be y(-5). Suppose -87 = -g - 2*g - 5*l, 3*l = -b*g + j. Is g a multiple of 10?
False
Let i(p) = -p + 11. Let k be i(6). Suppose -k*y + 132 = 2*n, -y - 4*n - 48 = -3*y. Is 13 a factor of y?
True
Is 31 a factor of (-62)/4*(-60)/6?
True
Let l(f) = -f**2 - 14*f - 26. Is 3 a factor of l(-7)?
False
Suppose -6 = 3*f - 15. Suppose 0 = f*m - 115 - 38. Does 17 divide m?
True
Suppose -4*r + 121 = g, 2*r + 3*g - 56 = 7*g. Is 6 a factor of r?
True
Let w = 336 + -228. Is 36 a factor of w?
True
Let q(s) = s**2 - 6*s - 15. Let c be q(11). Let b = -28 + c. Does 6 divide b?
True
Let l = -22 + 12. Let q = -7 - l. Suppose 62 + 19 = q*n. Is 13 a factor of n?
False
Let x(k) = k**3 - 2*k**2 - 3*k. Let s be x(3). Suppose 2*w = w + 3*z + 23, s = w + 3*z - 5. Does 5 divide w?
False
Suppose 0*r = 2*r. Let z = -1 - r. Is 10 a factor of (1 + z - 0) + 10?
True
Let m(d) = -d**3 - 7*d**2 - 4. Let c be m(-8). Suppose -u = -5*u + c. Let i = u + -2. Is i a multiple of 6?
False
Let j be 29/(4 - (3 + 0)). Let p = j + -11. Does 12 divide p?
False
Suppose 0 = -v + 6*v + 5*y, v = -5*y. Suppose 0 = 3*d - v + 9. Does 3 divide 2 + 1/(-3)*d?
True
Let b(a) = 48*a**2 + a. Let j be b(1). Let n = j + -33. Is n a multiple of 16?
True
Let f(a) = -a**3 + a - 2. Let n be f(-2). Suppose -n*p = 0, -2*p - 138 = 3*g - 6*g. Is 12 a factor of g?
False
Let h(d) = -2*d**3 + 7*d + 8. Is 15 a factor of h(-4)?
False
Let d = -2 - -5. Suppose d*s = -0*s + 30. Is (-172)/(-10) - 2/s a multiple of 11?
False
Let d(t) = -t**3 + 7*t**2 - 7*t + 6. Let k be d(6). Suppose -4*r - h + 15 = k, h - 19 = -5*r - 0*h. Does 4 divide r?
True
Let a = 137 + -82. Let m = -7 + a. Does 14 divide m?
False
Let z = 0 + -2. Let r(h) = -h**2 + 11*h + 10. Let p(t) = 5*t**2 - 45*t - 41. Let i(s) = z*p(s) - 9*r(s). Is 10 a factor of i(-6)?
True
Is (4/(-5))/((-22)/660) a multiple of 8?
True
Let w(i) = -i**3 - 6*i**2 - 3*i - 15. Let q be w(-7). Suppose -3*j = -4*g - q + 1, 2*g - 64 = -5*j. Is j a multiple of 7?
True
Suppose -7*g + 2*g = -5. Let w(d) = 56*d**3 + d**2 - d. Does 14 divide w(g)?
True
Suppose 5*s = 5*d - 165, 0 = d + 10*s - 5*s - 51. Does 36 divide d?
True
Let b = -15 - -27. Let t = 32 - b. Is 10 a factor of t?
True
Suppose -266 = -3*a - 2*c, 2*a + c - 180 = -3*c. Suppose -a = -l - 3*l. Is 11 a factor of l?
True
Suppose l + 171 = 4*l - 3*w, 2*w = l - 54. Is l a multiple of 19?
False
Suppose 0 = -2*k - a + 6, k + 3 = 4*a - 3. Suppose -w + 102 = k*w. Is 17 a factor of w?
True
Suppose 2*j + 3*z = 134, -108 = -3*j + 4*z + 93. Is j a multiple of 11?
False
Let t(b) = -18*b - 13. Is t(-4) a multiple of 13?
False
Let y be (-455)/20 + (-3)/(-4). Let a = 32 - y. Is a a multiple of 22?
False
Let j be 13/(-4) + 2/8. Let m be (j + -1)*2/(-4). Suppose 3*k = m*k + 5. Is k even?
False
Suppose 1 = 5*g + 2*a + a, 4*g + 5*a = -7. Suppose w = -w - 14. Is 4 a factor of (1 + w/g)*-4?
False
Suppose 217 = 2*g - 147. Does 13 divide g?
True
Let n(m) = -m**2 - 13*m - 9. Let f be n(-12). Suppose f*x - 6*x = -36. Does 4 divide x?
True
Suppose q - 6 - 11 = -2*k, -4*k + 44 = 4*q. Suppose k*a = -10 + 130. Is 6 a factor of a?
False
Let l(f) be the second derivative of 3/20*f**5 - 1/6*f**3 + 0 + f + 1/2*f**2 + 0*f**4. Does 12 divide l(2)?
False
Let g(l) = l**3 - 9*l**2 + l + 9. Does 18 divide g(9)?
True
Does 9 divide (6/(-9))/((-6)/387)?
False
Let n be ((-2)/6)/((-1)/(-111)). Let s = n + 53. Is s a multiple of 11?
False
Suppose -j = -2*w + 8, 0 = -5*j - w + 3*w. Suppose -4*q - 62 = -d, -2*q = -j + 6. Is 29 a factor of d?
False
Suppose -2*t + 151 = 5*l - 106, -5*l - t = -261. Suppose -4*q = -2*j + l + 31, q + 116 = 3*j. Does 12 divide j?
False
Let s(p) = 3*p**2 + 2*p + 5. Does 14 divide s(6)?
False
Let l = 10 + 5. Is l a multiple of 10?
False
Let u = -3 - -7. Suppose 5*x = u + 16. Suppose 88 = x*b + 3*i, 2*b - i - 22 = b. Is b a multiple of 19?
False
Suppose s + 0*s - 2 = 0. Suppose q - 2*u + 2 - 4 = 0, 0 = s*q + u + 6. Let d = 4 - q. Is d a multiple of 3?
True
Let u be (-15)/6*8/(-10). Suppose 0 = u*r + 3*s + 17 + 12, r + s = -13. Does 3 divide (-4)/r - 46/(-10)?
False
Let m = -241 + 124. Let s = m + 183. Is 22 a factor of s?
True
Let h be (-778)/6 + (-2)/(-3). Let t = -352 - -170. Let b = h - t. Does 20 divide b?
False
Let n(f) be the first derivative of f**4 + 2*f**3/3 - f**2 - f + 2. Let c be (-3)/(-9)*0 + 2. Is 12 a factor of n(c)?
False
Suppose -2*h - 44 = -156. Is 12 a factor of h?
False
Let d(i) = -i**3 - 5*i**2 + i + 25. Is 17 a factor of d(-6)?
False
Let l be 246/((-2)/(-4)*2). Let z be l/(-8)*(0 + -4). Suppose -5*k = -2*p - p - 126, 0 = 5*k - 4*p - z. Is 11 a factor of k?
False
Suppose 74 = 5*u - 26. Is u a multiple of 10?
True
Let t(j) be the second derivative of -1/3*j**3 - 7/2*j**2 + 4*j + 1/12*j**4 + 0. Does 8 divide t(5)?
True
Let z(s) = -s**2 + 16*s - 18. Suppose 5*w - 59 - 12 = -3*g, -28 = -2*w - g. Does 4 divide z(w)?
False
Let s(w) = 19*w**2 + 3*w + 2. Does 6 divide s(-1)?
True
Let s(p) = p**3 - 5*p**2 + 5*p + 5. Let a(h) = 3*h**3 - 15*h**2 + 16*h + 16. Let b(j) = 2*a(j) - 7*s(j). Is 6 a factor of b(3)?
True
Suppose -q = -3*q - 16. Let i(w) = 3*w**2 + 10*w - 4. Let o be i(q). Suppose 4*f = o - 36. Is f a multiple of 10?
False
Suppose 0 = -5*j - 3*u + 271, u - 10 = -4*u. Let x = j + -23. Is 10 a factor of x?
True
Let b(p) = 39*p + 6. Does 12 divide b(2)?
True
Let q(k) = 7*k + 8. Let h(i) = -i - 1. Let l(j) = -3*h(j) - q(j). Is l(-6) a multiple of 19?
True
Let y be 2 - 14/(0 + -2). Suppose -z + y = 3. Let b = z + -3. Is b a multiple of 2?
False
Suppose 5*u - 13 + 65 = 3*t, -6 = 3*u. Let s = t + -11. Does 2 divide s?
False
Suppose -3*f + 2*a = 4, -4*a = -2*a - 10. Suppose 10 = 4*l - 2*l, -3*l = f*n + 31. Is (-1)/(1/n)*1 a multiple of 10?
False
Let i(h) = -h + 7. Let v be i(6). Is 6*((-15)/(-2))/v 