1 + -4. Let n be (6/6)/((-1)/k). Suppose n*b - 3*b - 46 = 0. Does 23 divide b?
True
Suppose 5*g - 1534 = 2*i + 2*i, -5*i = -2*g + 600. Let p = g + -182. Is 28 a factor of p?
False
Let t = 41 + -25. Does 22 divide 1/(-8) + 2114/t?
True
Let z(i) = -6*i - 2 - 5*i + 4*i + i**2. Does 7 divide z(10)?
True
Let j(l) = 3*l - 1. Let v be j(1). Let g(z) = 2*z**3 - 3*z**3 + v*z + 6 - 8*z**2 + 13*z**2 - 10*z**2. Is 6 a factor of g(-6)?
True
Suppose -13*c - 1890 = -27*c. Does 7 divide c?
False
Let s(w) = 25*w**2 + 7*w + 4. Let k be s(-2). Suppose 19*t + k = 21*t. Does 15 divide t?
True
Suppose t - 79 = -2*v - 2*t, -v = -t - 27. Suppose 6*g - 7*g + v = 0. Is g a multiple of 5?
False
Let d(k) = -16*k - 2. Let m(x) = -3*x**3 - x. Let p be m(1). Let w be ((-2)/p)/(6/(-12)). Is d(w) a multiple of 6?
False
Let j be 33/(-12) + (-1)/4. Let p be 2136/(-9) + 2/j. Does 11 divide (-12)/54 + p/(-18)?
False
Let r(k) = -10*k + 3. Let z be r(1). Let j = 16 + z. Does 9 divide j?
True
Suppose 3 - 7 = -2*j - 2*q, -3*j + 4*q = 22. Let y = j - -6. Suppose 3*m - h + 25 = 4*m, -4*m + y*h + 124 = 0. Does 7 divide m?
True
Suppose -3914 = -16*f - 378. Does 8 divide f?
False
Suppose 0 = -36*y + 7173 + 3087. Is y a multiple of 57?
True
Suppose -h - 15 = -0*h. Let u = 34 - -1. Let p = h + u. Does 10 divide p?
True
Let z(i) = i**2 - 12*i + 21. Let u be z(10). Does 5 divide ((u - -1) + 18/6)*1?
True
Suppose -2*f = -5 - 1. Suppose 5*s = -4*w + 674, f*w - 221 = -2*s + 281. Let k = -78 + w. Is 22 a factor of k?
True
Let x(i) = -i**3 + 12*i**2 - 4*i + 18. Let d be x(8). Let q = d + -169. Is 9 a factor of q?
False
Suppose 0 = -7*y + 11*y - 20. Suppose -15 - y = -4*a. Let t(k) = k**3 - 2*k**2 - 3*k + 10. Does 14 divide t(a)?
True
Let q(i) = -21*i - 57. Let c(b) = -14*b - 38. Let w(o) = -8*c(o) + 5*q(o). Is 9 a factor of w(19)?
False
Let p(u) be the first derivative of u**3/3 - 3*u**2 - 22*u - 13. Is p(12) a multiple of 22?
False
Suppose 2*n + 34 = -c + 6*c, 38 = -3*n + c. Let u = 21 + n. Suppose u + 87 = 4*i. Does 24 divide i?
True
Let x(a) = -a**3 - 8*a**2 + 3*a + 8. Let t = 8 + -15. Let u be x(t). Let c = 89 + u. Does 9 divide c?
True
Suppose 3*r - 43 = 176. Suppose -4*n - r - 217 = -3*d, -2*d + 190 = -2*n. Is d a multiple of 15?
True
Suppose 0 = -2*s + 8*s - 6708. Does 20 divide s?
False
Let u = -23 - -31. Suppose -57 = -u*w + 15. Does 5 divide w?
False
Let b = 14 + -15. Let d be 1 + b*(1 + 0). Suppose -3*w = -2*k - 32, -2*w + 4*k + d = -16. Is w a multiple of 12?
True
Let y = 47 + 103. Suppose 0 = j + 5*j - y. Is j a multiple of 25?
True
Suppose -2542 = -41*i + 3403. Does 26 divide i?
False
Suppose -3*i + s + 10 = 3*s, 5*i - 22 = 2*s. Is 27 a factor of 663/6 - 2 - i/8?
True
Let j(y) = -29*y + 45. Let z be j(13). Let r = z - -478. Does 18 divide r?
False
Let f = 32 - -48. Suppose -4*t + f = 5*k - 0*t, 0 = -5*k + 4*t + 120. Does 5 divide k?
True
Suppose 0 = -0*m + 16*m - 64. Suppose 0 = -3*b - 3, 3*i - 20 = m*b + 14. Is 3 a factor of i?
False
Let w be 8/(-6)*(3 - 570/2). Let f = 637 - w. Is 14 a factor of f?
False
Suppose w + 14 = 2*w. Suppose -4*y + w = -54. Let j = -5 + y. Is 12 a factor of j?
True
Let i(u) = u**3 + 8*u**2 - 8*u + 12. Let g = 60 - 68. Is i(g) a multiple of 19?
True
Suppose 5 - 30 = -5*a. Suppose -y + 15 = a*b, -2*b - 2*b + y + 3 = 0. Suppose -b*m = 3*p - 108, -p = -3*m - 5*p + 162. Does 27 divide m?
True
Let x(b) = 2*b**2 + b - 1. Let w be x(-2). Suppose 190 = 2*p + o + 4*o, 285 = 3*p - w*o. Is 20 a factor of p?
False
Let j(i) = -i. Let m(b) = -b + 1. Let x be (-3 - -11) + -4 - -2. Let c(d) = x*j(d) - 2*m(d). Is c(-3) a multiple of 6?
False
Let d(a) = -a**3 + 3*a**2 + 2*a + 4. Let n = -8 + 12. Let w be d(n). Is (-56)/(-21)*(-6)/w a multiple of 4?
True
Suppose -312 = 5*g - 12. Let m = -57 - g. Does 2 divide m?
False
Suppose 6*j - 147 = 81. Let o = j + -24. Does 3 divide o?
False
Let p be (-18)/(-10)*(-70)/(-21). Suppose 2*k - p*k + 20 = 0. Suppose 3*r - 14 + k = 0. Is r a multiple of 3?
True
Suppose 3*h + 4*t + 235 = 923, 2*h - 5*t - 428 = 0. Does 16 divide h?
True
Let h be -2*1*56/(-2). Let s be ((-186)/42 + 5)/(2/70). Suppose -h + s = -2*u. Does 6 divide u?
True
Suppose -63 = -5*m + k, 2*m - 4*k - 4 - 14 = 0. Suppose m*x - 41 = 12*x. Is x a multiple of 2?
False
Let h(z) = z**3 + 8*z**2 - 9*z + 9. Let t be h(-9). Suppose 0 = 8*k - t*k. Suppose 3*x = -k*x, 2*x = -l + 18. Does 6 divide l?
True
Does 72 divide (66/77)/6*29813?
False
Let q(z) = -z**2 + 5*z + 2. Let i(m) = -m**3 + 4*m**2 - m - 1. Let u be i(3). Let c be q(u). Suppose -c*x - 105 = -7*x. Is 15 a factor of x?
False
Let r = 873 + -327. Is 42 a factor of r?
True
Suppose -22*n + 4569 = 1115. Is 8 a factor of n?
False
Suppose 0 = -5*k - i + 4665, -4*i + 4680 = 3*k + 2*k. Is 37 a factor of k?
False
Suppose -3*p - 4*z = -24, -4*p + 5 = -3*z - 2. Let a(b) = b**3 - 2*b**2 - 7*b + 9. Let j(w) = -w**2 - w + 1. Let l(s) = p*j(s) - a(s). Does 6 divide l(-4)?
False
Let o be (2/((-8)/54))/((-1)/6). Suppose -2*j + 20 = 3*j, -j = x - o. Does 35 divide x?
False
Let o(i) = 2*i**3 - 12*i**2 + 5*i - 31. Is 20 a factor of o(9)?
True
Suppose -9*v + 17 = -10. Let y(a) = 5*a**3 - a**2 + 3*a. Is 27 a factor of y(v)?
True
Let d = -22 + 14. Let t be 19/(-7) + d/28. Does 16 divide (-144)/(t - (-6)/4)?
True
Let d be ((-6)/(-18))/((-3)/(-9)). Let z = d + 4. Suppose 0 = 3*h - z*h + 38. Does 11 divide h?
False
Does 36 divide 1295 - (-9 - 0/10)?
False
Suppose -q - 13 = -0*q. Let g(x) = -x**2 + 4*x**2 + 4 - 13*x - 5*x**2 + x**2. Is 4 a factor of g(q)?
True
Let r = 775 + -634. Is 47 a factor of r?
True
Let s = 277 + 216. Is 17 a factor of s?
True
Suppose 8*k - 8255 = -3519. Is k a multiple of 33?
False
Suppose 0 = -6*b - 464 + 1220. Is 3 a factor of b?
True
Let l be -14*((-30)/7 - -4). Suppose -5*t = -l*q + 382, -5*q + 455 = -0*q + 5*t. Does 31 divide q?
True
Suppose 0 = -67*b + 65*b + 6374. Is 13 a factor of b?
False
Let u(z) = 49*z**2 + 2*z + 1. Is 26 a factor of u(1)?
True
Let q(d) = 8*d**2 - 6*d - d**3 + 5*d - 5*d**2 + 3. Let z be q(3). Suppose y + r = -y + 136, -5*y + 4*r + 314 = z. Does 26 divide y?
False
Let q = -39 - -25. Let s be 8412/28 - (-6)/q. Suppose 2*g = -2*g + s. Is 25 a factor of g?
True
Let q(c) = -23*c - 144. Does 4 divide q(-12)?
True
Suppose -25 = 5*b + 5*o, 0 = -0*b + 3*b + o + 5. Suppose b = -5*g + 13 + 2. Suppose -3*c = d + c - 29, -4*d + g*c + 21 = 0. Does 3 divide d?
True
Suppose 2*j = 6*j + 136. Let t = -65 + 41. Let l = t - j. Is l a multiple of 10?
True
Suppose -y - 4*l = -2*y + 27, -4*y + 128 = 4*l. Suppose -2*r + y + 13 = 0. Is r a multiple of 22?
True
Let n(h) = -h**2 + h + 1. Let u(s) = -6*s**2 + 7*s + 5. Let l(f) = 5*n(f) - u(f). Is l(7) a multiple of 4?
False
Suppose 2*d - 93 = 13. Let o = -125 + d. Is 28 a factor of (28/6)/((-12)/o)?
True
Suppose 451*u = 443*u + 13504. Does 5 divide u?
False
Let l be 9/((-9)/(-416)) + -2. Suppose 4*q = 2*a + l, q - a - 114 = 3*a. Suppose 3*p + q = 2*g, 3*g - 108 = -p + 45. Does 17 divide g?
True
Suppose 630 = 1724*b - 1722*b. Is b a multiple of 35?
True
Let d(j) = -j**3 + 10*j**2 + 13*j + 18. Is 30 a factor of d(8)?
False
Suppose m + 80 = 4*m - 2*r, 3*r = -4*m + 118. Let o = m - 33. Does 5 divide (-944)/(-40) - 2/o?
False
Let f = -31 - -61. Let b be 1360/f*18/(-4). Let i = -140 - b. Is 16 a factor of i?
True
Let o be (16/8)/(1 - 0). Suppose -2*q = -5*x - 121, o*q - 100 = x + 1. Is q a multiple of 24?
True
Let f = -20 - 15. Let s = f + 90. Is s a multiple of 8?
False
Let o(g) = 2*g - 6. Let t be o(4). Suppose -t = -2*j + 10. Is 6 a factor of (-58)/(-2) + (3 - j)?
False
Let x = 4 + -55. Let c be x/(-4) - 10/(-40). Suppose c = m + 5. Is m a multiple of 8?
True
Let y(o) = -6*o + 3*o**2 + 12 + 6 - 22 + 3*o. Does 2 divide y(3)?
True
Let u(i) = i**2 + 6. Let g be u(0). Let s(o) = -26*o + 8. Let q be s(g). Let j = -91 - q. Is j a multiple of 25?
False
Let i(y) = 2*y**2 + y - 1. Let w be i(1). Suppose 14*t - 25 = 9*t. Suppose 0 = -w*x + t*j + 22, -33 = -8*x + 5*x + 2*j. Is 5 a factor of x?
False
Suppose 2*v + 3 = 2*o + 7, 4*o = 4. Suppose v*d - 17 = 2*j, -2*d + d - 9 = 3*j. Suppose 2*q + 22 = d*q. Is 22 a factor of q?
True
Let k be (-222)/(-11) + (-10)/55. Let p be ((-2)/(-3))/(k/150). Suppose 93 = p*g + z, 4*g - 3*z = g + 45. Is g a multiple of 6?
True
Suppose 4*v = -2*i - 20, 0*i +