rue
Let g(s) = 6*s + 1 - 9 - 2. Let d = 280 - 271. Does 22 divide g(d)?
True
Let h(b) = 15*b + 20. Is 44 a factor of h(3)?
False
Is 27 a factor of 15397900/2700 + (-2)/(-27)?
False
Let y(g) = -3 + 11*g + 4 - 6. Is y(3) a multiple of 12?
False
Let p(n) = -n**2 + 2*n + 3. Let u be p(0). Suppose -3*k = h + 2*k - 40, 126 = 4*h + u*k. Does 6 divide h?
True
Let z be (-38*1)/(452/92 + -5). Let r = z - 226. Is 22 a factor of r?
False
Let y(c) = 9*c + 103. Is y(-3) a multiple of 7?
False
Let p = 23 + -21. Is 2 a factor of (p/6)/((-10)/(-210))?
False
Let v(k) = 22*k + 1. Let n be v(1). Let q(u) = -u**2 - 13*u - 14. Let c be q(-11). Let z = n - c. Is z a multiple of 5?
True
Is (702/8)/(1 - 39/48) a multiple of 18?
True
Suppose 0 = 5*q - 4*b - 13 - 1, 0 = -2*q - 4*b. Is ((-17)/4)/(q/(-40)) a multiple of 34?
False
Let r(g) = -g + 12. Let w = 1 - 1. Let v be r(w). Suppose -v + 1 = -f. Is 3 a factor of f?
False
Let v = -169 + 219. Does 50 divide v?
True
Let q(n) be the third derivative of n**8/10080 + n**7/560 + 7*n**6/720 + n**5/15 + 8*n**2. Let z(y) be the third derivative of q(y). Is 6 a factor of z(-7)?
True
Let b = -49 - -53. Let v(d) = -d**2 - 4*d - 2. Let h be v(-4). Let z = b - h. Does 5 divide z?
False
Let h(i) = i**3 - 28*i**2 - 34*i + 135. Is h(30) a multiple of 14?
False
Does 17 divide 5 - ((-10)/6 + (-25746)/126)?
False
Let m(d) = 103*d**2 + 45*d + 44. Is 17 a factor of m(-1)?
True
Suppose 54 = 2*m - 11*m. Is (1488/32)/(m/(-8)) a multiple of 30?
False
Let g(k) = 3*k**2 - 20*k + 21. Let x = 58 - 51. Does 18 divide g(x)?
False
Suppose 78*d - 89*d = -3872. Does 32 divide d?
True
Suppose -231*k + 6370 = -224*k. Does 26 divide k?
True
Let k be 1*-1*(-2 + -18). Suppose 3*h - k = -h. Let y(f) = 2*f - 1. Is 3 a factor of y(h)?
True
Let y(k) = -k + 4. Let t be y(4). Suppose -4*d + t*f - 3*f = 13, f - 1 = 4*d. Is (5 - -10)*(-1)/d a multiple of 8?
False
Is (0 - -4)*4446/104 a multiple of 19?
True
Suppose 2*d - 4 + 2 = 0, 3*k - 5*d = 403. Does 8 divide k?
True
Let t be (-1)/(3*(-5)/30). Suppose 0 = -5*n + g + 14, 6 = t*n - n + 3*g. Is 3 a factor of n?
True
Let f(x) = -x**2 + 1. Let w(r) = -3*r**2 + 9*r - 12. Let i(v) = -4*f(v) + w(v). Does 9 divide i(-14)?
True
Let b(m) = -6*m - 2. Let u be b(-3). Let t = 305 - 201. Suppose 4*i + 4*d = t, -3*d + u = d. Is 11 a factor of i?
True
Let y(x) = -x + 1. Let k be y(-3). Suppose 0 = 104*o - 98*o - 102. Let m = o - k. Is 2 a factor of m?
False
Let b(f) be the first derivative of -f**4/4 - f**3 + 3*f**2/2 + 4*f + 10. Is 3 a factor of b(-4)?
False
Let p = -941 + 1123. Is p a multiple of 14?
True
Suppose 1272 = 3*i + 372. Does 6 divide i?
True
Suppose -11*q - 302 = -12578. Is q a multiple of 9?
True
Suppose 178 + 494 = 4*y - 3*i, y = 3*i + 177. Is 7 a factor of y?
False
Let p = 28 - 28. Suppose p*y = 6*y - 24. Does 20 divide (-427)/(-5) - y/10?
False
Let a = 13 - 26. Let i(l) = l**2 + 11*l - 6. Let t be i(a). Is 16 a factor of (0 + t + -1)*1?
False
Suppose 18*z + 2*h - 3440 = 16*z, 15 = -3*h. Does 25 divide z?
True
Let y(b) = b**3 + 10*b**2 - 4*b - 9. Suppose 2*i - 12 = -j, 12 + 8 = 5*i. Suppose 2*a = g - 18, 0 = 2*a + g - j*g + 18. Is 30 a factor of y(a)?
False
Suppose 0 = -39*q + 35*q + 944. Does 7 divide q?
False
Let p = 42 - 47. Let o(c) = -6*c**2 + 35*c + 30. Let r(w) = -w**2 + 7*w + 6. Let g(z) = 2*o(z) - 11*r(z). Is 4 a factor of g(p)?
True
Suppose 3*w - 7099 = 4*c, -c - 3572 = -w - 1206. Does 8 divide w?
False
Let x(p) = 46*p**2 + 12*p + 7. Is 16 a factor of x(-5)?
False
Let i(f) = -f**3 - 3*f**2 + 8*f - 6. Let d be 0/((3 - 2) + -2). Suppose -5*j + 0*j - 37 = 4*l, 3*j - 3*l + 6 = d. Is 2 a factor of i(j)?
True
Is 2/1 + 184 - (-18 + 14) a multiple of 19?
True
Suppose 19340 = 44*c - 13132. Does 18 divide c?
True
Suppose -2*a = x - 8, -2*a + 5*a = 2*x + 12. Suppose -2*h + 4*c - 10 = x, -2*h - c + 30 = 3*c. Is 4 a factor of h?
False
Let z(r) be the third derivative of -r**4/24 - 7*r**3/6 + r**2. Let h be z(-7). Suppose 4*s = -2*f - h*f + 58, 0 = -4*f + 4*s + 56. Is 7 a factor of f?
False
Is 3 a factor of 6/(-21) - ((-15520)/28 - -2)?
True
Suppose 3*p - 130 = 8*p - 5*x, -4*x = -3*p - 75. Let f be 3/(-6) - 157/(-2). Let c = f + p. Does 15 divide c?
False
Let k(w) be the first derivative of w**3/3 + 2*w + 8. Let g be k(3). Suppose 3*z - 9 = 0, -3*r - g + 92 = 3*z. Is 8 a factor of r?
True
Suppose 4*r + 3*h - 3790 = 0, 5*r - 5*h - 4994 + 239 = 0. Does 16 divide r?
False
Let s be 2/(-14) - 4564/(-49). Suppose -5*b = s - 273. Is b a multiple of 18?
True
Let u = 300 + -171. Does 8 divide 2/4*(u + -5)?
False
Let k be (11 + -1)/((-6)/9 - -1). Let z(m) = -m**3 - 4*m**2 + 3. Let y be z(-4). Suppose -174 = -y*i - k. Is 24 a factor of i?
True
Let b = 165 + -48. Is b a multiple of 39?
True
Suppose p - 4 = 0, -3*b + 12 + 36 = 3*p. Is 43 a factor of 2*(-6)/(b/(-215))?
True
Let l(u) = -u - 8. Suppose 5 = -5*g, 3*h = 4*g + g - 40. Does 2 divide l(h)?
False
Let t(b) = 85*b**2 + 4*b - 1. Does 22 divide t(1)?
True
Suppose -3*r = f - 0*r - 588, 0 = -3*f - 4*r + 1749. Is 16 a factor of f?
False
Let n(g) = -6*g - 4. Let f(h) = -11*h**2 - 11*h - 18. Let k(d) = -4*d**2 - 4*d - 6. Let w(y) = -6*f(y) + 17*k(y). Let p be w(-3). Is n(p) a multiple of 16?
True
Let l(u) = -u**2 + 12*u - 4. Let o(c) = c**3 + 5*c**2 + 2*c - 2. Let h(k) = k**3 - 3*k**2 - 2*k + 3. Let x be h(3). Let g be o(x). Is 8 a factor of l(g)?
True
Suppose -4*r - 6 = -r. Let x be (7 + 95)*(-4)/r. Suppose 5*h + 24 = x. Does 16 divide h?
False
Suppose 3*l = -l - 4, 0 = -5*a + 5*l + 20. Suppose 5*z - y + 3*y = 42, -21 = -3*z + a*y. Let o = 38 - z. Does 9 divide o?
False
Suppose -2*m = -2*q - 108, 3*m - 132 = -0*m - 3*q. Suppose -m = -6*l + 143. Does 6 divide l?
False
Let k = -19 - -20. Suppose k = 2*u - 3. Suppose 7*n - u*n = 330. Does 15 divide n?
False
Let j(g) = 117*g - 866. Does 21 divide j(24)?
False
Let g(z) = 4*z - 12. Let n be g(3). Suppose 2*q + 0*q - 360 = n. Does 30 divide q?
True
Suppose 0 = -v + 2*u - 4 - 1, 4*v + 4*u = 40. Let b = v - 0. Suppose 84 = b*l - 3*l. Is l a multiple of 10?
False
Let h be 1 + -2 + 4 + -3. Let k(n) = n**2 - n + 10. Let q be k(h). Suppose 0 = 5*v - q*v + 345. Does 13 divide v?
False
Let m be (24/(-15))/(4/(-10)). Suppose 123 + 97 = m*g. Is g a multiple of 13?
False
Let h(i) = i + 124. Is 5 a factor of h(-23)?
False
Suppose 635 = 13*z - 5059. Is z a multiple of 5?
False
Let s(u) = u**2 + 13*u + 46. Let t be s(-7). Suppose 3*q - 6*g - 387 = -3*g, g - 531 = -t*q. Is q a multiple of 19?
False
Let w be (0 + -2)*-2 + -1. Suppose 0 = -w*j - 2*p + 7*p + 1761, -j + 3*p + 591 = 0. Suppose -8*u + 2*u + j = 0. Does 21 divide u?
False
Suppose -8*t + 8 = -6*t. Let l = -3 - -2. Let o = t - l. Is 5 a factor of o?
True
Let r = -195 + 289. Does 8 divide r?
False
Does 8 divide -4*(8/3)/((-56)/588)?
True
Suppose -2*w = -4*q - 6, -2*w + q + 6 = -0*w. Is 13 a factor of 2 + -3 + 193 + w?
True
Suppose -2*t - 4*t = 222. Let r = t + 61. Is 7 a factor of r?
False
Let f(k) = -k**3 - 3*k**2 + 6*k - 6. Let s be -1*(5 - (-1 + 0)). Let u be f(s). Suppose u = 4*i - 198. Is i a multiple of 19?
False
Suppose -3*h + 1217 = 3*p - 946, h - 718 = -4*p. Is 25 a factor of h?
False
Let d(y) = -y - 4. Let m = 14 - 10. Let t be d(m). Let r = 5 - t. Does 2 divide r?
False
Suppose -6*w = -0*w + 42. Let c be 28/w + -80 + -1. Does 17 divide (-1 + -2)/(3/c)?
True
Let a be 10/(-1) - (0 - 2). Let y(k) = -k**3 - 485 - 9*k**2 - 10*k - 486 + 965. Is y(a) a multiple of 9?
False
Let d = 18 + -18. Suppose 2*t - 2*k + 22 = 166, d = 4*t - k - 276. Is t a multiple of 34?
True
Suppose -6294 = 11*g - 17833. Does 7 divide g?
False
Let b(c) = 2*c**2 - 16*c + 4. Let z be b(8). Suppose 373 = z*w + 5*f, -5*w = -2*f - 685 + 260. Is w a multiple of 28?
False
Let t(s) = -s - 1. Let c(v) = 2*v - 1. Let d(z) = -c(z) - 5*t(z). Is 28 a factor of d(8)?
False
Let z be (0 - 2) + 6 + -4 + -4. Let o(k) be the first derivative of -13*k**2/2 - 5*k + 2. Is o(z) a multiple of 10?
False
Let y be (-120)/(-9) - 2/6. Suppose -y*s + 356 = -346. Is 10 a factor of s?
False
Is 5652*(7 + -14)/(-49)*7 a multiple of 12?
True
Let z be 2/(-4) + (-169)/26. Let a be 1 - -1 - 133/z. Is 12/28 - (-2112)/a a multiple of 22?
False
Let v(x) = -x**3 - 6*x**2 + 12*x - 12. Let o be v(-9). Does 10 divide 1*o*17/51?
False
Let p be (-14)/(-8) + (