1 + w + 9*f + f**3 + 2*f - 2 - 11*f**2. Does 11 divide p(10)?
True
Suppose -1830 = -2*f + 7*k - 8*k, -4*k = 16. Is f a multiple of 8?
False
Suppose -5*y + 3*h + 99 = 0, -h - 11 = -y + 10. Let q = 47 + y. Does 36 divide q?
False
Let j(l) = -l**3 - 15*l**2 - 17*l - 40. Let r be j(-14). Let g be 1*(-79 + -1)/(-2). Suppose r*d + 2 + 3 = 5*u, 2*u + g = 5*d. Is 4 a factor of d?
False
Let b = 28 - 21. Suppose -3*i = b - 4. Does 13 divide 52*((-9)/(-6) + i)?
True
Let t = -9 - -14. Suppose 3*c - w = -t*w + 30, 0 = 2*w - 6. Let p(u) = 8*u - 5. Is p(c) a multiple of 14?
False
Suppose -5*a + 4015 = -5*x, 2*x = -5*a + 1793 + 2208. Does 89 divide a?
True
Is 68 a factor of (-34)/(-4)*(64 - 56)?
True
Suppose 4*s - 7 = 1. Let u be s*23 - 5/(-5). Let q = 93 - u. Is 16 a factor of q?
False
Let h = 1606 + -1268. Does 14 divide h?
False
Suppose 11 = 4*c + 3. Does 8 divide (-6)/(4/(-232)*c)?
False
Let y(b) = b**3 + 23*b**2 + 87*b + 8. Is y(-11) a multiple of 29?
False
Let f(k) = -k**2 + 3*k + 10. Let t be f(7). Let l be 0*(t/(-4) + -4). Suppose -2*a + 99 - 5 = l. Is 15 a factor of a?
False
Suppose 3*b + 1 = 2*d, 2*b = -0*d - 2*d + 6. Let u(x) = 2*x**2 - 3*x + 5. Does 3 divide u(d)?
False
Let a(b) = b**2 + 13*b + 18. Let x be a(-9). Let t = x + 24. Is 13 a factor of (-3)/t + (-106)/(-4)?
True
Let j = 0 + -2. Let z(f) = -f**3 + 3*f + 3. Let v be z(j). Suppose -5*i - 5*k = -280, -i - v*k + 13 = -27. Is i a multiple of 16?
False
Let l(q) = 12*q**3 + q**2 + 3*q + 2. Let n be l(-1). Is (n - 1)*((3 - 0) + -4) a multiple of 5?
False
Let s be (-2)/((-6)/10 + 19/15). Is 6 a factor of -7*s/(-6)*-12?
True
Let n be (-3)/((-3)/16)*30/8. Suppose 86 - n = t. Does 13 divide t?
True
Suppose 3*f = 2*f. Suppose 2*n = 5*l - 7 - 19, f = 3*l + 4*n - 26. Suppose 0 = m, 3*a - 2*m + l*m = 36. Is 6 a factor of a?
True
Suppose 5*q - 133 = -623. Let y = q + 308. Is 42 a factor of y?
True
Let u = -269 - -1077. Is u a multiple of 101?
True
Suppose -7*o = -10*o. Suppose 5*c + 4*x - 487 = o, -497 + 4 = -5*c - x. Is c a multiple of 11?
True
Suppose 4*l + 4*w + 497 = 7*l, 0 = -l - 5*w + 134. Is l a multiple of 3?
True
Let v = -136 + 380. Is 31 a factor of v?
False
Let g = -37 + 47. Let i(h) = h**2 - 8*h - 14. Is 3 a factor of i(g)?
True
Let x be (27/(-6) + 3)*2/3. Does 21 divide (624/(-10))/x + (-15)/(-25)?
True
Let c(k) = 132*k**3 - 4*k**2 + 12*k - 11. Is c(2) a multiple of 13?
True
Let s be (-36)/(-24) + 6/4. Suppose -s*h + 132 = -3*f, -4*f - 12 + 4 = 0. Is h a multiple of 21?
True
Let q = -67 - -67. Is q + -2 - (6 + -84) a multiple of 19?
True
Let h = -249 - -126. Let d = h + 194. Let m = d - 23. Is 16 a factor of m?
True
Let q be 64/4*9/2. Suppose 5*b - q = 13. Is 7 a factor of b?
False
Does 77 divide (-11853)/(-3)*1 + (0 - -5)?
False
Let d = 213 + -207. Suppose -5*p + 145 = -a, -2*p + a = -3*p + 35. Suppose 3*t + d = p. Is 8 a factor of t?
True
Does 9 divide -1*(-13)/(104/2368)?
False
Does 17 divide (-2 - -3 - 86)*(2 + -5)?
True
Suppose 3*m = -3*d - 0*d + 1026, 0 = -4*m - d + 1356. Is m a multiple of 13?
True
Suppose 0 = -4*g + 26 - 10. Suppose 0 = -r + b + 9, 5*r + 2*b = g*r. Is 2*r*28/8 a multiple of 9?
False
Suppose 16*p + 56 = 14*p. Let s = 28 + p. Suppose s = 4*h - 0*h - 384. Does 27 divide h?
False
Let y = -99 - -140. Suppose -d = -2*x + x + y, -2*x + 5*d + 67 = 0. Is x a multiple of 7?
False
Let k be (5/(-10))/((-5)/240). Let m = 22 + k. Is 17 a factor of m?
False
Let n(o) = o**3 + 2*o**2 - o. Let h(x) = -5*x**3 - 18*x**2 + 3*x - 16. Let g(t) = h(t) + 4*n(t). Is g(-11) a multiple of 31?
False
Let h be 105/3 + (-2 - -4). Let s = 58 - h. Let l = s - 11. Does 5 divide l?
True
Let w be 16 + 4/1*-1. Suppose 5*r = 2*r + 144. Suppose 8*m - w*m + r = 0. Is 3 a factor of m?
True
Suppose -166 = 6*f + 164. Let p = f + 75. Is p a multiple of 10?
True
Suppose -3*l - l = g + 20, g + 5 = -l. Suppose 4*w + 3*w - 161 = g. Is w a multiple of 20?
False
Suppose 3*u + 4*m - 64 = -m, 3*u = -4*m + 68. Suppose f - 6 = u. Does 19 divide f?
False
Suppose -5*h - 2*x + 4 = 0, 5*h - 8 = h - 4*x. Let s(g) = 2*g + 0*g**3 - g - 2*g**3 + 17 + g**3. Is s(h) a multiple of 6?
False
Suppose 54 + 10 = 16*i. Let v(k) = -k**3 + 5*k**2 + 10*k - 26. Is v(i) a multiple of 22?
False
Let z(q) be the first derivative of 8*q**2 + 3 + 16*q + 2/3*q**3. Is 14 a factor of z(-10)?
True
Let g(d) be the first derivative of d**3/3 + 4*d**2 + 4*d - 1. Let f be g(-7). Is 4 a factor of -3 + 32/(7 + f)?
False
Suppose 0 = 137*x - 132*x + 85. Let h = x + 21. Is h even?
True
Let j be 23 + ((-1)/(-3) - (-24)/9). Let d = 107 + j. Is d a multiple of 20?
False
Let l(g) be the second derivative of 5/3*g**3 - 1/2*g**2 + 4*g + 1/12*g**4 + 0. Is 11 a factor of l(-14)?
True
Suppose 0 = -k + 75 + 279. Suppose -c - k = -4*c - 3*p, -2*c - 4*p + 232 = 0. Does 24 divide c?
True
Let v be (-111)/(-3) - (-1 - 1). Suppose 0 = -3*p + 6 - v. Does 13 divide (p - 2)/(5/(-20))?
True
Let u = 217 - 85. Is u a multiple of 3?
True
Suppose 4*p - 4*r - 4 = -0, -3*r = -p - 5. Suppose -4*g + 165 = h + 2*h, -2*h + p*g + 110 = 0. Suppose -h = -w + 4. Is w a multiple of 30?
False
Let j(a) = -a - 2. Let w(i) = i. Let h(k) = j(k) + 4*w(k). Let m(s) = s**3 + 9*s**2 + 9*s + 11. Let u be m(-8). Does 2 divide h(u)?
False
Suppose 0*b + b - 153 = 0. Let y = 265 - b. Is y a multiple of 29?
False
Suppose 2*k - 180 = 4*d, 0 = -k - 3*k - d + 405. Is 4 a factor of k?
True
Let o(j) = 7*j**2 + 4*j - 239. Is 51 a factor of o(-15)?
False
Suppose 2*t - 2 = 0, 0 = -5*x - t - 1 - 8. Is 21 a factor of 21/(3/21 + x + 2)?
True
Is (-1629)/(-7) - (-2)/7 a multiple of 37?
False
Suppose 1144*n = 1146*n - 256. Is 12 a factor of n?
False
Suppose 0 = l + 17*l - 1728. Is 12 a factor of l?
True
Suppose 0 = -2*n + 13 + 309. Is n a multiple of 19?
False
Let j(b) = -3*b - 11. Let v(u) = -u - 1. Let p(q) = j(q) - 6*v(q). Let f be p(-10). Let h = -11 - f. Is h a multiple of 12?
True
Suppose 3*r + 22 = 5*f, 0*f - 2*f + 2*r = -8. Let w = f + 23. Does 14 divide w?
True
Let h(j) = 6*j**2 + 0*j - 3*j - 2*j**2 + 4. Suppose 17*l - 39 = -5. Is h(l) a multiple of 4?
False
Does 17 divide (-165)/(-30)*-12*(-17)/2?
True
Let i(l) be the third derivative of 0 + 1/6*l**3 + 1/3*l**5 + 0*l + 1/24*l**4 + 7*l**2. Is i(-1) a multiple of 5?
True
Does 4 divide (21 + -23)*1/2 - -41?
True
Is (0*4/(-12) - -1201) + 7 a multiple of 8?
True
Let x(f) = -11*f - 1. Let i be x(5). Let m = i + 104. Let o = m + -30. Is 9 a factor of o?
True
Suppose -1165 = -0*d - 5*d. Let v = 422 - d. Suppose 3*o + v = 3*z, 60 + 60 = 2*z - 5*o. Does 19 divide z?
False
Let a(v) = 2*v**2 + v - 4. Let o be a(-3). Let y be o/2 + (-27)/18. Let h = 8 - y. Is h a multiple of 2?
True
Suppose 0 = 2*q + 17 - 21. Let a be 1 - (q/2 - 4). Suppose 2*d - 5 = -2*p + 105, 211 = a*p + d. Is p a multiple of 13?
True
Let j be (-10)/50 + 976/5. Let i = j - 81. Is 36 a factor of i?
False
Let y be (4 - 2*(-4)/(-8)) + 2. Suppose -4*x - 2*j = -36, 1 = y*x + 2*j - 43. Does 2 divide x?
True
Suppose 3*j + 0*j - 66 = 0. Suppose 274 = 6*q + j. Is q a multiple of 21?
True
Suppose -14*l + 2528 = -10*l. Does 79 divide l?
True
Suppose 3*s + 2*t + 14 = 0, s + 12 = -s - 2*t. Is 12 a factor of (11*(s - 8))/(-8 - -7)?
False
Let r = 25 + -29. Let v(y) = -y**3 - 4*y**2 + y - 4. Let l be v(r). Is 6 + l + (18 - -2) a multiple of 3?
True
Suppose -z = -3*z. Let b = z + 15. Does 3 divide b?
True
Let c = 18 + -12. Let h(k) = -k - 2*k + c + k + 3*k. Is 6 a factor of h(12)?
True
Suppose -2*h - 3850 = -5*l, -4*l + 1419 = -4*h - 1661. Is l a multiple of 14?
True
Let g be (-16)/48 + 56/6. Suppose g*y + 4 = 7*y. Is 18 a factor of 74/4 - y/(-4)?
True
Suppose -3*c + 4*x = -298, -3*c - 5*x = -152 - 137. Does 7 divide c?
True
Suppose 24*k - 11986 = 710. Is 31 a factor of k?
False
Let w = 807 + -315. Is 82 a factor of w?
True
Is 54 a factor of (-10)/(-8)*-4 + 599?
True
Let f be -9 + 9/(27/12). Let t(p) = p**3 + 6*p**2 + 6. Is 8 a factor of t(f)?
False
Let k(r) = -5*r**3 + 2*r**2 + r. Let s(l) = -10*l**3 + 3*l**2 + 2*l - 1. Let i(a) = -5*k(a) + 2*s(a). Does 5 divide i(2)?
True
Let c(x) = 4*x**2 + 13*x - 3. Is 4 a factor of c(-4)?
False
Let w = 9018 + -4710. Is w a multiple of 42?
False
Let s be (-12)/18*(2 - -7). Let p(v) = 3*v**2 + 6*v - 10. Is p(s) a multiple of 5?
False
Let z(b) = -b + 1. Let k(t) = 7*t + 2. Let f(s)