-16)) a multiple of 10?
False
Let r be 108/(-11) - 30/165. Let v(y) = 2*y**2 + 3*y - 74. Is v(r) a multiple of 4?
True
Let i(l) = 2*l**3 + 6*l**2 + 2. Let q be i(-3). Suppose 2*y - 815 = -t, -y = -q*t - 3 - 412. Is y a multiple of 18?
False
Is 4 a factor of ((-900)/(-3))/((-252)/96 - -3)?
True
Let g(p) = 2*p. Let s(c) = -59*c - 29. Let f(d) = 3*g(d) - s(d). Let r be f(19). Suppose -5*j + 3*t = -1263, -3*j - 2*j + 4*t = -r. Is 14 a factor of j?
True
Let n = 157 + -112. Suppose -8*h + 3*u = -7*h - n, 49 = h - 5*u. Is h a multiple of 3?
True
Suppose 0 = 5*v + 3*o - 6, -5*o + 6 = -v - 4. Let f be -404 - (-1)/(v - (-3)/(-9)). Is 10 a factor of f/33*(-6)/2?
False
Suppose d - 105 = 5*h, -3*d = h - 3*h - 354. Is d even?
True
Let c(k) = -4*k**2 - 9*k + 23. Let a = -21 - -26. Let o(t) = -3*t**2 - 9*t + 24. Let w(d) = a*o(d) - 4*c(d). Is w(13) a multiple of 25?
False
Suppose -1077 - 3035 = 21*t - 179000. Is 12 a factor of t?
True
Let r(g) = 999*g**2 - 37*g - 270. Is r(-4) a multiple of 22?
True
Let j = 24150 - 13097. Does 10 divide j?
False
Let f = -3300 + 6620. Is f a multiple of 83?
True
Suppose -9*l = -5*l - 3240. Suppose -5*y + 190 = l. Let m = -66 - y. Is m a multiple of 22?
False
Let n = -305 - -308. Suppose 0 = -n*g - 524 + 2240. Is g a multiple of 44?
True
Let z = -8 - -10. Let c be (1 - 4)*(z + 14/(-3)). Suppose 2*i + 2*i + 174 = 5*d, 2*i = c. Does 19 divide d?
True
Let b(s) = s**3 - 5*s**2 - 20*s + 10. Let i(p) = 3 + 108*p + 5 - 106*p. Let o be i(0). Is b(o) a multiple of 7?
True
Let m = 11 - 6. Let r(a) = -7*a**2 - 97*a - 266. Let y be r(-8). Suppose 0 = -3*x - m*p + 22, 4*x = 4*p + y + 10. Is x a multiple of 3?
False
Let l be (-2 + 0)*(-6)/4. Suppose l*o + 330 = -63. Let b = -89 - o. Does 14 divide b?
True
Let r be 2 - (-36)/(-14) - (-1150)/322. Suppose v + v - 134 = -2*h, 5*h = -r*v + 333. Is 33 a factor of h?
True
Suppose -658681 = -267*t + 1283744. Is 109 a factor of t?
False
Suppose 7*g = 2*t + 2*g - 15, -5*t - 5*g = -20. Suppose 915 = 3*f - 5*w + 2*w, 0 = -4*f - t*w + 1175. Is 10 a factor of f?
True
Suppose -14*u = -19*u + 2*g + 67086, g + 26833 = 2*u. Does 10 divide u?
True
Let t(d) be the third derivative of -755*d**4/24 - d**3/6 - 36*d**2 + 2. Is 13 a factor of t(-1)?
True
Suppose -4273 = 30*a - 34*a - 3*v, -3*v = -2*a + 2141. Is 7 a factor of a?
False
Suppose -5133 = -c - r, 104*r - 105*r + 20526 = 4*c. Does 7 divide c?
True
Suppose 4*v + 8335 - 46135 = 0. Is v a multiple of 75?
True
Suppose -2690 - 894 = -8*g. Suppose 3*q = -g + 1675. Is 12 a factor of q?
False
Let y(a) = 5*a**2 + 11*a + 5. Let r(b) = -b**2 - 8*b + 2. Let q be r(-9). Let f be y(q). Let z = -121 + f. Is 13 a factor of z?
True
Let c(g) = -g**3 + 27*g**2 + 1. Let x be c(27). Suppose -3*v = 4*o - 145 + 22, 0 = -v + x. Does 3 divide o?
True
Suppose 3*j + 16 = 5*i - 504, 0 = -3*j - 5*i - 560. Let u = j + 192. Is 2 a factor of u?
True
Let f = -99022 + 140524. Is f a multiple of 19?
False
Let v be 459/18*4/(-6). Let z(u) = -2*u**3 - 32*u**2 + 18*u + 1. Does 21 divide z(v)?
True
Let g(k) = k**3 + 15*k**2 + 3*k + 30. Let f be g(-13). Let v = -307 + f. Is v a multiple of 3?
False
Suppose 20 = -3*m - 7*m. Let w be (m/(-3))/(-2 + (-96)/(-45)). Suppose 0*d = -d + w. Does 3 divide d?
False
Suppose -4*y = m + 119 + 92, -5*y = 2*m + 260. Let w be (15/45)/((-2)/y). Let q = w - -51. Does 12 divide q?
True
Let d(v) be the third derivative of v**6/40 - 4*v**5/5 - 11*v**4/24 - 7*v**3 + 45*v**2. Is d(17) a multiple of 22?
True
Let z(m) = 3*m + 25. Let a be z(-7). Suppose 2*d = a*d + 4*t + 36, -3*d - 46 = 4*t. Let p(h) = -h**3 - 7*h**2 + 19*h - 12. Is p(d) a multiple of 13?
False
Suppose 2*v + 0*v + 2938 = 8318. Is 13 a factor of v?
False
Let o(b) = 7*b**3 + 3*b**2 - 2*b - 7. Suppose -4*a = -y - 12, -2*a + 5*y + 0 - 12 = 0. Is o(a) a multiple of 13?
True
Let m(f) = 2*f**2 - 4*f + 10. Suppose 0 = 2*l - 3*l + 2. Suppose -24 = -l*i + 5*i. Is m(i) a multiple of 17?
True
Let r = 972 - 954. Is r a multiple of 3?
True
Let v(a) be the second derivative of -5*a**4/24 - 7*a**3/2 - 17*a**2/2 + 10*a. Let l(m) be the first derivative of v(m). Is 2 a factor of l(-7)?
True
Suppose 157 = 2*w + 140 - 77. Is 6 a factor of w?
False
Let j = 5591 - 2981. Suppose 0*a - j = -18*a. Is 37 a factor of a?
False
Suppose -51*l + 72819 = 36*l. Does 9 divide l?
True
Let h(i) = 3*i**2 - 7*i + 14. Let d be h(8). Suppose -z + 175 = -d. Is 65 a factor of z?
True
Suppose 6*k - 30560 = 1060. Suppose 0 = 3*b - 4*x - k, 3*b - 2592 = 2*x + 2668. Does 14 divide b?
True
Suppose 68 = 9*y - 1660. Let z(d) = -d + 2. Let x be z(-6). Suppose -5*v - y = -x*v. Does 10 divide v?
False
Suppose -171*m = 190*m - 112632. Is 13 a factor of m?
True
Is ((-592116)/(-210))/((-2)/(-10)) a multiple of 25?
False
Suppose 2646 = b + 8*b. Suppose -5*w + 5*u = 500, 3*w + 2*u = -u - b. Let f = 106 + w. Does 7 divide f?
True
Suppose -7*j = -442 - 447. Let a = -74 + j. Let z = -23 + a. Is 15 a factor of z?
True
Let o = 12037 + -11592. Does 174 divide o?
False
Is 7 a factor of ((-8)/1 + (-5 - -20))/(3/1272)?
True
Let a be (23/2 - 2) + (-4)/(-8). Suppose -a*p + 32 = -9*p. Is 17 a factor of p?
False
Suppose z = -3*m + 9, z = -2*z - 5*m + 15. Suppose -3*u + z*u = -9. Does 10 divide 98/u + (-1)/(-3)?
False
Suppose 23*s + 3500 = 54*s - 26*s. Is s a multiple of 4?
True
Let p(z) = -19 - 378*z + 16 - 187*z. Is 34 a factor of p(-1)?
False
Is (-352)/(-2) + (-8 - (0 - 16)) a multiple of 18?
False
Let g(f) = 2094*f**3 - 3*f**2 - 15*f + 17. Does 7 divide g(1)?
True
Is (-276)/(-414) + (-84253)/(-3) a multiple of 23?
False
Let f(s) = -30*s - 207. Let b be f(-7). Suppose -b*l = -4*w + 1277 + 343, -5*w + 2002 = 2*l. Does 40 divide w?
False
Suppose 4*x - 5*r = -8*r - 201, -4*r = -20. Let t = 193 + x. Is 4 a factor of t?
False
Suppose 2*x + 10 = 0, 0 = 17*o - 19*o - 3*x + 16797. Is 69 a factor of o?
False
Does 5 divide 3/((-18)/(-9735))*2?
True
Let d(i) = i**3 + 6*i**2 + i + 1. Let x be d(-6). Is 1/(-6*x/1020) a multiple of 3?
False
Let p(n) = -5*n**3 - n**2 - 2*n. Let t be p(-1). Is 14 a factor of (-1)/t - (1 - (-5709)/(-18))?
False
Let r = -12682 - -16679. Is 53 a factor of r?
False
Let r be 8/((-72)/(-195)) + 8/6. Let z(p) = 3*p + 2*p**2 - 3*p**2 + r - 2*p**2 + 4*p**2. Is z(-7) a multiple of 6?
False
Let w be -6 - 21/(-7) - (-32 - 0). Suppose 41 - w = 3*m. Suppose -m*f - 89 = -3*b + 144, 0 = 5*f - 5. Does 8 divide b?
False
Suppose k = 8*k. Suppose -746 = -3*q - 4*p + 2*p, -4*q + p + 991 = k. Is 55 a factor of q?
False
Suppose 5*k = -269 - 1931. Let d be 6/(-5)*k/6. Suppose 22*u + d = 24*u. Is 7 a factor of u?
False
Suppose 5*l = -4*f - 3 + 5, 5*f = 4*l - 18. Let q be l/(-8) - 1736/(-32). Does 5 divide (-12)/(-15)*((2 - 1) + q)?
False
Let r(b) = 63*b + 67. Let h be 1 + -5 + -1 - -13. Does 34 divide r(h)?
False
Let o be 244/(-36) - 8/36. Let z(q) = 19*q**2 - 36*q - 77. Let k be z(-2). Let t = k + o. Does 16 divide t?
True
Let t(p) be the first derivative of -p**4/4 + 3*p**3 + 2*p**2 - 10*p - 21. Let f = -17 + 25. Does 35 divide t(f)?
False
Let l(m) be the second derivative of -32*m**3/3 - 91*m**2/2 - m + 3. Is 21 a factor of l(-7)?
True
Suppose -3*k = -10*k + 35. Suppose -v = -2*f - k, 0*f - 5*f - v - 9 = 0. Let c = 12 - f. Is 14 a factor of c?
True
Is (-10241052)/(-559) - 4/13 a multiple of 62?
False
Suppose -7*t + 345 = -348. Suppose 3*a + a = 5*c - t, 0 = 2*a + 2. Is 2 a factor of c?
False
Let v(z) = 77*z**2 + 23*z - 44. Is v(-6) a multiple of 7?
True
Suppose -2*v + 28791 = 3*c - 1116, -3*c = 3*v - 29910. Is 165 a factor of c?
False
Let b be 140/70*(2111 - -1). Suppose 7*a - b = -25*a. Does 3 divide a?
True
Let o(k) = k**3 - 22*k**2 + 14*k + 51. Let x be -1 - 216/(-10) - 84/(-210). Let s be o(x). Let g = -27 - s. Does 9 divide g?
False
Let b(v) = 1677*v**3 + 3*v**2 + 115*v - 233. Does 25 divide b(2)?
True
Let b(r) be the third derivative of r**6/180 - r**5/120 - r**4/6 - r**3/3 - 11*r**2. Let k(g) be the first derivative of b(g). Is 32 a factor of k(-4)?
True
Let b(j) = -j**3 + 21*j**2 + 46*j - 2. Let n be b(23). Let c(h) = -40*h**3 - 4*h**2 - 9*h - 9. Does 7 divide c(n)?
False
Let f = -2709 + 3159. Is 25 a factor of f?
True
Let b = 726 - 329. Suppose 4*i = -c + b, -3*c + i + 483 = -643. Is c a multiple of 13?
True
Let s(t) = 65*t + 22. Let a be s(-4). Let n = 404 + a