 0)*1/(-1). Let f(o) = -4*o**2 + 692*o + o**3 - 693*o - 4 + 0*o**2 + 0*o**2. Is f(h) a multiple of 4?
True
Let w(g) = -g + 10. Let y be w(-16). Let q = 64 - y. Does 19 divide q?
True
Let f = 6 - 2. Suppose f*q - 111 = -2*v + 27, -3*q - 2*v = -102. Does 17 divide q?
False
Suppose -48*f + 81*f = 38478. Does 22 divide f?
True
Let d = 382 + -348. Does 17 divide d?
True
Let h = -101 - -356. Is 5 a factor of h?
True
Suppose 0 = 2*r - 8, 3*r - 37 = -5*p - 0*r. Is 6 a factor of (-2)/1*-11 + p?
False
Let x = -1790 - -3691. Does 8 divide x?
False
Suppose -2*y - 12 = -2*p + 2*y, 6 = 2*p - y. Let l(h) = 0*h + h**p - 8 + h - 4*h. Is 13 a factor of l(7)?
False
Suppose 4*m = 5*m + 4, 2*m = -g - 3. Suppose -117 = -4*q + 5*u, 1 = 4*u + g. Is 8 a factor of (q/6)/((-1)/(-3))?
False
Suppose 4*c = -3*s + 4*s - 230, -3*s - 3*c + 630 = 0. Is 134 a factor of s?
False
Suppose 40 = -5*u + 140. Suppose -u = -q + 4*m, -8*q + m + 5 = -3*q. Let k(l) = -l**2 + l + 16. Does 5 divide k(q)?
False
Is 34 a factor of -2 - -2 - -4 - -914?
True
Is 89688/56 + -6 - (-3)/7 a multiple of 7?
True
Suppose 0 = -4*q + 490 + 2018. Is q a multiple of 11?
True
Let b(g) = -75*g + 1. Let m(t) be the first derivative of -t**4/4 - 8*t**3/3 - 4*t**2 - 8*t + 9. Let s be m(-7). Does 19 divide b(s)?
True
Let i(k) = k**2 - 3*k + 4. Let o be i(3). Is 8 a factor of -1 - ((-51 - o) + -2)?
True
Is -5*((-363)/4 - 6/24) a multiple of 68?
False
Let z = 6665 - 3033. Is 117 a factor of z?
False
Let z(s) = -s**3 - 3*s**2 - 3*s - 1. Let h be z(-2). Let g(u) = 3*u**3 + 1. Let t be g(h). Suppose t*o - l + 0 - 21 = 0, -l - 16 = -3*o. Does 5 divide o?
True
Is 744 + 105 + (-2 - (-2 - -4)) a multiple of 13?
True
Suppose -4*d + 9112 = -2948. Is d a multiple of 102?
False
Let x = 2476 - 1310. Is 64 a factor of x?
False
Let z(d) = -d + 5*d - d**2 - 5*d - 65. Let v be z(0). Does 24 divide ((-35)/25)/(1/v)?
False
Let z = 243 - -401. Is 19 a factor of z?
False
Suppose 0 = 7*o - 2*o + 30. Is (-715)/(-35) - o/(-14) a multiple of 4?
True
Suppose 0 = -18*q + 1874 - 380. Is 4 a factor of q?
False
Is 56 a factor of (56/(-4))/(11/(-1364))?
True
Let l(t) = -t**3 + t**2 + t + 4. Let w be l(2). Suppose s + w = 38. Is s a multiple of 33?
False
Let a be (3/(-5))/((-3)/15). Suppose -a*p = -2*h + 4*h - 9, -3*h + 9 = 0. Is p/(4/32)*5 a multiple of 9?
False
Let t(s) be the third derivative of s**6/120 - s**5/60 - 2*s**3/3 - 10*s**2. Does 24 divide t(5)?
True
Let q be 16/12*(-6)/4. Let z be (-34)/(0 - (0 - q)). Suppose -w + z + 2 = 0. Is 19 a factor of w?
True
Suppose 0 = -q + x + 387, -2*q + 3*x - 258 = -1027. Does 10 divide q?
False
Suppose 11*r = 9*r. Suppose -t + 5*d + 5 = 0, -4*t + r*t = -3*d - 20. Suppose 7 = -o + 2*o + 2*p, -t*o = 4*p - 59. Is 5 a factor of o?
True
Suppose -17 = 4*s - 5. Let w be 0/(-1) + s + 0. Is 2*w*(-6 - -4) a multiple of 6?
True
Suppose -3*b = 9 - 12, 0 = 2*y - 5*b - 537. Is y a multiple of 7?
False
Let t(h) = -1043*h**3 - 7*h**2 - 8*h. Is 36 a factor of t(-1)?
True
Let d be (-2)/5 - 282/(-30). Let a = 19 - d. Is 3 a factor of ((-8)/a)/(14/(-175))?
False
Let u be (6/4)/(810/136 - 6). Let o be 2*(22/(-4) + 2). Let z = o - u. Is z a multiple of 27?
True
Suppose 2*a + 9*a + 134211 = 0. Is 3/24 + a/(-56) a multiple of 13?
False
Suppose 7 = 2*g + 1. Suppose 54 = p + w - 41, -w - 289 = -g*p. Is p a multiple of 24?
True
Suppose -2*a - 3 = -3*a. Suppose 4*k - t - 4 = t, a*k - 4*t = -2. Suppose k*l - 19 = 45. Does 16 divide l?
True
Let s(g) = -g**2 - 6*g - 7. Let b be s(-4). Let p(r) = 60*r**2 + 2*r + 5. Let d(x) = -x**2 - 1. Let f(n) = b*p(n) + 3*d(n). Does 10 divide f(-1)?
False
Let r(c) be the first derivative of 4*c**3/3 + 2*c**2 - 17*c + 39. Is r(-5) a multiple of 9?
True
Suppose -48*u + 315 = -39*u. Is u a multiple of 7?
True
Let x = -1626 - -1962. Is x a multiple of 8?
True
Let t(i) = i**3 + 4*i**2 - 7*i - 7. Let s be t(-5). Suppose 4*b = a - 21, -5*b + a + 4*a - 45 = 0. Does 11 divide s - b/(4/19)?
True
Is 75 a factor of 18/(-192)*-8*1420?
False
Let t = 480 + -201. Is 12 a factor of t?
False
Let j(c) = 402*c - 354. Does 29 divide j(13)?
True
Let l(m) = 3*m**3 - 4*m**2 - 9*m + 5. Let d be l(4). Suppose -5*w + d = 4*j, w - 6*w = -4*j + 127. Is 7 a factor of j?
True
Let g(j) = 106*j - 9. Let h(s) = 35*s - 3. Let i(z) = -2*g(z) + 7*h(z). Is i(2) a multiple of 18?
False
Suppose -2*k + 718 = 5*g, -4*g - 3*k + 58 + 515 = 0. Suppose 9*f - 6*f - g = 0. Does 24 divide f?
True
Suppose 58 = 4*s - 2*m, s - 3*m = -s + 27. Is s/(-3)*(-280)/25 a multiple of 14?
True
Does 10 divide 133 + -134 + (-869)/(-1) + 2?
True
Suppose -5*r = -0*r + 20. Let b(c) = -c**2 + 4. Let s(j) = j**2 - 5. Let t(p) = r*b(p) - 3*s(p). Is 8 a factor of t(3)?
True
Let b = -8 + 252. Suppose 0 = 4*m + 3*x - 6*x - b, 0 = -m - 2*x + 72. Is 26 a factor of m?
False
Let m(f) = 4*f**3 - 6*f**2 - 26*f + 43. Is m(9) a multiple of 25?
False
Does 16 divide -2*(-7)/((-210)/171)*-65?
False
Let s(r) = r. Let y be s(-5). Let p be (23/2)/(y/(-30)). Suppose p = -0*t + 3*t. Does 10 divide t?
False
Suppose -5*w + 1275 = -5*c, 110 = -w - 5*c + 347. Is w a multiple of 9?
True
Let u(m) = 2*m**2 + 2*m - 9. Let p be u(5). Let n = 96 - p. Is 9 a factor of n?
True
Let t(s) = s**2 - 13. Let b be t(-3). Is (3 + -33)/(b/18) a multiple of 15?
True
Is (-12)/10*(3 - 805/10) a multiple of 3?
True
Suppose 2*u = y + 7, 3 = -2*u + 4*y + 1. Suppose q + u*q = 102. Suppose -5*v = -3*m - 325, -v + q + 41 = -2*m. Does 12 divide v?
False
Suppose 3*l = -4*a + 5, 5*a + 0*a = -5. Suppose -l + 49 = p. Let g = p - 5. Is g a multiple of 16?
False
Suppose -2 = 2*u - 3*u. Suppose 5*t - u = 298. Is t a multiple of 15?
True
Let v(s) be the second derivative of s**5/20 - s**4/2 + 7*s**3/6 + s. Suppose -a = -3*c + 3*a + 6, -9 = c - 5*a. Does 15 divide v(c)?
False
Let t(j) = -j**3 - 15*j**2 - 17*j + 43. Let u be t(-14). Let f = u + -49. Is 4 a factor of f?
True
Let l(z) = 2154*z**3 - z**2 + 13*z - 11. Does 11 divide l(1)?
False
Let l = -10 - -172. Does 18 divide l?
True
Is 6 a factor of (10 + (245 - 8))/1?
False
Let c(j) = 13*j**2 + 24*j - 46. Does 31 divide c(-15)?
False
Let q be (-1470)/(-54) - 2/9. Let r = q + 78. Is r a multiple of 14?
False
Let f(x) = -x**2 - 5*x + 27. Let z be f(6). Let q be 2/4 - 10/4. Is z/(-3)*(q + 3) a multiple of 4?
False
Let k be (-6)/(-3) - 0/1. Let c(r) = 3*r - 10 + 12*r + 0*r**2 - r**k. Does 20 divide c(10)?
True
Let m be (-1982)/(-4)*2*(-17 + 18). Suppose 10*q = -m + 2551. Is 18 a factor of q?
False
Let a(c) = -c**3 - 5*c**2 + 7*c - 4. Let u be a(4). Let b = 85 + u. Does 4 divide (77/b)/(1/(-5))?
False
Let q = 169 - 81. Is 8 a factor of q?
True
Let m(r) = -7*r + 10*r - 11*r. Does 8 divide m(-7)?
True
Suppose 4*g = 76 - 16. Let c(u) = u**2 - 12*u - 22. Let o be c(g). Suppose -y + o = -2*z + 95, -5*y = 20. Is z a multiple of 10?
False
Suppose -31*q + 25492 = -24480. Is 21 a factor of q?
False
Suppose -8*u + 246 + 418 = 0. Does 13 divide u?
False
Let y = -20 + 22. Let g(s) = s**2 - 2*s + 2. Let m be g(y). Suppose -2*r + 1 = -x - 0*r, m*x = r + 13. Is 9 a factor of x?
True
Let q = -715 - -880. Is q a multiple of 3?
True
Let y(s) = -8*s**3 - 71 - 159 - 10*s**3 + 17*s**3. Let p be y(0). Let v = p - -333. Does 13 divide v?
False
Let t = -74 + 81. Is 2 a factor of t?
False
Does 74 divide 1 + 1014 - 4/12*6?
False
Let r(i) = i**3 - 7*i**2 - 2*i + 18. Is r(9) a multiple of 50?
False
Let x = 107 - 100. Suppose -x*h + 2175 = 145. Is 58 a factor of h?
True
Let k(r) = -r**3 + 7*r**2 + 3*r + 2. Suppose 2*i = -4*s + 26, -4*s + 4*i + 11 = i. Suppose 3*u + 7 = s*w + 30, -2*u + w + 13 = 0. Is k(u) a multiple of 28?
True
Suppose 0 = -2*j - 0*j + 132. Is (40/16)/(3/j) a multiple of 13?
False
Let w = -1071 - -1449. Is w a multiple of 27?
True
Let y(f) = 71*f**2 - 27*f - 26. Is 36 a factor of y(-1)?
True
Let t = -42 - -158. Is 29 a factor of t?
True
Let y = -649 - -3449. Is y a multiple of 7?
True
Let d(p) = p. Let o be d(-2). Let v(c) = -2*c - 2. Let u be v(o). Is 3 a factor of 25/u*32/40?
False
Let c(z) = 10*z**2 + 27*z - 1. Is 27 a factor of c(-5)?
False
Suppose -780 = 5*w - v - 9990, 0 = -3*w - 5*v + 5498. Is w a multiple of 62?
False
Let s(i) = -i + 58. Suppose -4*m = 5*k - 4 - 0, -4 = -2*k - 4*m. Is 19 a factor of s(k)?
False
Let j(b) be the second derivative of b**3/6 + 13*b**2/2 - 7*b. Le