5*m - 9*m - 7*m + 4*m - 10. Let c be i(-8). Suppose -4*k = -k - c. Is k a multiple of 7?
True
Let i(c) = 2*c**2 - 31*c + 12. Let b(m) = 7*m**2 - 123*m + 48. Let o(d) = -2*b(d) + 9*i(d). Does 19 divide o(11)?
True
Let x = 387 + -290. Is 4 a factor of x?
False
Let y = 21 - 0. Let j = -7 + y. Suppose -4*t + x - 2 = -7, 4*t - j = -2*x. Is t even?
True
Let t be 3 + (-2)/(-2)*-30. Let v be ((-9)/t)/((-1)/(-102)). Suppose 0 = 2*o + 2*d - v, o + 50 = 4*o + 4*d. Is 6 a factor of o?
True
Is 4 a factor of 9/(-2)*(6 + (-40)/5)?
False
Let w(a) = -a**2 - 25*a + 48. Is w(-19) a multiple of 9?
True
Suppose -6*a - 44*a = -149400. Does 83 divide a?
True
Let k(q) = 3*q**3 - 2*q**2 + 3*q - 1. Let r be k(1). Let u(i) = -14*i - 5. Let h be u(r). Let b = h - -70. Does 23 divide b?
True
Suppose 3*f - 592 = 125. Suppose 0 = -2*n + 127 + f. Suppose 0 = -6*v + 3*v + n. Does 20 divide v?
False
Does 19 divide (-1938)/119*(-399)/9?
True
Let r = 47 - 101. Suppose 839 = 12*i - 277. Let y = i + r. Does 13 divide y?
True
Is 10 a factor of (1 - 4) + 3/(42/4928)?
False
Suppose 0 = -7*y + 12 + 16. Suppose -2*f + 15 = 3*k, y*f - 3*k - 2 - 1 = 0. Is (f/(-6))/(1/(-16)) a multiple of 8?
True
Suppose 44*y - 3*m + 488 = 45*y, 2*y + 4*m - 968 = 0. Is 45 a factor of y?
False
Let r be ((-2)/4)/((-9)/(-18)). Is 5 a factor of 5/(r/(-5)*1)?
True
Let m be 65/9 + (-2)/9. Suppose 5*b = 2*l + m, 4*l - 10 = b + 3. Is 14 a factor of (8/l)/(1/28)?
True
Let s be -1 + 2 + -1 + 0. Let u(n) = 5 + n + 4*n - 2 + s*n. Is 19 a factor of u(6)?
False
Let c(a) be the third derivative of a**6/120 - a**5/20 + 2*a**3/3 - 9*a**2. Is c(5) a multiple of 18?
True
Let a(j) = 10*j + 5. Suppose -2*u - u = 4*d - 13, 4*d = -5*u + 11. Let v be d + 4 + (-3)/1. Does 17 divide a(v)?
False
Suppose -783 = -3*o - 2*i, -o - 50 + 300 = -3*i. Does 20 divide o?
False
Let w(y) = y + 18. Let j be w(-9). Suppose -j*p + 5*p + 352 = 0. Does 11 divide p?
True
Is 46 a factor of 8 + 5646/6 + 2?
False
Let o = 67 - 78. Does 31 divide (89*-2)/(-13 - o)?
False
Let g(h) = -4*h - 2. Let w be g(-1). Let c(t) = 6 + 2*t**w + 13*t - t**2 - 2*t**2. Is c(10) a multiple of 12?
True
Let q(v) = v + 12. Let u be q(-7). Suppose u*m = -p + 6 + 1, 3*p = -m - 7. Is 2 a factor of m?
True
Suppose -40*d - 3*l = -38*d - 3369, 0 = l - 3. Is d a multiple of 8?
True
Let i = -710 + 491. Let q = 311 + i. Does 23 divide q?
True
Let p = -28 + 32. Suppose -p*u + 5*d + 120 = 0, 0 = 2*u + d + 4*d - 90. Does 35 divide u?
True
Let c(n) = 15*n**3 + 49*n + 14*n**3 + 40*n - 83*n - 5. Is 17 a factor of c(1)?
False
Suppose 2*h = 11*h - 2736. Is h a multiple of 38?
True
Suppose -368 = -4*f + 4*s, 3*f + 5*s - 122 = 2*f. Suppose 92*m + 125 = f*m. Does 5 divide m?
True
Let f = 9 - -361. Is f a multiple of 9?
False
Is 20 a factor of ((-208)/20)/((-1497)/(-300) - 5)?
True
Suppose 4*t + 2*x + 10766 = 8*t, 2*t = -2*x + 5380. Is t a multiple of 9?
True
Suppose 4*q - 67 = 101. Suppose -q*p = -40*p - 32. Is 13 a factor of p?
False
Let c be 0/((3 - 1)/(-2)). Suppose c = 2*t - 0*t - 4. Suppose -t*v = 4, -w - 2*v + 32 = -0*w. Is 12 a factor of w?
True
Let f = 7 + -1. Suppose -610 = 2*t - 7*t. Suppose -t = -4*s - f. Is 14 a factor of s?
False
Let g be (-567)/(-28) - (-2)/(-8). Suppose 0 = -8*h + 3*h + g. Suppose -h*m = -3*d - 44, -56 = -10*m + 5*m + 4*d. Is m a multiple of 8?
True
Let q = 176 - -29. Suppose q + 683 = 3*l. Is l a multiple of 9?
False
Let y = 20 - 10. Suppose -u = 0, -2*q + y = 2*u - 7*u. Let h = 4 + q. Does 9 divide h?
True
Is 3 a factor of ((-111)/(-5))/((-42)/(-70))?
False
Suppose -5*f + 5 = -2*d + 2, d - 3*f = 0. Let a(v) = -5*v - 25. Does 20 divide a(d)?
True
Is (-30)/(-3 + 189/70) a multiple of 9?
False
Let l = 467 + -284. Is l even?
False
Suppose o + 20 = 6*o. Let w be o/2 + (-18)/(-6). Suppose -w*v + 266 + 139 = 0. Does 27 divide v?
True
Suppose -3 - 7 = 2*l, 4*w = -2*l - 34. Let k be (-50)/w - 4/(-6). Suppose -6*v - 222 = -k*v. Is 14 a factor of v?
False
Suppose -3*k = 7*k - 380. Suppose -v + 30 = -2*n - k, 2*v - 136 = -n. Is v a multiple of 19?
False
Let b(g) = g**2 - 4*g + 15. Let u be b(7). Suppose -x + u = 2*i - 48, -3*i = -x - 126. Does 5 divide i?
False
Suppose 11 = -4*s - 3*p - 2*p, p = -2*s - 1. Let b be (3/(-6))/(s/(-82)). Suppose -z + b = -7. Is 16 a factor of z?
True
Let h(y) = y**2 + 6*y. Let x be h(-7). Let c(a) = -a**2 + 9*a - 10. Let s be c(x). Suppose 0 = s*p + q - 125, -2*p = -5*q - 1 - 56. Is p a multiple of 7?
False
Let o(j) = 10*j**2 + 85*j + 9. Is o(-12) a multiple of 11?
True
Let p(h) = h**2 + 2*h - 1. Suppose k + 7 = 10. Is 3 a factor of p(k)?
False
Suppose 35 = -r - 29. Let p = -37 - r. Does 9 divide p?
True
Is 2421 - 11/1 - 6 a multiple of 26?
False
Suppose 4*g = i - 769, -2*i + 6*g + 1531 = 5*g. Is 2 a factor of i?
False
Suppose 4*m - u + 7 - 3 = 0, 4*u - 16 = -3*m. Suppose m = -7*p + 247 + 26. Is p a multiple of 5?
False
Let k be (14 - 12)*5/2. Suppose -5*w + 371 = k*o - 1409, 0 = 2*w - 4*o - 688. Does 32 divide w?
True
Suppose -41*b + 594 = -4941. Does 12 divide b?
False
Let i(m) = -m**2 + 34*m - 201. Is i(15) a multiple of 28?
True
Let p = 5059 - 2851. Is 23 a factor of p?
True
Suppose -1 = -2*n - 4*q + 1, -3*q = -n + 1. Let z be n + 26 - (1 + 1). Suppose 0*c - 5*c = -z. Is 5 a factor of c?
True
Suppose -5*t = 2*k - 134, k + 6*t = 3*t + 69. Let i be -20 - (-12)/8*-2. Let f = i + k. Does 14 divide f?
False
Let z(r) = r**3 + 20*r**2 + 26*r + 17. Does 9 divide z(-10)?
False
Let h = -56 + 62. Let x(o) = 3*o**2 - 13*o - 6. Does 12 divide x(h)?
True
Let j = -15 - -13. Let u(k) = -3*k**3 - k**2 + 2*k + 2. Let v be u(j). Let w = -5 + v. Does 13 divide w?
True
Suppose -8 = -2*o + 6. Let z(b) = 8*b - 26. Let s be z(6). Is 681/o - s/77 a multiple of 19?
False
Let s be (-6)/(-4) - (-9493)/22. Let l = s - 277. Suppose l = -i + 4*i. Is 13 a factor of i?
True
Suppose -i + 2*w = 6*w - 16, -5*i + 2*w - 30 = 0. Is 63/42 + -254*1/i a multiple of 13?
True
Suppose 1596 = 3*y + 3*y. Let a = y - 172. Does 19 divide a?
False
Suppose -43 - 47 = -2*g. Does 5 divide g?
True
Suppose 4*z = -r + 20, -5*r + 0*z = -5*z. Suppose -r*u = -279 - 41. Is u a multiple of 8?
True
Let y = 71 + 2. Let v = 224 - 79. Let r = v - y. Does 19 divide r?
False
Let n = 5637 - 3901. Let f = -115 - -117. Does 11 divide n/40 + f/(-5)?
False
Let c(s) = s - 4. Let q be c(8). Suppose 0 = 3*u + q*j - 487, 0*u = -u + 4*j + 141. Is 28 a factor of u?
False
Let v(o) = -3*o + 1. Let b be v(1). Let t(q) be the second derivative of -q**5/10 + q**4/12 + q**3/3 + q**2 + 223*q. Does 8 divide t(b)?
False
Suppose 0*q + 26 = -3*w + 4*q, 2*w - q = -14. Suppose -g + 0*g - 26 = 3*p, 5*g - 14 = p. Does 6 divide 3/p + (-128)/w?
False
Let w = 25 - 19. Suppose 141 + 153 = w*l. Let x = l + -34. Does 15 divide x?
True
Let j(m) = m**3 - 31*m**2 + 56*m + 68. Is j(29) a multiple of 10?
True
Let g(s) = 4*s**2 + 37*s + 23. Is 10 a factor of g(-21)?
True
Suppose -3*z = -k + 4, -2*k - 4*z + 2 = -6. Suppose -6*c = -k*c + 5*h - 353, 2*c - 5*h - 383 = 0. Is 32 a factor of c?
False
Let w(k) be the first derivative of k**3/3 + 5*k**2/2 + 12*k - 3. Is 6 a factor of w(-6)?
True
Suppose -4*f + 2*x + 0 = -2, -5*x - 5 = 2*f. Suppose 4*l - 9*l - k = -241, -3*l + 2*k + 142 = f. Is 12 a factor of l?
True
Suppose 2*o - 2*u - 98 = 0, -32 = -o + 5*u + 33. Is 5 a factor of o?
True
Suppose -5*i - 20 = 5*o, -2*o - 3*o + 5*i = 40. Let b(d) = -d**3 - 7*d**2 - 6*d + 8. Let z be b(o). Suppose -w = -4, -5*w + 60 = -3*l + z*l. Does 2 divide l?
True
Let q(p) = -p + 12. Let a be q(7). Suppose j - u = -0*j + 51, 2*j = -a*u + 109. Is 26 a factor of j?
True
Let s = 1361 - 732. Suppose 0 = 9*w + 35 - s. Does 22 divide w?
True
Suppose -2*v - 6576 = 2*v. Does 37 divide -3 + 39/15 - v/10?
False
Suppose 5 = 3*n - x, -20 = 4*x - 9*x. Let d(y) = y**2 - 2*y + y + 0*y + 1. Is d(n) a multiple of 4?
False
Let o(p) = p**3 - 4*p**2 + p + 1. Let w be o(4). Suppose -102 = 4*y - 674. Suppose -217 = -w*d + y. Is 12 a factor of d?
True
Suppose 4 = x, 0 = -5*y + 3*x + 194 + 249. Suppose -2*p + y + 23 = 0. Is 19 a factor of p?
True
Suppose -t = 5*t - 312. Let h = 36 + t. Is h a multiple of 8?
True
Let g(f) = 36*f**2 - 11*f + 1. Is g(2) a multiple of 5?
False
Let z(m) = 9 + 8 - 4*m + m**3 + 2*m - 20 + 6*m**2. Is z(-6) a multiple of 3?
True
Suppose 3*p - 11117 = 4*z, -z - 