ue
Let i be (-6)/42 + (-2)/(-14). Suppose i = -11*q + 5*q + 12. Is 1/q*2*116 a multiple of 27?
False
Let k(d) = -d**3 + 2*d**2 - d + 16. Let u be k(0). Let z be ((-606)/(-8))/((-4)/u). Let p = 472 + z. Is 44 a factor of p?
False
Let o be (-6)/6 - 42/6. Does 19 divide (146/(-6) + -1)*156/o?
True
Suppose 47*a + 2291 = 8025. Does 26 divide a?
False
Suppose 4*w + 4*g + 8 = 0, 6 = -0*g - 2*g. Let s(q) be the first derivative of 219*q**4/4 + q**3/3 - q**2/2 + q + 1666. Is s(w) a multiple of 11?
True
Let n(m) = -351*m + 3568. Is n(6) a multiple of 34?
True
Let p = 0 + 10. Suppose 108 = -p*l + 8*l. Is (l/(-21))/((-2)/(-42)) a multiple of 6?
True
Let l be (14*4/((-12)/651))/(-2). Suppose -3*n - u = u - l, -u + 1523 = 3*n. Does 32 divide n?
False
Let l = -2323 - -4265. Does 59 divide l?
False
Let w(g) = -g**3 + 7*g**2 - 5*g + 6. Let z be 6/(-14) + 684/126. Does 6 divide w(z)?
False
Let n = -459 - -458. Does 50 divide -3 + (-40626)/(-45) + n/(-5)?
True
Suppose 5*x = 5, -1307 = a + 4*x - 0*x. Let m = 1950 + a. Suppose 0 = 8*g - 3*g + 3*r - 637, r - m = -5*g. Does 16 divide g?
True
Let t = 29 + -47. Let q be (t/(-4))/(9/(-384)). Let m = q + 285. Does 31 divide m?
True
Let l(c) = -2*c - 5. Let k be l(2). Let u(b) = 17*b**2 + 6*b - 48. Is 75 a factor of u(k)?
True
Suppose 0 = 2*a - 2*y - 242 - 92, 5*y - 341 = -2*a. Does 14 divide a?
True
Suppose 8*i + 20 = 4*i. Let f(y) = 45*y - 2. Let u(g) = -68*g + 3. Let c(q) = 7*f(q) + 5*u(q). Is 14 a factor of c(i)?
True
Let o(s) be the third derivative of s**6/120 - 5*s**4/12 - 2*s**3 + 83*s**2. Is o(5) a multiple of 7?
True
Suppose w = 3*b + 477, 4*b - 164 = 5*b - 2*w. Let z(j) = -110*j - 63. Let a be z(-3). Let m = a + b. Is m a multiple of 32?
False
Suppose 3*y = 2*k - 2, -4*k - 13 = -2*y - 25. Suppose 7*s = 12*s + k*r - 5330, -4*s + 4258 = 2*r. Is s a multiple of 16?
False
Suppose -8*x + 3*x - 3*z + 25289 = 0, -3*x + 15177 = 3*z. Suppose 416 - x = -20*t. Is t a multiple of 7?
False
Let j = -4546 - -6204. Is 7 a factor of j?
False
Suppose 7*q - 17426 + 15857 = 76376. Is 12 a factor of q?
False
Let h(p) = -p + 15. Let d be h(22). Is 1*342 + (d - (-12)/1) a multiple of 25?
False
Let x(u) = u**3 + u**2 + u. Let y(f) = 2*f**3 + 3*f**2 - 7*f + 561. Let b(s) = -4*x(s) + y(s). Is 33 a factor of b(0)?
True
Suppose j - 19 = 62. Let l = 51 + j. Suppose -b + 35 = 2*z - 109, -2*z - 4*b = -l. Is z a multiple of 13?
False
Suppose 2*j - 244 = 3*j. Let a be 12 + (-405)/30 + (-75)/2. Let h = a - j. Is h a multiple of 41?
True
Let h(a) = -33 + 5138*a + 6 - 5156*a. Is 4 a factor of h(-7)?
False
Let m be (56 + -52)/(3 + (-2)/2). Suppose -212 = -4*t + 4*n, -m*n + 3 = n. Does 2 divide t?
True
Is -1624*(100/(-8))/25 even?
True
Suppose -206875 = -39*h + 24785. Is 54 a factor of h?
True
Let m(h) = -1007*h - 18. Let b be m(-3). Suppose 16*t + b = 27*t. Is 21 a factor of t?
True
Let v be (2448/(-108))/(4/(-330)). Suppose 0 = 199*l - 204*l + v. Does 28 divide l?
False
Let q(w) = -5*w - 9. Let u be q(0). Is 2832/9 + 6/u a multiple of 8?
False
Let d(f) = -35*f + 1. Let h be d(1). Let r = h + 58. Is r a multiple of 8?
True
Let a(u) = -3*u**2 - 17*u + 12. Let c(h) = 2*h**2 + 16*h - 11. Let j(l) = 4*a(l) + 5*c(l). Let w(k) be the first derivative of j(k). Does 16 divide w(-6)?
False
Suppose -l + 4*v + 24 = 0, 2*l + 10 = -4*v - 2. Is (-21)/(-2)*l/(-6)*-87 a multiple of 17?
False
Suppose 3*n = -28*w + 30*w + 8024, -5*w = 2*n - 5381. Is n a multiple of 10?
False
Let h(l) = l**3 + 164*l**2 + 335*l + 82. Is 10 a factor of h(-161)?
True
Let y(c) = -c**3 - 11*c**2 + 3*c + 2. Let a be y(-11). Let i = a - -107. Suppose -4*o + 244 - i = 0. Does 27 divide o?
False
Let g(p) = -18*p + 57. Let x be g(25). Let s = x + 758. Does 28 divide s?
False
Let a(t) = -16*t - 13*t + 3*t**2 + 31 + 12*t. Let l be a(14). Suppose 0 = -7*x + 39 + l. Does 10 divide x?
True
Suppose 46 = 2*d + 4*x, -x = d - 15 - 4. Let g be (-1 - -2 - -1)/(10/d). Suppose -2*v - g*f = -73, -5*v + f + 127 = -13. Is v a multiple of 5?
False
Suppose -3*o - 151 = -s, 3 = 5*s + 13. Let l = o + 111. Is 10 a factor of l?
True
Suppose 32*f - 47184 - 133712 = 0. Does 17 divide f?
False
Let x(i) = -40 - 270*i + 61 + 23. Is x(-3) a multiple of 13?
False
Suppose -23*i = 36*i - 64*i + 255. Is i a multiple of 3?
True
Let g = 11036 - 5452. Is 104 a factor of g?
False
Let k be 0 + ((-48)/(-30))/((-1)/15). Let w(c) = -5*c**2 - 10*c + 9. Let s be w(7). Is (-2)/(-8) + s/k a multiple of 5?
False
Suppose -332 = -s + 3*l, -169 = 5*s - l - 1843. Suppose -4*x + 566 + 102 = -4*p, -x + 175 = p. Let f = s - x. Does 21 divide f?
False
Suppose -4*v = -5*u - 3749, v + 29*u - 926 = 28*u. Does 7 divide v?
True
Suppose g = 4*m - 1491, 8*m - 9*m + 2989 = -2*g. Let x = -993 - g. Is x a multiple of 65?
False
Let m be 7760/25 - (-16)/(-40). Suppose -4*d + m = -g, 7*g - 88 = -d + 2*g. Is 13 a factor of d?
True
Suppose 215 = n - 715. Let b = -552 + n. Does 14 divide b?
True
Suppose -37*p - 8 = 29. Is -8 - 136/2*p a multiple of 12?
True
Let g(d) = -2*d + 64. Let r(y) = -y**2 - 3*y + 9. Suppose -2*t + 6 = 3*m, -3*m + 6 = -0*t + 4*t. Let a be r(t). Does 14 divide g(a)?
False
Suppose 0 = 4*k - i - 0*i + 59, k - 3*i + 23 = 0. Is (450/21)/((-2)/k) a multiple of 15?
True
Suppose k - 196 = -10. Suppose k - 606 = -3*v. Is 11 a factor of v?
False
Let h(u) = 13 - 6 + 4*u + 16 + 2 + 3. Is h(21) a multiple of 3?
False
Let j(n) = 22*n**2 - n + 1. Let p be j(1). Suppose -3*b + 29 = -4*l, -2*l - 2*l = -2*b + p. Does 4 divide b?
False
Suppose -3645 = -5*o + 1306 + 1709. Is 12 a factor of o?
True
Suppose -4594*c - 33633 = -4603*c. Is c a multiple of 17?
False
Let l be (-9 - (-4 + -1)) + -22. Is 13 a factor of 14868/52 - 2/l?
True
Let z = 32319 + -17499. Does 6 divide z?
True
Let w(n) = -n**2 + 20*n - 34. Let y be w(18). Suppose y*i - 10 = 14. Suppose -i*s + 655 = 175. Is 10 a factor of s?
True
Let i(z) = -12*z + 7. Let u(n) = -11*n + 8. Let s be (-10)/45 + (-43)/9. Let t(o) = s*u(o) + 6*i(o). Does 19 divide t(-1)?
True
Suppose 9 = -3*c, -3*p - c + 7 = 1. Let r(y) = 2*y + 13. Let q be r(6). Suppose p*k - 13 = -h, 3*h - q = 2*h + 3*k. Is 4 a factor of h?
False
Let k = -4323 + 6115. Does 16 divide k?
True
Suppose -275*x + 4596778 = -1409222. Is 105 a factor of x?
True
Let h(m) = -m**2 + 16*m - 37. Let a be h(13). Let y be (1/a)/(2 + 15/(-8)). Suppose -179 = y*s - 759. Does 29 divide s?
True
Let y be (2/14 - 1)/((-13)/91). Suppose -y*r = 14*r - 3900. Does 19 divide r?
False
Suppose 0 = 5*k - 2*n - 357, 5*k - 4*n = -n + 353. Suppose -k = -2*b - z, -2*z = -b - 3*z + 37. Let r = b - 16. Is r a multiple of 5?
True
Is 2656 + 237 - (-4 + -1 + -1) a multiple of 8?
False
Let x be ((-2366)/(-13))/(4/(-2)). Let z = 135 + x. Does 22 divide z?
True
Let o(l) = 2*l**2 + 5*l + 6. Let c be o(-2). Suppose -2*s - 2*s - c*i = 28, s + 2*i = -10. Let q(b) = -5*b**3 - 3*b**2 + 12*b + 1. Does 15 divide q(s)?
True
Suppose 0 = a + 4*b - 41295, -9*b = 2*a - 6*b - 82585. Is 18 a factor of a?
False
Let i = -257 + 422. Suppose 10*d - i = 195. Does 9 divide d?
True
Let r(m) = 5*m + 26. Let o be r(-6). Let q(w) = -5*w**3 - 2*w**2 - w + 5. Does 33 divide q(o)?
True
Suppose -3*x - 32*k + 137910 = -29*k, x + 5*k - 45938 = 0. Is x a multiple of 33?
False
Let f(x) = 4*x**3 + x**2 + 3*x - 2. Let b be f(1). Let n(a) = -a**3 + 11*a**2 + 4*a + 5. Does 11 divide n(b)?
True
Let w be 8*(-2 - (-5 - -2)). Suppose 1107 + 1381 = w*x. Is 21 a factor of x?
False
Let r = 507 + 1754. Is 19 a factor of r?
True
Suppose 102*n + 1736 = 103*n - 3*o, 4*n + o = 6853. Is 7 a factor of n?
True
Let a be (-406)/(-126) + (-4)/18. Let l be a + -4 + 3 + (3 - -87). Let w = l + -70. Is w a multiple of 22?
True
Let q = -22884 - -34182. Is q a multiple of 7?
True
Let c be (-10 - -13)*(-20156)/(-12). Suppose c = 20*h - 12121. Is h a multiple of 22?
True
Let m be ((-4 - 174/(-4)) + -2)*2. Suppose k - m = 21. Let s = k - 72. Is 8 a factor of s?
True
Suppose -2*t = 6*t - 16. Suppose 0 = j + t*j + 3. Is 24 a factor of 9/((-3)/(j*24))?
True
Let c(m) = -2*m + 6. Let n be c(-3). Suppose -1170 = -g - n*g. Does 10 divide g?
True
Let g(l) = 18*l**2 - 124*l + 12. Let y be (19 - 5)*1 - 6 - -1. Does 14 divide g(y)?
False
Let k be 80/(-32)*548/(-5). Suppose k = -r + 287. Is 13 a factor of r?
True
Suppose -4*g - 4*i = -24, -49 = -3*g - g