e of 4?
False
Let l = -103 - -57. Suppose -4*q - 68 = 2*u - 8, u - 4*q = -24. Let w = u - l. Does 3 divide w?
True
Suppose 3*k - 11 = 4. Suppose 3*s = 2*n + 463, 3*s + 0*s - k*n = 469. Does 17 divide s?
True
Let i be (4/(-3))/(12/198). Let m = -20 - i. Suppose 4*q - 198 = m*q. Does 24 divide q?
False
Suppose 2154 = 3*z - 3*o, 3*z = o + 1572 + 588. Does 43 divide z?
False
Let r(f) = 406*f**2 - 1. Let y be r(-1). Suppose 3*o - y = 57. Does 11 divide o?
True
Let o(v) = -v**2 - 8*v + 912. Is o(0) a multiple of 12?
True
Suppose -3*f + 93 = -0*f. Suppose -3*y + 35 + f = 0. Is 10 a factor of y?
False
Let r be (-4)/22 + (-4)/(-22). Let l(g) = 5*g**2 + 2 + g - 4*g**2 + r. Does 6 divide l(5)?
False
Suppose -4*s + g = 508 - 2998, 0 = -5*s + 2*g + 3111. Is 5 a factor of s?
False
Suppose -b + 44 + 75 = 0. Let q = b - 55. Does 8 divide q?
True
Let w be -2*((-18)/4 - -3). Suppose -w*x = -0*x - 144. Does 8 divide x?
True
Suppose -3*r = -0*r + 3. Let j be (13/(-39))/((-2)/24). Is r/j - (-202)/8 a multiple of 13?
False
Suppose 11 = 12*g - 685. Suppose 0 = 5*b - 4 - 6, -b + 24 = l. Let n = g - l. Does 9 divide n?
True
Suppose -2*k + 11 = -o - 7, 4*k - 22 = -5*o. Let n be (-2 + 22)/(2/k). Suppose -j + n = j. Is 24 a factor of j?
False
Let s(n) = 31*n**2 + 5*n + 3. Is s(-1) a multiple of 12?
False
Let a = 544 + 108. Does 48 divide a?
False
Let n = -2444 + 3575. Is n a multiple of 13?
True
Let f = 999 + -481. Does 61 divide f?
False
Let t(y) = 14*y + 29. Let b(u) = u - 16. Let m(g) = 15. Let n(f) = 5*b(f) + 6*m(f). Let r(w) = -17*n(w) + 6*t(w). Is 6 a factor of r(-11)?
False
Let c(z) = -2*z - 4. Let u be c(-2). Suppose -4*p = 5*b - 3*b, u = -p - 3. Is b*2/((-16)/(-44)) a multiple of 20?
False
Suppose 4*x = 3*x + 68. Let s = -53 + x. Is s a multiple of 2?
False
Let x = 4 + 0. Suppose x*d = 270 + 86. Does 12 divide d?
False
Let u(b) be the first derivative of -b**2/2 - b + 1. Let d be u(-3). Suppose 0*n + d*n = 42. Is n a multiple of 10?
False
Let k = 34 + -49. Let p be (-1 + k)/(-2*1). Let b = 24 - p. Does 6 divide b?
False
Let h = 1148 + -587. Does 33 divide h?
True
Suppose 2*n + 4 = 4*n. Let w(z) = -15*z + 3 + n - 11 + z**2. Does 7 divide w(17)?
True
Suppose 0 = f - 1, 3*h = f + 8. Suppose 2*d + 6 = -2*y, -d - h*y = -0*y + 11. Does 4 divide (1 + -2 - -20)*d?
False
Let p = 18 - 15. Let i = 1 + p. Is 4 a factor of i?
True
Let m(h) = h**3 + 4*h**2 - h + 4. Let y be m(-5). Let c = y + 32. Suppose c*r = 12*r + 116. Does 12 divide r?
False
Let m = -26 - -10. Let t = m + 228. Is 29 a factor of t?
False
Let a(o) = -o**2 + 23*o + 42. Does 10 divide a(15)?
False
Let m(z) = 309*z**2 + z. Let r be m(1). Does 11 divide r/30*(-6)/(-2)?
False
Let t = 93 + -90. Is (-1)/1*-57 - (t - 0) a multiple of 9?
True
Let n(l) = 46*l**3 - 2*l**2 + 2*l - 1. Let v be n(1). Let k = v + -33. Does 11 divide k?
False
Suppose -1526 = -2*l - 5*q + 9*q, -4*l + 3080 = -q. Is 44 a factor of l?
False
Let m(k) = 3*k**2 - 7*k - 5. Suppose 2*c - c = 24. Suppose -c = -7*d + 3*d. Is 14 a factor of m(d)?
False
Let c(j) = j**3 - 31*j**2 - 63*j - 132. Is c(34) a multiple of 5?
False
Let s(n) = -19*n**2 - 2*n + 5. Let h be s(2). Is 10 a factor of 30/h + (-1344)/(-10)?
False
Is 13 a factor of 2 - 1 - (-16)/(64/2676)?
False
Suppose 0 = -0*m + 5*m - a - 65, -2*a = -2*m + 26. Let r = 15 - m. Is ((-5)/15)/(r/(-36)) a multiple of 3?
True
Is (-138)/24 + 6 - 2743/(-4) a multiple of 12?
False
Suppose -5*x + u + 1008 = 0, 3*u + 15 = -2*u. Let c = -86 + x. Is c a multiple of 23?
True
Suppose 361 = -10*u + 991. Is 37 a factor of u?
False
Suppose 19 = 4*i - 9. Let x = 18 + i. Let z = 45 - x. Is z a multiple of 6?
False
Let l(b) = 33*b**2 - 9*b + 53. Is l(4) a multiple of 27?
False
Suppose -3 = -3*g + 27. Is (g/3)/(184/60 + -3) a multiple of 25?
True
Let u be 4/(-14) + (-5)/(-35)*-1006. Is 98/28*u/(-14) even?
True
Let x(i) = 0*i**2 + 3*i + 6*i**2 + 1 + 3*i**2 - 7*i**2. Is 22 a factor of x(5)?
True
Let a be (-38)/(-5) + (-18)/30. Let z(i) = 3*i + 1. Is z(a) a multiple of 11?
True
Let t(g) = -5*g + 2. Suppose -2*c - 2*c = -40. Suppose 0 = 2*k + 3*k + c. Does 12 divide t(k)?
True
Suppose -y = 3*m - 2*m - 10, 3*m = 2*y + 20. Suppose 6*z = m*z - 488. Suppose 0 = -4*q - s + z, -5*q - s = s - 308. Is 15 a factor of q?
True
Is 39 a factor of ((-160)/24 + 6)/(2/(-1713))?
False
Does 30 divide (-10 + 55)/(-3*(-1)/6)?
True
Let z = -21 - -41. Suppose -z*x + 16*x = -68. Is x a multiple of 8?
False
Let r(w) = w**3 - 10*w**2 - 3*w - 31. Suppose 3*v = 2*v + 11. Is 11 a factor of r(v)?
False
Suppose 0 = -4*u + 28 - 8, 5*z - 3*u = 2575. Is 14 a factor of z?
True
Let q(g) = g. Let a(r) = -r**2 + 13*r + 6. Let f(d) = a(d) - 2*q(d). Is f(11) a multiple of 6?
True
Let k be (3 - 8)*(1 + -2). Suppose 5*d - 3*d - 65 = -k*r, -2*r + 90 = 4*d. Is d a multiple of 4?
True
Let q = -31 - -49. Suppose -4*o - 18 = 4*j + q, 2*j - 4*o + 36 = 0. Let u = j + 51. Is u a multiple of 9?
False
Suppose -5*k = 5*x - 0*k - 1610, -4*x + 1276 = k. Suppose -3*w - x = -3*y, -4*w + 384 = 2*y + 2*y. Is y a multiple of 15?
False
Does 4 divide (-20 - -23)*1*(-9)/(-1)?
False
Suppose -2*z = 2*s - 30, -15 = -z + 3*s - 0. Does 2 divide z?
False
Let l = 305 + 49. Let q = l + -194. Does 42 divide q?
False
Let d(q) = 3*q + 7. Let n be d(0). Let y be 14*5*(n + -6). Does 14 divide ((-60)/70)/((-1)/y)?
False
Let b(c) = 299*c**3 - c + 2. Is b(1) a multiple of 20?
True
Suppose 4*g - 5*g - 2*l + 8 = 0, 3*l - 6 = 0. Let p be -5 - -2 - (-88)/g. Is 8 a factor of p/1 - 3/1?
True
Let a = -145 - -151. Suppose a*l - 842 = -3*g + 10*l, -l = -4. Is g a multiple of 22?
True
Suppose 0 = 3*k - 3*i - 5694, -2*k + 3*i = 902 - 4703. Does 18 divide k?
False
Let a = 3 - -6. Let w(o) = o**2 - 8*o - 6. Let c be w(a). Does 9 divide (-3)/(-6*c/192)?
False
Suppose -h - 3*h = 4. Is h - (10/(-15) + 577/(-3)) a multiple of 24?
True
Let a(k) = 13*k**2 - 11*k - 18. Does 26 divide a(-4)?
True
Let k be 5*(9/(-2))/((-35)/14). Suppose -j + 2*j - q = k, 7 = j + q. Is 8 a factor of j?
True
Suppose 5*m + 5*q - 815 = -0*q, q = -4. Is 11 a factor of m?
False
Let f(i) = -2*i**3 + 3*i**2 - 7*i + 4. Let u(l) = 5*l**3 - 10*l**2 + 22*l - 11. Let x(h) = -8*f(h) - 3*u(h). Let v be x(-7). Let a = -9 + v. Does 8 divide a?
False
Does 13 divide (-33 + 7)*292/(-8)?
True
Suppose 8*c = 21*c - 546. Does 8 divide c?
False
Suppose 2*f + 54 = f. Let n = f + 172. Suppose 2*o = 4*w - n, 6*w - 2*o - 88 = 3*w. Is 15 a factor of w?
True
Let x = 12 - 11. Let g(c) = -c + 1. Let y be g(x). Suppose -2*b = -y*b - 36. Does 4 divide b?
False
Let q be (9/((-54)/480))/(2/(-12)). Suppose -7*n + q + 416 = 0. Is n a multiple of 8?
True
Suppose 9 = -4*r + r - s, 4 = 2*r + 4*s. Does 10 divide (10/1)/(r/(-24))?
True
Suppose -3*u - 2*u = 15. Let l(q) = q + 5. Let g be l(-4). Is 20 a factor of (0 - u) + (58 - g)?
True
Let k be (6 - 9)/(3/(-2)). Let j(s) = 16*s**3 - s**2 + 2*s - 4. Is j(k) a multiple of 10?
False
Suppose 0 = -3*y + 50 + 4. Let h be y/(-63) - (-275)/7. Suppose 5*b - h = -3*u, -3*b - 7 = u - 8*b. Does 4 divide u?
True
Suppose -1 = 3*b - b + h, 5*b - 2*h - 20 = 0. Let y(z) = 0*z + z + 11*z**2 - 1 - 6*z**b + 0*z. Is y(1) a multiple of 3?
False
Suppose 3*o + v - 275 = 0, 4*o + 130 = 2*v + 490. Is 5 a factor of o?
False
Let f(s) be the first derivative of 4/3*s**3 - 2*s**2 - s + 1/4*s**4 + 2. Is f(-4) a multiple of 3?
True
Suppose 2*w - 10 = 3*r + 4*w, -5*r + 5*w + 25 = 0. Let v be 27/(-12) - 4/(-16). Does 15 divide 30 + r/(-1) + v?
False
Let w(r) be the second derivative of r**4/12 + 3*r**3/2 - 2*r**2 + 4*r. Let j be w(-7). Let c = 42 + j. Is 8 a factor of c?
True
Does 11 divide (5/2)/(-2 - (-5559)/2772)?
True
Suppose 0 = 3*v - 4*v + 21. Let b = v - -67. Suppose 2*i + 16 = b. Is i a multiple of 18?
True
Let x be (6/4)/((-18)/24) - -4. Is (-1)/(2/(-4)) + 28/x even?
True
Suppose -3*q + 9 = 0, -5*l = 4*q + 3 + 10. Let a = l - -10. Suppose 0*t = a*t - 525. Is t a multiple of 21?
True
Let d be 0 - (-3)/((-1)/(-1)). Suppose 2*v + 1384 = 5*q - 0*v, -d*v = 6. Suppose 5*p - q - 79 = 0. Is p a multiple of 15?
False
Let q(y) = 13*y**3 - y**2 - 1 - 31*y**3 + 2*y**2. Let d be q(-1). Let w = 45 - d. Is 9 a factor of w?
True
Let c(m) = m**3 - 2*m**2 + 5*m + 2. Suppose -20*p = -16*p - 20. Does 14 divide c(p)?
False
Let q = 3 + 0. Suppose w - 63 = -4*h, -4*w = -h + q