 a factor of k(-2)?
False
Let r(d) = d**2 + 8*d - 72. Let f be r(13). Suppose 5 + 3 = -2*a, -a + 652 = 4*o. Suppose o = 5*p - f. Does 24 divide p?
False
Let k(f) = 2*f**2 - 2*f + 37. Let u be k(-9). Let n = 271 - u. Is n a multiple of 6?
True
Let z(x) = x**2 + 12*x + 2. Let n be z(-12). Suppose d - u - 6 = 2*u, 5*d - n*u = 17. Suppose -235 = -2*w - d*w. Is 4 a factor of w?
False
Suppose c = 5*k - 3, -3*c = -2*c + k + 9. Does 5 divide (279/(-18))/(2/c)?
False
Let g(t) = 3*t**2 - 21*t - 48. Is 5 a factor of g(-11)?
False
Let z be 17/(-68) + 15/(-4). Let v(h) = -4*h**3 - 6*h**2. Is 23 a factor of v(z)?
False
Suppose -2 = b - 3, -5*x + 2*b = 912. Let c = -228 + 210. Let p = c - x. Is 41 a factor of p?
True
Let m be 11/((-10)/15*15/(-10)). Does 11 divide (m/4)/((-33)/(-3036))?
True
Let z(p) = 27*p**3 - 3*p**2 + 7*p. Let g be z(3). Suppose 2*q = 179 + g. Suppose q = 11*a - 99. Is 28 a factor of a?
False
Let f(y) = 12*y - 90. Let l be f(-5). Let p = -60 - l. Does 15 divide p?
True
Let d be (-12)/(-14)*(-2 + 728/21). Is (d/(-20))/7 - 1124/(-20) a multiple of 56?
True
Let i be 321*4/72 - 1/(-6). Let v be 1/(-6) - ((-111)/i + 4). Suppose -7*j = -4*j + 5*r - 62, 0 = v*j - 4*r - 56. Is 12 a factor of j?
True
Suppose -2*l - 2 + 2 = 0. Suppose 2*h + 4*b + 566 = l, -h + b - 4*b = 285. Let c = -84 - h. Does 20 divide c?
False
Suppose 10*s = -0*s + 2440. Suppose s = 2*r + 3*l, 2*r + 0*l = 5*l + 228. Is r a multiple of 27?
False
Suppose 74*k - 4097175 = -1045341. Does 245 divide k?
False
Let q(a) = -132*a + 3. Suppose -5*k = -r - 21, -5*k = 4*r - 21 + 5. Let l be q(r). Is 6 a factor of (l/(-25))/(6/(-20))?
True
Let w(l) = 104*l + 11. Let y be w(11). Suppose -66 + y = 9*b. Does 11 divide b?
True
Let d(v) be the third derivative of -1/60*v**5 - 13/24*v**4 + 0*v + 0 + 10*v**2 + 4*v**3. Is d(-12) a multiple of 6?
True
Let p = 49 - 57. Is p*(-5 + (-57)/2) a multiple of 53?
False
Does 25 divide 7523 + -12*(-4)/(-16)?
False
Let s(c) = 2*c - 5. Let d be s(7). Suppose d*i - 600 = i. Is 5 a factor of i?
True
Let a(w) = -9*w**3 + 3*w**2 + 17*w + 6. Let t be a(-6). Suppose 2*d = 5*l - 2445, 11*l - t = 7*l + 4*d. Is 11 a factor of l?
False
Let s = 504 + -325. Suppose -2*k + 875 = 5*t + s, -562 = -4*t + k. Is t a multiple of 15?
False
Let p = 19870 - -49322. Is p a multiple of 62?
True
Let x = 11 + -8. Suppose -4*f = f - 17*f + 5760. Suppose 6*s - x*s = f. Is 20 a factor of s?
True
Is 12 a factor of ((-283300)/70)/((-205)/574)?
False
Does 227 divide ((-9458808)/(-646) - (-6)/(-51))*6/4?
False
Let y(u) = u**3 + 127*u**2 + 351*u - 153. Does 19 divide y(-124)?
True
Let g be 41/(0 - (-5)/(-15)). Let v = 151 + g. Does 7 divide v?
True
Suppose -5*i = -25*r + 27*r - 515, -r + i + 275 = 0. Does 45 divide r?
True
Let m(y) = y**2 + 8*y + 12. Let l be m(-6). Suppose -6*o - o = l. Suppose o = 3*q - g - 204, -3*q + 3*g + 129 = -q. Is q a multiple of 24?
False
Let g(z) = 3*z + 46. Let o(f) = 2*f + 2. Let i(d) = g(d) + 6*o(d). Is i(4) a multiple of 35?
False
Suppose -n + 1017 = z, -103*z = 2*n - 108*z - 2020. Is 46 a factor of n?
False
Let g(q) = -659*q**2 + 3 - 659*q**2 - 10*q - 6 + 1299*q**2 + 3*q**3. Suppose 3*v - 3*i = 4*v - 19, -5*v - 2*i = -43. Is 5 a factor of g(v)?
True
Let r be 201*-1 - (-8 + 7). Let f = 453 + r. Suppose 4*q - 4*w = 916, q + 0*w + 5*w = f. Is 31 a factor of q?
False
Does 70 divide 315/36 + -9 - (-34162)/8?
True
Is 35 a factor of (((-5621)/4)/11)/((-2 - 4)/120)?
True
Suppose -9*s + 8*s = 0. Suppose s = 2*j + 4*y - 76, 3*y + 0*y = 4*j - 163. Suppose 0 = -2*r + j + 56. Is 5 a factor of r?
False
Suppose 3*l = 0, 75*l + 2694 = u + 76*l. Is u a multiple of 29?
False
Let i(y) = 3*y**2 - 4*y + 25. Let s be i(-5). Suppose -s = 3*r - 8*r. Is 3 a factor of r?
True
Let n(v) = v**3 - v + 187. Let a be n(0). Suppose -2*h - 1710 - 1654 = -60*h. Suppose -a - h = -7*g. Is g a multiple of 5?
True
Let u(j) be the second derivative of j**5/60 - j**4/8 - 10*j**3/3 - 13*j**2 + 27*j. Let y(s) be the first derivative of u(s). Is 16 a factor of y(15)?
True
Let d = 758 + -840. Suppose h - 666 = 4*h. Let y = d - h. Is 14 a factor of y?
True
Let q(t) = 290*t**3 - 6*t**2 + 22*t - 46. Is q(5) a multiple of 61?
False
Let u(y) = -y**2 + 3. Let d be (-4 - -12)*4/32*4. Let x be u(d). Let b(p) = p**2 + 10*p + 25. Does 16 divide b(x)?
True
Suppose 2*v + 3 = a - v, 2*a - 5*v = 9. Suppose -4*l = a, 0 = 5*b - l - 838 - 710. Does 21 divide b?
False
Suppose 3*b + 14 = 4*s, 0 = 4*s - 2*s - 3*b - 4. Suppose 0 = 2*y - s*n - 1, 0 = -2*y + 2*n - 10 - 4. Let v = 44 + y. Is v a multiple of 16?
True
Let t = 192 - 194. Is 64 a factor of (-23065)/(-49) - t/7?
False
Let k = 38 - 35. Suppose 0 = -0*a + k*a - 831. Suppose a - 81 = 4*t. Is t a multiple of 7?
True
Suppose 5*m = -2*f + 26962, -4*m + 81*f + 21536 = 77*f. Is m a multiple of 6?
False
Let a be 4/(-8) + (-10)/(-4). Suppose -5*l = 4*g - 1015, 3*l - l - 508 = -a*g. Does 13 divide g?
False
Suppose -24*d - 24*d + 1687032 = 192792. Does 14 divide d?
False
Let k(h) = -461*h**3 - 6*h**2 - 17*h - 12. Is 55 a factor of k(-1)?
False
Let i be ((-263)/(-3))/(3/144). Suppose 11110 = 23*d - i. Is 37 a factor of d?
True
Let t(p) = -363*p - 696. Does 8 divide t(-24)?
True
Suppose 13*a - 14*a = -65. Let f = 76 - a. Suppose -3*v + f*v - 840 = 0. Is 14 a factor of v?
False
Let i = -149 + 152. Suppose -p + 3*p = -2*r + 40, i*r + 132 = 5*p. Is 13 a factor of 230/6 - -2*(-4)/p?
False
Suppose -116131 = 4*w - 7*w + 12758. Does 152 divide w?
False
Suppose 2*x + 3131 = 3*h + 2*h, -3*h - 4*x + 1863 = 0. Suppose -1175 = -4*l + h. Is 25 a factor of l?
True
Let i be (-261)/5*(-30)/(-9). Let s = 201 + i. Does 10 divide s?
False
Let y = 341 - 100. Suppose -4*r = -3*r + n - y, 0 = -3*r + 5*n + 739. Is 6 a factor of r?
False
Let o(i) be the third derivative of i**6/120 - 11*i**5/60 + 7*i**4/24 + i**3/3 + 6*i**2. Let h be o(9). Let n = -62 - h. Does 5 divide n?
True
Let v = 202 - 198. Is v - -2 - -84 - -5 a multiple of 4?
False
Let x be (-12)/(-42) + (-110)/(-7). Let z = 20 - x. Let i(l) = 12*l + 37. Is i(z) a multiple of 18?
False
Let o = -13666 - -18289. Is o a multiple of 69?
True
Let o(k) = 7*k**2 + 401*k - 144. Is o(-64) even?
True
Let q = 263 - 191. Suppose 0 = 61*x - q*x + 154. Is 14 a factor of x?
True
Let f be (-3074)/(-12) - ((-17)/6 + 3). Let c = 118 + f. Does 12 divide c?
False
Let q(f) be the first derivative of 2*f**3/3 - 11*f**2/2 - 12*f - 4. Let b be q(10). Suppose -3*l - 4*s + 271 = 72, 0 = l - s - b. Is l a multiple of 29?
False
Suppose 3*s + 25 = 6*p - p, 4*p + 7 = -3*s. Is 4 a factor of 448/140*65/p?
True
Suppose 15*n - n - 3416 = 0. Suppose 454 = 4*k + j, 3*j - n = -2*k - 22. Is k a multiple of 38?
True
Let p(x) = -30*x**2 - 373*x - 36. Let t(j) = 7*j**2 + 93*j + 9. Let a(b) = 2*p(b) + 9*t(b). Is 42 a factor of a(-33)?
False
Suppose 4*o - 95 = -5*d, 4*o - 2*o = -3*d + 49. Let j be (15/o)/(3/(-612)). Let z = -106 - j. Is z a multiple of 45?
False
Let o = 104838 + -69220. Is 157 a factor of o?
False
Let w(o) = -50*o**3 - 14*o**2 - 56*o. Is w(-5) a multiple of 20?
True
Suppose -5*o - 79904 = -4*q + 44316, -2*o = 8. Is q a multiple of 10?
True
Suppose -18*y + 6*y = 7848. Let x = y - -1179. Does 15 divide x?
True
Let s(f) = 184*f**2 + 63*f + 248. Is 15 a factor of s(-6)?
False
Let o be (-40)/(32/(-4)) - 215. Is (12 - o/(-18))/((-2)/(-4068)) a multiple of 48?
False
Is 113 a factor of (568/5)/(30/(-60)*(-12)/915)?
False
Let t = -49 - -54. Suppose -u + 150 = 4*a, -t*u + 650 = -10*a + 5*a. Is 67 a factor of u?
True
Let t(k) = k + 11. Let i(o) be the third derivative of -o**5/60 - 7*o**4/24 - 3*o**3/2 - 13*o**2. Let w be i(-4). Is t(w) a multiple of 7?
True
Let m(u) = 2*u**3 - 51*u**2 - 196*u + 22. Is m(32) a multiple of 110?
False
Let t(g) = -3*g + 12. Let w = 3 - 0. Let k be t(w). Suppose c + k*c + 330 = 2*d, 3*d = 2*c + 515. Is d a multiple of 25?
True
Suppose -2*p + 0*p + 34 = -v, 0 = 4*p - v - 70. Let d be (-432)/2*p/(-27). Suppose -4*r + d = -0*r. Is 18 a factor of r?
True
Suppose 238 = 7*y - 196. Is y/6*(-837)/(-31) a multiple of 32?
False
Let a(c) = -1547*c - 434. Does 56 divide a(-3)?
False
Let y(v) = 15*v + 94. Let u be y(-6). Suppose 4*k - 240 = -u*c, 5*k - 3*c = -0*c + 324. Does 4 divide k?
False
Suppose 124*b - 16*b - 943138 = 575342. Does 10 divide b?
True
Suppos