6). Suppose 11 = 2*o - d. Does 2 divide o?
True
Let u be -1 + (-4 - 0) + 7. Suppose -u*k + k = -38. Let w = -17 + k. Does 7 divide w?
True
Let l(k) = -13 + 5*k + 12 + 43. Is l(15) a multiple of 9?
True
Let m = 4630 + -2326. Is 24 a factor of m?
True
Let s(f) = 11*f**2 - f. Let t(i) = -i + 9. Let p be t(7). Suppose -p*b - 2 = -0*b. Is 6 a factor of s(b)?
True
Let w = -4 - 0. Let x(u) = -2*u + 1. Let m(q) = q**2 + 5*q - 1. Let l(j) = 4*m(j) + 7*x(j). Does 17 divide l(w)?
False
Let v(z) = 3*z**2 + 12*z + 28. Let b be -1 + -3 + (-6 - 0). Does 52 divide v(b)?
True
Suppose -4*y - 169 = -2077. Let f = y + -216. Suppose 5*j - 165 = -4*o, -5*j + 4*o = 56 - f. Is j a multiple of 10?
False
Let y be (1 + -2)/(-2*(-5)/(-300)). Suppose q - 3*i = y, 2*q = -2*q - 3*i + 195. Is 5 a factor of q?
True
Suppose 396 = 14*a - 8*a. Let r = -47 + a. Does 5 divide r?
False
Let z be (12/(-9))/((6/9)/2). Is 44*1 - (-3 - z) a multiple of 25?
False
Let r(f) = 59*f**2 - 47*f - 2. Does 88 divide r(3)?
False
Let a(c) = 61*c - 240. Is a(6) a multiple of 7?
True
Let q = -987 - -1806. Does 13 divide q?
True
Suppose 0*x + 12 = 4*x. Suppose -2*o + 255 = x. Is 21 a factor of o?
True
Suppose 2*d = 7*d - 35. Let u = -432 - -455. Is 9 a factor of 2*u + d + -10?
False
Is 11298/14*1/3 a multiple of 23?
False
Suppose -14 = 10*d - 12*d. Is 41 a factor of 570/d + 20/35?
True
Suppose -3*u = -o - 2160, -2*u + 2880 = 2*u + 3*o. Does 15 divide u?
True
Let m = 106 + -127. Does 8 divide (5 - 2 - -7)/((-6)/m)?
False
Let l be -3 - (2 - -2)/(-4). Let w = 0 - l. Does 3 divide w/(-2) + (18 - 0)?
False
Let x be -5*4/8*2. Is 4 a factor of 20 + ((-80)/(-4))/x?
True
Suppose -2*t + 12 = -i + 4, 3*t - 22 = 4*i. Let z = t - -3. Suppose m + 5 = 0, -z*x - 15 + 80 = -4*m. Does 4 divide x?
False
Suppose 158 + 52 = 7*c. Let j = c - 13. Is 10 a factor of j?
False
Let f(o) = -o**3 - 12*o**2 - 18*o - 45. Does 54 divide f(-14)?
False
Let n = 771 + -396. Suppose -2*s + u + 111 = -78, -4*s = -3*u - n. Does 47 divide s?
False
Does 23 divide (10/35 + 547/21)*3?
False
Suppose -s + 25 = -0*s. Suppose 0 = -5*z - s - 5. Let k(r) = r**3 + 6*r**2 - 2*r + 4. Is 16 a factor of k(z)?
True
Let i(c) = -c**3 + 8*c**2 + 9*c - 15. Let o be i(9). Does 26 divide 6/o - (-660)/25?
True
Let t = -269 + 107. Let d = t - -312. Does 25 divide d?
True
Suppose -192 = 5*g - 42. Let d be (45/g)/((-6)/(-16)). Is 27 a factor of 2700/48 + 1/d?
False
Let l = -2 + 9. Let m = -26 + 27. Let g = l - m. Does 6 divide g?
True
Let c(y) = 17*y**3 - 2*y + 8 - 16*y**3 + 8*y**2 + 9*y. Is c(-6) a multiple of 19?
True
Suppose -2*m = -m + 2*k + 6, 4*m - 4*k = -72. Let p = -14 - m. Suppose 4*d + 0*d - 128 = p. Is d a multiple of 7?
False
Let i(k) be the first derivative of -15/2*k**2 - 2 - 7*k. Does 9 divide i(-4)?
False
Let b(x) = 89*x - 23. Does 55 divide b(6)?
False
Suppose -m + 5*n - 24 = -5*m, -14 = -2*m - 2*n. Let f = m - 13. Is 12 a factor of (f/4)/((-6)/432)?
True
Suppose -4*c = -9*c - 10, 0 = 4*j + 2*c - 236. Let g be (-580)/(-6) - 40/j. Suppose i - g = -i. Does 8 divide i?
True
Let h(z) = -107*z**3 + 4*z**2 + 10*z + 11. Does 6 divide h(-2)?
False
Let s(u) = 366*u + 198. Is 24 a factor of s(3)?
True
Let i(s) be the first derivative of -s**3/3 + 3*s**2 + 3*s - 4. Let a be i(6). Suppose -215 = -2*d - a*d. Does 12 divide d?
False
Let k(s) be the second derivative of s**4/12 + 4*s**3/3 - 7*s**2/2 - 2*s. Let v be k(-9). Is -1 + v*(25 - 3) a multiple of 12?
False
Let i(b) = -22*b + 6. Let n be (5 + -7)*(2 + -1). Does 7 divide i(n)?
False
Let i = -9 + 12. Suppose 0 = -i*l + 44 + 10. Suppose -2*k + 34 = -l. Does 13 divide k?
True
Let u be 2/(2 + 3/(-3)). Suppose -5*p = u*o - 247, -4*p + 6*p = -3*o + 90. Is p a multiple of 14?
False
Let y = 29 - -66. Is y a multiple of 10?
False
Let z = -2 - -7. Suppose 2*l = -z*h + 330, -148 = -2*h - l - 3*l. Is 8 a factor of h?
True
Let d(x) = 9*x**2 - 15*x + 17. Is d(8) a multiple of 47?
False
Let v = -853 + 879. Is 2 a factor of v?
True
Suppose 3*o - 8*o = -2*p + 3137, 4731 = 3*p + o. Does 11 divide p?
False
Let u(w) = -w**3 + 8*w + 7. Let r be u(3). Does 32 divide (-842)/(-8) - (1 + (-3)/r)?
False
Let t = -32 - -24. Let c be t/(-20) - (-36)/10. Suppose -c*q + 5*f + 84 = 0, 96 = 4*q + 3*f - 5*f. Is 13 a factor of q?
True
Let p = -193 - -300. Does 14 divide p?
False
Suppose 6*n - 1310 - 886 = 0. Suppose -3*i + n = 2*r + 92, 5*i - 151 = -r. Does 13 divide r?
False
Let s = -105 + 59. Let u = -9 - s. Is u a multiple of 34?
False
Let m = -111 - -100. Let n(a) = 2*a**2 + 21*a - 1. Is n(m) a multiple of 10?
True
Let n(b) = -6*b - 15. Let j = -12 - -5. Let x be n(j). Suppose 5*p - 93 = x. Is p a multiple of 8?
True
Let p(c) = 2*c**2 - 8*c - 3. Let r be p(8). Suppose -2*j = 10, 2*g + 4*j = j - r. Let h = g + 43. Does 14 divide h?
False
Let y be -4 + 2 + 3 + -2. Let z be y/(2 - (-44)/(-20)). Suppose 0 = -z*p + 61 + 4. Is 13 a factor of p?
True
Suppose 0 = -2*p + 4*j, -3*p - 5*j + 3*j = -16. Suppose -p*n = 4*n - 240. Does 5 divide n?
True
Let k(x) = x**2 + 1. Let m(l) = 6*l**2 + 13*l - 7. Let j(i) = -5*k(i) + m(i). Let h be j(-15). Suppose -h = -f + 82. Is 12 a factor of f?
False
Suppose -13*t = -2*t - 7524. Is t a multiple of 19?
True
Let z = 21 + 39. Is 18 a factor of z/35*6*7?
True
Suppose 8*s - 149 - 715 = 0. Does 16 divide s?
False
Let g = 813 + -467. Suppose 2*j + 0*y = 2*y + 344, g = 2*j - 4*y. Does 19 divide j?
True
Suppose -13*r = -12*r - 86. Does 38 divide r?
False
Let t(d) = 3*d - 9. Suppose 5*k - 5 = 15. Let m be t(k). Suppose 3*b - 7*b = 5*w - 49, -43 = -m*w + b. Is 4 a factor of w?
False
Let y = 5 - 9. Let p be 45/18*y/(-5). Is 204/6 - p*2 a multiple of 11?
False
Let t(l) = 7 + l**2 + 0*l**2 - l - 7*l. Suppose -4*r + 28 = 4*p, -2*p = -1 + 3. Is 7 a factor of t(r)?
True
Let d(x) = -x**3 + 6*x**2 + 3*x + 5. Suppose -4*i = 5*h - 9, 4*h - 5*i - 40 = -0*h. Is 9 a factor of d(h)?
True
Suppose -5*k + 801 + 954 = -o, -2*k + 679 = -5*o. Is k a multiple of 16?
True
Let a(r) = -r**2 - 1. Let z(n) = -5*n**2 + 11*n + 4. Suppose 9*c + 3 = 12*c. Let h(g) = c*z(g) - 4*a(g). Is 11 a factor of h(6)?
False
Let i(g) = -5*g - 26. Let p(x) = -x - 5. Let a(t) = -2*i(t) + 11*p(t). Let v be a(2). Let z(k) = -6*k. Does 15 divide z(v)?
True
Suppose -3*t - 48 = -3*p, -2*t = p - 10 - 0. Suppose -4*y + 0*y + p = -c, 4*y = 5*c + 6. Let j(z) = 3*z**2 + 2*z - 1. Is j(y) a multiple of 23?
False
Suppose 6*f - 2*f = 0. Suppose -4*p - y + 643 = f, 4*p - 795 = -p - 3*y. Suppose -2*q + p = 3*q + 3*l, -l = 2*q - 65. Does 33 divide q?
True
Let d(p) be the first derivative of p**3/3 - 9*p**2/2 - 28*p - 1. Let w be d(12). Does 11 divide (-2 - w)*13/(-2)?
False
Let w(o) = 2*o**2 + 39*o + 31. Let f be w(-20). Suppose 6*z - 783 - f = 0. Does 9 divide z?
False
Suppose s + 5197 = 5*y, 0 = -3*y - 12*s + 11*s + 3123. Is 52 a factor of y?
True
Let y(k) = 10*k**2 - 32*k + 99. Is y(3) a multiple of 4?
False
Suppose 4 = 3*p - 11. Let a = 17 - p. Let w = 24 - a. Is w a multiple of 6?
True
Suppose -12*y = -8*y. Let t be y/(2 - (3 + 1)). Suppose t = 2*s - 0*s - 84. Is s a multiple of 10?
False
Suppose -4*d + 8 = -88. Let k be (-133)/3 - (-8)/d. Let o = k - -77. Does 9 divide o?
False
Let g be 1 - ((-2 - -1) + -1). Suppose -t = g - 16. Suppose 0*l + l - t = 0. Is l a multiple of 4?
False
Let m = -8 - -12. Suppose -10*q = -11*q + 39. Does 8 divide ((-2 - 1) + m)*q?
False
Suppose -3*u - 29*l + 34*l = -4860, -1631 = -u - 2*l. Does 13 divide u?
True
Suppose 5*u = -0*u - 10, 2*f + 5*u = -2. Suppose 5*o = -f*a + 2*o + 255, 5*a = -3*o + 321. Is a a multiple of 11?
True
Is ((-14)/(-8))/7 + 31773/28 a multiple of 6?
False
Suppose 0 = 5*j + j + 786. Does 22 divide j/(-3) + 3/9?
True
Suppose -6*u + 11*u = 65. Suppose -u = -4*g + 127. Is 15 a factor of g?
False
Suppose 0 = -h + i - 0*i + 1048, 3*h + 3*i = 3126. Suppose 17*r - h = 12*r. Is r a multiple of 11?
True
Let f(n) = -92*n - 1. Let a be f(3). Let t = -130 - a. Is t a multiple of 13?
False
Suppose 0 = 4*b - 4*v + 14100, 3*b + 5*v + 10971 = 356. Is 16 a factor of 2/(-4) - b/20?
True
Let a(w) = w - 1. Let d(i) be the second derivative of -i**4/12 - 2*i**3/3 + 3*i**2/2 - 2*i. Let m(t) = 3*a(t) - d(t). Does 12 divide m(4)?
False
Suppose -8*q = -11*q + 15, -3*w + q = -268. Does 15 divide w?
False
Suppose -4*y + h + 267 = -23, -148 = -2*y