 a multiple of 85?
True
Suppose -5*g = 4 - 284. Let o = g - 40. Is 2316/o - (-20)/16 a multiple of 22?
False
Let z = -8691 - -12238. Is 60 a factor of z?
False
Is -80 - -76 - (-2)/((-1)/568*-1) even?
True
Suppose 20*n = 15*n + 1885. Let d = 596 - n. Is 42 a factor of d?
False
Is 10 a factor of 5/2*(-12)/(-135) + 33192/81?
True
Suppose -54*p = 1468 + 1340. Does 10 divide -7*(15 + -4)*p/4?
False
Let a be 2/8*((-2 - -2) + -4). Let t(j) = -j**2 - 4*j - 3. Let f be t(a). Suppose f = -4*u + 3*u + 3*k + 72, u - 72 = k. Does 18 divide u?
True
Suppose 2*l - 278 = -j, 2*j + 2*l - 549 = 5*l. Let x = -232 + j. Does 8 divide x?
False
Let v(u) = -2*u**2 + 24*u + 29. Let w be v(13). Suppose -w*y + x = -36, 2*y - 3*x + 17 = 41. Is 15 a factor of 356/y + 2/6?
True
Let w(z) = 46*z**3 - z**2 + 2*z - 9. Let y be w(2). Suppose -10*t = y - 1469. Does 6 divide t?
False
Let p = 621 - -278. Does 31 divide p?
True
Let o be (8/(-6))/((-49)/37191). Suppose -m = 3*z - z - o, 5*z = 10. Is m a multiple of 24?
True
Suppose 0 = 109*h - 676904 + 149126. Does 150 divide h?
False
Suppose -3*o + 155 = -5*c, 3*c + 1 = 2*c. Let g = -40 + o. Suppose -540 = -g*p + 6*p. Is 12 a factor of p?
False
Suppose 31*w + 11616 + 14486 = 0. Let i = w - -1294. Does 59 divide i?
False
Let i = -46 + 242. Suppose g - 91 = 5*z, -z = -4*g + i + 168. Is 39 a factor of g?
False
Let f(s) = 13*s**3 + 7*s**2 + 13*s + 22. Does 38 divide f(8)?
False
Suppose 0*i + i - 9 = 0. Suppose 3*d = -2*j - 2*j + i, -4*j = -2*d + 6. Suppose -3*w + 195 = 3*l - 4*w, -d*l + 3*w = -189. Is l a multiple of 33?
True
Suppose -2*t + 303 = -3*f, 5*t - 4*t - 2*f - 150 = 0. Let l = 148 + t. Does 19 divide l?
True
Suppose -5*u + 1383 = -799 - 308. Is 2 a factor of u?
True
Suppose 5*u + 1 = -3*o, o + 4*u - 2 = -7. Suppose -5*g + o*w = -631, -7*g + 506 = -3*g - 2*w. Is 3 a factor of g?
False
Suppose -1 + 9 = 2*f - 3*b, -30 = -5*f + 5*b. Let d be (-386)/(f/(-5) - (1 - 1)). Suppose 4*t - 47 = d. Is 10 a factor of t?
True
Let h(o) = 10*o**3 - 7*o**2 - 6*o + 5. Let m be h(-3). Let u = 414 + m. Does 3 divide u?
False
Let d = -4540 + 4684. Is d a multiple of 12?
True
Suppose -4223 = -14*z + 38407. Is 21 a factor of z?
True
Let l be ((-12)/(-10))/((-78)/520). Let d(p) = p**2 + 9*p + 56. Is d(l) a multiple of 6?
True
Let s be (-32)/(-4) - 10/2. Suppose 0*v - 4*v + 5*f + 1190 = 0, -4*v + 1206 = s*f. Does 4 divide v?
True
Let f(b) = -4*b**3 - 116*b**2 + 513*b + 21. Is f(-42) a multiple of 21?
True
Let v(x) = -11*x**2 + 7*x + 5. Let c(j) = 10*j**2 - 7*j - 5. Let w(b) = 6*c(b) + 5*v(b). Let t be w(7). Suppose t - 35 = 6*n. Does 4 divide n?
False
Let g(r) = -150*r**3 - r**2 + 3*r + 5. Let z be g(-2). Suppose 1265 = 5*k - z. Is k a multiple of 25?
False
Let a(i) be the third derivative of -25*i**4/24 + 77*i**3/2 - 2*i**2 - 4*i. Does 42 divide a(-21)?
True
Let l(u) = u**3 + 5*u**2 + u + 4. Let m be l(-3). Suppose 0 = -16*c + m*c - 156. Does 13 divide c?
True
Let y = -29 + 17. Let i(d) = 21*d + 1. Let v(s) = 22*s. Let n(t) = -7*i(t) + 6*v(t). Is n(y) a multiple of 23?
False
Let w be (-2)/4 + (-120)/(-48). Suppose -6*r = -w*r - 328. Suppose 0 = 4*y - 106 - r. Does 7 divide y?
False
Suppose 58 = 42*i + 184. Let n(t) be the third derivative of t**6/120 + t**5/15 + t**4/12 + 7*t**3/6 + 2*t**2. Is n(i) a multiple of 5?
True
Let g = -2760 - -3168. Is 2 a factor of g?
True
Suppose 4*v + 4 = 0, 3*u + 4*v = 12 - 4. Suppose u*n = 13 - 1. Suppose -4*c + n*c = p - 33, 4*p - 4*c - 156 = 0. Does 21 divide p?
False
Suppose -4506878 = -478*q + 7275822. Is q a multiple of 25?
True
Suppose 24*k = 25*k - 463. Let f = k + -213. Is 9 a factor of f?
False
Let h = -17 - -10. Let k be ((-18)/h)/(2/7). Suppose 0 = -v + 3*y + 62, 4*y - k = y. Is 9 a factor of v?
False
Suppose 20*f = 35*f - 90. Suppose f - 89 = -2*i - 5*w, -61 = -i + 4*w. Is 13 a factor of i?
False
Let r = 31324 - 10849. Is 117 a factor of r?
True
Let y(m) = 2569*m**3 + m**2 - 33*m + 31. Is 12 a factor of y(1)?
True
Suppose 22*d - 156108 - 102893 = -80207. Is 129 a factor of d?
True
Suppose -3*f - u = 4*u - 20, 4*u + 11 = 3*f. Suppose 6*x = -f*x + 7*x. Suppose p + x*s - 5*s - 92 = 0, 5*p - 3*s - 548 = 0. Does 23 divide p?
False
Let d be (20/(-75)*-5)/((-4)/(-9)). Suppose -7 = g + 5*t, 2*t = -d*g + 6*g - 13. Suppose v + 78 = 2*v + 5*r, -3*v = -g*r - 270. Is v a multiple of 21?
False
Suppose 11689 = 5*q - 8*x + 12*x, -5*q + 11686 = x. Is q a multiple of 19?
True
Let m(t) be the first derivative of 5*t**4/2 - 2*t**3/3 - 9*t**2/2 + 7*t - 96. Is 8 a factor of m(4)?
False
Let m = -146 + 269. Let k = -94 + m. Let g(n) = -n**3 + 29*n**2 - n + 68. Is g(k) even?
False
Suppose 0 = -40*a + 42*a - 44. Let f(n) = 48*n + 45. Let b be f(a). Suppose 13*y = b + 784. Is y a multiple of 27?
False
Let g(n) = n**3 - n**2 - 13*n + 13441. Is 4 a factor of g(0)?
False
Suppose 31*a - 82156 - 87800 - 77269 = 0. Is a a multiple of 29?
True
Suppose -72*f + 126646 = -97040 - 105138. Does 34 divide f?
False
Let m = -6413 - -7526. Does 25 divide m?
False
Is (-7 - (-25 - 2))/(5/9300*5) a multiple of 10?
True
Let y(c) = -500*c - 630. Is y(-3) a multiple of 8?
False
Suppose c + 5*z - 604 - 3206 = 0, -4*z - 19050 = -5*c. Is c a multiple of 10?
True
Suppose 0 = -4*i - n + 10, -n = -2*i - 2 + 4. Let u be (-1)/((-3)/(i + -8)). Is -12*u*5/40 a multiple of 3?
True
Suppose 12*u - 9*u - 180 = 0. Suppose -91*c - u = -85*c. Is 92 + ((-15)/c)/(3/2) a multiple of 13?
False
Let h(k) = -26 + 56*k - k**2 - 34*k - 32*k. Let u be h(-21). Let l = u + 413. Is l a multiple of 12?
True
Let c(i) = -17 - 5*i + 39 + 7*i**2 + 12 + 0*i**2. Is 43 a factor of c(9)?
False
Suppose 14 = f - 5*j, 13*f - 9*f + 7 = -j. Is 6 a factor of f/(-4) - (1612/(-16) - -11)?
True
Let k = 13468 + -2299. Is k a multiple of 153?
True
Is 11 a factor of (136/(-408))/(12/99*(-2)/12448)?
True
Let a be (2 + -7)*(-2 - 1)/3. Suppose a*p = 5*f, f = -2*f - 2*p. Suppose 3*l = -3*r + 60, -2*r = -f*r - l - 25. Is 3 a factor of r?
True
Suppose -3*k = -4*x - 23, 5*x = -3 - 22. Let u be (((-21)/2)/(333/36 + -10))/2. Suppose -377 - k = -u*q. Does 6 divide q?
True
Suppose 5*z - 72 = -0*h - h, 0 = -4*z + 3*h + 50. Suppose -15*g = -16*g + z. Is g a multiple of 8?
False
Let q be -3 + 2/4*-118. Let z = 425 + q. Suppose 0 = 5*r - 172 - z. Is r a multiple of 22?
False
Suppose 30*j + 26*j = 191506 + 136206. Does 209 divide j?
True
Let o be 832/40*(-10)/(-4). Let p = -22 + o. Suppose -2*u = -4*u + p. Does 5 divide u?
True
Let z be 1/((3 - 19/7)/(-2)). Let k = z + 9. Suppose 0 = 3*j - 4*v - 599, 0 = -k*j - 2*j - 3*v + 757. Does 30 divide j?
False
Suppose 14*k - 9*k + 20 = 0, -5*k - 15464 = -3*q. Is 33 a factor of q?
True
Let n(j) = -2060*j**3 + 3*j**2 - 2*j + 1. Let s be n(1). Let w = -1278 - s. Is 6 a factor of w?
True
Suppose -4*s - 4*u = -32, -2*s - 1 = -u - 2. Suppose 5*j + 4*t - 2076 = t, -s*t - 843 = -2*j. Is 27 a factor of j?
False
Suppose 222*f - 5298080 = 66*f - 246488. Does 126 divide f?
True
Suppose -11*x + 16642 = -3440 - 23313. Does 5 divide x?
True
Is (-3*2/(-48))/((-2)/(-16336)) a multiple of 2?
False
Let p be (400/(-4))/4*-1. Let w = 67 - p. Suppose w = 5*i - 33. Is 5 a factor of i?
True
Let r(w) = 16*w**2 + 129*w - 2407. Is r(31) a multiple of 202?
True
Let j be (-10)/(-55) - 268/22. Let a be (-950)/j + (-28)/168. Let v = 144 - a. Does 13 divide v?
True
Let f(o) = 705*o - 28. Let a be f(4). Suppose 8360 = 12*v + a. Does 18 divide v?
False
Is 11 a factor of 145/15 + -10 + (-21592)/12*-7?
True
Suppose 58*b - 255*b = -5713000. Is b a multiple of 250?
True
Let l(b) = 785*b - 1648. Is l(3) a multiple of 7?
True
Let w(k) = -k**3 - 9*k**2 - 6*k - 6. Let l be w(-8). Let m be (-24)/(-11) + 4/l. Suppose 3*o - 63 = -m*n, n = o + o + 42. Is 14 a factor of n?
False
Suppose 3*n = -5*n - 664. Let j = 88 + n. Does 15 divide j/(165/(-6)) - (-1986)/33?
True
Let m = 21044 - 17376. Is m a multiple of 262?
True
Let s be (644*4)/4 - (5 - 8). Let z = s - 15. Is 79 a factor of z?
True
Is (-5)/35 - -3*6928/56 a multiple of 7?
True
Let y(z) = 6*z**2 + 40*z + 94. Let l(s) = -7*s**2 - 41*s - 94. Let b(h) = 4*l(h) + 5*y(h). Is 9 a factor of b(-23)?
True
Suppose -l - 5 = -27. Does 9 divide (l/4)/((-48)/(-864))?
True
Let t(d) = -3*d**2 - 42*d - 24. Suppose 8*s = -137 + 49. Is t(s) a multiple of 2?
False
Suppose 34*i + 34*i + 