3372)/674)?
False
Let m(d) be the second derivative of d**5/20 + 13*d**4/12 + 2*d**3 - 53*d. Does 4 divide m(-9)?
True
Suppose 0 = -4*d + d + 9, 3*w - 12 = 3*d. Let r(k) = k**2 - 5*k - 9. Let i be r(w). Suppose i*q - 36 + 6 = -s, -2*s = -q - 38. Is s a multiple of 11?
False
Let q(f) = 107*f**2 - 74*f - 2. Does 10 divide q(-4)?
False
Suppose 2*c = 62 + 228. Let l = c + -22. Is l a multiple of 14?
False
Let d(z) = 512*z**2 - 361*z - 2457. Does 38 divide d(-7)?
False
Let d(c) = -6*c**3 - 3*c**2 - c. Let w be d(-2). Let u be (-3)/(-15) + 2*82/(-20). Let o = u + w. Is 12 a factor of o?
False
Let d be 36/(-42)*(-56)/12. Suppose 2*n + 0*i - 274 = d*i, 2*i = 8. Is n a multiple of 5?
True
Is 285*(426/15 + -6) a multiple of 19?
True
Let x(j) = -14*j**2 + 557*j + 211. Is x(23) a multiple of 16?
True
Suppose -2*y + 1087 = -3*g, -g + 401 = 4*y - 1780. Is y a multiple of 111?
False
Let d(s) = -s**3 - 3*s**2 - 13*s - 12. Let f be d(-3). Suppose 0 = h - 168 + f. Is 47 a factor of h?
True
Let w(u) = -2*u**2 - 11 - 36*u - 3*u**2 - 117*u + 6*u - 6*u**2. Is w(-11) a multiple of 46?
False
Let u(g) = -45*g + 19. Let b be u(0). Suppose -4381 - 4283 = -b*o. Is o a multiple of 12?
True
Let i be (-8)/28 + (-1)/((-14)/4). Suppose i = -5*h - 3*q + 3561, 5*h - 8*q = -3*q + 3585. Is h a multiple of 51?
True
Let t(a) be the third derivative of a**5/12 + 19*a**4/8 - 7*a**3/3 - 18*a**2 - 4*a. Does 45 divide t(-13)?
True
Let j = 1994 + 10119. Is 72 a factor of j?
False
Let l be (4/(-6))/1*171/(-6). Let b = l + -28. Is (b/12)/(2/(-64)) a multiple of 3?
True
Let b(i) = -4280*i - 8330. Is 206 a factor of b(-7)?
True
Let z be 10/30*18/1. Does 17 divide (-84)/(-56)*436/z?
False
Is -1 + 13/26 + (-17065)/(-10) a multiple of 27?
False
Suppose 4668 = -44*x + 40*x. Let w = -249 - x. Does 34 divide w?
True
Suppose -40*p + 49875 = 51*p + 4*p. Is p a multiple of 3?
True
Let i be (391/68)/(2/232). Let w = 1481 - i. Is w a multiple of 26?
False
Suppose -148*f + 153*f = 645. Let u = 133 - f. Is 12/10*(-2)/(u/(-135)) a multiple of 18?
False
Does 69 divide ((-48)/56)/((-7)/36064)?
True
Let y be -8 - -832 - (3 - 4/1). Let b = y - 416. Does 8 divide b?
False
Let t be 30 + 4 + -1 + -8. Suppose t*i = 6892 + 808. Is 14 a factor of i?
True
Let f = 50 - 47. Suppose c - 6 = 3*c + 2*t, 0 = -c + f*t + 5. Is 44 - (c*12)/4 a multiple of 30?
False
Let v(c) = -1144*c. Is 50 a factor of v(-1)?
False
Let x = 3901 + -2284. Does 22 divide x?
False
Let p(v) = -2*v + 15. Let t be p(8). Let o be 1/((-2 + 1)/(-6 - t)). Suppose 437 = 3*z - o*y - 0*y, 675 = 5*z + 5*y. Is z a multiple of 5?
False
Suppose 5*k + 2*o = 3918, -3114 = 7*k - 11*k - 5*o. Is k a multiple of 5?
False
Suppose 14 = 6*b + 2. Let o(d) = -12*d + 2*d**b + 24 + 12*d. Is 12 a factor of o(7)?
False
Let y(m) = 3*m**2 - 66*m + 8. Let r be y(22). Is 7 a factor of ((-304)/(-36) - r) + (-3965)/(-9)?
True
Let t(w) = -7*w + 77. Let z be t(12). Let y(j) = -14*j - 59. Does 39 divide y(z)?
True
Let o = 4620 + -3972. Does 54 divide o?
True
Let m(g) = 5*g**2 - 11*g + 19. Let f = 109 + -97. Let n be m(f). Let z = -334 + n. Is z a multiple of 39?
True
Let i be (-1)/(9/(-30))*(-27)/(-5). Let a(d) = 3 + 4*d**2 + i*d - 4 + 7 - 2*d**2. Is a(-15) a multiple of 31?
True
Let j(h) = 25*h + 7*h**2 + 2*h**2 - 15 - 8*h**2 + 61. Let z be j(-23). Suppose z = f + 1 - 263. Is f a multiple of 14?
False
Let l be 3100/(-16) + 1/(-4). Let s be l/12*36/(-6). Let o = -32 + s. Is 13 a factor of o?
True
Is 52 a factor of (-2082)/(-8)*(-45568)/(-384)?
False
Let y = -7176 + 12243. Is y a multiple of 3?
True
Let w = -43 + 49. Let p = 6 - w. Suppose -4*s + s + 225 = p. Does 15 divide s?
True
Let p(n) = -11*n**2 + 5*n + 32. Let v be p(8). Let k = 1160 + v. Does 24 divide k?
True
Suppose 4*p + 4 = 0, -13*p + 1246 = q - 11*p. Does 16 divide q?
True
Suppose -3*q - 21 = -3*t, 5*t + 0*t = -3*q + 27. Let s(v) = -v**3 + 11*v**2 - 4*v - 24. Is s(t) a multiple of 4?
True
Let r(m) = 2*m**2 - 189*m + 3894. Does 9 divide r(103)?
False
Suppose -865 = -d - 4*w, -2*d - 35*w = -30*w - 1718. Is 3 a factor of d?
True
Let r be -2*(4 - (5 + 0)). Suppose r*n = 112 + 244. Is n a multiple of 5?
False
Suppose 0 = -3*w - 3*r - 3 - 9, 3*r + 6 = 0. Is 36256/264 - (w/3)/(-2) a multiple of 23?
False
Suppose r = -4*t - 12 + 1786, 0 = -t - 2*r + 447. Does 8 divide t?
False
Is 1910/(4 - 2)*(1 - (-8)/10) a multiple of 6?
False
Suppose 27543 = 232*p - 11140 + 7363. Is p a multiple of 45?
True
Suppose 157*d - 153*d = 9600. Does 15 divide d?
True
Let h be -10 + 2 - -13 - 11. Let r(d) = -58*d + 197. Is 29 a factor of r(h)?
False
Suppose 4*x + 8 = 7*x - 2*i, -12 = 3*i. Suppose -21*h + 16*h + 125 = x. Is 6 a factor of h?
False
Suppose 0 = -58409*l + 58437*l - 172592. Is 18 a factor of l?
False
Suppose -k + 2816 = 4*g, 58*g - 55*g + 2788 = k. Does 3 divide k?
False
Let s = -897 + 899. Suppose -5*v - 6 = -5*k + 4*k, 24 = 4*k - v. Suppose k*f + 2*u = s*f + 312, 0 = 2*f - 3*u - 148. Is f a multiple of 11?
True
Suppose 2*q - 249 + 11471 = 4*u, 0 = -2*u - q + 5609. Is 85 a factor of u?
True
Let v(x) = 472*x**2 - 38*x + 60. Is v(5) a multiple of 30?
True
Let p be ((-57)/2)/(2/(-4)). Let c be p/(((-81)/6)/9). Let d = 53 + c. Is 15 a factor of d?
True
Suppose 3*w - 7*i = -9*i + 7128, 35523 = 15*w - 3*i. Is 3 a factor of w?
True
Is (-186)/(-341) + 724815/55 a multiple of 45?
False
Suppose -t = -4*r + 278, 199 = 3*r + 4*t - 0*t. Let m = 185 - r. Is 14 a factor of m?
False
Let b = 63 + -59. Suppose -b*y = -4*v - 1344, -10*y + 3*v + 1348 = -6*y. Is 25 a factor of y?
False
Suppose 5*m - 939 = -d, -d - 931 = 2*m - 7*m. Suppose -5*l + 3*k + m = 0, -k - 5 = 2*l - 71. Does 11 divide l?
False
Suppose -17*w + 27 = -8*w. Suppose -42 = -s + 4*r, w*s + 2*r = 2*s + 24. Is s a multiple of 10?
True
Suppose 19*q + 633 - 1203 = 4*q. Is 3 a factor of q?
False
Suppose -4*j + 3002 = -3*p, 7*j - 5*j - 5*p = 1494. Suppose 1328 + j = 5*u. Does 13 divide u?
True
Let q(i) = -5*i - 1. Let a be q(-1). Let x be (a + 180/(-6))/(-1 + 0). Is (-22 + 4/(-2))*x/(-4) a multiple of 31?
False
Let x be (0 + -2)*(-9 - -2 - -5). Suppose -3*g = 3*d - 480, 7*d - 764 = 2*d + x*g. Is d a multiple of 5?
False
Let x = -7205 - -11862. Does 16 divide x?
False
Suppose -1740075 = -139*c + 2557240 - 54479. Is c a multiple of 27?
False
Suppose 4*f = 3*j - 118326, -5*j - f + 266686 = 69453. Is 18 a factor of j?
False
Let n = 53984 + -11774. Is 201 a factor of n?
True
Let u = -64 + 52. Let m be 46*(-3)/u*2. Suppose 5*b = 78 - m. Is 11 a factor of b?
True
Suppose -1 = -z - 4*r, 0*z - r = 5*z - 100. Suppose 0 = -17*y + z*y - 2508. Suppose 5*u = -2*v + y, -2*u + 5*v = -7*u + 630. Does 35 divide u?
False
Let i(g) = g**3 - 6*g**2 - 9*g - 10. Let n(s) = s**3 - 1. Let u(o) = -i(o) + 2*n(o). Let b be u(-5). Is 16/b*39/(-2) a multiple of 2?
True
Let q = -11145 + 33525. Is 15 a factor of q?
True
Let t be 3/4*4 - -2*2. Suppose -8 = -t*u + 97. Is 7 a factor of u?
False
Suppose -7*w + 42 = 3*x - 4*w, -w = 4*x - 68. Does 77 divide x/4*10/(-35)*-889?
False
Suppose 0 = -l + 7, -3*g - 17*l + 1255 = -16*l. Is g a multiple of 28?
False
Let h(p) = 113*p**2 + 2. Let n be h(1). Suppose -118*f + 4053 = -n*f. Is f a multiple of 83?
False
Let t(y) = -12*y + 14. Let x be t(4). Let d = -30 - x. Suppose 0 = -d*m - 56 + 256. Is m a multiple of 10?
True
Let a(n) be the second derivative of n**3/6 + 37*n**2 + 4*n - 2. Is 16 a factor of a(-26)?
True
Suppose 3*z + 5*s + 124 = 12892, -12768 = -3*z + 3*s. Is 76 a factor of z?
True
Suppose j - 4*o = -761, 2*o - 1804 = 2*j - 306. Let a be j/10 - 1/(3 + -1). Let t = 118 + a. Is t a multiple of 10?
False
Suppose -8*h + 24 = -0. Suppose 0 = 2*o - h*i - 9, -2*o - 9 = 7*i - 4*i. Suppose -4*n - 3*f + 327 + 38 = o, -4*f = 4. Is n a multiple of 11?
False
Let j(r) = -r**2 - 77*r - 228. Is 19 a factor of j(-56)?
False
Let y(f) = -f**3 - 5*f**2 - 11*f - 13. Let t be y(-6). Let j = t + 3. Let l = j + -45. Is 27 a factor of l?
False
Let v(d) = d**2 - 33. Let u be v(-6). Suppose 9*p = u*p + 2730. Is 13 a factor of p?
True
Suppose -23*k - 118 = -22*k. Is (-6 + 13 + -5)/((-2)/k) a multiple of 2?
True
Let v(y) = 9*y + 11. Let g be v(-6). Let t = g + 156. Does 10 divide t?
False
Suppose -m + 159161 = 5*i, 4*m = -3*i + 82794 + 12689. Does 74 divide 3/6 - i/(-18)?
False
Let w be 0*3*(-3)/27. Suppo