Is h a multiple of 11?
True
Let j = -61 + 61. Suppose -m - 185 = -h, h - 181 = -3*m - j*m. Is 48 a factor of h?
False
Let x = 342 - 226. Suppose 0 = j - 2*j + x. Does 29 divide j?
True
Suppose 4*z = -5*q - 755, 5*q + 322 = z - 408. Let d = q + 217. Is 14 a factor of d?
True
Suppose -19 = -v - 5*g, -v + 5*g = -0*v + 21. Let j be 3 + 20/(-2) + v. Let d(n) = -n**2 - 16*n - 3. Is 27 a factor of d(j)?
False
Let v(t) = 35*t - 23*t - 12 - 23*t. Is v(-5) a multiple of 17?
False
Let g = -5 - 5. Is ((-38)/g)/(2/10) a multiple of 19?
True
Let c = -217 - -327. Does 8 divide 2 - 3/((-15)/c)?
True
Suppose -22*r + 562 + 7512 = 0. Does 55 divide r?
False
Suppose -736 = -l + i, 9*l + 4*i + 3680 = 14*l. Is l a multiple of 36?
False
Let g(c) = 808*c**2 - 5*c - 2. Is g(-1) a multiple of 15?
False
Let k be 4/(-10) - ((-2538)/(-30))/(-9). Let j = k - -89. Is j a multiple of 49?
True
Let v = -1033 - -2707. Is v a multiple of 93?
True
Let u(v) = -v**2 + 183. Let x be u(0). Let t = x - 56. Does 24 divide t?
False
Is 12 a factor of (-1)/(-5) - 295/25*-6?
False
Suppose 2*f - 26 - 42 = 0. Let y be f/(-5) - 5/25. Let c = y - -19. Does 3 divide c?
True
Suppose 1296 = 5*r + 7*r. Is 25 a factor of (r/8 - 4)*20?
False
Suppose -1580 = -b - 3*b + 4*u, 1550 = 4*b + 2*u. Is b a multiple of 39?
True
Let b(c) = -c**3 - 21*c**2 - 42*c - 5. Does 6 divide b(-20)?
False
Suppose -755 = -6*s - 65. Let x = s - -9. Suppose 0 = -8*r + 6*r + x. Is r a multiple of 14?
False
Let h be (-1)/2*-2 - -13. Suppose -30 = -4*a + s, 5*s + 45 = 3*a + h. Let i(x) = x**3 - 7*x**2 + 2*x + 6. Is 5 a factor of i(a)?
True
Let h(s) = 39*s**2 - 10*s - 11. Is 5 a factor of h(3)?
True
Let w(i) = i**2 - 4*i + 11. Let q be w(5). Let g be -15*(1 - q/(-12)). Is (392/g)/(4/(-10)) a multiple of 14?
True
Let v be 4/6*(-549)/(-6). Suppose -13 = 2*l - v. Does 12 divide l?
True
Suppose 2*v + 1449 = 2*k + 5*v, 0 = 2*k + 5*v - 1459. Is 9 a factor of k?
False
Suppose -2*b - g - 2*g = 137, 2*b + 140 = -4*g. Let n be 6/9 - b/12. Is 1/(n/(-249))*-2 a multiple of 14?
False
Suppose 5*w + 15 = 0, -w = 3*b + 165 - 0. Let q = 60 + b. Is 4 a factor of q?
False
Let j(k) = 33*k + 7*k**2 - 29*k + 2*k**3 + 3 - k**3. Is j(-6) a multiple of 3?
True
Let b(c) = c**3 - 16*c**2 + 6*c - 17. Is b(17) a multiple of 17?
True
Suppose -x = 2*x + 4*p, 0 = -4*x - 4*p. Suppose -2*v + 48 = -x*v. Is v a multiple of 4?
True
Let q = 7 + -4. Let v(a) = 12*a**2 - a + 1. Let p be v(-1). Suppose -f - 2*x = -52 + p, 4*x = q*f - 144. Is 17 a factor of f?
False
Does 13 divide -1 - 18/12*-174?
True
Suppose -11*i + 281 = -137. Is 8 a factor of i?
False
Let w(s) = 1 - 4 + 4*s - 4 + s**2 + 0*s**2. Let a be w(-6). Let p(h) = 3*h. Is 6 a factor of p(a)?
False
Suppose -3*p - 2*m = p - 16, -2*m = -2*p - 4. Suppose 3*f + g - 15 = -4*g, f + p*g - 5 = 0. Let v(q) = 5*q + 1. Is v(f) a multiple of 13?
True
Let r(d) = -d**3 + 2*d**2 + 5*d - 3. Let v be r(3). Suppose 4*c = 1 + v. Is 27 + (1 + 3 - c) a multiple of 6?
True
Let h(r) = -r**2 + 13*r - 28. Let m be h(12). Let v = m + 14. Does 7 divide (-552)/115*5/v?
False
Let k = 31 + -45. Is (-24)/14 + 2 + (-528)/k a multiple of 5?
False
Let o = -8 + 11. Suppose 0 = 2*f + o*f - 85. Let t = -2 + f. Is t a multiple of 7?
False
Suppose 10*u = 4*u - 108. Let z be (1 - (0 + -1)) + 50. Let w = u + z. Does 9 divide w?
False
Is 2/(4/(56/1)) - -1 a multiple of 2?
False
Suppose 6*r - 612 = -3*r. Let k = -2 + 6. Suppose -r = -0*b - k*b. Is 12 a factor of b?
False
Let c(w) be the second derivative of -2*w**3/3 - 3*w**2/2 - w. Does 3 divide c(-5)?
False
Let q be (-16)/(-4) + -6 + 6. Suppose -92 = 2*r - q*r. Is r a multiple of 23?
True
Suppose -15444 = -206*u + 167*u. Does 36 divide u?
True
Suppose b = -b - 526. Let p = 401 + b. Does 14 divide p?
False
Let u(p) = p - 8. Let g be u(-7). Let n(c) = -4*c - 47. Is n(g) a multiple of 5?
False
Let f = -50 + 54. Is f/(15/(-20) + 1) a multiple of 10?
False
Is 10 a factor of 248/3 + (-7)/(-21)?
False
Let j be 146/10 + (-2)/(-5). Let b be (-146)/(-6) - j/45. Suppose 5*a - 295 = -4*k, -4*a + b = -k + 103. Is 25 a factor of k?
True
Let l = 131 - 111. Suppose -l*p + 2147 = -p. Does 9 divide p?
False
Let o(p) = p**2 - 10. Let h = -14 - -6. Let f(y) = -3*y - 19. Let q be f(h). Is o(q) a multiple of 5?
True
Suppose 0 = -2*j + 2*d - 10, -j = 2*j - 5*d + 9. Is -131*j/(-6)*108/(-72) a multiple of 38?
False
Let y(o) = 3*o - 1. Let z be y(1). Let u(q) = -11*q - z*q**2 + 8*q + 1 + 14*q**2 + 20*q**2. Is u(1) a multiple of 10?
True
Suppose -6*b = -192 - 18. Is 5 a factor of b?
True
Suppose 8309 = -3*y + 1874. Is 5/(-4) + y/(-20) a multiple of 8?
False
Suppose -4*o + 60 = o. Suppose -3*t + o = t. Is 3 + -3*(-11)/t a multiple of 14?
True
Suppose m = -339 + 1536. Is 21 a factor of m?
True
Suppose -24*p - 884 = -26*p. Is 8 a factor of p?
False
Let j(q) = 2*q**2 + 6*q - 37. Let o be j(5). Suppose -l - 4*l - 120 = 0. Let b = o + l. Does 19 divide b?
True
Suppose 4*q + 57 = 7*q. Let u = q + -9. Suppose u*z - 7*z = 114. Is 19 a factor of z?
True
Let u(l) = l**2 - 12*l + 5. Suppose 24 = 3*w + 3*n, n = 5*w - n - 68. Is u(w) a multiple of 5?
True
Let b be 42/18 + (-2)/(-3) - -50. Let p = 109 + b. Is p a multiple of 37?
False
Suppose 9*t - 1590 = -21*t. Does 2 divide t?
False
Is 6 a factor of 33 + 47 + 4*1?
True
Let u be -1 - (0 + 4/(-1)). Let d(s) = 19*s**2 + 4*s - 3. Does 45 divide d(u)?
True
Let t(q) = 4*q. Let c be t(1). Let u(n) = 8 - 15*n**2 + 4*n + 14*n**2 - c*n. Is 5 a factor of u(0)?
False
Suppose 348 = 9*l - 12. Does 3 divide l?
False
Suppose 4*q - 4 = 4*m - 88, q - 2*m + 25 = 0. Is 17 a factor of (2/(-1))/(1/q)?
True
Suppose 2*s - 8*h = -4*h + 34, 0 = -2*s - h + 29. Suppose 9*v - 115 = -3*w + 4*v, -3*v = -s. Is w a multiple of 10?
True
Let a(c) = 181*c - 54. Does 28 divide a(2)?
True
Let a(p) = -6*p + 6. Let g be a(6). Let m = 12 + g. Let s = m + 48. Does 6 divide s?
True
Let q be ((-312)/(-91))/(2/35). Suppose -54*h = -58*h + q. Does 15 divide h?
True
Let g(w) = 7*w**3 - 6*w**2 + 12*w - 7. Does 50 divide g(3)?
False
Let c(r) = 3*r + 26. Let o be c(-8). Suppose -5*l + 793 = o*p + 212, -4*l - 2*p = -466. Suppose 4*q + 5*k = 377, -q + l - 24 = -2*k. Is q a multiple of 20?
False
Is 29 a factor of (5 - 138/30) + (-5363)/(-5)?
True
Suppose -w - w + 2*d + 4 = 0, -3*w = d - 6. Let b(q) = q - 5 + 7*q**2 + 7 - w*q. Is 16 a factor of b(-2)?
True
Let l = 3294 + -2579. Does 24 divide l?
False
Let h(a) = 16*a**2 - 24*a - a**3 + 2*a**2 + 0*a**3 + a**2. Let q be h(17). Suppose -2*k - q = -4*k. Does 23 divide k?
False
Let r = 45 - 49. Let v = 23 + r. Is v a multiple of 15?
False
Suppose -4*l - 184 = -6*l. Is l a multiple of 11?
False
Let v(b) = 8*b**2 - 2*b + 2. Let g be v(4). Suppose -5*c + 138 = -g. Let z = c - 31. Is z a multiple of 14?
False
Let a = -8 + 40. Suppose 0 = g - 2*g + a. Suppose 5*o - g = o. Is o a multiple of 3?
False
Suppose j = -0*j - 5*g + 38, 2 = j - 4*g. Let i = 22 - j. Is 14*1 - (i + -1) a multiple of 4?
False
Let h = -485 - -539. Is 16 a factor of h?
False
Let u = 159 + -227. Let s = 44 - u. Is s a multiple of 20?
False
Let v = 239 + 393. Does 25 divide v?
False
Let d(z) = -2*z**3 + 7*z**2 - 2*z + 0*z**3 - 2*z**3 + 3*z**3. Let i be d(6). Suppose 5*u + 3*l - 207 = 0, -i = -u + 5*l - 5. Is 13 a factor of u?
True
Suppose -5*k + 22 = -4*l, 4*k - 34 = l - 12. Let y(a) = a**3 - 7*a**2 + 8*a - 6. Is y(k) even?
True
Suppose -5*n + 3 = y - 2, -20 = -4*y - 3*n. Suppose 0 = 2*v + 3*z - 277, -4*v - y*z = -0*z - 553. Suppose 20 = -5*m, -a - 3*m + m + v = 0. Does 37 divide a?
False
Suppose -3*r - 3*o = -199 - 566, 0 = 5*r + 4*o - 1276. Is 3 a factor of r?
False
Is 9 a factor of (-8)/(-5)*-6*105/(-28)?
True
Let i = 20 + 774. Is 16 a factor of i?
False
Suppose -5*i + 85 + 295 = -3*h, -i = -4*h - 518. Let z = -71 - h. Is 33 a factor of z?
False
Let r = 34 - 38. Does 2 divide ((-69)/(-9) + -1)*(-6)/r?
True
Let l(p) = 2*p**3 - 3*p**2. Let c be l(2). Suppose 0 = c*w - 67 - 97. Is 30 a factor of 3/2*(w + -1)?
True
Let f be (-1230)/(-20)*(-112)/(-24). Let v = 1 - 1. Suppose 4*s + 104 = 2*i, v*s = 5*i - s - f. Does 10 divide i?
False
Let i = -30 - 50. Let m = i - -106. Is m a multiple of 4?
False
Let t(s) be the third derivative of 0 + s**2 + 1/8*s**4 + 0*s + 1/120*s**6 + 5/6*s**3 + 2/15*s**5. Is 12 a factor of t(-7)?
False
Suppos