12*k - 15. Suppose 580 = -0*w + 5*w + r, -348 = -k*w - 4*r. Does 29 divide w?
True
Let n be ((-1)/(-2))/((-15)/120). Let v(a) = -4*a**3 - 3*a**2 - 10*a + 8. Is v(n) a multiple of 8?
True
Suppose 4*l - 728 = 4*y, -l + 190 = 4*y - y. Suppose 170 + l = 5*a - 3*i, 0 = -i + 2. Does 8 divide ((165/9)/(-5))/((-3)/a)?
True
Suppose 44*j - 48*j - 1192 = 4*g, 3*g - 3*j + 894 = 0. Let o = g - -362. Does 64 divide o?
True
Suppose 2*a = 0, -4*i + 6*i - a = -96. Let n = -82 - i. Let q = n + 234. Is 25 a factor of q?
True
Does 47 divide (-5 - (-5565)/(-9))*(25 + -37)?
False
Let f = -3019 - -4549. Is f a multiple of 85?
True
Let r = -264 - -214. Let v = 98 - r. Does 37 divide v?
True
Let p = -1326 - -6510. Is 9 a factor of p?
True
Does 6 divide (-13)/(-78)*-129*(-4)/2?
False
Is 2/(-10)*-35*925 + 2 a multiple of 127?
True
Let x(y) = -302*y - 2 - 4 + 271*y - y**3 + 0 + 23*y**2. Does 96 divide x(18)?
True
Let d = 31287 - 27363. Is d a multiple of 4?
True
Suppose 20*m - 10 = 15*m. Suppose m*r - 4*r = 118. Let p = -27 - r. Does 8 divide p?
True
Suppose 7*q - 21 = 329. Let n = 117 - q. Is n a multiple of 11?
False
Suppose 16 = 4*b, -32*w + 5*b + 3964 = -28*w. Is 82 a factor of w?
False
Does 269 divide 9/((-108)/(-16)) - (-18 + 4124340/(-54))?
True
Let o = 123 - 39. Suppose o = -4*h + 11*h. Does 4 divide h?
True
Suppose -u - 7*k = -2*k + 22, 0 = 5*k + 10. Is 41 a factor of u/(((-2)/82)/1)?
True
Suppose 6 = -3*x, 4*j - 8*j - x = -1374. Suppose -4*o + 268 = -j. Suppose 30*r + o = 39*r. Does 2 divide r?
False
Suppose 3623*n = 3624*n - 8645. Is n a multiple of 65?
True
Let h(g) = 8*g - 46. Let a be h(6). Suppose -28*r = -33*r - 4*w + 616, -a*r = 5*w - 260. Is r a multiple of 5?
True
Let u(x) = 29*x**2 - 572*x - 72. Is u(24) a multiple of 6?
True
Suppose 0 = -22*t + 3347 + 349. Let x = t + -12. Does 4 divide x?
True
Let i = -178 - -446. Suppose 0 = -3*y + 932 + i. Suppose -4*v - v + y = 0. Does 20 divide v?
True
Let l = 106 - 96. Suppose 3*k + 0*k + 29 = o, l = -2*k. Does 10 divide ((-36)/o)/((-18)/1512)?
False
Let l = 6442 - -2307. Does 16 divide l?
False
Let a(q) = 194*q**3 - 4*q**2 + 11*q + 2. Is 8 a factor of a(2)?
True
Let y(a) = 90*a**3 + 6*a**2 - 44*a + 208. Is y(5) a multiple of 73?
True
Let y(z) = 2*z**3 + 60*z**2 + 66*z + 166. Is 3 a factor of y(-27)?
False
Suppose 0 = 8*h - 0*h + 864. Let x = 331 + h. Suppose 57 = 7*c - x. Is c a multiple of 7?
False
Suppose 0 = 6*z + 5*z - 33. Suppose -z*v + 40 - 10 = 0. Let l = v - -244. Is l a multiple of 14?
False
Suppose 3526 = -22*o + 31356. Is o a multiple of 11?
True
Let x = 5589 + 7717. Is 24 a factor of x?
False
Does 4 divide 1482 + ((-660)/72 - -2) + 15/(-18)?
False
Suppose -13 + 15 = x. Let f(w) = -26*w - 2. Let n(o) = o - 1. Let k(r) = x*n(r) + 2*f(r). Is k(-1) a multiple of 22?
True
Suppose -k + 4 + 49 = 3*i, -i + 5*k + 7 = 0. Let l = i - 15. Suppose -l*n + 72 = -2*x, -4*x = -5*n + 189 - 10. Is 7 a factor of n?
True
Does 34 divide (-16)/2 + (-17 - -29 - -6931)?
False
Let b(z) = -2*z**2 + 9*z + 0*z**2 - 19 + 4*z + 0*z**2. Let m be b(10). Let n = m + 312. Does 18 divide n?
False
Let k(i) = 901*i**2 - 152*i - 306. Does 37 divide k(-2)?
False
Let x be (0 - 1)/(19/34751). Let t = x + 2627. Is 21 a factor of t?
True
Let v(s) = s**2 + 4*s - 30. Let d be v(-8). Suppose 4*l + t + 4*t - 21 = 0, -l = d*t - 6. Suppose -l*x + 393 = 1. Does 7 divide x?
True
Suppose 0 = 21*q - 22*q + 3*a - 8, 5*q + 5*a = 40. Let l = 1062 - 724. Suppose -9*w + l = q*w. Does 6 divide w?
False
Let w be ((-80)/(-30))/(2/21). Suppose 0 = w*m - 24*m - 1360. Does 17 divide m?
True
Let z be 1/((-8)/916)*-4. Suppose -43*j - z = -41*j. Let k = 0 - j. Is k a multiple of 17?
False
Does 2 divide -3 + 1141 - (28/7 + -4)?
True
Suppose -2*t = 23 - 57. Suppose 0 = -t*d + 20*d + 2646. Does 11 divide 2/11*-1 + d/(-11)?
False
Let z = 46 - -16. Suppose 2*h + u = 3*h - z, -238 = -4*h - u. Is h a multiple of 5?
True
Suppose 3*b = -4*k - 7, k - 23 = -5*b + 3*k. Suppose 5*j = -2*u + 1266, 0*u - 4*j = -b*u + 1945. Does 17 divide u?
False
Let j be ((-11)/22)/(1*1/186). Suppose 3*p - 47 - 343 = 0. Let t = j + p. Is 9 a factor of t?
False
Suppose 0 = 2*f + 3*l - 37, -35 - 1 = -3*f + 2*l. Let k(m) = m**3 - 12*m**2 - 2*m + 20. Is k(f) a multiple of 12?
True
Let s(f) = 15*f + 10. Let l(x) = -19*x - 8. Let g be l(4). Let z be (-3)/7 - 456/g. Does 33 divide s(z)?
False
Suppose 0 = h - 7, -4*t - 1907 = h - 64142. Is t a multiple of 42?
False
Is 185975/150 + 2/12 a multiple of 40?
True
Suppose d - 4*i - 10942 = 0, 21*d + 2*i - 32854 = 18*d. Does 4 divide d?
False
Let a(u) be the second derivative of 341*u**3/6 + u**2 + 56*u. Is 39 a factor of a(1)?
False
Let p(q) = 69*q + 839. Does 14 divide p(42)?
False
Suppose 1003450 = 1841*z - 1816*z. Is 12 a factor of z?
False
Let n be 3/(-6)*-2*(-3 + 11). Suppose 4*k - n*k - 368 = -2*d, -4*d + 728 = -4*k. Is d a multiple of 27?
False
Let u = 3368 - 2068. Suppose -8*m - 2*m + u = 0. Does 13 divide m?
True
Suppose 3226 = 3*z + 523. Suppose 325 = 4*y + 3*t + z, y + 155 = 2*t. Let c = -74 - y. Is c a multiple of 17?
False
Suppose 2954*w - 2968*w = -23268. Is w a multiple of 3?
True
Let g(q) = -q**2 + 30*q + 20. Let a be g(-14). Let n = a - -924. Is 41 a factor of n?
True
Let x = -4185 + 12897. Does 11 divide x?
True
Suppose 67 = 5*w + 27. Let y(r) = 2*r**2 - 6*r. Let g be y(w). Is 14 a factor of ((-63)/(-15))/(24/g)?
True
Let q(a) = -a**3 - 3*a**2 - a + 21. Let w(c) = -c**2 + c. Let i(d) = q(d) + 5*w(d). Does 34 divide i(-11)?
True
Let i(x) = 13*x + 3. Let f(h) = -2*h**2 + 17*h + 14. Let s be f(9). Does 17 divide i(s)?
True
Suppose -41*r + 40*r = 62. Let q = -55 - r. Let f(l) = -l**3 + 8*l**2 + 5. Is 18 a factor of f(q)?
True
Let r = -146 + 1746. Does 5 divide r?
True
Let d(c) = 8*c - 21. Let o be d(4). Let v(n) = n**2 + 20*n - 66. Is 19 a factor of v(o)?
False
Let m be 2 + (1 - -3) - -4. Suppose 2*l = m, -5*u + 20 = 2*l + 2*l. Suppose -572 = -3*f - 2*f + 4*w, u = 4*f + 4*w - 436. Is 28 a factor of f?
True
Let g(x) be the second derivative of -7*x**5/10 - x**4/12 - x**3/6 - 44*x. Let w be g(-1). Suppose -w*u = -29*u + 4845. Is 19 a factor of u?
True
Let a(r) = -r**3 + r**2 - 2*r - 104. Is a(-12) a multiple of 4?
True
Suppose -109*x - 39345 = 74*x. Suppose 0*u = 5*u. Let j = u - x. Does 32 divide j?
False
Suppose -k + 484 = 5*c, 69*k = 66*k - 4*c + 1496. Is k a multiple of 28?
True
Suppose 1956 - 25694 = -11*l. Is l a multiple of 26?
True
Let h(g) be the first derivative of 35*g**2/2 - 57*g + 53. Does 41 divide h(11)?
True
Suppose 14*x - 16*x = -26. Let w = -13 + x. Suppose -43*i + 45*i - 202 = w. Is i a multiple of 20?
False
Suppose 12*s - 141 = -9. Let m(f) = -7 - 2 + 3 + 23*f - f**2. Does 22 divide m(s)?
False
Suppose -685*l = -620*l - 2079285. Is 20 a factor of l?
False
Let n(y) = -3*y**2 - 2*y + 31. Let m be n(-3). Does 48 divide 1 - m/(30/(-2157))?
True
Let t(s) = s**3 + 4*s**2 - 12. Let h be t(0). Does 52 divide (h/(-10))/(90/31200)?
True
Suppose -4*m - 299 = -17*m. Suppose -20*o - 12 = -m*o. Suppose o*f - 392 = -0*f. Does 7 divide f?
True
Is 68 a factor of 4488/176*((0 - 0) + (-6608)/(-21))?
True
Does 32 divide 260/(-585) - (0/(-4) - (-171103)/(-9))?
False
Let b(g) = 15*g + 12. Let w(a) = -7*a - 6. Let z(r) = 6*b(r) + 14*w(r). Let o be z(-2). Is 5 a factor of (344/o)/(((-16)/4)/(-2))?
False
Let o(p) = 2*p**3 - 6*p**2 - 10*p - 6. Let q be o(6). Suppose 21*i - 11*i - q = 0. Is (i + -12)*(-34)/(-6)*2 a multiple of 17?
True
Let b be 2/((-6)/(-16) - (-11)/(-88)). Suppose b*j = 10*j + 4*h - 706, -j + 348 = 3*h. Is 33 a factor of j?
True
Suppose 739 + 978 = -17*u. Let x = 59 - u. Is x a multiple of 3?
False
Suppose 0 = 2*h + 3*d, h + d = -0*h + 2. Let a be (-2)/((h/(-1854))/((-1)/6)). Is 5 a factor of a/(-7) - (-18)/63?
True
Suppose 3*k = f + 11165, -k - 2*f + 3700 = 2*f. Suppose -3*h = 0, -4*o - 2*h + k = h. Is 32 a factor of o?
False
Let g(v) = 202*v + 4622. Is 194 a factor of g(-20)?
True
Suppose -d - 16*z + 11*z = -10495, -5*d = 5*z - 52615. Does 13 divide d?
True
Let b(g) be the first derivative of 17*g**3/3 + g**2 - 3*g - 1. Let k be -5 + 10 + -5 - -3. Is 13 a factor of b(k)?
True
Let w be -1 + 2 + -861*10/(-15). Suppose 5*j + 0*c + 5*c - w = 0, 0 = -2*j + c + 227. Suppose -2*m + 4*t + j = -148, 4*m + 5*t = 511. Does 43 divide m?
True