(-4). Suppose -2*l = -l - u. Does 4 divide l?
False
Suppose 0*v - 5*x - 1 = -4*v, -2*v = 5*x - 23. Let l be 1*(23/1 - 1). Suppose 0 = -v*k + 14 + l. Is k a multiple of 5?
False
Suppose 4*n - a - 26 + 97 = 0, -5*n = 3*a + 93. Let p = -15 - n. Suppose -p + 23 = 5*o. Is o a multiple of 2?
True
Let o(p) = p**2 - 18*p + 23. Let u be o(17). Let y be ((-6)/5)/(u/(-20)). Suppose -y*h + 432 = 2*h. Is h a multiple of 18?
True
Is 131 a factor of (17 + -15)/((-2)/(-1165))?
False
Let k(b) = b**3 - 8*b**2 + 9*b. Let t be 0 - (-24)/(1 - -2). Is 12 a factor of k(t)?
True
Suppose -6*x + k - 2 = -x, -2 = x - k. Is 19 a factor of 114*32/12 + x?
True
Let m(l) = 8*l**2 + 4*l + 5. Let b be m(-3). Let u = 163 - b. Is u a multiple of 7?
True
Let u = -23 + 14. Let s = u + 16. Suppose m + s = 2*v + 45, 5*m - 146 = -v. Does 10 divide m?
True
Suppose 286 = 7*i - 372. Is i a multiple of 63?
False
Let y be (8 - 9 - 4/2) + 83. Suppose 4*x = 5*i + 41, -i = -6*i - 25. Suppose x*b + 0 - y = 0. Is 5 a factor of b?
True
Let h be 3/(-5) - (576/15 - -3). Suppose -125 = 4*y + y. Let s = y - h. Does 6 divide s?
False
Suppose 48*a + 18324 = 60*a. Is 9 a factor of a?
False
Let u(p) = 5508*p**2 - 18*p + 10. Is u(1) a multiple of 100?
True
Suppose -105 = 5*a - 10*a. Suppose -4*n - 4*o + 384 = 0, -n + 2*o = -114 + a. Is 11 a factor of n?
False
Let g be 24/14 - 4/(-14). Let x be (-12)/g*(-1)/2. Suppose 2*j = -x*j + 40. Is j a multiple of 6?
False
Suppose -15*q + 112 = 2*w - 16*q, 12 = 3*q. Is 7 a factor of w?
False
Suppose 0 = -76*v + 73*v + 2580. Is 10 a factor of v?
True
Let c(g) = -4*g - g + 2*g - 8*g**2 - 5*g + 1 - g**3. Let p be c(-7). Is ((-72)/(-6))/(6/p) a multiple of 4?
True
Does 11 divide 1017/3 + 0 + 7?
False
Suppose 0 = -5*j + 2*v - 4, 4*j + 3*v - 6 = -0. Suppose -k + j*u = -2*u - 14, 2*k = -5*u + 1. Suppose -4*f - 60 = -k*f. Does 5 divide f?
True
Let w be ((-42)/(-28))/(1/(-14)). Suppose -d - 9 = -4*d. Does 12 divide w/(-1*d/4)?
False
Suppose 3*p - 3 = 21. Suppose -2*r + p = 2*r. Suppose 3*j + 0*o + 2*o - 72 = 0, 98 = 4*j + r*o. Is j a multiple of 13?
True
Let s = 2 - -3. Suppose -s*u + 5*o - 3 = 7, -4 = -o. Suppose -2*n - 54 = -2*k, 2*k + 120 = 6*k + u*n. Is k a multiple of 10?
False
Is 163/2 - 9*(-2)/12 a multiple of 14?
False
Suppose -1155 = -6*p + p. Suppose 6*c - 3*c = -3*q + p, -2*q - 5*c = -142. Does 24 divide q?
False
Suppose 0*g + 3*f - 1647 = -3*g, 2*g = f + 1110. Is 7 a factor of g?
True
Let k = -811 + 529. Let a = k + 199. Let g = 139 + a. Is 8 a factor of g?
True
Let s be (42/(-24))/((-1)/(-4)). Let n be 48 + 0 - (s - -9). Suppose 3*f = 15, 4*f + n = 2*t - 0. Is t a multiple of 12?
False
Suppose -t - 4*f = -19, -3*t - 34 = -3*f - 91. Suppose 2*b = m - 0*b - 19, 0 = m + 3*b - t. Let g = 34 - m. Is g a multiple of 5?
True
Let j(p) = p**2 - 2*p - 15. Suppose -3*l - 29 = -w, -2*w = 2*w + 5*l - 31. Is j(w) a multiple of 19?
False
Suppose 4*l = -7*i + 3*i + 16, 2*i + 3*l - 13 = 0. Is -60*1/(1*1/i) a multiple of 30?
True
Let c be -12 + 16 - (-12 - 1). Let q = c + 83. Suppose 3*z - q - 98 = 0. Does 11 divide z?
True
Let x = -1 - -60. Let z = 98 - 121. Let u = z + x. Is 14 a factor of u?
False
Suppose -2120 = 111*c - 115*c. Does 51 divide c?
False
Let m = -371 + 407. Does 6 divide m?
True
Let d = 11 - 7. Let k(q) = -9*q - 3. Let o(p) = -9*p - 3. Let f(j) = -7*k(j) + 6*o(j). Is f(d) a multiple of 13?
True
Let d be (-2)/15 + (188/(-15))/(-4). Suppose -1080 = d*v - 9*v. Is 18 a factor of v?
True
Let c(j) = 71*j**2 - 3*j + 4. Is c(-4) a multiple of 32?
True
Let q(w) = -w**2 + 19*w - 5. Let g be q(15). Does 4 divide -2*(-5)/(50/g)?
False
Let h(q) = -q**3 - 2*q**2 + 2*q + 5. Is h(-3) a multiple of 2?
True
Suppose 0 = -3*l + 2*d - 0 - 5, l + 2 = d. Let c(f) = 9*f - 9*f - 3*f - 13*f. Does 8 divide c(l)?
True
Let a = 6029 + -3062. Does 50 divide a?
False
Let h = -11 + 15. Suppose -5*z + 2*x + 2*x = -15, -3*z + h*x + 9 = 0. Suppose 4*d + 4 = 0, -2*a - z*d - 234 = -5*a. Is a a multiple of 19?
False
Let w be 2/(-9) - 18/(-81). Is 84/12 + w + 2 a multiple of 7?
False
Let k(j) = -214*j - 12. Let y be k(-3). Suppose -4*r - y = 5*q - 10*q, r = 0. Is q a multiple of 14?
True
Let t = -882 - -1528. Is t a multiple of 38?
True
Suppose 4*k - 2*g - 1308 = 0, -2*k + g - 986 = -5*k. Let q = 517 - k. Is q a multiple of 27?
True
Suppose 177*h = 161*h + 6144. Does 32 divide h?
True
Is (-1 - -338)/(26/52) a multiple of 48?
False
Let i = 10277 - 5935. Is 13 a factor of i?
True
Let u = 467 + 125. Does 44 divide u?
False
Let k(p) = 2*p**2 - 59*p + 1. Is 27 a factor of k(31)?
False
Suppose -4*s - 164 = -4*p, -4*p + 84 = -2*p - 3*s. Does 13 divide p?
True
Let h be -18*1 - (0 - (-1 + 3)). Let l = 45 + h. Does 3 divide l?
False
Suppose -19*r = 17*r - 20484. Does 116 divide r?
False
Let d(y) = 2*y**2 - 8*y + 5. Let u(w) = -3*w**2 + 7*w - 4. Let q(r) = -4*d(r) - 5*u(r). Suppose -76 = -8*l - 100. Does 17 divide q(l)?
False
Let s(w) = 497*w**2 + 2*w + 1. Let r be s(-1). Suppose 0 = -5*u + r + 24. Is 26 a factor of u?
True
Suppose 40*b = -58*b + 188552. Does 26 divide b?
True
Let c be 4/(-8)*(0 + -1 + -1). Suppose 2*z + m - c = 0, 4*m + 9 = 3*z - 9. Does 2 divide z?
True
Suppose 56*b - 3*z - 4245 = 53*b, 4*b = -3*z + 5695. Does 20 divide b?
True
Let k(i) = i**3 + i**2 - i. Let j(s) = -s**2 - s - 1. Let m(p) = -6*j(p) - k(p). Is m(6) a multiple of 4?
True
Is (1 - 9) + (2846 - 20/(-1)) a multiple of 34?
False
Let i(g) = 2*g**2 + 2*g + 3. Let u be i(7). Let c = -55 + u. Is ((-1)/2)/((-6)/c) a multiple of 2?
False
Suppose -21*d + 35*d - 6748 = 0. Is 21 a factor of d?
False
Let h(w) = -20*w + 31. Is h(-17) a multiple of 22?
False
Let d(b) = -5*b**2 + 11*b**2 + 4 - 4*b**2 + 10*b. Does 8 divide d(-7)?
True
Suppose -5*v + 4*m + 929 = 0, 185 = 3*v - m - 378. Is v a multiple of 7?
True
Suppose -h = 3*b - 1726, -2*h - 3*b + b + 3460 = 0. Is 62 a factor of h?
False
Is 18 a factor of ((-8856)/180)/(2/(-10))?
False
Let u(o) = o**3 + 9*o**2 + 7*o + 12. Does 27 divide u(7)?
False
Let a(n) = 329*n**3 + n**2 + n - 1. Is 11 a factor of a(1)?
True
Let r(x) = -x**2 + x + 15. Let j be r(-9). Let f = j - -111. Is 6 a factor of f?
True
Let r(b) = 7 + 12*b + 6 + b**2 - 10. Let c be r(-6). Does 5 divide c/(-5) + (-2)/(-5)?
False
Suppose 3*y - 268 = 5*j, 459 = 5*y - 0*y + 4*j. Is 19 a factor of y?
False
Let o(s) = 93*s - 236. Does 41 divide o(34)?
False
Let q be (-2)/4 - 25/(-2). Let a be ((4 - 1)/3)/(1/2). Suppose a*n - 2 = q. Does 2 divide n?
False
Let z(x) = -x**3 - 7*x**2 + 6*x - 13. Let q(c) = c**3 + 12*c**2 + 11*c - 9. Let y be q(-11). Is z(y) a multiple of 10?
False
Let p(z) = -4*z + 3. Let l be p(-6). Suppose i + 3*r - 6*r + 6 = 0, 0 = -4*i - 5*r + l. Suppose -15 = -5*s, 3*w + i*s - 49 = 2*w. Is 26 a factor of w?
False
Let c be (48/(-15))/(8/(-60)). Suppose t - 5*t = -c. Is -1 + (-50)/(-3)*t a multiple of 33?
True
Suppose 5*p - 23*p + 19926 = 0. Is 27 a factor of p?
True
Let r(y) = -y + 109. Does 8 divide r(-16)?
False
Suppose -4*l + 3570 = 3*l. Is l a multiple of 42?
False
Let n(z) = -2*z**2 - 2*z + 5. Let o be n(2). Let x(r) = r**2 + r - 16. Does 2 divide x(o)?
True
Let k(m) = 16*m + 32. Let r be k(10). Suppose -3*q = -q - 4*z - r, q - 96 = 4*z. Does 16 divide q?
True
Let q(k) = -k - 20. Let i be q(-5). Let m(p) = p + 39. Is 9 a factor of m(i)?
False
Does 3 divide -7 + (-2)/(-2) - -41?
False
Suppose -16 = -5*f - x - x, 3*f - 3 = x. Suppose -5*p + 188 = -4*p + 2*w, 2*w = f*p - 406. Is 9 a factor of p?
True
Let f = -50 + 153. Is f a multiple of 45?
False
Let n(t) = -t**3 + 16*t**2 + 20*t - 5. Let g be 1 + ((37 - -1)/2 - 3). Is n(g) a multiple of 23?
True
Let x = 3430 + -2130. Is 65 a factor of x?
True
Let y be 2/(-5) + (-52)/(-5). Suppose -14*w + 16*w = y. Is w a multiple of 3?
False
Let n = -244 + 248. Is 2 a factor of n?
True
Let w(l) = l + 8. Suppose 5*c = c + 20, 2*c - 13 = j. Let g be w(j). Let f(q) = 5*q + 11. Does 12 divide f(g)?
True
Suppose -2*z + 39 = 7. Suppose -z = -3*t - t. Let f = 31 - t. Is f a multiple of 11?
False
Suppose -4*c - 15 = -9*c. Suppose 0 = o + 3*k - 6, c*o = 4*k - k - 6. Suppose o*x + 524 = 4*x. Is x a multiple of 29?
False
Let v(y) = -2*y**2 + 16*y + 14. Is v(5) a multiple of 14?
False
Let a(v) = v**2 - 3*v - 12. Let t be a(12). Let j = -62 + t. Suppose 10 = 35*n - j*n. Is n a multiple of 10?
Tr