s 15 a factor of o(u)?
True
Suppose 4*v = 3*v - 2. Let p be 1/4*6*v. Let d(s) = s**3 + 4*s**2 - 4. Is d(p) a multiple of 2?
False
Let f be (4 + 24/(-20))/(2/10). Is 9 a factor of 8/(((-1)/f)/((-4)/8))?
False
Let b(k) = -k**2 + 30*k + 48. Does 8 divide b(22)?
True
Let x = 35 - 32. Suppose -9 = u - 3*y - 0, -5*u = 3*y - 27. Is 2 a factor of (x - 0 - u) + 4?
True
Let v be -1*3*7/21. Let n be ((-2)/2)/(v/36). Is 9 a factor of 908/n + (-2)/9?
False
Suppose -13*g + 655 = -1243. Is g a multiple of 46?
False
Let h(d) = -24*d + 4. Let m be h(-3). Suppose i - m = -i. Is 14 a factor of i?
False
Let j(k) = -k**3 - 2*k**2 + 3*k - 3. Let n(c) = 2*c - 3*c**3 - 7 - 1 + 0*c**2 + 6*c - 7*c**2. Let s(w) = 11*j(w) - 4*n(w). Is 8 a factor of s(-5)?
False
Let g(m) = 16*m - 83. Does 4 divide g(28)?
False
Let w(l) = -13*l + 1. Let q be w(-4). Suppose 4*v - 122 = 178. Let z = v - q. Is 22 a factor of z?
True
Suppose -3*y - 5*r + 3*r + 12 = 0, 2*y - 9 = -r. Suppose -3*t + 630 = -6*t. Is (y/5)/((-9)/t) a multiple of 14?
True
Let j be 411*-1 + (-56)/14. Let l = -235 - j. Is l a multiple of 18?
True
Let a = 166 + -157. Is (1 - 0)*(a + 46) a multiple of 13?
False
Let w(r) = -r**2 - 6*r + 40. Let v be w(-10). Let c = 4 - -1. Suppose s - c*l - 59 = v, 48 = 4*s - 5*l - 218. Does 23 divide s?
True
Let r(p) = -p + 10. Let a(h) = h**3 - h**2 - 4*h + 1. Let j be a(3). Let m be r(j). Suppose -2*t - 9 = 2*k - 39, -35 = -2*t + m*k. Is 8 a factor of t?
True
Let f be (-44)/(-198) + (-16)/(-9). Suppose 3*t = n + 671, f*t + 4*n - 450 = 2*n. Is t a multiple of 28?
True
Suppose 0 = -3*l - 4*u + 8146, 2*l + 550 = 2*u + 5990. Is l a multiple of 48?
False
Let n(g) = g**2 - 17*g + 764. Does 7 divide n(0)?
False
Let k = 49 + 228. Does 30 divide k?
False
Suppose -29*r = -31*r + 1298. Is r a multiple of 59?
True
Suppose 6*b - 22 - 26 = 0. Suppose -b*h = -12*h. Suppose h = -z - u - 1 + 11, 0 = -u + 5. Is z even?
False
Let j(w) = -413*w. Is j(-1) a multiple of 14?
False
Let c = 955 + -475. Is c a multiple of 48?
True
Let a be -1 + -1 - (-84)/4. Suppose -51 - a = -5*k. Suppose 2*r - k = 6. Is r a multiple of 10?
True
Let x(y) = y**2 + 2. Let s be x(-2). Suppose 7*k = s*k + 4. Let h = k + 50. Is h a multiple of 25?
False
Let c = 116 - 79. Let h = c + 12. Suppose -5*v + 77 = -3*w - h, -3*v - 4*w = -64. Does 6 divide v?
True
Is 3 a factor of 16/(-2 - -6) + (0 - -35)?
True
Suppose 46*k - 95*k = -88200. Is 60 a factor of k?
True
Let j(q) = 11*q**3 - q**2 + 2. Suppose 0*u - 4*u - 8 = 0. Let a be j(u). Let g = -54 - a. Is 18 a factor of g?
True
Let k(j) be the second derivative of j**7/840 + j**6/72 + j**5/40 - j**4/12 - j**3/2 - 6*j. Let n(v) be the second derivative of k(v). Is 3 a factor of n(-3)?
False
Is 780/18*(9 + 84) a multiple of 26?
True
Suppose -4*d + h + 179 = -2*d, -5*d - 3*h = -431. Let b(y) = 2*y - 3. Let s be b(4). Suppose -s*f + d = -7. Is 7 a factor of f?
False
Let q(k) = -2*k**3 - 13*k**2 - 13*k. Is 10 a factor of q(-7)?
True
Suppose 0 = -3*r - 6, x - 836 - 1712 = 3*r. Is x a multiple of 82?
True
Let t = 58 + -64. Is 28 a factor of 3*t/(-45) - 1256/(-10)?
False
Suppose -4*j = -3*j. Let w(y) = y**3 + y**2 + y - 8. Let i be w(j). Is 17 a factor of i + 58 - (0 - 1)?
True
Let d(f) = -f**3 + 0 - 1 + 7 - f + 3. Let j be d(0). Suppose -j = -2*t + 7. Does 6 divide t?
False
Suppose 2*n = 9*n - 217. Is 2 a factor of n?
False
Let n be 1*(2 + (-25)/(-2)*6). Suppose 0*c = c - n. Is c a multiple of 12?
False
Let u = -271 + 323. Is u a multiple of 4?
True
Let f(s) = -s**3 + 13*s**2 + 33*s - 17. Let x be f(15). Is (-1760)/22*x/(-10) a multiple of 16?
True
Let p(o) = 0*o - 12*o - 9*o + 14 - 2*o**2 + 5*o**2. Is p(10) a multiple of 17?
False
Suppose 2*q - 2*x + 48 = 0, 80 = -3*q - 2*x + 3*x. Let a = q + 10. Is 15 a factor of (-260)/(-78)*a/(-4)?
True
Let y = -209 + 317. Is y a multiple of 21?
False
Let q(s) = s**3 + 10*s**2 + 9*s + 8. Let r = 7 + -16. Is 7 a factor of q(r)?
False
Suppose v + 4*v - 60 = 0. Suppose 4*s - 164 = 4*d + 16, 3*d = -v. Is 41 a factor of s?
True
Let w be 24*-3 - (-3 + 0)/1. Let t = w - -287. Does 42 divide t?
False
Suppose -2*n - 28 = 2*w - 2, -3*n = -4*w - 45. Let f = -10 - w. Suppose -66 - 16 = -f*t. Is 14 a factor of t?
False
Suppose -1747 = 2*h - 5*h - 2*g, -g + 1751 = 3*h. Is h a multiple of 24?
False
Let a = 5 + -3. Suppose 0 = 2*h + u + a + 9, -3*h + 4*u - 22 = 0. Let r(g) = g**2 + 5*g - 2. Is r(h) a multiple of 4?
True
Is 63*(7 + 3)/(24/28) a multiple of 35?
True
Suppose 8 = 4*o + 4*y, 2*o + 2*y = -3*y - 2. Suppose 211 = u + o*u + 4*v, -3*u = -2*v - 131. Is 16 a factor of u?
False
Suppose -4*c + 5*l = -1944, -1936 = -9*c + 5*c + 3*l. Is c a multiple of 36?
False
Suppose 0*s - 135 = -4*s - 5*c, 2*c + 144 = 5*s. Suppose 0*y - s = 5*y. Is (-7 - y)*(-62)/2 a multiple of 10?
False
Suppose 5*g - 15015 = 7400. Does 20 divide g?
False
Let m(j) = -j**3 + 10*j**2 - 5*j + 9. Let p be m(9). Let f = p - 18. Does 2 divide f?
False
Suppose -2*o - 3*y + 204 = 0, 0 = -5*o - 0*y + 2*y + 472. Does 16 divide o?
True
Suppose -5 = 7*s - 2*s. Let l be (-1)/(s/135*1). Suppose 5*v + 7*w - 2*w = l, 0 = -2*v + 3*w + 54. Is v a multiple of 9?
True
Let s(q) = -342*q + 52. Does 23 divide s(-2)?
True
Let d(r) = r**2 + 2*r - 3. Suppose 5*h + 10 + 5 = 0. Let l be d(h). Suppose v - 3*q = -2*q + 60, l = 2*v - 3*q - 118. Is v a multiple of 15?
False
Suppose 0 = -3*n - 2 - 1. Let i be ((-1)/(-2))/(n/(-4)). Is -18*(i/(-6) - 3) a multiple of 30?
True
Suppose -3*o = 3*g - o - 14, 3*g - o - 20 = 0. Suppose g*f - 180 - 612 = 0. Does 33 divide f?
True
Let d = 19 + -20. Let y(h) = -14*h**2 - h. Let w be y(d). Let u = w - -34. Is 4 a factor of u?
False
Let q(h) = -2*h + 26. Let d be q(9). Suppose z - d*z = -161. Is 6 a factor of z?
False
Let n be 0 + 0 + (-4)/(-2). Suppose 3*z + n*z - 4*q = 36, -5*z + 35 = -5*q. Suppose 0*s + z = -4*s, 0 = 4*o - 3*s - 38. Does 6 divide o?
False
Let h(m) = -3*m**2 + 3*m - 10. Let r be h(3). Is 32 a factor of r*((2 - 1) + -3)?
False
Let u(f) be the second derivative of f**7/840 - f**6/144 - f**5/30 - 13*f**4/12 + 7*f. Let y(n) be the third derivative of u(n). Does 32 divide y(-5)?
True
Suppose y + 15 = 5*w - 8, 4*w + 4*y - 4 = 0. Is (w + -2 + 3)/1 even?
False
Let a = -946 - -1450. Is a a multiple of 14?
True
Suppose -n = x - 250, 1000 = 2*n + 2*n - 2*x. Is 50 a factor of n?
True
Suppose 18*y = 3252 + 4668. Is y a multiple of 61?
False
Let j(n) be the second derivative of 2*n - 1/20*n**5 + 3/4*n**4 + 9/2*n**2 + 0 - 1/3*n**3. Is 19 a factor of j(8)?
True
Let l(t) = 4*t**2 + 7*t - 221. Does 80 divide l(19)?
False
Let k(z) be the second derivative of z**7/1260 + z**6/240 - z**5/40 - z**4/4 - 6*z. Let a(g) be the third derivative of k(g). Is 8 a factor of a(3)?
True
Let a(u) = -u**2 + 3*u + 4. Let j be a(3). Suppose 2*i = 4*m - j, m + 2*i + 5 = 4*i. Suppose b + 2*y - 11 = 0, b - 66 = -3*b + m*y. Is b a multiple of 11?
False
Let u = -15 + 17. Let q(n) = 6*n + 4. Let k be q(u). Suppose 2*j = k + 16. Is j a multiple of 5?
False
Suppose x = n - 117, n - 2*x - 125 = 3*x. Let j = n - 52. Does 28 divide j?
False
Let y be (-1 + -8)/((-18)/(-12)). Is 4 a factor of 1/2*y - -36?
False
Let c(i) = i - 2. Let u be c(8). Let p = u - 5. Does 4 divide -1 - (-7 + (3 - p))?
True
Is 10 a factor of (-6)/(-24) + 1206/8?
False
Suppose 4*j - 2*j - 8 = 0. Suppose 12 = 3*g, j*b + 5*g = 2*b - 476. Is 4/18 + b/(-18) a multiple of 14?
True
Suppose 2*s - 9 = -7, -j + 521 = s. Is j a multiple of 40?
True
Let h(z) = -3*z**2 - 4*z + 5. Let n(u) = -7*u**2 - 8*u + 11. Let a(j) = -10*h(j) + 4*n(j). Is a(4) a multiple of 12?
False
Suppose 0 = -24*t + 23*t. Suppose 5*h + 55 - 455 = t. Is 10 a factor of h?
True
Suppose 5*t - 364 - 46 = 0. Suppose -300 = 80*p - t*p. Does 30 divide p?
True
Suppose 258*h = 238*h + 8240. Does 99 divide h?
False
Let a = -460 - -799. Suppose -2*h = h - a. Suppose 0 = -4*g + f - 2*f + h, 5*g - 110 = 5*f. Is 17 a factor of g?
False
Let r(t) = t**3 - 8*t**2 + 2*t + 6. Let m be r(6). Let d = -9 - m. Is d a multiple of 15?
True
Let p(o) = -o**3 + 7*o**2 - 21. Is 5 a factor of p(6)?
True
Let s = 4 - 4. Suppose f + 4*f - 15 = s. Suppose f*m - 132 = -0*m. Is 9 a factor of m?
False
Let q(a) = -2*a**2 + 16*a + 5. Is 3 a factor of q(8)?
False
Let y(k) = k**3 - 24*k**2 + 49*k - 22. Is 14 a factor of y(22)?
F