of -w**4/4 + 6*w**3 + w**2 + 7*w + 74. Does 28 divide k(18)?
False
Suppose 0 = 21*o - 17*o - y - 58353, -5*o + 4*y = -72922. Is 23 a factor of o?
False
Let o(y) = 27*y - 119. Let j(k) = 54*k - 241. Let x(i) = -6*j(i) + 13*o(i). Is x(12) a multiple of 36?
False
Suppose -o = o + d - 9, -d - 6 = -3*o. Let c(a) = -a + 76. Let r be c(-7). Suppose -95 = -5*h + 5*t, 6*h - r = 2*h - o*t. Is 3 a factor of h?
False
Let s(r) = r - 2. Let p be s(-7). Let l be p/((-135)/6)*(6 - 1). Suppose 4*z - 250 = -0*z + l*a, 0 = -a - 5. Is z a multiple of 13?
False
Let x(q) = 2*q**3 + 3*q**2 - 6*q - 5. Let y be x(-2). Suppose -y*a + 118 = 10. Does 4 divide a?
True
Let x be 21 + (4 + -5 - -2). Let m = x + -20. Suppose -2*b + 115 = 3*j, -2*j = 5*b + m*j - 284. Is 8 a factor of b?
True
Let c = 12988 - 5789. Is c a multiple of 183?
False
Let s be (-63)/14 - (-2)/4 - -7. Suppose -i - 43 = -2*i - 5*u, u + s = 0. Is 2 a factor of i?
True
Let q(a) = a**3 - 71*a**2 + 145*a + 60. Is q(70) a multiple of 15?
True
Let f(g) = -g**3 + 7*g**2 + 14*g - 42. Let p be f(8). Let s be 9/p*(-40)/24*28. Let h = 190 + s. Does 30 divide h?
True
Let c be (6 - -99)/(-7)*(-1)/3. Suppose j + 2*j - 296 = -b, -c*j = 10. Let l = b + -131. Does 25 divide l?
False
Let f be ((-5)/20)/(9/12)*0. Is 16 a factor of (-96)/216 + 238/9 + f?
False
Let n(c) = 2*c**2 + 108*c - 3920. Is 63 a factor of n(-103)?
True
Let y(f) = f**3 + 8*f**2 - 12*f - 16. Let w be y(-9). Let g(s) = 279*s - 55. Let r(x) = 56*x - 11. Let m(a) = w*r(a) - 2*g(a). Is m(3) a multiple of 15?
False
Let p = -22745 - -42524. Is p a multiple of 9?
False
Suppose s + 0*v - 9 = 2*v, s - 4*v = 13. Suppose t + 2*g - 119 = 0, s*t - 5*g - 27 - 538 = 0. Is t a multiple of 8?
False
Suppose 3*g - 4*g - 98 = t, 2*g = 2. Let f = -92 - t. Suppose 160 = f*a + a. Is a even?
True
Is 234 a factor of -2 + 2 + 10 + (-26432)/(-1)?
True
Suppose -5*p + 3*s + 117324 = 0, -p + 35*s + 23454 = 38*s. Is 79 a factor of p?
True
Let k be 36/(1 + 3)*1 - 3. Suppose k*z - 36*z + 9930 = 0. Is 13 a factor of z?
False
Let z = 9183 - -4706. Is z a multiple of 18?
False
Let b = -51 - -55. Suppose p - 86 = -p - 4*y, 220 = 4*p - b*y. Is 10 a factor of (11 - 1)/(3 + p/(-18))?
True
Suppose k - 10*z - 767 = -6*z, -5*k + 5*z + 3880 = 0. Suppose -3*o - p = -k, p + 0*p - 1299 = -5*o. Is 10 a factor of o?
True
Suppose 2*u - 221 - 65 = 0. Suppose -4*w + 4 = 0, z - u = -2*z + w. Does 23 divide z?
False
Let r be 34/14 + (-10)/(630/27). Is 12 a factor of (-2 - 3) + 314/r?
False
Suppose 5*z + 12 = -3, -16 = -5*w + 2*z. Let p be -2*(-5 - -2 - -2) - w. Suppose p*y = 4*y - 192. Is 12 a factor of y?
True
Suppose 11*x + 1621 = 48855. Is 113 a factor of x?
True
Let x = 104 + 48. Let n = x + 319. Suppose -2*f + n = -105. Is f a multiple of 24?
True
Let n(q) = q**3 - 5*q**2 + 4*q - 3. Let x be n(7). Suppose -4*c + x = -c. Let h = c + -32. Is h a multiple of 9?
True
Suppose 0 = -d + 5*y + 122, 5*d + 5*y = 3*d + 274. Suppose 0 = -7*s + 1070 - d. Is 12 a factor of (-12)/3 + 8 + s?
False
Let w(k) = 2*k**2 - 14*k - 8. Let t be w(8). Suppose 2*c + 0*c - t = 0. Is 8 a factor of 19*c - (6 - 9)?
False
Does 184 divide ((-45)/10)/((-117)/71760)?
True
Let g(l) = 3*l**3 + 5*l**2 - 128*l - 84. Does 317 divide g(21)?
False
Suppose -18*u + 4*u - 406 = 0. Let d = -10 - u. Suppose 0 = t - 63 + d. Is 22 a factor of t?
True
Let v = -64 + 67. Suppose -o + 356 = v*o. Let z = o - 11. Is z a multiple of 13?
True
Suppose 60*q = 54*q. Suppose -4*b + a + 864 = -2*a, q = 4*a. Is b a multiple of 9?
True
Let g(l) = -15*l + 78. Let k be 1088/(-32) - -1*(-2)/(-1). Is 18 a factor of g(k)?
True
Is 17 a factor of 2*(-11 + 2478/12)?
True
Suppose 5*j = 8*j - 774. Suppose 4*p = 5*h - j, -4*p - 55 = 3*h - 197. Let m = 55 - h. Is m a multiple of 2?
False
Suppose -8112 = -24*s - 3759 + 8607. Is s a multiple of 30?
True
Let q(a) be the first derivative of a**3 - 3*a**2 + 4*a + 39. Let h be q(2). Suppose 0 = h*t - 8*t + 152. Is 11 a factor of t?
False
Let j(y) = -239*y - 1465. Is j(-9) even?
True
Let c = -197 + 525. Let z = 342 - c. Is z a multiple of 2?
True
Let n be (-17188)/3*(-12)/8. Suppose 1801 = 27*d - n. Is 5 a factor of d?
True
Let v(k) = -8*k**2 - 32*k + 1. Let a be v(-4). Let j be 103/(2*a*1/2). Suppose 0 = -3*l + j + 227. Does 44 divide l?
False
Let b(u) = u**2 + 12*u + 25. Let i be b(-15). Is -6 + 0 - (-7)/(i/1580) a multiple of 8?
True
Let c = -134 + 132. Does 27 divide (-6*(-3370)/20)/(c/(-2))?
False
Let h(u) = 41*u + 250. Let v be h(-6). Is 15 a factor of ((-42 - (-5)/(-5))*v)/(-2)?
False
Let l = 16913 + -8025. Is 37 a factor of l?
False
Let u = 105 + 206. Let d = -167 + u. Is 4/5 + d/20 a multiple of 3?
False
Suppose 0 = 57*r - 917156 - 117679. Is 20 a factor of r?
False
Let y = -50 + 83. Suppose -3*r + 717 = 2*a + y, -702 = -3*r + 4*a. Suppose 3*s + 117 = t, t + t - r = 4*s. Does 37 divide t?
True
Let f(a) = 5*a**2 - 2147*a - 6 + 11 + 3*a**3 + 2145*a. Is 37 a factor of f(3)?
False
Suppose 621*x + 20916 = 623*x. Does 11 divide x?
False
Let t(z) = 7*z**2 - 105*z - 210. Is 20 a factor of t(-25)?
False
Suppose -24*j = -21*j + 3*a - 5739, 4*j - 7655 = -5*a. Suppose -489*k + j = -479*k. Is 10 a factor of k?
False
Let s(t) = 51*t**2 + 112*t - 2770. Is s(23) a multiple of 66?
False
Let x(a) = 5*a**3 + 88*a**2 + 2*a + 143. Is x(-11) a multiple of 34?
True
Let q = 0 + 4. Suppose -11*n = -1400 - 2340. Suppose h = -q*h + n. Does 17 divide h?
True
Let x(w) = 11*w**2 + 32*w + 282. Is x(-9) a multiple of 3?
True
Let n = 184 - 4. Suppose n = 2*f - 72. Is 9 a factor of f?
True
Suppose m - 34 = 19. Let r = -53 + m. Does 14 divide -1 + (21 - 1) - r?
False
Does 97 divide 2/(-4) - (-1455630)/484?
True
Suppose 3*z + 3*h - 37506 = 0, 2*z - 18534 - 6506 = 4*h. Is 17 a factor of z?
False
Let y = 5729 - 5729. Let d = 1 + 3. Is (29/d - y)*36 a multiple of 29?
True
Let u be (-6 - -5) + 5 + -1. Suppose 0 = -3*f - 0 + u, 2*x + 5*f = 9. Suppose -n - w + 20 = -0*n, -n + 5*w + x = 0. Is 17 a factor of n?
True
Let g = 29 + -22. Suppose -36 = h - g*h. Is 8 a factor of (63/(-6))/(h/(-16))?
False
Suppose -2*m + 230 = 70. Let v be -6*19/(-8) + (-20)/m. Suppose 2*l - 54 = -x, -4*x + v = -4*l + 122. Is 9 a factor of l?
True
Suppose 0 = -5*y - 14*m + 15*m + 29213, 0 = -5*m - 40. Is 30 a factor of y?
False
Let u(j) be the first derivative of -3*j**2 + 45*j - 1. Let d = 1257 + -1251. Does 9 divide u(d)?
True
Let p(g) = 182*g**2 - 40*g - 41. Suppose 4*m - 4*t - 2 - 2 = 0, -5*m - 9 = 2*t. Is p(m) even?
False
Does 58 divide (30737 + 3)*(-38)/(-95)?
True
Let n = -584 - -2402. Does 7 divide n?
False
Let k(g) = 12*g + g**2 - 6 - g - g. Let f(u) = 3*u**2 - 8*u - 127. Let o be f(-5). Is k(o) a multiple of 18?
True
Is 152 a factor of (((-264)/16)/((-9)/2))/(1/3192)?
True
Suppose 10*i - 178710 = 305845 + 58025. Is 32 a factor of i?
False
Let p = 18 - 16. Let d be ((-6)/3 + p)/(-3). Suppose d*q + 64 = q. Is 16 a factor of q?
True
Let x(v) = 17*v**2 + 190*v - 5228. Is x(39) a multiple of 304?
False
Let x = -3209 - -7781. Is x a multiple of 12?
True
Let d(r) = r**3 + 34*r**2 + 15*r - 506. Is d(-18) a multiple of 116?
True
Suppose -3104 = -3*n - 5430*q + 5426*q, -2*q + 16 = 0. Is 54 a factor of n?
False
Suppose 0 = 3*v - 3*w - 417, v - 25 = -w + 112. Suppose 446 = n + 2*l, l - v = -n + 312. Is n a multiple of 24?
False
Suppose 0 = -2*g - 3*v + 13, -v = 2*g - 7 - 4. Suppose 3*t + 3*a = -18, -t - g*a = 14 - 0. Is 28 a factor of (466/10)/(t/(-20))?
False
Let n(h) = -h**3 + 17*h**2 - 7*h - 15. Let b be n(12). Let w = 989 - b. Is w a multiple of 23?
True
Let o(f) = f**2 - 2*f + 3. Let b be o(1). Suppose -b*z - 762 = -5*z. Let q = z - 124. Does 12 divide q?
False
Let m(u) = -u**2 + u - 1. Let i(l) = -l**2 + l - 119. Let p(x) = -i(x) + 2*m(x). Let q be p(0). Let k = -79 + q. Is k a multiple of 19?
True
Suppose -269395 - 102725 = -35*l. Is l a multiple of 41?
False
Let n(q) = q**2 + 12*q + 18. Let z be n(-16). Suppose 4*a - 77 = a + s, 2*s = 3*a - z. Let h = -8 + a. Does 14 divide h?
False
Let a = 3131 - -15969. Is 5 a factor of a?
True
Suppose 21*w - 9691 - 12086 = 0. Is 10 a factor of w?
False
Let j be (-3)/(-1) - (-2)/((-2)/(-47)). Suppose -2 = o - j. Let c = 223 - o. Is c a multiple of 51?
False
Let y(k) be the first derivative of 21 - 5/2*k**2 + 186*k. Is 21 a factor of y(0)?
False