24). Let l be s(n). Suppose -486 = -l*k - k. Is 13 a factor of k?
False
Let a = 1117 + -932. Does 65 divide a?
False
Suppose -3*c = -4*p + 5100, -2*c + 4*c = 4*p - 5100. Is 23 a factor of p?
False
Let x(a) = 373*a + 28. Let u be x(5). Is (-5)/30 - u/(-18) a multiple of 13?
False
Suppose 0 = 5*n + 21 - 6. Let o be n/((1 - -3) + -5). Suppose o*r = r + 146. Is r a multiple of 10?
False
Let n = 10 - -29. Is 2 a factor of n?
False
Suppose -8*r = -10*r + t + 172, -3*r + 269 = 4*t. Is 87 a factor of r?
True
Suppose 0 = -2*h + 3*t + 346 - 38, -5*t = 3*h - 424. Is 5 a factor of h?
False
Let y(r) = 43*r**2 + 9*r + 15. Is y(-2) a multiple of 39?
False
Let m(n) = 3*n. Let g be m(1). Let s be g/((3/3)/3). Is (-3)/s + 13/3 a multiple of 2?
True
Let h be (18/(-45))/((-2)/10). Let c be h/9 + (-125)/(-45). Is 5 a factor of (1/c)/(2/48)?
False
Let w(v) = 59*v**2 - 101*v - 736. Is w(-7) a multiple of 11?
False
Is 5 a factor of ((-10)/(-8) + 15/(-30))*120?
True
Let i be (-10 + 2)*(-4)/16. Suppose i*p + 0*p = -a + 125, -2*a + 243 = -3*p. Is 29 a factor of a?
False
Let d(m) = -m**3 - 35*m**2 - 24*m - 33. Is 39 a factor of d(-36)?
False
Let l(a) = a**2 + 4*a - 16. Let s be l(5). Let v = s + -13. Does 3 divide v?
False
Suppose 4*w + 2*x = 4*x - 104, -3*w - 5*x - 104 = 0. Let l = -19 - w. Is l a multiple of 5?
False
Does 10 divide (-12*21/(-60))/(3/495)?
False
Suppose 3*d = -2*p + 65, -5*d - 126 = -5*p - 1. Is p a multiple of 10?
False
Let n(y) = y**2 + 6*y + 9. Let w be n(-10). Suppose -4*k - s + 275 = 0, k - s - 16 = w. Does 13 divide k?
False
Suppose 0 = 3*b + 3 - 33. Suppose -4*f + b = -2. Suppose 0 = f*a - 6*a + 36. Does 6 divide a?
True
Let h be (12/8)/(3/28). Let w(z) = 4 + z - 13*z - h. Is 25 a factor of w(-7)?
False
Suppose -2*t = 3*t. Suppose -f - f + 36 = t. Let d = -9 + f. Is d a multiple of 9?
True
Let w(l) = l**2 + 12*l + 27. Let o be w(-8). Let b(i) = 0*i - 6*i + 1 + 2 - i**2. Is 5 a factor of b(o)?
False
Is 3 + 197 + (-1 - 1) a multiple of 22?
True
Let o = -380 + 661. Suppose 3*c = 5*x - o, -112 = -x - x + c. Is 11 a factor of x?
True
Let g = 2607 + -4667. Is (-2)/(-11) + g/(-44) a multiple of 25?
False
Let i(p) = -5 + 2*p + 7*p - 8*p. Let h be i(9). Suppose -j + h*j = 33. Is 11 a factor of j?
True
Let n(y) = y**2 - 4*y - 6. Let o = -16 + 12. Does 4 divide n(o)?
False
Let v(d) = -3*d + 79. Is 6 a factor of v(-32)?
False
Let p be (-2)/(-4) - (-3)/(-6). Suppose i - 8 = -p. Does 17 divide (195/6)/(4/i)?
False
Let j = -294 - -685. Does 22 divide j?
False
Suppose 0 = 4*h - 3*h - o - 5, h - 3*o - 3 = 0. Suppose 0 = -3*u + 4*m - 160, -m + h*m = 5. Let s = 109 + u. Does 19 divide s?
True
Does 9 divide ((-9022)/4)/(-13)*(1 + 1)?
False
Suppose -4*l + 30 = -38. Let a = l + 29. Does 24 divide a?
False
Suppose -3*t - 154 = -166. Let p be ((-5)/(-2) + -2)*0. Suppose u + 5*b - 1 = 13, u - t*b - 23 = p. Is u a multiple of 4?
False
Let c be (12/(-10))/(10/(-25)). Does 4 divide 12/(2*c/8)?
True
Let w(h) = h**3 + 18*h**2 - 40*h + 9. Does 6 divide w(-19)?
True
Suppose 0 = 25*c + 3*c - 29232. Is c a multiple of 36?
True
Suppose 29*h - 42*h + 6552 = 0. Does 14 divide h?
True
Does 20 divide 20*25/(-40)*(0 - 156)?
False
Let n be (-1 - -1)/(2*(5 + -4)). Suppose n*o - 326 = -4*f - o, -5*f - 5*o + 415 = 0. Is f a multiple of 17?
False
Suppose -4*c - c = 2*s - 1703, 3*c - 2*s = 1009. Does 23 divide c?
False
Suppose -4*a + 6*a = -38. Let y = a - -24. Suppose y*l - 240 = -l. Is 19 a factor of l?
False
Let z(g) = 9*g**3 - 16*g**2 - 8*g + 12. Does 50 divide z(4)?
True
Let p(q) = -314*q - 588. Does 36 divide p(-6)?
True
Let p be (5/15)/((-1)/(-426)). Suppose 3*g + p = 2*g + 4*i, -4*i = -2*g - 284. Does 18 divide 2*(-2)/8*g?
False
Let t(v) = -v**2 + 15*v - 11. Let s be t(14). Let o be (120/(-10))/((-2)/s). Suppose 3*j + o = 144. Is j a multiple of 14?
True
Let z be 3 - (1 - -2 - -1). Is 10 a factor of ((-3)/(-5) + z)/((-5)/850)?
False
Suppose -792 = 11*n - 2530. Is 26 a factor of n?
False
Let l(w) = 7*w**3 - 2*w**2 + w. Let s be l(-2). Let t = s - -137. Is 12 a factor of t?
False
Let d = -15 + 23. Is (7 + 11)/(6/d) a multiple of 12?
True
Suppose -2*j = 4*w - 18 - 22, 3*j - 6 = 0. Let h be 3*(-1 - -1 - -1). Does 12 divide 52/h - (-6)/w?
False
Let g = 13 + -9. Let j = g - 4. Suppose j*q + 48 = 4*q. Is 12 a factor of q?
True
Let h(n) = -399*n + 105. Does 12 divide h(-2)?
False
Does 65 divide 1110/74*(109 - 0)?
False
Let t = 76 + -43. Suppose -t*n = -28*n - 450. Is n a multiple of 18?
True
Let x be (-4)/(-6)*(13 - 1). Suppose -3*q - 281 = -x*q + 4*f, -5*q - 4*f + 289 = 0. Does 17 divide q?
False
Suppose -5*z - 6*t + 130 = -t, -3*z + 84 = -3*t. Is z a multiple of 22?
False
Let s(c) = c + 18. Suppose -14*t = -11*t. Is s(t) a multiple of 10?
False
Suppose 2343 = 4*m + 403. Does 5 divide m?
True
Let s(r) = r**3 - 12*r**2 + 5*r - 7. Let n be s(12). Suppose -177 = 50*t - n*t. Is 11 a factor of t?
False
Let y = 463 + -243. Is y/15*(-3)/(-2) a multiple of 14?
False
Does 34 divide (952/70)/((-2)/(-225)*1)?
True
Suppose 0 = u + 4 - 2. Let a be -201 + -2 - (-1 + u). Is 9 a factor of (-9)/(36/a) + -3?
False
Let r(t) = -t**3 + 20*t**2 + 11*t + 30. Is r(14) a multiple of 7?
False
Let k = -782 + 1930. Does 7 divide k?
True
Suppose 0*k - 3*v + 11 = -4*k, -7 = 2*k - v. Let c be (-361)/k + (-2)/10. Suppose 0 = 2*d - 3*j - c, d + 7 - 42 = 2*j. Does 13 divide d?
True
Suppose -m + 147 = x + 2*m, m - 566 = -4*x. Does 11 divide x?
False
Suppose -5*t - 11*t + 400 = 0. Suppose 936 = -19*o + t*o. Is o a multiple of 26?
True
Let v be -6 - (-13)/((-78)/(-36)). Let b be (64/6)/(4/12). Suppose 4*y - b - 60 = v. Is 3 a factor of y?
False
Suppose 2*t + 2*t - 600 = -d, 0 = -2*t - 2*d + 294. Suppose m = 2*a - t, 3*a = -0*m - 5*m + 220. Does 15 divide a?
True
Let h(b) = b**3 - 3*b**2 + 5*b - 4. Is h(4) a multiple of 9?
False
Let r = 51 - 34. Suppose -2*l = -71 - r. Is l a multiple of 19?
False
Let a = -2 + 6. Let o(g) = 6 - 2 - 1 - a + 34*g. Is 11 a factor of o(1)?
True
Suppose -2*m = -3*m - 4*u + 1058, 0 = -2*m + 5*u + 2051. Suppose 13*q = 19*q - m. Is q a multiple of 22?
False
Suppose 220 = 5*s - 4*g, 0 = -3*s - 3*g + 94 + 38. Let i = -39 + s. Is i a multiple of 3?
False
Let a be 20/(-2)*9/(-18). Suppose 240 = 4*o - t, o + a*t = 3*o - 120. Is 13 a factor of o?
False
Let q(u) = -2*u. Let n be q(-1). Suppose -n*a = -a + 52. Let k = a + 107. Is 14 a factor of k?
False
Let h(a) = a**3 + 14*a**2 - 19*a + 149. Is 11 a factor of h(-13)?
False
Suppose -2139 = 3*r - 141. Is 28 a factor of r/(-8) + (-6 - (-135)/20)?
True
Suppose -159 = -5*q - 4*n, 2*n + 90 = 2*q - 3*n. Is q a multiple of 14?
False
Suppose g - 10010 = -4*g. Does 77 divide g?
True
Let l(t) = -24*t. Let p be l(-7). Suppose -5*u + p = u. Is u a multiple of 14?
True
Suppose -4*f + 3*b + 1 = 0, -4*f = -5*b + 12 - 3. Suppose -g + 0*g - f = 0. Is 37 a factor of -2 + (1 - g) + 54?
False
Let w(q) = 63*q**2 + 2*q + 1. Let k be w(-1). Does 13 divide (3 - 0/(-4)) + k?
True
Suppose -66*a - 10368 = -72*a. Is a a multiple of 96?
True
Let k = 16 + -16. Suppose -2*f + 170 = -q - 19, 2*q - 6 = k. Does 16 divide f?
True
Let y(m) = -369*m + 5. Is y(-1) a multiple of 17?
True
Is (4482/45)/((-30)/(-400)) a multiple of 4?
True
Is 103 a factor of (-2)/6 - 17308*15/(-180)?
True
Let d = -65 + 700. Is d a multiple of 50?
False
Let z be (-5)/(-2)*(-6 + 0 + 4). Let d(m) = 6. Let u(t) = -t + 7. Let q(i) = -6*d(i) + 5*u(i). Is q(z) a multiple of 8?
True
Let m = 800 - 129. Is 61 a factor of m?
True
Is (-478 - -74)/((-4)/10*1) a multiple of 70?
False
Suppose -40354 = -10*n + 11906. Does 78 divide n?
True
Let v(b) = 4*b**3 - 11*b**2 - 7*b - 2. Let n(o) = -o**2 + 12*o - 27. Let j be n(8). Is 47 a factor of v(j)?
True
Let t be -6*(-10)/(-8)*200/75. Is 6 a factor of ((-225)/t)/((-9)/(-48))?
True
Let f be (-16)/6*3363/(-38). Suppose 2*x = -2*z - 2*x + f, -5*x = -10. Is 38 a factor of z?
True
Suppose 0 = -q + 4925 + 25. Is 55 a factor of q?
True
Suppose -5*d + 32 = -13. Suppose -3*z + 0 = r - d, r - 9 = 3*z. Let t(b) = -b**3 + 10*b**2 - b + 3. Is t(r) a multiple of 23?
False
Let z = 285 + 290. Is 23 a factor of z?
True
Suppose -4*a + 755 = 5*u, a - 85 = 4*u + 109. Does 19 divide a?
True
Let m(t) = -27*t + 62 - 71 + 24*t. Is m(-9) a multiple of 14?
False
Let u(k) = -k - 7. Let j be u(-5). Let c = 5 +