 w**3/2 + w**2/2 - 4. Let g(m) be the second derivative of d(m). Does 11 divide g(3)?
False
Suppose z + 342 = 54. Let r = z - 84. Is 13 a factor of (r/(-18))/(1/3)?
False
Let o(h) = 42 - h + 5 + 22. Does 9 divide o(0)?
False
Suppose 5*q + 22 - 2 = 0. Let b be (-1140)/(-70) + q/14. Let k = 46 - b. Is 15 a factor of k?
True
Suppose -o = o - 142. Suppose o = m + 23. Is 12 a factor of m?
True
Let v be (-4)/14 - ((-3965)/35 + -2). Suppose 0 = -a - 0 + v. Does 23 divide a?
True
Suppose 4*n - 1758 = 2*t, 9*t + 882 = 2*n + 11*t. Is n a multiple of 22?
True
Does 7 divide -4 + (-106)/(-3) - (-3)/(-9)?
False
Let g(t) = -2*t + 10. Suppose 3*h - 3*y = 2 + 7, -2*h = -4*y - 2. Let c be g(h). Suppose c = 4*k + 5*x - 89, -8 + 153 = 5*k - 5*x. Is 12 a factor of k?
False
Suppose -768 - 22 = -10*a. Is 4 a factor of a?
False
Let s = 108 + -60. Is s a multiple of 8?
True
Let x = -555 - -549. Let t(p) = -7*p - 8*p + 5*p + 20. Does 20 divide t(x)?
True
Let n(z) = 9*z**2 + 25*z - 3. Let v(l) = -l**2 - 1. Let m(y) = n(y) + 5*v(y). Is m(-11) a multiple of 32?
False
Let c(r) = 153*r - 2. Does 5 divide c(1)?
False
Suppose 94*g - 101*g = -14210. Is 35 a factor of g?
True
Suppose -17*h + 335 = -1705. Does 4 divide h?
True
Suppose 0 = 217*m - 221*m + 1352. Is m a multiple of 26?
True
Let a = 667 - 558. Is a a multiple of 11?
False
Let f = 13 - 11. Suppose -2*z - z + 248 = -4*y, -2*z + f*y = -162. Does 19 divide z?
True
Suppose 1 = 4*i + 5. Let m(x) = -19*x - 4. Let o(n) = -18*n - 5. Let p(j) = 5*m(j) - 4*o(j). Is p(i) a multiple of 11?
False
Let p = -10 - -15. Suppose -p*n = 2*o - 75 + 27, o - 24 = -3*n. Is (-6)/o + 154/8 a multiple of 19?
True
Let y = 256 + -63. Suppose 0 = 2*c - 5*j - 421, c - y = 3*j - 4*j. Is 9 a factor of c?
True
Suppose 4*y = 5*y - 616. Is 22 a factor of y?
True
Suppose k + 2*m + 345 = 95, -5*k - 1214 = m. Let t = 171 + k. Let d = t + 119. Does 19 divide d?
False
Let i(u) = -2*u + 26. Let f be i(13). Suppose m + 5*j = 0, -4*m - 4*j + 30 + 2 = f. Does 10 divide m?
True
Let o(v) = v**2 + 20. Let c be o(0). Suppose n - 2 = -c. Let s = n - -30. Is 6 a factor of s?
True
Let o(n) = -n**3 + 24*n**2 + 15*n + 107. Does 18 divide o(17)?
False
Suppose 0 = -4*f + 3*f, 0 = 5*o - 4*f - 135. Suppose -u = -2*s - o, 7*u - 3*s = 2*u + 107. Is u a multiple of 13?
False
Let n(c) = -c**2 + 7*c + 1. Let f be n(7). Let z be (-3 + 2)/(f/(-4)). Suppose z*i = -4*u - u + 7, -3*u - 55 = -5*i. Is 2 a factor of i?
True
Does 2 divide (-1)/2 + (-452)/(-8) + -2?
True
Suppose 3*t - 8980 = -5*b, 383*t - b - 8968 = 380*t. Is 26 a factor of t?
True
Let j be (-224)/2*3/(-3). Suppose 0 = -2*d - 2*d + j. Is d a multiple of 14?
True
Let d(h) = -37*h - 16. Does 56 divide d(-8)?
True
Suppose -2*h = -329 + 43. Is h a multiple of 13?
True
Let d be 4/20 + 45/25. Suppose 4*h - 2*t - 4 = -6*t, 3*h + d*t = 5. Suppose -k = h*x - 30, -x + k = 3*x - 40. Is 5 a factor of x?
True
Let s(b) = 94*b - 367. Is s(9) a multiple of 61?
False
Suppose 275 = -4*o - 365. Let t = o - -298. Is 46 a factor of t?
True
Let i(o) = 3*o - 7. Let f be (-10)/(-20) - 30/(-4). Let t be i(f). Suppose t = -y + 43. Is 24 a factor of y?
False
Suppose 3*x = -2*i + 339, -2*i - 95 + 410 = -5*x. Suppose -3*n + i + 399 = 0. Is 21 a factor of n?
False
Suppose 1269 - 1297 = -2*i. Is i a multiple of 2?
True
Is 28 a factor of (-10)/(-1*20/168)*10?
True
Let k(r) = r**2 - 2*r - 2. Let v = 7 + -13. Let j be k(v). Suppose 1 - j = -3*t. Does 7 divide t?
False
Let o(s) = -252*s - 12. Let v be o(-3). Suppose 64 = -4*g + v. Is 34 a factor of g?
True
Suppose 2*a - 15 = -2*i + 7, -25 = 5*i. Suppose -4*y = -3*s + 270, s = 4*y + a + 74. Is s a multiple of 12?
False
Let x(u) = -2*u**2 - 2*u + 29. Let s = 9 + -9. Does 4 divide x(s)?
False
Let u(j) = j + 5. Let p be 5/2*18/5. Is 6 a factor of u(p)?
False
Suppose -15 = 2*u - 3. Let a(n) = -9*n - 10. Is a(u) a multiple of 9?
False
Let n(u) = 7 + 33*u - 37*u - 17. Let z be n(-9). Let x = z - 12. Is 14 a factor of x?
True
Let a be (-1 - 2)/1 - -67. Let c = 187 - a. Suppose 4*z = -5*s + c, -8*s + 3*s + 132 = z. Does 8 divide s?
False
Let c(a) = a**2 - 5*a + 46. Is c(6) a multiple of 11?
False
Let x(j) = 219*j - 324. Is 14 a factor of x(9)?
False
Let z = -78 + 78. Suppose z = -0*l - 6*l + 378. Does 5 divide l?
False
Suppose 211 - 1195 = 12*k. Let t = -70 - k. Does 12 divide t?
True
Suppose a - 1039 = -5*f, 829 = -2*f + 6*f + 3*a. Is f a multiple of 13?
True
Let r(l) = l**2 + 6*l + 5. Let p be r(-6). Suppose -4*g = -9*g, p*z - 360 = -2*g. Suppose -2*m + 2*u + z = -2*u, -5*u - 147 = -4*m. Is 19 a factor of m?
True
Suppose -18*u - 277 = -4957. Is u a multiple of 5?
True
Suppose -5*f = -3*n + 21, -7*n + 2*n = 3*f - 1. Does 10 divide f + 4/(8/194) + -4?
True
Let z = -2 + 0. Let h be (z - (-9 - -2))*1. Suppose -5*f + 58 = -5*y + 3, h*y - 25 = -3*f. Does 3 divide f?
False
Let s(l) = -27*l - 12. Let t be s(-2). Suppose -3*f + 114 = t. Is 6 a factor of f?
True
Suppose -4*w + 7*w + 546 = 3*i, 3*i - 538 = w. Is i even?
True
Let z(i) = 130*i**2 - i + 1. Let c be z(1). Suppose -2*f + 4*f = -3*v + 87, 3*f + 5*v - c = 0. Suppose 0 = -0*a - a + f. Is a a multiple of 9?
True
Is 10 a factor of 3/9 + 6208/24?
False
Suppose 4*b = 3*y + 2223, 3*y = 3*b + 4*y - 1677. Is b a multiple of 18?
True
Let q(y) = 5*y**2 - 15*y - 6. Is q(-14) a multiple of 16?
True
Suppose 2*y - y = 818. Let o = y + -474. Suppose 3*j - o + 68 = 0. Is 23 a factor of j?
True
Let f(o) = -2*o - 3*o**2 + 2*o**2 + 4*o - o**3. Let q be f(3). Does 10 divide (-24)/(-10)*(-800)/q?
False
Let w(c) = -c**3 + 6*c**2 + 3*c + 30. Let d be w(7). Let p(g) = 52*g**2 - g - 3. Is p(d) a multiple of 29?
True
Suppose 9*x - 11 - 25 = 0. Suppose 3*s = 5*i + 42, s + 10 = -x*i + 24. Is s a multiple of 3?
False
Let v(d) = -d**3 - 47*d**2 + 43*d - 36. Let w be v(-48). Let x be 2/(-5) - (-418)/(-5). Let b = x + w. Does 40 divide b?
True
Suppose 5*f - 10*x + 12*x - 30 = 0, 4*x = 3*f + 8. Is 39*(26/6 - f) a multiple of 13?
True
Let v(d) = -d**2 - d - 3. Let s be v(9). Let w = -55 - s. Suppose -70 - w = -4*h. Is 9 a factor of h?
True
Suppose -813*a = -831*a + 792. Is 2 a factor of a?
True
Let j(p) = -p**2 + 1. Let h be j(2). Let o be h*12/(-9) + -1. Does 16 divide -19*(o - -2)/(-5)?
False
Suppose -3863 = -15*h + 23437. Is 65 a factor of h?
True
Let o(r) = -7*r + 111. Does 22 divide o(-14)?
False
Let g(s) = 4*s**2 - 19*s + 231. Is g(13) a multiple of 30?
True
Suppose -w = -4*w - 2*w. Suppose 92*z - 89*z - 180 = w. Does 8 divide z?
False
Let k = 36 - 35. Let n(q) = -23*q**3. Let f be n(k). Let b = -13 - f. Is b a multiple of 10?
True
Suppose -5*p = 4*r - 267, -p + 41 = 3*r - 8. Suppose x + p = 2*d - 36, 3*x = d - 33. Is 12 a factor of d?
True
Is 140 a factor of (-32166)/(-24)*(-12)/(-9)?
False
Suppose -j - 32 = 3*j + r, -j = r + 5. Let d = j + 57. Suppose d = -i + 4*i. Does 9 divide i?
False
Let f(j) = 2*j + 5. Let s be f(-15). Is (1 + s)/((-36)/24) a multiple of 6?
False
Suppose -3*y - 3*f - 53 = -254, 118 = 2*y - 2*f. Is y a multiple of 9?
True
Suppose 6*f = 2*f - 68. Let j = f - 1. Let a = j + 26. Is 4 a factor of a?
True
Let r = -2 - -6. Let w be 4/(-32)*-6*r. Suppose 3*n + 3 + 1 = -u, 12 = w*u + 3*n. Is u a multiple of 4?
True
Let n = 180 + -115. Does 3 divide n?
False
Let s be (36*1)/(3/10). Suppose 5*a = 3*z + 2*z + s, z + 80 = 3*a. Does 10 divide a?
False
Is 4663 + 1 - (2 - 0) a multiple of 126?
True
Let h(k) be the first derivative of 2*k**3/3 + 2*k**2 - 6*k + 1. Let q(u) be the first derivative of h(u). Is q(3) a multiple of 11?
False
Let h = -75 + 201. Is h a multiple of 63?
True
Let o = -527 + 967. Is o a multiple of 10?
True
Suppose 24594 = 14*l - 44272. Does 25 divide l?
False
Suppose -q = -4*q + w + 247, 0 = w + 4. Is q a multiple of 10?
False
Let l(v) = 5*v**2 - 23*v - 46. Does 14 divide l(9)?
False
Let o = 97 + 16. Does 30 divide o?
False
Let k be (0 + -6)*1/3. Let a(j) = j**2 + 5*j + 1. Let m be a(k). Is 2 a factor of 1/3 + m/(-3)?
True
Let i(y) = 430*y - 232. Is 13 a factor of i(5)?
False
Let m(i) = i**2 + 2*i - 11. Let t be m(-5). Suppose o - 5*k = 19, -t*o + 37 = -o - 5*k. Does 9 divide o?
True
Let w be (4 + (50 - -3))/((-1)/(-2)). Suppose 212 = 4*g - 2*p, -p - 2*p - w = -2*g. Is 14 a factor of g?
False
Suppose g - 24 = 3*g. Is (-410)/g + (-44)/(-24) + -2 a multiple o