e (4/6)/((-22)/(-132)). Let t(x) = x**3 - x**2 + 3*x - 5. Is 11 a factor of t(c)?
True
Let f be 1/2 - 45/(-6). Suppose f*z - 243 = 5*z. Is z a multiple of 27?
True
Let b = -274 + 321. Does 4 divide b?
False
Let x(j) = 6*j + 72. Is 6 a factor of x(0)?
True
Let i(t) = 2*t - 4. Let a = 10 + -13. Let f be i(a). Is 17 a factor of ((-15)/f)/(2/68)?
True
Let q = -1 + 55. Let k = 92 - 130. Let h = k + q. Is h a multiple of 14?
False
Let h(q) = 23*q + 3*q - 3 - 8. Let x be h(-5). Let g = x + 231. Does 30 divide g?
True
Let b be (-16)/(-3) + 20/30. Let y(s) = 3*s**3 + 2*s**2 - s - 4. Let g be y(2). Let z = g + b. Is 28 a factor of z?
False
Let x(j) = -88*j**3 - 4*j**2 - 5*j. Is x(-1) a multiple of 5?
False
Let f(x) = -7*x**2 + 15*x**2 + 7 + 12*x - 9*x**2. Let r be f(9). Suppose 0 = -q - q + r. Is q a multiple of 13?
False
Let p(g) = -g**3 + g**2 - 4*g + 90. Does 45 divide p(0)?
True
Suppose -25*k + 17159 = -7641. Is 31 a factor of k?
True
Let h be 46/(-8 + 4 - -3). Let n = h - -134. Is 11 a factor of n?
True
Suppose -8*v - 90 = -5*f - 4*v, -f + 18 = -5*v. Let s = f + 20. Is 6 a factor of s?
False
Let b be (-18)/(-63) + 402/14 + 0. Does 3 divide b/(2 + 2 + -3)?
False
Let y = 22 - 22. Let p = 0 - y. Suppose -1 - 3 = 2*c, o + 2*c - 1 = p. Is o even?
False
Suppose -30331 = -17*d - 5256. Does 25 divide d?
True
Suppose 4*m = -2*f + 26, f + 15 + 0 = 5*m. Let i(g) = -3*g**2 + f*g - 2*g**3 + g**3 - g**3 - 1. Is i(-4) a multiple of 22?
False
Suppose f + 7*x - 3*x + 16 = 0, 5*f = -4*x. Suppose -y - 2 = 0, -f*a = 2*y + y + 22. Is 5 a factor of ((-340)/119)/(a/14)?
True
Let g(i) = -25*i**2 + 2. Let y be g(1). Let v = y + 29. Is 2 a factor of v?
True
Suppose 16*w - 17*w - 4 = 0. Does 5 divide 2 + -2 + 4 - w?
False
Suppose 16*r - 15257 = -3*r. Is r a multiple of 73?
True
Suppose -4*n - 3*z + 1 = -2, -9 = -5*n - 2*z. Suppose p = n*y - 26, 2*p - 5 + 1 = -2*y. Is 5 a factor of y?
False
Let j(i) = -i**3 + 21*i**2 - 20*i + 139. Does 33 divide j(19)?
False
Does 4 divide 92/207 - (-18676)/18?
False
Let q be (-32 + 1)/((-5)/25). Let f = -89 + q. Is f a multiple of 4?
False
Let z = -11 + 293. Suppose z = s + 2*s. Is 38 a factor of s?
False
Suppose -21*t + b = -16*t - 487, -b + 3 = 0. Does 14 divide t?
True
Suppose 4*p = -61 + 357. Suppose 5*r - p = 106. Is r a multiple of 17?
False
Let j(x) = -x**3 - 9*x**2 + 13*x - 25. Let k be j(-11). Suppose -45 = -3*n + u, -2*n = 3*n - 2*u - k. Is n a multiple of 16?
True
Suppose 3*p - 5*y = 987, 31*p + 4*y + 1632 = 36*p. Does 7 divide p?
False
Suppose 2*h = 5*x, 6*x - 4*h = 3*x - 14. Suppose t + 2*i - 31 = 0, x*t - 72 = 2*i - i. Is 10 a factor of t?
False
Suppose -19*u + 10*u = -11718. Does 20 divide u?
False
Let h(q) = q**3 - 17*q**2 + 74*q + 7. Does 11 divide h(14)?
False
Let i = 126 + 160. Is 22 a factor of i?
True
Suppose -4*g + a + 1073 - 69 = 0, 4*a + 1016 = 4*g. Does 5 divide g?
True
Let j(r) = 3*r - 7. Let w be j(3). Suppose -w*p = 4*c, -1 = -c + 2*c. Suppose -n + p*n - 19 = 0. Is 13 a factor of n?
False
Let v be (73 + -3 + 6)*3. Let t = v - 158. Suppose -p + 5*f = -t, 2*f - 408 = -5*p - 2*f. Does 20 divide p?
True
Let w = 1 + 3. Suppose 0 = 4*h, -15 = -3*g - 9*h + w*h. Suppose 130 = g*v + 25. Is v a multiple of 21?
True
Let j(r) = -r**2 + 8*r + 35. Let h be j(11). Let w be -50*2/((-4)/1). Suppose 3*s - h + 77 = 5*x, -5*s - w = 0. Is 9 a factor of x?
False
Suppose y + q - 658 = -y, -5*q = y - 338. Is 41 a factor of 6/1*(y/6)/4?
True
Let z(k) = -130 - 127 + 241 - 8*k. Is 11 a factor of z(-13)?
True
Let n(p) = 32*p + 173. Is n(0) a multiple of 40?
False
Let k be (6/(-10))/(6/(-30)). Suppose 45 = g + k. Is g a multiple of 9?
False
Let l(c) = 19*c. Let s be l(-1). Let h = 22 - s. Let r = h - 11. Is r a multiple of 24?
False
Let w be 3 + -2 + 2 + 2. Let f = 27 + w. Let p = f + -8. Is 14 a factor of p?
False
Suppose 0 = b + 3*p + 11 - 43, 5*b + 2*p - 95 = 0. Let i(f) = 7*f - 82. Does 30 divide i(b)?
False
Does 92 divide (-9)/63 - 75357/(-63)?
True
Let d = -241 + 1342. Does 11 divide d?
False
Let n(x) = 2*x - 11. Does 17 divide n(14)?
True
Let s(k) = -36*k - k**2 - 14*k + 32*k + 23. Is s(-16) a multiple of 11?
True
Let x(u) = -u**3 - 8*u**2 - 7*u - 12. Let y(z) = -z**2 - z + 1. Let r(d) = x(d) - 2*y(d). Is 16 a factor of r(-6)?
True
Let t(k) be the first derivative of -9*k**2/2 - 11*k + 5. Does 17 divide t(-5)?
True
Let a(b) = b**3 - b**2 - b. Let g(k) = -3*k**3 + 15*k**2 + 5*k - 6. Let h(q) = 2*a(q) + g(q). Suppose 2*p = 3*j + 29, p = 4*p - j - 40. Is 11 a factor of h(p)?
True
Suppose 0 = -z - s + 295, 2068 = 6*z - 5*s + 243. Is z a multiple of 8?
False
Suppose 302 = 2*h - x, 2*x = -2*x. Does 18 divide h?
False
Suppose -5*w - i + 1313 = 0, -w + 6*w - 1323 = 4*i. Does 15 divide w?
False
Is 5 a factor of -2 - -7 - (24 - 160)?
False
Suppose 0 = 4*x + 5*n - 5692, -4 = -3*n - 16. Is x a multiple of 42?
True
Let p = 914 + -594. Is p a multiple of 10?
True
Let j = -36 - -20. Let g = j - -11. Is 12 a factor of (0 - -57) + 8 + g?
True
Let n be 16/(-48) + 28/3. Suppose 4*u - n*u = -730. Does 17 divide u?
False
Suppose 211 + 59 = 3*w. Does 9 divide w?
True
Let b = 2263 - -698. Is 21 a factor of b?
True
Suppose 3*a = -3*k + 1176, 43*k - 42*k = a + 402. Is 49 a factor of k?
False
Suppose 7*a - 2904 + 888 = 0. Suppose 0 = 5*b + 4*q - 606 - a, 0 = b - 4*q - 174. Does 13 divide b?
False
Is 1 - 1665/(-5) - -6 a multiple of 20?
True
Suppose b - 1160 = 4*m + 5*b, -3*m = -2*b + 865. Let u = m - -497. Suppose -2*s = 2*s - u. Is s a multiple of 9?
False
Suppose 6 = 4*x - 14. Suppose -30 = x*m + 5. Is 15 a factor of 10/35 + (-103)/m?
True
Let x be 21 + 31 - -1*5. Let n = x + -46. Is 4 a factor of n?
False
Let v be (5 - (1 - -2)) + 7. Let q(n) = n**3 - 8*n**2 - 10*n + 13. Let u be q(v). Suppose -9 = s - u*s. Is s even?
False
Let m = 287 - 167. Is m a multiple of 6?
True
Suppose 2*r + 15*r = 4*r. Is -4 + r + 70 + 10 a multiple of 17?
False
Let q be 1 - 2 - (-2 + 1). Let r(h) = h + 22. Is r(q) a multiple of 22?
True
Suppose 2*r - r = -30. Let a = r + 34. Is a a multiple of 2?
True
Does 5 divide (-67)/670 - (-3982)/20?
False
Let s(y) = -224*y + 4. Let c be s(-2). Is 28 a factor of c/3 - 8/(-24)?
False
Let n = 449 + -149. Suppose 0*l = 4*l - n. Is l a multiple of 15?
True
Let u = -365 + 996. Suppose 5*r - u = -61. Does 29 divide r?
False
Let r(w) = 137*w - 140. Is 2 a factor of r(4)?
True
Let z(n) = -n**2 + 8*n - 21. Let l be z(13). Let a = 558 + -375. Let k = l + a. Is k a multiple of 21?
False
Let r(m) = m**2 + 4*m - 28. Let k be r(3). Let n(d) = -2*d + 18. Is n(k) a multiple of 4?
True
Let g(l) = -l**2 + 10*l + 9. Let x be g(7). Let y = 93 - x. Is 7 a factor of y?
True
Suppose 0 = 5*u - 21 - 4, -157 = -3*q + u. Suppose 0*f = 2*f + q. Is -2*2/4 - f a multiple of 21?
False
Let l(y) = 53*y + 1. Let u be l(-1). Let a = -505 + 594. Let b = a + u. Is b a multiple of 9?
False
Let u = -12 - -14. Suppose 4*i + 16 = -4*d, -2*i + 0*i = 5*d + u. Is 97 - 1*i/(-3) a multiple of 19?
True
Suppose 0 = 2*c - 6*c + 8. Suppose -4*l = -c*l - 370. Suppose -4*a + 247 = -l. Does 27 divide a?
True
Let q = -1482 - -1786. Does 10 divide q?
False
Suppose -11*p + 2967 = -18142. Does 9 divide p?
False
Let k = -17 + 17. Suppose 3*b = -15, k*y - b + 1 = 3*y. Suppose 0 = -u - y*u + 267. Is 22 a factor of u?
False
Let o be ((-2)/3)/(5/(-60)). Let p = -9 + o. Let j(f) = -28*f**3 + f**2 + 2*f + 1. Is j(p) a multiple of 7?
True
Let g(p) = -3*p - 23. Suppose -2 + 6 = 2*t. Suppose -4*m - 62 = 2*k, 22 = -t*m - 3*k - k. Is g(m) a multiple of 12?
False
Suppose 15*r = 2940 + 1065. Is r a multiple of 5?
False
Let c(n) = 10*n**3 + 2*n**2 - 3*n - 1. Let r be c(2). Suppose 3*l = 3*d + 99, 2*l + d - r = -2*d. Is 9 a factor of l?
True
Suppose -5*m + 15 = 0, -3*j + 5841 = -4*m + 9*m. Does 116 divide j?
False
Let o be 7 + -4 + (-6)/(-3). Suppose o*t - 382 = 3*m, t = -4*t - m + 366. Is 31 a factor of t?
False
Suppose -4*p + 921 = -2*u - u, 918 = 4*p - 2*u. Let q = p + -116. Is 28 a factor of q?
True
Suppose -90 = -3*u - j + 79, -3*j + 177 = 3*u. Suppose -57 = -4*r + u. Does 17 divide r?
False
Let r = 23 - 51. Is (-119)/r - ((-3)/(-12) + -1) a multiple of 2?
False
Let a be (-1134)/(-36)*24/14. Let n(t) = t + 4. Let w be n(6). Let z = w + a. Is 13 a factor of z?
False
Suppose 10*k = 5*k + 150. Let i = 70 - k.