
True
Let f(o) = -o**3 + o**2 + 2. Let v be f(0). Let g = v + -6. Is -1 - g/(12/129) a multiple of 14?
True
Let j(l) = 3*l + 6. Let b be j(10). Suppose -3*o - 3*h + 45 = 0, 3*o - b = 5*h + 1. Is 7 a factor of o?
True
Is (3 - 1)/(6/327) a multiple of 22?
False
Is 10 a factor of -2 + 1 + 1 + 77?
False
Suppose 2*x = j + 189, x - 2*j + j = 97. Suppose 5*l = n + 177, 3*n + x = 3*l - 7. Is 18 a factor of l?
True
Suppose 0*i = i - 3*m - 6, 0 = -5*i + 5*m. Let u be 43/6 - i/(-18). Suppose -u*l = -3*l - 112. Is l a multiple of 12?
False
Let y(q) = 2*q + 12 - 3*q + 0*q. Suppose -k = 4*z + 6, -4*k + 16 = -2*z - 14. Is 4 a factor of y(k)?
False
Let u(f) = -f**3 - 3*f**2 - 2*f - 2. Let v be u(-3). Suppose 29 = -v*x + 13. Is x/(3/2 - 2) a multiple of 8?
True
Let f(d) = d**3 - 18*d**2 + 8*d + 10. Let i(y) = y**2 + y + 1. Let b(n) = f(n) + 5*i(n). Is b(12) a multiple of 9?
True
Let i = 266 + -181. Suppose 2*w + i = 7*w. Is 6 a factor of w?
False
Let g(n) = 9*n**2 + 4*n + 4. Is g(-2) a multiple of 10?
False
Let g(u) be the first derivative of -u**6/120 - 3*u**5/20 - 3*u**4/8 + 7*u**3/6 + u**2 - 1. Let s(q) be the second derivative of g(q). Is 15 a factor of s(-8)?
True
Suppose 0 = -5*z + 25, -4*x - 35 = -5*z - 90. Is x a multiple of 9?
False
Let z(m) = 9*m**2 - m**2 + 2 + 3*m + 2*m**2 - 5 - m**3. Does 9 divide z(10)?
True
Let w = -13 - -5. Let s = 14 + w. Let b(r) = 6*r - 9. Does 9 divide b(s)?
True
Suppose -2*l = -6*l + 76. Let s be 3/(3/2) - -2. Suppose s*x - 2*t = 68, x - l = -2*t + 3*t. Is x a multiple of 15?
True
Let k = -228 - -118. Let n(t) = t**2 + 5*t - 1. Let j be n(-6). Does 18 divide k/(-4) - j/(-10)?
False
Let k(m) = -m**2 + 10*m + 2. Let l be k(10). Let h be 1 + (l + -3)/(-1). Suppose -b + h*b - 23 = 0. Is 8 a factor of b?
False
Suppose -4*t + 3*t - 2*m = -244, 3*m = 5*t - 1285. Is t a multiple of 40?
False
Let z = 30 - 21. Is 3*(2 + 15/z) a multiple of 6?
False
Let x(s) = -s + 5. Is 17 a factor of x(-12)?
True
Let y(k) = -2*k + 14. Is y(-5) a multiple of 10?
False
Suppose -u + 16 = 3*u. Suppose 3*k + 492 = u*x - k, 2*k + 2 = 0. Is x a multiple of 29?
False
Suppose 8*u - 3*u - 4*q = 158, -5*u + 146 = 2*q. Is u a multiple of 3?
True
Let k(m) = 71*m**3 + 6*m**2 - 3*m + 8. Let d(u) = -47*u**3 - 4*u**2 + 2*u - 5. Let z(j) = -8*d(j) - 5*k(j). Is 11 a factor of z(1)?
True
Suppose -d = -5*d + 20, 4*y = -d - 23. Let v be ((-2)/(-6))/((-3)/(-117)). Let r = y + v. Is 3 a factor of r?
True
Suppose -19*i - 114 = -25*i. Is 19 a factor of i?
True
Suppose -9 = 5*s - 24. Let d = 8 - s. Does 4 divide d?
False
Let d be (-1)/3 + (-13)/(-3). Let v = d - -6. Is v a multiple of 10?
True
Is 10 a factor of 8/5*250/20?
True
Let i(y) be the second derivative of -y**3/6 + 5*y**2/2 + 4*y. Does 3 divide i(-4)?
True
Let b(m) = m**2 - 6*m + 6. Does 13 divide b(12)?
True
Suppose -8*m + 6*m + 52 = 0. Let g be 1566/39 + (-4)/m. Suppose -4*z = 4*a - 18 - 146, 2*z - g = -a. Is 11 a factor of a?
False
Suppose 3*z + 3*n - 6 = 0, -3*z + 6*z - 18 = 3*n. Suppose 4*g = g + z*l + 86, -4*g + 144 = 2*l. Is 17 a factor of g?
True
Let y = 1 - 3. Let x be 295/(-15) - y/(-6). Does 13 divide x/(-12)*21/1?
False
Let k(n) = n**3 + 14*n**2 + 14*n + 17. Let z be k(-13). Suppose -5*t + a = -101 - 41, 0 = z*t - a - 114. Is t a multiple of 7?
True
Does 8 divide 3 + 1*170/2?
True
Let m(i) be the second derivative of -11*i**5/120 + i**4/12 - i**3/3 + 2*i. Let q(w) be the second derivative of m(w). Is 16 a factor of q(-3)?
False
Suppose -12*r + 17*r - 315 = 0. Is 14 a factor of r?
False
Let b = 24 - 17. Is b a multiple of 7?
True
Let m = 254 + -181. Does 16 divide m?
False
Let p = 57 + -19. Suppose -i - 16 = -5*t, -4*t + 3*i + i = 0. Suppose 4*w - 124 = 4*o, p = t*w + 5*o - 41. Does 13 divide w?
True
Is 11 a factor of 25 - (-3 - 12/(-2))?
True
Let x = -7 + 12. Suppose -3*h + 5*i = -166, -x*h - 3*i + 302 = -5*i. Does 20 divide h?
False
Suppose -4*v = -4 - 56. Is 5 a factor of v?
True
Let s = 47 + 41. Is s a multiple of 23?
False
Is (6/(-9))/((-1)/48) a multiple of 8?
True
Suppose n - 160 = -4*n. Does 16 divide n?
True
Suppose -4*m + 8 = -24. Let o(l) = l - 3. Let k be o(m). Is 7 a factor of 69/k - (-2)/10?
True
Let f(r) = 16*r**2 - 6*r + 4. Let o be f(3). Suppose -4*l + 6*l = o. Is 18 a factor of l?
False
Let u be -2 + (1 - -1) - -2. Suppose 4*n - x = 2*x - 45, u*n - 2*x + 24 = 0. Let o(c) = c**2 + 8*c + 1. Is 5 a factor of o(n)?
True
Suppose 4*z - 42 = 238. Is 870/z - 6/14 a multiple of 4?
True
Let r = 349 + -193. Suppose 0 = -4*t + t + r. Does 18 divide t?
False
Let m = -5 - -5. Let g = m + 4. Suppose -2*n = d - 43, 2*n + 40 = g*n + 2*d. Is n a multiple of 9?
False
Suppose 0 = -y + 3*t - 17, 2*t = 2*y + 4*t - 6. Does 14 divide (56/(-10))/(y/10)?
True
Let b(n) = n + 2. Let t be b(-5). Let w = -3 - t. Suppose 0 = 3*j - w*j - 42. Is j a multiple of 14?
True
Let n(g) = g**2 + 1. Let h(v) = -5*v**2 + 5*v - 11. Let a(k) = h(k) + 6*n(k). Let o be a(-5). Is ((-20)/(-6))/(o/(-15)) a multiple of 5?
True
Suppose 5*f - 107 = 3*q, -2*f + 4*q + 11 = -43. Is f a multiple of 8?
False
Let j be 0/(5 + -3 - 1). Suppose -5*p + 39 = 2*f, j*f + 2*p = f + 3. Does 2 divide f?
False
Let z = 9 - -85. Does 14 divide z?
False
Suppose k - 4*k - 16 = -2*y, -y = -4*k - 18. Suppose y*x + x = 180. Let q = x + -29. Does 18 divide q?
False
Suppose -2*w + 19 + 39 = 0. Suppose 2*a - 111 + w = 0. Does 11 divide a?
False
Let p(o) = -o + 2. Let b(g) = 2*g - 4. Let i(j) = 4*b(j) + 9*p(j). Let s be i(-8). Let u = 14 - s. Does 2 divide u?
True
Let m(b) = 2*b**2 - 2*b + 9. Does 12 divide m(6)?
False
Is (-1)/(10/(-356)) - (-28)/70 a multiple of 21?
False
Let w be 109/6 - (-1)/(-6). Suppose -2*v + 3*t = v - w, -4*v + 30 = 2*t. Does 2 divide v?
False
Let d(r) = -7*r. Let m be d(-10). Suppose -290 = -5*u - 5*n, 5*u + m = 3*n + 320. Is 15 a factor of u?
False
Let z(j) be the first derivative of -j**4/12 - 11*j**3/6 - 5*j**2 + j - 1. Let p(i) be the first derivative of z(i). Is p(-9) a multiple of 4?
True
Is 63/4*16/3 a multiple of 12?
True
Is 36 a factor of (5 - 53)*3/(-4)?
True
Let l(y) = 9*y - 3. Is l(3) a multiple of 15?
False
Let y(a) = a + 1. Let f be y(-6). Is (-4)/(-3)*(-2 - f) even?
True
Suppose -4*d = -4*a - 840, 4*a = -0 + 16. Suppose d - 34 = 3*n. Does 20 divide n?
True
Does 38 divide 19*4 - 0/11?
True
Let y = 22 + -15. Does 3 divide y?
False
Let d(z) = -z**3 - 6*z**2 - 7*z - 2. Let h be d(-4). Is 24 a factor of (24 + -6)/(h/(-32))?
True
Suppose 2*v - 32 = -4*m, -2*m - 2*v + 24 = -5*v. Suppose -2 = -2*s + 28. Suppose 3*t = -m, -p - 4*t - 1 = -s. Does 13 divide p?
True
Let v = 23 + -18. Is ((-40)/v)/((-2)/6) a multiple of 24?
True
Suppose 4 = t + 3*c + 9, 0 = c + 3. Suppose -f = 5*g - 28, -f - 3*g + 30 = t*f. Let o = 25 - f. Is 11 a factor of o?
True
Suppose 3*h - 2 = h, 12 = o + 4*h. Suppose -2 = -4*c + 5*q - 3*q, o = c + 2*q. Is ((-1)/(-2))/(c/112) a multiple of 12?
False
Let a = 8 - 6. Suppose 0 = -a*g - 0 + 12. Is g a multiple of 3?
True
Let g(f) = f**3 - f**2 + 6*f. Does 8 divide g(3)?
False
Let j be (0 - -2) + -26 - 2. Let p = 42 + j. Is p a multiple of 8?
True
Let s = 112 - -18. Does 13 divide s?
True
Let z(v) = -v**2 - 2*v + 3. Let n be z(-3). Suppose 2*t - 4*t + 30 = n. Is t a multiple of 8?
False
Let p be (0 - 42/9)*-3. Suppose 44 = 2*a + 5*q - p, 0 = -q. Suppose 0 = -n - 12 + a. Does 7 divide n?
False
Let b be 1*1*(0 + -59). Let n = 97 + b. Let h = -12 + n. Is h a multiple of 13?
True
Suppose 2*o = -22 + 128. Does 12 divide o?
False
Suppose -2*d = 2*d. Suppose 5*u - 17 - 8 = -f, d = -5*f + 3*u - 15. Suppose f = -i + 2*l - 5, -4*l = -4*i - 0*l. Does 5 divide i?
True
Let h = 4 - -30. Is h a multiple of 17?
True
Let o = -10 - -4. Let r(t) = 2*t**2 + 3*t - 9. Is r(o) a multiple of 11?
False
Let h be (2 - (-36)/1) + 0. Suppose k + 4*q = 4, k = 5*k + 5*q - h. Is k a multiple of 12?
True
Let r(v) be the third derivative of -v**6/30 - v**5/60 - v**4/12 - v**3/6 + 2*v**2. Let p be r(-1). Suppose 13 + 63 = p*j. Does 9 divide j?
False
Let m(v) = 2*v**3 + 2*v - 1. Let u be m(1). Suppose -4*j = -2*j - 3*w - 6, -20 = -u*j - w. Let h = 12 + j. Is 9 a factor of h?
True
Let k = -19 - -92. Does 17 divide k?
False
Suppose c - 2*c + 8 = 3*w, -w + 6 = -3*c. Suppose -p - 5*h + 11 + 12 = 0, -w*h = -2*p + 7. Is (-5 - 0)*p/(-20) a multiple of 2?
True
