tor of 2/(-7) + 17771/t?
True
Let p(u) = 327*u**2 + 259*u - 1699. Is p(7) a multiple of 9?
True
Let f(w) = 1042*w - 508. Does 119 divide f(6)?
False
Let z = -71 + 66. Let s(l) = 3*l + 13. Let v be s(z). Does 18 divide -18*((-2)/v + -2)?
True
Let t(h) be the second derivative of h**6/120 - h**5/24 + h**4/3 - 15*h. Let p(k) be the third derivative of t(k). Does 5 divide p(2)?
False
Let o = -187 + 187. Suppose o*q - 565 = -5*q. Is 2 a factor of q?
False
Let l(j) = j**2 - j - 6. Let q be l(-2). Suppose 16 = -q*p + 4*p. Suppose z + 289 = p*z - d, -4*z + 412 = 4*d. Does 14 divide z?
True
Is 61 a factor of (16/(-40))/((-20)/1116300)?
True
Suppose 5*k - 690 - 2725 = 0. Is 18 a factor of k?
False
Let o(r) = r**3 - r**2 - 1. Let l(g) = 4*g**3 - 13*g**2 - 6*g + 2. Let k(f) = -2*f - 1. Let d be k(0). Let w(z) = d*l(z) + 5*o(z). Is 3 a factor of w(-6)?
False
Suppose -12*g = -46032 - 21324. Is g a multiple of 14?
False
Let r(c) = -2*c**2 + 4*c + 25. Let u be r(-5). Let i be 260/u - (-2)/(-9). Is -6*(-106)/i*-2 a multiple of 53?
True
Let t(h) = 0*h**2 - 2*h**2 + 666*h - 9 - 689*h. Is 2 a factor of t(-9)?
True
Let k be 3/15 + 238/10. Let h(t) = 7*t**3 - 19*t**2 + 36*t + 1. Let u(g) = -6*g**3 + 20*g**2 - 34*g. Let b(p) = 5*h(p) + 6*u(p). Does 5 divide b(k)?
True
Let n(i) = -153*i**3 - 14*i**2 - 18*i - 4. Does 44 divide n(-6)?
True
Let f(b) = 2*b**2 + 21*b + 623. Is 28 a factor of f(-14)?
False
Let q(j) = 45*j**2 + 60*j + 190. Is q(-7) a multiple of 2?
False
Let g(z) = 22*z**2 - 12*z + 4. Does 2 divide g(-3)?
True
Let b(y) = y**3 + 19*y**2 + 10*y - 61. Let s be b(-18). Let n be 22/6 + 2/(-3). Let r = s - n. Does 16 divide r?
True
Suppose 2*n = -2*h + 394, -4*n + 462 = 2*h - 318. Let k = 27 + n. Is 11 a factor of k?
True
Suppose -1848 = 175*o - 178*o. Is 28 a factor of o?
True
Suppose 0 = -4*c - 2*j + 4, 2*c - 8 = -3*j - j. Is 2 a factor of (-3 - c - -1) + 30 + 1?
False
Let l(s) = 1153*s + 1346. Is 42 a factor of l(9)?
False
Let d(q) be the second derivative of 9*q**3/2 - 151*q**2/2 - q + 92. Does 5 divide d(8)?
True
Let p(a) = 31*a**2 + 69*a - 780. Is 101 a factor of p(15)?
False
Let k(r) = 56*r**3 + 9*r**2 - 25*r + 7. Let a be k(3). Let j = a - 829. Is 29 a factor of j?
True
Suppose 3*n = -r + 15, 48*n - 7 = -r + 43*n. Suppose -r*m = 6769 - 25750. Does 19 divide m?
True
Let m(d) = -10*d + 279. Let l(s) = 5*s - 140. Let v(k) = -5*l(k) - 2*m(k). Is 7 a factor of v(26)?
False
Let p(d) = 4372*d - 631. Is 7 a factor of p(4)?
False
Suppose -22*r + 26*r - 5*q = 6625, -3280 = -2*r - 4*q. Suppose 112*x = 109*x + r. Is 55 a factor of x?
True
Let g be (-15*186)/6 + 4*-1. Let o = g + 781. Suppose -18*l + 5*l + o = 0. Does 7 divide l?
False
Does 213 divide (22894 - 5/10*-22) + (3 - -1)?
False
Let o = 1210 - -6710. Is 90 a factor of o?
True
Let k = 22369 - 15339. Is 11 a factor of k?
False
Suppose 4572 = 2*s - 10008. Is 45 a factor of s?
True
Let h(l) = -15*l - 55. Let d(o) = 3. Let a(j) = -25*d(j) - h(j). Let p = -13 - -22. Does 23 divide a(p)?
True
Suppose -52*o + 218908 = -2896734 + 215602. Is 55 a factor of o?
True
Suppose 0 = 2*s + 2*z + 2, 5*s = -4*z - 3 - 0. Suppose 0*y + 374 = 5*c + y, -3*c = -3*y - 228. Is c*1 + (6 - 2 - s) a multiple of 13?
True
Suppose -674*i = -662*i - 187824. Is 22 a factor of i?
False
Let h(u) = 130*u**2 - 218*u. Is h(-5) a multiple of 10?
True
Let h be (-4 - -1)*(-14 - -10 - -3). Suppose 0 = -h*i - 72 + 1233. Is 9 a factor of i?
True
Let i(l) = -460*l - 11103. Is i(-41) a multiple of 21?
False
Let x = -10784 - -29369. Does 45 divide x?
True
Suppose 3*o - 2*q = 432, 4*o - 5*q = 100 + 483. Let n = o - -37. Is 44 a factor of n?
False
Let w be (-5)/(-2) - 12628/8. Let g = 2669 + w. Is 31 a factor of g?
False
Let z(a) = -a**3 + 14*a**2 + 11*a + 50. Let u be z(8). Let l = 470 + u. Does 27 divide l?
False
Suppose -t + 5*t = 8. Suppose 3046 = 4*c - 3*k, 0 = t*c - 4*k - 257 - 1271. Is c a multiple of 73?
False
Let n = -289 + 285. Is 5 a factor of 81 - (6 - 8) - n/(-1)?
False
Suppose 6970 + 12098 = 28*u. Is 13 a factor of u?
False
Let n = -60 - -64. Suppose -2*b + 1244 = 5*m - b, -n*m - b = -995. Let s = m - 11. Is 13 a factor of s?
False
Let m(n) = n**3 - 15*n**2 - 2*n + 35. Let q be m(15). Suppose 4*c + 4*f - 508 = 0, q*c - 3*f = -0*f + 659. Is c a multiple of 10?
True
Let t = -133 - -162. Suppose -32*y + t*y = -2145. Does 18 divide y?
False
Let m = -103 + 20389. Is 14 a factor of m?
True
Let d be 12 + 6*(-6)/9. Let y be (-30)/(-3)*4/d. Is 2 a factor of -1 + y/3 - 96/(-18)?
True
Suppose 6*o = 28*o - 24288. Let s = o - 352. Is 38 a factor of s?
False
Let j = 96 + -87. Does 13 divide (j - 10)*(-156 - 4)?
False
Let y(l) = 15*l - 16. Let o be y(4). Let k be (o/(-55))/((-4)/10). Let g = k - -7. Is g a multiple of 3?
True
Suppose 3*u - 3*i = 56997, -5*u - 786*i + 789*i + 94989 = 0. Is u a multiple of 41?
False
Is 4*-447*(27 - 36) a multiple of 54?
True
Let j(v) = v**3 + 3*v**2 - 2*v - 6. Let d be j(-5). Let b = -3209 + 3435. Let p = b + d. Does 15 divide p?
True
Let x = 9 + 52. Let f = x + -59. Suppose 0 = 3*r + 4*b - 52, -f*r + 3*b - 14 = -3*r. Does 8 divide r?
False
Suppose 7*y - 35 = 6*y. Suppose 28*o + 2436 = y*o. Does 58 divide o?
True
Let u = 11 - 9. Let w be (50 - 50) + (-1)/(u/(-6)). Let o = w + 42. Is o a multiple of 9?
True
Does 13 divide 9/(-13)*-7039 + 14/(-91)?
False
Suppose -4*k = -3 - 13. Suppose k + 1 = x. Suppose -x*r - 596 = -9*r. Does 28 divide r?
False
Suppose h + 5*c = 6*h - 9485, 0 = -2*c - 8. Is h a multiple of 40?
False
Let j = -24 + 25. Let g be (j + 8)*21/63. Suppose 5*i + 4*q - 2*q = 567, -g*q + 333 = 3*i. Is 15 a factor of i?
False
Let m = 1686 - 1681. Let t(z) = 3*z**2 + 7*z + 12. Let y be t(-8). Suppose -33 = -f + 2*u, 0 = -4*f - u + m*u + y. Is f a multiple of 41?
True
Suppose -175 = 3*a - 2*d, -2*a - 5*d = 58 + 65. Let y = a + 319. Does 65 divide y?
True
Suppose 85*g - 124479 = 144121. Is g a multiple of 40?
True
Let q be ((-6)/4)/(10/(-20))*-13. Let v = q - -448. Is 55 a factor of v?
False
Suppose 4*v - v = -2*v. Suppose -8*u + 13*u = v. Suppose -3*r + 4*f + 287 - 107 = u, 0 = -3*r + 3*f + 180. Is r a multiple of 12?
True
Let y(l) = l**3 - 6*l**2 - l + 12. Let k(r) = -3*r**3 + 12*r**2 + 4*r - 24. Let j(f) = -3*k(f) - 5*y(f). Does 30 divide j(6)?
False
Does 44 divide 18/4*4/6 + 7389?
True
Suppose -41*q + 54867 + 425150 = -98575. Does 144 divide q?
True
Let n(s) = 6*s - s - 1 + 21 + 5. Let q be n(-7). Let a(i) = i**2 + 2*i - 1. Is 8 a factor of a(q)?
False
Let k(u) be the third derivative of 13*u**5/60 - u**4/8 - u**2. Let x be k(-2). Suppose 5 = -n, -4*n - x + 2 = -3*l. Does 4 divide l?
True
Suppose -3*i + 2*r = -47 - 13, -i + r + 19 = 0. Let j(t) = t**2 - 13*t - 88. Is j(i) a multiple of 2?
True
Let n be 175/100*(-12)/(-1 + -2). Is 15 a factor of (-379 - n)*(-4)/8?
False
Suppose 0 = 3*w + 21, -6*g + 1063 = -2*g + 11*w. Is 3 a factor of g?
True
Let z = -14 + 15. Let w be (0 - z)/(8/(-632)). Suppose w*v = 73*v + 420. Is v a multiple of 35?
True
Let v = -62 + 168. Suppose -7*o + v = -475. Does 14 divide o?
False
Suppose 11*m - 3*m - 512 = 0. Let u(a) = -m - 23*a + 87 + 7*a. Is u(-4) a multiple of 20?
False
Let f(d) = -18*d - 5 + 29 + 4 + 36*d + d**2. Does 11 divide f(-23)?
True
Let v = -196 + 220. Does 9 divide ((-19)/(95/v))/(3/(-315))?
True
Let w(m) = -120*m + 5331. Does 11 divide w(-84)?
True
Let n(w) = w**3 - 3*w + 5. Let l be n(0). Let d be 5/(-25) - (-291)/l. Let p = 155 + d. Is p a multiple of 29?
False
Suppose -395*w = -2971888 - 325878 - 2228679. Is 5 a factor of w?
False
Suppose 21 - 1 = 4*i. Suppose i*p + 25 = -2*v, 4*v - 15 = 2*v + 3*p. Suppose 4*f + 5*j - 16 = 3*f, f - 3*j - 48 = v. Is f a multiple of 9?
True
Suppose 131 = 2*y + 8*j - 9*j, -5*j = -14*y + 907. Suppose 4*a = 93 + 19. Suppose w - y = -a. Is 7 a factor of w?
True
Let f be 26/6 + 3 + 60/(-18). Suppose -62 = -f*r - 10. Let l(h) = h**2 - 11*h - 12. Does 14 divide l(r)?
True
Let q(b) = -6*b + 84. Let x be q(12). Does 17 divide x/10*740/8?
False
Let b be ((-12)/15)/(6/(-45) - 0). Suppose -m = 2*i + 56 + b, -3*i + 141 = -3*m. Let g = m - -87. Does 5 divide g?
True
Suppose 4*p + c - 14577 - 26217 = 0, -3*p = 5*c - 30570. Is 10 a factor of p?
True
Let y be 10 + -17 + 5 - -4. Let o be (-6)/(-2) - 1/1. Suppose 2*v + 5*h - 256 = 3*h, o*h = y*v - 248. Is 36 