= -792. Is k a multiple of 12?
True
Let t(h) = -241*h + 13. Let u be t(-2). Suppose -2*l = p + 454, 2*p + u = -3*l - 185. Let j = -4 - l. Does 14 divide j?
True
Suppose 0*t - 189 = -9*t. Suppose 0 = 19*o - t*o + 876. Is (-6)/(4*-6) + o/8 a multiple of 35?
False
Suppose 4*c + 23*d - 26*d - 110037 = 0, -5*c = -5*d - 137545. Is 35 a factor of c?
True
Let z = -624 - -11645. Is 46 a factor of z?
False
Let p be ((1 - -2) + -4)*-5. Suppose 3*u - 6*u + 3464 = p*y, -2*u = 2*y - 2316. Does 47 divide u?
False
Let u = 1249 + -672. Is 2 a factor of (-16)/(-28) - u/(-7)?
False
Does 7 divide ((-86)/(-2) + -4 + -4)*421?
True
Does 5 divide (4380/(-584))/((-1)/96)?
True
Suppose 3*u + 8699 = g - 2877, 0 = 5*g + 2*u - 57982. Is 62 a factor of g?
True
Let g(w) = 3*w - w + 13*w**3 - 4*w. Is g(2) a multiple of 20?
True
Let h be 2 + 71 + (-4 - (-2 - 1)). Let i be (-4)/(-4 - h/(-20)). Let k(t) = t**3 - 10*t**2 + 2*t - 15. Is k(i) even?
False
Let f(n) = n**3 - 7*n**2 + 5*n + 3. Let z be f(6). Let d be (-490)/z - (0 - (-7)/21). Let q = -86 + d. Does 7 divide q?
True
Let g = -247 - -1303. Is 4 a factor of g?
True
Let h(w) be the first derivative of -6*w**3 - w**2 - 14*w + 10 - 6*w**3 + 14*w**3. Is 14 a factor of h(6)?
False
Suppose -187*s + 173*s - 16114 = 0. Let j = -488 - s. Does 51 divide j?
True
Let k(t) = -t**3 + 12*t**2 - 12*t + 11. Let n be k(6). Suppose -6*x + x - n = 0. Let w = x - -55. Is 4 a factor of w?
True
Let s(c) = -284*c + 11170. Is 3 a factor of s(-15)?
False
Suppose v = -4*p + 13746, 4*v = 9*p - 19559 - 11407. Is 184 a factor of p?
False
Let p(y) = -y**3 + 10*y**2 - 10*y + 11. Let t be p(9). Suppose -q - 2*w = -178, 6*w - 8*w + 354 = t*q. Is 16 a factor of q?
True
Let z(v) = -30*v - 86. Let k be z(-3). Suppose -5*p = 2*a - 311, -k*a - p + 499 = -a. Is a a multiple of 8?
True
Suppose -x + 0*x = 2*x. Let m be 96/48 - (0/1 + x). Suppose 2*s + 4*g = 154, 5*s = -0*s - m*g + 425. Does 7 divide s?
False
Suppose 22*i - 11*i = 429. Suppose -3*k + 5*v + 3 = -i, -v = 5*k - 70. Let f = k - -70. Is f a multiple of 6?
True
Suppose -4*h + 2*i + 18402 = 0, -84*h + 81*h - 2*i + 13784 = 0. Does 97 divide h?
False
Suppose d + 27 - 27 = 0. Let s(b) = b**2 - b. Let x be s(2). Is 2*(43/x + d) a multiple of 3?
False
Suppose -140628 - 86001 = -9*y. Is y a multiple of 313?
False
Let o(r) = r**3 - r + 547. Let m be o(0). Let k = -142 + m. Is k a multiple of 27?
True
Let q(j) = 34*j - 2. Let z be q(-1). Let g be z - (1 - 1)*-1. Does 18 divide g*(4 - 36/8)?
True
Let q(l) = 2*l**3 - 14*l**2 + 116*l - 95. Does 44 divide q(16)?
False
Let p be (-12)/(2820/(-702) + 4). Suppose -2 + 131 = n + 4*a, 5*n - p = -a. Is n a multiple of 23?
False
Let z be (12 + -11)*(0 + -29). Let a = z + 35. Let w = a - -90. Is w a multiple of 26?
False
Suppose 2*s - 14616 = -2*z, 3*s + 0*z = 10*z + 21833. Does 6 divide s?
False
Suppose 75 - 219 = -12*a. Suppose a*t - 2214 = 594. Is t a multiple of 26?
True
Suppose -7574 = -126*x + 124*x + 5*g, 0 = x + g - 3794. Does 237 divide x?
True
Suppose 76*f - 373362 = 510120 - 117402. Is f a multiple of 96?
True
Suppose -3 = -2*z + 3. Suppose 2*x - 5*g - 338 = x, 0 = z*x + 4*g - 995. Suppose -x = -3*t + l, -221 = -4*t + 2*t + l. Is 7 a factor of t?
True
Let l(r) = 4*r**2 + 217*r - 1113. Is l(-105) a multiple of 26?
True
Let n be (0 - -2) + -10 + 6. Let b = 6 + n. Suppose 2*u = -4*r + 282, -r + 5*r - b*u = 300. Is r a multiple of 13?
False
Suppose 12*w - 108452 = -m, 0 = -4*m - 8 + 40. Is 7 a factor of w?
True
Let t(o) = -5*o**2 - 6*o + 6. Let d be t(3). Let l = d + 60. Suppose 14*k - l*k - 528 = 0. Is k a multiple of 8?
True
Suppose 0 = -44*i - i + 720. Suppose 0 = -4*s + 2*s + 6. Suppose 26 = s*c - i. Is 8 a factor of c?
False
Suppose -5*l = -20, -5*i = -l - 55 - 1546. Does 17 divide i?
False
Let s = -140 + 84. Let q = 83 + s. Is 3 a factor of q?
True
Let z be -4 + ((-24)/18 - 1/(-3)). Let t(p) be the third derivative of 3*p**5/20 + 5*p**4/8 + p**3/6 - 3*p**2. Is t(z) a multiple of 12?
False
Does 38 divide (-13)/52*-76*(-1 - -377)?
True
Let j(l) = -11*l**2 - 5*l - 7. Let s(a) = 6 + 8*a**2 + 3*a**2 + 4*a + 6*a**2 - 7*a**2. Let z(n) = 3*j(n) + 4*s(n). Is 11 a factor of z(2)?
True
Is 103 a factor of (-4)/18 + (-6709560)/(-1242)?
False
Let g = 592 + -217. Let i = g + -39. Is 8 a factor of i?
True
Let n(l) = 118*l**2 + 1. Let b be n(-1). Suppose -3*u = -2*u - 2*i - 20, 0 = -4*u - 5*i + b. Suppose -5*h + 149 = -u. Is h a multiple of 7?
True
Suppose 5*o = 2*p + 44, -2*o + 3*p = -6 - 16. Suppose -o*w + 2952 = w. Is 24 a factor of w?
False
Let h(j) = 5*j**2 + 2*j - 3. Suppose -1 = u + 5*w - 2, -5*u + w = -5. Let o be h(u). Suppose 0*l = -l + 3*z + 68, -216 = -o*l - 2*z. Is l a multiple of 40?
False
Let w(t) = -t**2 - 29*t + 4. Let h be w(-29). Is 28/(h + 42/(-11)) a multiple of 11?
True
Suppose -3*y + 6*y - 111 = 0. Let g = y + -31. Let d(x) = 20*x + 12. Is 18 a factor of d(g)?
False
Let a = -246 + 442. Does 48 divide (7/(a/(-384)))/((-1)/7)?
True
Suppose -16*k + 12*k + t + 20 = 0, 5*t = -k + 26. Is 4185/(-10)*(-8)/k a multiple of 62?
True
Let i(s) = -150*s - 54. Let p be i(-5). Suppose -p = -60*w + 54*w. Is 4 a factor of w?
True
Suppose 20*w = 17*w + 54. Suppose -4 = -w*l + 16*l. Suppose 3*b = 8*b, -l*y + 468 = 3*b. Does 13 divide y?
True
Let n(c) = -31*c**3 - 46*c**2 + 2*c - 7. Does 23 divide n(-11)?
False
Let v = -249 - -270. Is (-105)/v + 7*13 a multiple of 9?
False
Suppose -4*b - i = 22, -14*b + 18*b + 5*i + 14 = 0. Is (b*4/(-6))/((-12)/(-48)) a multiple of 9?
False
Suppose 0 = -5*g - 3*j + 10450, -5*g = 2*j - 2767 - 7688. Is 91 a factor of g?
True
Is 9 a factor of 1074280/42 + (-18)/189?
True
Suppose -2238 - 2022 = -4*j. Suppose 3*b - 4*x - 1069 = -3*x, -3*b = -3*x - j. Does 17 divide b?
True
Let y be ((-2610)/29)/(1/(-2)*1). Let q be ((-8)/(-9))/(40/y). Suppose 4*z + 5*t = 692, 5*z - q*t = -0*t + 906. Is 24 a factor of z?
False
Let u = 1020 + -1026. Let i(f) = -13*f - 10 + 5*f**2 + 10. Is 26 a factor of i(u)?
False
Suppose 5*t + 3465 = z, z + 21*t - 18*t = 3465. Is 21 a factor of z?
True
Let s(x) = 4*x**3 + 3*x - 2. Let i be s(1). Suppose -102 = 2*u + i*y, y = -u + 4*u + 170. Let d = u - -80. Is 4 a factor of d?
True
Suppose -k = x - 7, 1 = -4*x + 2*x + k. Suppose -5*c - f - f + 236 = 0, 3*c - x*f - 148 = 0. Suppose n - o = 2*o + c, 68 = n + o. Is 21 a factor of n?
True
Let h(a) = 2*a - 138. Let r be h(-12). Let z = r - -298. Is z a multiple of 20?
False
Suppose 0 = -4*p - p - 3*r + 408094, 14 = -2*r. Is 30 a factor of p?
False
Suppose -95*x + 15193 - 62878 = 194*x. Suppose 0 = -5*y - 5, 5*z - 4*y - 1179 = -0*z. Let l = x + z. Does 10 divide l?
True
Is (-20718)/(-72) - (-9)/36 a multiple of 12?
True
Suppose 4*w - 2*p = 9276, 0 = 2*w + 3*p - 2741 - 1889. Is 34 a factor of w?
False
Suppose 2*v - 3512 = 114*k - 115*k, 5*k = -4*v + 17530. Is k a multiple of 34?
True
Let t(g) = 44*g**2 - 4*g - 7. Let h be t(-2). Suppose 16*x - 21*x + 4*u = -432, 2*x - 3*u - h = 0. Is x a multiple of 13?
False
Let o = 54 - 18. Let w = -56 + o. Is 19 a factor of (-4 - (-424)/w)*-5?
False
Let n(o) = o**3 + 23*o**2 + 41*o - 15. Let m be n(-21). Is 13 a factor of (-2)/(m + -4)*-14?
False
Suppose 1959*v - 61620 = 1946*v. Does 30 divide v?
True
Suppose 0*t = 2*u + t + 48, -4*u + 3*t = 76. Let l be (56/(-9))/(-1) - u/(-99). Is 3/2 - 1 - (-441)/l a multiple of 37?
True
Let u be -2*(-7)/(49/(-84)). Let b be 49 - 2/(-4)*-4. Let i = u + b. Does 9 divide i?
False
Let v(u) = u**2 + 2 + 5 + 2 + 9*u - 3. Let a be v(-9). Let x = 20 - a. Does 14 divide x?
True
Let d be -3 + 4 + 1 - -41. Let u = 48 - d. Let m = 38 - u. Does 33 divide m?
True
Suppose 34*o + 8040 = 2*m + 39*o, -5*o = -2*m + 8040. Is m a multiple of 12?
True
Let z = 3044 - 3042. Let p(y) = -3*y + 2*y + 8*y**2 + 5 + 2*y. Does 3 divide p(z)?
True
Let i(r) = -2*r**2 + 7*r - 34. Let k(c) = 2*c**2 - 13*c + 67. Let p(a) = -11*i(a) - 6*k(a). Is p(4) a multiple of 17?
True
Let n be ((-52)/(-6) - 4)/(2/(-9)). Let g = n - -26. Suppose g*d + 12 - 207 = 0. Is d a multiple of 13?
True
Let t = 15959 + -779. Is 138 a factor of t?
True
Let w(n) = n**3 + 21*n**2 - 41*n + 113. Let c be w(-23). Let o(j) = -5*j**3 + 2*j**2 - 11*j - 21. Is o(c) a multiple of 2?
False
Suppose -35 = -2*t - 3*t. Let s(g) = 0*g - 6*g**2 + t*g**2 + 4 + 3*g - 4*g. Does 4 divide s(0)