. Suppose 3*l + 5*q = -11, -3*l - 2*q + 1 - 18 = o. Is 4 a factor of u(l)?
False
Does 14 divide (20 + 4 + -11)*28*1?
True
Let g be 606/(-12)*(4/(-1))/1. Is (g/4)/(12/48) a multiple of 16?
False
Let p = 14 + 3. Let w = p + 2. Suppose -2*y - w - 39 = -d, d - 3*y - 54 = 0. Does 9 divide d?
False
Let r = 2848 + -1704. Is r a multiple of 44?
True
Let o = 23 - 19. Is 10 a factor of o/26 - (-648)/13?
True
Let p(z) = -5*z**3 - 11*z**2 - 16*z + 6. Is p(-9) a multiple of 66?
True
Suppose 0 = 6*d - 2*d. Suppose d = -2*v + v - 10. Let n = v + 26. Is n a multiple of 11?
False
Let o(k) = k**3 + 7*k**2 + 7*k + 1. Let q be o(-5). Suppose -4*j + 2*m = -q, 2*j = -3*m + 12 + 4. Suppose j*v - 310 = -70. Is v a multiple of 18?
False
Suppose -4*b = 4 - 56. Let y(q) = -q**3 - 8*q**2 - 9*q + 3. Let v be y(-7). Let n = v - b. Is n even?
True
Suppose -2*r = 5*t - 4690, -15*t = -14*t + 2. Is 30 a factor of r?
False
Let s = -138 - -214. Is 19 a factor of s?
True
Suppose -3*g - 308 = -i, i - 3*g = -4*g + 296. Does 23 divide i?
True
Suppose -10*j + 25*j - 2850 = 0. Is 19 a factor of j?
True
Let g(y) = y**3 + 13*y**2 - y - 4. Let a be g(-13). Let z(o) = 2*o + 13. Let w be z(a). Let n = -13 + w. Is n a multiple of 3?
True
Let j = -14 - -26. Let h be (-1026)/14 - j/(-42). Let a = -39 - h. Is a a multiple of 13?
False
Let x = -1106 + 1733. Is x a multiple of 11?
True
Let m(l) = -29*l - 26. Is m(-18) a multiple of 9?
False
Let l(j) = 6*j**2 - 18*j - 7. Let v(t) = 5*t**2 - 18*t - 6. Let b(s) = -3*l(s) + 4*v(s). Is b(10) a multiple of 9?
False
Let x(q) = -30*q - 27. Does 9 divide x(-12)?
True
Let x = -18 + 42. Let t = -19 + x. Suppose 160 = 5*q - 0*a + t*a, 8 = 2*a. Is 14 a factor of q?
True
Let g = -100 + 96. Let h(v) = -4*v**3 - 4*v**2 - 7*v + 3. Does 27 divide h(g)?
False
Let v(l) = l**2 - 7*l + 8. Let i be v(6). Suppose 0 = -i*u + 5*u - 33. Suppose -9*o + u*o - 72 = 0. Does 12 divide o?
True
Suppose -1163 + 2123 = 2*m. Is m a multiple of 17?
False
Let m(s) = -2*s - 13. Let j be m(-8). Suppose j*u = 8*u - 60. Does 6 divide u?
True
Let x = -56 - -178. Is x a multiple of 42?
False
Suppose 2*d = -5*g - d + 7, 3*g + 3*d = 3. Suppose -5*y + 188 = -n + 2*n, -g*y - 209 = -n. Let j = -129 + n. Is j a multiple of 11?
False
Let i(o) = -o**2 - 17*o + 20. Let j be i(-18). Does 4 divide (0 - -29)*2/j?
False
Let y be 265 - ((-2)/(-10) - 42/10). Let a = y - 154. Does 17 divide a?
False
Let y be 3 + (0 - (2 - 4)). Suppose 6 = -v + y*a - 1, -3*v = 2*a + 89. Let z = v + 114. Does 29 divide z?
True
Does 15 divide ((-20)/6 + 0)/((-262)/10611)?
True
Let h(o) = o**3 + 10*o**2 - 7*o + 4. Let l be h(-7). Is (8/(-10))/((-16)/l) a multiple of 5?
True
Let i be -3 + 0 + 4 + 1 + 0. Does 4 divide i*(4/5)/2*25?
True
Suppose -5*f + 8 = -f. Is 19 a factor of 39/((-1)/((-3)/(f + 1)))?
False
Let h = -5 + 1. Is 7 a factor of (1/h)/(2/(-1016))?
False
Let v(i) = 2*i**3 + 8*i**2 - 21*i - 2. Is v(3) a multiple of 6?
False
Let n(s) = 3*s - 14. Let b be n(6). Suppose -4*u - u - 4*v + 1302 = 0, -1056 = -b*u + 4*v. Is u a multiple of 45?
False
Suppose 0 = -3*t + 6*t - 183. Suppose 2*b - 191 = -t. Is 13 a factor of b?
True
Suppose 3*x + x = 72. Let j be (-4 - (-76)/20) + 63/15. Suppose -x = -j*u + u. Is u a multiple of 3?
True
Suppose 5*d - 25 = -0*d. Suppose d*b = 4 + 86. Suppose -u + 2*u - b = 0. Is u a multiple of 7?
False
Is 73 - (-30)/40*12 a multiple of 5?
False
Let c = 17 - 3. Suppose 3*z = -a + 5*a - c, -5*z - 70 = 5*a. Is 4 a factor of (-279)/(-21) + z/35?
False
Suppose d + 2*d + 48 = 0. Is 8 a factor of d/5*(-130)/52?
True
Let t(r) = -4*r**2 + 32*r + 3. Let k be t(8). Let d(x) be the first derivative of x**3 + x + 2. Is d(k) a multiple of 14?
True
Let b(q) = -q**2. Let l(k) = k**2 + 26*k - 1. Let o(y) = 4*b(y) + l(y). Let i(r) = -2*r**2 + 17*r - 1. Let x(c) = 8*i(c) - 5*o(c). Is 5 a factor of x(4)?
True
Suppose 90*o - 87*o - 15 = 0. Suppose 0 = -c - 4, -52 - 263 = -o*n - 5*c. Is 15 a factor of n?
False
Does 2 divide (-1 + 0)/((-48)/624)?
False
Suppose 4*u - 6 = 4*k - 2*k, -k + 1 = 0. Suppose 5*t - u*q = 394, t - q - 77 = -0*q. Is t a multiple of 28?
False
Let g(l) = -l + 7. Let u be g(7). Let v(p) = p**3 + p**2 + 3*p + 198. Does 44 divide v(u)?
False
Let q be 8 + 3*(-3 + 2). Let d be q/20 + (-14)/(-8). Suppose -5*z - d*f + 144 = 0, z + 5*f - 29 = 9. Does 14 divide z?
True
Is (-2380)/(-98)*(5 - -2) a multiple of 17?
True
Suppose 2*q - 129 - 451 = 2*p, 4*q - 1158 = 2*p. Is 17 a factor of q?
True
Suppose -164*u + 42435 = -149*u. Is 69 a factor of u?
True
Let i = -34 - -162. Does 8 divide i?
True
Let s be (-133)/(-49) + 2/7. Let k = s + -3. Suppose -5*f + a + 1 + 179 = 0, -3*f + 5*a + 86 = k. Does 8 divide f?
False
Let z = 9 + 22. Suppose 28*v - z*v = -312. Is v a multiple of 16?
False
Is (-933)/(-9) + 72/54 a multiple of 35?
True
Let o(p) = 40*p + 8 + 27*p - 10*p. Is 22 a factor of o(2)?
False
Let p(d) = 4*d - 4. Let r be p(1). Suppose 8*u + 0*u - 1080 = r. Is 9 a factor of u?
True
Let n be (-4 - -7)/(-2 - 146/(-70)). Is (2 + n/(-10))*-13*2 a multiple of 13?
True
Suppose -5*l = -3*g - 11, 0 = 2*l - 7*l - 3*g + 29. Suppose -z = -l*z + 4*f + 20, -5*z - 5*f = 25. Suppose p + 1 - 6 = z. Does 5 divide p?
True
Let y be (-1)/(-2)*-2 - 10. Let q = y + 17. Does 3 divide q?
True
Suppose 0 = 4*z - 10 + 2. Suppose 0 = 3*u - z*n + 26, -17 = -2*u + 3*u + n. Let o = 24 + u. Is 4 a factor of o?
True
Let t = 2197 + -1153. Is t a multiple of 18?
True
Is 52 a factor of (-22 + 136)*(-78)/(-9)?
True
Let u(x) = -x**2 - 18*x + 12. Suppose -8*q - 81 = 31. Is u(q) a multiple of 18?
False
Let a(o) = -o**3 + 8*o**2 + 10*o + 9. Is 23 a factor of a(7)?
False
Let t(x) = 98*x - 168. Is t(9) a multiple of 9?
False
Does 35 divide (1845/(-60))/((-1)/4)?
False
Suppose 17 = 7*p - 11. Let m be p - (-2 - -3 - -23). Let v = -10 - m. Is v a multiple of 10?
True
Let t = -27 + 117. Is 6 a factor of t?
True
Suppose 4*n - 214 - 250 = -w, 0 = 4*n - w - 464. Is n a multiple of 33?
False
Let y = 876 - -380. Is 10 a factor of y/14 + 0 + 6/21?
True
Let c = -90 - -354. Does 27 divide c?
False
Let w = 50 + -47. Suppose 22 + 18 = 2*v. Suppose -j - v = -w*j. Does 10 divide j?
True
Let o(c) = -6*c**3 - 8*c**2 + 15*c + 21. Is o(-5) a multiple of 25?
False
Let j = -485 - -677. Is j a multiple of 38?
False
Let v(z) = -z**3 - z**2 + 9*z - 6. Let g be v(5). Let w = 281 + g. Suppose -3*l - k - 42 + 168 = 0, 2*k - w = -4*l. Is l a multiple of 11?
False
Let c = 333 - 256. Is 21 a factor of c?
False
Suppose z - 3*z + 26 = 5*l, 2*l - 11 = -z. Let y(o) = 2*o**2 - 7. Is y(z) a multiple of 11?
True
Let z = -29 - -34. Suppose 70 = -0*a + z*a. Is 4 a factor of a?
False
Let d be (-6)/10 + (-1)/5*-3. Suppose 3*r - 215 = -w + 131, 4*w + r - 1329 = d. Is 13 a factor of w?
False
Let n(c) = -2*c**2 - c + 32. Suppose -5*b + 10 = 3*o, 3*o - 2*b + 2 = -2. Let q be n(o). Suppose q = 3*z - 16. Is 5 a factor of z?
False
Let r be 93*-1*(-4)/4. Suppose l + r = 4*l. Suppose -b - 3*c + 1 = 0, -3*b + 8*c + l = 3*c. Does 2 divide b?
False
Let p(j) = 4*j**2 + 16*j + 53. Is 23 a factor of p(-15)?
True
Suppose -a - 1 = 0, -2*d - 3*a - 29 = -8. Let j(r) = -r**3 - 9*r**2 - 8*r + 8. Does 10 divide j(d)?
True
Let f = 6106 + -4342. Is 18 a factor of f?
True
Is 21 a factor of (1 + 3 + 0)/(106/77115)?
False
Suppose -5*s + 551 = 4*p, -5*s + 531 = -0*p - p. Suppose -43 = -3*i + s. Let y = 86 - i. Is y a multiple of 18?
True
Let t = 16 - 9. Let r(p) = p**3 - 7*p**2 + 5. Let k be r(t). Suppose 3*q = -3*d + 24, -22 = -k*d + q + 6. Does 5 divide d?
False
Suppose 63240 = 118*v - 25*v. Is v a multiple of 17?
True
Let v(u) = -u**2 - 15*u + 9. Does 12 divide v(-14)?
False
Let v(n) = 4*n - 96. Does 3 divide v(25)?
False
Suppose 3*i - 5*i - 1036 = 0. Let g be (-2)/(-13) - i/182. Suppose s = -2*x + g*s + 26, 5*s - 31 = -x. Is x a multiple of 4?
True
Is 20 a factor of (404 + -29)*16/6?
True
Suppose 5*p - 177 = -v + 772, -4*p - v = -760. Is 21 a factor of p?
True
Suppose 0 = -5*l + 2*w - 38 - 30, 3*l = 5*w - 37. Suppose 360 = x + 4*x. Let r = x + l. Does 33 divide r?
False
Let o(x) = x**2 - 3*x - 3. Let g be o(4). Let l be g/1*(-3)/(-1). Is 16/((-8)/3 + l) a multiple of 16?
True
Let o = 409 - 251. Let t = 444 - o. Is 17 a factor of t?
False
Let g be (4 - (4 + 187))/1. Let t = -136 - g. Does 7 divide t?
False
Does 24 di