vide (400/(-6))/10*-36?
True
Suppose 2*y + 2*k = -2*k + 248, 0 = -2*k + 8. Suppose -4*l + 12 = 0, -4*b + y = b + 2*l. Does 22 divide b?
True
Let m = 24 - 38. Let j = -3 - m. Is 2 a factor of j?
False
Let h(o) = o - 1. Let y be h(5). Suppose -78 = -2*j + j + 5*b, -y*j + 4*b + 232 = 0. Let m = -19 + j. Does 27 divide m?
False
Let n be (-40)/(-32)*2/(-5)*-8. Suppose n*o - 5 = -w + 23, -o = -w + 28. Is 3 a factor of w?
False
Let i(g) = g**3 + 3*g**2 + 2*g - 1. Let x be i(-2). Is 20/110 + (-5078)/(-22) + x a multiple of 10?
True
Let s = -13 - -22. Is 3/s + 534/18 a multiple of 19?
False
Suppose 5*z + 4*x + 110 = 0, z = -x - 2*x - 11. Does 14 divide (-3722)/z + 6/(-39)?
False
Suppose a + 0 - 7 = 0. Suppose 5*i - 3 - a = 0. Suppose -4*c + 204 = 4*r, -c + i*r + 114 = c. Is 9 a factor of c?
True
Let u(a) = 3*a**2 + 6*a + 5. Let w be u(-2). Suppose -2*i + 262 = 4*f, 2*i - w*f = -2*f + 262. Is i a multiple of 14?
False
Let b be 17/8 + (-8)/64. Suppose 0 = -4*t - 3*c + 18 + 174, t = b*c + 48. Is t a multiple of 8?
True
Does 13 divide 392 + (6 - 2) - 6?
True
Suppose 0 = -2*i + 5*f + 2569, -4*i - 6*f = -5*f - 5083. Is 6 a factor of i?
True
Let z(n) = -8*n - 14. Let x(o) = 17*o + 27. Let h(m) = 3*x(m) + 7*z(m). Let j be h(-14). Let v = j - 14. Is v a multiple of 10?
False
Let o(q) = q**2 + 5*q + 11. Let y be o(-2). Let c be (1/(-3))/(3/(-63)). Suppose 2*h - y = c. Is 2 a factor of h?
True
Let x(p) = p**2 + 34*p + 19. Let l be x(-27). Let r = -101 - l. Is 49 a factor of r?
False
Let j = 309 + -186. Is j a multiple of 19?
False
Let i = -12 + -4. Let m = -13 - i. Suppose -m*k + 9*k = 222. Does 18 divide k?
False
Let t(b) be the third derivative of -b**5/60 + b**4/24 + 3*b**2. Let c(m) = m**2 - 2*m. Let k(l) = 5*c(l) + 4*t(l). Is 7 a factor of k(7)?
True
Suppose -2*d - 4*o + 334 = 0, 9*d + 3*o = 7*d + 339. Does 15 divide d?
False
Let o(k) = -18*k - 15. Suppose -3*b = -7*b - 16. Let a(t) = -17*t - 14. Let y(c) = b*o(c) + 5*a(c). Is 11 a factor of y(-4)?
False
Suppose 99 = 12*y - 57. Let n(r) = -2*r**2 - 4 - 1 + r**2 + 18*r. Is 20 a factor of n(y)?
True
Let f(w) = -19*w**3 + 3*w + 4. Suppose 4*l + 4*h = 2*l + 12, -2*l + h = 8. Does 15 divide f(l)?
True
Let q(s) = s**2 + 9*s + 25. Is q(-5) a multiple of 4?
False
Suppose 3 = 2*j - 19. Let x = 106 + -65. Suppose 4*p - 5*h - j = x, p - 13 = -2*h. Is p a multiple of 13?
True
Suppose -2*r = r + 30. Let y be (r - -9) + 11*2. Let l = 54 - y. Is l a multiple of 11?
True
Let y(a) be the first derivative of 4*a**3 - 6*a**2 + 10*a + 8. Is 13 a factor of y(4)?
False
Suppose 691*t - 683*t - 8336 = 0. Is t a multiple of 91?
False
Suppose -49*o = -47*o - 476. Does 17 divide o?
True
Suppose 4*c + 3*d - 24 = 0, -d = 5*c - 2*d - 11. Suppose -w - t = c*t - 16, -3*w = -t - 22. Does 9 divide (w/(-16))/((-1)/90)?
True
Is (-8)/(-16) - (-850)/4 a multiple of 71?
True
Let a(n) = -3*n + 5. Let d be a(0). Suppose -y - 77 = -d*y + p, -3*p - 91 = -5*y. Is 10 a factor of y?
True
Let r(s) = 2*s + 10. Let k be r(-3). Suppose 4*x + k*v = 236, -211 = -4*x - 0*v + v. Does 27 divide x?
True
Let t(u) = -5*u**3 - u**2 + 4*u + 8. Is t(-2) a multiple of 21?
False
Let t be 2 - (-1128)/(-21) - (-6)/(-21). Let c = -59 + 115. Let u = c - t. Is u a multiple of 31?
False
Suppose 121*a = 119*a + 74. Is a a multiple of 37?
True
Suppose k + 5*k - 2364 = 0. Suppose 4*y - 2*o = k, o - 6*o = 4*y - 415. Does 25 divide y?
True
Let f(v) = -2 - 5*v + 3 - 6*v + 9. Is f(-10) a multiple of 15?
True
Let y = 10 + -7. Suppose -12 + 147 = y*b. Is b a multiple of 15?
True
Let d be -2*(126/(-2) - -2). Let i = d - 69. Is 14 a factor of i?
False
Suppose -827 = -2*x - 219. Suppose -2*l + 6*l = x. Suppose u = -u + l. Is 13 a factor of u?
False
Let a = -12364 + 18286. Is a a multiple of 14?
True
Suppose -t + 3*v - 2 = -4, -t = -v + 6. Let g = t + 13. Suppose 7*q = g*q + 20. Is q even?
False
Let s = -24 + 28. Suppose r - 319 = b - 5, -s*r = 4*b - 1240. Does 52 divide r?
True
Let b be (-3 - -1) + (-288)/(-3). Let o be (-2 + 1)*(-2 - 3 - -69). Let v = b + o. Does 6 divide v?
True
Suppose 0 = -5*t - 0*t + 30. Let f be (114/2)/(t/(-4)). Let v = -17 - f. Is v a multiple of 10?
False
Suppose -16*v = -21*v + 2385. Is v a multiple of 10?
False
Let c(w) = w**3 + 15*w**2 + 17*w + 31. Is 41 a factor of c(-11)?
True
Let f(c) = 3*c - 15. Is f(9) a multiple of 6?
True
Let r = 5 + 17. Is (-2)/(r/(-20) + 1) a multiple of 10?
True
Suppose -o - 2*o = -4*r + 2037, 5*o = r - 488. Is 9 a factor of r?
True
Let x be 6/(((-40)/(-12))/5). Is 23 a factor of (-164)/(-6)*x/2?
False
Let o(i) = 6*i**2 - 1. Suppose -2*x + 6*x - 5*v = -16, 0 = -4*v + 16. Let c be o(x). Suppose -5*l + c*j + 140 = 0, 2*j - 2 = 6. Does 12 divide l?
False
Suppose 875 = 15*m - 10*m. Suppose -2*f = -3*c - 90, 2*f + m = 7*f + 5*c. Does 6 divide f?
False
Suppose 2*p - w + 5 = 0, -2*p = -p + 2*w - 10. Suppose p = -4*j + 115 - 303. Let l = -33 - j. Does 7 divide l?
True
Let h = -102 + 119. Let y(g) = 18*g + 58. Is y(h) a multiple of 20?
False
Is 15 a factor of (-9)/2*1908/(-27)?
False
Suppose r - 1 = -3*f + 11, 2*f - 4*r - 22 = 0. Suppose 5*i - 75 = o - f*o, -4*i = 5*o - 69. Suppose -6*y + i*y = 375. Does 25 divide y?
True
Suppose 0 = 34*d - 32*d - 274. Is d a multiple of 13?
False
Let u = 83 - 82. Suppose 2*b - 1 = -3. Is 18 a factor of 67 + -5 - (b - u)?
False
Let c = 7 + 1. Let n = -32 - c. Is (n/(-12))/((-2)/(-12)) a multiple of 20?
True
Suppose -105 + 21 = -7*r. Let m = r + 21. Is m a multiple of 11?
True
Let o(a) = 10*a**3 - 6*a**2 + 18*a - 14. Does 80 divide o(4)?
False
Let l(o) = 133*o**2 - 7*o + 6. Is l(-2) a multiple of 14?
False
Suppose u - 5*u + 368 = 0. Let x = 61 + -126. Let p = x + u. Is p a multiple of 10?
False
Is 23 a factor of ((-21)/(-24))/((-2)/72)*-28?
False
Let k = -192 + 301. Suppose p - 327 + k = 0. Does 36 divide p?
False
Suppose 4*v + 9 = -3*c - 0*c, -c - 3 = v. Suppose n - 4*q - 36 = v, n + 2*q + 30 = 2*n. Does 5 divide n?
False
Let r(a) = 3*a**3 - a**2 + 2*a + 1. Does 6 divide r(5)?
False
Suppose y - 3 = 0, -5*z + 102 + 404 = 2*y. Is 17 a factor of z?
False
Suppose -3*d + 1289 = -5*y + y, 2*d - 4*y - 862 = 0. Is 12 a factor of d?
False
Let w(i) = i**2 - 3*i. Let s be w(5). Suppose s = -7*p + 9*p. Suppose 36 = 2*m + 2*z, 2*z = -3*z + p. Is m a multiple of 17?
True
Suppose -2*p - 1 = 5*m, 0*m - 3*m - 16 = -p. Suppose 2*a - 5*f = 12, -a + f = -5 - p. Is 14 a factor of 68/6*24/a?
False
Suppose -1261 = 58*m - 59*m. Suppose -658 = -2*j + 4*b, 7*j + 3*b - m = 3*j. Suppose -116 = -5*f + j. Does 21 divide f?
False
Suppose 0 = -3*h + z + 14, 11 + 6 = -h - 4*z. Let o be (126 + h)*4/12. Let d = 46 + o. Is 18 a factor of d?
False
Suppose 5*g - 14 = -3*z, 0*z + 3*z - g = -10. Let x be (-2 + z + 3)*-5. Suppose 0*l + 35 = x*l. Does 7 divide l?
True
Suppose -3 = -4*u + 5*u. Is u - 105/(-33) - 1230/(-11) a multiple of 28?
True
Let s = 20 + 47. Suppose -4*x + 3*z + s = -2*z, z - 37 = -2*x. Is x a multiple of 9?
True
Let x(n) = -11*n - 3. Let c(w) = 5*w + 1. Let v(b) = 13*c(b) + 6*x(b). Let h be v(-8). Suppose -l - 4*t = 3*l - 332, 0 = l + h*t - 93. Is l a multiple of 26?
True
Let l be (-1 + (-1475)/10)/((-1)/6). Suppose -6*g - l = -15*g. Does 33 divide g?
True
Let j be (-4 + 6)*(-1)/(-1). Suppose 0*i + j*i - 2 = 0. Let u(t) = 50*t**2 - t. Is 11 a factor of u(i)?
False
Does 6 divide 26/(-325) - (-302)/25?
True
Let z(j) = -j**2 + 22*j. Let y be z(20). Suppose y*q = 42*q - 250. Is q a multiple of 25?
True
Suppose -4 = 10*t - 12*t. Let r(o) = -3*o**3 - o**2. Let m be r(t). Let s = 22 - m. Does 20 divide s?
False
Let h(y) = y**3 - 6*y**2 + 3*y. Let r be h(6). Let b = -3 + r. Is b a multiple of 3?
True
Suppose -7*o + 212 = -320. Does 2 divide o?
True
Let b be 12 - 2 - (-4)/(-1). Let s = b + 25. Suppose -l = k - 30, 27 + s = 2*k + l. Is 28 a factor of k?
True
Let c be (-1)/2*0/(-13). Suppose 8 = 4*b - 2*b, c = -3*z - 5*b + 32. Suppose -2*o = z, m + 3 = -5*o - 5. Is m a multiple of 2?
True
Let f(m) = m**2. Let u(j) = -j**2 - 5*j - 2. Let d(v) = -2*v**2 - 10*v - 5. Let n(p) = -3*d(p) + 7*u(p). Let h(y) = -2*f(y) - n(y). Does 2 divide h(4)?
False
Let c = 385 + -159. Suppose 4*k + 0*h - 2*h - c = 0, -4*h = 3*k - 175. Is 16 a factor of k/2 + (-6)/(-4)?
False
Let y be 8/12*15*1. Let v = 12 - y. Does 3 divide v/11 - 1164/(-132)?
True
Let o b