 j(x) = -5*x - 3. Let p be j(-1). Suppose -2*w - p*w = 240. Let i = w - -90. Does 15 divide i?
True
Let x be (198/55)/(4/1440). Suppose -2*l = -k + 421, 5*k = 8*k + 5*l - x. Is 61 a factor of k?
True
Suppose -2*h - 202 + 210 = 0. Suppose -5*k = 2*s - 2456, s = 3*s + h. Is k a multiple of 8?
False
Suppose -10*w = 24*w - 714. Is w/(0/(-1) - (-5)/35) a multiple of 49?
True
Suppose -73*t - 298*t = -1984850. Is t a multiple of 25?
True
Let u = -432 - -687. Let v = 267 - u. Does 5 divide v?
False
Suppose 2*q = -1219 + 12187. Is q a multiple of 151?
False
Let i(r) = -15*r**3 - 25*r**2 - 69*r + 22. Does 128 divide i(-14)?
True
Suppose 9*i - 18 - 9 = 0. Suppose 1382 + 535 = i*x. Is x a multiple of 9?
True
Let f(v) = v**2 - v - 20. Let k(u) be the third derivative of -u**5/60 - u**4/8 - 5*u**3/3 - 4*u**2. Let o be k(0). Is 9 a factor of f(o)?
True
Suppose 41*t - 164 = -1517. Is 38 a factor of (603 + t)*3/5?
True
Let r be 18/((-1)/6 - (-15)/(-18)). Let k(j) = -j**3 - 19*j**2 - 19*j - 18. Let u be k(r). Suppose -3*x - 5*c = -u*x - 77, 4*x - 101 = -5*c. Does 10 divide x?
False
Suppose -59183 = -28*r + 30081. Does 7 divide r?
False
Let v = 917 + 3005. Is 37 a factor of v?
True
Suppose 4*q + 198 = 3*r + q, q = 5. Let n(i) = -6*i - 14. Let a be n(6). Let p = a + r. Is 19 a factor of p?
False
Suppose -213*n - 113230 = -226*n. Is n a multiple of 16?
False
Suppose -7 = -4*h + 9. Suppose k + 171 = h*k. Suppose 2*d = 4*t + k - 211, 0 = 3*t + 2*d - 105. Does 37 divide t?
True
Suppose -12*f - 25662 = -26*f. Let p = -965 + f. Is p a multiple of 31?
True
Let a(o) = -o**3 + 2*o**2 + 3*o + 15. Let c be a(0). Does 15 divide (101/4)/(c/60)?
False
Is 47 a factor of (-4 - (-51240)/14) + 10?
True
Let d be (-26)/156 - (-17551)/6. Suppose 2*h - 7*h = -d. Is 45 a factor of h?
True
Let m = 46 - 42. Suppose -3*b + 1800 = -3*v, -5*b - m*v + 7*v = -2996. Is b a multiple of 60?
False
Let k = -6394 - -7800. Is 19 a factor of k?
True
Let b = -17000 + 36489. Is 63 a factor of b?
False
Let z(j) = -j**3 - 15*j**2 + 2*j + 40. Let d be z(-15). Suppose 0*k + 980 = d*k. Is k a multiple of 11?
False
Suppose 16*y + 32*y = -5952. Is y + 115 - (-588)/2 a multiple of 15?
True
Suppose 3*l + 131 = -220. Suppose 0 = -153*t + 134*t + 2831. Let s = l + t. Does 8 divide s?
True
Suppose 3*z + 13*a - 216 = 15*a, 3*a + 144 = 2*z. Suppose -2*c + 468 = 4*w + z, 3*c - 566 = w. Is 43 a factor of c?
False
Is 65 a factor of ((-455)/10)/((-2)/600)?
True
Let o = -1143 + 1696. Let h = -314 + o. Suppose 4*w - 108 = -3*i + 188, -2*i = -3*w + h. Is w a multiple of 15?
False
Is (-47268)/(-1404)*(1 + -2 + 100) a multiple of 11?
True
Suppose 10*o = 47 - 7. Does 45 divide 1*493 - (2 - o)?
True
Let x(t) = 3*t + 5. Let s(m) = 4*m + 7. Let y(k) = 4*s(k) - 3*x(k). Let l be y(-1). Suppose g + 3 = 0, 0 = 3*u - l*u - 5*g + 534. Is 61 a factor of u?
True
Let z = 54876 + -24536. Is 15 a factor of z?
False
Suppose -5*h - 35 - 55 = 0. Let i(k) = k**2 + k. Let p(z) = 3*z**2 + 10*z - 28. Let s(y) = -2*i(y) + p(y). Is 38 a factor of s(h)?
True
Let u = -21489 + 25699. Is 14 a factor of u?
False
Let a(v) = 98*v + 1280. Does 23 divide a(-12)?
False
Suppose 109*p - 43278 - 81337 + 11582 = 0. Is 21 a factor of p?
False
Let w(t) = 8*t + 60. Let i be w(-8). Let f(r) = -59*r + 14. Is 25 a factor of f(i)?
True
Let s = 4 + -41. Let j = 117 + s. Suppose -18*m = -16*m - j. Is 8 a factor of m?
True
Suppose -417*i + 69946 = 5*a - 419*i, a + 3*i = 13962. Is 74 a factor of a?
True
Let c = 4775 + -4908. Let s = 3 - 166. Let p = c - s. Does 5 divide p?
True
Suppose -18*x - 13*x = -24*x - 104734. Is x a multiple of 13?
False
Let n(f) = -1901*f - 179. Is n(-5) a multiple of 10?
False
Let f = -8089 - -28249. Does 30 divide f?
True
Suppose -15*n - 27*n + 140868 = 0. Does 78 divide n?
True
Suppose 2*c + 2*o - 8 = -o, 5*c - 15 = -5*o. Does 26 divide 19/((-152)/128)*(-62)/c?
False
Let y = 2101 + 1183. Is 16 a factor of y?
False
Let n = -76 - -31. Let w = 610 + -535. Let q = n + w. Does 6 divide q?
True
Let w be 6 + -3 + 4/8*2. Suppose o + 766 = 2*p, -w*p = 2*o + 3*o - 1560. Does 13 divide p?
False
Is 100 a factor of (-120 + -8 + 13)*(-1824)/30?
False
Suppose -220*c = -487526 - 238914. Does 13 divide c?
True
Let d = -123 - 88. Let z = -116 - d. Does 5 divide z?
True
Suppose -h + 4*h = -5*x - 16, 31 = 2*h - 5*x. Does 29 divide 2/h - (-425)/15?
True
Suppose 0*h + 5*d = -5*h + 660, -2*h + d = -264. Let n = 104 + h. Does 23 divide n?
False
Let a(w) = -1. Let x(j) = -55*j - 7. Let f(m) = 4*a(m) + x(m). Let u = 548 + -554. Does 20 divide f(u)?
False
Let j be 9/(-6)*(-20)/15. Suppose 2*t + 4 + 10 = 3*c, c + 2*t - j = 0. Suppose 136 = c*w + 16. Is 15 a factor of w?
True
Let p(j) = -2*j**2 + 40*j - 58. Let t(k) be the second derivative of -k**4/12 + 10*k**3/3 - 29*k**2/2 + 16*k. Let c(s) = -2*p(s) + 5*t(s). Does 40 divide c(14)?
False
Is 264 a factor of ((-110)/10)/(24/(-59904))?
True
Suppose -3*m = -5*k + 68, -m = 3*k - 2*m - 40. Is 9 a factor of (k - 14) + (-3 - 384/(-3))?
False
Let z(f) be the first derivative of -f**4/4 + 2*f**3/3 - 5*f**2/2 + 17*f + 4. Let s be z(6). Let b = -49 - s. Is 12 a factor of b?
True
Suppose w = 2*q - 2182, -2*w = q + 261 - 1362. Suppose 2*i - 5*k = q, 4*i + 13*k = 10*k + 2173. Does 16 divide i?
True
Let b(t) = t**3 - t**2 + 3*t. Let o be b(4). Suppose 4*d - 98 = -u, 0 = -4*u - 0*u - 2*d + 462. Let c = u - o. Is 8 a factor of c?
False
Let w be (-424)/8*2/(-2). Suppose 54*q = w*q + 507. Is 13 a factor of q?
True
Suppose r = 3*t + 7840, -232*r = -234*r - 5*t + 15691. Is 23 a factor of r?
True
Let v be (30/1)/(3/40). Suppose 53277 = -311*s - 15143. Let d = v + s. Is 27 a factor of d?
False
Suppose 4*w = 19*w - 6285. Is 17 a factor of w/3 + (-50)/75?
False
Let x(b) = -3*b + 14. Let y be x(6). Let j be -1*(y/(-3) + (-711)/27). Suppose -24*q - 128 = -j*q. Is q a multiple of 16?
True
Let z(h) = -h**3 + 8*h + 12. Suppose 5*p - 3*l = -9 - 9, -2*p + 8 = -5*l. Does 56 divide z(p)?
False
Let n = -158 - -223. Let c = n - 51. Is 25 a factor of 8/c + (-535)/(-7) + -2?
True
Let q(o) be the third derivative of 7*o**5/60 - o**4/12 + 107*o**3/3 - 299*o**2. Is q(15) a multiple of 22?
False
Suppose 210*l - 3*c - 8149 = 208*l, 0 = -5*l + 3*c + 20341. Is 127 a factor of l?
True
Let f(c) = -5*c - 49. Let k(w) = -17*w - 147. Let g(q) = 17*f(q) - 6*k(q). Is g(25) a multiple of 14?
False
Let c(t) = -54*t**2 + 2*t - 1. Let d be c(1). Let g be (-82)/(-1) - 1*-1. Let u = g + d. Is 15 a factor of u?
True
Suppose -4 + 82 = 13*x. Let i be (-12 - -2)*(1 + (-12)/20). Is 20 a factor of i/6 - (-352)/x?
False
Let j = 441 + 674. Is j a multiple of 79?
False
Let f = -1114 + 2609. Let k = -389 + f. Does 79 divide k?
True
Let k = -99 + 2194. Is k a multiple of 11?
False
Let h(m) be the third derivative of -m**4/8 - 2*m**3 + 17*m**2. Let k be h(-4). Is (2 - 3 - k) + 13 a multiple of 4?
True
Let y be 5/110*11*8/(-2). Is 15 a factor of y/(-9) + (-25497)/(-81)?
True
Let k(i) = -3*i - 12. Let g be k(-5). Suppose -2*z + 3 = -g. Suppose 0 = -2*v + 4, 5*a - 456 = z*v - 6*v. Is a a multiple of 18?
True
Let m(t) = 53*t + 1761. Does 9 divide m(63)?
False
Suppose 8*h = 4*h + 412. Suppose 32 + h = 5*q. Suppose -8*u = -11*u + q. Does 9 divide u?
True
Suppose 9*h - 5*h + 2*v = -862, -5*h + 5*v - 1040 = 0. Let a = h + 369. Is a a multiple of 12?
True
Suppose 0 = 2*o + 3*y + 10, o - 4*y = -2*o + 19. Let l be (-5 + o)/(9/(81/(-12))). Suppose -3*x = 2*x - 4*d - 200, -l*x - 3*d = -93. Is x a multiple of 6?
True
Let g = -23368 - -52843. Is g a multiple of 15?
True
Let i be (-26)/(-6) - ((-190)/(-30) - 7). Let d be 1 - 1*-2 - -1. Suppose 0 = 5*t + i, 0 = -h - d*t - 37 + 159. Does 18 divide h?
True
Let c(d) = 2*d - 36. Let k = 51 + -31. Let a be c(k). Suppose -9 = -l - 4*x + x, 75 = a*l - x. Is l a multiple of 6?
True
Suppose -4*d = -5*f - 0*f - 1826, -5*d - 5 = 0. Let s = 395 + f. Is 5 a factor of s?
False
Suppose 31*l + 7310 = 14*l. Let f = -364 - l. Does 2 divide f?
True
Suppose -d - 3*d + 24 = 0. Let a be (0/3 - 3)/(d/16). Is 17 a factor of (-591)/(-12) + (10/a - -2)?
False
Let k = 3103 - 2643. Is 10 a factor of k?
True
Let d = 19226 - 17626. Is 64 a factor of d?
True
Suppose 226*h + 74145 = 241*h. Does 36 divide h?
False
Is 46 a factor of ((-602)/28 - -2)*-184?
True
Is ((-579)/(-2))/(12*(-17)