se 0 = 4*i + 11 + 153. Suppose -5*p - 4*n = -283, -4*p + n - 62 + 301 = 0. Let x = p + i. Does 9 divide x?
True
Suppose x = -x + 10, 2*t + 41 = 3*x. Let m(i) = 3 + 14*i**2 - 4*i**3 + 11*i + 5*i**3 + 4 - 1. Does 16 divide m(t)?
True
Suppose -5*z - 2*q + 99 = -44, 3*q + 96 = 4*z. Is 6 a factor of z?
False
Let k(i) = -26*i + 14. Let j(q) = -5*q + 3. Let r(d) = 16*j(d) - 3*k(d). Let a be r(4). Does 17 divide (12 - -5)/((-1)/a)?
True
Suppose -4*t = -7 - 53. Is t a multiple of 3?
True
Let x(l) = -l**3 - 5*l**2 + 8*l - 3. Let s be x(-6). Let a be 1116/s - (-9)/(-15). Let r = -44 - a. Is r a multiple of 10?
False
Let i(r) = -r**3 + 8*r**2 + 12*r - 11. Let k be (-54)/12*-2*1. Is i(k) a multiple of 8?
True
Let n(r) = 10*r**2 - 4*r - 2. Let k(m) be the first derivative of -11*m**3/3 + 5*m**2/2 + 2*m + 1. Let j(q) = 5*k(q) + 6*n(q). Does 8 divide j(-2)?
True
Let m(k) = -k**3 - k**2 + k + 19. Let o = 6 + -3. Suppose o*z = 2*z. Is 19 a factor of m(z)?
True
Suppose -v - v + 4*r = 16, -3*v - 36 = -2*r. Let n = -2 - v. Is n a multiple of 7?
False
Suppose -n - 3*p = -2*p - 16, -5*n - 3*p = -76. Suppose v + n = 3*v. Is 4 a factor of v?
False
Let z = 35 + -14. Let k be 2/7 - 425/(-7). Suppose -2*i = -4*i - 3*u + z, -u - k = -5*i. Is 6 a factor of i?
True
Does 17 divide 3/(2/10 - (-76)/(-680))?
True
Let b = 250 - 12. Is b a multiple of 53?
False
Suppose 3*t - 14 + 122 = 0. Let n = t - -54. Let a = 4 + n. Does 11 divide a?
True
Let i(h) = 2*h**2 - 10*h - 2. Does 23 divide i(8)?
True
Suppose -3*i - 381 = -6*i. Suppose -209 - i = -3*q. Suppose 4*w + 0*w - q = 0. Is 11 a factor of w?
False
Let x be (-2 + -4)*(-5)/5. Suppose -35 = -x*z + 103. Is z a multiple of 5?
False
Suppose 5*a - 3 - 12 = 0. Let h = 1 - -3. Suppose -5*n - h*q + 90 = 0, -2*n - 4*q = -a*n - 6. Is 7 a factor of n?
True
Let f(x) = 16*x + 7. Let k be f(-5). Let d = 123 + k. Let r = -18 + d. Is r a multiple of 17?
False
Is 33 a factor of 15/10*(-140)/(-6)?
False
Suppose -5*j + 153 + 2 = 0. Does 9 divide j?
False
Suppose 1270 = -36*o + 41*o. Does 28 divide o?
False
Let y(j) = j**2 - j - 9. Is y(-4) a multiple of 4?
False
Let b = -131 - -219. Does 11 divide b?
True
Suppose 10*t - 78 = 7*t. Is 13 a factor of t?
True
Let c = -9 + 12. Suppose -c*r - 12 = 0, 2*h = -r - 0 - 4. Suppose h = -3*q + 6*q - 63. Is 13 a factor of q?
False
Suppose 5*j = 15, -128 - 302 = -5*v - 5*j. Is 31 a factor of v?
False
Let s(u) = u + 1. Let b(w) = -3*w - 12. Let i(v) = b(v) + 5*s(v). Does 3 divide i(7)?
False
Let r = 718 - 486. Is r a multiple of 21?
False
Let f be (412/(-4))/((-2)/2). Suppose -101 = -4*s + 3*w, 6*s - w - f = 2*s. Is 13 a factor of s?
True
Suppose -h - 3*l = h, 5*l = -2*h + 8. Let u = 7 + h. Is 14 a factor of (-20)/(-1) - (u + 0)?
False
Let c be (6/12)/(1/6). Suppose c*n + 3*j = n + 60, -4*j + 90 = 3*n. Is 10 a factor of n?
True
Let u be -66*(-2 + (-1 - -2)). Suppose 3*d = -0*d - 3*s - u, -s = 5*d + 114. Let t = -10 - d. Does 7 divide t?
False
Let g = -3 - -11. Let u(s) = 5*s - 13. Let j(y) = -14*y + 38. Let l(t) = -3*j(t) - 8*u(t). Is 3 a factor of l(g)?
True
Suppose 0 = -f - 73 + 221. Is 27 a factor of f?
False
Let n be 5/(-10)*2*3. Is 8 a factor of (-14)/(-1) + (n - -3)?
False
Let y = 77 - -1. Is 27 a factor of (-13)/y - 559/(-6)?
False
Suppose -x = -6*x - 45. Let c = 25 + x. Is 5 a factor of c?
False
Let k(p) = p + 2. Let j(t) = t + 1. Let d(g) = -2*j(g) + 3*k(g). Let n be d(-6). Does 10 divide n + (0 - 11*-2)?
True
Let r(g) = g**3 - 12*g**2 - g + 15. Suppose 49 = 4*q + 1. Let x be r(q). Suppose -v = -x*j + 2*j - 11, 0 = -v - 3*j + 19. Does 8 divide v?
False
Suppose 5*w + 5*n - 85 = 0, -36 = -2*w - 5*n + n. Suppose -r + 16 = 2*b, -w = -r - 6*b + 3*b. Is 11 a factor of r?
False
Let o = 16 - 32. Let u = o - -3. Let s = -5 - u. Does 3 divide s?
False
Let g(w) = -32*w + 1. Does 3 divide g(-1)?
True
Does 13 divide (7932/9)/4 + (-6)/(-9)?
True
Let p be 1*(21/3)/(-1). Let q = -3 + p. Let z = 15 + q. Does 4 divide z?
False
Let r be 0 - 24/(-7 + 3). Suppose -r*o + 4*o = -34. Is o a multiple of 7?
False
Let y = 573 + -282. Is 20 a factor of y?
False
Let w(p) = p**2 - p + 3. Suppose 0 = -o - 3*f + 15, 5*o + 4*f + 0*f - 31 = 0. Is 5 a factor of w(o)?
False
Let y(m) = m + 6*m + 0*m**2 + m**2 - 2*m**2 - 5. Let g be y(5). Suppose 3*l + 18 = g*u, 0 = 2*u + 2*l + 3*l - 1. Does 3 divide u?
True
Let n(p) = p**3 + 6*p**2 - 20*p - 17. Is 6 a factor of n(-8)?
False
Let m(v) = 5*v**2 - 3. Let r be m(5). Let x = -62 + r. Suppose -2*b - x = -5*b. Is 7 a factor of b?
False
Let y = -74 + -27. Let o = -4 - y. Let k = o - 69. Does 14 divide k?
True
Let l be 1 + 0 - 48/12. Let r(o) = -o**3 - 3*o**2 - o + 2. Is r(l) even?
False
Let s(m) = m**3 - 7*m**2 + 8. Let x(y) be the second derivative of y**3/2 - 5*y**2/2 + 2*y. Let w be x(4). Does 8 divide s(w)?
True
Let f(x) = x**2 + 7*x + 4. Let p be f(-7). Suppose 4*y + 2*a - 10 - 4 = 0, 2*y - p*a - 2 = 0. Is y a multiple of 2?
False
Let j(f) = f**3 + 7*f**2 + 5*f - 3. Let y be j(-6). Suppose 2*x = x - y*q + 30, 0 = 5*x + 3*q - 126. Is 9 a factor of x?
False
Suppose 9*t = 8*t + 2. Suppose 0 = t*i - i - 4. Does 4 divide i?
True
Let o = 24 - -45. Let v = 131 - o. Is v a multiple of 16?
False
Let k be (-21 + -13)/(1/2). Let d = -30 - k. Is d a multiple of 8?
False
Let f = 67 - -28. Does 19 divide f?
True
Let x be (1 - -2)*(14 - 3). Suppose -2*n - n + x = 0. Let p = -6 + n. Is 2 a factor of p?
False
Let d(j) = -8*j + 6*j + 9*j + 9*j - 2. Is 6 a factor of d(1)?
False
Suppose a - 7*c + 3*c - 9 = 0, -a = c - 29. Does 11 divide 110/(-4)*(-30)/a?
True
Suppose 2*v + 0*v - 3*t + 1 = 0, 4*v = -5*t - 35. Let c be (-32)/(-10) - v/(-25). Suppose -3*a + 0*m + 47 = 2*m, 53 = 2*a - c*m. Is 7 a factor of a?
False
Let a = -13 + 12. Does 16 divide (-2)/3*48/a?
True
Suppose 0*a + 6 = -3*a. Does 23 divide 2/(-4) - 147/a?
False
Suppose -208 = 26*r - 27*r. Is r a multiple of 5?
False
Let v(i) = 53*i**2 + i. Let d be v(-1). Let p = d - 25. Is 9 a factor of p?
True
Let d = 26 - 1. Is d a multiple of 6?
False
Let d(u) = u**3 + 4*u**2 + 2*u + 2. Let g(c) = c**2 + 6*c - 3. Let f be g(-6). Let k be d(f). Let l(z) = 2*z + 1. Is 9 a factor of l(k)?
False
Let c(f) = -4*f - f**3 + 2*f**2 + 0*f - 10 - 6*f**2 + 14*f**2. Let q = -23 + 32. Does 11 divide c(q)?
False
Let j(d) = 10*d - 3. Let h be j(6). Suppose 10 + 8 = u. Let x = h - u. Is x a multiple of 15?
False
Is (-2 - 144/(-7))*84/12 a multiple of 10?
True
Let z = 51 + -36. Is z a multiple of 5?
True
Let h(s) = -4*s**3 + 11*s**2 - 6*s + 6. Let m(k) = -11*k**3 + 32*k**2 - 18*k + 18. Let u(g) = -8*h(g) + 3*m(g). Is u(6) a multiple of 14?
True
Is 16 a factor of 32 - 0/(1 - 0)?
True
Let a = 9 - 6. Suppose 3*h = 3*d - d - 48, -a*h + 96 = 4*d. Is d a multiple of 10?
False
Let r be 21/(5 + -2) - 0. Suppose r*i - 89 = 2*i - 3*k, 9 = 3*k. Is 8 a factor of i?
True
Let y(o) = o**2 + 6*o - 5. Let d be y(-7). Suppose -4*n + 4*a + 26 = 3*a, n + 4*a = -2. Let q = d + n. Is q a multiple of 4?
True
Let i be -1*16 - (-7 + 7). Let h = 31 + i. Does 6 divide h?
False
Suppose 0 = -2*l + l + 3*s + 3, 0 = 3*l + s + 1. Suppose -4*w + 2*k + 26 = 3*k, l = -5*w - k + 32. Is 8 a factor of (9/w)/((-3)/(-20))?
False
Let c be (9/4)/(2/64). Suppose 2*w - 3*k - c = 0, -k = -3*w - 3*k + 82. Is 15 a factor of w?
True
Let o(w) = w**2 - 3*w - 1. Let v be o(6). Let x = v - 10. Is 7 a factor of x?
True
Let z be 3/(-6) - 18/(-4). Suppose 0 = 2*l - 0 - z. Suppose 4*r - 4*d - 56 = -0*d, l*r = 4*d + 22. Is r a multiple of 8?
False
Is 139/8 + (-12)/32 a multiple of 8?
False
Let y be (-4)/10 - (-54)/10. Suppose 0 = -4*c + 4*d + 37 - y, -2*c + 5*d + 22 = 0. Does 4 divide c?
False
Let m = -184 + 119. Let d = 113 + m. Does 16 divide d?
True
Let c(b) = b**2 + 11*b + 15. Is c(-12) a multiple of 9?
True
Suppose 306 = 2*l - 4*z, -616 = -3*l - l + 4*z. Does 31 divide l?
True
Let z = 106 + -81. Is 4 a factor of z?
False
Let n = -12 - -30. Is 15 a factor of n?
False
Suppose 108 = o + 2*o - 4*b, -4*o = -3*b - 137. Does 2 divide o?
True
Let j(o) = 2*o**2 + 4*o + 20. Is 25 a factor of j(-5)?
True
Let z be (-18)/42 + 45/7. Does 32 divide z/(-15) - (-2892)/30?
True
Let a be ((-16)/(-6)*3)/2. Let g be 2/a*(4 + 18). Suppose 0 = 4*s - 2*r - 74, 2*r = -0*s - s + g. Is s a multiple of 17?
True
Let r(v) = -v - 4. Let o be r(-6). Suppose 2*t