 Does 13 divide g?
False
Let s(o) = 5*o**2 - 7. Let m be s(6). Let c(n) = 2*n**3 - 11*n**2 + 6*n - 4. Let w be c(7). Suppose b = -5*x + 6*b + w, -4*x + m = b. Does 14 divide x?
True
Does 3 divide (6 - 14)/24 + (-158)/(-6)?
False
Let b(i) = i**2 + 39. Suppose 7*o - 5*o - 2*t - 6 = 0, -t - 17 = -3*o. Does 12 divide b(o)?
False
Let o = -22 - -29. Suppose o*j = -0*j + 147. Is 8 a factor of j?
False
Suppose 16*s - 90 = 19*s. Let i be ((-130)/(-15))/((-4)/s). Suppose 11 = -3*a + i. Is a a multiple of 9?
True
Let j(d) = 2*d**2 + d. Let v be j(4). Suppose -7*g = -8*g + v. Is g a multiple of 9?
True
Let l = 0 - 15. Let n be (l/(-25))/((-1)/(-5)). Suppose -15 = n*x, -p + 0*x + 60 = -x. Is 13 a factor of p?
False
Let s = 39 + -46. Let o(k) = -13*k + 10. Let i be o(s). Suppose -2*a + i = -5*b, a = 2*b - 7*b + 13. Does 19 divide a?
True
Suppose -12 = -k - 20. Let j be -70*2*(-4)/k. Is j/(-6) - 5/(-15) a multiple of 4?
True
Suppose 18522 = -5*d + 14*d. Is 6 a factor of d?
True
Let i = 42 + -47. Let q(k) = k**2 + 2*k + 1. Is 4 a factor of q(i)?
True
Suppose 0 = -4*n - 2*p + 624, 2*p = -5*n + 1038 - 258. Is 3 a factor of n?
True
Let p(d) = -4*d**2 - 43*d - 13. Let o(t) = 2*t**2 + 21*t + 7. Let u(j) = 9*o(j) + 4*p(j). Let g be u(-8). Is g + 0 + 2 - 0 even?
False
Let b(s) be the first derivative of s**4/4 + 4*s**3 + 4*s**2 - 27*s - 2. Suppose -4*z + 9 = -5*z + 2*c, 3*z = -c - 34. Does 4 divide b(z)?
False
Is 12 a factor of 1 + 3 - 2*(-4 - 78)?
True
Let r(d) = -9*d - 11. Let j(n) = 6 - 2 - 2*n - 6. Let x be j(4). Is r(x) a multiple of 35?
False
Let c = 10460 - 7366. Does 38 divide c?
False
Let c = 279 + -142. Let i = -105 + c. Is 13 a factor of i?
False
Suppose 13*f - 1332 = -461. Is 9 a factor of f?
False
Let i = 309 + -153. Suppose 3 = -4*v - 13, -5*k + i = v. Is k a multiple of 8?
True
Suppose -d = -3*t + 6, t = 5*d + 3*t - 21. Is 3/d + (3 - -14) a multiple of 18?
True
Let v(p) = 3*p + 128. Does 20 divide v(-16)?
True
Suppose 512*i - 498*i = 28826. Is i a multiple of 71?
True
Let v = 24 + -23. Suppose v = i - 2. Suppose -12 = -i*u + 3. Is 4 a factor of u?
False
Let n(f) = f**3 - 9*f**2 + 2*f - 14. Let t be n(7). Suppose -2*g + 5*b = -3*g - 15, 3*g + 3*b - 3 = 0. Is 5 a factor of (-12)/(-30) - t/g?
True
Let f(a) = 2*a**2 - 2*a + 1. Let h be f(2). Suppose -h*u - 3*x + 123 = 0, -100 = -5*u + u - 2*x. Is 9 a factor of u?
True
Let q(x) = x**3 - 2*x**2 - 4. Let h be q(3). Suppose 0 = 4*a - 0*a - 4*r, 2*a - r = 2. Suppose -h*t + 2*s + a*s = -268, -3*t - s = -171. Is t a multiple of 18?
False
Suppose -14*r = 348 - 124. Let h = 111 + r. Is h a multiple of 19?
True
Let j be (-12)/42 - 4/(-14). Suppose -2*x + 244 = 4*g, j*g = 3*g - 3*x - 201. Is 13 a factor of g?
False
Let v(o) = o**2 + 12*o + 28. Let q be v(-8). Does 20 divide (4 - q)/((-3)/(-45))?
True
Suppose 3*u - i - 1565 = 1917, 3*i + 5802 = 5*u. Does 43 divide u?
True
Is 10 a factor of (-12)/(-3)*(-40)/(-16)*35?
True
Suppose 20*q - 3113 = 1087. Is 23 a factor of q?
False
Let l(t) be the second derivative of -t**3/6 - 15*t**2/2 - t. Let p be l(-17). Suppose b - p*b + 21 = 0. Is b a multiple of 7?
True
Let v = 100 - 237. Does 5 divide (-4)/30*3 + v/(-5)?
False
Let k(g) = -22*g - 13. Let w be k(-3). Suppose -2*a - a + 12 = 0, -5*s = -3*a - w. Does 3 divide s?
False
Let s(c) = -2*c**2 + 44*c - 11. Let u(b) = -b**2 + 22*b - 6. Let f(q) = 3*s(q) - 5*u(q). Does 9 divide f(18)?
False
Suppose 267 + 132 = 7*w. Is w a multiple of 3?
True
Let a(j) be the third derivative of -5/24*j**4 + 0*j + 6*j**2 - 1/120*j**6 + j**3 + 0 + 1/10*j**5. Is a(4) a multiple of 5?
False
Let t = 252 - 137. Let u = t + -82. Is 11 a factor of u?
True
Let u(l) = -2*l**3 + l**2 - l. Let n be u(1). Let m = n - -30. Suppose 0 = 3*b + 5*a - m, 16 = 3*b + 3*a - 8. Is b a multiple of 3?
True
Let n = 5 + 12. Suppose -17 = -2*j + n. Suppose 4*d + j = 5*x + 77, -38 = -3*d + 2*x. Is 9 a factor of d?
False
Let r be 629/136 + (-3)/(-8). Suppose -2*y = 3*o - r, -o + 0 = y - 3. Suppose -3*z + k + y*k + 40 = 0, 4*z = -k + 61. Is z a multiple of 8?
False
Let n(z) be the third derivative of -z**6/120 + 3*z**5/20 - z**4/3 - z**3 - 21*z**2. Let w = 6 + 1. Is n(w) a multiple of 18?
True
Is 21/112*4 - (-1479)/12 a multiple of 31?
True
Let s = -391 - -710. Suppose -3*t = -2*y - y - 186, -2*y = -5*t + s. Is 13 a factor of t?
True
Suppose 7*o + o = 4*o. Suppose -5*r + i + 244 - 9 = 0, 5*r + i - 245 = o. Is 12 a factor of r?
True
Let m be 2/((3 + 1)/2). Let p be ((-2)/((-1)/1))/m. Suppose -3*b = w - 9, -12 = -4*b - p*w - 0. Is b a multiple of 2?
False
Suppose -3*b - 6 = -2*b - 3*p, p + 9 = 4*b. Is 9 a factor of ((-126)/(-30))/(b/45)?
True
Let k(d) = 164*d**2 - d + 2. Let i be k(-2). Suppose -212 = -4*m + i. Is m a multiple of 11?
False
Suppose 0 = 5*b + 650 - 2415. Is b a multiple of 8?
False
Suppose -4678 - 6047 = -5*s. Does 33 divide s?
True
Suppose -9 = -3*f + k, -3*f - 4*k = -2*k. Does 5 divide (-335)/(-20) + f/8?
False
Is (-8)/(-36)*-1 - (-12640)/18 a multiple of 39?
True
Suppose f - 6 = -25. Let w(z) = 26*z. Let m be w(2). Let a = m + f. Is 33 a factor of a?
True
Suppose -5*s - 5*k + 1985 = 0, 19 - 17 = -k. Does 7 divide s?
True
Let j(i) be the second derivative of 3*i**3 - 5*i**2/2 + 9*i. Is j(2) a multiple of 9?
False
Let x be 2/(-8) - (5 - (-2474)/(-8)). Suppose 3*m + m - 4*c = x, 0 = -5*m + 2*c + 395. Is m a multiple of 27?
True
Let r(f) = -f**3 + 13*f**2 - 16*f + 18. Is r(7) a multiple of 25?
True
Let g be ((-9)/(-27))/(2/258). Suppose -48*a + 220 = -g*a. Does 23 divide a?
False
Suppose a + 10 = 2*a. Let b(o) = -o**2 + 6*o + 6. Let q be b(6). Is 27 a factor of (-1161)/(-15) + q/a?
False
Suppose -4696 = -39*d + 5093. Does 8 divide d?
False
Let y = -282 + 442. Suppose 6*l = 11*l - y. Is l a multiple of 16?
True
Let a = 2 + 1. Suppose -47 = -4*p - a*l, -3*p - 3*l - 3 = -42. Suppose p*t = 7*t + 9. Is 8 a factor of t?
False
Let w(o) = -6*o**2 - 161*o - 22. Is 14 a factor of w(-20)?
True
Let r(b) = -b**3 - 2*b**2 - b. Let a be r(-2). Suppose 9 = -a*z - 7. Let y = 14 + z. Is 6 a factor of y?
True
Let d = 1641 + -1369. Is d a multiple of 10?
False
Suppose 4*b + 3*j - 35 = 0, 0*j + 2*j - 20 = -2*b. Suppose 3*x + 15 - 4 = b*g, -3 = -g + x. Does 25 divide 38 + (-4 - (-9 + g))?
False
Suppose 16992 = 6*u + 26*u. Is u a multiple of 3?
True
Let i(s) = -3*s**2 + 14*s + 11. Let d(o) = -8*o**2 + 42*o + 32. Let k(n) = -4*d(n) + 11*i(n). Is 3 a factor of k(-12)?
False
Let q = 32 - -352. Does 6 divide q?
True
Let d = -1117 + 1677. Is d a multiple of 5?
True
Let k(n) = n**3 - 14*n**2 + 23*n + 15. Let r(d) = -5*d + 42. Let m be r(6). Does 3 divide k(m)?
True
Let o = 41 - 38. Suppose -o = -2*h + 45. Is h a multiple of 8?
True
Let o be (0/1)/(5 - 3). Suppose o = -3*b + 10 + 35. Does 3 divide b?
True
Is ((-255)/20)/(8/(-384)) a multiple of 5?
False
Let d(s) = s**2 + 0 + 2*s**2 + 9*s + 4 - 2*s**2. Is 12 a factor of d(-14)?
False
Suppose -15*p - 13*p = -28980. Does 5 divide p?
True
Let g = 14 + 3. Let n = 114 - 74. Let v = g + n. Does 19 divide v?
True
Let b(d) = -4*d**3 + 5*d**2 + 2*d - 7. Let k be b(-3). Suppose -16*m + 11*m + k = 0. Does 14 divide m?
True
Let k(l) = 40*l + 44. Is 12 a factor of k(7)?
True
Suppose 3*v + 4070 = 4*s, 0 = -3*s + 7*v - 4*v + 3054. Is 9 a factor of s?
False
Suppose -2*f - 15 = -z - 0*f, -3*z - 5*f - 10 = 0. Let k be (-4)/3*(z - 8). Suppose 0 = -5*w - k*q + 462, 5*w + 3*q - 88 = 4*w. Does 12 divide w?
False
Suppose 32*d = -13*d + 45045. Does 11 divide d?
True
Suppose 12 = 2*b - 12. Suppose 0*j + 4*j = b. Suppose 2*q = -j + 169. Does 21 divide q?
False
Let s(u) = 2*u**3 + 5*u**2 - u + 17. Is s(4) a multiple of 17?
True
Let h(s) = s**3 - 6*s**2 - 10*s - 8. Suppose -9 = -d + 2*i, -3*i = -0*i + 6. Let m = 13 - d. Is 20 a factor of h(m)?
True
Let h = -33 - -25. Is 6*(2 - (-4)/h) a multiple of 9?
True
Let r(m) = -2*m**2 + 5*m + 2. Let x be r(4). Let t(d) = -d**2 - 12*d + 13. Let z be t(x). Suppose 3*p - 154 = 2*u, -u + z = p + 2*u. Is 6 a factor of p?
True
Is 23 a factor of (-34)/119 + (9668/7)/4?
True
Suppose -3*c - 5*p + 2995 = 0, -5*p + 1990 = 4*c - 2*c. Suppose c = 4*m + 3*k, -3*k + k = 2. Does 36 divide m?
True
Is (1 - 7)/(2/((-656)/12)) a multiple of 8?
False
Let r = 16 + -16. Let y(t) = -5*t + r + 11*t**2 - 4 + 4*t + 3*t. Is 24 a factor of y(-3)?
False
Le