 3*t, -4*t - 8 = 5*k. Suppose 2*z + 4*f = -t*z + 9, 4*f = -z + 5. Is 15 a factor of 46*1 - (0 + z)?
True
Suppose -b + 848 = -3*r, -10*b = -14*b - 3*r + 3347. Is b a multiple of 4?
False
Let o(n) be the first derivative of n**3/3 + 9*n**2 + 53*n + 64. Is 7 a factor of o(12)?
True
Suppose 6*s - 9728 + 404 = 0. Is 42 a factor of s?
True
Let t = 7 + -29. Let l = 68 - t. Let c = -56 + l. Does 10 divide c?
False
Let k = 160 + -132. Suppose 0 = k*z - 24*z - 5168. Is z a multiple of 68?
True
Suppose -k = 2, 4*k = -2*n + 113 + 21. Suppose -7*q + n = -55. Is q even?
True
Let d(l) = -l**3 + 70*l**2 + 26*l - 1773. Is 3 a factor of d(67)?
False
Suppose 147*d - 376*d + 14388192 = 259*d. Is d a multiple of 9?
True
Let o = 234 + -256. Let m(s) = -10*s + 32. Does 18 divide m(o)?
True
Let w(s) = 12*s**2 - 13*s - 24. Let q(z) = -2*z**2 + z + 2. Let p(g) = 4*q(g) + w(g). Suppose -y - 3 = 2. Is 27 a factor of p(y)?
False
Let l(m) = 71*m**2 + 4*m. Let b(f) = 142*f**2 + 7*f + 1. Let v(o) = 3*b(o) - 5*l(o). Is 19 a factor of v(-2)?
True
Let x be (1/(-2))/(2/(-24)). Suppose x*o = 9*o - 6. Suppose -o*k = -5*t - 54 + 529, 4*k = 4*t - 368. Does 14 divide t?
False
Let w(y) = -y**2 - 22*y - 19. Let g be w(-21). Suppose g*c + 0*c = 16. Suppose c*t + 93 = 9*t. Is t a multiple of 13?
False
Let h(z) = 128*z + 24. Let b be h(-6). Let o = 1544 + b. Is o a multiple of 25?
True
Suppose -4 = -l + j, 0 = 2*l + j - 2*j - 6. Suppose -2*y + 0 = -t + l, -5*y + 2*t = 5. Is y - (82*-1 + -2) a multiple of 12?
False
Let z(f) be the first derivative of f**4/2 - 2*f**3/3 + 3*f**2 + 7*f - 47. Let q be z(5). Let u = -142 + q. Is 11 a factor of u?
False
Suppose 3*j + 2*g = 28598, -j + 644*g + 9534 = 645*g. Does 5 divide j?
True
Let x(m) = 18*m + 5728. Is 19 a factor of x(47)?
True
Let q(s) be the second derivative of 29*s**3/6 - 3*s**2/2 - 9*s. Let p be q(-1). Is 9 - 11 - p/1 a multiple of 15?
True
Let u = 26 - -37. Suppose l - 2*d + u = 557, 2*d = -l + 514. Is 63 a factor of l?
True
Let k be 3*(-4 - 26/(-6)). Suppose k - 66 = -5*g. Suppose g*h - 10*h = 75. Is 10 a factor of h?
False
Let p be 28*1 + (4 - (3 + 1)). Suppose -5*x + 41 = r, 4*r = r + x + 75. Let l = r + p. Does 9 divide l?
True
Suppose -5 = 2*t - 9. Suppose 4*z - 425 = 3*w, -t*z - 3*w = 2*z - 407. Is 25 a factor of -2 - (-4 - -6 - z)?
True
Let v be (1 - 1)*(-36)/72. Suppose 14*h - 11*h + 3 = v, 3*y + 5*h = 247. Is y a multiple of 12?
True
Let p(l) = 184*l**3 - 6*l**2 + 11*l - 9. Is p(1) a multiple of 91?
False
Let f be (17/2)/(6/12). Suppose 0 = -5*s, -4*s + 151 = 4*x - f. Is x a multiple of 7?
True
Let z(x) = 567*x**2 + 10*x + 2. Does 10 divide z(-6)?
False
Suppose 0 = 7*b - 2*b + s - 5407, 4*b = -4*s + 4316. Suppose 29*x + 241 = b. Is 4 a factor of x?
False
Let t = -66384 + 99428. Is t a multiple of 36?
False
Suppose -2*i = -3*a - 16, -4*a + 5*a + 12 = 2*i. Let b be (8/i)/((-26)/7345). Let g = -317 - b. Is 27 a factor of g?
True
Let v = 30265 - 12544. Is 33 a factor of v?
True
Suppose 0 = -7*n + 2418 + 8222. Is 10 a factor of n?
True
Let r be (148 - 147)*17/5 - (-4)/(-10). Let t(q) = -q**2 + 3*q + 3. Let c be t(3). Suppose 96 + c = r*x. Does 10 divide x?
False
Suppose -93*n + 311220 = 12*n. Is 5 a factor of n?
False
Suppose -31*g = -14445 - 548670. Is g a multiple of 173?
True
Is 174 a factor of (-45)/50*8*((-4201)/2 - 2)?
True
Let o(s) = -51*s - 16. Let q(n) = 102*n + 34. Let i(b) = -10*o(b) - 4*q(b). Is 81 a factor of i(12)?
False
Let k(w) = w - 49. Let a be k(-6). Is 18 a factor of -10*129*33/a?
True
Let l(m) = 4*m + 13. Let p be l(-4). Let r be 5 - (-4 - -4)/p. Suppose r*h + 296 = 9*h. Is h a multiple of 20?
False
Let l = 14399 - 1815. Is l a multiple of 26?
True
Suppose 2*b + 2 = x, 27*x - 3*b = 29*x - 4. Suppose 0 = -2*g + x + 2, -4*u + 134 = -g. Does 9 divide u?
False
Suppose -z - 5329 + 21604 = -3*c, 0 = 4*z - 5*c - 65086. Does 33 divide z?
True
Suppose 3*t + 32757 = 3*p, -5*p + 4*t = -33374 - 21227. Does 19 divide p?
True
Let v(d) = -3*d**3 - 2*d**2 + d + 451. Let z be v(0). Let o = -171 + z. Does 7 divide o?
True
Suppose 65*b = 74*b - 441. Suppose -c + 963 = -3*j - b, -4*c + 3968 = 4*j. Is 33 a factor of c?
False
Let b(s) = -53*s - 71. Let t be b(6). Let h = 767 + t. Is h a multiple of 54?
True
Suppose 239*k - 231*k = 13552. Does 11 divide k?
True
Suppose -58324 = 6028*u - 6013*u - 182119. Is u a multiple of 55?
False
Let l(q) = 2*q + 10. Let g be l(10). Suppose 20*m - 10*m = g. Suppose -m*d = 5*s - 6*d - 794, -788 = -5*s + d. Does 18 divide s?
False
Suppose 43*f - 150580 - 7058 = 0. Is 13 a factor of f?
True
Is (-1)/((-3)/(-14))*52461/(-174) a multiple of 21?
True
Let j(p) = 10*p**2 - 153*p + 82. Is j(21) a multiple of 87?
False
Let b(j) = -285*j + 435. Is 92 a factor of b(-13)?
True
Let y(s) = -240*s + 13. Let m be (5 - (-14)/(-2))*10/4. Let x be y(m). Suppose 4*n + 441 = x. Does 29 divide n?
False
Let x be (-45)/(-6) + -9 + 45/2. Let f(j) be the second derivative of -j**3/6 + 41*j**2/2 + 4*j. Is f(x) a multiple of 5?
True
Suppose v + 7 = 6. Let j = 56 - v. Let l = j - -36. Does 31 divide l?
True
Suppose 35 - 27 = a. Let v(y) = 7*y + y**2 + a*y**2 + 6*y**2 + 33 - 14*y**2. Is v(-17) a multiple of 29?
True
Let l = 3 + 2. Suppose -2*o - 3*o + 115 = 0. Suppose -3*a - 9 = -2*c, 5*c - 58 + o = -l*a. Does 3 divide c?
True
Let y(w) = -29*w - 29. Let a be y(5). Let k be 5/(75/a) + (-9)/(-15). Let h(g) = g**2 + 4*g - 5. Is h(k) a multiple of 12?
True
Suppose -w = 10*i - 5*i - 42283, 2*w - 84521 = 5*i. Is w a multiple of 12?
False
Let p(k) = -k**2 - 3*k. Let s be p(-2). Let b be s/(-9) - (-608)/144. Suppose n + b*l - 68 = 0, -n + 50 = -8*l + 3*l. Is 16 a factor of n?
False
Let s = -528 + 356. Let m = s - -280. Is (-1)/(-1 - (-11)/(1210/m)) a multiple of 12?
False
Let h(k) = -k**3 + 6*k**2 - 5*k + 1. Let x be h(6). Let i be (x - -34)*((-1)/(-1) - 0). Suppose -5*t + b - 43 = -10*t, -t - 2*b = -i. Is 9 a factor of t?
True
Let r be 1731/6 + (-2)/(-4). Let h = -70 + r. Is 30 a factor of h?
False
Is 5 - 89712/(-14)*2 a multiple of 46?
False
Let d(z) = -2*z + 5. Let j = -9 - -10. Let k be d(j). Is 28 a factor of 120 + 1/((-3)/k)?
False
Suppose 48*j = 1030 - 790. Let w(q) be the second derivative of -q**5/20 + 2*q**4/3 - 2*q**3/3 - 5*q**2 + q. Does 20 divide w(j)?
False
Suppose 0 = -4*s - 32*g + 35*g + 90808, s + 5*g = 22725. Is s a multiple of 213?
False
Let f(x) = 21*x + 397. Let y be f(-30). Let j = 508 - y. Is 19 a factor of j?
True
Suppose 6*q + 985 = 5*v + q, 3*v = 5*q + 585. Let y = 242 - v. Does 4 divide y?
False
Suppose 0 = -5274*f + 5222*f + 1646736. Is 116 a factor of f?
True
Let n be (1930/90)/((-1)/(-6))*12. Suppose 4*j = -0*j + n. Suppose -4*t - 58 = -j. Is t a multiple of 16?
False
Let b(g) = -61*g**2 + g**3 - 15 + 131*g**2 - 14*g - 59*g**2. Does 21 divide b(-9)?
True
Let h = -498 + 500. Suppose -2*y + j + 285 - 81 = 0, h*y - 2*j - 204 = 0. Does 17 divide y?
True
Is 2 a factor of -5 + 780/150 - (16238/(-10) + 1)?
False
Let z = -170 + 168. Let d(n) = 8*n**2 + 3*n + 11. Is d(z) a multiple of 15?
False
Suppose -74*p - 177*p + 9213237 = -50*p. Is p a multiple of 6?
False
Suppose -2*i = 4*s + 4, 0*s = -i - s. Is i/7*32522/92 a multiple of 6?
False
Let a(y) = 29*y + 4. Let l be a(-1). Let r = 44 - 94. Let b = l - r. Is 5 a factor of b?
True
Suppose f + f = 5*f. Let n be (f - (-6)/27) + 1750/(-18). Let c = 209 + n. Is 14 a factor of c?
True
Suppose -2*m - 948 + 3036 = -3776. Does 4 divide m?
True
Let l = 3 - -2. Let d be (19 + -1)/(150/975). Suppose -2*c - 111 = -5*f, c = -l*f - 0*f + d. Does 9 divide f?
False
Suppose -2*q + 9*q - 70 = 0. Suppose -7*o - 1932 = -q*o. Does 28 divide o?
True
Let h = -66 - -69. Suppose 0 = 4*r + m - 28, -h*r + 5*m - 6*m = -20. Suppose -50 = r*g - 1442. Is 25 a factor of g?
False
Suppose -5*w = 563 - 13223. Suppose 92 = -5*l + w. Suppose 2*f - l = -192. Is f a multiple of 26?
False
Suppose 15484 = 2*s - 4*k, 0 = -5*s - 3*k + 7406 + 31343. Is s a multiple of 13?
True
Let j(r) = -3*r**2 + 172*r + 177. Is 4 a factor of j(58)?
False
Let h = 2180 - 412. Is 4 a factor of h?
True
Let l = 34 - 31. Suppose 2*q - 3*b = -q - 117, q - l*b + 33 = 0. Let g = q + 62. Is 10 a factor of g?
True
Does 36 divide (4016/6)/(586/23733)?
True
Let h(t) = 2*t**3 + t**2 - 2*t - 7. Let b be h(-4). Let x = 119 + b. Suppose 3