
Let k(q) = -q**3 + 10*q**2 - 16*q + 3. Let t be k(8). Suppose 0*l - l = -2*m + 302, -453 = -t*m + 4*l. Is m a multiple of 12?
False
Let s = 144 + -214. Let g = -72 - s. Let k(x) = -85*x - 17. Is 13 a factor of k(g)?
False
Let j = -28 - -14. Let z be (-4)/3*21/j. Suppose z*w - 144 = -0. Does 8 divide w?
True
Let a = -173 + 202. Suppose 4*h - c = 50, 0 = 3*h - 4*c + 8*c - 28. Let i = a - h. Does 4 divide i?
False
Is 27 a factor of 16/(-16)*10 + 2683?
True
Suppose -3*t = 3*k - 2892, -1912 = -286*k + 284*k + 2*t. Does 32 divide k?
True
Let j be (-9)/(-3)*1*(-2 - -1). Let i be (j/6)/((-5)/30). Suppose -2*t + 0*w + 104 = -3*w, -i*t + 4*w + 154 = 0. Is 23 a factor of t?
True
Let p(o) = 97*o**2 + 37*o + 25. Is p(6) a multiple of 55?
False
Let m(h) = -2*h**3 - 5*h**2 + 8*h + 1. Let j be m(-4). Let f(s) = 2*s + 39. Is 3 a factor of f(j)?
False
Let k = 316 - 326. Is (-1 + (-118)/k)*(29 - 9) a multiple of 54?
True
Let h be (-51)/2*(-138 - -26). Suppose 8*i - h = i. Is i a multiple of 24?
True
Is 3951/(-27)*(-1 + -2 - 210) a multiple of 14?
False
Suppose -698 = -4*g - g + 11407. Is 23 a factor of g?
False
Let n(v) = -17*v**3 + 6*v**2 + 16*v. Is 7 a factor of n(-4)?
True
Let c(i) = -26*i + 38*i**2 - 14*i**2 - 25*i**2 + 11. Is c(-25) even?
True
Suppose 12*v - 51741 - 69809 = v. Is v a multiple of 25?
True
Let a be 3/(-3) - (1 + -8). Suppose s + r = 899, a*r - 2673 = -3*s + 9*r. Does 23 divide s?
False
Let c(z) = 3744*z**2 + 794*z - 2370. Is c(3) a multiple of 159?
True
Let n = -361 + 413. Is 13 a factor of 1*(-1 + (-23)/(-4))*n?
True
Let o = 16771 + -7024. Is 57 a factor of o?
True
Let m(c) = 19*c**2 - 2*c. Let a be m(-1). Suppose 42 + a = 9*l. Suppose -3*q - 5*o = -136, 2*o - l*o + 220 = 5*q. Is q a multiple of 14?
True
Let h(f) be the second derivative of f**4/12 + f**3 + 4*f**2 + 8*f. Let y be h(-5). Suppose -y*i + 665 = 116. Is i a multiple of 19?
False
Let h = -12627 - -21726. Is h a multiple of 13?
False
Is 33 a factor of -7 - 2 - (-18017 + -7 + -3)?
True
Suppose -3*h + 572 = 4*z, 5*z = -0*h + h - 197. Let p be h/(-40)*300/(-9). Suppose -6*w + p = -w. Is 12 a factor of w?
False
Let z = 5857 - -206. Does 129 divide z?
True
Suppose -l = -8*w + 6*w - 14, 13 = 2*l - w. Suppose l*i - 12 = -8. Does 14 divide (-4 + (1 - i))*(-14)/2?
True
Suppose 5*d - 10 = -20, -4*d - 24740 = -2*l. Is 11 a factor of l?
False
Suppose 28*i - 23*i = 30. Suppose i*z = -z - 567. Let o = 49 - z. Does 10 divide o?
True
Let o(n) = -245*n**2 + 14*n + 51. Let h be o(-4). Let l = -2791 - h. Does 21 divide l?
True
Let w = 227 + -155. Suppose 5*g - 4*h + w = 0, h = -5*g + 9 - 66. Is g + 8 - (1 + -211) a multiple of 35?
False
Let t(u) = 3*u**2 + 41*u + 1423. Is t(-40) a multiple of 5?
False
Is 72/(153/(-17)) + 3312 a multiple of 59?
True
Let u(w) = -15*w + 55. Let d be u(-16). Let m(y) = y**3 - 6*y**2 + 10*y - 32. Let b be m(9). Suppose -3*g + d = 2*a, -a - a - 5*g = -b. Is 17 a factor of a?
False
Is 25 a factor of 175/((168/1232)/((-3)/(-2)))?
True
Let b be 77/22*12/7. Let a(w) = 92*w**2 - 1. Let g be a(-1). Suppose -4 = -4*j, 4*t = b*t - 5*j - g. Does 16 divide t?
True
Let v(s) = -123*s + 1873. Does 82 divide v(0)?
False
Suppose 0 = 345*g - 3458 - 196987. Does 24 divide g?
False
Let a(p) = -5*p**2 + 8*p. Let h(c) = -c**2 - c + 1. Suppose 3*t + 2*m + 12 = 5*m, 5*m + 10 = 0. Let j(k) = t*h(k) - a(k). Does 21 divide j(-2)?
True
Let y(r) = 11*r + 3. Let m be (5/3)/((-1)/(-6)). Suppose -n = 4*l - m - 10, 2*n - 25 = -5*l. Does 8 divide y(l)?
False
Suppose -3*o - 114443 = -4*n, 18*n - 17*n - 3*o - 28604 = 0. Is 13 a factor of n?
True
Suppose 16323 = 6*m + 309. Is m a multiple of 22?
False
Suppose 3*z = 4*r - 4876 - 1022, 3*z = 6. Does 24 divide r?
False
Let b(a) = -5 + a - 2 - 4. Let m be b(17). Suppose z - 42 = -r + m, -4*z + 100 = 2*r. Does 46 divide r?
True
Let b(f) = 15*f + 10. Let o = -67 + 59. Let s be b(o). Let m = s - -292. Is 38 a factor of m?
False
Suppose 33 = 16*k - 5*k. Let v(z) = 164*z - 49. Is v(k) a multiple of 4?
False
Let o = 192 - 148. Suppose -o*a + 1804 = -33*a. Is 50 a factor of a?
False
Let l = 21504 + -2688. Suppose l = 6*z + 8*z. Is z a multiple of 48?
True
Let n(h) = 874*h**2 + 904*h**2 + 176 - 1779*h**2 - h**3. Let b = 1 - 1. Does 26 divide n(b)?
False
Let c be 3 - ((-9)/(-6))/(12/(-1800)). Let u = -58 + c. Is 7 a factor of u?
False
Let k(b) = 3*b**2 + 11*b - 14. Let d be k(-6). Suppose 3*z - 4*g + d - 197 = 0, 3*z - 162 = -3*g. Suppose 0 = -3*q - z + 307. Is q a multiple of 18?
False
Let o = 6044 + -3990. Suppose o = 7*g - 781. Suppose 0 = 4*y - g - 267. Does 18 divide y?
False
Let p(d) = -d**3 + 190. Suppose 0 = -3*f + 119 - 119. Does 10 divide p(f)?
True
Suppose x + 124 = s, -x = -3*s + x + 374. Is 14 a factor of (s/(-12))/(3/(-44))?
True
Let b = 144 - 141. Let i(k) = 2*k**3 - 5*k**2 + 4*k**2 + 8*k - 1 - 14*k. Is i(b) a multiple of 4?
False
Suppose 43*d = -p + 48*d + 153, -2*p = d - 262. Let b be (-1023)/(-12) + (-2)/8. Let x = p - b. Is x a multiple of 6?
True
Does 271 divide (38 - (-12)/4)*23306/86?
True
Suppose 5*f = -3*u - 6, 4*f + 2 + 22 = 4*u. Suppose u*y - 892 = -136. Is y a multiple of 63?
True
Let n = 149 - 145. Does 9 divide -2 + 3 - (-1505)/(3 + n)?
True
Suppose -2*o = 2*c - 18, -2*c = -7*c - o + 25. Suppose c*k + 151 = f, 0 = 4*f + f + 3*k - 640. Is 4 a factor of f?
False
Let i(q) = 78*q + 26. Let k be i(4). Suppose -26*d + k = -4810. Does 11 divide d?
True
Let t(z) = 32*z - 152. Suppose 2*p = a + 3*p - 12, 0 = -5*a - 4*p + 55. Does 9 divide t(a)?
True
Let g be 92/69*(-15)/4. Is 244 - -3 - (g + 5 - -3) a multiple of 61?
True
Let r(s) = -6*s - 20. Let l be r(-3). Let z be 2 - (-3 - -7)/l. Does 25 divide 698/z + (-2)/4?
False
Let b be -2 + (4/4 - -4). Suppose -b*c - 1 = -4*i, 0*i + 5*c - 45 = -5*i. Suppose 4*y - 444 = -4*l, -l = i*l + 2*y - 564. Is 38 a factor of l?
True
Suppose -j + 4 = 0, 106*m - 2*j = 108*m + 16. Is (8/m)/((-14)/5859) a multiple of 31?
True
Let n = 36 - 47. Let d be (0 + 33 - -1) + (-13 - n). Let h = -19 + d. Is h a multiple of 13?
True
Let i(l) = 14*l**2 - 60*l - 222. Does 4 divide i(-25)?
True
Let h = 8 + -12. Let s = 876 + -877. Is 7 a factor of 84 + -1 - (s - h/4)?
False
Suppose -2*i + 4*i - 5*v = 4515, -4*i - v + 8975 = 0. Is i a multiple of 5?
True
Let g = 15143 - 6159. Does 69 divide g?
False
Let i be 27 + (-7 - 6/(-2)). Suppose -5*o + i + 87 = 0. Is o a multiple of 2?
True
Let h be 379/2 - (-3 - (-25)/10). Let q = -142 + h. Is 12 a factor of q?
True
Let u = -169 - -180. Let l(d) = -3*d**2 + 39*d - 6. Does 3 divide l(u)?
True
Let l = 1455 + -705. Does 217 divide l?
False
Let q be (-7 + 680 - -6)*(-12)/(-14). Suppose -2*c + q = 3*r, 0*r = -2*r - 2*c + 386. Is 5 a factor of r?
False
Let z = 228 - 221. Suppose 0 = z*q - 665 - 105. Is 11 a factor of q?
True
Let x(u) = -u**3 - 10*u**2 + 2*u - 2. Let o be x(-10). Is 6 a factor of (-1588)/o - 12/66?
True
Let u = -303 + -376. Let g = -127 - u. Is g a multiple of 8?
True
Suppose 0 = -5*q + 6*f - 9*f + 20, 4*f = 0. Suppose -c - q = 4*v, 2*c = 8*v - 4*v + 40. Suppose -13*p + c*p = -120. Is p a multiple of 29?
False
Let s be (-6)/((-252)/138) + (-2)/7. Let o = s - -9. Does 12 divide 567/o + 6/8?
True
Suppose 136*y = 25159 + 4761. Is 22 a factor of y?
True
Let d be 2*(-4)/(-2 - 2). Let b(m) = 0*m + 0*m**d - 8*m + 10 + 3 + m**2. Does 19 divide b(11)?
False
Let l = 74 + -82. Does 22 divide (-702)/(-8) - ((-6)/l - 1)?
True
Let j be (-8 + (-740)/(-4))/(1/9). Is j/36 + 2/(-8)*-3 a multiple of 7?
False
Suppose -1643 = -4*y - q, q + 27 = 30. Does 16 divide y?
False
Let k = -49 + 47. Let i(w) = -54*w**3 - 3*w**2 + w. Is 49 a factor of i(k)?
False
Suppose -21*q = -5533 - 389. Is 83 a factor of q?
False
Suppose 5*q = -55 + 155. Suppose 0 = -q*u + 15*u + 3*j + 3327, -2*j = -2. Is 18 a factor of u?
True
Let t(a) = 19*a**2 - 9*a + 9. Let i be t(3). Let f = i + -69. Is f a multiple of 21?
True
Let g be 4/7*(-42)/(-12). Let d be 20/230 + (-67)/(-23). Suppose g*z - d*z = -20. Is 4 a factor of z?
True
Suppose 0 = -2*o + v - 164 + 8314, -3*o + 4*v + 12230 = 0. Does 14 divide o?
True
Let s be 16/4 - 0 - (0 - -5). Is 19 a factor of (437/(-69))/(s/105)?
True
Suppose -3252*c + 4136 = k - 3251*c, -3*c + 16547 = 4*k. Is k a multiple of 48?
False
Let q(y) = y**2 + 19*y + 4. Let b be q(-19). Suppose b*p - 341 -