 + -1)/(2*5/(-40))?
True
Suppose 0*g = g, -4*i = g - 360. Does 15 divide i?
True
Suppose 3*f - 231 = -3*a, 5*f - 2*a - 659 = -246. Let l = f - 14. Suppose -n + 4*d = -6*n + l, 2*n = -4*d + 34. Does 11 divide n?
True
Suppose 4*q - 1224 + 236 = 0. Is q a multiple of 11?
False
Suppose -3*s = 10 + 5. Let r(z) = -z**3 - 5*z**2 + z + 7. Let u be r(s). Is (u/(-6))/(4/(-24)) a multiple of 2?
True
Suppose -2 = -0*r - r. Suppose 95 = 4*w + h + 2*h, w = -r*h + 20. Is 13 a factor of w?
True
Suppose 2*m = 24 - 6. Is 2 a factor of m?
False
Suppose -5*k = -0*k - 5*x + 5, 5*x - 17 = 2*k. Suppose t = 0, -21 = -3*m - 0*m - k*t. Is 7 a factor of m?
True
Suppose -4 = -4*n + 4. Suppose -5*i = -3*d - 22, i - 5*d + 10 = n*i. Is i a multiple of 4?
False
Suppose 2*v = 5*n + 18, 0 = -2*v + n + 3*n + 14. Let l(x) = 48*x**2. Is 18 a factor of l(v)?
False
Let z be (-14)/(-4) + (-1)/2. Suppose 24 = z*r - 2*r. Is 7 a factor of r?
False
Suppose -2*o = 3*o + 15. Let n be o + 4/6*-21. Let k = n - -63. Is 18 a factor of k?
False
Let p be (44/55)/((-1)/10). Let u(b) = b**2 - b - 8. Is 16 a factor of u(p)?
True
Let n be (-160)/30*54/(-8). Suppose -6*b + b = 2*g - n, -4*g + 72 = -4*b. Is g a multiple of 9?
True
Let r(n) = 5*n**2 - n - 1. Let i be 5 + -7 - (1 - 2). Let q be r(i). Suppose 0*f - 285 = -q*f. Is f a multiple of 19?
True
Suppose -5*z - 2*h = -101, -4 = -z - 2*h + 13. Does 6 divide z?
False
Let o = 7 + -5. Let z be (o + -1)*(8 + 19). Let b = z + -16. Is 5 a factor of b?
False
Let r be -50 + 0/(2*-2). Let l = -24 - r. Is l a multiple of 19?
False
Suppose -2*y + 102 = -2. Suppose m = 5*m + 3*a - y, 3*a + 65 = 5*m. Is 9 a factor of m?
False
Suppose 636 = 3*r - 165. Does 47 divide r?
False
Suppose s + 2 = -s. Let n = -18 - -25. Let i = s + n. Is i a multiple of 3?
True
Let s be (-54)/(-7) - 6/(-21). Suppose -a = s - 20. Does 3 divide a?
True
Let x(a) = a**2 - a + 21. Let b be x(0). Suppose v + 2*z = -16, 43 = -3*v - 0*z - 5*z. Let r = b - v. Does 13 divide r?
False
Let r(z) = -2*z - 5. Let j(d) = -d. Let l(o) = -4*j(o) + r(o). Let m(s) = 3*s - 5. Let t(g) = 6*l(g) - 5*m(g). Is t(-7) a multiple of 8?
True
Let a be 0 - 0 - (4 - 1). Does 16 divide (51 + 0 + a)*1?
True
Let i be 2/4 - 10/(-4). Let u be (5 - i)*2/4. Is 27 - 1*u/1 a multiple of 13?
True
Let x(u) = 32*u**2 + u. Let p be x(-1). Suppose -68 = -2*z + 2*b, 0*b = z + 2*b - p. Is 9 a factor of z?
False
Suppose -4*n = 38 - 138. Does 25 divide n?
True
Let r = 135 + -74. Does 21 divide r?
False
Let l(h) = 6*h - 8. Is 29 a factor of l(11)?
True
Suppose 17*q + 183 = 1169. Is 2 a factor of q?
True
Let r(o) = -7*o**3 - 17*o**2 + 3*o + 13. Let s(c) = 3*c**3 + 9*c**2 - 2*c - 7. Let q(v) = 2*r(v) + 5*s(v). Is q(-11) a multiple of 14?
False
Let s(f) = f**3 + 7*f**2 + 4*f - 8. Let w be s(-6). Suppose -4*u + 10 = o, 0*u - 4*o - 20 = -w*u. Let h(r) = r**3 - r**2 - 3*r - 4. Is h(u) a multiple of 3?
False
Let f = -5 + 10. Suppose a = 3 + 2. Suppose a*p = 20 + f. Is p a multiple of 3?
False
Suppose -4*l + 11 = -9, -2*l = -3*p - 10. Suppose 3*w = -2*i + 33, p*i - 23 = -2*w - i. Is w a multiple of 13?
True
Is 2 a factor of 4 + 0/(3 + -5)?
True
Suppose -2*t + 3*p = -5*t + 120, 5*t - 5*p - 230 = 0. Suppose -5*u + t = -12. Let x = u + -7. Does 4 divide x?
True
Suppose -3*z + 18 + 144 = 0. Suppose -3*d + 3*a + 60 = -2*a, -z = -4*d - 2*a. Is d a multiple of 4?
False
Suppose -6*z + 143 = 5*z. Is 4 a factor of z?
False
Let y(z) = z**3 - 2*z**2 - z + 1. Let n be y(2). Let k(d) = -11*d + 1. Let c be k(n). Suppose 4*f - c = 3*f. Is 6 a factor of f?
True
Suppose -z - x = -162, -3*z + 168 + 304 = -4*x. Does 10 divide z?
True
Let p(v) = -v**3 + 5*v**2 + 3*v - 3. Does 8 divide p(3)?
True
Suppose 0 = 3*l + 4*m + 49, 2*l - 4*m + 23 + 3 = 0. Let y be 1 - (l - -3) - -1. Suppose -4*b - y = -106. Is b a multiple of 11?
False
Let c = 4 + -2. Suppose -c*m = -5*m + 3. Is 11 a factor of (m - -17*1) + 2?
False
Suppose 0 = h - 10 - 9. Suppose 3*f - h = -79. Is f/(-6)*36/10 a multiple of 6?
True
Let a = 11 - 6. Is 5 a factor of a?
True
Let h(b) = -b**3 + 7*b**2 - 7*b + 5. Let d be h(5). Let w be 2/(-5) - (-72)/30. Is (w/(-5))/((-2)/d) a multiple of 2?
True
Suppose 5*c - 41 - 49 = 0. Does 20 divide 1246/63 + 4/c?
True
Let u = 6 - 6. Suppose u = 3*i - 36 - 66. Is i a multiple of 19?
False
Let x(a) = -a**2 - 8*a - 2. Let h be x(-8). Is 65 - (-3 + (-8)/h) a multiple of 23?
False
Let m = 49 - 20. Is m a multiple of 24?
False
Suppose -9*x = -5*x - 68. Is x a multiple of 5?
False
Let h = 81 + -33. Is h a multiple of 13?
False
Suppose -3*k - 1441 = 5*b - 2*k, -k = -3*b - 863. Let d = b + 405. Let o = d + -82. Does 20 divide o?
False
Is 11 a factor of ((-176)/(-6))/(10/15)?
True
Let z = -22 - -15. Let s = z - -19. Is ((-16)/s)/((-1)/9) a multiple of 12?
True
Let i be 2/6*(-7 + 100). Does 9 divide i - (-1)/3*-3?
False
Let x(d) = d**3 - 18*d**2 + 23*d - 17. Does 14 divide x(17)?
False
Let y(j) = 5*j - 2. Let a(m) = 6*m - 1. Let z(q) = 2*a(q) - 3*y(q). Let p be z(-10). Let i = -21 + p. Does 5 divide i?
False
Suppose 5*y - 3*y + 5*k = 88, -4*k = 5*y - 220. Does 4 divide y?
True
Let j = 5 - 3. Let q be (-4)/8*(-4 - -16)/(-2). Suppose 4*o - q*b + j - 12 = 0, 2*o + 3*b - 14 = 0. Is o a multiple of 4?
True
Let p(a) = a**3 + 8*a**2 + 7*a + 5. Let x be p(-7). Suppose 2*w - 60 + x = 3*u, -u = 3. Is w a multiple of 19?
False
Let p(u) = u**3 + 7*u**2 - u - 4. Let l be p(-5). Suppose -w + 5*g = 2*w + 38, -5*w = 4*g + l. Let y = 47 + w. Is 12 a factor of y?
True
Let g = -7 + 4. Does 7 divide (-8 - 3)*(g + 2)?
False
Suppose -4*l - l = 5*z - 10, -22 = -5*l + z. Suppose -w = -l*w + 21. Is 5 a factor of w?
False
Suppose -4*z = -4 - 12. Suppose -z*i + 72 = 4*b, -4*b = -i - 6 + 39. Is 5 a factor of i?
False
Let s(n) = n**2 - 3. Let d be 3*(-6)/9 - 3. Does 11 divide s(d)?
True
Let k be 14/77 - 2/11. Suppose -2*m + 5*m = 4*j + 32, -3*m + 3*j + 36 = k. Is m a multiple of 16?
True
Let h(i) = i - 7. Let s be h(0). Let c = s - -3. Let n(b) = b**2 + b + 3. Is n(c) a multiple of 10?
False
Let z = 9 + -6. Suppose z*q - a = 24, -2*q + 0*q + 4*a = -16. Is 2 a factor of q?
True
Let m be -4*3/(-6) - 2. Suppose -5*y + y + 208 = m. Is y a multiple of 24?
False
Let q be (-7)/(-21) + (-16)/(-6). Suppose 3*c + 87 = q*u, u + 1 = 3. Let z = -10 - c. Is z a multiple of 9?
False
Suppose 4*s - p + 0*p = -2, -3*p = -2*s - 6. Suppose u + s*u = 2. Suppose -u*h = -l + 16, 31 = 4*l - h + 4*h. Does 7 divide l?
False
Let u(g) = g**3 - 10*g**2 + 6*g - 4. Let n be u(10). Suppose 0 = 4*m - 2*x - 70, m - 2*x = 4*m - n. Does 9 divide m?
True
Let t(q) = -q**2 - 15*q - 14. Let z be t(-11). Suppose 4*m - z = 2*m. Does 5 divide m?
True
Suppose -3*d + 12 = f, 4*d = 2*d. Is 12 a factor of f?
True
Suppose -2*z = 4*x - 818, 2*x = 2*z + 127 + 285. Suppose q - 16 = -3*s + 2*q, -24 = -5*s + 3*q. Suppose y = s*y - x. Is 20 a factor of y?
False
Let q be (-4)/14 - (-86)/7. Suppose -3*k + 5*c = -1, 2*k + 2*k - q = -4*c. Suppose -4*u = -k*v - 2, v - 3*v + 3 = -3*u. Does 9 divide v?
True
Suppose 6*k - k + 5*m = 195, -4*m - 148 = -4*k. Is k a multiple of 11?
False
Is (2/(-5))/((-10)/350) a multiple of 7?
True
Let d = -92 - -169. Is d a multiple of 17?
False
Suppose 0 = -5*s - 0*s + 15. Let f = -1 + 3. Suppose 100 + 5 = 3*c + s*v, v - 67 = -f*c. Does 14 divide c?
False
Let q = -259 + 494. Is 17 a factor of q?
False
Suppose -d + 53 = 4*t - 2*t, 0 = 4*t + 5*d - 109. Is t a multiple of 15?
False
Let g = 140 + -77. Is 6 a factor of g?
False
Let x(m) = -m - 1. Suppose -6*b = -5*h - b, -4*h - 3 = -b. Let y be x(h). Is 13 a factor of y - 0 - (-27 - 1)?
False
Suppose 4*n - 3*n = 28. Does 4 divide (1 - n/12)*-12?
True
Let n = -51 + 121. Suppose 2*c - 4*o - 118 = 0, -c - 4*o - 17 + n = 0. Does 19 divide c?
True
Let h be ((-18)/3)/(-2 + 0). Suppose -3 = 5*m - 3*f, 3*m + f + 2 = h. Suppose m = 4*k - s - 27, -5*k - 3*s - 4 = -42. Does 7 divide k?
True
Let a be (-381)/12 - (-2)/(-8). Let w = -75 - -122. Let t = w + a. Is 15 a factor of t?
True
Let k(a) = a**2 + 7*a - 21. Is 18 a factor of k(6)?
False
Let m(l) = 2*l - 4. Let h(u) = -u**2 + 5*u - 2. Let q be h(5). Let r be 3*q/(-4)*4. Is 3 a factor of m(r)?
False
Suppose 4*s - p = 11, -5*s = 4*p + 4 - 23. Suppose -s*k + 45 = -0. Is 7 a factor of k?
False
Let q(s) = s**3 - 24*s**2 + 47*s + 18. Is 5 a factor of 