False
Let s(y) = -14*y - 5. Let x(g) = g**3 + 16*g**2 - 17*g - 3. Let n be x(-17). Does 25 divide s(n)?
False
Let c = 21 + -12. Suppose -4*x = -c*x + 75. Suppose 3*p - 45 = -3*i - x, -2*i = -p + 10. Does 5 divide p?
True
Let j(s) = -s**3 + 3*s**2 + 5*s - 4. Let h be j(4). Suppose 73 = 4*x + 3*o, h = -4*x + 3*o + o + 108. Is x a multiple of 8?
False
Suppose 0 = o - 3, -3*o + 108 = 2*u + u. Is 4 a factor of u?
False
Let j = -53 + 33. Let b = 28 + j. Is 8 a factor of b?
True
Let b = -84 - -114. Is 7 a factor of b?
False
Suppose p + 19 + 31 = 0. Let r = 17 - p. Does 17 divide r?
False
Suppose 4*m - 66 = 3*m. Does 11 divide m?
True
Is 2/((-6)/(-57)) + 0 a multiple of 7?
False
Let w = 20 + -14. Does 5 divide -5*w/(-1 - 1)?
True
Is 4 a factor of (-1 + 3)*2*3?
True
Let k be -3 - (1 - 3) - -893. Suppose u - 3*a = 5*u - 716, k = 5*u + 3*a. Suppose 4*i - 5*n - 256 = -80, 4*n = 4*i - u. Is 13 a factor of i?
False
Let y(c) = c**2 + 2*c - 8. Let r be y(8). Suppose o = -o + r. Is 18 a factor of o?
True
Let g(m) = 2*m**2 - 3*m + 15. Is g(-5) a multiple of 10?
True
Let l = -43 - -66. Is 15 a factor of l?
False
Let p(y) = -66*y - 64. Does 23 divide p(-9)?
False
Suppose 273 = 4*b - r + 4*r, -3*b = -4*r - 211. Does 30 divide b?
False
Suppose -c + 0*c = -15. Suppose 0 = 6*l - l - c. Is l a multiple of 3?
True
Let k(n) = n**2 - 2*n + 4. Let m be k(7). Let y(b) = -b + 10. Let t be y(5). Suppose 4*c = -3*u - c + m, 5*u - 65 = t*c. Is 7 a factor of u?
False
Let z = -50 + 205. Is 11 a factor of z?
False
Suppose p = 3*r - 0*p - 17, -16 = -4*r - 2*p. Suppose r*g - 45 = 2*g. Is 5 a factor of g?
True
Suppose 6*u - 838 = -328. Is 10 a factor of u?
False
Let x be 4*34/8*1. Suppose 3*h + 21 = m, 3*m - 16 - 31 = 5*h. Let t = x - m. Is t a multiple of 8?
True
Let r be (-4)/5*(-10)/2. Suppose 0 = r*a + 16, -5*f - 2*a = -8*f + 38. Let h = -7 + f. Does 3 divide h?
True
Let m = -271 - -402. Does 26 divide m?
False
Suppose 5*w - 584 = 3*w. Suppose 0 = -5*c + w - 2. Is c a multiple of 14?
False
Suppose -2*n = 3*n. Suppose n = d - 3*d + 90. Suppose 3*h + 2*h + 2*q = d, 45 = 5*h + 3*q. Is 9 a factor of h?
True
Let c(a) = 10*a + 9. Let o(r) = 5*r + 4. Let z(f) = 2*c(f) - 5*o(f). Is 9 a factor of z(-4)?
True
Suppose 14 = 3*h + h - 2*q, -3*h - 3*q = -6. Suppose 7*k - 2*k + 37 = 2*z, -3*k + 45 = h*z. Is z a multiple of 8?
True
Is 26 a factor of (-1)/2*-10*(-222)/(-15)?
False
Let y(s) = -s**3 - 12*s**2 - 22*s + 5. Is y(-10) a multiple of 4?
False
Let q(d) = -8*d - 6. Is q(-4) a multiple of 13?
True
Does 3 divide 6*(5 - 41)/(-6)?
True
Suppose 3*q = 3*s - 6*s, 4*s - 4*q = 16. Let g(f) = -s*f - 1 + 7*f + 5*f**2 - 4*f**2. Does 9 divide g(-7)?
False
Let w(y) = y**3 + y + 2. Let z be w(0). Suppose -5*g - 18 = -z*g. Does 11 divide ((-4)/g)/(1/30)?
False
Let y be 16 + (-1 - 0)*1. Suppose 0 = -6*h - 5*h + 121. Let w = y + h. Is 15 a factor of w?
False
Let n(r) = -r**3 + 12*r**2 + 18*r - 44. Does 7 divide n(13)?
True
Suppose -2 = 5*t - 6*t. Suppose -t*l = -48 - 4. Is 9 a factor of l?
False
Let k be (-6)/9*21/(-2). Let h(p) = p**2 - 5*p + 2. Does 8 divide h(k)?
True
Let d(j) = 3*j. Let y be d(1). Is ((-8)/y)/(-4)*63 a multiple of 18?
False
Does 5 divide ((-174)/(-8))/((-3)/(-8))?
False
Suppose 15 = -0*u + 5*u. Suppose -3*v + 4*v = 4. Suppose 2*l + 2*h - h = 37, -71 = -v*l - u*h. Is l a multiple of 10?
True
Suppose -2 = s, -6*m + m + 1347 = -s. Does 18 divide m?
False
Let u(b) = -13*b**2 - 33*b - 21. Let l(n) = -3*n**2 - 8*n - 5. Let v(a) = -9*l(a) + 2*u(a). Suppose 0 = 2*r + 3*g + 2 + 9, -4*g = -5*r - 39. Does 5 divide v(r)?
True
Let f(w) = 5*w - 7. Is f(3) a multiple of 3?
False
Let c(h) = h**3 + 2*h**2 + 1. Does 2 divide c(2)?
False
Suppose 2*d = 2*r - 0*d - 16, -5 = d. Suppose -5*w = -r*w + 24. Let h = 21 + w. Is 4 a factor of h?
False
Let v(t) = t**3 - 6*t**2 - 6*t - 2. Let s be v(7). Suppose -b + s*u = 7, -u + 5*u - 11 = -b. Suppose -5*f + 3 + 10 = p, 3*f + 75 = b*p. Does 14 divide p?
False
Let p be -3*(1 - (-21)/(-9)). Suppose 2*s = -4*j - 0*j + 2, p*j = 2*s + 22. Suppose 26 = -z + j*z. Is z a multiple of 11?
False
Let l = 5 - 11. Is 2 a factor of 12/l + 1*5?
False
Let l = 1 - -4. Suppose w = l, -9 = -3*k + 4*w + 70. Is 4/(((-12)/k)/(-2)) a multiple of 12?
False
Let p = 21 + -12. Let v = 19 - p. Does 10 divide 5/(v/4) - -20?
False
Let i(l) = 10*l**2 + l - 1. Is i(-5) a multiple of 14?
False
Let d(n) = n**3 + 1. Let c(h) = 4*h**3 + 2*h**2 - 3*h + 5. Let t(f) = -c(f) + 2*d(f). Is t(-3) a multiple of 12?
True
Let p(s) = s**2 - 4*s - 5. Let u(z) = -4*z**2 + 17*z + 21. Let n(k) = 9*p(k) + 2*u(k). Let d be n(3). Suppose d = 3*v + 2 - 8. Is 2 a factor of v?
True
Suppose -7*n + 251 - 776 = 0. Is 12/15*n/(-10) a multiple of 3?
True
Suppose f + 0*f = -1. Let s be (f + 0)*(-1 - -1). Suppose s*b - 4*b - 2*c = -46, -5*c = -b + 39. Does 5 divide b?
False
Suppose 5*f + 4*w - 98 = 298, -242 = -3*f + 2*w. Does 5 divide f?
True
Suppose 0 = -b - 3*b + 388. Is 41 a factor of b?
False
Let r(x) = -x + 4. Is 5 a factor of r(-9)?
False
Let a be (4/(-1))/((-2)/6). Suppose 3 = -j + a. Let x = j + 24. Does 11 divide x?
True
Is 10 a factor of -1 + 1 + 75 - -2?
False
Let s(p) = 53*p**2 + 2*p. Let i be s(1). Let a = 0 - 0. Suppose a = -h - 0 - 2, -i = -5*q - 5*h. Does 8 divide q?
False
Let d(k) = 7*k + 5. Let b(r) = -8*r - 6. Let i(y) = -5*b(y) - 6*d(y). Does 6 divide i(-6)?
True
Let x = -8 - -11. Suppose -x*n = -263 - 61. Is n a multiple of 33?
False
Does 2 divide -10*49/(-56) + 3/(-4)?
True
Let b = 55 + -29. Is 13 a factor of b?
True
Suppose -62 = -3*k + 58. Is k a multiple of 15?
False
Let d(s) = s + 2. Let h be d(0). Let b = 25 + -18. Let f = h + b. Is f a multiple of 5?
False
Let p be (-59)/2 + 3/2. Let a = 45 + p. Does 4 divide a?
False
Let s(q) = 93*q - 2. Is 11 a factor of s(1)?
False
Let w(f) = f**2 - 6*f + 5. Let n be w(6). Suppose -5*y = -n*s - y + 80, 0 = s - 4*y - 32. Is 4 a factor of s?
True
Let a be -3 - (-2 + 0 + -3). Suppose -3*g + 16 = -w + 81, -5*w - a*g = -274. Is 28 a factor of w?
True
Let n(y) = -y - 1. Let s(g) = 11*g + 12. Let c(h) = -18*n(h) - 2*s(h). Is c(-7) a multiple of 22?
True
Let v(w) = w**2 + 4*w + 17. Is 32 a factor of v(7)?
False
Suppose 3*d = -9 + 90. Does 9 divide d?
True
Let y(f) = -2*f. Let n be y(-2). Suppose 92 = n*v + 32. Is v a multiple of 15?
True
Let d(m) = m + 6. Let y be d(0). Suppose y*c - c = 25. Let z(k) = k. Is z(c) a multiple of 5?
True
Suppose -4*k + 18 = -2*x, 4*k + 5*x = -k + 30. Is k/(15/6 + -2) a multiple of 5?
True
Let b = -4 - -5. Does 16 divide 38 - b*(-1 - -2)?
False
Suppose -406 + 61 = -5*s. Is 23 a factor of s?
True
Let y(h) = -2*h. Let b(m) = 5*m - 1. Let s(x) = 4*b(x) + 14*y(x). Does 26 divide s(-7)?
True
Suppose 4*a - 169 = 3*l, 2*a - 5*l = 4*a - 65. Is 22 a factor of a?
False
Let b(h) = -h**2 + 5*h - 5. Let p be b(4). Let c(x) = x**3 + 2*x**2. Let v be c(p). Is 12 a factor of (0 + 3)*4/v?
True
Does 24 divide (68 - -3)*1 + 1?
True
Let b be (2 + (-2 - -16))*1. Suppose -14 = -2*q - o, -4*o - 18 = -2*q + b. Is 4 a factor of q?
False
Let w = 38 + -14. Suppose 0*u = 2*u - w. Suppose -u - 68 = -5*r. Is r a multiple of 16?
True
Let t be 1/1 - 2/(-1). Suppose 5*w = 5*m + 5 - 0, 0 = -t*m - 3*w + 21. Is (-4)/(-6) + 64/m a multiple of 11?
True
Suppose -4*h = 3*q - 50, 8 = -2*q + 6*q. Is h a multiple of 11?
True
Let o(y) = 3 - 2 + y + 4*y**2 + 1. Is 10 a factor of o(-2)?
False
Suppose 5*f + 29 = 74. Does 3 divide f?
True
Let p(z) = -2*z**2 + z**2 + z + 47 - 48 + 8*z. Is p(8) even?
False
Let t(f) = -f**2 + 5*f + 7. Let c be t(5). Let d = -5 + c. Suppose 2*q - 3*z - z + 10 = 0, -3*z = -d*q - 6. Is 2 a factor of q?
False
Let w be (-1)/1 - (-3 - 1). Suppose 2*n - 3*d - 4 - 56 = 0, w*n - 4*d - 88 = 0. Is n a multiple of 8?
True
Let l(y) be the second derivative of y**4/12 + 4*y**3/3 + 7*y**2/2 - 2*y. Let c be l(-8). Suppose 2*r - 17 = -4*d + r, -3*r = d - c. Is 2 a factor of d?
True
Suppose 12 + 10 = 2*b. Let n = -9 + b. Is (-5)/(-2) - n/4 even?
True
Let y(x) = 2*x**2 + 3*x + 2. Let w be y(-2). Suppose 0 = g - 6*g - i + 28, 0 = w*i - 12. Is 5 a factor of g?
True
Suppose 0 = 4*t + 3*z - 5, -10 = -3*t - 2*z + 6*z. Is t a multiple of 2?
True
Suppose -5*l = -r + 28, 5*r + 4*l - 40 = r. Is r a multiple of 2?
False
Suppose -4*q = -92 - 260. Does 11 divide q?
True
Let c = 827 - 