634 + 3137. Is 8 a factor of u?
False
Is 70 a factor of 6/(-11) + ((-105690)/33)/(-5)?
False
Let z = -6 + -52. Let p = z - -113. Is 11 a factor of p?
True
Let p(v) = -78*v - 102. Does 21 divide p(-11)?
True
Let m be (6/24)/((-2)/(-16)). Suppose -s - 164 = -2*s - 4*p, 0 = -2*s + m*p + 308. Suppose 3*b = -4*i + 4*b + s, 0 = i + 4*b - 22. Is 19 a factor of i?
True
Let c(g) = 251*g + 86. Is 53 a factor of c(4)?
False
Let f(p) = p**2 - p + 5. Let y be f(0). Suppose y*t - 144 = -t. Is 17 a factor of t?
False
Suppose -15 = 2*f + a - 294, 5*f - 705 = 5*a. Does 22 divide f?
False
Let g be (4/10)/((-17)/85). Let m = 54 - g. Does 14 divide m?
True
Suppose 4*n - 358 = 5*q, -4*n + 2*n = 4*q - 166. Let i be n/21 + 3/(-21). Suppose 25 = -i*y + 69. Is 7 a factor of y?
False
Does 11 divide (40/40)/(2/48)?
False
Suppose 25*p - 218 = -d + 24*p, -5*d - p + 1110 = 0. Does 99 divide d?
False
Suppose -3*z = -s - 199, -5*z + 2*s + 264 = -z. Is (2 - 1)*z*1 a multiple of 19?
False
Let o(f) = -f**3 - 17*f**2 - 15*f + 6. Let v be o(-16). Let g(r) = -r**2 - 14*r - 25. Does 7 divide g(v)?
False
Suppose -i + 2*x + 1087 = 0, -3*x + 363 = 3*i - 2889. Does 45 divide i?
False
Suppose 0 = 4*q - 5*y - 4720, -138 + 1329 = q - 4*y. Is q a multiple of 11?
False
Let h(g) = 4*g**2 - 6*g - 58. Does 9 divide h(-5)?
True
Let d be (754/4)/(-13)*(0 + -2). Let y = d - -30. Does 35 divide y?
False
Does 7 divide (-207)/(-3) + 4/16*4?
True
Let v(y) = -y**3 + 11*y**2 - 11*y - 4. Let c(f) = -f**2 - 13*f + 8. Let n be c(-11). Suppose 4*r + 2*h = n, h + 0*h = 4*r - 39. Is 15 a factor of v(r)?
False
Let d(s) = -3 + 5*s + 6*s**2 + 2 - s**3 - 4 + 2. Is 3 a factor of d(6)?
True
Let b(q) be the second derivative of 0 + 6*q + 4*q**2 - 7/6*q**3. Is b(-5) a multiple of 8?
False
Let x = 33 + -31. Suppose 3*g + 278 = 2*c - c, 0 = x*c + g - 584. Does 29 divide c?
True
Suppose 0 = -2*o - 3*q + 13, 5*q + 1 = -o + 4. Suppose -u + 2*c = -c - o, -4*u = -5*c - 67. Is u a multiple of 6?
False
Suppose -4*k = 4*y - 36, -y + 0*k = -4*k + 1. Suppose -3 = 2*h - y. Let f(t) = 5*t**3 - t**2 + 4*t - 3. Is f(h) a multiple of 13?
False
Let w = 96 + -55. Suppose -15 = -2*x + w. Let l = 34 - x. Is 4 a factor of l?
False
Let n be 1/(-2)*0/2. Let o(r) = 23*r + r**2 - 23*r - 175*r**3 + 174*r**3 + 16. Is 16 a factor of o(n)?
True
Suppose -2*w = 2*w. Let k = 46 - 44. Is 30 a factor of -4 - w - (k + -105)?
False
Let q(c) = c**3 + 3*c - 4*c**2 - 41 + 39 + 5*c**2 - c. Let y(j) = -j + 3. Let r be y(0). Is 10 a factor of q(r)?
True
Let x(i) = 3*i - 45. Let m be x(13). Let d(l) be the first derivative of -3*l**2/2 + 14*l - 1. Is 32 a factor of d(m)?
True
Let d(w) = w**2 - 10. Let h = -14 - -16. Suppose 6*s = i + 4*s + 18, h*i + 28 = 2*s. Is d(i) a multiple of 30?
True
Suppose 2*o - 2405 = -b, 11*b - 2385 = 10*b + 3*o. Is 17 a factor of b?
True
Let y(d) = -471*d + 72. Is y(-6) a multiple of 23?
True
Let y = -241 + 705. Does 58 divide y?
True
Suppose -1149 = k - 4*k. Let u = k + -248. Suppose 3*i - u = -2*i. Does 11 divide i?
False
Suppose -2*n = 3*n - 20. Suppose -5*y = -15, 2*d + 42 = n*d - 2*y. Let f = d + -11. Is f a multiple of 7?
False
Does 11 divide (857 + -14)*2/3 - -5?
False
Is -6*(-1445)/90*9 a multiple of 27?
False
Let p(t) = 3*t**2 + 10*t + 29. Is p(-9) a multiple of 13?
True
Let r(a) = -a**2 + 12*a - 23. Let x be r(10). Let n(u) = u - 1. Let s(q) = -5*q + 9. Let v(m) = 3*n(m) + s(m). Is v(x) a multiple of 9?
False
Let v(h) = -2 + 4*h**2 - 8*h**2 + 16*h + 0 - 19*h + h**3. Does 8 divide v(5)?
True
Let c be (13 - 6)*(-6)/(-7). Let q be 3/c*-2 + -1. Is (-16)/(2/8*q) a multiple of 8?
True
Let m = 146 + 49. Is 33 a factor of m?
False
Let r(j) = j**2 + 5*j - 10. Let s = -80 - -88. Is r(s) a multiple of 29?
False
Let f be ((-15)/4)/(-5) - (-7546)/(-56). Let y = 284 + f. Does 10 divide y?
True
Suppose -3*a - f = -6*f + 98, -4*a - 2*f = 148. Does 20 divide -4*(-3)/4*(-1956)/a?
False
Suppose -83 = -3*v + 172. Let m = -57 + v. Is 4 a factor of m?
True
Let c = -217 - -234. Is 17 a factor of c?
True
Let n be (-42)/(-6) + (-4 - -3). Suppose 7*d - 2*o = 2*d + 26, 3*d + 2*o - n = 0. Is d a multiple of 2?
True
Let q(a) = -7*a + 3. Let w(r) be the second derivative of -r**4/2 + r**3/3 - r**2/2 - 3*r. Let k be w(1). Is q(k) a multiple of 19?
True
Suppose 0 = 4*p - 3*i - 1795, 1068 - 151 = 2*p + 5*i. Does 36 divide p?
False
Let o(v) = -7*v**3 - 11*v**2 + 11*v + 32. Is 14 a factor of o(-6)?
False
Let d be ((-12)/10)/((-10)/(-300)). Is 9 a factor of (d/20)/(2/(-30))?
True
Is 16 a factor of ((-1)/1)/((-4)/6080)?
True
Let t(j) = 16*j - 187. Does 13 divide t(58)?
True
Suppose -9*t = -18*t + 18. Is (46818/(-12))/(-9) - t/4 a multiple of 31?
False
Suppose z + 4*x = -77, 0 = -4*x - 7 - 9. Let t = -48 - z. Does 13 divide t?
True
Suppose 0 = c - 2*f - 0*f - 103, -c + 83 = 2*f. Suppose -k - 20 = -b + 11, -2*k = -3*b + c. Does 3 divide b?
False
Let g = -38 + 41. Suppose 15 = 5*o, -4*t + g*o - o = -706. Is t a multiple of 43?
False
Suppose 8*p = 3*p + 15, 0 = -2*f - 4*p + 370. Is f a multiple of 53?
False
Let r(u) = -u**2 + 15*u - 8. Let o be r(14). Suppose -25 = -o*s + s. Is s a multiple of 5?
True
Let o = 1213 - 648. Does 71 divide o?
False
Let u(r) = 10*r + 8. Let j be u(6). Suppose 0 = 5*h - j - 202. Is h a multiple of 9?
True
Let g(o) = -o**2 - 23*o - 82. Does 6 divide g(-10)?
True
Suppose j = 5*y - 2398, 0 = -2*y - 8*j + 7*j + 962. Does 20 divide y?
True
Let c = 762 - 440. Is c a multiple of 46?
True
Let l(c) = c**3 - 24*c**2 + 30*c - 56. Is l(23) a multiple of 25?
False
Does 48 divide (-302)/(-6)*(-43 + 46)?
False
Let j(q) be the third derivative of q**8/840 - q**7/5040 - q**6/720 - q**5/12 - 2*q**2. Let b(w) be the third derivative of j(w). Does 12 divide b(-1)?
True
Let o = 453 - 263. Is 10 a factor of o?
True
Let x = -1812 + 5876. Does 32 divide x?
True
Let n be -4 + 46*2/2. Let v = n - 25. Is v a multiple of 4?
False
Let d(i) = 2*i**3 + 3*i**2 - 4*i - 7. Let t(m) = -3*m**3 - 3*m**2 + 5*m + 7. Let u(k) = -4*d(k) - 3*t(k). Does 19 divide u(5)?
False
Let m = 14 + -29. Let n = -13 - m. Suppose -5*y + 38 = -n*y - 4*h, h = -3*y + 58. Is 6 a factor of y?
True
Let z(i) = 2*i**2 - 2*i - 8. Let u be z(3). Let l be -1*(1 + -8) - 0. Suppose 3*t + 5 = c - 2*c, l = u*c + 3*t. Is 3 a factor of c?
False
Does 13 divide (24 + 2)/((24/99)/4)?
True
Let t(z) = -73*z + 1. Is t(-3) a multiple of 11?
True
Let g = 1290 - 17. Does 79 divide g?
False
Let u(m) = -167*m - 38. Is 36 a factor of u(-5)?
False
Suppose m + c = -m + 13, 3*c = 2*m - 17. Suppose 2*v + 8 = -2*p, -m*p + 3*p = 2*v + 14. Let x = 9 - p. Is x a multiple of 4?
True
Suppose 5*c - 6 - 19 = 0. Let m(o) = -o**2 + 11*o - 7. Does 23 divide m(c)?
True
Suppose -5*c + 1410 = -510. Does 13 divide c?
False
Suppose 0 = -2*f + 2152 + 1496. Is f a multiple of 32?
True
Suppose 91*i + 39224 = 99*i. Is i a multiple of 31?
False
Let j = -40 + 28. Let t = j - -20. Suppose t*m - 244 = 4*m. Does 16 divide m?
False
Let s(c) = 2*c**2 + 4*c + 71. Does 9 divide s(-18)?
False
Is 66/(-88) + (-1214)/(-8) a multiple of 18?
False
Suppose 3*z = 2*o + 9, o + 4 = -z + 4*o. Suppose -166 = -3*x + 4*r, -z*r - 326 + 104 = -4*x. Does 9 divide x?
False
Suppose 5*l - 7*l = -4. Let j(x) = -1 - 2 + 3 - 4 - 2*x + l*x**2. Is j(3) a multiple of 3?
False
Suppose 66 = 3*g - 78. Let k = g - 31. Suppose k = y + 1. Is 10 a factor of y?
False
Let a be (2 + -2 + 19)*(17 - -42). Suppose 335 + a = 13*j. Is 14 a factor of j?
True
Suppose 4*a + 2*i - 2882 = 0, 12*i - 14*i = -2*a + 1444. Does 35 divide a?
False
Suppose -17 = -x - 11. Suppose 5*l - 27 = -2*o, -x = -2*o + 2*l + 14. Is o a multiple of 11?
True
Suppose -777 = -4*l + 4639. Is l a multiple of 106?
False
Let f(o) = -2*o + 22 + 3 + 4. Is f(-13) a multiple of 20?
False
Let p = -43 + 560. Does 29 divide p?
False
Is (-2)/(-5) - 39996/(-110) a multiple of 7?
True
Let k = 24 - 28. Is (-93)/k + 1/(-4) a multiple of 23?
True
Let j = -352 + 433. Is 27 a factor of j?
True
Let b = 196 + -23. Let n = b + -158. Is n a multiple of 3?
True
Suppose o - 614 - 417 = 0. Is 105 a factor of o?
False
Suppose -4*m + 12*q = 8*q - 6080, -4*m + 2*q = -6088. Is 14 a factor of m?
False
Let k be 68/20 - 4/10. Suppose 18 = 5*t - 2. Suppose k = -2*g - 1, -t*s + 358 = -g. Does 20 divide s?
False
Let t be (1 + 9/(-15))*-5. Suppose -