False
Let l(p) = p**3 - 14*p**2 - 15*p + 36. Let j be l(15). Suppose 120 = -j*q + 41*q. Is 3 a factor of q?
True
Suppose 3*f + f - 48 = 0. Suppose 0 = 5*p - p - f. Let n = p - 0. Does 2 divide n?
False
Let b = -107 + 424. Suppose 3*n - 91 = b. Suppose n = 4*x - 0*x. Does 15 divide x?
False
Suppose -7*c + 57 = 820. Let t = -69 - c. Is t a multiple of 8?
True
Let k(g) = 4*g**2 + 1. Let n be k(4). Let w be 1118/n + (-1)/5. Suppose 4*h + 56 = 4*v, -2*h + 4*h - w = -v. Does 4 divide v?
False
Suppose -2*w = 3 - 37. Is w a multiple of 4?
False
Does 35 divide (-10)/12*57*-42?
True
Suppose 0 = 17*f - 4285 - 2379. Is 19 a factor of f?
False
Let s(v) = 7*v**3 - 2*v**2 + 1. Let n(t) = -t. Let f be n(-4). Let l be 15/10*f/6. Is 6 a factor of s(l)?
True
Let y(g) = 2*g**2 + 9*g + 7. Let p be y(8). Let k = p + -122. Is k a multiple of 26?
False
Let c be 0/(-3 - -2 - 0). Suppose -2*m + 5*m - v - 97 = 0, -4*m + 5*v + 133 = c. Does 16 divide m?
True
Suppose -218 = -q - 200. Is q a multiple of 18?
True
Let v = -1305 + 2823. Does 23 divide v?
True
Let v(c) = -4*c**2 - 2*c - 1. Let o be v(-6). Suppose 0 = 199*m - 197*m - 450. Let f = o + m. Is 19 a factor of f?
False
Let c be (-2)/(-14) - (-480)/168. Does 5 divide (3 - (-492)/8)/(c/6)?
False
Let g(k) be the second derivative of k**7/840 - 7*k**6/360 - k**5/12 - k**4/3 + k**3 + k. Let f(x) be the second derivative of g(x). Is f(9) a multiple of 27?
False
Let m(n) = n**2 + 3. Let x be m(-3). Let t be 594/x - (-1)/(-2). Suppose -2*o - 2*u + 15 = -31, 3*o = u + t. Does 6 divide o?
True
Let z = -513 + 684. Is 9 a factor of z?
True
Suppose -5*v + 45 = 15. Suppose 5*n - 14 = v. Suppose -n*u + 2*u - 53 = -3*b, 0 = 2*b + u - 40. Is 10 a factor of b?
False
Let w be (-3)/(-3) + (-12)/4. Let g(o) = 7*o**2 + 5*o - 6. Let l(f) = 3*f**2 + 3*f - 3. Let q(y) = w*g(y) + 5*l(y). Does 6 divide q(-8)?
False
Let s be (-3960)/(-15)*(0 + 3). Suppose 5*p = 20, -2*x = -3*p + p - s. Suppose 5*f + 4*k - x = 0, -f + 86 = k + k. Is f a multiple of 15?
False
Let v(x) = 2*x**2 + 5*x - 27. Is 18 a factor of v(7)?
False
Let q(g) = -3*g**3 - 2*g - 1. Let m be q(-2). Let o(b) = -b**3 - 7*b**2 - b - 9. Let z be o(-7). Is (z - (-5 + 0)) + m a multiple of 10?
True
Suppose 4*c - 164 = 252. Is c a multiple of 3?
False
Let g(r) = -2*r**2 - 9*r. Let m be g(-4). Suppose -3*p - p - m*w = -256, 0 = -4*w - 16. Is 17 a factor of p?
True
Let a(x) = 5*x**3 + 46*x**2 - 3*x + 11. Is a(-6) a multiple of 11?
True
Suppose -46*t + 256 + 42524 = 0. Does 93 divide t?
True
Let f(l) = 4*l - 8. Let m(n) = 7*n**2. Let h(q) = -q + 7. Let k be h(6). Let d be m(k). Does 8 divide f(d)?
False
Suppose 5*n + 111*l - 114*l + 35 = 0, -5*l + 5 = -3*n. Let z be (-4)/(-6) - (-200)/6. Let d = z + n. Does 16 divide d?
False
Suppose 5 = -3*n - 10, 2*x = n + 5. Suppose x*m + 6 = 3*m. Suppose -m = -2*a + 5*c + 11, -4*a + 2*c + 50 = 0. Does 3 divide a?
False
Let c(n) = 3*n**2. Let u = 22 + -10. Let x be 8/56 + u/14. Is 3 a factor of c(x)?
True
Let s(p) = 176*p**2 - 8*p + 4. Does 10 divide s(1)?
False
Let h = 423 - 123. Is h a multiple of 30?
True
Let k be (20/(-6))/(18/27). Let m be ((-15)/k)/((-2)/14). Is ((-142)/(-3))/((-14)/m) a multiple of 12?
False
Let n(h) = 21*h + 31. Let q be n(5). Suppose 5*o = 3*p + 63846, 0 = -4*o + p - 0*p + 51074. Is o/q - 4/(-34) a multiple of 23?
False
Suppose 0*w - 3*b + 67 = -5*w, -5*b - 5 = 0. Is (-13 - w)/(1/67) a multiple of 3?
False
Suppose 59*w = 65*w - 2916. Does 7 divide w?
False
Suppose -2*b + 10 = 3*b. Suppose -q + 0 = n - 3, b*q - 5*n = 6. Suppose -2*h + 6*j - q*j + 56 = 0, 4*j = 16. Is h a multiple of 12?
False
Suppose -4*a = -4*z + 464, -13*z + 464 = -9*z + 4*a. Is z a multiple of 6?
False
Let f(x) = -x**3 - 22*x**2 - 21*x + 5. Let l be f(-21). Suppose 0 = -3*g + y + 17 + 44, 3*g - l*y - 77 = 0. Is 14 a factor of g?
False
Let w(j) = j**3 + 5*j**2 + 3*j - 3. Suppose 5*z + 9 = 2*z. Let r be w(z). Suppose -r*l = -3*l - 108. Does 12 divide l?
True
Suppose -1635 - 1735 = -5*h. Is 52 a factor of h?
False
Suppose -27*y + 32*y + 3*x = 4542, 4*y - 4*x = 3608. Does 26 divide y?
False
Let i(n) = 5*n - 51. Is 10 a factor of i(21)?
False
Let l = 18 - 13. Suppose -m = -l*m. Suppose -u + 3*u - 14 = m. Is 7 a factor of u?
True
Let k be ((-1)/(-1) - 3)/((-2)/(-51)). Let g = -11 + -7. Let i = g - k. Does 9 divide i?
False
Let a = -176 + 176. Suppose 55 = 5*u - 4*q, 4*u + 3*q = 14 - 1. Let i = a + u. Does 7 divide i?
True
Let h(k) be the third derivative of k**5/6 + k**4/24 - k**3 - 3*k**2 + 5. Does 11 divide h(-3)?
False
Let p(d) = -4*d**2 + 4*d + 8*d**2 - 8 - 4*d. Does 18 divide p(4)?
False
Let d be 7*(0 + 3 - (-76)/(-28)). Suppose -u - 5 = d*m - 4*m, -20 = -2*m - 4*u. Is m even?
True
Let b(g) = 12*g**2 - 2*g. Let t be b(2). Suppose 0 = n - 4*f - t, 3*n - 79 = -f + 1. Is n a multiple of 8?
False
Let j = 98 + 542. Does 64 divide j?
True
Suppose l = 5*d + 184, -7 = 5*d + 13. Suppose 26 = -3*v + l. Let o = -28 + v. Is o a multiple of 9?
True
Suppose 0 = 2*h - 4*s + 6*s, 6 = 3*s. Does 16 divide 2/((-4)/(-93)) + 3/h?
False
Let b = -275 - -447. Does 86 divide b?
True
Let v = 516 + -498. Is v even?
True
Let a(p) = -3*p + 47. Let b be a(12). Let s(f) = -f**3 - 7*f**2 - f - 2. Let m be s(-7). Let q = m + b. Is q a multiple of 6?
False
Is 777/(-7)*(-992)/48 a multiple of 11?
False
Let v = 1280 - 1230. Is v a multiple of 25?
True
Suppose -5*x + 2*h = -412, 2*x + 2*h - 5*h = 156. Suppose -31 = n + 27. Let r = n + x. Is 13 a factor of r?
True
Let d(b) = b**3 - 5*b**2. Let j(t) = 6*t**3 - 24*t**2 + 1. Let y(w) = -11*d(w) + 2*j(w). Let v be y(-7). Suppose 0 = -0*i - v*i + 84. Is i a multiple of 14?
True
Let a be (123/(-3))/(-1*1). Let h = a + -27. Is h a multiple of 14?
True
Let g(y) = 7*y**2 + 16*y - 4. Let x be g(-10). Suppose 5*m = 5*a - a - 710, 3*a - 2*m - x = 0. Is 30 a factor of a?
True
Suppose 3*b = -4*r - 0 - 3, 5*r = -b - 12. Does 5 divide 1 + 13 + b - 1?
False
Let l = 951 - 419. Is l a multiple of 14?
True
Let o(j) = -j + 10. Let m be o(5). Suppose -2*c - 2*w + 13 = m, -5*w = -20. Let v = 9 + c. Is v a multiple of 5?
False
Suppose 99 - 35 = 4*n. Suppose -2*m - 4*q + 8 = 0, 4*m + 4*q + 0*q = n. Is 3 a factor of m?
False
Let m(r) be the third derivative of 23*r**4/24 - 55*r**3/6 - 16*r**2. Is 25 a factor of m(10)?
True
Let a = 163 - -747. Does 11 divide a?
False
Suppose 0 = 4*h - 42 - 22. Let m be -3 + 24/3 - 4. Let w = h - m. Is 3 a factor of w?
True
Let n(a) = -3 - a**2 - 6*a + 2*a + 8 + 0. Let d be n(-6). Is 1/7 + (-202)/d a multiple of 12?
False
Suppose 8*c + 120 + 240 = 0. Let u = 4 - 2. Is 3 a factor of (30/c)/(u/(-21))?
False
Suppose 0 = -2*c + 23 - 59. Let n = c + 26. Is n a multiple of 4?
True
Suppose 60 = 4*u - 72. Does 14 divide u - (1*-6 + 2)?
False
Let p = 66 + -76. Let n(w) = -6*w - 2. Let i be n(-3). Let v = p + i. Is v a multiple of 5?
False
Let t = 152 + -150. Suppose -x - n + 403 = 45, 0 = 3*x - t*n - 1084. Is 18 a factor of x?
True
Suppose -4*w - 9362 = -7*w - s, -3*s = w - 3134. Is 51 a factor of w?
False
Suppose -1671 = -28*m + 5609. Is 13 a factor of m?
True
Suppose 1408 = -1316*g + 1317*g. Is 32 a factor of g?
True
Let m(o) = -54*o + 72. Is m(-7) a multiple of 45?
True
Suppose -2 = n - 5. Let p(t) be the third derivative of 25*t**4/24 - t**3/2 - 38*t**2. Does 24 divide p(n)?
True
Let l(g) = -g**2 + 259. Let c be l(0). Suppose c = 8*r - r. Is r a multiple of 25?
False
Let v = 1283 - 1155. Is v a multiple of 6?
False
Let n be (6/(-2))/(1/2). Let u(z) = 9*z**2 + 6*z. Let q(r) = r**3 - r**2 + r - 1. Let j(c) = q(c) + u(c). Does 13 divide j(n)?
False
Suppose -5*r - 4*g = -12609, -5*g - 12645 = r - 6*r. Is 84 a factor of r?
False
Suppose 0*q - 3*g - 84 = -2*q, -q = 5*g - 55. Let y be ((-27)/q)/((-2)/230). Suppose -4*n + y = -71. Is 17 a factor of n?
False
Let t be -3 - -2 - (8 - 9). Suppose -3*n + 927 = 3*z - 216, t = -3*n - 4*z + 1139. Is n a multiple of 18?
False
Let f(y) = -7 + 8*y + 3*y**2 + y**2 - 1 - 5*y**2. Does 6 divide f(5)?
False
Let v = -11 + 20. Suppose 8*t = 5*t + v. Let s = t - -4. Does 3 divide s?
False
Let d(i) = -2716*i**3 + 3*i**2 + 8*i + 6. Does 13 divide d(-1)?
True
Let m = -239 - -300. Is 43 a factor of m?
False
Let k = -652 - -1078. Is 15 a factor of k?
False
Suppose 0 = -z + 2*z - 343. Is z a multiple of 7?
True
Let l = -220 -