*q**3 + 6*q**2 - 3*q - 1/4*q**4. Does 9 divide h(-13)?
False
Suppose 5*f + 4373 = 2*v, -7*v + 8*v = -f + 2183. Does 42 divide v?
True
Suppose 2*d + 4*a = 330, 43*a = 40*a + 3. Is 24 a factor of d?
False
Let o be 22887/(-99) + (-4)/(-22). Does 4 divide (-1)/(9/(-63) + (-26)/o)?
False
Let x(f) = -2*f + 36. Let b be (-4)/((-5)/(-2)*(-32)/(-360)). Is 18 a factor of x(b)?
True
Is 24 a factor of 3/(-4) - 7846/(-8)?
False
Does 34 divide (13 - 3)/(6/105)?
False
Suppose -2*o - 4*h + 820 = h, -4*h - 856 = -2*o. Is 21 a factor of o?
True
Suppose 262*i - 258*i - 256 = 0. Is i a multiple of 18?
False
Let s = 1531 + -805. Is s a multiple of 66?
True
Suppose -21 = -6*m - m. Suppose m*j = 5*a + 990, -3*j - 660 = -5*j + 3*a. Does 15 divide j?
True
Suppose 3*x - 76 = 5*f + 163, 5*f + 415 = 5*x. Is x a multiple of 40?
False
Let x be -3 - (-9)/3 - -5. Suppose x*b - 22 = -2*i + 3, -b + 23 = 4*i. Suppose 0 = i*z - 0*z - 500. Is z a multiple of 25?
True
Suppose -5*m + 3670 = 5*g, g - 744 = 6*m - 5*m. Is 28 a factor of g?
False
Let c = -181 + 274. Let h = c - 59. Is h a multiple of 6?
False
Suppose -3*r - 3558 = -4*c + c, 3*c - 3552 = r. Does 125 divide c?
False
Let g(k) = -k**3 - 3*k**2 - 2*k - 2. Let z be g(-2). Let q be (45 - (z + 3)) + -3. Let s = q - 10. Does 11 divide s?
False
Suppose 5*p + 756 = -4*f, 3*f + 94 = -p - 473. Let d(x) = x**3 - 5*x**2 + 3*x. Let r be d(4). Is 18 a factor of (f/(-14))/((-2)/r)?
False
Let b(q) = 10*q**3 - 6*q**2 + 61*q - 531. Does 13 divide b(8)?
True
Suppose 4*i = 2*t + 168, t + 100 = 2*i + 4*t. Is i a multiple of 22?
True
Let f(h) = -23*h**3 - h**2 - 3*h - 2. Let d be f(-1). Let l = 1 + d. Is 12 a factor of l?
True
Is 17 + 762 + 6/(-1) a multiple of 21?
False
Is 31 a factor of 11/(385/(-16700))*(-14)/4?
False
Suppose -61 = -5*v - 3*j + 23, 2*v = 2*j + 40. Is v a multiple of 3?
True
Let b be -40 + 1*(-2 + 6). Let f = b - -51. Does 3 divide f?
True
Let o = 1536 - 1252. Is 14 a factor of o?
False
Suppose 4*v = v + y + 12, -v + 4 = 5*y. Suppose -v = s - 19. Is s a multiple of 4?
False
Is -5 - (10659/(-5) - (-45)/(-225)) a multiple of 98?
False
Suppose -6 = t + 3*d, 4*t + 3*d = -0*t + 12. Suppose -t*c + 206 = 2. Is 14 a factor of c?
False
Suppose -13*k = -4*k - 3150. Is 16 a factor of k?
False
Suppose -3*s - 3 = 0, -235 = -4*c + 4*s - 43. Let m(z) = 24*z**3 + 2*z + 1. Let r be m(-1). Let k = c - r. Is k a multiple of 12?
True
Suppose 26*b - 33*b + 21 = 0. Suppose 0 = b*d - 48 - 6. Is d a multiple of 4?
False
Suppose i = -i + 426. Suppose -x - 3*z + i = -0*z, 5*x + 2*z = 1065. Suppose 5*d + x = 513. Is d a multiple of 15?
True
Let p = 1951 - -799. Is 10 a factor of p?
True
Is 18 a factor of ((-3441)/333)/((-1)/54 - 0)?
True
Let y(o) be the first derivative of -25*o**4/4 - o**3/3 - o**2 - 11. Is y(-1) a multiple of 13?
True
Suppose 4*k - 5*k + 2945 = 4*q, -4*q + 5*k = -2939. Is 50 a factor of q?
False
Let q(o) = o - 2. Let k be q(3). Let d = k + 3. Suppose -d*c - 4*g + 144 = 0, 23 + 80 = 3*c + 2*g. Is 13 a factor of c?
False
Let v(a) = 6*a**2 - 2*a - 3. Let h(g) = -2*g - 4. Let t be h(-1). Is v(t) a multiple of 5?
True
Suppose -625*n - 2618 = -632*n. Does 22 divide n?
True
Suppose 13*h = 16*h - 2385. Does 28 divide h?
False
Let l(m) = 29*m**2 + 5*m - 8. Let k be l(-5). Let g be k/(6*(-2)/(-6)). Suppose 5*p - o - g = -3*o, 3*o - 274 = -4*p. Is 10 a factor of p?
True
Suppose 0 = 6*n - 15*n + 540. Does 5 divide n?
True
Let a = 18 + -15. Let m = -3 + a. Suppose -5*y = -20 - m. Is y a multiple of 2?
True
Suppose k = 310 - 258. Is 39 a factor of k?
False
Suppose 2*b + 510 = 7*b. Suppose b = -5*d - 5*y + 6*y, -5*d - 5*y - 90 = 0. Does 12 divide d/6*(-147)/14?
False
Suppose -f + 139 = -88. Let g = 32 - f. Let i = -113 - g. Is i a multiple of 27?
False
Let a(r) = -r**3 + 23*r**2 - 78*r + 19. Is 47 a factor of a(18)?
True
Let l(q) = q + 35. Let m(c) = c**3 + 6*c**2 + 4*c + 2. Let j be m(-6). Is l(j) a multiple of 2?
False
Let r be 14 - 10 - (-304)/2. Suppose r + 364 = 4*s - 3*q, 0 = -3*q + 12. Is s a multiple of 19?
True
Suppose -4*r + 13 + 95 = 0. Does 9 divide r?
True
Let l = 115 - 67. Does 12 divide l?
True
Let q = -16 - -12. Let g be q/(-2)*(1 - 0). Suppose b + 6 - 33 = 3*l, 3*b - g*l - 74 = 0. Does 8 divide b?
True
Does 6 divide 3/(-2) - (-6075)/50?
True
Is 18 a factor of 74/(-185)*1460/(-1)?
False
Suppose -4*q + 475 = -d, 4*q + 3*d - 153 = 342. Is q a multiple of 5?
True
Let h = -255 + 479. Is 3 a factor of h?
False
Let m = 11 - 13. Let j be m/(-3)*102/(-17). Does 20 divide (-1512)/(-32) - (-1)/j?
False
Suppose 0 = 2*h - a - 86, 0 = 6*h - 8*h - 5*a + 74. Is 7 a factor of h?
True
Suppose r + 109 = -4*s + 25, -r - 86 = 3*s. Let k = -42 - r. Is 23 a factor of k/(-6)*-3 + -2?
True
Let q(r) = 160*r**2 + 30*r + 104. Is q(-4) a multiple of 32?
False
Let h(s) = 19*s - 12. Let l be h(6). Let j = -3 + -54. Let u = l + j. Is 9 a factor of u?
True
Let o = -151 - -215. Suppose -3*t + o = 2*f, 3*f - 3*t - 159 + 63 = 0. Is f a multiple of 3?
False
Suppose k + 117 + 103 = 0. Let y = 324 + k. Suppose -3*u + 10 = -y. Does 10 divide u?
False
Let r = 1797 - 1061. Is 17 a factor of r?
False
Suppose -251 = -3*s - 44. Let t be (s/2)/((-4)/8). Let p = -31 - t. Is p a multiple of 19?
True
Let w = -18 - -91. Suppose 221 + w = 2*m. Is 20 a factor of m?
False
Does 36 divide 5*((-8)/28 + 5302/35)?
True
Let o be (11 - 5)/((-2)/3). Let a = -2 + o. Let f = -5 - a. Does 2 divide f?
True
Let d = -9 - -206. Suppose -2*j = d - 1. Let a = 140 + j. Is a a multiple of 8?
False
Suppose -92 = -6*m + 220. Let x = m + -45. Does 7 divide x?
True
Let r(c) = 4*c**3 - 2*c**2 + c + 12. Does 15 divide r(4)?
True
Let i(m) = -47*m - 808. Does 15 divide i(-31)?
False
Suppose -5*r = -r - 56. Suppose -r = 2*x - a, -x = -4*x + 5*a - 21. Let g = x + 32. Does 5 divide g?
True
Let c(k) = 6*k**2 + 11*k + 2. Suppose -4*n + t = -3*t + 24, -4*n - 21 = -3*t. Does 14 divide c(n)?
False
Let w(d) = -15*d + 1. Let c be w(-6). Suppose -c - 299 = -5*m. Is 13 a factor of m?
True
Let k(u) = u - 19. Let c be k(19). Suppose -5*b + 4*o = -0*b - 84, -2*b - o + 44 = c. Is 5 a factor of b?
True
Let r(t) = -t + 2. Let d be r(-1). Suppose 25 = 3*g - 5*b, -b - 3 = g + d*b. Suppose 45 = 2*n + 3*v - 89, -g*v = 3*n - 200. Does 14 divide n?
True
Suppose 2*u + 4 = 4*u. Suppose -w + 28 = u*t, 3*t - 2*w - 52 = -w. Is t a multiple of 16?
True
Is 6 a factor of (18/27)/((3 + -2)/207)?
True
Suppose -7*c - 27*c = -14314. Does 16 divide c?
False
Is 3 a factor of 19740/16 + 35/140?
False
Is (-23)/(-4)*(9 - 17)*-2 a multiple of 5?
False
Suppose -24*n + 435 = j - 20*n, 0 = 4*j + 4*n - 1716. Does 19 divide j?
False
Let s(o) = -o**3 + 60*o**2 - 4*o - 142. Is 88 a factor of s(59)?
False
Suppose -4*p + 3*m = -19, 4*p - 2*m - 23 = -9. Let i be 44/p - (4 - 5). Is 11 a factor of 57/5 + (-18)/i?
True
Suppose 2 = 3*t + 2*t - 2*u, 0 = -5*t + 4*u + 4. Let h(m) = -2*m + 12. Let w be h(t). Suppose 15 + w = c. Does 10 divide c?
False
Let h = 73 + -90. Is 21 a factor of 2/(-17) - (1056/h + -2)?
False
Let s(w) = 3*w**2 + 8*w - 3. Let i be s(6). Let r = i + -64. Is 12 a factor of r?
False
Let f(c) be the second derivative of -7*c**6/360 - 3*c**5/40 + c**4/4 + c. Let r(t) be the third derivative of f(t). Is r(-4) a multiple of 14?
False
Let c(d) = -7 - 12 + 8*d + 5*d**2 + 3 + 4. Let r(f) = f**3 - 9*f**2 + f - 5. Let u be r(9). Is c(u) a multiple of 20?
True
Let y(k) = 24*k**2 + 17*k - 28. Is y(9) a multiple of 34?
False
Let q = -1802 - 1168. Is q/(-72)*8/3 a multiple of 22?
True
Let d(j) = -6*j + 7. Let v(b) = -7*b + 7. Suppose -6*g = -2*g + 20. Let q(u) = g*v(u) + 6*d(u). Is q(-10) a multiple of 13?
False
Let l(z) = z**2 - 15*z + 6. Let k be l(15). Suppose k*u - 164 = 940. Does 23 divide u?
True
Let k(z) = -z - 6. Let v be k(8). Let a = v + 11. Is 11 a factor of 40 - (a + (5 - 3))?
False
Suppose 0 = 6*f - 11*f + 5. Is 4 a factor of (1 + 0)*(18 + f)?
False
Let g(a) = a**3 - a. Let i be g(0). Suppose 0 = 4*k - i*k - 128. Is k a multiple of 8?
True
Suppose -2*l - 20 = -7*l, -4*k = l - 12. Suppose k*v + 4 = v. Let y = 3 - v. Is y even?
False
Suppose 2*w = 0, 4*p - 8 = 5*p - w. Let q(x) = -2 - 9*x**2 - x + 7 - x**3 - 8*x. Is q(p) a multiple of 10?
False
Suppose -2*q = -5*o - 0*q - 22, -q = -1. Let l(a) = -5*a**2 - a - 8. Let u be l(o). Does 14 divide (6