+ 6. Does 11 divide j(w)?
False
Does 22 divide (44/10)/((-12)/(-120))?
True
Suppose -19*y = -15*y - 236. Does 9 divide y?
False
Let c(q) = -q**3 - 2*q**2 + 9*q + 15. Does 9 divide c(-5)?
True
Suppose 0 = -5*w + 43 + 42. Is w even?
False
Let k be 472/16 - (-2)/4. Suppose -2*u = -2*d - k, -2*d + 0*d - 69 = -5*u. Is u a multiple of 3?
False
Suppose 6 = -2*y - 0*y. Let u = -17 - y. Let x = u - -29. Does 15 divide x?
True
Let p = 1 - -3. Let o be (-3 - -4)/(1/p). Suppose o*u - 3*m = m + 28, -13 = -u - 2*m. Does 3 divide u?
True
Let l(f) = 4*f - 3. Let t be l(7). Let m be ((-90)/t)/((-2)/10). Let z = 30 - m. Is 5 a factor of z?
False
Suppose -12*d - d + 1768 = 0. Is d a multiple of 17?
True
Suppose 0 = 17*y - 21*y + 112. Is 7 a factor of y?
True
Let z(h) = -h + 4. Let g(w) = -w**2 - 3*w - 2. Let c be g(-4). Is z(c) a multiple of 3?
False
Let t be 1 + 1 + (-4)/2. Suppose -4*x + t*h = 2*h - 60, -5*x = -2*h - 84. Is 8 a factor of x?
True
Let s be -1 + (21 - 1) + -2. Suppose 0 = -0*y + 4*y - 16, d - 5*y + s = 0. Suppose -d*i + 2*x + 94 = -2*x, 28 = i - 3*x. Does 17 divide i?
True
Suppose 47 - 287 = -o. Is o a multiple of 26?
False
Let m be (-3)/(3/2) - -2. Let y = m - -3. Suppose -15 = -j - 2*j - f, -y*j - 5*f + 15 = 0. Does 2 divide j?
False
Let k = 278 - 176. Let n = k - 17. Suppose 5*j - n = -20. Does 11 divide j?
False
Suppose z - 1 = -3. Let n(m) = -3*m**3 + m**2 - m + 2. Is 13 a factor of n(z)?
False
Let r(z) be the third derivative of -z**7/840 - z**6/72 - z**5/24 + z**4/8 + z**3/2 + z**2. Let t(o) be the first derivative of r(o). Is 3 a factor of t(-4)?
False
Suppose 0 = v - 75 + 17. Does 37 divide v?
False
Does 5 divide (-20)/(-16)*4*5?
True
Let t(l) = l + 15. Let g be t(-11). Suppose g*z - 30 = -2. Is z a multiple of 3?
False
Let m(w) = -23*w**3 - w**2 - w - 1. Let i = 0 + 2. Suppose i*p - 3*p = 1. Does 11 divide m(p)?
True
Let j = 95 + -51. Suppose 0 = 4*q - 0 - j. Is 11 a factor of q?
True
Let k be (-1)/(3/2328*-2). Suppose 3*q = -q + k. Suppose 5*u - f = f + q, 4*u - 4*f - 80 = 0. Is 19 a factor of u?
True
Suppose -j + 10 = 4*j. Suppose 0 = o, -j*x = -2*o - 3*o - 8. Does 2 divide x?
True
Let z = 72 + 18. Let n = z - 51. Is 13 a factor of n?
True
Let b(q) be the second derivative of -q**6/180 - q**5/60 + q**4/3 + 3*q. Let l(t) be the third derivative of b(t). Does 19 divide l(-10)?
True
Suppose i + a - 242 = 0, -8 = -0*a + 4*a. Is i a multiple of 61?
True
Let j(m) = -m**2 + 14*m + 4. Let x = -18 + 30. Is j(x) a multiple of 14?
True
Suppose 4*j = 2*i - 30, -3*i - i + 49 = 3*j. Is i a multiple of 8?
False
Let s = 52 - 11. Is 21 a factor of s?
False
Let n = 372 - 141. Is 21 a factor of n?
True
Let v(h) = -h**2 + h**2 + 3*h**2 - 4 - h**2 - 5*h. Suppose t = -2*l - 2, 7*t - 8 = 3*t - 4*l. Is v(t) a multiple of 13?
False
Let v(k) = -1 - 3*k + k - 3 + 2. Let o = -22 - -16. Is 6 a factor of v(o)?
False
Let h(w) be the third derivative of w**5/15 + w**4/12 - 3*w**2. Is h(2) a multiple of 10?
True
Let f(w) = 4*w**2 + w - 2. Is f(-3) a multiple of 4?
False
Let d(c) = -4*c**2 + 2*c - 3*c + 3*c + c**3 - 6*c - 3. Let s be d(5). Suppose 2*j + 0*p + s*p = 42, 3*p - 115 = -5*j. Does 9 divide j?
False
Suppose 124 = 3*v - 5*f, 3*v - 33 - 41 = -5*f. Is 9 a factor of v?
False
Suppose 4*n + 456 = 6*n. Is 57 a factor of n?
True
Suppose 0 = 114*f - 110*f - 340. Is 17 a factor of f?
True
Let q = -16 - -89. Is q a multiple of 19?
False
Let k = 70 - 29. Let h = k - -5. Is h a multiple of 11?
False
Is (24/10)/((-18)/(-120)) a multiple of 8?
True
Is 89/7 + 2/7 a multiple of 5?
False
Let v(u) = -15*u + 2. Let g = 5 + -3. Let s be v(g). Let c = s + 41. Is 9 a factor of c?
False
Let r(b) = 2*b**2 - 9*b + 5. Does 4 divide r(5)?
False
Is (6/(-10))/(1/(-15)) a multiple of 2?
False
Let r be (16/6)/((-7)/(-21)). Let i(c) = 3*c - 10. Let l be i(r). Is (-33)/(-7) + 4/l a multiple of 2?
False
Suppose 14 = 5*l + 4. Is 7 a factor of (0 - l) + (-9 - -32)?
True
Let d(l) = 7 - 3*l**2 + 4*l**2 + 2*l + l. Is d(5) a multiple of 14?
False
Let s(q) be the second derivative of q**5/10 - q**4/4 + q**3/2 + q**2 + q. Let k = 8 - 5. Is s(k) a multiple of 22?
False
Let l(h) = -h**2 + 13*h + 38. Is l(12) a multiple of 10?
True
Suppose -6*r = -r. Let t be (7 - 3) + r + 1. Suppose -d + 16 = 3*d, 4*d - 6 = t*z. Is z a multiple of 2?
True
Let d = 68 + 10. Suppose d = 4*u + 26. Does 13 divide u?
True
Let o(z) = -z**3 + 3*z**2 + 4*z. Let r be o(4). Let f = 6 + r. Is f even?
True
Suppose 3 = 3*m - 0. Is m/3 - 47/(-3) a multiple of 16?
True
Let j(f) = -17*f + 2. Let p be 5 + -9 - 0/2. Let o be j(p). Suppose y - o = -y. Is 18 a factor of y?
False
Let d(l) = l + 1. Let p be d(3). Let q(j) = 22*j - 1. Does 29 divide q(p)?
True
Let o be (-2 - -4) + -42 + 1. Let v be -1*((-1 - o) + -1). Let q = -22 - v. Is 9 a factor of q?
False
Suppose -11*a = -16*a + 40. Does 4 divide a?
True
Let y(d) be the first derivative of -5*d**4 - d**3/3 - 5. Does 6 divide y(-1)?
False
Let m(y) = -2*y + 8. Is 5 a factor of m(-2)?
False
Let n be 52/3 + (-2)/(-3). Let w be n/(-2 - (-21)/6). Suppose q + 2*q + u - w = 0, -q = 3*u - 12. Is q even?
False
Let h(n) = 12*n**3 - 5*n**2 - n + 5. Let x(j) = j**3 - j**2 + 1. Let o(r) = 2*h(r) - 10*x(r). Let u be o(-2). Let c = -62 - u. Is c a multiple of 18?
False
Suppose 0 = -l - 5*u + 196, 0 = 2*l - 0*l + u - 356. Is l a multiple of 24?
False
Suppose 0 = -g + 47 + 294. Suppose -3 + 5 = 2*w, 5*t + w - g = 0. Does 14 divide t?
False
Let f be (-1)/(-3)*3 + 8. Let s(q) = f*q + q**2 - 2*q - 2*q + 2*q. Is s(-8) a multiple of 4?
True
Let g(j) be the first derivative of j**4/3 - 2*j**3/3 + j**2 + j + 2. Let i(f) be the first derivative of g(f). Is i(3) a multiple of 9?
False
Let f(i) = -3*i. Does 9 divide f(-18)?
True
Let a(k) = 21*k**2 + 9*k + 29. Is a(-4) a multiple of 12?
False
Let a be (-3)/(-2)*(1 - -3). Suppose -i - 2*q = -31, 0 = 4*i + 3*q - a*q - 135. Is i a multiple of 11?
True
Let f(u) = -u**2 + 4*u + 5. Suppose 4*r = -0*r + 16. Let d be f(r). Suppose 2*w - 35 = -z, 3*z - d*w - 60 = 34. Is z a multiple of 14?
False
Let n(m) = 10*m + 1. Let z be n(2). Suppose 3 = 2*u - z. Suppose u = 6*d - 2*d. Is 3 a factor of d?
True
Suppose 0 = -4*v - v + 1280. Does 32 divide v?
True
Is 10 a factor of 6410/40 - 2/8?
True
Is 52 a factor of (-76)/(-57) - 1/(3/(-857))?
False
Let i = 32 + -30. Does 2 divide i?
True
Let l = -28 + 110. Does 26 divide l?
False
Suppose -l = -7*l + 360. Is 10 a factor of l?
True
Suppose 2*x = 94 - 10. Is 14 a factor of x?
True
Let u(v) be the third derivative of 1/12*v**4 + 0*v + 1/30*v**5 - 1/6*v**3 - 2*v**2 + 0. Does 4 divide u(2)?
False
Let c(d) be the second derivative of d**4/12 - 7*d**3/3 - 3*d**2/2 - 6*d. Is 4 a factor of c(15)?
True
Let g(f) = 68*f - 14. Is 19 a factor of g(3)?
True
Suppose b - 1 = 0, 10 = 3*m + 2*b - 4*b. Suppose -4*w + 64 = -5*y + y, 48 = -m*y - 4*w. Is 18/7*y/(-3) a multiple of 12?
True
Let s be 5*-1*4/(-10). Suppose s*q - 9 + 3 = 0. Suppose 2*r - 13 - 1 = 4*d, 5*r - 42 = q*d. Is r a multiple of 7?
False
Let o(s) = -s**2 - 22*s - 4. Is 6 a factor of o(-20)?
True
Let p be (-15)/(-3)*4/5. Suppose -p*z + 147 = 5*s, 0 = s + 3*z - z - 33. Is 9 a factor of s?
True
Let d = 39 - -51. Is 30 a factor of d?
True
Does 10 divide 136/2 + -21 + 19?
False
Suppose 30 = -c + 2*p, -c + 4*c - 2*p = -74. Let v = c + 30. Is 2 a factor of v?
True
Is 13 a factor of (-1)/2 - (-506)/4?
False
Does 2 divide 25/5 - -2*2?
False
Suppose 2*c = c + 3. Let x = 28 - c. Is x a multiple of 21?
False
Let x = -50 + 100. Let u be 5/(x/(-4))*-5. Is 16 a factor of (u + 0 - 1)*16?
True
Let g be 1/(-2 + (-111)/(-54)). Let l = -11 + g. Does 7 divide l?
True
Let j be 4*6*9/12. Let a(d) = d**2 - 8*d - 2. Let g be a(11). Let m = g - j. Is 5 a factor of m?
False
Let v(r) = 23*r - 2. Let f be v(4). Suppose x + 4*o = 16, -2*x + 2*o + 2*o = 16. Suppose x*m - f = -3*m. Does 15 divide m?
True
Let v(r) = 5 - 3 - r**2 + 1 + 6*r. Let n be v(6). Is 8 a factor of 12/(-5)*(-20)/n?
True
Suppose -4*u - 3 - 33 = 0. Does 11 divide 120/u*9/(-6)?
False
Let h(a) = a**3 + 8*a**2 - 4*a - 9. Is 27 a factor of h(-5)?
False
Let t(o) = 14*o**2 + o - 3. Is t(2) a multiple of 11?
True
Let o(i) = -1 + 2 - 4*i + 3*i. Let n be o(-3). Suppose -1 - n = -t. Does 5 divide t?
True
Suppose -27 = -q + 17. Suppose 0*y + 4*y = q. Is y a 