 + 204 = 0, 3*t + 4*l = 3*l + 164. Is t a multiple of 12?
False
Suppose -3*i = 3*b - 7*b - 366, -4*i + 519 = 5*b. Suppose 5*f - 2*q + 219 = -218, 0 = -q + 1. Let d = i + f. Is d a multiple of 13?
True
Suppose -2*v + 2*q = -3*q - 76, -48 = -v + 5*q. Is v a multiple of 4?
True
Let i = 181 - 14. Does 34 divide i?
False
Let u(h) be the second derivative of -5*h**3/6 - h**2/2 + h. Let p be u(1). Let n(d) = d**2 + 3*d - 4. Is 12 a factor of n(p)?
False
Is 4/((-3)/11*(-3)/18) a multiple of 10?
False
Let s be (-213)/(-9) - (-3)/9. Suppose s + 71 = 5*j. Does 5 divide j?
False
Suppose -4 - 16 = -2*d. Suppose y + 2 - 7 = 0. Suppose v - d = y. Is 6 a factor of v?
False
Let n(q) = q**3 + 11*q**2 - 13. Is n(-10) a multiple of 11?
False
Let j be 6 - ((-4)/(-2) + -1). Suppose -2*m = -j*m. Suppose 80 = -m*q + 4*q. Is q a multiple of 13?
False
Suppose 0 = -4*m + 3*y - 29 + 123, 4*m = -3*y + 82. Is m a multiple of 13?
False
Suppose 5*u - 4*l - 572 = 0, 0*u = u + l - 118. Does 29 divide u?
True
Suppose -36 = 5*s + 84. Let b = 60 + s. Is b a multiple of 9?
True
Let i(p) = -11*p - 1. Is i(-3) a multiple of 12?
False
Let f = 48 + -24. Is 6 a factor of f?
True
Let v(k) = 18*k**2 - k. Let f be v(1). Suppose -2*a + 13 + f = 0. Let b = a - 2. Does 9 divide b?
False
Let b(k) = k + 10. Suppose v - 5*v = 0. Does 9 divide b(v)?
False
Suppose r - 2*r = k - 4, k - 9 = -2*r. Let b be k/(-2) - (-54)/(-12). Let z(n) = -3*n - 1. Does 11 divide z(b)?
True
Is -4 + (-6)/(-1) + 34 a multiple of 12?
True
Let u = -7 - -7. Suppose x + x - 102 = u. Is 15 a factor of x?
False
Let o be 36*(-3 + (-39)/(-9)). Let c = -20 + o. Let m = 64 - c. Is m a multiple of 14?
False
Let w = -10 + 12. Let b(l) = 5*l**3 - l**2 - l - 1. Does 14 divide b(w)?
False
Let g(a) = a + 1. Let d be (-16)/6*6/(-4). Let r be g(d). Suppose 2*x = 7*x + r*n - 240, -4*x + 2*n = -180. Does 23 divide x?
True
Suppose -5*n = -o + 215, 2*n + 86 = -0*n - 2*o. Let q = n + 66. Is q a multiple of 23?
True
Suppose 20 = c - 12. Does 16 divide c?
True
Suppose -7*k + 6 + 57 = 0. Is k a multiple of 5?
False
Let l(o) = 3*o**2 - o. Suppose f + 3 = -2*f. Let s be l(f). Suppose s*v = -5*z + 100 - 33, 2*v + 3*z = 31. Does 11 divide v?
False
Is 6 a factor of -2*(-1 + 105/(-2))?
False
Suppose 3*i + 53 = 239. Let s = i + -42. Suppose 13 = 2*c - 0*c - 3*o, -2*c = 4*o - s. Is c a multiple of 3?
False
Let p = -1 - -2. Let s(o) = 6*o**3 + o**2 - 1. Let i be s(p). Is i + 4/(6/3) a multiple of 8?
True
Suppose 2*p = -0*p - 12. Let o = p - -12. Let w = -3 + o. Is w even?
False
Let f(l) = l**3 - 8*l**2 + l - 6. Let w be f(8). Let j(t) = 3*t**2 - 4*t + 3. Is 2 a factor of j(w)?
False
Let a = 0 - -2. Suppose 0 = -a*x + 3*x - 7. Suppose 3*v + 18 = 5*k, 2*k = x*k - 4*v - 14. Is k a multiple of 4?
False
Suppose 510 + 156 = 3*p. Let z = p - 107. Suppose 3*x + 2*x = z. Is x a multiple of 19?
False
Suppose -3*x + 0*x + 96 = 0. Suppose 0 = 4*s - 64 - x. Is 8 a factor of s?
True
Let h(v) = -8*v + 2. Let g be h(-2). Is -1 + 1 + g/2 even?
False
Let c(m) = -m**2 - 8*m + 13. Let k be c(-9). Suppose -5*t - y + 131 = 0, k*t + 4*y - 99 - 9 = 0. Is t a multiple of 13?
True
Let v = -86 + 51. Let h = v + 55. Let j = h - 3. Is j a multiple of 8?
False
Does 5 divide (-2 + 20)*-4*4/(-16)?
False
Let m(j) be the first derivative of -3*j**2/2 + 3*j - 7. Let o = 3 + -6. Does 6 divide m(o)?
True
Is -4 + -6*(-14)/6 a multiple of 10?
True
Let k = 17 + -12. Suppose 5*m = -k*t + 4 + 21, -5*t = -10. Suppose 18 - m = 5*r. Does 2 divide r?
False
Let c(u) = 112*u**2 + u - 1. Does 7 divide c(1)?
True
Let q be (-17)/4 - (-15)/(-20). Let r(p) = p**2 - 4*p - 2. Is r(q) a multiple of 18?
False
Let j be (1/1)/((-3)/(-15)). Suppose 5*a = 10, 2*u - 17 = u - j*a. Does 3 divide u?
False
Let i = 4 + 0. Is i/7*21/6 a multiple of 2?
True
Suppose 4*k = 13 - 1. Does 13 divide (-55)/(-3) - 1/k?
False
Let o = 3 + -1. Suppose -o*v = t - 63, -6*t - v + 342 = -t. Suppose t = 2*p + 21. Does 12 divide p?
True
Suppose -2890 = -5*j + 250. Let g = 288 - j. Is 12 a factor of (-4)/14 + g/(-14)?
True
Suppose 5*u = -25, -2*u = -2*q + 2*u + 204. Is q a multiple of 21?
False
Let l = 55 + -49. Is l a multiple of 6?
True
Suppose 5*o - 3*k - k - 48 = 0, 2*o = 4*k + 24. Does 8 divide o?
True
Suppose -4*d + 6*q = q - 118, 4*d = 4*q + 116. Is d a multiple of 9?
True
Suppose 4*p = 16 + 24. Is p a multiple of 5?
True
Let a(j) = -3*j + 8. Is 26 a factor of a(-6)?
True
Let a(b) = -12*b - 3. Let w be a(-2). Let n = -14 + w. Let r(y) = 2*y**2 - 8*y - 8. Is 16 a factor of r(n)?
False
Suppose -c + 12 = 3*c. Suppose -c*m + 188 = m. Is m a multiple of 14?
False
Suppose -20 = -4*y - 4. Is 4 a factor of (y/(-10))/((-2)/40)?
True
Let m = 405 + -263. Is 6 a factor of m?
False
Does 18 divide ((-180)/42)/((-1)/21)?
True
Let m = 5 - 2. Suppose 6 = m*u - 0*u. Suppose i - 82 = -u*s - i, i = 5*s - 175. Is 18 a factor of s?
True
Suppose 7 = 2*i - 27. Suppose -4 = m - 12. Let z = i + m. Is 10 a factor of z?
False
Let n be 4 + -1 - -2*1. Suppose 4*o = 2*b - 63 - 55, 0 = -n*b - 4*o + 309. Is 21 a factor of b?
False
Let u = -267 + 446. Is 30 a factor of u?
False
Suppose z - 24 = 1. Is z a multiple of 5?
True
Let g(w) be the first derivative of w**3 + w**2/2 + w - 1. Suppose 0 = 7*h - 3*h - 8. Does 12 divide g(h)?
False
Suppose 59 = 3*a - 22. Is 7 a factor of a?
False
Suppose 3*u + 1 = 5*p - 3, 2*u = p + 2. Suppose -4*k - b - b + 106 = 0, 0 = 3*k - u*b - 90. Is k a multiple of 15?
False
Let p be (-3)/(-2) + (-6)/4. Suppose 45 = -p*u + u. Suppose -17 - 112 = -5*y + a, -y = -5*a - u. Does 9 divide y?
False
Let j(p) = -p**3 - 10*p**2 - 10*p - 6. Let g be j(-9). Let s be -33*(1 + (-5)/g). Let f = s + -3. Is f a multiple of 19?
True
Suppose k + 4*k = -40. Let r(s) be the first derivative of -s**4/4 - 3*s**3 - 11*s**2/2 - 4*s + 2. Does 11 divide r(k)?
False
Let j(b) = b**3 - b**2 - 4. Let u be j(0). Is 11 a factor of u*2/(-20)*135?
False
Let g be 1*-47 + (4 - 3). Let x be (-2)/(-8) + 375/(-12). Let j = x - g. Is j a multiple of 15?
True
Suppose -3*b - 2*m + 5 = 2, b - 1 = -4*m. Let h = -3 + b. Is 4/h*(-16)/4 a multiple of 3?
False
Let s(l) = l**2 + 3*l + 8. Does 10 divide s(-6)?
False
Does 11 divide ((-1)/1 - -3) + 39?
False
Let j(w) = 12*w. Let a be j(1). Suppose -7*k + 3*k = -a. Is 7 a factor of 14/k*(-5 + 8)?
True
Let b(f) = 3*f + 2 + 1 - f**2 - f**3 + 0 + 2*f. Is 6 a factor of b(-3)?
True
Let g be (-3 + 0)*2/1. Let i = g + 20. Is i a multiple of 14?
True
Let g = 25 - 25. Suppose g*y + 32 = 4*y. Does 4 divide y?
True
Suppose 2*m + 3*m - 895 = 0. Is m a multiple of 31?
False
Let j(b) = b + 3. Let l be 114/30 + 2/10. Is j(l) even?
False
Is 17 a factor of (-3)/(-18) - 4818/(-36)?
False
Let q be 6*2/(-3 - -7). Suppose q*n = 237 + 78. Does 35 divide n?
True
Let s be 1/5 - (-228)/10. Let h = s + -4. Is h a multiple of 13?
False
Suppose 0 = 4*r - i - 49, 4*i + 98 - 34 = 5*r. Let g(m) = m**2 - 11*m + 10. Is g(r) a multiple of 11?
True
Let h(t) = 2*t**2 + 8*t - 2. Is 20 a factor of h(-7)?
True
Suppose -t = t - 10. Suppose 0 = y, 3*s + y + 6 = t*y. Let d = s + 10. Does 8 divide d?
True
Suppose 19 = 4*f + 7. Suppose f*m = -m. Suppose 0 = -3*z - m*z + 27. Is 5 a factor of z?
False
Let s(o) = o**3 - 8*o**2 + 7*o + 2. Let x be s(7). Suppose -5*c - 5*t = -130, -2*t + 0*t - 36 = -x*c. Suppose -c + 2 = -d. Is 10 a factor of d?
True
Suppose -4 = -3*s + 5. Let f(i) = -i**2 + 4*i. Let y be f(s). Suppose 4*n = -3*h + 88 - 21, 2*n - 41 = -y*h. Is n a multiple of 13?
True
Let j = 16 + -1. Let t be -10*(1 + j/(-6)). Let v = 29 - t. Does 11 divide v?
False
Let x(q) = 26*q**2 + 2*q + 1. Is 10 a factor of x(-1)?
False
Suppose -3*l = 9, -3*l - 1 - 4 = 2*b. Suppose z - 19 = x, 5*z = 3*z - b*x + 18. Is -1 - (0 - 0 - z) a multiple of 13?
True
Suppose 3*s = 44 + 16. Suppose -133 = -3*g + s. Does 17 divide g?
True
Let o(b) = 6*b - 4. Suppose -12 = -2*v + 2. Is o(v) a multiple of 20?
False
Suppose 0*n - 2*n = b - 13, 3*n = 9. Suppose 2*y + 16 = 2*p - 3*p, 2*p - y + b = 0. Does 16 divide 168/(-30)*(p + 1)?
False
Let r = 4 - -1. Suppose m - r*k - 25 = 0, 0 = -3*m - 4*k - 16 - 4. Suppose -6 = 4*j - 3*c - 61, m = 4*j + 4*c - 76. Is j a multiple of 16?
True
Suppose -2*c - 2*v + 154 = 0, -116 - 194 = -4*c - 3*v. Does 18 divide c?
False
Suppose -4*m + 166 = 5*d, -5*m + 63 = -d + 3*d. Doe