 a multiple of 9?
False
Let l(o) = -4*o**2 + 152*o - 66. Let q(y) = 3*y**2 + 30*y + 30. Let u be q(-10). Is 10 a factor of l(u)?
False
Suppose -15 = -4*f - z, -2 = -5*f - 2*z + 16. Let h(v) = -6*v - 85. Let x be h(-28). Suppose -x = f*d - 295. Does 15 divide d?
False
Is 14 a factor of ((-3836)/4 + -6)*(-1 - 5)?
False
Suppose h + 3*x + 21 = -h, 4*h = -2*x - 22. Does 9 divide (-144)/108 + ((-490)/h)/1?
True
Let r be ((-4)/6)/(3472/1743 + -2). Let f = r + 580. Let m = f + -447. Does 36 divide m?
True
Let n(z) = 49*z**2 - 16*z + 189. Is n(7) a multiple of 21?
True
Suppose -5*d + 11112 = 2*i - d, -5*d = -2*i + 11148. Is 13 a factor of i?
True
Suppose 3*i - 9*i = -6. Let l be (1 - i*-114)*1. Suppose 4*y - 424 = 4*d, -2*y = -y - 4*d - l. Does 19 divide y?
False
Let v(h) = 17*h**2 - 34*h + 15. Is v(8) a multiple of 6?
False
Let x = -8649 - -12798. Is x even?
False
Is 13 a factor of (9/4)/((-42)/(-112)) - 8932/(-2)?
True
Let o be (-2192)/(-44) + 2/11. Let g = 49 - o. Let a(l) = -69*l**3 + 3*l + 2. Is 13 a factor of a(g)?
False
Let t(j) = 5 + j - 2*j - j**2 + 5*j + 6. Let v be t(-4). Let n = v - -49. Is 28 a factor of n?
True
Suppose -705 = -3*x + 123. Suppose -165 = -7*c + x. Is c a multiple of 9?
True
Does 28 divide ((-24624)/72 + ((-14)/(-2) - 1))*-41?
True
Let r be 15 + (-13)/(65/30). Suppose 0 = -2*d + 5*a + 153, -187 = -r*d + 6*d - a. Does 4 divide d?
True
Suppose 132 = h - 5*w, 6*h = 3*h - w + 316. Let s be (-26)/(-2)*2/2. Let i = s + h. Does 10 divide i?
True
Let j(h) = -11*h**2 - 12*h - 2. Let y be j(4). Let s = -207 - y. Does 2 divide s?
False
Suppose 2*m = -3*u + 19322, -11*u + 19318 = -8*u + m. Is u a multiple of 47?
False
Suppose -2*q = 5*k + 17 - 46, -4*k + 14 = -3*q. Suppose -5*p = k*p - 13570. Does 23 divide p?
True
Let l = 61 - 55. Let a be (2/l)/(6/(-18)) - 5. Is 395/3 - 2/a a multiple of 12?
True
Suppose 648 = v + 4*f + 75, -5*v = -2*f - 2931. Let y = v + -49. Is 6 a factor of y?
False
Let k(i) = -i**2 + 10*i + 20. Let f be k(13). Let v(d) = -d**3 - 16*d**2 - 4*d - 25. Is v(f) a multiple of 27?
True
Let f(p) = 5*p**2 - p + 22. Suppose 32*s - 23*s = 90. Is f(s) a multiple of 32?
True
Let s = 4320 + -660. Is s a multiple of 30?
True
Let d(h) = 32*h - 438. Let z be d(11). Suppose 0 = -4*p - 8, -3*i = -2*i + p - 113. Let x = z + i. Does 5 divide x?
False
Let p be (-7)/(14/(-964)) - -1. Suppose -84 = -3*m + p. Is 32 a factor of m?
False
Let m = 156 + -153. Suppose -r = 1, -382 + 10 = -5*y - m*r. Does 5 divide y?
True
Suppose 0 = -6*n + 3*n - 552. Let g = 262 + n. Is g even?
True
Let g(s) be the first derivative of 6*s**2 + 34*s + 26. Let w be g(15). Suppose -2*m - 5*a + w = -7*a, 3*m - 4*a = 316. Is 7 a factor of m?
True
Let r(v) = v**2 - 7*v - 2. Let x be r(8). Suppose k - 2*w + 8 = -x*w, -4*k = -3*w + 89. Let o = 56 + k. Is 18 a factor of o?
True
Let u be (13/((-117)/6))/(2/1293). Let x = u + 656. Does 29 divide x?
False
Let c = -5661 - -7043. Is c a multiple of 10?
False
Suppose 0 = 32*q + 106200 - 320472. Is q a multiple of 24?
True
Let w = -6172 - -8866. Does 4 divide w?
False
Let o = 10549 + -3538. Is 41 a factor of o?
True
Let y(g) = 17*g - 53. Let l = -36 + 40. Let u be y(l). Is 6/(-4)*((-2570)/u)/1 a multiple of 39?
False
Suppose 5*q - 23*f + 27*f - 320 = 0, 3*f - 15 = 0. Suppose -2*g - 2*d + 82 = 0, 121 = 3*g + 3*d + d. Let h = q - g. Is h a multiple of 17?
True
Suppose 0 = -2*o - 2*u + 1796, 5*u = -2*o + 1859 - 78. Suppose -37*z - o = -44*z. Is 14 a factor of z?
False
Let j = -32 + 37. Suppose 5*z = -5*t + 1220, -10*z = -13*z + j*t + 756. Is 4 a factor of z?
False
Let h = -289 + 289. Suppose c + 5*i - 160 = 202, 5*c - 3*i - 1810 = h. Is c a multiple of 22?
False
Let b = 2277 + -1481. Suppose -794 = -6*n + b. Is 53 a factor of n?
True
Suppose 4985 = 5*v - 1180. Suppose -26*w + 171 = -v. Is 6 a factor of w?
True
Let u(z) be the first derivative of 13*z**2/2 - 21*z + 20. Let i be u(15). Suppose -3*o = 48 - i. Is 11 a factor of o?
False
Let t(n) = n**3 + 12*n**2 - 10*n - 14. Suppose -3*c - 5*w - 40 = 0, -2*c + 5*w = c + 20. Let h be t(c). Suppose 474 = 8*k - h. Is 19 a factor of k?
True
Let c(l) = -3*l**2 - 14*l + 2. Let w(p) = 2*p**2 + 15*p - 2. Let q(m) = -5*c(m) - 4*w(m). Let a be q(-3). Let y = a - 29. Is 2 a factor of y?
True
Let y(i) = -i**2 + 5*i + 13. Let v(q) = q**2 - 11*q - 27. Let c(z) = -2*v(z) - 5*y(z). Does 37 divide c(12)?
False
Let m(j) = -20*j**2 - 2*j + 6. Let b(z) = -5*z + 67. Let q be b(13). Let a be m(q). Let k = -52 - a. Does 18 divide k?
False
Suppose 4 + 36 = 8*c. Suppose -3*n = 5*l - 405, -4*l - c*n = -207 - 117. Is 31 a factor of l?
False
Suppose b - 3*b = -l, 3*l + 2*b = 0. Suppose -3*k + 9 + 36 = l. Let u(p) = p**3 - 15*p**2 + p + 23. Is u(k) a multiple of 4?
False
Let y = 114 + -113. Let j be (-2)/(((-780)/268)/3 + y). Let n = 232 + j. Is n a multiple of 17?
False
Let j(x) = x**3 - x**2 + 3*x - 6. Let c be j(2). Suppose -c*n + 1970 = -442. Is n a multiple of 67?
True
Suppose 21*o - 17*o = -2*m + 1454, 712 = 2*o - 4*m. Let c = o - 249. Does 32 divide c?
False
Suppose -19*d + 25*d - 12 = 0. Let w be 0 - d/11 - 31/11. Let p(r) = -41*r - 15. Is 12 a factor of p(w)?
True
Let k(b) = 145*b + 336. Is k(0) a multiple of 21?
True
Let z = 99 - 93. Let o(i) = 3*i**2 - 8*i + 24. Is 6 a factor of o(z)?
True
Suppose -1422 = -17*y + 2896. Is (y/10)/(4/20 + 0) a multiple of 7?
False
Suppose 5*h - 124248 = 2*j, 5*h + 14*j - 124247 = 17*j. Is h a multiple of 7?
True
Is 23 a factor of (6 + (-103987)/39)*-6?
True
Does 32 divide -22 + 9 - -825 - -20?
True
Let t = -327 + 332. Suppose -5*b = -2*m + 2327, -t*m = -55*b + 50*b - 5780. Is 20 a factor of m?
False
Suppose 7*b = 3*b - 40. Let k(n) = n + 13. Let q be k(b). Suppose q*p + 282 = 2*a - p, 3*p - 692 = -5*a. Does 21 divide a?
False
Suppose p + p - 8 = 0. Let b(i) = -5*i + 18 + p*i + 2*i. Does 5 divide b(-7)?
False
Let l be (10/25)/((35/(-3425))/(-7)). Suppose -4*z = x + z - l, 5*z = -3*x + 802. Does 3 divide x?
True
Let j(u) = -1. Let l(c) = -9*c + 11. Let y(n) = 8*n - 12. Let h(w) = 4*l(w) + 5*y(w). Let t(d) = -2*h(d) + 28*j(d). Is t(-13) a multiple of 16?
False
Let g = 32254 + -23626. Does 43 divide g?
False
Suppose -44*w + 41*w + 3*h = -5637, 0 = 3*w - 5*h - 5645. Is 75 a factor of w?
True
Suppose 3 = -4*h + 11. Suppose 0 = -7*g + h*g + 175. Suppose 21 = k - g. Does 28 divide k?
True
Let o = -2067 + 4488. Is 9 a factor of o?
True
Suppose -25 - 83 = -3*g + k, 5*k - 180 = -5*g. Suppose 0 = -2*u - g + 632. Does 11 divide u?
False
Is 17 a factor of (-833)/(((-8)/52)/(-27 + 29))?
True
Suppose g + 3 = v, -2*v + 0 = -3*g - 5. Suppose -f + 5*r - g = -0*f, 2*f = r + 43. Suppose -13*n - 2211 = -f*n. Is n a multiple of 33?
False
Let c be -1 + 5 + 6 + -10. Suppose c = -5*q - y + 259, 6*q + 2*y - 154 = 3*q. Is 13 a factor of q?
True
Let i(r) = -853*r - 76. Does 52 divide i(-5)?
False
Suppose -5*n + 8 = -2*n + z, 5*n - 18 = 3*z. Suppose -n*k + 6 = 0, -5*t - k + 1447 + 340 = 0. Is t a multiple of 51?
True
Let n(c) = 94*c**2 + c - 39. Let q be n(-6). Let f = q - 2269. Is f a multiple of 75?
False
Let c = -130 - -134. Suppose 0 = 3*a + y + 93, -16 = c*y - 4. Let r = 40 - a. Does 14 divide r?
True
Suppose -6*c = 4*n - 3*c - 8, 4*n + 5*c = 0. Suppose 5*g = n*u + 3055, 4*u - 627 = -g + u. Does 41 divide g?
True
Let d = -9556 + 29477. Does 17 divide d?
False
Let m = 542 - 431. Let u = 1264 - m. Does 12 divide u?
False
Let a(z) = -4*z + 1. Let w be a(-3). Suppose 5*p - 5*b = 325, -w*p + 3*b - 225 = -16*p. Is 9 a factor of p?
False
Let z(m) be the second derivative of 2*m**4/3 + 11*m**3/3 - 12*m**2 - 24*m. Is 22 a factor of z(6)?
True
Is 1 + 56055/7 - 35/(-245) a multiple of 24?
False
Suppose 3*y - 4*y = -5*p - 152, 4*y - 5*p - 563 = 0. Suppose -2*h = 21 + 9. Let n = y - h. Is 19 a factor of n?
True
Suppose 20 = 4*l + 2*q, q - 18 = -2*l + 2*q. Let p(n) = -l*n + 8*n - 4 + 1 + 4. Is p(8) even?
False
Suppose 5*p + 1530 = 4*p. Is 3 a factor of 16/20 + (p/(-25) - -1)?
True
Let t(y) = 5*y**2 - y + 4. Suppose 0*c + 2*h - 8 = -c, 0 = -h + 1. Let a be (-2)/(-1) - 4*(-3)/c. Does 20 divide t(a)?
True
Suppose -3*u = 3*p + 6, 2*p + p - 3*u = 12. Suppose -7*l = p - 36. Suppose -3*k + 2*v + 2*v + 168 = 0, l*v + 280 = 5*k. Is 8 a factor of k?
True
Let u(g) = -19*g + 156. Let d be u(8). Does 2 divide 62 + 