ue
Is (54/(-36))/(33/(-717574)) a multiple of 193?
True
Let p(y) = -4*y**3 - 6*y**2 + 6*y + 2. Suppose -5 = 5*b + 4*a, b - 4*b - a - 10 = 0. Is p(b) a multiple of 46?
True
Let i = 172186 + -114877. Is 40 a factor of i?
False
Suppose -1592 = -11*x - 492. Is x a multiple of 3?
False
Let z be (2 + -5 + 2)*-5. Let r(f) = 35*f - 9. Let u be r(z). Is 25 a factor of 2/((4/u)/(2/2))?
False
Let f(h) = 11*h**2 - 4*h - 19. Let b be f(-5). Suppose 0 = -8*r + 7*r + b. Suppose 76 - r = -3*v + 5*s, -4*v + 295 = -s. Is v a multiple of 10?
False
Let a(d) = d**2 + 19*d - 4954. Is a(-93) a multiple of 14?
False
Let y be (-140)/(-3)*(-120)/(-25) - 2. Suppose 6*p - r + 459 = 10*p, -y = -2*p + 2*r. Does 5 divide p?
False
Let p = 39795 - 38499. Does 7 divide p?
False
Let g be -1 + 3 - 6 - -8. Suppose 3*s = -g*i + 5*i + 10, 2*i = -s + 15. Suppose 0 = -u + 4*z + 29, -2*u - 3*u + i*z = -205. Is u a multiple of 27?
False
Does 29 divide ((-3)/2)/(2199/(-713942))?
False
Suppose 20 = 4*d, -3*u - d + 10 = d. Let k = u + 12. Suppose 83 = f - k. Does 19 divide f?
True
Suppose -9700 + 68397 = 50*r + 447. Is 2 a factor of r?
False
Suppose -y + 2590 = 5*o, 3*o - 4*y - 1532 = -9*y. Let m(d) = 3*d**2 + 42*d + 319. Let h be m(-14). Let v = o - h. Is 20 a factor of v?
True
Let d(m) be the first derivative of -173*m**4/4 - m**3 - 3*m**2/2 - 5*m + 115. Is d(-2) a multiple of 110?
False
Suppose 25 = -5*d - 25. Let c be (154/(-35))/((-2)/d). Let r = c - -100. Does 13 divide r?
True
Let g = -14093 + 21047. Is 38 a factor of g?
True
Let j(h) = 55*h**2 + 297*h - 598. Does 12 divide j(2)?
True
Let n(l) = -l**3 - 32*l**2 + 48*l + 51. Let c be n(-34). Let m = -409 + c. Is m a multiple of 5?
False
Suppose 4*z - 69944 = -5*b, b - 3*z - z - 13984 = 0. Is b a multiple of 15?
False
Let q = -60 - -67. Suppose -3*t + 0*t - q = -4*i, 2*t - 2*i = -2. Is (1 - 15/6)/(t/(-62)) a multiple of 3?
False
Suppose q - 6 = p - 0, 5*q + 3*p = 22. Suppose -2*c = 2*y + 8, -2 - 6 = 3*y + q*c. Is 3*(-4)/y + 68 a multiple of 5?
True
Suppose -3*o = 4*y - 27152, 256*o + 6789 = y + 257*o. Does 115 divide y?
True
Let a(j) = -41*j - 174. Let c be a(-4). Let m = 241 + c. Is m a multiple of 33?
True
Suppose 7*m - 14486 = 9370. Is m a multiple of 8?
True
Let v = -10037 - -14077. Does 40 divide v?
True
Let c = 64 + -64. Suppose -k + 4*d + 9 = c, 5*k - d - 108 = -2*d. Suppose 3*n + 165 = 3*l, -k = l - 2*n - 72. Does 6 divide l?
False
Let b(f) = -38*f - 152. Let a be b(-11). Let g = a - 196. Does 35 divide g?
True
Let n(g) = 4*g - 25. Let j(t) = 14*t + 6. Let u be j(-1). Let o be 15*1*11/((-132)/u). Is n(o) a multiple of 3?
True
Suppose 0 = 3*k - 5*u - 61248, 2*k + 3*u = -2*u + 40782. Does 38 divide k?
True
Let l(z) = 1407*z - 2532. Is l(21) a multiple of 167?
False
Let d(y) = 9*y**2 + 166*y + 3964. Is 44 a factor of d(-64)?
False
Suppose 3*b = 4*k + 6 + 6, 5*b + k = 43. Let z be 120/21 + b/28. Does 22 divide 264/14*(1 + z)?
True
Suppose -12*p + 15*p = -151*p + 4910752. Is p a multiple of 18?
False
Suppose 2*x = -602 + 1496. Let p = x + -251. Suppose f + 2*b = 2*f - 82, -4*b = 2*f - p. Is 15 a factor of f?
True
Suppose 0 = -4*u + 5 + 11. Suppose -u*c - 699 = -3*a, -205 + 664 = 2*a - 5*c. Is 24 a factor of a?
False
Suppose 2*r - 5*l = 31, l - 7 = -4*r - 0*l. Suppose -2*p - 9 = 2*c - 67, -2*c = 4*p - 118. Suppose -r*m + 9*m = p. Does 3 divide m?
False
Suppose -5*t - 7 = s - 37, 2*s = 5*t + 45. Suppose 5*q - 417 = -f + 353, s = 5*f. Is q a multiple of 16?
False
Suppose -2*n + 22471 = 3*y - 4*n, 5*y - 37450 = 5*n. Let k = y - 5331. Is 16 a factor of k?
True
Suppose -2*o + 5*i = -35117, o - 17569 = i - 0*i. Does 23 divide o?
False
Let r(w) be the first derivative of -93*w**2/2 + 6*w + 974. Let a be (-2)/(-8) - 13/4. Does 18 divide r(a)?
False
Let y(x) = -795*x + 7483. Does 67 divide y(-8)?
False
Suppose -y - 75 = -4*i + 2*y, 0 = -i + 5*y + 40. Suppose -i*f - 10 = -17*f. Suppose m - 312 = -f*m. Is m a multiple of 35?
False
Suppose 0 = 2*j - 2*v - 42, 3*j - 4*v = v + 57. Suppose 0 = -o - 0*o. Suppose s + 2*w - j = o, 4*w - 25 = -s + 1. Is 11 a factor of s?
True
Let o = -196 + 213. Let i(m) = 2*m**2 - 27*m + 39. Is i(o) a multiple of 12?
False
Let a(d) be the third derivative of -d**6/120 + d**5/20 + d**4/12 - 2*d**3/3 + d**2. Let z be a(3). Suppose z*i - 10 = -0*i. Does 3 divide i?
False
Let q be (-3)/(-6) + (2 - (-2)/4). Suppose -3*n + 484 + 359 = 5*c, 1095 = 4*n - q*c. Is n a multiple of 63?
False
Suppose -4 = -3*s + 2. Let r be s*(4 + (-3)/2). Is 13 a factor of 1 - r - 4*-12?
False
Let v(b) = -b**3 + 5*b**2 - 2*b - 8. Let i be v(4). Suppose -5*g = 20, i*s - g + 4 = 2*s. Suppose 4*z = s*q + 540, -q = q. Is z a multiple of 31?
False
Suppose 3*r + 2*p = 7, -r - r + 14 = -p. Let u(o) = o**3 - 4*o**2 - 3*o - 2. Let a be u(r). Does 38 divide (-34*(-18)/8)/(4/a)?
False
Let u = 37188 + -19254. Does 147 divide u?
True
Suppose -68*t = -64*t - 4, 3*i - 22228 = -t. Is i a multiple of 6?
False
Let b = -998 + 5802. Does 16 divide b?
False
Let v = 9611 - 2675. Is v a multiple of 69?
False
Let n be ((-13)/(-3) - 4) + 1356/(-18). Let m = 246 - n. Does 3 divide m?
True
Let o(g) = g**2 + 10*g - 27. Let m be o(-9). Suppose -4*b - 13 - 7 = 0. Is (6 + b)/((-2)/m) a multiple of 9?
True
Let n(f) be the first derivative of f**3 + 3*f**2/2 + 10*f + 57. Is n(6) a multiple of 24?
False
Let r = -501 + 496. Is 1*(-852)/r + (-696)/(-1160) even?
False
Suppose -4*f = -5*x + 12, -11*x - 4*f + 12 = -10*x. Suppose -2*n - 246 = -x*n. Is n a multiple of 16?
False
Let d = 9958 - 9627. Is 2 a factor of d?
False
Let b be (-2)/(-12) + (-43078)/204. Let v = b - -361. Is v a multiple of 10?
True
Suppose -7*x - 8*x + 189300 = -3*x. Is x a multiple of 106?
False
Suppose -8*m - 43*m + 121352 = -7*m. Is m a multiple of 20?
False
Let h(q) = 6*q**3 - 47*q**2 - 12*q + 20. Does 4 divide h(16)?
True
Let u = 103 - 101. Suppose -t + 0*m = 3*m - 87, -u*t = -m - 160. Is t a multiple of 4?
False
Let h(a) = -a**2 + 3*a + 217. Let p be h(18). Let t(u) = 30*u**3 - 1. Let c be t(-1). Let y = c - p. Does 18 divide y?
False
Let r = 38 - 42. Let p(z) be the third derivative of -25*z**4/24 + 13*z**3/6 + 10*z**2. Does 29 divide p(r)?
False
Let d be ((-12)/(-16))/(1/4). Suppose -h + 507 = -3*u - 4*h, d*u + 497 = 2*h. Let l = 287 + u. Does 24 divide l?
True
Let m = -132 + 125. Does 6 divide (-287 - 9)/(-8) + m?
True
Suppose -u - 2*y = -3, -2*u - u + 9 = -5*y. Suppose -4*l - 844 = -o + l, u*o = -2*l + 2464. Is 8 a factor of o?
True
Suppose -2*c = 10, -6557 = -4*j - 5*c + 1950. Is 5 a factor of j?
False
Suppose 9*i - 3495 + 615 = 0. Suppose -5*r = -3*r - i. Suppose 5*y - 5*f - r = 0, 0 = y + 3*f - f - 26. Is 2 a factor of y?
True
Is 2553 - ((-5)/(-2 + -8)*-6 + 9) a multiple of 26?
False
Suppose 0 = -3*p + 5 + 10. Let x be ((-1830)/(-1647))/(6/27). Suppose 0 = -2*y + x*z + 394, -168 = -p*y - 4*z + 817. Is y a multiple of 10?
False
Is 55 a factor of -41 + 26 + 6549/1?
False
Suppose -7*m = -2*m - 340. Suppose 22*r - 30*r = 0. Is 22 a factor of -4 + 2/1 + r + m?
True
Suppose p - 4572 = -4*p + n, 0 = -4*n - 8. Suppose 0 = -226*g + 228*g - p. Is g a multiple of 28?
False
Let p(y) = 537*y + 187. Does 55 divide p(4)?
False
Let o = 132 - -163. Suppose -y = -4*v + 394, 0 = 2*v + v - y - o. Is v a multiple of 6?
False
Let u(r) = -1486*r**3 - 2*r**2 + 7*r - 10. Is u(-2) a multiple of 12?
True
Suppose 0 = -13*o - 23*o + 178622 - 3662. Is o a multiple of 62?
False
Let i(u) = 17*u + 52. Let k be i(-3). Let y(v) = 526*v + 38. Is y(k) a multiple of 47?
True
Let d be (102 - 4)/((-1)/(-2)). Suppose 7*q + d = 574. Let i = q - 29. Is i a multiple of 25?
True
Let i = 22 - 13. Let m(a) = a**2 + 11*a + 5. Let g(o) = -2*o**2 - 23*o - 10. Let v(r) = 6*g(r) + 13*m(r). Does 28 divide v(i)?
False
Is 8 a factor of (1479/(-68) + 16)*(-264)/3?
False
Let o = 148 + -154. Is (12/18)/(o/(-1089)) a multiple of 11?
True
Let w(k) = 102 - 52*k + 67*k - 30 + 28*k + 93*k. Does 32 divide w(3)?
True
Let c(x) = -x**3 + 5*x + 0*x - 4*x**2 - 3*x - 3*x. Let q be c(-3). Let l(y) = -y**3 - 3*y**2 - y - 7. Does 17 divide l(q)?
False
Let o(u) = u**2 - 8*u + 26. Let c be o(8). Suppose 0 = -4*q - 5*r + c + 4, -q + 20 = -5*r. Let t(k) = 5*k - 18. Does 16 divide t(q)?
True
Let y be 4/(2/(0 - 4)). Let z = y - 1. Is z/6*716/(-6) a multiple of 13?
False
I