 Is 14 a factor of -3 + (u/3 - 3)*1?
False
Is ((-2)/(-6))/((-18)/(-13230)) a multiple of 43?
False
Suppose 3*r - 13*r + 170 = 0. Does 4 divide r?
False
Let h = 424 - 151. Is 21 a factor of h?
True
Let o be (-3)/(12/(-20))*(-28)/10. Let h(f) = -2*f + 22. Is 23 a factor of h(o)?
False
Suppose 0 = o + o + 24. Let m = o - -3. Let b = m - -48. Does 14 divide b?
False
Suppose j = 7*j. Is 4 - j*4/8 a multiple of 2?
True
Suppose 6*o - o = -4*g + 72, -2*o - 4*g + 36 = 0. Suppose 5*y + 5*m = 150, -m - 2*m + o = 0. Does 18 divide y?
False
Suppose 5*y - 5 = 5. Suppose 0 = -3*i + y*i. Suppose -2*b + i*b + 34 = 0. Is 13 a factor of b?
False
Let z(p) be the third derivative of -37*p**5/60 - 5*p**4/12 + 4*p**3/3 - 8*p**2. Let b be z(8). Does 12 divide b/(-35) - 4/(-14)?
False
Let x be (1 - 0 - (-28)/(-2))*-5. Suppose x = s + 4*v, 5*s - 3*v + v = 215. Is 7 a factor of s?
False
Let g(r) be the first derivative of r**4/4 + 4*r**3/3 + r**2/2 - 7*r - 28. Is g(4) a multiple of 6?
False
Suppose -4*o + 108 = o + 2*l, -4*o + 64 = -4*l. Let k = o - 12. Let w(y) = 6*y. Does 17 divide w(k)?
False
Let t(z) = -z**3 - 2*z + 187. Is t(0) a multiple of 21?
False
Let p be (-2 - 0) + 184/8. Suppose 2*z + p = 67. Does 23 divide z?
True
Let w(i) = i**3 + i**2 - i - 6. Let c be w(0). Is 6 a factor of (20/12)/((-1)/c)?
False
Let o = 5 - 1. Is 10 a factor of 69/o + 4/(-16)?
False
Let t(w) = -w**3 - 7*w**2 + 8*w + 11. Let q be t(-8). Suppose 0 = 2*s + 2*g - 0*g - 40, -s - 5*g = -36. Let v = s - q. Is 5 a factor of v?
True
Suppose 5586 + 1434 = 26*f. Does 27 divide f?
True
Let q(c) = 5*c - 26. Let m be q(6). Suppose 10 = m*x + 2, -a + 59 = -2*x. Is a a multiple of 7?
True
Let b(z) = 10*z**2 - 8*z + 4. Let v be (-1)/(-14*1/(-8) + -2). Is 6 a factor of b(v)?
True
Let x(t) = -t**3 - t. Let h(y) = -3*y**3 - 6*y**2 - 4*y - 5. Let s(g) = -h(g) + 4*x(g). Suppose -5 = 4*l - 5*l. Does 12 divide s(l)?
False
Let i = -25 + 48. Suppose 3*y - 9 = 0, 0*n - n - 3*y + i = 0. Does 3 divide n?
False
Suppose 3*z - 1 + 7 = 0. Let y be (-2)/(-1 + z - -2). Is 10 a factor of 16/y*(-10)/(-8)?
True
Let j be (12/(-14))/((-1)/7). Let z = -1 + j. Suppose 3*o - 85 = -2*y, z*o + 4*y - 107 = 34. Does 7 divide o?
False
Suppose 4*d - 8*d = -776. Suppose -5*y + 206 = -d. Is y a multiple of 16?
True
Suppose 4*q - 11 - 9 = 0. Suppose 6 - 41 = -q*s. Let x(w) = -w**3 + 6*w**2 + 9*w - 8. Is x(s) a multiple of 3?
True
Suppose 0 = -5*t + 6750 - 1470. Is 22 a factor of t?
True
Let s = 478 + -60. Is 37 a factor of s?
False
Does 8 divide 1 - 9/6 - (-6725)/10?
True
Is 85/17 + -5 + 2052/1 a multiple of 38?
True
Let x(r) be the first derivative of r**4/4 + r**3/3 + r**2 + 30*r + 2. Let q be (-1)/(-1)*(0 + 0). Is 10 a factor of x(q)?
True
Let h = 6082 - 3220. Does 9 divide h?
True
Is 13/(-52) + 514/8 a multiple of 6?
False
Is 9 a factor of (7986/(-165))/(2/(-15))?
False
Let a = -40 + 40. Let s(x) = x**2 + 37. Does 7 divide s(a)?
False
Let i(m) = -m**2 - 11*m + 4. Let a be 8/(0 + 1) - 1. Let x be i(a). Let d = -54 - x. Does 19 divide d?
False
Suppose 3*k = -3*p + 42, p + 4*k - 12 - 17 = 0. Suppose -3*n + p = -0*n. Suppose -n*r + 5*r = 34. Is r a multiple of 4?
False
Let h(i) = 2*i**2 + 5*i - 7. Let a be h(-9). Let o = a + -104. Is 3 a factor of o?
True
Let z = 3 + -7. Is (1 - z/4)/((-4)/(-86)) a multiple of 20?
False
Let i be 3 + -5 - (0 - 48 - 1). Let a = 58 - i. Is a a multiple of 5?
False
Suppose -4*k - 3*u - 2*u + 250 = 0, 5*u - 10 = 0. Does 11 divide (-546)/(-10) + 24/k?
True
Let n = -119 + 219. Suppose 23*i = 28*i - n. Is 12 a factor of i?
False
Suppose -2*b - 2*b - 60 = -2*d, 4*d = 4*b + 100. Let s be (-2 - -5)*d/(-6). Let n(w) = -8*w + 7. Is 26 a factor of n(s)?
False
Suppose 0 = -3*t + 9, -48 = 5*s + 5*t - t. Let a = 12 + s. Suppose 4*r - 2*k - 232 = a, 2*k - 59 = -r + 3*k. Is 32 a factor of r?
False
Suppose 5*p - 3*c = 28, 0 = -5*p + 5*c - 0*c + 30. Suppose 3*m - g - 25 = 0, 4*m + 3*g + 0*g = 16. Let a = p + m. Is a a multiple of 10?
False
Let n(h) = 68*h + 68. Is n(6) a multiple of 26?
False
Suppose 0*y + 882 = 9*y. Does 7 divide y?
True
Suppose 7*t = 8*t - 25. Is ((-5)/t)/(-1) - (-364)/5 a multiple of 11?
False
Let m = -886 - -1525. Suppose 0*d - 480 = -3*n - 4*d, 0 = 4*n + 5*d - m. Suppose -2*i - n = -5*i. Does 26 divide i?
True
Let i = -257 + 332. Is 30 a factor of i?
False
Let u = 4 + 2. Let k be 3*(-2)/u*-4. Suppose v = -k*v + 70. Does 14 divide v?
True
Let d(j) = 90*j**3 + 17*j**3 + j - 2*j**2 + j**2 - 2*j**3. Is 15 a factor of d(1)?
True
Let w be 2/(-4) - (-42)/4. Let z = 13 - w. Does 12 divide (z + (2 - 4))*24?
True
Let i be 1 - (1 - (3 + -5)). Let b be 2/(-4)*(i + 2). Let a = 76 + b. Is a a multiple of 19?
True
Let j be (-1)/((-4)/(-2))*50. Let s = j - -85. Does 24 divide s?
False
Let y = -2 - -4. Suppose -3*t = -a - 1, t + 5*a - y = -7. Let h = t - -17. Is 17 a factor of h?
True
Let m = -57 - -63. Suppose 2*l = 3*p + 30, 45 = 2*l + l + 4*p. Let t = l - m. Does 3 divide t?
True
Let v(q) = -13*q**3 + q**2 - q - 1. Let s(j) = j**2 + 8*j - 1. Let m be s(-8). Does 3 divide v(m)?
False
Suppose -8*r + 1592 = -1864. Is r a multiple of 48?
True
Is -10 - (-2 - -10 - 2868) a multiple of 150?
True
Let m(q) = -q + 56. Let w(h) = -h**2 + 5*h - 2. Let o(u) = -2*u**2 + 9*u - 3. Let a(c) = 4*o(c) - 7*w(c). Let l be a(2). Is 27 a factor of m(l)?
False
Let f(o) = o**2 + 3*o + 29. Does 3 divide f(-5)?
True
Let m(l) = 28*l**2 + 3*l + 2. Let r(y) = y - 2. Let t be r(5). Let z be t/(-4) - 9/36. Is m(z) a multiple of 17?
False
Suppose 0 = 11*o - 725 + 186. Is o a multiple of 2?
False
Suppose -3 = 3*i + 3. Let l be i/2 - (2 - 30). Is (l/36)/((-2)/(-104)) a multiple of 13?
True
Let u = 42 - 18. Let j be ((-30)/7)/(u/(-112)). Does 31 divide (-734)/(-8) - (-5)/j?
False
Let i(t) = -6*t**2 + t - 2. Let u be i(2). Let h be (38 + 1)*(-8)/u. Suppose -4*j + h = -l + 2*l, 5*j + l = 16. Does 2 divide j?
False
Suppose -224 = -w + 15. Suppose 4*a - 361 = w. Does 24 divide a?
False
Let g(l) = 17*l**3 + 29*l**2 - 3*l + 7. Is g(3) a multiple of 6?
False
Let u(h) = -5*h - 122. Let w be u(0). Let y = w + 183. Is y a multiple of 17?
False
Let y(c) = 52*c - 40. Is 9 a factor of y(7)?
True
Let l = -16 - -9. Let a = 15 + l. Suppose -3*f - 2 = -s - a, s + 2 = f. Is f even?
True
Let m(u) = 337*u - 197. Is m(5) a multiple of 48?
True
Is 18 a factor of (50625/(-40))/(-3) - 4/(-32)?
False
Let o(x) = -8*x**2 - 5*x + 5. Let s be o(-3). Let y = s - -87. Is 26 a factor of y?
False
Suppose 3*q = 4*i - 117 + 295, -5*q = i - 266. Suppose 2*m - m + 15 = 3*v, -m = -2*v + 10. Suppose -q = -g - g - 2*k, v*g - k = 165. Is 13 a factor of g?
False
Suppose 4651 = 20*s - 2909. Is s a multiple of 18?
True
Suppose 4*y = -13*y + 51. Suppose 2*a - 79 = -5*o, 4*o - y*o - 7 = 4*a. Is 15 a factor of o?
True
Is (8/6)/(4/(-42))*-1 a multiple of 6?
False
Let f(p) = -p**3 + p**2 - p + 3. Let g be f(0). Suppose -2*r - 172 = -6*r. Let i = r + g. Does 23 divide i?
True
Let m(c) = c**2 + 60*c + 912. Is 6 a factor of m(0)?
True
Suppose 7*g - 18 = 13*g. Is 39 a factor of (-205 + -3)*g/4?
True
Let k(g) = -5 + 7*g - 6 + 0 + 2*g**2 + 1. Let a be k(-9). Suppose 3*f = 4*x + 49, -3*f - 4*x + a = -0*x. Does 5 divide f?
False
Let l(v) be the first derivative of -2*v**2 - 2*v + 7. Let o be l(-1). Suppose 0 = -o*m - 4*i + 40, 5*m = i - 0*i + 133. Is 16 a factor of m?
False
Let b(r) = r**2 - 20*r + 23. Does 23 divide b(23)?
True
Let s(u) = -8*u + 10. Let r be s(-8). Let j = r + -7. Suppose 11 - j = -4*g. Does 6 divide g?
False
Let q = -121 + 123. Suppose -5*k - 35 = -q*m, 8 = m - 4*k - 2. Does 5 divide m?
True
Suppose 22*y - 24*y = -1616. Does 32 divide y?
False
Suppose -q = 5*m + 8, 2*q - 4*m + 81 = -q. Let o = q + 78. Does 16 divide o?
False
Let k = 223 + 182. Is k a multiple of 9?
True
Let d(j) = -120*j**3 - 2*j**2 - 5*j - 2. Is d(-1) a multiple of 2?
False
Let l(p) = 11*p**2 - 21*p + 73. Does 11 divide l(10)?
False
Let w = 2 - -4. Let y be 3 - 8/(-12)*w. Let u = y + 16. Does 23 divide u?
True
Let n(c) = -c**3 + 10*c**2 - 9*c + 17. Let o be (-72)/(-20)*5/2. Does 13 divide n(o)?
False
Let p = -13 + 41. Does 8 divide p/(-35)*(1*-2 + -28)?
True
Suppose -2*m = -m + 1. Let b be m/((-218)/108 + 2). Suppose b = 3*a - 204. Is a a multiple of 25?
False
Suppose 4*c + 4*u - 912 = 0, -2*c - 240 + 680 = -2*u. Do