e (p + -3)/((-1)/(-13)). Suppose -o = -11 - u. Does 12 divide o?
True
Let l be ((-2)/(-5))/(1/10). Suppose l = 2*v - 0. Suppose -44 = -v*u - 0*u. Is 10 a factor of u?
False
Let w = 122 + -38. Suppose 3*x = -2*x + 475. Suppose -5*g + 16 + x = 3*y, w = 3*g - 4*y. Does 15 divide g?
False
Suppose -2 = 5*j + 3. Let w = 1 - j. Suppose -6*t = -5*t + w*m - 39, 0 = -4*t - 4*m + 152. Is 10 a factor of t?
False
Let h(g) = g + 0 + 2 - 4*g. Suppose -4*v + 2*v = 16. Does 13 divide h(v)?
True
Suppose 0 = -3*k + 8 + 16. Is k a multiple of 7?
False
Let d = -2 - -5. Suppose h - d*h + 26 = 0. Is h a multiple of 13?
True
Suppose -y + 0*y + 52 = 0. Let l = y + -35. Does 14 divide (-2 - -1) + l - 2?
True
Suppose -n = -2*o - 113, -o = -2*n + 57 + 163. Suppose 0 = 4*g - 4*k - n - 55, 5*g + k - 193 = 0. Is 13 a factor of g?
True
Let p = 24 + -3. Suppose -4*m = 5 - p. Suppose m*o - 26 = 2. Is 7 a factor of o?
True
Suppose -7*c = -4*c + 63. Let s = c + 81. Does 10 divide s?
True
Let v = -4 + 21. Let p = -12 + v. Suppose 0*a - 60 = -p*a. Does 11 divide a?
False
Let b(l) = 5*l**2 - l. Let v be b(2). Suppose -4*f - 13 = k + f, -2*k = -f - v. Is 7 a factor of k?
True
Suppose -3 + 1 = -2*x. Is (x + 1)/(3/54) a multiple of 18?
True
Suppose -2*z = -2*f - 88, 56 - 3 = z - 4*f. Is 14 a factor of z?
False
Let v = -91 - -126. Is 20 a factor of v?
False
Suppose -5*o - 40 = 5*l, -o - 34 = 4*l + 2*o. Let h = l - -18. Is 2 a factor of h?
True
Let m(q) = 2*q - 12. Does 4 divide m(13)?
False
Suppose -114 = -5*h + 36. Does 7 divide h?
False
Let o(h) be the second derivative of h**5/20 + 2*h**4/3 + 11*h**3/6 + 2*h**2 - 3*h. Let c be o(-7). Is 13 a factor of (-222)/(-8) + 18/c?
False
Suppose 0 = 82*o - 81*o - 209. Does 27 divide o?
False
Let w(p) be the first derivative of 4*p**3/3 - p**2 - 3*p - 3. Suppose -5*g + 6 = -3*g. Does 9 divide w(g)?
True
Suppose 4*w - 2*j - 278 = 0, -4*j - 13 + 1 = 0. Let u = 104 - w. Does 10 divide u?
False
Let k(y) = 4*y + 10. Is k(3) a multiple of 3?
False
Suppose -8 = p - 3*p, -4*r - 5*p + 140 = 0. Is r a multiple of 10?
True
Let g = 75 - 39. Is 18 a factor of g?
True
Suppose 2 + 0 = 2*o. Suppose 3*v = -2*c - o, 3*v - 13 = 2*c + 3*c. Does 3 divide v/(-2) - 9/(-2)?
False
Let r(w) = w**2 + 4*w - 6. Does 6 divide r(-7)?
False
Suppose -c + 7 = -q, 0 = 2*c + q + 2*q - 24. Is (c - 6)*(-10)/(-3) a multiple of 4?
False
Suppose 3*n + w - 19 = 0, -n - 3*w - 2 + 3 = 0. Is 4 a factor of n?
False
Let a(f) = f**2 - 10*f - 9. Let m be a(11). Let r be (-4)/(-14) - (-220)/14. Suppose -m*w - r = -3*w. Is w a multiple of 14?
False
Suppose 3*y - 81 = 3*a, 4*y + 5*a = 83 + 25. Let h = 51 - y. Is 12 a factor of h?
True
Does 19 divide (-9)/6 + (-82)/(-4)?
True
Let g = 1 - 3. Is g/(-7) - (-1107)/21 a multiple of 7?
False
Suppose 0*m + 10 = 5*m. Suppose 0 = m*l - 4 - 2. Suppose -q = -l - 4. Does 3 divide q?
False
Suppose -479 + 1775 = 6*d. Is d a multiple of 25?
False
Suppose 2*x = x + 2. Suppose 4*t - 3*t = x. Suppose -2*y + 26 = 4*n, t*y + 1 - 2 = n. Does 2 divide n?
False
Is 10/(-5) + 82 + 4 a multiple of 12?
True
Suppose -5*n + 3*w - 5*w = -1550, 0 = 5*n - 3*w - 1525. Does 11 divide n?
True
Let n be (1 - 0) + 6*1. Suppose n*s - 6*s - 43 = 0. Let c = -30 + s. Is c a multiple of 5?
False
Let s be 0/(-2) + 1 + -2. Let h = 1 - s. Suppose -h*u + 25 = -111. Is 23 a factor of u?
False
Let q(h) = 7 + 1 - 10*h - 2 - h**2. Let w = -3 - 5. Does 13 divide q(w)?
False
Let n(i) = -4*i - 2. Let g be n(-5). Let r = g + -12. Is r a multiple of 4?
False
Suppose 25 = 5*u, 6 + 4 = 5*i + 3*u. Let b be 11 - (i*2 - -1). Suppose 7*h = 4*h + b. Is h a multiple of 3?
False
Let a be 1 + 1 - (-9)/1. Suppose -5*l - a + 41 = 0. Is 7 a factor of 64/l - (-2)/(-3)?
False
Let i be (18/4)/(2/44). Let h = -63 + i. Is 12 a factor of h?
True
Let c = 3 - 7. Let j(t) = t**3 + 2*t**2 - 2*t - 4. Let r be j(c). Is 7 a factor of 2/4*r/(-2)?
True
Suppose -4*m + 27 = m - 2*z, 3*m + 4*z - 37 = 0. Does 5 divide m?
False
Let p = 72 - 41. Let z be 1/3 + 110/(-6). Let b = z + p. Does 13 divide b?
True
Suppose -5*j + 15*j = 3080. Does 40 divide j?
False
Suppose -3*r + 106 = -r. Is (r + (-2 - -3))/2 a multiple of 9?
True
Let m be 75/27 + 6/27. Suppose -m*a - 21 = -4*d + 3*d, -3*d - 5*a = -49. Is d a multiple of 7?
False
Does 45 divide (0 + -94)*(5 - (3 + 4))?
False
Let j = 241 + -111. Is 26 a factor of j?
True
Suppose 0 = 3*v + q - 17, -2*q + 44 - 15 = 5*v. Suppose -v*k + 10 = 0, -4*k = 2*u - 59 + 7. Does 11 divide u?
True
Let q(c) = 4*c**3 + c**2 - 2. Let z be q(2). Suppose -2*j + z = -58. Suppose 2*y - j = -a, -2*y - 3*y - 4*a = -115. Does 13 divide y?
False
Suppose n = 4 + 25. Is 15 a factor of n?
False
Let m(y) = 9*y - 27. Does 18 divide m(9)?
True
Let h(w) = -w**3 + 15*w**2 - 6*w + 10. Does 54 divide h(13)?
True
Let c = 30 + 82. Is c a multiple of 14?
True
Let h(f) = f**3 - f**2 - 2*f - 8. Is 9 a factor of h(4)?
False
Suppose 28 = -3*x + 4*x. Is 9 a factor of x?
False
Is 13 a factor of (-3 + 4)/((-3)/(-39))?
True
Suppose 0 = x + 107 - 368. Suppose -5*w + 179 + x = 0. Let t = w + -46. Is t a multiple of 13?
False
Let o be (4/16)/((-2)/(-8)). Suppose 0 = 5*u - 254 - o. Does 18 divide u?
False
Let z(h) = -10*h + 5. Is 10 a factor of z(-4)?
False
Let o(m) = 3*m**3 - 3*m**2 - 3*m + 7. Is 13 a factor of o(3)?
True
Suppose 3*v - 28 + 4 = 0. Does 9 divide -2*((-20)/v - 2)?
True
Let p(n) = n + 2. Let o be p(-6). Let f be 2 - (19 + -1 + 2). Does 6 divide (40/12)/(o/f)?
False
Let n(h) = -9*h - 9. Is n(-3) a multiple of 3?
True
Let y(c) = 6*c. Suppose 2*b - s = 12, -b + 4*s = -5*b. Let q be y(b). Suppose 3*m + m = q. Does 3 divide m?
True
Suppose 3*r = -p + 296, -2*p + 184 = 2*r + 2*p. Is 25 a factor of r?
True
Let o be (19/(-2))/((-1)/2). Let n = o - 9. Does 10 divide n?
True
Let x(c) = c. Let v be x(1). Suppose 18 = u - v. Is 13 a factor of u?
False
Does 5 divide 15/(-35) - (-492)/21?
False
Suppose -5*j + 3*c + 0*c + 3 = 0, 0 = -2*j - c + 10. Suppose -j*d = 2*g - d - 140, -g + 74 = 3*d. Does 20 divide g?
False
Let a(r) be the first derivative of -6*r**2 + r - 3. Let k be a(-1). Suppose 15 = 4*t - k. Is 5 a factor of t?
False
Let o(u) = 23*u + 1. Suppose 0 = -3*j + 5*j + 2. Let s be 0 + (-2 - -2) - j. Is 24 a factor of o(s)?
True
Let g(c) = 0 + 5 + 2 - 3*c. Let n be g(-5). Suppose n = 4*r - 2*v - 62, 5*v + 10 = 0. Does 17 divide r?
False
Suppose 31 - 247 = -3*o. Is 7 a factor of o?
False
Is (-7)/((-14)/6) + (210 - 2) a multiple of 12?
False
Let u = -18 - -28. Is u a multiple of 5?
True
Does 28 divide (3 - 100/(-12))*9?
False
Let i(c) = -c + 17. Let o(l) = -2 - 3 + 8 + 3. Let y(t) = -3*i(t) + 8*o(t). Is y(2) a multiple of 2?
False
Let o be ((-2)/3)/(1/9). Let j be (-371)/2 + o/4. Is 7 a factor of j/(-9) + 6/27?
True
Suppose 5*o + 3*h = 23, -1 - 8 = -2*o - h. Suppose 35 = o*l - 5. Does 3 divide l?
False
Let t(j) = j**3 - j**2 - 3*j + 25. Is 22 a factor of t(0)?
False
Let g = -92 + 179. Is 15 a factor of g?
False
Let n(h) = -3*h**3 - 8*h**2 - h - 4. Let t(j) = j**3 + j**3 + 1 + j - j**3. Let d(z) = n(z) + 4*t(z). Is 14 a factor of d(8)?
False
Let d be 2*(3 + 1)/1. Let c(m) = -m + 3. Let t be c(d). Is 468/20 + 2/t a multiple of 22?
False
Suppose 9 = j - 5*n, -51 = -0*j - 4*j + 5*n. Suppose -4*v = -3*v - j. Is v a multiple of 10?
False
Let u(q) = q**3 - 2*q**2 - 2*q - 1. Let k be u(3). Let w be 6 + (k + -3 - 1). Suppose 18 = 4*o - 5*l - 129, -120 = -w*o - 4*l. Is o a multiple of 17?
False
Suppose f + 4*r = 13, -4*f + 3*f - 3*r + 10 = 0. Let l be f + 2 - (0 + 2). Let p = l - -6. Is 7 a factor of p?
True
Let o(t) = t**3 - 3*t**2 - t + 1. Let c be o(6). Let p(w) = w**2 + 6*w - 7. Let j be p(-10). Suppose -5*f = j - c. Does 14 divide f?
True
Suppose 6*b - b - 300 = 0. Is 9 a factor of b?
False
Let f(a) = -2*a - 24. Is 12 a factor of f(-18)?
True
Suppose 5*p - 65 = -3*t + p, -3*t + 4*p = -73. Is 23 a factor of t?
True
Suppose -r = -3*f + 103, -5*f + 5*r + 169 = 2*r. Is 5 a factor of f?
True
Suppose 13*y - 14 = 77. Does 7 divide y?
True
Suppose 2*z + 4*q = -q + 51, -32 = -z + 4*q. Let m = z - 13. Is m a multiple of 15?
True
Suppose -x + 2*x = 1. Suppose -x = d - 35. Does 20 divide d?
False
Suppose -4*r + 40 = -2*n, r + 5*n = 9 + 1. Is r a multiple of 5?
True
Suppose 4*u - 2*s = 2*u + 80, 0 = u - 5*s - 56. Does 9 divide u?
True
Let o = -2 - 1.