 of (-2)/2 + r/z?
True
Let b(z) = -z**2 + 2*z**2 + 0*z**2 + 2*z - 1. Does 31 divide b(7)?
True
Let z = 67 + -46. Let n = z + -10. Is n a multiple of 3?
False
Is (-4)/(-18) + 379008/324 a multiple of 26?
True
Suppose p + 10 = -0*p. Let d(k) = -2*k - 2*k**3 + 5*k**3 - 4*k**3 - 10*k**2 + 0*k**3 - 5. Is 5 a factor of d(p)?
True
Suppose 6*v - 3*v + 6 = 0, 4*v - 2 = 5*w. Does 17 divide (3/(-1) - (-11)/w)*-10?
True
Does 10 divide 1 + (416 - (10 + -3))?
True
Let m(t) be the second derivative of 3*t**3/2 + 3*t**2 - 9*t. Does 5 divide m(2)?
False
Let q(l) = -l**2 - 34*l - 113. Is q(-29) a multiple of 8?
True
Suppose 2*h - 126 = -4*z, -5*h - 4*z + 303 = -0*h. Suppose -145 - h = -4*l. Does 17 divide l?
True
Let z(w) = -3*w**3 + 52*w**2 - 45*w - 6. Is 22 a factor of z(13)?
True
Let p(g) = 9*g + 2. Let z be p(5). Let h be (2 - z)/((-6)/8). Suppose 0*l + 4*l = h. Is l a multiple of 15?
True
Let p(t) = t**3 - 10*t**2 + 9*t + 9. Let d be p(9). Let k be d + -5 + (-2)/1. Suppose 2*y = j + 13, 0 = 3*y - 3*j - 14 + k. Is 7 a factor of y?
False
Let b be (-890)/(-15)*6/(-4). Let o = b - -146. Is 7 a factor of o?
False
Suppose -6*f = -3*f - 12. Suppose -4*g - 16 - 32 = f*a, 4*a + 3*g + 47 = 0. Does 33 divide 64 - (3 + a)/4?
True
Let p be (-3 + 3)/(-4) - -3. Suppose -p*a + 31 = 7. Let m(b) = b**2 + 5*b. Is 26 a factor of m(a)?
True
Suppose 3*p - 47 + 47 = 0. Suppose -4*i - u + 257 = p, 65 = 2*i - 2*u - 61. Is i a multiple of 13?
False
Let q(z) = z + 2. Let l(x) = x**3 - 6*x**2 + x - 6. Let h be l(6). Let y be q(h). Suppose -315 = -5*u - 5*o, y*u - 3*o + 0*o = 116. Does 17 divide u?
False
Suppose 7*j - 196 = 3*j - 4*u, 2*j - 5*u - 119 = 0. Let n = -14 + j. Is 14 a factor of n?
False
Let k(w) = -4*w + 6. Let m = 20 - 14. Let r be k(m). Is 18 a factor of (12/r)/(4/(-186))?
False
Suppose -4*o - 2*u + 1274 = 0, -4*o + 94*u = 92*u - 1286. Is 10 a factor of o?
True
Is 25 a factor of (-6*110/16)/((-17)/680)?
True
Let o be 3/(-6) - 1026/12. Let x = o - -32. Let g = -28 - x. Is g a multiple of 13?
True
Let i(c) = -49*c + 23. Let t(m) = -25*m + 11. Let a(k) = -4*i(k) + 9*t(k). Let b be a(-12). Suppose z - 68 = -2*l, -l + b = 5*z - 6*l. Is z a multiple of 30?
False
Suppose 3 = -g + 5. Let p(o) = -6 - 6*o + g*o - 10*o + 2. Is 18 a factor of p(-3)?
False
Let i(g) = 34*g**3 + 1. Suppose 0 = -2*j - 3*j + 30. Suppose j*w = 8*w - 2. Is 6 a factor of i(w)?
False
Suppose 2*c - 279 - 51 = 0. Is 15 a factor of c?
True
Suppose -4*i - 3*b + 163 = -446, 0 = -i + b + 147. Let g be 4/14 + i/14. Suppose g*a = 8*a + 129. Does 7 divide a?
False
Suppose -6*o + 7*o - 115 = 0. Let n = o - 84. Is 31 a factor of n?
True
Suppose 5*l = 2*x - 6, -3*l + 0*x + 12 = 4*x. Let c(a) = a**2 + l*a + 2*a - 4 + a + 0*a**2. Is c(3) a multiple of 7?
True
Let v(w) = -w**3 + 6*w**2 - 7*w + 8. Let a be v(5). Is (70*1/(-4))/(1/a) a multiple of 7?
True
Let r(q) = 12. Let m(g) = -g - 25. Let o(x) = -6*m(x) - 15*r(x). Is 8 a factor of o(9)?
True
Let r be (16/14)/((-17)/(-119)). Let g(f) = f**2 + 4*f - 1. Is g(r) a multiple of 19?
True
Suppose 0 = -22*q + 4*q + 3402. Does 27 divide q?
True
Is -1 - (-7 - (-7128)/(-9)) a multiple of 38?
True
Is 47 a factor of 330816/352 - (-2)/11?
True
Let r(o) = -23*o**2 - 1. Let c be r(-2). Let s = 179 + c. Does 10 divide s?
False
Is 30 a factor of (1290/9)/(1/(-3)*-1)?
False
Let a(p) = 3*p + 331. Let x(s) = s + 110. Let m(t) = 3*a(t) - 8*x(t). Let y be m(0). Let r = y + -64. Does 11 divide r?
False
Suppose -5*l + 77 = 22. Let z(t) = 4*t**2 - 24*t + 18. Let d(i) = -2*i**2 + 12*i - 9. Let n(o) = l*d(o) + 6*z(o). Is 11 a factor of n(8)?
False
Let l(m) = -200*m + 9. Let u = 136 - 137. Is 17 a factor of l(u)?
False
Let s(u) = -u**3 - 2*u**2 + 1. Let y be s(-3). Let l = y - 7. Suppose -w + l*w = o + 136, 0 = -o - 4. Is 22 a factor of w?
True
Let r = 82 + 55. Is r a multiple of 9?
False
Let w = -1443 - -1821. Does 7 divide w?
True
Let j(q) = q**3 + 9*q**2 - 3*q - 17. Let n be j(-9). Suppose -24 = -k - n. Is 14 a factor of k?
True
Let d = -68 - -34. Let v be d/((-1)/((-6)/(-4))). Suppose 3*m = v - 9. Is 7 a factor of m?
True
Let z(g) = -g**2 - 11*g + 20. Let c be z(-15). Let x be ((-1)/(-2))/((-4)/c). Suppose -2*r + x*r - 42 = 0. Is 6 a factor of r?
False
Let b(i) be the third derivative of i**4/6 + 2*i**3 + 90*i**2. Let s be (-19 + 1)*(-2)/3. Is 12 a factor of b(s)?
True
Let h = 50 + -29. Suppose -5*d - h = -3*y, -y + d = -d - 8. Suppose s = -3*v + 8*v - 213, 0 = -y*v + 2*s + 82. Is v a multiple of 11?
False
Suppose -6*q + 3*q = 0. Suppose 4*f + 6 - 18 = q. Suppose -169 = -5*a - m - f*m, 3*a = -2*m + 101. Does 9 divide a?
False
Let s(f) = f + 16. Suppose w - 17 = -5*l + 10, 0 = 2*l - 5*w. Is s(l) a multiple of 3?
True
Let v = 1439 + -419. Does 15 divide v?
True
Let g be ((-2)/6)/(3/(-198)). Suppose l - g = 41. Is 21 a factor of l?
True
Let l(u) = -75*u - 165. Is l(-7) a multiple of 15?
True
Suppose 11*x = 7*x + 28. Does 4 divide 105/9 + x/21?
True
Is (-2)/13 + 21066/39 a multiple of 15?
True
Let w be (-310)/(-12) - 6/(-36). Let z = -11 + w. Let j = 29 - z. Does 7 divide j?
True
Let g(p) be the first derivative of 2*p**3/3 - 3*p**2/2 - p - 8. Let k be g(-2). Suppose -3*t + 86 = -w, 2*w = -2*t - k + 57. Does 21 divide t?
False
Let i be ((-18)/(-21))/(2/(-14)). Suppose 5*k - 2*n = -7*n, 3*k + 5*n - 6 = 0. Is ((-136)/i)/((-1)/k) a multiple of 11?
False
Let t be ((-10)/50)/(2/(-20)). Is (17 - -18) + t/(-2) a multiple of 17?
True
Suppose 2*v + w - 26 = 28, 4*w = -v + 34. Suppose -p - 4*x + x = -22, x - v = -p. Does 14 divide p?
True
Suppose -4*c + 144 + 20 = -5*f, 2*f - 41 = -c. Let w = c + -61. Is 13 a factor of (66/(-5))/(6/w)?
False
Suppose -182*p = -181*p - 276. Is 3 a factor of p?
True
Let a(y) = 2*y + 5. Let s be a(-6). Let g = s + 37. Suppose 90 = 5*o + g. Is 12 a factor of o?
True
Suppose -3*d + 49 = g, -172 = -4*g - d - 3*d. Suppose -6*r - g + 160 = 0. Is r a multiple of 20?
True
Let v = 120 + -118. Suppose 94 = v*c - c. Is 6 a factor of c?
False
Suppose 0*h = -5*i - h + 364, 2*i - 152 = -2*h. Does 6 divide i?
True
Is 4 a factor of (4*1/3)/((-4)/(-186))?
False
Suppose 0*m - 5*m = -25. Suppose -3*y = -3*b + 2*b - 233, -m = -5*b. Is y a multiple of 15?
False
Suppose 3*f + 2*f = 15. Suppose -168 = -i - f*i. Is i a multiple of 14?
True
Let x(l) = 2 + 5 - 10 - 34*l. Let k be x(-2). Suppose 0*p + k = 5*p. Is 4 a factor of p?
False
Let d(x) = -x**2 - 16*x - 21. Is d(-12) a multiple of 9?
True
Let j = -45 - -53. Suppose -j*n + 1301 + 1003 = 0. Is n a multiple of 48?
True
Suppose 5*x + 217 = y, 3*x - 282 = -5*y + 663. Does 10 divide y?
False
Let q be 1/2*118 + -2. Suppose 4*x = -3 + 11. Suppose -r = -4*j - 39, 2*r + x*j = r + q. Is r a multiple of 25?
False
Is (-17880)/(-420) + (0 - (-8)/(-14)) a multiple of 21?
True
Suppose 5*p + 0 + 5 = 0, -3*g + 4*p = -4. Suppose -2*b + 5 = j, -b + 2*j + g = -15. Does 2 divide b?
False
Suppose -2*c - 3*c = 0. Suppose 6*a + 5*v = 4*a + 33, -3*a - v = -17. Suppose 5*f - a*f - 5 = c. Does 2 divide f?
False
Suppose 2*h - 3603 = -3*o, -3*o + 0*o = -5*h + 8955. Is 26 a factor of h?
True
Does 53 divide 34/(90/(-23) - -4)?
False
Let s(a) = -22*a + 4. Let o be s(5). Let n = o - -153. Suppose -4*x - 5*u = -51, -3*x + n = -2*u + 4*u. Is x a multiple of 6?
False
Let v(p) = 1070*p**3 - 3*p**2 + 4*p. Does 18 divide v(1)?
False
Let o(z) be the third derivative of z**5/5 - z**4/6 + z**3/3 - 48*z**2. Is o(-4) a multiple of 21?
True
Let t(f) = 8*f + 15. Let j be t(-6). Let o = j + 36. Is 3 a factor of o?
True
Suppose 69*h - q = 70*h - 3034, 0 = -2*h + q + 6077. Does 140 divide h?
False
Let i(f) = 3*f**2 - f + 1. Let a be i(1). Let s be 0 - ((-3)/a - -1). Suppose s*n + n - 55 = 0. Is 20 a factor of n?
False
Let t be (-3)/((-3)/5) - -15. Let f(a) = -a + 62. Is f(t) a multiple of 14?
True
Suppose -l - 4*i = -0*i - 15, -18 = -2*l - 2*i. Is l a multiple of 4?
False
Let t(g) = -2*g**3 + 33*g**2 - g - 42. Does 82 divide t(14)?
False
Let c(d) = -83*d - 8. Let m(l) = 28*l + 3. Let v(a) = 4*c(a) + 11*m(a). Let j be v(-2). Let g = -30 + j. Is 19 a factor of g?
True
Suppose -32*d + 28*d + 6752 = 0. Is 12 a factor of d?
False
Suppose -4*g + 5*j - 1144 = 0, 1439 = -0*g - 5*g + 4*j. Let s = 56 - g. Suppose 0 = l + 4*k - 82, l - s = -4*l + k. Does 14 divide l?
True
Let h be 24/14 + 2/7. Suppose 