. Suppose -15*l + g = 92. Is l a multiple of 38?
True
Let j be (98/35)/(2/2600). Suppose -j = -99*d + 94*d. Does 74 divide d?
False
Suppose 4*f - 2397 = -329. Is f a multiple of 13?
False
Let w be ((-371)/28 + -1)/((-3)/24). Let g = w + -54. Is g a multiple of 15?
True
Let u be 4/24*3 - (-5)/2. Suppose u*m + b + 10 = 0, -m + 1 = b + 5. Does 12 divide m/(-4 - -1)*67?
False
Let b(z) = -z**2 - 7*z + 9. Let a be b(-8). Does 22 divide 7 - 14 - -44 - (1 + a)?
False
Let z(j) = -j**3 + 22*j**2 - 14*j - 93. Does 12 divide z(17)?
False
Let w = 62 + -58. Suppose 0 = -w*v + 23 + 1. Suppose 0 = -v*x + 615 + 303. Is x a multiple of 13?
False
Suppose 2*d = -3*f + 28812, -3*d + 42198 + 1020 = -5*f. Does 129 divide d?
False
Suppose -11298 = -w + 5*d, 0 = -4*w - 2*d + 33659 + 11577. Is 12 a factor of w?
False
Suppose h + r = 6, 0 = -3*h + 3*r - 5 + 11. Suppose 120 = h*x - 440. Is 35 a factor of x?
True
Let y = -710 + 264. Let n = y - -745. Does 14 divide n?
False
Suppose -482 = -16*v + 2078. Is v a multiple of 26?
False
Let y be 3*2/10 + (-224)/(-10). Let w = y - -190. Suppose -3*q = -2*b - w, 0 = -4*q - 2*b + 113 + 185. Does 54 divide q?
False
Let n(s) = 218*s + 3080. Is 32 a factor of n(28)?
True
Let g(z) = -3*z - 13. Let q be g(-7). Let y(x) = -8*x**2 - 5*x - q*x**2 + 17*x**2 - 2 + 0. Is 17 a factor of y(-4)?
True
Let r(g) = 103*g**2 - 6*g + 12. Let p be r(2). Let l = p + 116. Is l a multiple of 22?
True
Let h = -1642 - -3065. Let v = h + -793. Is v a multiple of 45?
True
Suppose 2*w - 14636 - 5948 = 2*o, -10268 = -w - 2*o. Is w a multiple of 10?
False
Suppose -2*w + p + 421 = 0, 21*w - 17*w = p + 841. Suppose 17*m = 11*m + w. Does 7 divide m?
True
Suppose 0 = 5*q - 3*g - 2789, -1033 = -3*q + g + 638. Is q a multiple of 27?
False
Suppose -3*s = -2*s - 4, 2*d + 458 = -3*s. Let t = 405 + d. Is t a multiple of 34?
True
Suppose 2*n + 36490 = 3*k, 3*n + 21890 = 5*k - 38928. Is 158 a factor of k?
True
Let f = 2286 + 4245. Is 21 a factor of f?
True
Suppose 0 = 4*l + l, -3*t - 48 = l. Let h be -15*(t/12 + -2 + 4). Is (-1778)/h - 21/(-105) a multiple of 25?
False
Let o(r) = -r**2 + 37*r + 20. Let j be o(30). Let p = -152 + j. Does 6 divide p?
True
Let h = -300 + 485. Let z = h + 90. Does 5 divide z?
True
Suppose 132 = d + 3*d. Let s(w) = w**2 - 43*w + 129. Let z be s(41). Let x = z - d. Is x a multiple of 9?
False
Let k(w) = w**2 - 16*w - 86. Let o be k(-32). Suppose 0 = -2*i + 4*z + z + 557, -z = -5*i + o. Is i a multiple of 6?
False
Let c(d) = -d**2 - 32*d + 165. Let r be c(-37). Is r/3*(-1)/((-2)/(-36)) a multiple of 8?
True
Suppose 0 = -5*f + 2*v + 1041 + 7151, -4*v = 3*f - 4884. Does 27 divide f?
False
Suppose 29*i + 32144 - 827672 = 0. Does 108 divide i?
True
Suppose -5*k + 63 = -32. Suppose -16*a + k*a = 240. Suppose 5*d - h + 6*h = a, 1 = -h. Is d a multiple of 3?
False
Suppose -590*b + 459*b = -625525. Is 4 a factor of b?
False
Suppose q - w = 288, 4*w + 103 - 1255 = -4*q. Is q a multiple of 5?
False
Is 51 a factor of (-825 - -9)*(12/(-8) + -2)?
True
Let i = 1677 + 3321. Does 14 divide i?
True
Suppose -975837 = -272*a - 445*a. Is a a multiple of 38?
False
Does 43 divide 5/2*184/460*11129?
False
Let u = 60 + -57. Let y be u*2504/36*9. Is y/21 + (-12)/(-21) a multiple of 10?
True
Suppose 3*h - 365*f = -361*f + 37809, -5*h = 2*f - 63067. Does 15 divide h?
False
Suppose -930 = -4*p + 5538. Is p a multiple of 10?
False
Is 28 a factor of ((-18)/(-33))/((-29)/(-2871))?
False
Let j(k) be the first derivative of -83*k**2/2 + 3*k + 15. Let z(i) = 42*i - 2. Let h(t) = -3*j(t) - 5*z(t). Is 10 a factor of h(3)?
False
Suppose 3*g = -2*i + 70, i = -2*g + 28 + 18. Suppose 19541 = g*d + 1963. Is d a multiple of 12?
False
Let k = 11984 + -7443. Does 19 divide k?
True
Let n be 4/(-2) - (-60 - -58). Suppose 0 = -n*d - 19*d + 646. Is 6 a factor of d?
False
Let g(z) = -z**3 - 7*z**2 + 9*z + 10. Let a be g(-8). Let h = -62 - a. Does 12 divide (51/(-3) - 1)/(12/h)?
True
Suppose 0*p + 2*g = -5*p + 107518, -4*p - g + 86012 = 0. Is p a multiple of 13?
True
Let s(d) = 52*d**2 - 16*d + 16. Let j(z) = -18*z**2 + 5*z - 6. Let r(o) = 8*j(o) + 3*s(o). Is r(6) a multiple of 52?
False
Let a be 5/((-75)/(-5)) - 16174/(-6). Let n be (-4)/12*-3*(-1 - -1). Suppose 7*c - a + 400 = n. Does 40 divide c?
False
Let z = 339 + 120. Let d = 662 - z. Is d a multiple of 29?
True
Let i(k) = -k + 16. Let t be i(18). Let l be -7 + 11 + t/1. Suppose -d = l*d - 132. Does 44 divide d?
True
Let k(p) = p - 23 + 17*p**3 + 19*p**2 - 31*p**3 + 15*p**3 + 3*p. Is k(-18) a multiple of 8?
False
Let s = -219 + 204. Is 17 a factor of s*(17/(-3) - (2 - 2))?
True
Suppose 2*z + 3*q - 13 = -0*z, 2*z - 5*q + 11 = 0. Let f(b) = 12*b**2 - 6*b + 2. Let c be f(z). Let n = -10 + c. Is n a multiple of 7?
True
Let h be -9*3*(-8)/72. Does 3 divide 72/54 + 95/h?
True
Let a be (4/8)/(2/(-24)*-3). Let c = 228 + a. Is c a multiple of 23?
True
Let d be 1/(-2*(-2)/8). Suppose 0*s = -d*s - 32. Let w = s + 77. Is 32 a factor of w?
False
Suppose -4*d = -5*w - 28, -2 - 4 = 3*d + 3*w. Let b be d/10 + 3/(-15). Let i = b - -64. Is i a multiple of 16?
True
Let d = -15 + 61. Let z = 46 - d. Suppose -5*p - 5 = 0, 2*u - 2*p + 3 - 29 = z. Does 7 divide u?
False
Suppose 86 = 4*t + 22. Suppose t*n - n = 855. Is n a multiple of 57?
True
Let k(n) = -5*n**3 + 3*n**2 + 10*n. Let r(f) = -3*f**3 + 2*f**2 + 5*f. Let z(o) = -4*k(o) + 7*r(o). Does 20 divide z(-5)?
True
Let d(a) = 15*a**3 - 6*a**2 + 7*a + 8. Let y be d(-3). Let s = 787 + y. Is s a multiple of 36?
False
Let t(u) = u**2 + 10*u - 6. Let j be t(-11). Suppose 3*c + 3*k = 777, -4*c + c = -j*k - 785. Let y = -115 + c. Is 27 a factor of y?
False
Let m = 1115 - -4583. Does 77 divide m?
True
Let l(v) = 16 + 15 - 32 - 2*v**2 + 2*v. Let i be l(2). Is 20 a factor of (i - 69/(-12))/((-2)/(-56))?
False
Suppose 0 = -5*x + 2*p + 1516, 1514 = 24*x - 19*x - 3*p. Suppose 5*q - 1536 = 2*b, -4*q + 3*q = -2*b - x. Does 7 divide q?
True
Let r = -716 + 717. Is 23 a factor of r + 6972/16 + (-3)/(-12)?
True
Let r(g) = 68*g**2 - 5*g + 6. Let n be r(2). Suppose n = i + 21. Is i a multiple of 13?
True
Let f = -7477 + 17273. Is 16 a factor of f?
False
Let m(z) be the third derivative of -z**7/1680 - 7*z**6/180 - 3*z**5/20 - 17*z**2. Let h(l) be the third derivative of m(l). Does 29 divide h(-19)?
True
Is 6 a factor of ((-2)/5 - (-13552)/10)*40/12?
False
Suppose -6353 = -3*z + 4*f + f, z = -3*f + 2127. Suppose -4*b = z - 5633. Does 31 divide b?
False
Let z = 2750 - 2500. Does 5 divide z?
True
Suppose -7*j - 7*j = 6860. Is 13 a factor of (8/60*-12)/(4/j)?
False
Suppose 0*f + 8*f - 16 = 0. Let w be -5 - -1 - (4/f)/(-2). Does 10 divide 30/(-12) - w - 198/(-4)?
True
Let d(w) = 48 - 5*w - 32 + 3*w**2 - 5*w. Let l(b) = -2*b - 15. Let u be l(-10). Is d(u) a multiple of 19?
False
Let v(q) be the third derivative of -q**6/120 + q**5/10 - 11*q**4/24 + 7*q**3/2 - 17*q**2. Does 3 divide v(4)?
True
Does 36 divide 11013/6 - (-9 - 51/(-6))?
True
Is 43200/1400*((-542)/(-6) + 12/18) a multiple of 156?
True
Let q(w) = -410*w + 104. Let s be q(4). Let x = -966 - s. Is 57 a factor of x?
True
Suppose 8*f - 9*f = 156. Suppose 94 = o - 133. Let p = o + f. Is 13 a factor of p?
False
Let n = 631 + -631. Suppose -5*c + 3*p = -4*c - 1302, n = 3*c + 2*p - 3884. Is c a multiple of 24?
True
Let o = 15 + -5. Suppose 12*w + 34 - o = 0. Is ((-21)/w)/(5/30) a multiple of 3?
True
Let z(u) be the first derivative of 29*u**3/3 - u**2/2 - 5*u + 8. Let h be z(3). Suppose -3*g - 5*l = -h, 4 = 3*l - 11. Does 19 divide g?
True
Suppose -l - 161 = -5*d, -3*d - 376 = -5*l - 1159. Let p = l - -380. Is 14 a factor of p?
True
Suppose 4*r + 4*u + 8 = 0, -r + 6 = -2*u + u. Suppose -f = 3*v - 6*f - 324, r*v - 5*f - 216 = 0. Is v a multiple of 27?
True
Suppose 2*r = 337 + 5117. Is r a multiple of 86?
False
Let h be 56/16*(-12)/(-14). Suppose -4*z + 0*z + 3826 = 2*v, 0 = z - 5*v - 973. Suppose 2*d = -3*d - h*k + 1594, k - z = -3*d. Is 20 a factor of d?
True
Suppose 7*u - 15*u = -9816. Let j = u - 856. Is j a multiple of 24?
False
Let z(f) = -27*f + 313. Is z(-26) a multiple of 15?
False
Suppose 0 = -2*f - 4*z + 10, 2*f + 2*z = 6 + 4. Does 9 divide 45*(2/f - 117/(-45))?
True
Let t(f) = f + 5. Let r be t(-3). Let a = 21 - 13. Suppose -r*o + 180 = -a*s + 4*s, 2*o - 189 = s. Is o 