a multiple of 16?
True
Let w(n) = 1. Let i(o) = -4*o - 2. Let f(s) = -i(s) - 5*w(s). Suppose -3*m + 1 = -11. Is f(m) a multiple of 13?
True
Let u(d) = 24*d**2. Is u(-2) a multiple of 12?
True
Let o(j) = j**3 - 4*j**2 + 3*j - 5. Let d be o(4). Is (-390)/(-7) - (-2)/d a multiple of 22?
False
Suppose 0 = 2*t + t - 12. Suppose -2*h = 2*h - 4*j + t, 2*h + 5*j - 33 = 0. Suppose h*g - u - 30 = u, -5*u = 3*g + 10. Is g a multiple of 2?
False
Suppose -29 - 23 = -2*n. Let q = 36 - n. Does 2 divide q?
True
Let d = 39 + -26. Is 13 a factor of d?
True
Suppose 3*a = -4*d - 0 - 4, -16 = -3*a + d. Let l be a/8 - (-11)/2. Let i = 9 - l. Is 3 a factor of i?
True
Let l(x) = -2*x + 2. Let c = -5 + 2. Is l(c) a multiple of 5?
False
Let d = -221 - -380. Does 11 divide d?
False
Let b be (-24)/(-16) + 189/2. Suppose -4*q = -3*u + b, -5*u - 5*q = -q - 192. Is u a multiple of 36?
True
Let w(o) = 7*o + 7. Let x be 2 + -3 + 1*3. Let a(g) = 1. Let i(j) = x*w(j) - 14*a(j). Is 11 a factor of i(2)?
False
Suppose 90 - 14 = 4*m. Suppose -2*n = -3*r + 2*n + 23, -5*r = 5*n - 50. Suppose -r = -4*z + m. Is 4 a factor of z?
False
Let t(g) = -5*g**2 - 3*g - 6 - 2*g**3 - 5*g**2 + g**3. Let a be (3 + 5 + 2)*-1. Does 11 divide t(a)?
False
Suppose 0 = -m + 2*m - 20. Is 4 a factor of m?
True
Suppose 5*u - 2*u = 0. Suppose u = -0*z - z + 8. Is z a multiple of 6?
False
Let j = -10 - -10. Let d(n) = -n + 26. Does 13 divide d(j)?
True
Let c(y) = -2*y**3 - 5*y**2 - 10*y - 5. Is 2 a factor of c(-2)?
False
Let q = 450 + -255. Suppose 4*v + v - 151 = -4*t, -5*t = 5*v - q. Is t a multiple of 22?
True
Let m be -67 - (2/1)/2. Let a = 104 + m. Does 15 divide a?
False
Suppose s + 4*x + 3 = 79, 0 = 3*x + 9. Is 9 a factor of s?
False
Let f(j) = -3*j + 1. Let w be f(-3). Let a = w - 6. Is (-36 + a)/(-1 + 0) a multiple of 16?
True
Suppose 5*u - 14 = 11. Is u a multiple of 5?
True
Let b = -197 + 141. Is b/10*(-35)/14 a multiple of 10?
False
Let d = -7 - -15. Let f be d/(1/(15/6)). Let m = -7 + f. Is m a multiple of 13?
True
Let l(p) = 6 - 3 + p + 1 + 0*p. Let b be l(0). Suppose 0 = -3*d - b*h + 51, 4*h = -2*d + 6*d - 68. Is d a multiple of 17?
True
Let j = 6 - 5. Suppose -j = -3*q + 23. Is q a multiple of 8?
True
Suppose -4*j + 5*j + 93 = x, j = -3. Does 29 divide x?
False
Suppose 2*s = 10*s - 560. Does 14 divide s?
True
Suppose 24 = -2*m + 102. Does 8 divide m?
False
Let j be (-2)/((-18)/16 - -1). Suppose -5*t + 195 - 40 = 0. Let h = t - j. Is 6 a factor of h?
False
Let v be (-6)/27 - 2/(-9). Suppose -2*a + 3*a - 2 = 0, v = 5*j + a - 42. Does 9 divide 1/(j/(-9) + 1)?
True
Let f(v) = -v + 14. Let i = -14 - -3. Is f(i) a multiple of 7?
False
Let k = -35 - -74. Is k a multiple of 13?
True
Suppose -5*i - 2*c - 19 = 0, -13 = 4*i - 2*c - 5. Is 15 a factor of (1 - 18)*i*1?
False
Let f = -77 + 157. Does 9 divide f?
False
Suppose -3*r + 5*r - 3*i - 394 = 0, 4*r - i - 808 = 0. Suppose -3*z = g - r, g = -2*z + 36 + 98. Does 25 divide z?
False
Let p(v) = -v**3 - 9*v**2 - 5*v - 12. Suppose 5*i - 20 = 0, 4*i = -3*d - 9 - 2. Let t be p(d). Suppose a = 4*a - t. Is 5 a factor of a?
False
Let v be 80/(-2)*18/15. Let k = 96 + v. Is k a multiple of 19?
False
Let u = 9 + -8. Let n be (-3)/u*-1 + 2. Is ((-16)/n)/(10/(-25)) a multiple of 4?
True
Let p be (6/(-9) - -1)*6. Suppose -5*z + 17 = c, -2*c - p*z + 10 = -0*c. Suppose -2*m - c*m = -52. Is 13 a factor of m?
True
Let a(r) = r**2 - 5*r - 3. Let l be (-2)/5 - 36/10. Is a(l) a multiple of 13?
False
Let x(j) = j**3 - 6*j**2 - 2*j - 2. Let o(z) = 2*z**2 + 5*z + 3. Let i be o(-3). Let h be x(i). Is 4 a factor of ((-120)/42)/(4/h)?
False
Is 19 a factor of ((-54)/30)/(2/(-90))?
False
Let f = 19 + 3. Is f a multiple of 13?
False
Let r = -1 - -7. Suppose -2*g = n + 4 - r, g = -5*n + 1. Suppose 4*j + n*t + 5*t = 51, -t - 24 = -3*j. Is 5 a factor of j?
False
Let t(o) = 4*o - 20. Is t(6) a multiple of 4?
True
Let n(t) = 69*t**2 - t - 1. Is n(-1) a multiple of 23?
True
Suppose -k - o = -36, o - 5*o = -20. Does 12 divide k?
False
Suppose 0 = 5*v + b + 6, 3*v + 0*b = 4*b + 1. Let c(m) = 11*m**2 - m. Does 7 divide c(v)?
False
Let t(o) = o**2 + 5*o + 13. Is 8 a factor of t(-7)?
False
Let b = 0 - -10. Suppose 4*w + h = 4*h - 15, -4*w + 2*h = b. Suppose 0*u + 4*u - 76 = w. Is 15 a factor of u?
False
Let f be (-20)/(-8)*12/10. Suppose 11 - 2 = f*j. Suppose j + 0 = -a, 0 = -5*c - 4*a + 83. Is c a multiple of 12?
False
Suppose -2*o + 134 = 46. Is o a multiple of 22?
True
Let z = -49 - -108. Suppose -3*w + z = -4*q, q + w = -3*w + 9. Let k = 16 + q. Does 5 divide k?
True
Suppose -7*x + 60 = -x. Let l(v) = -5 + 13*v - 11*v**2 - 3*v**3 + 4*v**3 + 0*v**3. Is l(x) a multiple of 16?
False
Suppose 0*r + 324 = 3*r. Suppose x + 2*y - 31 = -y, 4*x - 4*y - r = 0. Is x a multiple of 14?
True
Let o = 4 + -13. Let i = o - -7. Let s(w) = -3*w. Does 2 divide s(i)?
True
Suppose 5*a + 133 = 1558. Is a a multiple of 19?
True
Is (3 - 16/6)/(2/666) a multiple of 37?
True
Let j(x) = -x**3 - x + 64. Is 24 a factor of j(0)?
False
Suppose 0 = 4*r + 4*d + 109 + 195, 5*d + 218 = -3*r. Let x = r - -129. Is x a multiple of 16?
True
Let l(b) = -23*b. Let j(h) = -23*h - 1. Let y(w) = 6*j(w) - 5*l(w). Let v be y(-6). Is 12 a factor of 1/(3/v) - 3?
False
Suppose -2*p + 3*v - 3 = 5, 0 = -2*p - 4*v + 20. Suppose p*t - 5*t + 135 = 0. Is 19 a factor of t?
False
Suppose -4*f + 14 = 2*a, -2*a + 4*a - 3*f = 7. Suppose -5*j - 50 = a*d, 2*d - 45 = 3*j + 5. Let t = -9 - j. Is t a multiple of 4?
False
Suppose 2*h - 3*h + 2*l = -59, l + 61 = h. Is h a multiple of 16?
False
Let x(a) = a**3 - 6*a**2 + 6*a. Let o be x(5). Suppose 4*g + 3*p - 81 = 0, -5*g - o*p + 100 = -p. Does 13 divide g?
False
Let t(l) = -l**2 + 7*l + 8. Let q = -18 + 32. Let c = 20 - q. Is 8 a factor of t(c)?
False
Suppose 4 = 2*v + 12. Let m(q) = -13*q - 6. Does 23 divide m(v)?
True
Suppose i + 229 = 4*v - 2*i, 3*i = 3*v - 168. Is v a multiple of 33?
False
Let g = -58 - 51. Let w = -65 - g. Is 19 a factor of w?
False
Suppose -12 = -3*s - 3. Suppose -4*z + 16 = -4*q, s*q = -4*z + 4*q + 31. Is 9 a factor of z?
True
Let c(n) = 3*n**3 - 3*n**2 + 7*n - 8. Let j be c(4). Suppose 4*i - 4*o = j, i - 43 = 2*o - 6. Is i a multiple of 15?
True
Let y(n) = n + 42. Suppose a + j - 4 = -j, 3*j = 5*a + 6. Is 12 a factor of y(a)?
False
Let b(y) be the first derivative of -43*y**2/2 + y + 45. Let f be (-9)/7 + (-2)/(-7). Is b(f) a multiple of 13?
False
Let d(k) = -k**2 + 6*k - 6. Let v be d(5). Suppose 5*b + 0 + 30 = 0. Is (b/(-4))/(v/(-12)) a multiple of 18?
True
Let a(p) = -4*p**2 + 3*p - 3. Let z be a(2). Let v(j) = -5*j**2 + 7*j - 1. Let w be v(3). Let g = z - w. Is g a multiple of 6?
True
Suppose 6 = z + z. Suppose 3*b = 4*b - z*j + 45, -2*b + j - 75 = 0. Let c = b + 59. Does 13 divide c?
False
Let k(s) = 5*s - 4. Let u be k(3). Let q = u + 13. Suppose 6*h - q = 2*h. Is 5 a factor of h?
False
Let t = -2 - -4. Suppose 0 = -3*d - t*a + 45 - 5, 0 = -2*a - 8. Is 8 a factor of d?
True
Let g = -7 + 15. Is g a multiple of 6?
False
Let t(i) = -i**2 + 11*i + 6. Let f(g) = -2*g**2 + 23*g + 11. Let r(o) = -2*f(o) + 5*t(o). Is 16 a factor of r(8)?
True
Let o(l) be the first derivative of -4*l - 1 - 5/2*l**2. Is 8 a factor of o(-4)?
True
Let k(c) be the third derivative of -5*c**4/8 - c**3 + 3*c**2. Is 25 a factor of k(-3)?
False
Let u(d) = 63*d**2 + 2*d + 3. Is 4 a factor of u(-1)?
True
Suppose -8*g + g + 336 = 0. Is g a multiple of 12?
True
Suppose 0 = -9*v + v + 296. Is 15 a factor of v?
False
Let w(f) be the first derivative of 0*f**2 - 2 + 4/3*f**3 + 2*f. Is 9 a factor of w(2)?
True
Suppose -14 = -p - 4*c - 2, -4*c + 44 = -3*p. Let n(l) be the second derivative of -l**4/12 - 11*l**3/6 - 5*l**2/2 - l. Is n(p) a multiple of 7?
False
Suppose 2*f + 5*s - 8 = 0, -2*f = -0*s + s. Let j(a) = -22*a + 1. Is j(f) a multiple of 10?
False
Suppose 2*c - 3*c = -5. Suppose -3*y - y + 16 = -u, 2*y = -c*u - 58. Let d = -7 - u. Does 2 divide d?
False
Let y(b) = b**3 - 6*b**2 + 2*b + 2. Let t be y(6). Let c = 22 + t. Does 18 divide c?
True
Suppose 0 = -0*r + r - 14. Suppose -2*g = -j - 178, 2*g + 2*j - 176 = r. Let m = -61 + g. Is 12 a factor of m?
False
Suppose s + 3*s = -5*j + 5, -4 = -s - 4*j. Let y = 72 + s. Is y a multiple of 24?
True
Let d(g) = -g**3 - 2*g**2 - 2*g + 5. Let z be d(-5). Let j = z + -