alse
Does 22 divide ((-6)/(-10))/(-10*(-3)/56100)?
True
Let o(d) = 5*d + 217. Let z be o(-40). Suppose -1430 = -z*x + 4*x. Is x a multiple of 22?
True
Suppose -i - 4*i - 3*v + 28 = 0, 0 = 3*i + 2*v - 16. Does 52 divide i + -8 - 4/1 - -732?
True
Let r(q) = 3*q - 2*q**2 + 40*q**3 + 1 - 21*q**3 - 21*q**3. Let j be r(-4). Suppose 5 = -5*w + j. Is 11 a factor of w?
False
Let c(m) = -5*m + 31. Let h(p) = 2*p**2 + 3*p. Let q be h(-2). Suppose -u - q = -2*w - 3*w, 10 = -w - 5*u. Is c(w) a multiple of 4?
False
Let b(i) = -1 - 5 - i - i**3 - 5*i**2 + 7. Let v be b(-5). Does 29 divide 3*v/(-9) - -31?
True
Let l(p) = 12*p - 82. Suppose -5*c = o - 4*c - 31, 20 = 4*c. Is 26 a factor of l(o)?
False
Let q be 13 - (8 + -8 - -4). Suppose -3342 = -q*u + 5433. Does 13 divide u?
True
Suppose 814 = 2*w - n - 3*n, 839 = 2*w + n. Let g = w - 159. Is (-3)/9 - g/(-18) even?
True
Suppose 6*f + j = 3*f + 1395, -f + 479 = 5*j. Is 8 a factor of f?
True
Suppose 0*d - 8 = -2*d. Suppose 78 - 362 = -d*p. Let l = p - 49. Is l a multiple of 11?
True
Suppose 18442 = 5*d - 3*r + 4*r, 4*d + 2*r - 14750 = 0. Is d a multiple of 119?
True
Let m be 18/(22 + 14)*0. Suppose 2*s = -2*q + 36, -59 = -5*s - 4*q + 30. Suppose -s*l + 15*l + 140 = m. Is 11 a factor of l?
False
Let p = 32112 - 22474. Is 102 a factor of p?
False
Let h be (-36)/24*30/9. Is (-696)/(-7) + h + 224/49 even?
False
Let u = -132 - -136. Let h(r) = -r**3 - r**2 + r + 33. Let s be h(0). Does 18 divide (185 - 1)*(s/u)/11?
False
Let a be ((-132)/(-22))/(-1 + 4). Suppose -4*j - a*t + 4 = -0*t, -2*t + 4 = -4*j. Suppose -2*n - n + 213 = j. Does 37 divide n?
False
Suppose 0*c - 33 = -c + o, -2*o = -3*c + 96. Suppose -c*a = 11*a - 2870. Is 7 a factor of a?
True
Suppose 0 = -5*j - 5*v + 20, -3*j + 8*j - 4*v - 20 = 0. Suppose 0 = -c + 1, -3*r - j*c + 2704 = -0*c. Suppose 11*n - n = r. Is 9 a factor of n?
True
Let q be 897/6 - (-4 + (-7)/(-2)). Suppose -5*d + q + 225 = 0. Suppose d + 249 = 6*a. Is a a multiple of 39?
False
Suppose -3*r + 58890 = -10503. Is 63 a factor of r?
False
Let m be 4/(-2) - (-15)/(0 + 3). Suppose -4*g + 2*g + 2517 = m*q, -2*g - q = -2523. Is g a multiple of 47?
False
Let z = -100 + 305. Let r = 236 - z. Is r a multiple of 3?
False
Suppose -92 = -10*k + 8*k + n, -n + 223 = 5*k. Is 26 a factor of (-520)/(k/(-120)*4/3)?
True
Suppose -42 = -7*g + 21. Suppose z + 4*k = 52, 0 = -5*z + g*k - 7*k + 238. Is 17 a factor of z?
False
Let m(z) = 199*z - 183. Does 81 divide m(22)?
False
Suppose -1004 = i - 1010, 5*i = -5*k + 22285. Is k a multiple of 51?
False
Let i = 17407 + -15080. Is i a multiple of 7?
False
Let w(q) = q**2 - 10*q - 7. Let p(y) = 2*y**2 - 30*y - 22. Let j(z) = -3*p(z) + 8*w(z). Let n be j(-4). Suppose n*i - 56 - 34 = 0. Is i a multiple of 9?
True
Suppose -3*q + 3*u = -12, -8 = -2*q + 6*q + 2*u. Suppose 9*w - 11*w = q. Suppose w = -4*s + 3*s + 219. Is 31 a factor of s?
False
Let q(o) = o**2 - 33*o + 48. Let a(b) = 16*b + 18. Let k be a(1). Does 3 divide q(k)?
False
Suppose -112 = w - 115. Suppose -35 - 81 = -u + 4*l, -w*u + l + 392 = 0. Is 4 a factor of u?
True
Let w be (1*5)/(3*6/(-18)). Let f(a) = -a**2 - 8*a - 4. Let g be f(w). Suppose 43 = y - g. Is y a multiple of 18?
True
Suppose -n = n + 3*u - 258, -3*n = -3*u - 417. Let m = n + -111. Is 17 a factor of m?
False
Suppose -6 = 4*x - 3*g - 0*g, -4*x = 2*g - 4. Let h = 826 + -97. Suppose x*t = 9*t - h. Is 9 a factor of t?
True
Suppose 0 = 9*x - 10051 - 15581. Does 47 divide x?
False
Suppose 0 = 4*q - u - 6028, 2*u - 1149 = -2*q + 1885. Is q a multiple of 3?
True
Let d = 10623 + -6727. Does 4 divide d?
True
Let v(f) = -7*f**3 + 19*f**2 - 39*f + 23. Let c(u) = -6*u**3 + 18*u**2 - 38*u + 22. Let b(t) = 6*c(t) - 5*v(t). Is b(7) a multiple of 6?
False
Let w = -461 + -325. Let q = 939 + w. Does 3 divide q?
True
Is 22 a factor of (-11 - 1 - 0/1)*(-433906)/652?
True
Suppose 6*p = 5*p - 21. Let a(u) = -13*u - 193. Is 40 a factor of a(p)?
True
Suppose 6118 = 2*a - 5668. Is 38 a factor of a?
False
Suppose -4*o + 2*o = 2*o - 1980. Is o a multiple of 55?
True
Let j be (-28)/(-35) - 3/(-15) - 13. Is (-7040)/(-66)*(-45)/j a multiple of 25?
True
Suppose 0 = 32*s - 22*s - 11720. Suppose 0 = -3*h + l + s, 2*h - 309 = -3*l + 454. Does 13 divide h?
False
Let x = 1006 - 471. Does 5 divide x?
True
Let j(l) = l**3 + 5*l + 6. Let g be j(-1). Suppose -4*x + x + 795 = g. Is 4 a factor of x?
False
Let a be (-24)/40*(306 + -1). Let o = 83 - a. Does 14 divide o?
True
Let z(g) be the third derivative of g**4/6 - 11*g**3/3 - 10*g**2. Let u = -121 + 139. Is 10 a factor of z(u)?
True
Let l be (52/(-6))/(-1) - 12/18. Suppose -l = 4*f, 3*b + b = -f + 1054. Does 11 divide b?
True
Suppose 2*z - 68 = -2*a, -4*a + 111 = -z - 35. Let f be (351/a)/(2/72). Suppose 0 = -3*k + 156 + f. Is 13 a factor of k?
True
Suppose 0 = 2*b - 2*k + 2, 5*k - 5 = 3*b - 8*b. Suppose b = 5*n - 2 + 12. Is 4 a factor of ((-10)/5)/(n/19)?
False
Suppose -w + 5*w = -20. Let i(y) = 26*y + 8. Let k be i(w). Let v = 182 + k. Is v a multiple of 20?
True
Suppose -2*u = -4*n + 20, -2*u + 0 = 3*n + 6. Let j be (3/u)/(1/(-462)). Let l = -111 + j. Does 31 divide l?
False
Let b(z) = 8*z**3 - 91*z**2 - 49*z + 64. Let f(s) = 2*s**3 - 23*s**2 - 12*s + 16. Let v(h) = -2*b(h) + 9*f(h). Is v(13) a multiple of 15?
False
Suppose -2*z = -5*s + 19127, 5*s = 5*z - 7024 + 26154. Is 15 a factor of s?
True
Does 6 divide (284334/33)/2 - (-533)/(-5863)?
True
Suppose -64*n + 78*n - 70 = 0. Let t(j) = -j - 6. Let w be t(-6). Suppose w = 2*o + 3*o + 3*g - 576, g - 572 = -n*o. Is o a multiple of 21?
False
Suppose 4849 = 24*g - 2375. Suppose 9*i + 271 = 2*h + 8*i, 2*h + 5*i = g. Is 6 a factor of h?
True
Suppose -2*p + 33142 = -o, -168*p + 170*p - 33110 = 5*o. Does 13 divide p?
True
Suppose v - 4494 = 4*b, 0 = 5*v - 2*v + 6. Does 7 divide 7/(49/(-2)) + b/(-14)?
False
Suppose 0 = -4*c + 2*c - 314. Let v = -47 - c. Does 10 divide v?
True
Suppose -108 = 36*v - 48*v. Suppose 812 = 3*j - v*z + 10*z, -4*j = -2*z - 1076. Is j a multiple of 9?
True
Suppose -4*v - 13 = 3*a - 48, -2*v + 25 = 3*a. Suppose r + 358 = 3*j, 0 = -v*r - 36 + 46. Is 10 a factor of j?
True
Suppose 2516 = s - 10*j - 3923, -2*j = 4*s - 25882. Does 5 divide s?
False
Is ((-97857 + -7)/26 + (-9 - 0))*-5 a multiple of 77?
True
Suppose -4*x = 2*x + 24. Does 3 divide 50 - (x/(-4) + 0)?
False
Let x(q) = -94*q - 63. Let b be x(12). Let r = -729 - b. Does 14 divide r?
True
Let q be (6/3 - 3) + 4. Let v be -2*1/(-2)*q. Suppose -132 = -v*m + m. Is m a multiple of 11?
True
Let h = -275 + 241. Let w = 83 + h. Is w a multiple of 18?
False
Let v = -6215 - -9108. Is v a multiple of 57?
False
Let a = -706 + 1003. Is a a multiple of 15?
False
Suppose -5*k + 364 = -151. Suppose -5*x + k + 382 = 0. Is 2 a factor of x?
False
Let h(c) = -10*c - 6. Let a(k) = 11*k + 5. Let x(m) = 3*a(m) + 4*h(m). Let y be x(20). Let u = y + 220. Is u a multiple of 18?
False
Let s be -2 + ((-15)/6)/(1/(-4)). Suppose 1 - s = -7*z. Suppose 0 = -i + z + 17. Is 18 a factor of i?
True
Let m = 25 - 22. Let i be 3/6 - ((-114)/12 + 2). Suppose 2*a - 8 = 0, -m*n + i*a = 3*a - 415. Is 11 a factor of n?
False
Let b be (-38 - -17)*4/(-6). Suppose -b*y + 12*y = -4*j - 600, -1524 = -5*y + 4*j. Does 15 divide y?
False
Let m be (-3 - 2121)*(-7 + (-91)/(-14)). Let n = m + -895. Is 4 a factor of n?
False
Let x be (3 - -3)*-3*2/9. Let s be 1075/20 - (-3 + (-15)/x). Let r = s + -32. Does 9 divide r?
False
Is 62 a factor of ((-16002)/56 + 21)/(6/(-16))?
False
Suppose -27*v + 174 = -25*v. Let p = 57 - v. Let m = 64 + p. Is 13 a factor of m?
False
Let m be 65/15 + ((-8)/6 - -1). Suppose 160 = 5*v - 5*o, 0 = 3*v - 3*o + m*o - 92. Let h = 47 - v. Is h a multiple of 4?
True
Suppose 3*c = -5*p + 12723, -6*p + p - 2*c = -12722. Let w = -1246 + p. Is w a multiple of 22?
True
Is (-1 - (70 + 1))*((-1005676)/84)/49 a multiple of 8?
True
Suppose -2*p - 4*z = -1 - 13, 43 = 5*p + 2*z. Suppose 6 = p*k + 15. Does 47 divide (-14269)/(-76) - (-1)/(-4)*k?
True
Suppose 29*s - 30 = 26*s. Is 19 a factor of (44/s)/(44/2090)?
True
Let f = 3114 - 2379. Does 24 divide f?
False
Suppose 3*t = -3, 4*t + 1 = 3*z - 6. Let d = -675 - -631. Let h = z - d. Is h a multiple of 3?
True
Suppose 3*h + 7 = -c + 1, 5 = -5*h. Let w be (1 + c)/(-1) + 2. Suppose -4*s - 2*y + 442 = -3*y