 = -2*k - 0*t + 17. Is 10 a factor of k?
True
Suppose 555 - 1617 = -3*a. Is 2 a factor of a?
True
Suppose 16 = -4*x, -5*k = -3*k + 2*x - 1916. Is 13 a factor of k?
True
Suppose -3*o = -1225 - 1415. Suppose -4*v = 6*v - o. Is 11 a factor of v?
True
Let g(b) = 13*b + 240. Is g(0) a multiple of 24?
True
Let s be (-12 + 17)*(-6)/2. Let a(j) = j**2 + 21*j + 17. Let r be a(s). Let n = 136 + r. Is 15 a factor of n?
False
Suppose -6*d - d - 2044 = 0. Let j = d + 486. Is 15 a factor of j?
False
Let f = 63 + 28. Does 7 divide f?
True
Let s = 7 + 10. Let t(p) = 8*p + 229. Let n be t(-28). Let g = s - n. Does 6 divide g?
True
Suppose 0 = -10*b - 1786 + 36626. Is 134 a factor of b?
True
Let s(l) = 9 - 3*l**2 + 4*l**2 - 28 + 9*l. Is 25 a factor of s(8)?
False
Let l = -365 + 940. Is 59 a factor of l?
False
Suppose z - k = 3, 9 = 3*z - 8*k + 3*k. Does 3 divide 54*(z - -2 - 1 - 3)?
True
Is 1*((-14590)/(-22) + 28/(-154)) a multiple of 111?
False
Suppose -8*d = -2*d - 54. Suppose -2*u = -6, -d*u = -5*f - 5*u + 468. Does 48 divide f?
True
Let p = -6 - -8. Suppose p*h + 15 = 5*h. Let z(a) = -a**2 + 7*a. Is 5 a factor of z(h)?
True
Suppose 2*p - 28 = -4*a, -5*a + 28 = -4*p + 6. Is a a multiple of 3?
True
Let n(m) = m**2 - 20*m + 23. Is n(22) a multiple of 12?
False
Let o = -67 - -67. Let s = 9 + o. Is 9 a factor of s?
True
Let l(a) = 87*a - 7. Let m be l(3). Suppose 4*j - 250 = 2*j - 2*b, 0 = -2*j + 2*b + m. Is 11 a factor of (-15)/(-6)*j/15?
False
Let a = -52 + 49. Is 8 a factor of a/(-27)*2 + 1288/36?
False
Suppose 5*b + 19 = -41. Let a be (b - -11)/((-2)/2). Is -4*((-1)/(-2) - a) even?
True
Let q = 57 + -123. Let v = 130 + q. Does 18 divide v?
False
Let l(q) = -77*q - 82. Is l(-10) a multiple of 16?
True
Suppose -s = -o + 4*o - 449, -2*o + 297 = 3*s. Does 5 divide o?
True
Suppose 2*o - 86 = -4*z - 0*z, z - o - 29 = 0. Let u(p) = p**3 - 2*p**2 - p + 2. Let l be u(2). Suppose l*r - 2*r + z = 0. Does 12 divide r?
True
Suppose -5*y + 152 = 2*h + h, -3*h - 3*y = -144. Suppose h - 1 = u. Does 11 divide u?
False
Let q(m) = 4*m + 55. Let d be q(-20). Let r = 64 + d. Is r a multiple of 13?
True
Let t(x) = x**3 - 9*x**2 - 2. Let b be t(9). Does 14 divide (3 + b)/(5/120)?
False
Suppose -3*q + 60 = -12. Does 12 divide (-6)/q - 117/(-4)?
False
Is (-25)/(-10)*3*(-704)/(-10) a multiple of 14?
False
Suppose v + 13 = 33. Suppose 3*s - v - 65 = -4*f, -1 = s. Does 22 divide f?
True
Suppose d - 3 - 53 = -5*c, 47 = 2*d - 3*c. Is 5 a factor of d?
False
Let i = 1522 - 915. Is 22 a factor of i?
False
Suppose 3*l - 9*q = -12*q + 909, 0 = -5*l - 4*q + 1518. Does 6 divide l?
True
Let d(h) = -2*h - 7. Let a(o) = -o - 5. Let g(n) = -6*a(n) + 5*d(n). Let f = 19 + -28. Is 9 a factor of g(f)?
False
Suppose -4*w = -2*w - 5*t - 130, 3*w - 3*t = 186. Does 15 divide w?
True
Suppose 5*p + 61 + 9 = 0. Let i = p + 18. Suppose -2*f + 20 = -3*l + l, i*l - 56 = -4*f. Does 4 divide f?
True
Let x(g) = g + 20. Let a be x(-14). Let j(u) = -u**3 + 4*u**2 + 12*u + 7. Is j(a) a multiple of 7?
True
Let u(y) = -2*y**3 + 4*y**2 + 4*y + 1. Let o be u(4). Let d be (0 - 3) + o - -1. Let c = -24 - d. Does 8 divide c?
False
Let n = -46 + 20. Let f = n + 36. Does 8 divide f?
False
Suppose 0 = -2*r + d + 245, 34*r + 4*d = 37*r - 370. Does 52 divide r?
False
Is ((-16)/4)/((-10)/375) a multiple of 6?
True
Does 5 divide ((-10)/20)/(358/180 - 2)?
True
Suppose 0 = -19*r + 9*r + 890. Does 28 divide r?
False
Suppose 7*q - 31 = 39. Does 3 divide q?
False
Let q(r) = -r**2 - 4*r + 26. Let u be q(-9). Let k(l) = -l**3 - 18*l**2 + 8*l - 23. Does 31 divide k(u)?
True
Suppose 2345 = 5*t + 8*a - 4*a, -2*t = -4*a - 910. Is 62 a factor of t?
False
Is 15 a factor of 887 - (8 - (8 - -9))?
False
Let n(r) = 9 + r**2 - r - r**3 + 2*r**3 - 2. Let a = -15 + 15. Is 7 a factor of n(a)?
True
Let n(h) be the third derivative of h**5/60 - h**4/24 + 10*h**3/3 + 17*h**2. Is n(11) a multiple of 30?
False
Let l = -7 + 27. Does 10 divide 129/4 + 15/l?
False
Suppose 357 + 667 = 2*k. Suppose -n + 3*z = -0*z - 91, 5*n + 4*z = k. Let o = n - 17. Is 23 a factor of o?
False
Suppose 4*p - 20 = -0*p. Suppose -2 = -t - a, a = -2*t + 6*a + 39. Suppose 3*w - 2*c = t*w - 178, 0 = c - p. Is 14 a factor of w?
True
Does 12 divide (15/12)/(2/424)?
False
Suppose 5*r - 9 = 3*j + 5, 4*r + 2 = -2*j. Let x = j - -7. Suppose t - 5 = 3*u - 39, 0 = -x*u + 5*t + 27. Does 9 divide u?
False
Suppose -119 = -5*u - g, 0*g = -u - 4*g + 20. Suppose a + 3*k - u = 0, -a - 5*k + 7*k = -29. Is a even?
False
Let h(j) = -9*j**3 - 6*j**2 - j - 10. Is 5 a factor of h(-3)?
False
Let r be (-6)/4 + 0 + (-25)/2. Let u(a) = -2*a + 18. Is u(r) a multiple of 46?
True
Let a(g) = g**3 + 10*g**2 + 2*g - 6. Let p(d) = -d**3 - 10*d**2 - 2*d + 5. Let i(n) = -5*a(n) - 4*p(n). Let z = -320 - -310. Is 15 a factor of i(z)?
True
Let p(o) = -278*o + 36. Does 13 divide p(-1)?
False
Let y(n) = 16*n**2 + 24*n + 20. Is 32 a factor of y(7)?
False
Suppose 0 = -i - 0*i + 4. Suppose -6*f = -i*f. Suppose -4*l = 3*s - 51, -5*s - 90 = -5*l - f*s. Does 12 divide l?
False
Suppose -37*c + 39*c - 66 = 0. Suppose c + 153 = 3*x. Is 4 a factor of x?
False
Let g(i) = i + 8. Let f be g(-5). Suppose -t + 89 = f*w, -w = -0*t - 2*t + 213. Is t a multiple of 12?
False
Let s = -37 + 41. Suppose 0 = -s*g + 5*g - 90. Does 18 divide g?
True
Suppose 0 = 5*y - 4*u - 108 - 1968, 20 = -5*u. Is y even?
True
Let d(g) = -3*g + 2. Let t be d(-3). Let r = -9 + t. Is (0 - r)/((-3)/21) a multiple of 14?
True
Is 8 a factor of 13/26 - (-335)/2?
True
Suppose -532 = -2*i - 0*i. Is i a multiple of 19?
True
Let y be 20/4*12/5. Let t be 10/(-3)*y/(-8). Suppose -4*a = -2*w - 0*w, -3*a = -2*w + t. Is 10 a factor of w?
True
Let t(o) = 3*o**2 + 2*o - 18. Let r be t(3). Suppose y = -2*y + 1656. Suppose -4*w + y = 4*s + 132, -5*s + r = 0. Does 17 divide w?
True
Let w = -153 - -151. Let h(r) = -12*r**3 - 4*r**2 - 2*r - 2. Does 3 divide h(w)?
False
Let j(l) = -l**3 + 8*l. Does 17 divide j(-5)?
True
Let x(m) = 23*m**2 - 2*m + 19. Is 63 a factor of x(-6)?
False
Let o be 108/252 + 456/14. Suppose -60*m = -63*m + o. Is 3 a factor of m?
False
Suppose -4*g = -x + 915, -3671 = -4*x - 0*x + 5*g. Is 52 a factor of x?
False
Let w = -3 + -14. Let g = w - 5. Let r = 33 + g. Is r a multiple of 4?
False
Suppose -476 = -4*n - 0*n. Suppose n + 137 = 4*p. Is p a multiple of 18?
False
Let g be (-9)/((-36)/16) + -4. Suppose -2*z + 22 = -g*z. Is z a multiple of 4?
False
Suppose p - 14 = o, 4*o - p + 56 = -0*p. Let s = o - -47. Does 13 divide s?
False
Let g(u) = -3*u**3 - 7*u**2 - 4*u + 3. Let t = -40 - -36. Does 11 divide g(t)?
True
Suppose 0 = -4*k + 2*q + 2, 5*k + 4*q - 8 = 1. Is 13 a factor of ((-182)/28)/(k/(-6))?
True
Suppose 824 = 3*b - 562. Let m = -309 + b. Does 14 divide m?
False
Let l(t) = t**2 + 10*t - 8. Let n be l(-11). Suppose -f + j + 13 = -2, 4*j = -n*f + 52. Is 16 a factor of f?
True
Suppose -1568 = 15*y - 23*y. Does 7 divide y?
True
Let u(z) = 9*z**2 - 23*z + 1. Does 11 divide u(-5)?
True
Let a(h) = h + 1. Let m(p) = p**3 - 2*p**2 - 4*p - 7. Let d(n) = 3*a(n) + m(n). Let s be d(3). Suppose s*z - 85 = -17. Is 17 a factor of z?
True
Let l(x) = 3*x**3 - 8*x**2 - 4*x + 4. Let h be l(6). Let j = h - 10. Does 55 divide j?
True
Suppose 0 = 846*q - 840*q - 6048. Does 16 divide q?
True
Suppose 4*q - m = -0*m + 2421, 4*m - 1206 = -2*q. Does 12 divide q?
False
Let y(a) = 2*a**2 + 3*a - 2. Let w be y(1). Suppose -2 = -w*q + 7, -4*f = 3*q - 1149. Is 14 a factor of f?
False
Let t(j) = 2*j**2 + 21*j + 8. Let s be t(-11). Let f = 58 + s. Is f a multiple of 11?
True
Let y(t) = -7*t - 3 + 20*t + 6. Is 11 a factor of y(2)?
False
Suppose 27*q = 22*q - 40. Is 17 a factor of (-1)/((-4)/213) + 2/q?
False
Let z(r) = r**2 + 3*r + 2. Let k be z(-1). Suppose 0 = d - k*d - 98. Suppose -2*v - 8 = 0, 3*f + 7 - d = -5*v. Does 9 divide f?
False
Let s = 16 - 14. Is 13 a factor of 7 + -4 + 36 - s?
False
Suppose -g - g + 6 = 0. Let r be (-4)/(g + -7) + 403. Suppose 5*i + 49 = r. Is 22 a factor of i?
False
Let b(o) = -o**3 - 4*o**2 - 4*o - 5. Let m be b(-3). Let i(a) = -5*a + 5. Let y be i(m). Let p = y - 6. Is p a multiple of 3?
True
Let o be -14*1 - (138 - 142). Let v(k) = -k - 26. Let m(f) = -f - 26. Let y(h) = -6*m(h) + 5*v(h). Does 5 divide y(o)?
False
Suppose -4*i - 172 = -2*z, -8*z + 4*z +