 = 4455792. Does 232 divide t?
True
Let y(d) = 3*d**3 - 4*d**2 - 8*d - 16. Let f(x) = -x**2 + 12*x - 27. Let k be f(8). Is y(k) a multiple of 23?
False
Let d(f) = f**3 + 6*f**2 + 4*f - 2. Let h be d(-5). Suppose 3*p + h*p = 24. Suppose q = -v + 10, 3*v + 2*v + p*q - 49 = 0. Is v a multiple of 3?
True
Suppose -9*b = -15 - 48. Is -5*b/((-105)/18) a multiple of 4?
False
Suppose 0 = -2*t + f + 1347, 0 = 3*t - 7*f + 12*f - 2014. Let b = t - -298. Does 27 divide 2/12 + b/6?
True
Let w be 6/(-9) + 2/3. Suppose w = v, -1 = 2*j - 3*v - 11. Let o(h) = h + 10. Is o(j) a multiple of 15?
True
Suppose 156*w - 320 = 155*w. Let d = -245 + w. Is 3 a factor of d?
True
Suppose 15662 = 15*x - 11113. Suppose -o = -v - 193 - 404, 3*o - 5*v = x. Does 60 divide o?
True
Let r(a) = 2*a**3 - 8*a**2 + 16*a - 13. Let n be (-3 - 1)/16*-28. Let g be r(n). Suppose 3*w = -w - 3*j + 312, g = 5*w + 3*j. Is 37 a factor of w?
False
Suppose -287 + 272 = 5*p. Let h(j) = -28*j**3 - j - 12. Is h(p) a multiple of 5?
False
Let y = -849 + 1623. Suppose 8*q + 10*q = y. Does 16 divide q?
False
Let r = 94 - -1634. Does 48 divide r?
True
Suppose 2*n = 16 - 34. Let j be n/3*4/(-6). Suppose j*v + 2*u = 202, -2*v + 5*u - 6*u + 201 = 0. Is 20 a factor of v?
True
Let a(r) = -101*r**3 - 2*r**2 + 15*r + 12. Does 12 divide a(-3)?
True
Suppose 4*r - 4*v = 47012, -5*v = -4*r - 2*v + 47013. Is 18 a factor of r?
True
Suppose -j + 5 = -3*u, -3*j + 5*u + 19 = -0*u. Suppose -1491 = j*w - 2051. Is w even?
True
Suppose -4*d + 154185 = 5*g, -3*g = -2*d + 12408 + 64701. Does 10 divide d?
True
Let p(w) = 2*w**2 - 10*w + 3. Let n be p(6). Let f be 10 + n/3*(-6)/15. Suppose -f*y = -3*y - 90. Does 18 divide y?
True
Let f(y) = 3*y**2 + 27*y + 216. Is f(23) a multiple of 12?
True
Suppose 0 = -22*r + 701 + 861. Suppose 0 = w - r - 29. Is w a multiple of 11?
False
Let f = -1966 - -8057. Suppose -1223 = -l - 2*u, -2*u + 6*u = -5*l + f. Does 12 divide l?
False
Let m(k) = -44*k - 51. Let g be m(-5). Suppose 2*y - 711 = -g. Is y a multiple of 8?
False
Suppose -2*p - 2474 = -3*c, -2*p - 2*p = 5*c - 4138. Is (5 - 0)/(14/c) a multiple of 59?
True
Suppose 68640 = -216*g + 264*g. Does 78 divide g?
False
Let l(z) = 9*z**2 - 2. Let j be l(1). Does 7 divide (1 - j)*8*-6?
False
Does 28 divide 5/(10/16) + 5277 + -15?
False
Let s(l) = 3*l**2 - 5*l - 10. Suppose -10 = 39*b - 41*b. Let t be s(b). Suppose -2*y - u + 15 = -10, -t = -2*y - 4*u. Is 3 a factor of y?
False
Let i(g) be the second derivative of g**4/6 + g**3/3 - 12*g**2 + 2*g. Let c = -1087 - -1093. Is i(c) a multiple of 12?
True
Suppose 3*r - 2*c - 3*c - 24174 = 0, 5*c = -15. Does 40 divide r?
False
Suppose -15437 = 5*u + 2*a, 2*u - 2*a = -4577 - 1595. Let y = -1752 - u. Is y a multiple of 11?
False
Let c(m) be the first derivative of 11*m**2 + 2*m + 14. Let w be c(3). Suppose 0 = -2*t - 2*b + w, -7 = -4*t + 4*b + 145. Is 4 a factor of t?
True
Suppose -f + 31 = 2*o + 3*o, -5*f + o = -25. Let y be f/(-4)*52/(-39). Suppose 0*m = -y*m + 134. Is m a multiple of 17?
False
Is 6 a factor of (-1249651)/(-97) - (-23)/1?
True
Let b = 317 + -555. Let o = -22 - b. Is 24 a factor of o?
True
Suppose 2181650 = 66*l - 118120. Does 173 divide l?
False
Let h(r) = 270*r - 596. Does 20 divide h(8)?
False
Let b be ((-6)/4 - -1) + 46/4. Let y(j) = j**3 - 5*j**2 - 24*j - 5. Does 15 divide y(b)?
False
Let d be (-6 - -113)/(1/(-2) + 0). Let l = -113 - d. Suppose -u + 3*o = -l, 4*u + o - 196 = 143. Is u a multiple of 10?
False
Let b = 3645 + -1916. Let n = -1019 + b. Does 71 divide n?
True
Let v be 2/8 - (-11)/(-44). Suppose -4*b - 3*t + 4356 = v, -t = b + 4*b - 5456. Is 61 a factor of b?
False
Let o(d) = -d + 13. Let k(f) = 3*f**2 - 2*f. Let t be k(2). Let u be o(t). Suppose -3*s + 5*j = -308 + 9, 4*j - 560 = -u*s. Does 18 divide s?
True
Suppose 15 = -5*q + 35. Is ((-272)/12)/q*33*-1 a multiple of 11?
True
Let n(w) = -3*w**2 + 12*w - 38. Let o be n(-6). Let d = -181 - -60. Let a = d - o. Is a a multiple of 29?
False
Let x be -2*2/8 - (-5)/10. Suppose -107*r + 105*r + 1180 = x. Is 40 a factor of r?
False
Suppose -4*v - 2*i + 4510 = 0, 3*v - 2*i - 3385 = -i. Is (12/(-8))/(2 - 2265/v) a multiple of 12?
False
Let u(t) = -109*t + 1428. Does 27 divide u(-61)?
False
Let f(p) = 7*p - 74. Let w be f(13). Suppose -12*z = -w*z + 50. Is z a multiple of 5?
True
Let q(a) = a**3 + 4*a**2 - 12*a - 3. Let x be q(-5). Suppose 2*f + x = 4*l, 0 = -4*f - 0*l - 2*l - 64. Does 5 divide 4/(f/(-82)) - 2/4?
True
Suppose 1170 = -u - 4*u. Let w(p) = 6*p - 215. Let z be w(14). Let x = z - u. Is x a multiple of 41?
False
Suppose -4 = -5*k + 11. Suppose -l + 12 = k*l. Suppose 4*m + h - 233 = 0, 4*h + 52 = m + l*h. Does 14 divide m?
False
Suppose -2*l + 7*l - 15 = m, m = 0. Suppose -2*r = -2*i + l*r - 121, -5*i - 286 = 4*r. Let s = 62 - i. Is s a multiple of 32?
False
Suppose -53*z + 181983 = 31*z - 142173. Is 108 a factor of z?
False
Let j(g) = 150*g - 93. Let s(w) = -5*w**3 + w**2 + 5*w + 4. Let c be s(-1). Does 9 divide j(c)?
True
Let j be 10/15*2313/(-3). Let l = j - -985. Is l a multiple of 12?
False
Let m(n) be the third derivative of 7*n**4/24 + 10*n**3 - 37*n**2. Does 3 divide m(0)?
True
Suppose 0 = -2*x - 5*u + 51, 2*u = -3*x + 102 - 42. Suppose -7 = -4*g + 9. Does 27 divide x*(-3 + 18/g)?
True
Let l = -600 + 608. Suppose 0 = 4*f + l*f - 2808. Does 26 divide f?
True
Suppose 11*m + 384768 = -23*m + 46*m. Does 46 divide m?
False
Let c(a) be the third derivative of -a**6/120 + 3*a**5/10 + 25*a**4/12 - 15*a**3/2 + a**2 + 33. Is c(18) a multiple of 57?
True
Suppose -3*i - 17 = -5*l + 9*l, 2*l + 10 = -2*i. Is 65 a factor of (-2)/(-3) + (-1948)/i?
True
Let d be 3/((135/(-310))/(-9)). Let z = d + 159. Does 32 divide z?
False
Let g be 4927 - (-1 + 3/1). Suppose -11*b - g = -14484. Let o = b - 539. Does 33 divide o?
True
Let l(x) = x**3 - 6*x**2 - 3*x + 12. Let h be l(6). Let u(f) = -f**3 - 6*f**2 + f + 7. Let n be u(h). Is 11 a factor of (5 + -7 + n)/(1/(-11))?
True
Suppose 2*g = 4*a - 46702, 109*a - 9*g - 11616 = 108*a. Is 51 a factor of a?
True
Let q be -6 + (-17708)/(-20) - (-4)/(-10). Let b = q + -520. Is b a multiple of 24?
False
Let o = 941 + -179. Is o a multiple of 13?
False
Suppose -23064 = -4*x - 4*m - 6604, -2*x + 4*m + 8260 = 0. Is x a multiple of 10?
True
Let t be 705/(-135) + 2/9. Let f(h) = -16 + 41 - 3 - 5 - 42*h - 12. Is f(t) a multiple of 13?
False
Let a = -860 + 14104. Is a a multiple of 37?
False
Let z be -1 + ((-66)/(-2))/3. Suppose 2*q + 3*v - v - z = 0, 2*q - 12 = -4*v. Suppose q*y + 11 = 35. Is 4 a factor of y?
False
Let y = 421 + -419. Suppose -2*l + 1447 = -q, -2*l - 632 = y*q - 2070. Is l a multiple of 41?
False
Suppose 797 + 1647 = 42*j + 5*j. Let m(y) = y**3 - 5*y**2. Let x be m(5). Let z = x + j. Is 6 a factor of z?
False
Let t = -3994 - -13456. Is t a multiple of 17?
False
Let j(t) = -20 - 15 - 19 + 55 - t. Let w(a) = 4*a**2 - 8*a + 11. Let z(f) = -6*j(f) + w(f). Is z(2) a multiple of 17?
True
Suppose -2*v = -3*v + 6. Suppose -544 - 320 = v*c. Let h = 215 + c. Does 35 divide h?
False
Suppose 161*y - 53200 = 66*y. Is 14 a factor of y?
True
Suppose 27*r + 88237 = 315442. Is 17 a factor of r?
True
Let r be 1 - 10*(6 - 122). Suppose -7*u = -3*z - 2*u + r, -2*z - 2*u = -790. Does 14 divide z?
True
Is 2/(-8) - (-254673)/108*3 a multiple of 90?
False
Let a(l) = -1195*l**3 + 6*l**2 + 32*l + 1. Let k(m) = 597*m**3 - 3*m**2 - 14*m. Let j(v) = -4*a(v) - 9*k(v). Is 27 a factor of j(-1)?
True
Let j(y) = y**3 - 47*y**2 - 151*y + 60. Let u be j(50). Suppose -2046 = -21*a - u*a. Is a a multiple of 2?
True
Suppose 0 = -2*u + j + 211, -3*u - 4*j = -2*j - 313. Let q be (-1)/(-2) + (u/(-10))/(-3). Suppose -6*d - w + 683 = -2*d, 713 = q*d - 5*w. Is d a multiple of 13?
False
Let b = 177 - 143. Suppose j - b + 28 = 0. Is 3 a factor of j?
True
Let p(h) = -h**3 - 91*h**2 + 124*h + 345. Does 9 divide p(-93)?
True
Is 25/50 - -3*(-1605)/(-2) even?
True
Let g be -9 - 3/((-9)/(-12)). Let i(c) = c**3 + 14*c**2 + 13*c - 12. Let m be i(g). Is m*(1 - (-35)/(-20)) a multiple of 9?
True
Let d = -768 + 1333. Suppose -3*g + d + 224 = 0. Suppose 4*x = -5*r + g, -5*r + r - 112 = -2*x. Is 15 a factor of x?
False
Let r(w) = -4*w + 1. Let f be r(5). Let q be 2/(-6) - f/57. Suppose -c - v + 27 + 73 = q, c - 5*v - 124 = 0. Is c a multiple