multiple of 4?
True
Let m = 128 - 74. Does 18 divide m?
True
Let k(u) = -2*u - 12. Is 3 a factor of k(-9)?
True
Let u be 0 - 12/(-2 - -5). Is u + 0 + 95 - 3 a multiple of 22?
True
Let u(q) be the second derivative of q**7/420 + q**6/360 + q**5/60 + q**4/4 + 3*q. Let w(s) be the third derivative of u(s). Is 11 a factor of w(-2)?
True
Let v = -43 + 66. Suppose 3*k - k = -d + 15, -v = -d - 4*k. Is d a multiple of 3?
False
Suppose 3*m - 4*m = 5*y - 84, 0 = -5*y + m + 86. Let z = y - 9. Is z even?
True
Suppose r = -233 + 381. Does 14 divide r?
False
Let c(a) = -8 + 8 + a - 3*a**3. Let h be c(-1). Let q(m) = m**3 + m**2 - m + 2. Is 12 a factor of q(h)?
True
Let g(f) be the first derivative of -f**4/4 + f**3 + f**2/2 - f + 1. Is g(2) a multiple of 2?
False
Let p(t) = -12 - 4*t - 3*t**2 + 5*t**2 - 2*t. Let h be p(-8). Is 6 a factor of h/14 + 4/14?
True
Let f = -60 - -204. Let d be ((-12)/(-9))/(2/9). Is ((-2)/d)/((-8)/f) even?
True
Suppose -19*v + 14*v + 315 = 0. Does 12 divide v?
False
Suppose 5*o = -n - 18 + 58, 0 = o + n - 8. Suppose 5*m = 188 - o. Is 11 a factor of m?
False
Let y(w) = 33*w - 1. Let v be y(-1). Let r = -24 - v. Is r a multiple of 5?
True
Let a(m) = -6*m**2 - 44*m - 80. Let v(j) = -j**2 - 9*j - 16. Let i(w) = 2*a(w) - 11*v(w). Does 4 divide i(12)?
True
Suppose -2*p + 6 = 2. Is 7 a factor of 18 + (p + -3 - -1)?
False
Let v be (-28)/(0 - 4/10). Suppose 5*o + 2*f - 310 = -3*f, -o = 3*f - v. Let y = o + -26. Is 16 a factor of y?
True
Let t be 5*(36/15)/2. Let c be 2/t + 17/3. Does 3 divide c*3/(27/6)?
False
Let p(k) = -4*k**2 + 12*k - 6. Let a(w) = 9*w**2 - 25*w + 12. Let g(j) = -2*a(j) - 5*p(j). Let u be g(6). Is (-3)/(-2)*(u + -2) a multiple of 24?
True
Let a(f) be the first derivative of 14*f**3/3 - f**2 + f - 1. Suppose -5*o = -2*v - 3, 2*v + 2 = -o + 5*o. Is a(v) a multiple of 13?
True
Is 9 a factor of (-4)/((-16)/(-12)) + 36?
False
Suppose -4*q + 3*q = 0. Suppose q = -0*o + o - 12. Is 11 a factor of o?
False
Let d(k) = k**2 - 5*k + 3. Let y be 10/15 + (-31)/(-3). Is d(y) a multiple of 23?
True
Let h be 3/(-4) + 405/(-4). Does 15 divide (-16)/12*h/4?
False
Suppose -g - 10 = -2*g. Does 4 divide g?
False
Suppose 4*s = 70 + 66. Suppose 14 = 3*p - s. Suppose -q + p = 3*q. Is 2 a factor of q?
True
Suppose -2*v = 2*c - 10, c = 2*v - c - 2. Suppose -r - 5*t - 22 = 0, -v*r + 4*t + 25 = -4. Suppose -r*d + 6 = -y + 1, -5*y + 43 = 2*d. Is 4 a factor of y?
False
Suppose 4*v + 5*h - 3 = 2, 2*h = -2*v + 2. Suppose -y = -v*y - 6. Does 6 divide y?
True
Let l(u) = -5*u - u**2 + 130 + 4*u + 0*u**2. Let i be l(0). Does 8 divide (-2)/8 - i/(-8)?
True
Does 13 divide 117*(21/9 + -2)?
True
Let b be 2/6 - (-10)/6. Let f be 3 + (2 - 4/b). Suppose -43 = -f*u + 8. Is 17 a factor of u?
True
Let h = -11 + 39. Does 14 divide h?
True
Suppose 4*v - 49 - 7 = 0. Is 14 a factor of v?
True
Suppose 0 = -5*p - d + 12, -2*p - d = p - 6. Suppose 4*l - 21 = 3*w, -4*l = 3*w - 4*w - 15. Is 2 a factor of (3 + 2)*p/l?
False
Let y(q) = q**3 - 5*q**2 - 7*q + 9. Let j be y(6). Let g be ((-12)/10)/(j/(-20)). Does 7 divide 2/8 - (-70)/g?
False
Let y(c) = -c + 48. Is y(0) a multiple of 24?
True
Let d(a) = 2*a - 9. Is 3 a factor of d(7)?
False
Let o(b) = b**2 + 15*b - 5. Let z be o(-8). Let g = z + -22. Let k = -48 - g. Is k a multiple of 17?
False
Let o = -10 + 14. Let y = 10 + -7. Suppose o = w, y*j - 64 = j - 3*w. Does 12 divide j?
False
Let w be (0 - -2)*22/(-4). Let p(o) = -o**3 - 9*o**2 + 3*o - 13. Let x be p(w). Suppose 5*t + 5*n - 210 = 0, 5*t - 5*n - x = -3*n. Is 21 a factor of t?
False
Let q = 10 + -8. Suppose q*j - j + 11 = -5*u, 0 = -5*u - 15. Is j a multiple of 4?
True
Let f be (1380/18)/(4/6). Suppose f = -5*d + 330. Is d a multiple of 19?
False
Let a(y) = 2*y + 1. Let x be a(3). Suppose -5*w + x = -8. Suppose c + 4*t - 48 = -3*c, -36 = -3*c + w*t. Is 6 a factor of c?
True
Let r(c) = c**3 + 3*c**2 - 5*c. Let x be r(-4). Suppose -x*f - 21 + 101 = 0. Is f a multiple of 4?
True
Let v = 7 + -4. Let u(r) = -5*r**3 - r - 2*r**v - 6*r**2 + 1 + 6*r**3. Does 2 divide u(-6)?
False
Let a(y) = 175*y**2 + y. Let w be a(1). Let p be -1 + 2 + 3 - 1. Suppose -p*z = z - w. Is 22 a factor of z?
True
Let g(m) be the third derivative of -m**6/120 + 5*m**3/6 - m**2. Let s = -44 - -44. Is g(s) a multiple of 5?
True
Let a be 25 + 3/(-1) + 1. Suppose -j + 3*j - 3*c = 38, 0 = -3*j - 4*c + a. Suppose 0 = -2*r + 33 - j. Is 7 a factor of r?
False
Let j be 24/(-20)*(-1 - -6). Let s = 11 + j. Suppose -19 - 16 = -s*g. Is g a multiple of 7?
True
Suppose 0 = o + 3*y - 6, -2*o = 3*y + 1 - 7. Suppose -p = -o*p - 10. Is p a multiple of 5?
True
Let i(b) = -2*b - 4. Let z be i(-3). Does 14 divide (-2272)/(-40) - z/(-10)?
False
Let g(v) = -3*v**3 - 3*v + 4 + 2*v + 3 + 4*v**3. Is g(0) a multiple of 4?
False
Suppose -5*z = 4*f + 30, -2*z + f - 5*f = 0. Does 15 divide (5 + 1)/((-4)/z)?
True
Let y(x) = 6*x - 3. Is y(5) a multiple of 5?
False
Let m(c) = 2*c**3 + 6*c**2 + 3*c + 7. Let y be m(-4). Let t = 61 + y. Does 7 divide t?
False
Suppose 12 = -3*j, -4*j = -3*x + 173 + 119. Is x a multiple of 23?
True
Suppose -3*j = -4 + 1. Let x be (-2)/4 - (-2)/4. Is (-1 + 24)*(j - x) a multiple of 9?
False
Suppose 2*t + 10 = -o, 0 = 3*t - 5*o + 15 + 13. Let u = t + 8. Does 16 divide 15 + (1 + 1)/u?
True
Let m = -3 + 1. Let r be -9 + -1 + 4/m. Does 3 divide 13/3 + (-8)/r?
False
Let j(p) = p**3 + 13*p + 5*p**2 - 5*p - 2*p**3. Is 4 a factor of j(6)?
True
Suppose 0 = 4*q - 9 - 7. Suppose -q*h + 3*h = 3. Is 5 a factor of (4/h)/(4/(-30))?
True
Let s = -15 - -32. Is s a multiple of 6?
False
Suppose 6*y - 2*y - 32 = -5*q, -4*y + 3*q = -64. Is 13 a factor of y?
True
Let j be 1*23/1 + 2. Let r = j - -33. Is r a multiple of 23?
False
Let d(q) = q**3 + 10*q**2 - 10*q - 15. Is 13 a factor of d(-10)?
False
Let k(c) = -2*c**2 - 5*c + 4. Let u be k(-4). Does 4 divide (-13)/(-3) + u/(-12)?
False
Let h = -27 - -58. Let n be 4/10 + (-37)/5. Let g = h + n. Is 12 a factor of g?
True
Let a be (-5)/20 + (-9)/(-4). Let w = a - -8. Does 5 divide w?
True
Let f(z) = z**3 - 5*z**2 + 5*z - 4. Let s be f(3). Let i(k) = k + 16. Is 9 a factor of i(s)?
True
Let v(g) = 3*g**2 - 3 + g**3 - 9*g**2 - 2*g**3 - 4*g - 4*g. Does 15 divide v(-6)?
True
Is 15 a factor of (2 + 0)/(16/240)?
True
Let a(n) = -3*n - 1. Let h = 3 + -3. Suppose h = -3*w - w - 24. Does 17 divide a(w)?
True
Suppose -4*x - 5*z + 815 = -0*x, 2*x - 3*z = 391. Is 25 a factor of x?
True
Let l = 847 - 1761. Let q = 641 + l. Is 12 a factor of q/(-9) - 4/(-6)?
False
Suppose 2*s - 2*r + 5 = -7*r, -4*s - 3 = 3*r. Let k = 6 - 1. Suppose s = 3*o - 28 - k. Does 11 divide o?
True
Let f(k) = 6*k**3 + 9*k**2 - 29*k - 13. Let t(q) = 2*q**3 + 3*q**2 - 10*q - 4. Let u(p) = -3*f(p) + 8*t(p). Is 10 a factor of u(-4)?
False
Suppose -4*j - 7*j = -1639. Is 26 a factor of j?
False
Let r be 2/(-6) + (-21)/(-9). Suppose -z = z + r. Is (z*17)/(1 - 2) a multiple of 9?
False
Suppose 2*n - 6*n = 0. Suppose n = -3*r - 2*r - 10. Does 9 divide 352/14 - r/(-14)?
False
Let i = 19 + 23. Is 25 a factor of i?
False
Let c(q) = q**3 + 11*q**2 - 13*q + 55. Is c(-12) a multiple of 13?
False
Let a(l) = l**3 + 2*l**2 + 44. Does 10 divide a(0)?
False
Let r = -39 - 8. Let o = r + 69. Is o a multiple of 13?
False
Suppose 2*r - l + 0*l - 15 = 0, -5*r = -5*l - 45. Is r a multiple of 3?
True
Let j = 155 + -100. Suppose -o + 23 = -j. Does 26 divide o?
True
Suppose 2*u = 5 + 3. Suppose u*z = -5*c + 304, 4*c - 172 + 14 = -2*z. Is 20 a factor of z?
False
Let z = -10 - -39. Is 7 a factor of z?
False
Does 7 divide (-35 - -7)/(3/(-3))?
True
Let v = 9 - 5. Let m = v + -2. Suppose m*f = -f + 87. Is f a multiple of 13?
False
Suppose 2*g - 23 = -3*x + 9, -3*g + 48 = -2*x. Is 8 a factor of g?
True
Let m be (3/(-6) - 0)*-36. Suppose 0 = j - 3. Suppose -w = 1, 4*w - 8 = -j*r + m. Is 5 a factor of r?
True
Let u = 129 - 61. Is 17 a factor of u?
True
Suppose -3*o - 5*s = -s - 399, 0 = -4*o - 2*s + 522. Suppose -7*p + o = -4*p. Is 17 a factor of p?
False
Suppose 4*g + 4*l - 4 = -80, 4*l = g + 4. Let b be ((-2)/(-4))/((-4)/g). Does 5 divide 564/44 - b/(-11)?
False
Suppose -2*q - 14 = 2*z + 3*z, 0 = 5*q - z + 8. Let l(h) = -5*h**3 - 2*h**2 + 2. Is l(q) a multiple of 15?
False
Let o(l) be the first derivative of 2*l**3/3 - 11*l**2/2 - 6*l + 2. Is 13 a facto