ose -v*g - 1339 = -5715. Is 25 a factor of g?
False
Let x = -2 - -10. Let t(v) = v**3 - 6*v**2 - 8*v + 20. Is t(x) a multiple of 14?
True
Let r(s) = s**3 + 7*s - 15*s**2 + 4*s**2 + 48 + 4*s**2. Does 26 divide r(9)?
False
Let u = 51 + -34. Let t(k) = 4*k + k**2 + u*k - 31*k - 12. Is 9 a factor of t(13)?
True
Let d = 106 - 71. Let p = d + 315. Is p a multiple of 11?
False
Let v(c) = -c**3 - 21*c**2 + 2*c + 43. Let j be v(-21). Let z(t) = -113*t**3 + t - 2. Let n be z(j). Let x = -64 - n. Is x a multiple of 4?
False
Let u be (-10 - (-62)/6)/(1/72). Suppose 0 = 11*m + u - 90. Is m a multiple of 6?
True
Let d(k) = 28*k - 12. Let i be d(3). Suppose 0*r = r + 64. Let q = r + i. Is 8 a factor of q?
True
Suppose 301 = c + 92. Let d = c - 38. Is 19 a factor of d?
True
Let w be 5786/14 - 6/21. Let t = w + -327. Does 43 divide t?
True
Is 12 a factor of (24/(-45))/(-4) + (-1248344)/(-1020)?
True
Let k be (2264/(-24))/(-5 + 298/60). Suppose -5*u - k = -5*c, -18 = 5*u - 8. Does 7 divide c?
False
Suppose 414216 = 78*q - 56*q. Is q a multiple of 143?
False
Suppose 11*y + 4*w - 15367 = 6*y, 2*w + 4 = 0. Is y a multiple of 25?
True
Suppose 198 = 2*r - 5*r. Let u(d) = d**3 + 4*d**2 - 7*d - 6. Let f be u(-5). Is (r/f)/(4/(-8)) a multiple of 18?
False
Suppose 4*s + 3 = i - 19, 3*i - 18 = 4*s. Is 173 + 1 + (1 + -4 - s) a multiple of 22?
False
Let v = -37 - -37. Suppose v = q + 3*q - 5*l - 17, l + 21 = 3*q. Suppose -q*h + 434 = -h. Is 8 a factor of h?
False
Let z(p) = -16*p + 1002 + 5*p - 1042. Suppose -4*l + 28 = 60. Is z(l) a multiple of 8?
True
Let w = -6 - -73. Suppose w*h - 72*h = -20. Does 2 divide h?
True
Let o = -68 - -67. Let i be (-2)/4*o + (-10)/(-4). Suppose 0 = -i*n + 8*n - 130. Is 13 a factor of n?
True
Let g(y) = 1662*y**2 - 41*y + 146. Is 307 a factor of g(4)?
False
Let t be 2/11 + (-72)/(-88). Let b(j) = 26*j**3 - 2*j**2 + 1. Does 5 divide b(t)?
True
Let h(z) = z**3 - 20*z**2 - 21*z + 7. Let f be 1*-42*4/(-4). Let y be (f/4)/((-21)/(-6) + -3). Is 7 a factor of h(y)?
True
Let a(k) = -58*k - 818. Is 12 a factor of a(-29)?
True
Let h be (4 + 0 + -2)/((-10)/(-5)). Does 23 divide (39 + -1)*(84/8 + h)?
True
Suppose -3*y = -3*h - 2*y + 20, h - 14 = 4*y. Suppose -2*j = -h*j. Suppose j = 4*d + 3*z - 208, d - 3*z - 37 = -0*z. Is 7 a factor of d?
True
Suppose 10*d = 3*d + 13153. Suppose -26*i = -3*t - 28*i + 1127, 0 = -5*t - 4*i + d. Does 5 divide t?
True
Let x(o) = -2*o - 35. Let m be x(0). Let q = m - -37. Does 6 divide -2 - (-8)/q - -24?
False
Suppose -p = 2*x - 3112, x + 9090 - 2896 = 2*p. Is 5 a factor of p?
True
Let z = -10561 + 14126. Is 2 a factor of z?
False
Let a = -619 + 1035. Suppose m - 4*m + n + 293 = 0, -5*n + a = 4*m. Does 11 divide m?
True
Let s(k) = 281*k**2 - 2*k - 1. Let w be s(1). Let a = w + -132. Does 26 divide a?
False
Let t = 217 + -217. Does 35 divide 7 + t + (-7511)/(-37)?
True
Let f = 319 - 561. Let c = f - -253. Is c a multiple of 10?
False
Let v be (-18)/(-4) - 15/(-30). Suppose -w + 6*z = 2*z - 14, 0 = v*w - 2*z - 16. Suppose 4*j - 46 = -w. Is j a multiple of 8?
False
Is 34 a factor of (26137 - 4) + -2 + (47 - 40)?
False
Let z(y) = -156*y - 65. Let b = 89 + -93. Does 34 divide z(b)?
False
Suppose n = 175 + 468. Let z = n + -527. Is 3 a factor of z?
False
Is (-155952)/(-798)*616/12 a multiple of 209?
True
Let n be (0 - (2 - 1)) + 6. Suppose -2*j = -4*j - 13*j. Suppose -q + n = j, f = -q + 155 - 48. Is 34 a factor of f?
True
Let f be (-3)/(5/(-140)*6). Let g(t) = 56*t - 14. Is g(f) a multiple of 20?
False
Suppose -20*h + 5314 = -18*h - 2*k, -7951 = -3*h - k. Does 13 divide h?
True
Let c be (-125)/(-25) + 0 + 240. Suppose -l + c = 186. Does 10 divide l?
False
Let c(q) = -267*q - 63. Let s be c(-9). Let d = s - 883. Does 15 divide d?
False
Suppose -5*b + 35604 = -z + 3746, -2*b + 12754 = 5*z. Suppose -15*c - 1617 = -b. Does 15 divide c?
False
Let r(f) = 6*f**2 + 8*f + 8. Let p be r(-6). Let g = p + -590. Does 12 divide (g/27)/((-1)/3)?
False
Let n(d) = 4*d**2 - 69*d + 18. Is n(47) a multiple of 181?
True
Suppose -3323 = -z - 5*n + 4807, 3*z - 24378 = -3*n. Does 119 divide z?
False
Let q(h) = -h**3 - 20*h**2 - 2*h - 30. Let f be q(-20). Let p be ((-1)/(-2))/(1/4). Suppose f*z - 256 = p*z. Does 7 divide z?
False
Let f(c) = 2*c**3 + 2*c**2 - 15*c - 61. Let x be f(-7). Let r = x - -840. Does 8 divide r?
True
Let r = 5964 + -1508. Is r a multiple of 11?
False
Let j = -671 + 7359. Is j a multiple of 176?
True
Suppose 4*x - 5*a + 2169 - 91814 = 0, 5*x + 5*a - 112000 = 0. Is x a multiple of 219?
False
Let r = 459 + -453. Suppose 0 = -r*c + 10*c - 4144. Does 28 divide c?
True
Let d(j) = -j**2 - 9*j + 55. Let l be d(-13). Let q = 13 - 9. Suppose -4*b + 474 = -l*u, -q*u + 74 = -b + 199. Does 13 divide b?
True
Let n(w) be the third derivative of w**5/30 - w**4/6 + w**3 - 13*w**2. Is n(-9) a multiple of 17?
True
Let f(o) = 10*o**2 + o + 25. Suppose 20*i + 17 = -63. Is 19 a factor of f(i)?
False
Suppose 7404 = 4*b - 4*v, 3*v = 9*b - 4*b - 9267. Does 20 divide b?
False
Suppose -11 = -5*s - 41. Let m be s - -2 - (5 - 9). Suppose -g + j = -0*j - 220, -2*g + j + 442 = m. Does 16 divide g?
False
Is 29 a factor of (-2 - -1)/(-9 + (-306932)/(-34104))?
True
Let j(q) = -21*q. Suppose -5*s - 4*p - 259 = 0, 0 = p - 2*p - 1. Let l = s - -49. Does 21 divide j(l)?
True
Let c(p) = 0*p**2 + 59 + 59 - 19*p - 2*p**2 - 112. Is 30 a factor of c(-8)?
True
Suppose -48930 = 39*p - 60*p. Is p a multiple of 58?
False
Let b = 113 - 107. Is 4 a factor of (-10)/(-390)*13 - (-448)/b?
False
Let y(b) = -b**3 + 13*b**2 + 19*b + 8. Let o be y(14). Let t = 80 - o. Suppose 3*g + 89 = 4*i, t*i + i = -3*g + 72. Does 4 divide i?
False
Let f = 78 - 77. Suppose -f + 19 = 2*y. Suppose -4*s + 148 = 4*j, 3*j = y*s - 10*s + 117. Is 10 a factor of j?
True
Let j(i) = -i - 76. Let x be j(0). Let t be (59/(-2))/(19/x). Let h = t - 70. Is h a multiple of 6?
True
Suppose v - 2*v + 4*r + 4378 = 0, v + 4*r = 4426. Is 62 a factor of v?
True
Suppose -9*g = 6*g. Suppose g = -j + a + 352, 0 = 3*j - 2*a - 3*a - 1052. Does 12 divide j?
False
Let c be (-14)/(-28) + 3/2. Let u(d) = -d**3 - 2*d**2 + 13*d - 10. Let g be u(3). Is c/g + (-69)/24 + 45 a multiple of 9?
False
Let n(c) = -9*c**3 + 6*c**2 - 8*c - 15. Let o be n(-3). Let p = -249 + o. Is 3 a factor of p?
True
Let r(t) = -12*t**3 - 14*t**3 + t**2 - 5 + 25*t**3 + 9*t**2. Suppose 0*u + 25 = 5*u. Does 22 divide r(u)?
False
Is (-313)/(-14)*178 + (-100)/175 a multiple of 14?
False
Does 87 divide (1 - (-5 + 7)) + (-9333)/(-17)?
False
Let s(c) = -c**3 + 109*c**2 - 314*c - 62. Is 9 a factor of s(106)?
False
Let l be 14/((-3 - -8)*(-10)/(-25)). Suppose -3*b = -l*b + 736. Is 8 a factor of b?
True
Suppose n - 5*n - 44 = 0. Let a(o) = 294*o + 4 - 285*o + 0*o**2 + o**2 - 2. Is a(n) a multiple of 8?
True
Let a(d) be the second derivative of 6*d**2 + 3*d - 2/3*d**3 + 0. Is 6 a factor of a(-6)?
True
Let m(y) = 303*y - 4962. Is m(46) a multiple of 24?
True
Let p = 613 - 623. Is (4485/(-78))/(p/8) a multiple of 5?
False
Let q(p) = -2*p**2 + 23*p - 6. Let d be q(11). Suppose -15 = -d*m - 20. Is -1 + -143*(m - 0) a multiple of 14?
False
Suppose -4*m + 156 + 232 = 0. Suppose 91*i + 126 = m*i. Is 7 a factor of i?
True
Suppose -16*y + 21*y - 95 = 0. Suppose -5*z = 96 + y. Let c = z + 51. Is c a multiple of 14?
True
Let z = -4176 + 33246. Is z a multiple of 153?
True
Suppose 20*t = 48 + 32. Suppose 1261 = 3*z + k - 2*k, t*k = 3*z - 1264. Does 17 divide z?
False
Let j be -76*(-55)/130 + 2/(-13). Let k = j + 648. Is k a multiple of 34?
True
Does 13 divide (4 - 16 - -3885)*3?
False
Let z(d) = 8*d**2 - 73*d + 66. Does 42 divide z(-22)?
True
Let d = 210 + 78. Suppose 31 = 4*i - 1661. Let w = i - d. Is w a multiple of 15?
True
Suppose -o - 3*o = u - 43, u - 4*o = 59. Suppose -q + 4*a = -u, 53 = 2*q + 4*a - 1. Is 35 a factor of q?
True
Let k(a) = 4*a - 39. Let n be k(12). Suppose n*f = 6*f + 279. Let c = f - 33. Is 6 a factor of c?
True
Suppose -2*a - 661 + 73 = 0. Let h = -183 - a. Is 13 a factor of h?
False
Suppose -19*i - 574 + 11100 = 0. Let n = -248 + i. Is n a multiple of 34?
True
Suppose 20*p + 11562 = 17*p. Let j be -3 + (-4)/(-22) + p/22. Let b = 259 + j. Does 9 divide b?
True
Let i = 570 - 209. Let y = 552 - i. Is 29 a factor of y?
False
Suppose 4*a - 6 = 6. Suppose 