a multiple of 8?
True
Let f be (-24)/(-5)*(-4 + -1). Let x = 42 + f. Is x a multiple of 10?
False
Suppose d = 36 - 13. Let q = d - 13. Suppose -5*o = 4*z + q, o - 4*o - 9 = 3*z. Is 2 a factor of o?
True
Suppose -5 = -5*g, c - 3*g = -18 + 81. Is 11 a factor of c?
True
Let k(c) = c**3 - 2*c**2 - 5*c - 2. Let y be k(5). Suppose 0*u - u = -3*s - 46, -u + y = -s. Is 17 a factor of u?
False
Let u(x) = 122*x**2 + 1. Let i be u(-1). Let b = i + -52. Is b a multiple of 26?
False
Suppose 3*g - 3*s = 24, g + 3*g + 2*s - 8 = 0. Suppose -l + g = 0, 3*i + 5*l + 15 + 13 = 0. Is (i/(-5))/(2/15) a multiple of 18?
False
Let d(p) = -p**2 - 13*p - 20. Let r be d(-14). Let l = 77 + r. Does 18 divide l?
False
Suppose 143 = 4*f - 1. Is 9 a factor of f?
True
Let z(b) = 5*b - 3*b + 4 - 11. Let j be z(5). Suppose -57 = -2*q - n, -5*n + 2*n - 72 = -j*q. Does 19 divide q?
False
Let i be (3 + -6)*(2 - 3). Does 9 divide (-33 + -1)*i/(-6)?
False
Suppose 5*u - 60 - 25 = 0. Suppose -h = 4*a - u, 20 = 5*a - 0. Is 9 a factor of (h - 0)*-1*-25?
False
Suppose -4*a + 2*a = 24. Let n(p) = -p**2 + 2*p. Let y be n(2). Let z = y - a. Is 5 a factor of z?
False
Is (-120)/4*2/(-4) a multiple of 2?
False
Let w(b) = 6*b - 2. Suppose 6*m - 2*m = 2*t - 12, 0 = -5*t + 5*m + 35. Suppose 5*j - t = j. Is 10 a factor of w(j)?
True
Let h = 36 + 27. Is 21 a factor of h?
True
Let z(q) = -q + 5*q**2 + 2*q + 0*q + q**3 - 3 + 0. Is z(-4) a multiple of 3?
True
Let t(x) = 2*x - 6. Is t(21) a multiple of 5?
False
Let l(f) = -f**3 + 6*f**2 + 4*f + 4. Is l(6) a multiple of 7?
True
Suppose -v = -2*v + 2. Suppose v*g + g = 36. Is 6 a factor of g?
True
Let i be 6/(-27) + (-76)/(-18). Suppose -4 = i*k, 0*k + k = 3*g - 22. Is 3 a factor of g?
False
Suppose 3*k = -2*o + 266, -2*o - 3*k = o - 393. Does 7 divide o?
False
Let i = -183 - -262. Is 21 a factor of i?
False
Is (3 + -1)/(-2) + (-224)/(-8) a multiple of 27?
True
Suppose -4*b + 3 = -b. Let i(s) = 3*s**2 - s + 2*s**2 + s**2. Is 2 a factor of i(b)?
False
Let b = -6 + 11. Suppose 73 + 92 = b*w. Let j = -23 + w. Is 8 a factor of j?
False
Let z = -109 - -132. Is z a multiple of 4?
False
Suppose 2*m - 307 = -5*a, 4 = 2*m - 5*a - 313. Does 26 divide m?
True
Let j = 26 - 42. Let d = j + 7. Is 23 a factor of (-2)/(-3) - 327/d?
False
Let n be 238/22 + 4/22. Let b be (-2 + n)*-1 + 2. Let q = 30 - b. Does 19 divide q?
False
Let l(v) = -v**2 - 6*v - 5. Suppose 3*p - 5*p - 4*z = 24, 3*z + 16 = -p. Let d be l(p). Is 2 a factor of -1 + d*(-4)/(-3)?
False
Let l = -33 + 53. Is -4*l/(-4) - 2 a multiple of 5?
False
Suppose 0*j = -3*z - j + 173, j = -5*z + 287. Does 19 divide z?
True
Let a be 59 + 2 + (-2 - -3). Suppose -3*l - 107 = 2*b + 10, 4*l = 5*b - 133. Let v = l + a. Does 15 divide v?
False
Let m be -6*(-6)/(-9)*-5. Let j = m - 9. Suppose -3*w = 4*s - 0*s - 42, -w + j = s. Is 4 a factor of s?
False
Let v = 54 + -23. Let b = v + -20. Is b a multiple of 3?
False
Let h(q) = -q**3 + 6*q**2 + 3*q + 3. Let c be h(5). Suppose -c = -5*f + 27. Is f a multiple of 8?
False
Let g(h) = -h**2 - 6*h - 4. Suppose 3*t + 5 = -7. Let r be g(t). Suppose -4*p + 92 = -4*i, -p + 68 = 3*p + r*i. Does 10 divide p?
True
Let y be (-11)/(-2) + 3/(-2). Suppose 0 = y*t - 7*t + 42. Is 14 a factor of t?
True
Let b = 7 + -5. Does 2 divide b?
True
Suppose 5*f - 157 = 888. Is f a multiple of 33?
False
Suppose -3*p + t = -4*p - 12, 2*t + 48 = -4*p. Let w = p - -18. Let a = 17 + w. Does 11 divide a?
False
Suppose -5*j + 5 + 10 = 0. Suppose 44 = 2*f + 5*k - k, 2*f - j*k = 23. Suppose f - 62 = -u. Is u a multiple of 18?
False
Let f be 3/(6/(-2)) + 1. Suppose 4*l + y - 20 = f, 2*l = 2*y + 4 + 6. Is l even?
False
Let f(x) = -4*x - 9. Suppose i - 4*i = 27. Is 9 a factor of f(i)?
True
Let i(x) = x**2 + 7*x + 9. Let u be i(-8). Suppose y - 2 = 4*n, 3*y + 0*n - u = n. Is y a multiple of 6?
True
Suppose l - 4*l = 2*q - 61, -33 = -q - 2*l. Let m = 34 - q. Is m a multiple of 11?
True
Suppose 4*b = -p + 202 - 70, 5*p = -4*b + 132. Is 11 a factor of b?
True
Let r(f) = -f - 2. Let h = -5 + 0. Let i be r(h). Suppose -4*j + 10 = -i*j. Is j a multiple of 10?
True
Let x = -5 - -7. Is 8 a factor of 2*17/x + 0?
False
Suppose -l - 5*r + 97 = 0, 5*r = 11 + 9. Suppose 0 = -q + 1, 23 = -5*w + q + l. Does 5 divide w?
False
Let h(p) = -3*p - 10. Is h(-8) a multiple of 3?
False
Let y(f) = f**2 + 1. Let o be y(0). Is 15 a factor of 1/(0 + o/20)?
False
Let x(u) = 3*u**2 + u - 2. Let f be (-2)/(-3) + 8/(-3). Does 3 divide x(f)?
False
Let y(m) = m**2 - 2*m - 2. Let o be (-1)/1 - (1 + 3). Is y(o) a multiple of 23?
False
Let n = -199 + 312. Let l = n + -69. Is 16 a factor of l?
False
Let g(k) = -20*k**2 + 6*k + 7. Let c(j) = 21*j**2 - 7*j - 8. Let i(r) = -4*c(r) - 5*g(r). Suppose l - 3 + 5 = 0. Is i(l) a multiple of 20?
False
Let f = 4 + -1. Is f + 4 - (-1 - 0) a multiple of 3?
False
Let o be (-1400)/(-26) + (-10)/(-65). Let p = 106 - o. Is 13 a factor of p?
True
Let x be (-12)/(-42) + (-24)/(-14). Is 10 a factor of 15/6*24/x?
True
Suppose 3*w = 8*w - 270. Is w a multiple of 6?
True
Let y(j) = 3*j - 2. Is y(8) a multiple of 10?
False
Suppose -5*z - 31 = -11, 130 = 2*f - 3*z. Is f a multiple of 15?
False
Let j(a) be the third derivative of a**5/30 - a**3/3 - a**2. Let m(d) = 4*d**2 - 1. Let z be m(-1). Is j(z) a multiple of 8?
True
Let h(d) = 5*d**2 + 2*d + 6. Let j be -1*(1/1 + 4). Is 35 a factor of h(j)?
False
Suppose 5*p + 5*u - 665 = 0, 3*p - 395 = 3*u - 5*u. Is p a multiple of 9?
False
Suppose 225 = 6*v - 231. Is v a multiple of 38?
True
Let m be (3/((-6)/(-136)))/2. Suppose 0 = -5*z + 41 + m. Is z a multiple of 11?
False
Suppose 4*v - 24 = -2*i, -5*i + 85 - 25 = -v. Does 3 divide i?
True
Let s = 9 - -16. Does 5 divide s?
True
Let m(v) = -v**3 + 5*v**2 + 8*v - 9. Let k be m(6). Is 22 a factor of -3 + k/6*82?
False
Suppose -2*r - 2*i - 3*i = -191, 4*r + i = 355. Does 22 divide r?
True
Suppose -n + 395 = 111. Is 55 a factor of n?
False
Let k = -38 + 27. Let h = k + 21. Does 4 divide h?
False
Suppose -101 = -3*o - 4*c, 0*c = 3*o - 2*c - 107. Does 7 divide o?
True
Suppose -5 + 0 = -5*o. Suppose 2*w - 3*w + 4*h - 22 = 0, -2*w = -h + 9. Does 5 divide (1/w)/(o/(-16))?
False
Suppose -9*h = -33 - 39. Does 8 divide h?
True
Let w(p) = 28*p**3 + 1. Is w(1) a multiple of 11?
False
Suppose 6 - 3 = z. Suppose z*s = -y + 7 + 19, 4*y = -2*s + 114. Is y a multiple of 19?
False
Is 4*(0 + 2)/(48/774) a multiple of 18?
False
Suppose -5*f + 3*f + 40 = -4*t, -5*f = -5*t - 105. Let p = 35 - f. Is 4 a factor of p?
False
Suppose y + 2*y = 144. Let v = y - 34. Does 9 divide v?
False
Let b(q) = 14*q - 76. Does 26 divide b(30)?
False
Suppose 48 = 5*a + 2*u, -3*a = 3*u - 7*u - 8. Let i be ((-39)/(-6))/(3/6). Let z = i + a. Is z a multiple of 12?
False
Let l(h) be the second derivative of 3*h**4/4 - h**3/3 + h**2/2 - 5*h. Is l(1) a multiple of 8?
True
Let b = 4 - 3. Let t be (-4 - b)*2/(-2). Suppose t + 1 = 2*i. Is i even?
False
Suppose -5*s - 2*n = -n - 8, 0 = s - 5*n - 12. Suppose -2*b - c - 3*c - 4 = 0, -s*c = 2*b. Suppose 0 = b*v - 5*p - 3 - 8, -p = -1. Is v a multiple of 3?
False
Let a = -10 - -17. Suppose 0 = 2*s + 1 - a. Suppose b - 15 = -s. Does 10 divide b?
False
Let q be (-5 - -4) + 31*1. Suppose -d = -4*d + q. Does 10 divide d?
True
Suppose 0 = -2*y + 1 + 5. Suppose 5*c = 3*z - 27 - 57, 5*c + y*z + 66 = 0. Does 3 divide 6/c + (-64)/(-10)?
True
Let g be -6 - (-1)/(-2)*0. Let h be (-4)/(-6) + (-88)/6. Let n = g - h. Is 4 a factor of n?
True
Let x(f) = -f**3 + 5*f + 3. Is x(-3) a multiple of 7?
False
Let s be 90/9*10/(-4). Let a = s + 45. Does 14 divide a?
False
Is 11 a factor of 7/84*-3 - (-221)/4?
True
Let j(o) = -o**3 + 7*o**2 - 6*o - 2. Does 9 divide j(5)?
True
Let m(y) = y**3 - 21*y**2 + 21*y + 23. Is m(20) a multiple of 4?
False
Suppose 0*j - j = 3. Let m = j + -27. Let a = -20 - m. Is a a multiple of 6?
False
Suppose 3*r = -r. Suppose 3 = -r*u + u. Is u a multiple of 3?
True
Suppose -p = 5*b - 230, 0 = 4*b - 4*p - 285 + 77. Does 36 divide b?
False
Suppose 50 = 5*q - 0. Does 5 divide q?
True
Let a = 8 + -5. Suppose -a*f - 6*s + 134 = -2*s, -164 = -4*f + 2*s. Is f a multiple of 21?
True
Let z = -3 - -34. Is z a multiple of 12?
False
Is (-5 - 146)/(-2 - -1) a multiple of 14?
False
Let g(u) = 3*u**3 - 2*u**3 - 2*u + 2*u**2 + 1 - 4*u**2 + 1. Is g(4) a