s 13 divide s(-2)?
True
Suppose -7*v - 4 = -9*v. Let a = 21 - v. Is a a multiple of 8?
False
Let k be (-1 - -3) + (12 - 15). Does 7 divide (17/1)/(k/(-2))?
False
Is 12 a factor of (-10*(-30)/9)/((-8)/(-24))?
False
Let w be ((-33)/4)/((-12)/32). Does 6 divide w/5*(-15)/(-3)?
False
Let d be (-7)/(-3) + (-2)/6. Let b be (-2)/10*d*-60. Suppose -h = -4*h + b. Is h a multiple of 4?
True
Suppose -5*j - 30 = -0*j. Let c be (-3)/j - 3/(-6). Is 7 a factor of 3/(c - 6/8)?
False
Let n = -63 - -83. Is n a multiple of 20?
True
Let z be 405/3 + 0 + 3. Suppose 2*p = 5*s - z, 6*p - 2*p = -5*s + 144. Is 7 a factor of s?
True
Let f be ((-4)/(-3))/(6/(-9)). Does 3 divide f/(-11) - (-294)/77?
False
Let v(j) = j**3 + 4*j**2 - 5*j. Let c be v(-5). Suppose -r = -c*r - 34. Suppose 2*m + 8 = r. Is m a multiple of 12?
False
Let g = -3 + 26. Does 13 divide g?
False
Suppose -4 - 4 = -4*r. Suppose -2*p - 4*c = -50, -5*p + r*c + 160 - 47 = 0. Is p a multiple of 15?
False
Let y = 56 - -6. Is y a multiple of 4?
False
Is 18 a factor of -2*-14*(-52)/(-16)?
False
Let r = 4 + -4. Suppose r*n = -3*n + 4*i + 29, -i = n - 5. Is 2 a factor of n?
False
Let z(l) = -l**3 + 35. Let y be 4*2/24*0. Is 16 a factor of z(y)?
False
Let x(j) be the first derivative of -j**3/3 - 7*j**2/2 - 7*j + 4. Let h be x(-6). Is (h + 19)*(2 + -1) a multiple of 10?
False
Let l(d) = -2*d**3 - d**2 + 2*d. Let r be l(-2). Suppose -r*b + 6*b = -14. Is 2 a factor of b?
False
Suppose 5*s - 24 = s + 3*f, -2*s = -4*f - 22. Suppose 0 = t + s*t - 12. Is (-245)/(-15) + (-1)/t a multiple of 13?
False
Let u = -19 + 1. Let w = u - -31. Suppose y + 2*f = w, -5*y + 33 = 4*f - 32. Is 9 a factor of y?
False
Suppose i - 38 = 5. Is 24 a factor of i?
False
Is 4 a factor of (-130)/(-11) + 2/11?
True
Let v = -180 - -320. Does 16 divide v?
False
Let b(k) = -k + 3. Let c be b(-17). Let z = -14 + -2. Let a = c - z. Is 18 a factor of a?
True
Let o(v) = -v**3 - 4*v**2 + 7*v + 13. Is o(-5) a multiple of 3?
True
Let z(g) be the first derivative of g**4/4 + 8*g**3/3 + 9*g**2/2 + 3*g + 5. Is z(-6) a multiple of 14?
False
Suppose 5*o + i = 30, -o - 10 = 5*i + 8. Let f = o - -1. Is (-2)/8 - (-130)/f a multiple of 7?
False
Let m(u) = -u + 13. Let w be m(0). Is 1515/39 + 2/w a multiple of 13?
True
Suppose 4*n + 15 = -5*v + 45, 22 = 4*n + v. Let t(a) = 13*a - 4. Does 25 divide t(n)?
False
Let a(x) = x**3 + 7*x**2 - 7*x + 9. Let b be a(-8). Let n be (b + -2)/(1/(-2)). Is 25 a factor of 1/(-1) + n + 49?
True
Suppose 2*z = -3*s + 21, -1 = -2*s + z + 2*z. Suppose 0 = 3*b, 0*k + s*b = -k + 3. Is k/(-3) - (-2 - 16) a multiple of 10?
False
Suppose 2*b + 2*i - 15 + 1 = 0, 4*b - 4*i + 12 = 0. Let z be (2 + -1)*-1*b. Let j(w) = -20*w. Is 20 a factor of j(z)?
True
Suppose -4*n - 44 = 4*q, -4*q + 0*n = -3*n + 30. Let u = -5 - q. Suppose 2*j - j = u. Is j even?
True
Suppose 5*a - 44 = 36. Is 8 a factor of a?
True
Let f(a) = -a**3 - 4*a**2 + 6*a + 6. Let h be f(-4). Does 21 divide 51/(3 + h/8)?
False
Let d = -38 + 71. Is 7 a factor of d?
False
Let z = 7 - 5. Suppose -z*x = 8 - 94. Is 9 a factor of x?
False
Let x be 2 + (-2)/1 + 26. Suppose -3*o = 2*c - 17, 2*c + 4*o = -c + x. Is c a multiple of 3?
False
Let m(p) = 8*p - 4. Let k be m(3). Let f be (-23)/((3 + -4)/2). Suppose -f = -3*w + k. Is 12 a factor of w?
False
Let w = 20 - -20. Is w a multiple of 10?
True
Let y(u) = -57*u + 1. Is y(-1) a multiple of 36?
False
Let d = -62 + -54. Is 14 a factor of (1*d)/(-4) + -3?
False
Let t(q) = 22*q + 5. Let v be t(-4). Let g = 117 + v. Is g a multiple of 17?
True
Let s be 42*-1*(0 + 4). Let k be (s/3)/((-2)/8). Is 10 a factor of k/22 - 6/33?
True
Let h(t) = t**3 - 5*t**2 + 5*t + 2. Let k be h(4). Let m be k/(-4)*(-10)/(-15). Let z(f) = -24*f - 1. Is 12 a factor of z(m)?
False
Let p(c) = c**2 + 4*c + 1. Suppose -i = d + 3, 4*i - 2*d = -i - 50. Does 11 divide p(i)?
True
Suppose -100 = -3*s - 4*i, s - 4*i - 10 - 2 = 0. Suppose 3*v = 0, 4*r - 16 = 4*v + 48. Let k = s - r. Is k a multiple of 12?
True
Suppose 0 = 4*f + 5*h - 5 - 233, -2*f + 126 = -h. Is 10 a factor of f?
False
Let f(v) = -v**2 + 13*v + 3. Let m be f(9). Suppose 0 = -3*c - 5*r + m, 3 = -2*c + 2*r + 13. Does 6 divide c?
False
Let y(v) = -2*v + 21. Does 7 divide y(-9)?
False
Let o be ((-18)/(-15))/((-6)/(-20)). Let g(z) = o*z**2 + 0*z**3 - 3*z**3 - 12*z**2 + 1 + 7*z + 2*z**3. Is 12 a factor of g(-9)?
False
Let k be 4/((-4)/63) - -2. Let t = 101 + k. Suppose 11*m - t = 6*m. Is 5 a factor of m?
False
Let q(y) = y**2 - 7*y - 9. Is q(9) a multiple of 4?
False
Suppose 0 = 4*r - 5*s - 105 + 18, -3*r + 51 = s. Is 3 a factor of r?
True
Let n(c) be the second derivative of 7*c**3/6 + 2*c. Let o be n(1). Let h(s) = -s**2 + 8*s + 8. Is 15 a factor of h(o)?
True
Is (-16 - 2)/(3/(-10)) a multiple of 10?
True
Let k(z) = z**3 - 12*z**2 - 19*z - 12. Let c be k(14). Suppose 2*j = -2*g + 26 + c, 55 = g + 4*j. Is 4 a factor of (-3)/2 + g/6?
False
Suppose 3*a = 2*c - 4 - 0, 5*a - 2*c = 0. Let j(v) = 2 - 4 + 0 + 4*v. Is 3 a factor of j(a)?
True
Does 6 divide (-2)/9 - 5850/(-81)?
True
Let c(d) = -50*d - 1. Let o be c(-1). Suppose 12*m - 21 = 5*m. Suppose m*j - o = 56. Does 9 divide j?
False
Is (-1*(-2)/4)/((-12)/(-1800)) a multiple of 5?
True
Suppose -5*m - 2*t = -116, m = -4*m - 4*t + 122. Suppose 3*d - 35 = m. Let s = d + 3. Does 11 divide s?
True
Let r be (-42)/(-10) + (-1)/5. Suppose 3*m - 12 = -v, 8*v - 4*v = r*m. Is v even?
False
Does 9 divide 163/2 - (-3)/6?
False
Let t = 288 + 28. Is t a multiple of 26?
False
Suppose 245 = 3*g - 70. Is g a multiple of 21?
True
Let s be 2/(1 - 9/6). Let k be (-2)/8 - 1225/s. Suppose 0 = -5*n - 11 + k. Does 15 divide n?
False
Suppose -6*d = -d - 695. Suppose -5*h = -36 - d. Does 10 divide h?
False
Suppose 73*h = 75*h - 102. Does 23 divide h?
False
Let j = -30 - -51. Is 8 a factor of j?
False
Let f be (1 + -4)*1 - -22. Let j(t) = 2*t**2 - 3*t + 1. Let p be j(2). Suppose -4*z + f = -p*z. Is z a multiple of 19?
True
Let l(b) = -b + 10. Let r be l(0). Suppose -5*o + 35 = 2*q, -3*q + 45 = 5*o - r. Suppose 0 = 4*a - v - q, 0 = -3*a + 6*v - 2*v + 2. Does 6 divide a?
True
Suppose 64 = -0*d + 4*d. Suppose -4*i + 4*k - 62 + 2 = 0, 5*k = i + 35. Let y = i + d. Is 3 a factor of y?
True
Let h be (-6)/(1 - -1)*-3. Does 16 divide ((1 - -1) + h)*3?
False
Let j(r) = -r - 3. Let s(n) = -6*n**3 - n. Let z be s(1). Let y be j(z). Suppose y*w = 242 - 18. Is w a multiple of 28?
True
Let h(j) = -6*j - 8. Is 12 a factor of h(-5)?
False
Does 33 divide (0 - 132/(-9))*72/16?
True
Let w(b) = -b**3 - 2*b**2 + 2*b. Let x = -18 + 14. Is 10 a factor of w(x)?
False
Suppose -w + 2 = -5*c, -3*c - 4 = -2*w - 0*w. Suppose c = -5*h - 19 + 214. Is (h/4)/(4/16) a multiple of 12?
False
Suppose f = -4*a + 20, -2*a + 67 + 105 = 5*f. Does 8 divide f?
False
Let s(d) = -d**3 + 7*d**2 - 3. Let r be s(3). Let l(g) = 13*g + 3. Let n be l(3). Suppose n + r = 3*v. Does 12 divide v?
False
Let i(l) = l**3 + 6*l**2 - l - 3. Let z be i(-6). Suppose -16 = -4*w + 2*o + 16, -w - 2*o = -z. Does 7 divide w?
True
Let b(n) be the third derivative of n**6/24 + n**4/24 + 2*n**2. Let z = -26 + 28. Is b(z) a multiple of 21?
True
Let c = 18 - 11. Let n(l) be the second derivative of -l**5/20 + 2*l**4/3 - l**3/3 - l**2 + l. Is n(c) a multiple of 12?
False
Suppose -6 = 2*z + 6*i - 2*i, 4*z - 3*i + 1 = 0. Suppose 4*d = -0*d - 12. Does 2 divide z - -3 - d/3?
False
Does 9 divide (-24)/(-16) - (-123)/2?
True
Suppose 4*l = l + t + 13, 4*t = l + 14. Suppose -3*i + 38 = -4*v, 11 = i + 3*v - l. Is i a multiple of 7?
True
Let c(v) = -3*v + 1. Let k(g) = -g**2 - g. Let x be k(-2). Let n be c(x). Suppose 3*j = n*j - 72. Is j a multiple of 6?
True
Let p = -102 - -178. Does 19 divide p?
True
Let t = 2 + 0. Suppose t*j - 4 = -0*j. Is 7 a factor of 0 - j - (-17 - -4)?
False
Suppose -2*a + 2*q = -38, 5*a + 0*q - 60 = -2*q. Is a a multiple of 14?
True
Let v = 36 - 9. Does 27 divide v?
True
Let x be 52/10 + 2/(-10). Suppose -3*p = x*v - 825, 2*p + 0*p = -v + 158. Suppose 4*z = 7*z - v. Is z a multiple of 19?
False
Let a = 21 + 96. Is 39 a factor of a?
True
Suppose 0 = 4*z - z. Suppose 2*c - 6*c + 44 = z. Is 9 a factor of c?
False
Let w = -34 + 59. Does 6 divide w?
False
Let u(l) = 4*l**2 - 2*l + 1. Suppose -4*y + y = -9. Suppose -1 = y*f + 8. Is u(f) a multiple of 20?
Fals