*l + 4*l, 0 = -5*s + 5. Suppose 8*z + z = l. Is 32 a factor of f(z)?
True
Let w(a) = -a**3 + 29*a**2 + 8*a + 161. Is 13 a factor of w(22)?
False
Let w be 5 - 1*(6 + 328). Let l = -241 - w. Does 4 divide l?
True
Let i = -31 + 41. Suppose y + 3*f = 53, -2*f = 5*y - i*y + 180. Does 2 divide y?
True
Let x = 259 + -257. Does 11 divide (2/x)/((-33)/(-3993))?
True
Let i(n) = 2456*n + 7. Let s be i(1). Suppose 0 = 9*q - s - 1425. Does 17 divide q?
False
Let m = -5 + 58. Let z(p) = -2*p**2 - 28*p - 53. Let a be z(-10). Let k = a + m. Is 14 a factor of k?
False
Suppose 58*b = 64*b - 6252. Let f = -366 + b. Is 52 a factor of f?
True
Let r = 18762 - -38998. Is 80 a factor of r?
True
Let w(b) = -2*b**3 + 2*b**2 + 4*b - 2. Let q be w(4). Let t = 600 - q. Suppose -6*s + 26 = -t. Is s a multiple of 32?
False
Suppose -572*c - 3*p = -569*c - 3123, -1046 = -c + 4*p. Does 14 divide c?
False
Let j(p) = -p**2 - 16*p - 10. Let q be j(-16). Let x(w) = -14*w**2 + 4*w - 8. Let z(y) = y**2. Let t(s) = q*z(s) - x(s). Is 32 a factor of t(-5)?
True
Let z(d) = 4*d**2 - 317*d + 557. Does 13 divide z(92)?
False
Let c = 72 + -68. Suppose 2*k - 4*j = -242, c*k + 4*j - 89 = -633. Let b = k - -229. Is b a multiple of 14?
True
Does 47 divide 26/117 + (-21140)/(-45)?
True
Suppose 162*r - 163*r + a + 153 = 0, r = 4*a + 162. Is r a multiple of 6?
True
Is 28 a factor of 21175/25*(2 + 2)?
True
Suppose -3*b = -b - 8. Let p be (-6)/b - 8/16. Let l(g) = 4*g**2 + 2*g + 1. Is 13 a factor of l(p)?
True
Let j = -61 + 119. Let y = -55 + j. Suppose -5*q = -5*b + 175, b + 73 = 3*b - y*q. Is 8 a factor of b?
True
Let y = -247 + 400. Let s = -41 + y. Is 4 a factor of s?
True
Let n(o) = -5*o - 3. Let y be n(-35). Let p = y - 62. Is p a multiple of 22?
True
Let r be ((-2)/6)/((-3)/297). Suppose -r*k + 348 = -21*k. Is 2 a factor of k?
False
Let h = -855 - 98. Let v = -611 - h. Is v a multiple of 45?
False
Let i(p) = 298*p**3 - 9*p**2 + 2*p - 6. Does 51 divide i(2)?
True
Let n = 101 - 102. Let h be (9/(-2))/(26/32 + n). Is (54/(-8) - 6/h)*-4 a multiple of 7?
True
Suppose 7*f - 5*x - 655 = 2*f, -2*f + 254 = 2*x. Suppose f + 279 = 2*w - 3*n, -5*n + 230 = w. Is w a multiple of 10?
True
Is (-17760)/(-259)*(55 + 1) a multiple of 8?
True
Suppose 26*u + 840 = 32*u. Is (u/21)/(4/3) a multiple of 5?
True
Suppose 27*i - 1599500 = -223*i. Is 7 a factor of i?
True
Suppose f - 4 = 3*g, 80*f = 75*f + 2*g + 59. Suppose -3*v - 5*p + 471 - 31 = 0, 4*v = 2*p + 604. Suppose 7*b - f*b = -v. Does 6 divide b?
False
Suppose 18*j + 1666 = j. Let r = j - -122. Does 12 divide r?
True
Suppose 20*y + 219 = 919. Let s = 355 + y. Is 10 a factor of s?
True
Let b(f) = -64*f + 50*f**2 + 18*f**2 - 10 + 66*f. Does 19 divide b(2)?
True
Suppose -3*h - 4*y = -25, 4*h - 30 = -3*y + 15. Let t(w) = 2*w**3 - 30*w**2 + 20*w + 13. Does 35 divide t(h)?
False
Let r be 57/3*(-4 - -5). Suppose -r = 9*i - 433. Does 3 divide i?
False
Let a(f) be the first derivative of f**3 + 5*f**2 + 11*f - 1. Let l be -5 + 5/(-4 - -9). Does 3 divide a(l)?
False
Let g be (3*(-4)/21)/(12/(-42)). Let k be (3 - 4)*(-10)/g. Suppose -k*d + 290 + 500 = 0. Does 33 divide d?
False
Let h be 14*(1 - (49 + 4/(-2))). Let z = -301 - h. Does 49 divide z?
True
Let y(r) = -r. Let g be y(-12). Suppose -9*z - 105 = -g*z. Suppose 5*q - z - 50 = 0. Is q a multiple of 17?
True
Let p be (-10*15)/((-9)/(-12)). Let n = 115 + p. Let g = n + 117. Is 12 a factor of g?
False
Suppose -2*i + 90 = -8*i. Let c = -12 - i. Suppose 410 = c*u + 2*u. Does 17 divide u?
False
Suppose 2*w = -6*w + 936. Suppose 13*z + o = 9*z + w, -5 = -5*o. Is z a multiple of 3?
False
Let j be -3 + 2/2*5. Let n be (-10)/j*(-2 + 48/30). Does 13 divide -5*(-1868)/60 + n/6?
True
Let n(o) = 3*o - 48. Let t(c) = -3*c + 45. Let l(g) = 6*n(g) + 4*t(g). Is l(37) a multiple of 4?
False
Suppose 2*o - 312 = -3*t, 0*t = -4*o + 3*t + 660. Suppose -4*h + 14 = 5*l - 16, -5*l = h - 15. Suppose l*z - o = -0*z. Is z a multiple of 27?
True
Let a be (6 - -74*138) + -6. Suppose 0 = -74*w + 68*w + a. Is w a multiple of 74?
True
Let t = 1 + -1. Let p be (-15)/(-135) + 132/27. Suppose t*c = -2*c + p*x + 98, -2*c - x = -74. Is c a multiple of 14?
False
Suppose 5*c + 9 - 84 = 0. Let b be (-1557)/c + 2/(-10). Let v = b - -156. Is v a multiple of 13?
True
Suppose -34*p + 2*m + 4536 = -32*p, -m + 6784 = 3*p. Is 4 a factor of p?
False
Let v = -49 - -51. Is 23 a factor of (2492/(-35))/(2/(-20)*v)?
False
Suppose -a = -30 - 43. Let t = 7 + a. Is t a multiple of 16?
True
Let k = 9 + 7. Let g(n) = 10*n**3 - 4*n**2 + 3*n - 2. Let o be g(2). Let q = o - k. Is 13 a factor of q?
True
Let j(d) be the third derivative of 3*d**5/20 - d**4/2 - 23*d**3/6 + 5*d**2 - 1. Is 6 a factor of j(4)?
False
Let w(s) = -s**3 - 3*s**2 + 16*s + 115. Does 6 divide w(-6)?
False
Suppose 3*g + f - 27785 = 0, 4*g - 46275 = -g + 5*f. Is g a multiple of 10?
True
Suppose 2*g = -5*y + 465, 3*g - 2*y = -6*y + 687. Let n be 4/(-8) + (-2)/(-4). Suppose -4*b + n*b - 5*p + 927 = 0, -g = -b + p. Is 38 a factor of b?
True
Let l be 1375/22*(-96)/(-20). Suppose 11*d - 9*d = 5*o + l, 300 = 2*d + 5*o. Does 26 divide d?
False
Let q(h) = -h**3 + h**2 + 9*h - 35. Let z be q(-9). Let n be -5*3*1/(-5). Suppose 4*l - 336 = -2*x, n*l + z = 2*x + 2*x. Is x a multiple of 19?
False
Let i be (-1)/5 + 140/(-50). Let k = -336 + 563. Does 15 divide (-42)/63 - 1/(i/k)?
True
Suppose 3*a + 0 + 6 = 0, 0 = -4*n - 2*a - 4. Suppose 3*h + 3*h + 5742 = n. Is ((28/(-6))/2)/(29/h) a multiple of 14?
False
Let z = 8003 + -2082. Is z a multiple of 31?
True
Let v(h) = -2*h + 25. Let b be v(13). Let f be (1 + 4 + -2)*(-2)/b. Suppose 0 = -4*d + f*d - 126. Is 7 a factor of d?
True
Let i(j) = -j**3 - 8*j**2 - 8*j - 3. Let f be i(-7). Suppose 4*a - 2*y = 608, -760 = a - 6*a + f*y. Does 38 divide -3*a*(-1)/(9/3)?
True
Suppose 0 = -5*b + 5*s + 147 + 118, 5*b - 245 = s. Suppose 2*q - b - 120 = 0. Is 10 a factor of q?
False
Let q be (-5)/((125/110)/(-5))*35. Suppose 0 = 9*r + 5*r - q. Is r a multiple of 11?
True
Let n(j) = -704*j + 14680. Is 39 a factor of n(0)?
False
Let n(u) = u**2 - u + 10. Let f = -94 - -84. Let k(l) = -l**2 - 9*l + 13. Let x be k(f). Is n(x) a multiple of 8?
True
Let u = -425 - -664. Let r = u + -167. Suppose 3*i = 2*i - d + 26, 3*i - r = -5*d. Is 29 a factor of i?
True
Let x be (-56)/(-16)*(89 + -3). Let d = x + -87. Is d a multiple of 31?
False
Let l be 1/(-4) + (90/8 - 3). Let g be (l/12)/(2/414). Let i = g - 92. Is i a multiple of 19?
False
Is 48 a factor of ((-198804)/(-30))/(2*((-110)/(-50) - 2))?
False
Suppose 0 = k - 2*i - 119, k + i = -3*i + 149. Suppose -4*w - 4*j + 244 = 0, -3*j + 444 = 5*w + k. Is 33 a factor of w?
True
Let t = -2838 - -3049. Is 28 a factor of t?
False
Let x(q) = 142*q**2 + 75*q + 958. Is x(-10) a multiple of 23?
False
Let j be (4/5)/((-2)/25*-1). Let a(q) = q**3 - 12*q**2 + 25*q - 27. Is a(j) a multiple of 15?
False
Let n be (-78)/(-7) + 86/(-602). Suppose -2898 = -2*x - 5*z, n - 21 = 5*z. Is x a multiple of 38?
False
Let a(h) = 241*h - 1200. Is a(15) a multiple of 3?
True
Suppose 5*n = -28 + 13. Let r(w) = -88*w + 6. Let x be r(n). Suppose 3*a + x = 5*a. Is a a multiple of 15?
True
Suppose 0 = -3*w + 5*i - 1, -3*i - 1 = -3*w + i. Suppose 3 = q - 0*o + w*o, 3*q - 9 = 3*o. Suppose 0 = p + 2*p - 3*k - 87, -3*p + 81 = q*k. Does 7 divide p?
True
Suppose h - 1392 = 4*o, 0*o - o - 6884 = -5*h. Does 8 divide h?
True
Let t be (-19278)/(-20) + 6/60. Suppose -j + 472 = -2*z, -2*j - 6*z = -5*z - t. Is j a multiple of 30?
True
Suppose -11*j - 537 - 1113 = 0. Let n = j + 153. Does 3 divide n?
True
Let m = 28732 - 6520. Is 9 a factor of m?
True
Suppose 0 = 4*l - 3*l. Let b(j) = -18*j**3 - 7*j**2 - 21*j - 1153. Let q(k) = -7*k**3 - 3*k**2 - 8*k - 461. Let i(t) = 5*b(t) - 13*q(t). Does 38 divide i(l)?
True
Suppose -k - 5*p = -14735, 5*k - 80688 + 6901 = 3*p. Does 13 divide k?
True
Suppose 5*q + 7029 = 4*z, z + 4*z = -5*q + 8775. Suppose -21*p = z - 5284. Is 8 a factor of p?
True
Let d(x) = 39*x**3 - 3*x**2 - x - 1. Let t be d(-1). Let c be (-3 - -1)/(t/189). Suppose -c*f + 2094 - 330 = 0. Is f a multiple of 28?
True
Let g(a) = -10*a**2 + 3*a - 6. Let l be g(-3). Let j = 244 + l. Is j a multiple of 5?
False
Suppose 4*a - a - 4*k = 22, 0 = -a - 2*k + 4. Suppose -5*p - 80 = s, -4*p + p - a = 0. Let