ultiple of 15?
False
Let h = 23 + 71. Does 17 divide (h/(-2))/(-1 + 0)?
False
Let z(g) = -g**2 + 27*g. Let c be z(12). Suppose 0*s + c = 3*s. Is s a multiple of 20?
True
Suppose -4*r + 60 = g + 4*g, 0 = 3*g + 3*r - 33. Does 7 divide g?
False
Suppose 2*j + 2*n - 4 = 0, 4*j = 3*n + n + 8. Let z be j + 0 + (-6)/(-3). Let l(c) = c**2 - c. Does 4 divide l(z)?
True
Suppose 390 = 3*b + 120. Is b a multiple of 18?
True
Suppose z + 2*b - 305 = -57, z - 3*b = 248. Is z a multiple of 43?
False
Let m = -37 - -53. Is m a multiple of 16?
True
Suppose -3*w - 150 - 249 = 0. Let f = 229 + w. Is 24 a factor of f?
True
Let l(i) = -i**2 - 59*i**3 + 3 + 2 - 3 + i - 1. Is l(-1) a multiple of 29?
True
Suppose -f + 2 = -4*u - 0, 4*f = 8. Suppose p - 5*p + 136 = u. Does 11 divide p?
False
Let y = -5 - -3. Let z = y + 4. Suppose z*i - 8 = 2. Does 3 divide i?
False
Let m = -99 - -142. Let i = m + 6. Is 26 a factor of i?
False
Suppose p + 3*p - 68 = 0. Is p a multiple of 3?
False
Let l(m) = -m**3 + 6*m**2 - 2*m + 4. Is 21 a factor of l(-4)?
False
Is 3 a factor of 3 + 8/((-8)/(-4))?
False
Suppose 10 = -2*r, -4*p - 169 = -6*p + 5*r. Is 12 a factor of p?
True
Let r(y) = y**3 + 2*y**2 - 5*y - 2. Let a be r(-3). Suppose 0 = -5*s + z + 35, 2*s - a*s + 14 = -z. Does 6 divide s?
False
Let j(b) = -12*b + 36. Does 24 divide j(-7)?
True
Let x be 14/4 + 10/20. Suppose 0 = -9*g + 4*g + 25. Suppose n - 12 = x*b + 18, g*n = -2*b + 62. Does 7 divide n?
True
Let o = -65 - -156. Is o a multiple of 13?
True
Suppose -4*w - 16 = 0, 5*m = 2*m + 5*w + 68. Is 7 a factor of m?
False
Let z(x) = x**3 + 9*x**2 - 11*x - 1. Let l be z(-10). Let m be -2 + (2 + 0)/2. Let n = m + l. Does 5 divide n?
False
Is (-298)/(-6) - ((-52)/12 + 5) a multiple of 7?
True
Let v = 145 - 101. Is v a multiple of 3?
False
Let n(r) = -r**3 - 5*r**2 - 10. Does 26 divide n(-6)?
True
Let u be 0 - (-2 + (2 - 2)). Suppose u*j + 68 = 3*h, h + 0*j - 24 = 2*j. Is 11 a factor of h?
True
Let j(s) = -s. Let w be j(-2). Suppose 4*l = 5*l - w*g + 4, 0 = -5*g - 5. Let h = l - -28. Is h a multiple of 11?
True
Let s = 29 + -5. Is s a multiple of 4?
True
Let u be ((-8)/(-5))/(4/10). Does 12 divide (u/(-12))/(2/(-126))?
False
Is 1*443 + (30 - 31) a multiple of 13?
True
Suppose 8 = -2*o, -5*g + 2*o + 34 = -14. Let q = 1 + g. Is 3 a factor of q?
True
Let v be (2/(-5))/(3/(-15)). Let j(d) = d**3 - 5*d**2 - 2*d + 1. Let z(k) = -k**3 + k**2 + k + 1. Let o(c) = v*z(c) + j(c). Is 3 a factor of o(-3)?
True
Does 10 divide (2 - -1)/(42/39 - 1)?
False
Let v = -100 + 173. Does 16 divide v?
False
Let a = -9 + 9. Let r = a - -8. Is 6 a factor of r?
False
Let v = 422 + -175. Let i be 2 - (0 + -2 + 0). Suppose 31 - v = -i*o. Is 19 a factor of o?
False
Let l(j) = -j**3 + 6*j**2 + 6*j + 7. Let z be l(7). Suppose z*c = 3*c - 21. Is 2 a factor of c?
False
Let a(l) = l**3 + 7*l**2 + 6*l + 8. Suppose -4 = 4*b - y + 21, 33 = -5*b + 3*y. Is a(b) a multiple of 3?
False
Suppose 20*a = 19*a + 35. Is 5 a factor of a?
True
Suppose 2*f + 3 = 59. Is f a multiple of 7?
True
Let z be (-1 + 6)*24/(-15). Let m = z + 14. Is m a multiple of 3?
True
Suppose 3*b - 2*j - 2 + 1 = 0, b + 5*j + 11 = 0. Let f be (15/(-3) + b)/(-1). Suppose 2*o = f, 0*o - 43 = -5*n - o. Is n a multiple of 4?
True
Suppose -7*o - 135 = -10*o. Is 25 a factor of o?
False
Let r = -3 - 6. Let b = 364 + -250. Does 14 divide b/(-9)*r/6?
False
Let x = 32 - 1. Does 7 divide x?
False
Suppose 0*l = 4*l - 144. Is 9 a factor of l?
True
Is 5 a factor of (-45)/18*-5*2?
True
Let f = 29 - -15. Let x = -16 + f. Is 14 a factor of x?
True
Suppose -n = -5*q + 2*n - 47, 25 = -3*q + 5*n. Let h = 14 + q. Does 4 divide h?
True
Suppose 0 = -0*k - k - 4*d + 45, 2*d + 80 = 2*k. Suppose -3*w - 5*o = w - k, 0 = -4*o + 4. Is 2 a factor of w?
False
Suppose 0 = 3*t + 2*t - 560. Is t a multiple of 12?
False
Let h(s) = 9*s**2 + 11*s + 4. Let j(d) = 5*d**2 + 5*d + 2. Let o(x) = -3*h(x) + 7*j(x). Does 15 divide o(-2)?
True
Let u be (6/9)/(6/(-45)). Is (2/u)/((-5)/150) a multiple of 12?
True
Suppose 5*x + 25 = 0, 3*x - 27 = 4*n - 234. Suppose 5*a + 2*h - n = 0, 5*h + 36 + 19 = 5*a. Is a a multiple of 5?
True
Let n(s) = s + 10. Let d be n(-9). Let a = -6 - -10. Suppose t = a - d. Does 2 divide t?
False
Let i(w) = 4*w**2 - w + 4. Let y be i(3). Suppose -5 = k - y. Does 16 divide k?
True
Let q = 11 + -20. Is 9 a factor of (3/q + 0)*-102?
False
Let j(l) = -84*l**3 + 2*l + 1. Is j(-1) a multiple of 14?
False
Let x = 35 + -6. Is x a multiple of 29?
True
Suppose -p - 27 = -k - 0*p, -39 = -2*k - p. Let v(t) = -t**2 + 6*t - 2. Let z be v(4). Suppose 0 = -j - z + k. Does 7 divide j?
False
Let s(f) = -f**2 + 14*f - 9. Let v be s(13). Suppose -340 = -v*g + 2*d, 5*g = g + 3*d + 342. Is g a multiple of 28?
True
Suppose -4*v + 86 + 70 = 0. Let z = v - 1. Let l = 6 + z. Is 13 a factor of l?
False
Does 12 divide (-4 + 52/16)/((-2)/32)?
True
Suppose -3*f + 0 = -27. Let h(u) = u**2 - 9*u + 8. Does 2 divide h(f)?
True
Let c be 0*(-2 + 10/4). Is c + 2 + -3 + 10 a multiple of 9?
True
Suppose -5*i - 8*k + 3*k = -495, -5*k - 485 = -5*i. Does 14 divide (-2)/(-4) + i/4?
False
Let a = -163 + 182. Is a even?
False
Suppose -3*b - 2*b + 50 = 0. Suppose 0 = -b*d + 7*d + 78. Is 13 a factor of d?
True
Let b(m) = -m**2 - 11*m - 4. Does 4 divide b(-6)?
False
Suppose -g - g - 2*x = -68, -5*x = 20. Is 4 a factor of g?
False
Let k(h) = 3*h**2 + 2. Suppose 0 = a - 1, -2*a = -2*y - 5*a + 7. Let o be k(y). Suppose 3*d + o = 4*d. Is 5 a factor of d?
False
Is -1 - (4 - (-116)/(-4)) a multiple of 20?
False
Suppose 0 = v - 4*v - 2*q + 57, 4*v - 3*q = 93. Is 7 a factor of v?
True
Let y = -19 + 18. Let b(h) = -88*h - 1. Is 32 a factor of b(y)?
False
Let j(q) be the first derivative of 2*q**2 - 9*q + 2. Is j(7) a multiple of 19?
True
Let l(m) be the second derivative of -m**3/2 + 9*m**2/2 - 3*m. Is 15 a factor of l(-7)?
True
Let f = 3 - 0. Suppose -m + v = -14, 2*m + f*v = -0*m + 23. Does 5 divide m?
False
Let t be 48/((-4)/(-2)) + 1. Suppose -81 = -4*s - t. Is 7 a factor of s?
True
Suppose s + 5 = -3*h - 5, -4*h - 22 = -3*s. Let v = 0 - -2. Suppose m + 85 = v*y, -m - s*m + 114 = 3*y. Is y a multiple of 14?
False
Let r(m) be the second derivative of -m**3/2 + m. Let v(g) = 5*g. Let z(y) = 13*r(y) + 6*v(y). Is z(-3) a multiple of 8?
False
Let t(h) = 31*h + 2. Let g be t(2). Suppose g = 3*v - 5*i, -5*i + 2*i - 16 = -v. Is 8 a factor of v?
False
Is 304/7 + (-36)/(-63) a multiple of 3?
False
Let s be 20/5 - (2 - 1). Suppose 24 = s*k + 3. Is k even?
False
Let g = 7 - -7. Suppose 2*m - g = 12. Does 4 divide m?
False
Is 23 a factor of (24115/21)/5 + (-1)/(-3)?
True
Suppose 3*a + 0*y = 5*y + 15, -a + 5 = 2*y. Suppose -a*i + 23 = -32. Is i a multiple of 5?
False
Suppose -5*r + 520 = -5*a, 5*a = 2*r - 5*r + 344. Does 14 divide r?
False
Suppose -3*w + 8 = -7*w. Is 25 - (-3)/(-2)*w a multiple of 14?
True
Let v(i) = -i**3 + 6*i**2 + 7*i + 4. Let y be v(7). Let s be (-135)/(-4) - (-1)/y. Let b = s - 22. Does 6 divide b?
True
Does 6 divide (-11)/(-2)*(10 - 4)?
False
Suppose -4*w + 928 = 288. Is 40 a factor of w?
True
Suppose 0 = -3*a + 7*a. Let x = 9 + -7. Suppose -2*v = -5*v + 12, a = -x*k + 2*v + 26. Is k a multiple of 17?
True
Let v(y) = 5*y - 1. Let j be v(1). Suppose 2*g = -j*n + 2*n + 6, n + 7 = g. Is 5 a factor of g?
True
Let a = 17 + -26. Let o = 7 + a. Does 14 divide 0 - o/2*14?
True
Suppose 5*s + 46 - 1 = 0. Let w be (2 - s/(-6))*4. Does 7 divide (-124)/(-6) - w/3?
False
Suppose 4*z = -z + 5*n + 40, -z + 2*n + 12 = 0. Suppose -d + z = 12. Is d/20 - (-304)/10 a multiple of 13?
False
Suppose -2*f = -7*f + 530. Is 16 a factor of f?
False
Let u(h) = h + 18. Is u(-8) even?
True
Suppose -3*z = -5*f - 4, 4*z - 11 = 2*f - f. Let s be 2/(-3) - (-170)/z. Is 7 a factor of (1/(-1))/((-4)/s)?
True
Let f(z) = z - 5. Let b(a) = 8*a**2. Let g be b(1). Let n be f(g). Does 5 divide 84/9 + 2/n?
True
Does 6 divide 112 + (1 - (5 - 1))?
False
Let c(o) = o**2 + 8*o - 8. Let j be c(9). Suppose 5*u = -4*f + j, -2*f + 116 = 4*u - 0*f. Is u a multiple of 28?
False
Suppose -5*o - 208 - 442 = 0. Let w = -70 - o. Is 17 a factor of w?
False
Suppose -4*s = -4*v - 312, 2*v - 54 - 9 = -s. Is 35 a factor of s?
False
Suppose -3*l = -k - 145, l - 4*k - 69 + 17 = 0. Is l a multiple of 4?
True
Does 7 divide 8/64 + 351/8?
Fa