se
Let u = 3037 - 1283. Is 26 a factor of u?
False
Suppose -2*j - 21 - 13 = 0. Let u = j - -29. Does 5 divide u?
False
Let q(j) = 3*j**2 + 14*j - 3. Let b(k) = -12*k**2 - 55*k + 13. Let n(v) = 4*b(v) + 18*q(v). Is 15 a factor of n(-8)?
False
Is 5 a factor of 7/35 - (-3 + (-2429)/5)?
False
Let h(r) = 4*r**2 - 3*r - 2. Suppose -3*f + 14 = 2. Let s = f + -6. Does 5 divide h(s)?
True
Suppose 4*l - 3004 = -3*w, -1528 = 22*l - 24*l + 5*w. Does 28 divide l?
False
Suppose -3*f = 3*w - 72, -5*w = 5*f - 7*w - 92. Let y be f/(-25)*(-5)/2. Suppose -81 = -y*k + 27. Is k a multiple of 18?
True
Let f(h) = h**3 + 17*h**2 - 60*h + 26. Is 26 a factor of f(-20)?
True
Let v = -1172 + 1992. Is v a multiple of 35?
False
Does 44 divide (-35660)/(-25)*(-175)/(-70)?
False
Is 1078/6 - ((-10)/3 - -4) a multiple of 22?
False
Suppose -m = -6*m - 3*d + 1176, -5*m + 1164 = -3*d. Does 6 divide (4/(-6))/(4 - 939/m)?
False
Let r be -2 + 8*(0 - -4). Let g = 42 - r. Is g a multiple of 4?
True
Let a = 43 + 312. Does 9 divide a?
False
Suppose 1 = -2*q - 5*t, 0 = -2*q + 4*q - 3*t - 39. Does 10 divide 33 + q/8*-2?
True
Suppose 58*y - 6541 = 10395. Does 2 divide y?
True
Let n(u) = -15*u + 375. Is 13 a factor of n(0)?
False
Suppose -5*v = 4*z - 11, -4*v - 8 + 22 = -2*z. Suppose -v*g + 163 = -77. Is 16 a factor of g?
True
Let f(t) = -t**2 + 18*t - 36. Let v be f(16). Let a(z) = 6*z**2 + z - 8. Does 12 divide a(v)?
True
Suppose -14*o + 2*o = -3696. Is o a multiple of 11?
True
Is ((-3)/(-9))/(460860/41895 + -11) a multiple of 19?
True
Let h be 6 + -5 - (-39 - 1). Let u = h + -1. Is u a multiple of 5?
True
Let k(o) = 2*o**2 + 4*o. Suppose u - 53 = -4*g - 0*g, 0 = 5*g + 5*u - 85. Suppose 2*v = 5*v + g. Is 7 a factor of k(v)?
False
Does 50 divide (-12)/(216/(-33861)) - 5/(-6)?
False
Suppose -2*a + 7 = 1. Does 5 divide ((-10)/a)/(4/(-12))?
True
Suppose 0 = -3*f - 4*z + 3977, 2*f + 280 - 2924 = z. Is 31 a factor of f?
False
Suppose -5*c + 33 - 113 = 0. Let v = c + 15. Let f = 11 + v. Is f a multiple of 5?
True
Let j(s) = -s**2 + 116*s + 39. Is 82 a factor of j(17)?
True
Let t(b) = b**3 - 13*b**2 + 13*b - 17. Let z be t(12). Let n be 3 - (z - (-5 - -1)). Suppose 7 = u + n*g, -g = 3*g + 20. Is u a multiple of 19?
False
Suppose -8 = -5*d + d. Suppose d*w = 3*w + 9. Does 20 divide (-143)/(-7) - w/(-21)?
True
Let o be 2/6 + 152/12. Let f be (o/(-3))/(22/330). Does 10 divide ((-78)/f)/((-1)/(-40))?
False
Let z(b) = -b + 18. Let g be z(20). Is 27 a factor of 81 + 0*1/g?
True
Suppose 3*h = 4 - 10, 3*d - 3*h = 630. Does 8 divide d?
True
Let b be (5/2)/(4 - 172/48). Is -1 - 484/b*(-33)/22 a multiple of 15?
True
Let z(w) = 2*w**3 + 4*w**2 + 2*w - 10. Let k(t) = -2*t**3 - 3*t**2 - 2*t + 11. Let q(j) = -4*k(j) - 5*z(j). Is q(-5) a multiple of 22?
True
Suppose 3*u - 226 = i + 59, 4*u - 3*i = 380. Let d be -21*(38/(-6))/1. Let k = d - u. Is k a multiple of 19?
True
Let g = 455 - 224. Is 3 a factor of g?
True
Suppose -2*z = 3*z - 2*y + 138, -8 = -2*y. Let q = -1 - z. Is 5 a factor of q?
True
Suppose 204 = -5*q + 11*q. Let y = q - 13. Suppose -r + y = 4. Is 7 a factor of r?
False
Suppose -5*j + 5*d + 6 + 9 = 0, -6 = -2*j - d. Suppose 5*g + 335 = 3*v, 0 = j*v - 5*g + 3*g - 350. Is v a multiple of 24?
True
Is -3 + ((-1)/(-2))/(12/6768) a multiple of 38?
False
Let b be (42/(-49))/((-1)/14). Suppose 294 = 9*d - b. Does 21 divide d?
False
Let q(o) = 0*o + 5 + 2*o**2 - 1 + 8*o - o. Let u be q(-9). Is 9 a factor of (-3 + u)/4 - -2?
True
Is (104/28)/((-1)/(-42)) a multiple of 3?
True
Suppose -7*z + 19*z - 420 = 0. Is z a multiple of 4?
False
Suppose -6656 = -5*u + 4*p, -30*u + 3*p - 2667 = -32*u. Does 60 divide u?
False
Let b(o) = 3 - 6*o + 3 + 47*o**3 - 4 + 3*o + 2*o**2. Is 6 a factor of b(1)?
True
Suppose n = 2*c - 20, -5*c = 3*n - 34 - 16. Let q(i) = 0*i + 0*i + 24 - 2*i + i. Is q(c) a multiple of 14?
True
Let w(p) = 7*p**2 + 11*p + 1. Let r(h) = 7*h**2 + 12*h + 1. Let c(o) = -6*r(o) + 7*w(o). Let k be 10/((-16)/8*1/1). Does 31 divide c(k)?
False
Let a(f) = 78*f**3 + 3*f**2 - 15*f + 14. Is a(1) a multiple of 5?
True
Let f = 35 - 31. Suppose -5*o + 209 = f. Is 12 a factor of o?
False
Is 14 a factor of (-15208)/(-4) - (4 - 15/(-5))?
False
Let k(u) = u**3 - 2*u**2 + u - 7. Let q be k(4). Let x = q + 6. Is x a multiple of 5?
True
Let b be ((-6)/(-8))/(2/(-288)*2). Let k = 23 - b. Is 11 a factor of k?
True
Suppose -c - 1 = -4. Suppose f + 0*g + 12 = -4*g, 2*f + 4 = -c*g. Let h = f + 7. Is 11 a factor of h?
True
Is (8 - (-294712)/209) + 4/(-38) a multiple of 55?
False
Let j be 117 + (-3 + -2 - -2). Suppose 6*f - 3*f = -5*o - 96, 5*o - 3*f = -j. Let g = 92 + o. Does 15 divide g?
False
Suppose n - 2*o = 136, 154 = 3*n - 5*o - 256. Suppose 7*u - 5*u - n = 0. Suppose 4*r = 74 + u. Does 9 divide r?
True
Let r(f) = f**3 + 4*f**2 - 5*f + 3. Let x be r(-5). Suppose x*z = 7*z - 380. Is 26 a factor of z?
False
Let y = 14 + -10. Suppose d + t - 4*t + 9 = 0, -2*t - 36 = y*d. Is 5 a factor of d/(-1) - (-10 - -9)?
True
Suppose -o = 3*z - 0*o + 77, -15 = 3*o. Does 4 divide (-15)/10*z/9?
True
Let j be (-3 + 6)/(-1) + 3. Suppose 3*i + p - 77 = j, 26 = 2*i - 5*p - 31. Suppose 0 = 3*z + 2*v - 19, -4*v = -z + i - 1. Is z even?
False
Is 11 a factor of 247/2*(-4)/(-1)?
False
Suppose 3*g = 5*g - y - 434, -6 = 3*y. Is 27 a factor of g?
True
Let t = -213 - -220. Does 4 divide t?
False
Suppose 163*h - 212*h = -143276. Does 32 divide h?
False
Suppose 0 = 4*x - 11*x + 693. Is (148/6)/(22/x) a multiple of 26?
False
Let h(o) = o**2 + o - 41. Is h(-8) a multiple of 5?
True
Suppose -5*t + 430 + 545 = 0. Let g = 325 - t. Is 18 a factor of g?
False
Let y be (-2 + 5 - 2)/((-5)/890). Is 19 a factor of (0 + y/8)*-4?
False
Let i be ((99 - 1) + -1)/((-5)/(-5)). Let z = i - 81. Is z a multiple of 7?
False
Is 54 a factor of 4/(-1)*(-13 - (-15134)/(-28))?
True
Let p = 1211 + -841. Is 37 a factor of p?
True
Let l = -68 + 1762. Is l a multiple of 14?
True
Is 250 + 15/(-60)*(-7 + -1) a multiple of 21?
True
Let u = 266 - 188. Suppose 0*s - 2*g = -5*s + u, 19 = s + 3*g. Does 2 divide s?
True
Suppose 3*x = y + 601, -10*y = -11*y - 1. Does 5 divide x?
True
Is ((-55412)/4)/(-7) - (-2)/(-2) a multiple of 43?
True
Suppose 206*v - 203*v = 1131. Does 29 divide v?
True
Let l = 142 + -82. Does 4 divide l?
True
Suppose -27*g = -268 - 407. Is 5 a factor of g?
True
Let l(m) = -m**2 + 8*m + 6. Let d be l(8). Let s be (6/3)/(4/d). Suppose 3*r = -0*r - 4*i + 118, 0 = r - s*i - 22. Is r a multiple of 15?
False
Suppose -8*f + 809 = -2695. Is f a multiple of 26?
False
Let j = -8 - -10. Is 9 a factor of j + (-9044)/(-35) + (-3)/(-5)?
True
Let l = -640 + 1341. Suppose 245 = -6*y + l. Does 19 divide y?
True
Let x = -22 - -23. Let h be 3 + 0/(-3) - x. Suppose -h*u - 33 + 165 = 0. Is u a multiple of 22?
True
Let i = -2 - -6. Suppose 5*n - 2*m = 12, i = -0*n + 3*n - 2*m. Suppose u + 132 = n*a, a - u - 99 = -2*a. Does 11 divide a?
True
Suppose 6*p - 25*p + 9614 = 0. Does 18 divide p?
False
Let i be -1 - 2/(-2)*0. Let o(x) = x**3 - x**2 - x. Let j be o(i). Does 8 divide (j - -20) + (8 - 11)?
True
Suppose -2*k + 804 = 24. Does 15 divide k?
True
Suppose -3*i = -2*h - 28, -i = 2*h + 4 - 24. Is (-2)/i + (-481)/(-78) a multiple of 3?
True
Suppose -101 = 2*a - 3*t, t - 11 = 2*a + 84. Let r = a - -70. Is 11 a factor of r?
False
Let b(r) = -r**2 + 16*r. Let s be b(16). Let p(m) = -m**3 + 2*m**2 - 2*m + 90. Is p(s) a multiple of 10?
True
Let g = -349 - -699. Is 12 a factor of g?
False
Let t(j) = -j**3 + 8*j**2 - 8. Let u be t(8). Let g(a) = a**2 - a + 21. Does 26 divide g(u)?
False
Suppose -18 = 2*c - 0*c. Is 23 a factor of (-3)/4 - (29970/24)/c?
True
Let p be 34/5 - 8/10. Let g(w) = w**2 - 3*w + 2. Is 10 a factor of g(p)?
True
Suppose 54*v = 22*v + 13120. Is v a multiple of 5?
True
Suppose -o = -0*o. Let b = -157 - -221. Suppose -m + 4*j + b = o, -2*m + 0*j = 4*j - 152. Is m a multiple of 24?
True
Suppose -73 = -2*c - k, -6*c = -c + 4*k - 184. Is 36 a factor of c?
True
Does 8 divide 10/20*6*139?
False
Suppose 0*r + 3*r - 218 = -5*f, 3*f - 4*r = 154. Suppose 0 = -l - 0*l + f. Suppose -h = 4*q - 223, -2*q - 3*h = -63 - l. Is 14 a factor of q?
True
Let r = 1666 - 1186. Does 13 divide r?
False
Does 29 divide (-3)/30*-5*670?
False
Suppose -3*y = -d - 673, -2*y - 4*d = -y - 207. Suppose 0*f + 20 = 4*