*i = -0*r - 14. Suppose 4*j + 111 = 9*j + 2*q, r*q = -6. Is 2 a factor of j?
False
Let i(b) = 3*b**2 + 11*b + 20. Let x be i(-6). Let g = x + 148. Is 35 a factor of g?
True
Let l(j) = j**3 - 21*j**2 - 23*j + 23. Let d be l(22). Suppose -3*a - d = k, 0 = 5*a - 0*a + 5*k - 5. Let u(f) = 17*f**2 - f - 1. Is u(a) a multiple of 3?
False
Let o(u) = 5*u**2 - 52*u + 703. Does 60 divide o(-32)?
False
Let a(z) = -z + 391. Is a(9) a multiple of 117?
False
Suppose -5*f + 3*h - 213 = 0, 128 = -4*f + 5*h - 45. Let v = f - -44. Suppose -v*p + 11 = -9. Is p a multiple of 3?
False
Let p be 52/(-208)*12/(-1). Suppose p*w + 686 - 133 = 4*j, -2*w + 280 = 2*j. Does 4 divide j?
False
Let w(f) = f**3 + 2*f**2 - f - 498. Suppose 5*i = -2*u + 19 - 4, -9 = -2*u - 3*i. Let y be w(u). Does 12 divide 2/14 - y/42?
True
Let q(d) = -d**3 - 2*d**2 + 55*d - 254. Is q(-26) a multiple of 10?
True
Suppose -6*u - 80 = -14*u. Suppose -u*q + 4*q - 48 = 0. Let p = q + 22. Is 13 a factor of p?
False
Let o(n) = -n**3 - 28*n**2 + 57*n - 12. Let b be o(-30). Let g = b - -51. Does 9 divide g?
False
Let o be (-2 + 4/3)/(4/(-2436)). Suppose -5*p - 2*l + 1045 = 0, 0 = -5*p - l + 1446 - o. Does 36 divide p?
False
Let x(h) = 2*h - 9. Let v be x(9). Let p be 111/39 - (-2)/13. Suppose -14 = -y - d + v, y - 17 = -p*d. Is y a multiple of 14?
False
Let a = -1 - 23. Let n = 28 + a. Suppose n*x - 3*x - 43 = -4*r, 5*x - 146 = 3*r. Is 6 a factor of x?
False
Let s be ((-2)/((-8)/4036))/1. Let x = s - 1565. Let g = -268 - x. Is g a multiple of 48?
True
Let y = -19 - -24. Suppose 3*i + y*i = -24. Is 5 a factor of (i + -3)*15/(-3)?
True
Let f(m) = -296*m - 946. Is 44 a factor of f(-11)?
False
Suppose -49*j + 81*j - 98496 = 0. Is 18 a factor of j?
True
Let y(h) = h**2. Let g(d) = 6*d**2 - 25*d - 2*d**2 + 0*d + 15 - 18*d. Let m(o) = g(o) - 6*y(o). Is m(-19) a multiple of 19?
False
Let f(z) = 27*z**2 - 28*z**2 + 28*z + 30 - 20*z + 26*z. Is f(19) a multiple of 9?
True
Suppose 20*o + 188 = 21*o. Let i = 468 - o. Suppose 29*u + i = 33*u. Does 16 divide u?
False
Suppose -5*a + 31 = -a - p, -3*p - 5 = -a. Let s = 8 - a. Suppose 4*l + 6 - 14 = s, -4*y = -5*l - 138. Is 12 a factor of y?
False
Let h(w) = w**2 + 28*w + 54. Let m be h(-26). Let b be 10 + (m/(-1) - -1). Let g(j) = -j**2 + 8*j + 17. Is g(b) a multiple of 2?
True
Let k be 628/26 + 0 + (-30)/195. Suppose 20 + k = 2*a. Let z(n) = n - 17. Does 2 divide z(a)?
False
Suppose 3*r + 6 = 5*r. Suppose 5 = -r*t + 11. Does 5 divide (t - 0)/10 - (-98)/10?
True
Let k(l) = l**2 - l + 109. Let j be (1 - 7 - 9/(-9)) + 5. Does 93 divide k(j)?
False
Does 33 divide ((-33)/(-2))/((-16)/111840*-15)*1?
True
Let a = 252 - 135. Suppose 3*x - a = 4*x. Let u = x - -221. Is 10 a factor of u?
False
Suppose 0 = 296*x - 532455 - 1190265. Is 13 a factor of x?
False
Let b(d) = -9*d**2 + 64*d - 81. Let v(r) = 30*r**2 - 190*r + 243. Let y(c) = 7*b(c) + 2*v(c). Is 32 a factor of y(19)?
True
Suppose -177*i + 369069 = -48*i. Is 15 a factor of i?
False
Let z(h) = 6*h**2 - 7*h - 10*h**2 + 0*h**2 + 359 + 3*h**2. Is z(0) a multiple of 61?
False
Let x be (2/4)/((-2)/(-32)). Suppose 0 = x*k - 378 - 1606. Suppose 4*d + 2*z - 187 = d, 4*d = -4*z + k. Is 13 a factor of d?
False
Let v = -1162 - -2188. Is v a multiple of 27?
True
Suppose 5*u - 3*u - w = 7, -10 = -3*u + w. Let v(m) = 13*m**3 - 8*m**2 - m + 10. Does 22 divide v(u)?
True
Let z(v) = -v**3 - 39*v**2 - 33*v - 71. Let h be z(-41). Suppose -17*y = -16385 - h. Does 30 divide y?
False
Let p(o) = -3*o**2 - 11*o + 48. Let i be p(-8). Let a = 332 + i. Is a a multiple of 23?
True
Let r be (-4)/3*(5 + -8). Suppose -y + r*y = 9. Suppose 0 = y*i - 113 - 34. Is i a multiple of 7?
True
Suppose 18 = -80*s + 258. Let k(y) = -y + 1. Let c be k(1). Suppose -2*r - 3*h + 306 = 81, c = s*h - 9. Is r a multiple of 9?
True
Let p(s) = -s**2 + 2*s + 41. Let v be p(7). Is v/69 - 17/(2346/(-1368)) a multiple of 5?
True
Let i(y) = -2*y**2 + 41*y - 18. Let q be i(20). Let c(f) = -f**3 + 5*f**2 + 5*f + 4. Let t be c(6). Is 0 + ((-3 - t)*q - -97) a multiple of 19?
True
Let g = -35 + 39. Suppose -2*w - 2*d = -4*w + 10, g*w = d + 17. Is (-11)/((-55)/280) + w a multiple of 21?
False
Suppose -116 = -12*k - 20. Does 11 divide (-1 - (-68)/k)*(-44)/(-6)?
True
Let c(z) = -2*z**2 + 16*z - 44. Let b(u) = u**3 - 4*u**2 + 5. Let a be b(4). Let o be c(a). Is 22 a factor of (o/(-49) - (-24)/14) + 20?
True
Let k be (-2)/(0 + 1/2). Let r be (-26)/k - (-27)/(-18). Does 15 divide -4 - ((-15)/r - 16)?
True
Suppose 1700528 + 192132 = 13*d + 64*d. Is 20 a factor of d?
True
Let j(u) = -4*u**2 - 2*u - 5. Let s(p) = -3*p**2 - 2*p - 5. Let d(r) = -4*j(r) + 5*s(r). Let l be d(3). Does 8 divide (-4 - l)*18/(-12) - -53?
True
Suppose 0 = -4*h - a + 27297 + 26984, 0 = -2*h + 3*a + 27165. Is 78 a factor of h?
True
Let r(d) = -d**2 + 21*d + 6. Let h(b) = -3*b + 5. Let z be h(-7). Suppose 4*o = -c - c + z, -5*c + 3*o + 39 = 0. Is 19 a factor of r(c)?
True
Let k = -27 - -25. Let i be k/(-4)*(-9 + 13) - 4. Is 26 a factor of ((-2 - i) + -3)/((-3)/130)?
True
Suppose 20*o - 198 = 21*o. Does 14 divide o/4*(-17)/(255/140)?
True
Let l = 651 + -161. Suppose 11*f - 1116 - l = 0. Is f a multiple of 24?
False
Let f(x) = -8*x + 179. Let b be f(-29). Let n = 1030 - b. Does 42 divide n?
False
Suppose 0 = -5*c + 7541 + 1699. Suppose 7*f - c = f. Does 22 divide f?
True
Is 116 a factor of 4 + -2 - -4 - (-4516 + (52 - 54))?
True
Let s be (-6)/(-21)*(-7)/(-1). Suppose 0 = 4*d + 2*n + s, 5*n = 4*d - 7 - 26. Suppose -460 = -4*k + 3*v - 7*v, -d*k + 3*v + 255 = 0. Is k a multiple of 12?
True
Let s(k) = -723*k + 3. Let x(a) = 724*a - 2. Let h(c) = -3*s(c) - 2*x(c). Let t be h(1). Suppose 4*o + 0*y - t = -y, 5*y = 2*o - 358. Does 22 divide o?
False
Let o(s) be the second derivative of 3*s**5/20 - s**4/12 + s**3 + s**2/2 + s. Let k be o(3). Suppose 4*g - k = -g - 4*y, -g + 2*y = -21. Does 19 divide g?
True
Suppose -4*c = c - 7*c. Suppose -z = -5*z - c*z. Suppose z = 2*i - 57 - 69. Is 7 a factor of i?
True
Suppose x - 43 = -4*f + 6*x, -4*f + 45 = -3*x. Suppose -2*p + f = p. Suppose 2*n + p = 0, -5*s + 159 = 2*n - 647. Is s a multiple of 54?
True
Suppose 9*t + 232 = 17*t. Let f(k) = 20*k**3 + 1. Let q be f(1). Let z = t - q. Does 4 divide z?
True
Suppose 106 - 166 = -3*d. Does 22 divide d*(-36)/(-30)*23?
False
Suppose 3*x = -200 + 1058. Suppose x = 6*b + 7*b. Is b a multiple of 11?
True
Let i(f) = -13*f - 16. Suppose 42*n = -151 - 521. Is 12 a factor of i(n)?
True
Suppose -1 = -t, -4*q = 3*t + 2*t - 21. Let z(w) = -q + 6 + 31 - 4 - 14*w. Is z(-6) a multiple of 10?
False
Suppose 10*u - 84 = -2*u. Let n(t) = t**2 + 6*t + 16. Let q be n(u). Suppose -4*d - 301 = -5*c + 234, 2*d = c - q. Is c a multiple of 11?
False
Suppose -51*v - r = -52*v + 8755, -4*r - 20 = 0. Is v a multiple of 73?
False
Let m(k) = -2*k**2 - 12*k + 222. Let t(l) = 5*l - 88. Let x(u) = u**2 - 1. Let o(f) = t(f) + x(f). Let y(q) = 5*m(q) + 12*o(q). Does 6 divide y(0)?
True
Let u(r) = 58*r**2 - 73*r - 842. Does 63 divide u(-9)?
False
Let j(p) = p**2 - 8*p - 30. Let f be j(16). Let i = f - -77. Is i a multiple of 30?
False
Let r be 20/30 + (-220)/6. Let z be (3 - r/(-4))/(6/(-213)). Suppose -5*a + 375 = -3*s - 2*s, 3*a + s = z. Is a a multiple of 36?
True
Suppose 61 = 57*r - 53. Let t(q) = -q + 5. Let w be t(3). Suppose 9 + 13 = r*h + 2*u, 18 = 2*h - w*u. Does 5 divide h?
True
Let h be (3 + 21/(-6))*8. Let p be 8/(-10) + 6570/(-225). Is 40 a factor of (168/p - h)*-50?
True
Let o(v) = -2*v + 43. Let w(r) = -r + 22. Let f(s) = -4*o(s) + 7*w(s). Let c be f(-15). Is (-5 - -1 - -5)/((-1)/c) a multiple of 11?
True
Let m be ((-21)/(-42))/((-1)/1418 + 0). Let f = m + 1201. Does 8 divide f?
False
Is (588 + 4)*-3*(27 - 31) a multiple of 32?
True
Let h(o) = 96*o + 50. Let k be h(8). Let f = -708 + k. Is f a multiple of 10?
True
Let z be 5/50 + 7502/(-20). Is ((-66)/4)/((z/340)/25) a multiple of 25?
False
Suppose 0 = -4*p - 2*v + 85590, 10*p + 4*v + 21411 = 11*p. Is 21 a factor of p?
True
Let o = -6613 - -20523. Is o a multiple of 26?
True
Let r(u) = -728*u - 32. Does 90 divide r(-4)?
True
Is 3*66/(-18) + 3109 a multiple of 11?
False
Suppose -5*h - s + 17604 = 0, -2*h + 3*s + 4346 = -2682. Is h a multiple of 16?
True
Let h(v) = 3*v**3 - 105*v**2 + 17*v + 109. Does 16 divide h(