19 a factor of q?
False
Suppose -s + 33 = 9. Let t = s - -8. Does 32 divide t?
True
Let i be (-8)/6*(-642)/2. Suppose 4*k - z = i, 3*z = k - 5*k + 444. Suppose -v - k = -4*v. Is v a multiple of 12?
True
Suppose 4*l - 6 = 2*l. Suppose -2*i - 71 = -l*m, 20 = -5*m + 4*i + 141. Is 4 a factor of m?
False
Suppose -5*h + 3*h = -v - 1, -1 = 4*h - 3*v. Suppose 7*l = h*l. Suppose 4*b = -l*b + 144. Is b a multiple of 18?
True
Suppose -6*v + 2*v - 176 = 0. Let l = v + 101. Is l a multiple of 9?
False
Let r = -683 + 864. Is 78 a factor of r?
False
Let u(l) = 17 + 8*l + 2*l + l**2 - l + 3. Does 9 divide u(-10)?
False
Let k(n) = -45*n - 37. Let r(u) = 11*u + 9. Let f(d) = -6*k(d) - 26*r(d). Does 20 divide f(-12)?
True
Suppose 0*y - 8 = -y. Let n(x) = -x**3 + 9*x**2 - 4*x - 10. Is 11 a factor of n(y)?
True
Let n(p) = 6*p**3 + 8*p**2 - 18*p + 37. Is 13 a factor of n(5)?
True
Let p = -733 + 1039. Suppose 0*l = -3*l + 4*k + p, 5*k + 409 = 4*l. Suppose 5*o = -3*h + 200, 0 = -4*o + h + l + 37. Is 10 a factor of o?
False
Suppose -2*c + 7 = x, -2*x + 15 = 4*c + x. Suppose u + 5 = -5*i, -c*i + u = 2*u + 5. Suppose -t - 3*t = -3*b - 156, b - 4 = i. Is t a multiple of 21?
True
Let c(a) = 4*a**2 - 2*a - 4*a**2 + 2*a**2 + 6 - 3*a. Is c(4) a multiple of 6?
True
Suppose 0*d - 25 = -5*d. Suppose 3*f = -6, 0 = c + 3*c - f + 2. Does 10 divide (4*d)/(0 - c)?
True
Let l(r) = 2*r**2 - 4*r - 11. Let z be l(4). Suppose z*m = -5*f + 3*m + 298, -4*m = 3*f - 190. Is 10 a factor of f?
False
Suppose i - 5 = -2*b, -2*b + 7 = -b + 5*i. Suppose -y - 2 = -3*t + 39, 0 = -2*t - b*y + 38. Suppose 0 = l - t + 5. Does 4 divide l?
False
Suppose 10*f = 2643 + 1197. Is 8 a factor of f?
True
Let g be (-12 - 0)/(-4) + 198 + 1. Suppose 0*w = -2*f - 4*w + 96, 0 = 4*f - 2*w - g. Is 16 a factor of f?
False
Is 33 a factor of 0 + 410 - (-163 + 153)?
False
Let d(x) = 7*x + 7. Let y be d(-2). Let s(m) = m**2 + 8*m + 24. Does 14 divide s(y)?
False
Suppose 0*a + 18*a - 2970 = 0. Does 5 divide a?
True
Let k = 399 + -131. Let h = k + -115. Does 17 divide h?
True
Suppose 3*y = y + 626. Suppose 5*r = -5*l + y + 172, 4*r - 483 = -5*l. Suppose -5*u = -0*u - l. Is u a multiple of 6?
False
Let g(r) be the first derivative of 5*r**4/8 + r**3 + 3*r**2/2 - 12. Let m(a) be the second derivative of g(a). Is 22 a factor of m(5)?
False
Suppose -6 - 2 = 2*l. Let g = 14 + l. Does 3 divide g?
False
Let s(m) = m**2 + 12*m - 9. Let f be s(-13). Let t(z) = f*z + 2*z + 4*z - 4*z + 4 - z**2. Is t(5) a multiple of 9?
True
Let h(i) = 4 + i**2 - 2*i**2 - 12*i + 2. Let m be (7 + -6)*(1 - 0)*-10. Is 13 a factor of h(m)?
True
Suppose -10*m + 30*m - 3920 = 0. Is 49 a factor of m?
True
Let i = -62 + 59. Is 4 a factor of (-2)/i - (-4)/6*5?
True
Is 2 a factor of 1/(-6) - ((-117993)/(-18))/(-37)?
False
Let z = 678 - 337. Let t = z + -185. Is 20 a factor of t?
False
Suppose 5*s = 2794 + 1596. Does 18 divide s?
False
Let d(y) = -2*y**2 - 67*y + 84. Is 6 a factor of d(-24)?
True
Let p(l) = l**3 - 8*l**2 + 5*l - 3. Let i be p(7). Let c = i + 29. Suppose 0 = -5*s + 5*n + 60, 0 = -s - 0*n + 5*n + c. Does 8 divide s?
False
Let x = 2203 + -1592. Is x a multiple of 13?
True
Let j(p) = -p**2 - 14*p - 17. Let u be j(-13). Let o = 12 + u. Is 20 a factor of 82 - 1 - (-5 + o)?
False
Suppose -t = 3*f + 22, 0 = -f - 3*f - 5*t - 22. Let c(o) = -4*o + 2. Does 2 divide c(f)?
True
Suppose 0 = 4*i + 3*i - 28. Does 9 divide i*-3*(-195)/52?
True
Let h(n) = 22*n - 87. Is 5 a factor of h(16)?
True
Suppose 3*g = -2*k + 5328, 0 = 4*k + g - 10063 - 593. Is 12 a factor of k?
True
Let l = 120 + -62. Let f(w) = -w**3 - 7*w**2 - 7*w - 19. Let m be f(-5). Let q = l + m. Is 8 a factor of q?
True
Let o(t) be the third derivative of 0*t - 1/120*t**6 - 4/3*t**3 + 1/10*t**5 + 0 + 3/8*t**4 + 6*t**2. Is 6 a factor of o(7)?
True
Let b be (-9 - -4)/(5/18*-3). Let l be 1 + 1 - 2 - -4. Does 13 divide (l/b)/(16/936)?
True
Let u(z) be the third derivative of z**5/30 + z**4/2 + 8*z**3/3 + 5*z**2. Is 10 a factor of u(-7)?
True
Let w(c) = 37*c**3 + c**2 - 2*c + 1. Let v be w(1). Let t = 40 - v. Does 3 divide t?
True
Let q = -57 - -71. Is q even?
True
Suppose -18*l - 18095 = -25*l. Does 55 divide l?
True
Let k = 20 - 41. Suppose 0 = y + 5*n - 39, 2*n + 171 = 4*y - 29. Let t = k + y. Is t a multiple of 5?
False
Let p be (-3 - (-16)/6)*-54. Suppose -8*r + p = -2*r. Let d = r - -11. Is d a multiple of 14?
True
Suppose -4*k - 3*z + 191 = -3, z = 3*k - 152. Suppose 0 = 5*v + 355 - k. Let d = v - -85. Is d a multiple of 12?
True
Suppose 4*d + 8 + 6 = 2*h, 2*d = -4*h - 2. Does 3 divide (h - -5)*(-3 + (-14)/(-4))?
True
Suppose -5*c - 3*h = -322, -3*c - 5*h + 292 = 86. Suppose 0*s + c = s. Is s a multiple of 15?
False
Let m = 1579 - 1051. Does 20 divide m?
False
Suppose 16*z - 26 = 3*z. Suppose -4 = 2*l, 89 = u - 0*l - z*l. Is u a multiple of 5?
True
Suppose 0 = -2*l + m + 445, l - 5*l = -4*m - 884. Is 16 a factor of l?
True
Let q be (24/(-5))/(6/(-180)). Suppose 0 = -5*j + j + q. Does 4 divide j?
True
Let d(y) = -3 - 3 - 2*y + 3. Let q be d(-7). Let v = 28 - q. Does 12 divide v?
False
Let y(w) = w**3 - 4*w**2 + w - 13. Let l be y(5). Suppose -32 = l*k - 21*k. Does 4 divide k?
True
Suppose -5*j = 2*r - 10, -4*r - j + 26 = 6. Suppose -48 = r*n - 8*n. Is 8 a factor of n?
True
Suppose 0 = 529*r - 522*r - 4515. Is r a multiple of 5?
True
Is ((-12)/15 + 2)/((-141)/(-103400)) a multiple of 10?
True
Suppose d + 270 - 402 = 0. Is d a multiple of 34?
False
Suppose 0 = 7*b - 6*b - 9. Suppose 3*d = 4*l - 36, -5*l + d = -25 - b. Is 6 a factor of l?
True
Let f be 2/(-3) + (-40)/(-6). Let x = -18 + 26. Let v = x + f. Does 14 divide v?
True
Let a = 27 - 22. Suppose f - 3*f - 39 = a*h, -21 = 4*h + 5*f. Does 23 divide (-30)/h*162/15?
False
Let k(i) = i**3 - i**2 - 13*i + 7. Let g be k(5). Does 9 divide g/112 + 138/16?
True
Let p(z) = 57*z + 658. Does 11 divide p(21)?
False
Suppose 0 = -3*z - 3*z - 792. Let y = 186 + z. Is 9 a factor of y?
True
Let y = 97 + -93. Suppose -4*w - 6*k + 230 = -y*k, 3*k = -3*w + 174. Is w a multiple of 19?
True
Is 72/5*(-645)/(-86) a multiple of 3?
True
Let c = -33 - -9. Let j = c + 38. Does 14 divide j?
True
Let u = -4 - -9. Suppose -4*m - 16 = 0, -u*m = 2*q - 4*m + 14. Let f = 7 + q. Is f even?
True
Let m be (-1 - (-2)/(-8))*(4 + -8). Suppose -m*j + 192 = 17. Is j a multiple of 5?
True
Suppose 28*c - 8*c - 1900 = 0. Is c a multiple of 24?
False
Suppose 7*f - 634 = 1424. Is f a multiple of 21?
True
Suppose t + 4 + 1 = 0. Is 3 a factor of -6*t/(-10)*-2?
True
Let d(y) be the first derivative of -y**4/4 - 4*y**3/3 + 5*y**2/2 - 14*y + 4. Is 7 a factor of d(-6)?
True
Does 28 divide (-51667)/(-121)*1*2?
False
Let f = -553 + 1437. Does 101 divide f?
False
Suppose -5 = -g - 3*s - 2*s, 5*s = 2*g - 10. Suppose -2*x + 5*v - 500 = -3*x, 0 = g*v + 20. Suppose 7*i - 2*i = x. Is i a multiple of 23?
False
Let u(a) = 3*a - 4 - a - 5*a - 4*a**2 - 9*a**3. Let v be u(-4). Suppose 4*t = -b + 2*t + 112, v = 5*b + 2*t. Is 32 a factor of b?
False
Let r = -25 + 4. Let k = 111 + r. Is k a multiple of 10?
True
Let c(o) be the first derivative of -7*o**2/2 + 4*o - 53. Suppose -42 = 5*v - 2. Does 23 divide c(v)?
False
Let o = 0 + -1. Let m(w) = -w**2 + 12*w - 16. Let c be m(9). Is 9 a factor of c - (-3)/o - -1?
True
Suppose 4*n + g + 3*g - 152 = 0, 4*g + 86 = 3*n. Suppose u - 2 = -z, 5*z = u + 4 + 12. Suppose 0 = -4*r + w + z*w + 124, -r = -4*w - n. Does 10 divide r?
True
Let o = 19 - 23. Let c(y) = -2*y**3 - 8*y**2 - 9*y - 2. Is 34 a factor of c(o)?
True
Let y(q) = -q**3 + 12*q**2 - q - 9. Let n be y(12). Let t = n + 252. Is 33 a factor of t?
True
Let z(r) = -3*r + 20. Let x be z(6). Suppose -2*f + 5*o + 3 = 9, x = 5*f - 4*o. Is (-38)/1*(-3)/f a multiple of 19?
True
Suppose 3*j + 106 = -5*m, -j - 4*m = j + 68. Let w be 6/j + (-40)/14. Does 17 divide 54 + w + -1 + -3?
False
Let a be (-3 - 599)/((-2)/1). Suppose 266 = -0*c + 4*c - 2*o, 0 = 4*c + 5*o - a. Is c a multiple of 17?
False
Let g = -214 + 302. Let i = 83 + g. Is i a multiple of 19?
True
Let p(l) = -3*l**2 + 10*l - 7. Let f(z) = z**2 - 5*z + 4. Let h be (-1)/(3/(-2) - -1). Let c(n) = h*p(n) + 5*f(n). Is 3 a factor of c(-5)?
True
Suppose 0 = 2*v - 4*n - 14, 2 = -n - 0*n. Suppose 0 = 4*q - 5*o - 423, 41 = q - v*o - 70. Does 12 divide q?
False
Let a = -132 -