ose p = x - 6. Is x a multiple of 11?
True
Let p = 0 - 1. Let k be (-88)/4 - 1 - 1. Does 3 divide p - -10 - k/(-8)?
True
Let t(j) = 115*j**3 + j**2 + j - 1. Is 12 a factor of t(1)?
False
Suppose -27 + 7 = -5*s. Let b = 7 - s. Suppose b*y - 3*n = -y + 96, n = 0. Is y a multiple of 12?
True
Let b(g) = g**2 - 2*g + 62. Is b(0) a multiple of 17?
False
Let i(j) = j + 11. Let v be i(-10). Is v - -4*(-43)/(-2) a multiple of 29?
True
Let o(c) = 97*c**2 - 2*c - 1. Is 10 a factor of o(-1)?
False
Let j be -1 + (-2)/(4/(-210)). Suppose -5*w + 9*w - j = 0. Is 8 a factor of w?
False
Is 2 a factor of (-9)/6*(-4)/2?
False
Suppose -81 = -k + 69. Suppose -6*u + k = -u. Is u a multiple of 30?
True
Let h = 1 - 1. Let s = -3 + 3. Suppose s = i - h*i - 11. Does 11 divide i?
True
Let x(f) = -f**3 - 14*f**2 + 1. Let k be x(-14). Does 5 divide 16 + 3 - k - -3?
False
Let p be 396/84 - 2/(-7). Is (-107)/(-5) + 3/p a multiple of 17?
False
Suppose -2*b = 2*g - 142, -g - 3*g - 5*b = -281. Is g a multiple of 16?
False
Let k = 177 + -100. Is k a multiple of 23?
False
Let a(g) be the second derivative of -g**3/3 + 3*g**2 + g. Suppose u - 2*u - 4*z - 21 = 0, 0 = -4*u + 4*z - 4. Is 9 a factor of a(u)?
False
Let d be (-16)/12*6/(-4). Let l(n) = 4*n**2 + 1 - 12 - 5*n**d - 11*n. Does 13 divide l(-8)?
True
Does 15 divide (-24)/156 + (-3904)/(-26)?
True
Suppose -9*l + 24 = -l. Let k be 2 + -1 + 1 + -1. Suppose m - k = l. Does 4 divide m?
True
Let r(p) = -58*p**3 + 2*p**2 + 2*p + 1. Let b be r(-1). Suppose 3*t + 4*f + 134 = 0, -4*f - 172 = 3*t + t. Let o = b + t. Does 7 divide o?
True
Suppose 0*h + 3*h = 15. Suppose -k + 199 = 3*k + i, h*i - 260 = -5*k. Let d = k + -25. Is 12 a factor of d?
True
Let x be (-1)/(-3 - 520/(-172)). Let q = -28 - x. Is q a multiple of 3?
True
Let n(r) = r - 1. Let m = -4 - -8. Suppose -3*f + 8 = m*h, -h - 7 = -2*f + 2. Is n(f) even?
False
Let q = -9 + 11. Is q*((-22)/(-4) + 2) a multiple of 13?
False
Let l(p) = -p**3 + 7*p**2 + 9*p. Is l(7) a multiple of 9?
True
Let p(b) = b**3 + 4*b**2 - 7*b - 2. Suppose -r + 3*a = 0, -r - 3*a + 8 = -10. Let k = -14 + r. Is p(k) a multiple of 4?
True
Suppose 0 = 2*t - 48. Is 12 a factor of t?
True
Let y = 8 + -6. Suppose y*p = 7*p - 130. Does 7 divide p?
False
Is 11 a factor of (-15)/12*(-40)/2?
False
Let c = -10 - -5. Let s be (-2 - (0 + -1))*c. Suppose -2*r + 8 = 0, 2*h - s*h - 3*r = -87. Is h a multiple of 19?
False
Let w = 0 - -17. Suppose -11 = -2*h + w. Is 11 a factor of h?
False
Suppose n = -2*n - 9. Let j(f) = 12*f - 7. Let z(a) = 12*a - 6. Let m(y) = 3*j(y) - 4*z(y). Does 18 divide m(n)?
False
Let y(t) = 2*t**2 + 12*t + 15. Let n(m) = m**2 + 6*m + 8. Let h(o) = -5*n(o) + 3*y(o). Let l be h(-5). Suppose l*p + 5*p = 105. Is 13 a factor of p?
False
Suppose -2*z - s + 5*s = 4, 0 = -2*z - 5*s + 41. Let l = 8 - z. Suppose 3*o + o + 4*g - 96 = l, 4*o - 2*g = 72. Is 10 a factor of o?
True
Suppose 78 = -t + 3*t. Does 13 divide t?
True
Suppose w + 4*w - 190 = 0. Let p = 10 + w. Does 16 divide p?
True
Suppose -2*g + 5*t = -99, 70 + 137 = 5*g + t. Does 22 divide g?
False
Let r(c) = 19*c**2 + c - 2. Is 9 a factor of r(1)?
True
Let k = 44 - -27. Suppose -k = -5*j + 29. Is 10 a factor of j?
True
Is 14 a factor of (-14)/(-3*1/45)?
True
Suppose 5*i + 2*v - 3*v + 193 = 0, -2*i - 2*v = 82. Does 4 divide (-2)/6 - i/9?
True
Suppose -5*o = 2*o - 630. Does 10 divide o?
True
Let h = -198 - -321. Let d = 29 + h. Suppose -3*a = a - d. Is a a multiple of 14?
False
Let n = -6 + 5. Is 8 a factor of n + 4 - (-63)/3?
True
Suppose 4*g - 140 = 2*g. Suppose 5*t = -0 + g. Is t a multiple of 14?
True
Let f be 15/5 - (2 - -2). Let q(i) = 16*i**2 + 2*i + 1. Does 6 divide q(f)?
False
Suppose 6*n = 146 + 592. Does 38 divide n?
False
Let h = 48 - 25. Is 6 a factor of h?
False
Let k(c) = c**2 + 8*c - 37. Does 11 divide k(4)?
True
Is 7 a factor of ((-4)/6)/((-2)/189)?
True
Let n(h) be the third derivative of h**5/60 + h**4/4 + 2*h**3/3 - 2*h**2. Is n(-6) a multiple of 4?
True
Does 15 divide 7/(147/270)*(11 - 4)?
True
Let r(d) = d**3 - 10*d**2 - 6*d - 15. Is r(11) a multiple of 10?
True
Let y(r) = 14*r**3 - r + 1. Let c be y(1). Let z = c - 10. Suppose -5*i + 5 + 6 = 4*t, -z*i + t = -13. Does 2 divide i?
False
Is 5 a factor of (0 - 0) + 21/3?
False
Let z = 652 - 385. Does 27 divide z?
False
Does 21 divide (11/(-6) - -2) + 2275/30?
False
Let h(w) = -7*w + 1. Let u be (-33)/(-9) - (-4)/(-6). Suppose -2*o - 2 = -u*t, o = -o + 4*t - 2. Is 4 a factor of h(o)?
True
Let v be 6/1 - (-1 + 1). Suppose 0 = s + 4*y + 9, 0 = 3*s - v*s - 4*y - 3. Let a(i) = 2*i**2 + i + 4. Is 16 a factor of a(s)?
False
Let n be (-2)/(-5)*5/(-1). Suppose 30 = -2*t + 3*t. Let q = n + t. Is 14 a factor of q?
True
Suppose -2*q + 12 = q. Does 4 divide q?
True
Let d(j) = 6*j**3 + 2*j**2 - 2*j - 1. Is d(2) a multiple of 10?
False
Suppose -p = -3*b - 2*p + 772, -4*p - 510 = -2*b. Let x = -70 + b. Let z = x - 132. Is 19 a factor of z?
False
Let j = 115 - -125. Suppose 0 = -6*i + 4*i + j. Suppose -2*r + 3*a = -r - 30, a = -4*r + i. Does 15 divide r?
True
Let r be 1/3*(1 - -8). Let w be (9/(-6))/((-6)/(-16)). Is 3/(r/w)*-4 a multiple of 8?
True
Let y be 6*-3*2/(-12). Suppose 0 = -y*n - 5*z + 127, 2*n - 180 = -2*n - 4*z. Suppose n = 4*x - 5*i, -x + 2*i - 22 = -2*x. Is 8 a factor of x?
True
Suppose 3*g + g = 8. Suppose a = 18 - g. Let y = 62 - a. Is 19 a factor of y?
False
Suppose 240 = 7*i - 3*i. Suppose 5*s + 5*y + 160 = -0*s, 23 = -s - 4*y. Let b = s + i. Is 12 a factor of b?
False
Does 26 divide -13*2*20/(-5)?
True
Let k(u) = -u**3 - 3*u**2 + 3*u - 5. Does 10 divide k(-5)?
True
Let a(n) = n**3 + 3*n**2 - 2*n + 26. Is 2 a factor of a(0)?
True
Let d(m) = -147*m**2 - 2*m + 9. Let r(h) = -73*h**2 - h + 5. Let o(v) = 6*d(v) - 11*r(v). Let w be o(-1). Let z = 113 + w. Is 14 a factor of z?
False
Let m(l) = 4*l**3 - 3*l**2 - 2*l. Does 13 divide m(3)?
False
Let g(t) = t**3 - 12*t**2 - 13*t + 4. Let a be g(13). Let r be 1/(2/(-2)) + 9. Suppose r*z - 148 = a*z. Is z a multiple of 13?
False
Let h(o) = o**3 + 8*o**2 + 6*o + 3. Is 13 a factor of h(-6)?
True
Suppose 4*b + b = 20. Suppose -7*k = -b*k - 12. Does 4 divide k?
True
Does 4 divide 78/182 + 50/14?
True
Let z(k) be the first derivative of -111*k**4/4 + k**3/3 + k**2/2 + k - 1. Let n be z(-1). Suppose -3*o + 4*m + n = -8, -5*o + 2*m + 186 = 0. Does 13 divide o?
False
Let g = -6 + 10. Suppose -n + 5*n + p - 407 = 0, 4 = -g*p. Is n a multiple of 29?
False
Let h = 4 - 2. Suppose -h*t - t + 21 = 0. Does 2 divide t?
False
Let p = -1 + 19. Is p a multiple of 6?
True
Suppose 2*p + 3 = 1. Let c be 0 - (0/(-1))/p. Suppose c = -2*a + 3*a - 7. Is 3 a factor of a?
False
Let v(w) = w + 14. Let i be v(-11). Suppose i*o - 7 = 2*o. Is 4 a factor of o?
False
Let q = -43 - -80. Suppose -2*p + 125 = q. Does 19 divide p?
False
Is 12 a factor of (1 - 91)*4/(-10)?
True
Let r(m) = -m**3 + 7*m**2 - 5*m + 2. Let p = 2 + 15. Let h = -11 + p. Does 8 divide r(h)?
True
Let f = 2 - 0. Suppose f*g + 0 = 4. Is g a multiple of 2?
True
Let k = 10 - 7. Let j(a) = 4*a - 2*a - 12*a**k - a**2 - 3*a. Is j(-1) a multiple of 6?
True
Let m(q) = -41*q + 1. Let l be m(-3). Let z(w) = -83*w**2 - 1. Let b be z(1). Let v = b + l. Is v a multiple of 15?
False
Suppose -3*d + 5 = -10. Suppose 3*c + d*w - 295 = 0, -4*c - c + 5*w + 425 = 0. Is 30 a factor of c?
True
Let k = -12 - -34. Is 7 a factor of k?
False
Let d = 254 - 88. Is d a multiple of 24?
False
Let u be -9 - -2 - 6/2. Let z = 15 + u. Is 2 a factor of z?
False
Let f be 108/3 + -1 - 2. Suppose -4*x = -3*p - f, 2*x - 11 = x - 2*p. Is x a multiple of 2?
False
Let a = -3 + -11. Let p = -5 - a. Is 6 a factor of p?
False
Let p = 9 - 15. Let u(r) = 0 - 3*r + 2 - 1. Is u(p) a multiple of 19?
True
Suppose 0 = -5*j + 4 + 11. Suppose -a + 1 = 3*s - 10, -5*s - j*a = -25. Does 2 divide s?
True
Suppose 3*l - 12 = 0, 5*n - 7 - 11 = -2*l. Let t be (29 + 1)*(-4)/2. Is 9 a factor of (-2)/(n - t/(-27))?
True
Let b = -45 + 153. Does 14 divide b?
False
Suppose -3*b - 10 = 3*i - 4, -3*i + 4*b + 22 = 0. Suppose 2*v + 5*y + 0*y - 29 = 0, -i*v = -y - 35. Let m = -10 + v. Does 6 divide m?
False
Let o(x) = -x**3 - 4*x**2 + 4*x. Let l(c) = c**3 - 6*c**2 + 4*c. Let h be l(5). Is o(h) even?
False
Let k be (-2)/(8/(-108)) - -3. Suppose -p = -0*p + 4*j - k, -p + 54 = -