
Let h be 244/(-12) + 6/(-9). Let b = 16 + h. Let x(k) = -k**2 - 9*k + 2. Is 8 a factor of x(b)?
False
Suppose -5 = s, -5*u + 4*s = 3*s - 5. Suppose 2*n + 4*l = -0*l + 482, u = n - 2*l - 257. Does 45 divide n?
False
Suppose -3*w = -a + 534, 1027 + 533 = 3*a + 5*w. Is 24 a factor of a?
False
Let d(q) = -2*q**2 + 2*q. Let v be d(2). Let o be v/6*(-9 - -3). Suppose -o*p = 4*w - 64, -106 = -5*p + 2*w - 19. Does 10 divide p?
False
Let k be 2 - ((-1)/(-2) + (-1)/2). Is (-3)/k*5/3*-2 even?
False
Let c(j) = 4*j**2 + 10*j + 238. Is c(-11) a multiple of 53?
False
Let l(f) = -f**3 + 18*f**2 - 38*f + 12. Is 21 a factor of l(11)?
True
Suppose 5*r + 0*r - 25 = 0. Is 39 a factor of 20937/168 + ((-30)/(-16))/r?
False
Let s(d) = 2*d**3 - 4*d**2 - d + 2. Let r be s(2). Suppose -y - 3*y + 300 = r. Does 13 divide y?
False
Let s be (-182)/52*(16/(-14))/2. Suppose -3*q = -s*j - 69 - 263, -2*j = 5*q - 564. Is q a multiple of 14?
True
Let f = 4092 + -2828. Does 79 divide f?
True
Let u = 166 + -97. Suppose 0 = -3*p + 5*g + u, -3*p + p + 4*g = -46. Let a = p - 19. Is a a multiple of 4?
True
Let n = -20 - -38. Let f(z) = z**3 - 18*z**2 - 18*z - 19. Let a be f(19). Suppose -5*d + 2*d + n = a. Is d even?
True
Suppose -2*f - 1643 = -6*f - d, -437 = -f + 5*d. Let i = -232 + f. Is i a multiple of 15?
True
Let y(o) be the second derivative of o**4/4 + o**3/6 - 9*o**2/2 - 21*o. Is 2 a factor of y(-3)?
False
Let z(u) = -u**2 - 8*u - 9. Let o = 16 - 20. Is 2 a factor of z(o)?
False
Let t(n) = 171*n + 215. Is 31 a factor of t(5)?
False
Let f = 140 + 377. Is 22 a factor of (-12)/30 + f/5?
False
Let a(x) = -x**2 - 26*x - 32. Let i(s) = -s. Let r(l) = a(l) - 6*i(l). Is 52 a factor of r(-14)?
True
Let r = 233 + 215. Does 6 divide r?
False
Suppose 32*p - 10100 + 2196 = 0. Is 13 a factor of p?
True
Suppose -3*q + 12 = 3*r - 7*q, 2*r - q = 3. Suppose x - y = -5*y - 9, 3*x + 2*y - 3 = r. Suppose -12 = -x*a - 0. Is a a multiple of 2?
True
Does 10 divide 12/42 - 25454/(-91)?
True
Suppose 70*z + 5*o = 65*z + 21255, -3*o = -4*z + 16969. Is z a multiple of 102?
False
Suppose -6*l = -3*l + 3, 0 = -4*w + l + 289. Is w a multiple of 12?
True
Let n be (3*4/(-18))/(3/(-9)). Suppose 0 = -5*r + 2*t + 123, -n*r + 39 = -t - 10. Is r a multiple of 5?
True
Let o = -15 + 1. Let b be 39 - (0/(-1) - -1). Let h = b + o. Is 7 a factor of h?
False
Let h = -14 + 18. Let p = 0 + h. Suppose p*r - 15 - 13 = 0. Does 4 divide r?
False
Suppose 45*p - 42091 = -4*p. Is 31 a factor of p?
False
Let d = 26 + -24. Suppose 3*v - 72 = d*v. Is 12 a factor of v?
True
Suppose -26*s + 24*s = -4*u + 886, -5*u = 3*s - 1091. Is 4 a factor of u?
True
Does 16 divide ((-1860)/210)/((-3)/168)?
True
Suppose 29*x = 31*x - 104. Let l = 162 - x. Is 22 a factor of l?
True
Suppose 3*j - 3*h - 1014 = -2*j, -5*j = -4*h - 1017. Suppose 2*p - j = -p. Does 23 divide p?
False
Is 2/(-10) - (-4168)/120*3 a multiple of 52?
True
Let c = -517 - 119. Is 9 a factor of 4/6 - 0 - c/18?
True
Suppose -3*a = -i + 17, 2*i + 2*a - 1 = -7. Let o be (-24)/(-14) + (-2)/(-7). Suppose h + h = -3*l - 1, -o*l - 24 = -i*h. Is h a multiple of 2?
False
Let d = 0 + -2. Is 8 a factor of (72/4)/d*-1?
False
Let y(t) = 242*t**3 - 3*t**2 - t + 3. Is 105 a factor of y(2)?
False
Let w = 3335 - 2361. Is 16 a factor of w?
False
Let l = 166 + -92. Suppose -4*o + 351 = -3*m, 2*m = -o - 0*o + l. Suppose -5*i + 7*i = o. Is i a multiple of 14?
True
Let i(y) = 4*y**2 + y. Let j be i(-1). Suppose 4*z + 4*n + 652 = 9*z, -4*n - 12 = 0. Suppose -j*c + 131 = 4*m, -z - 22 = -5*m - c. Is m a multiple of 11?
False
Let l(c) = 111*c**2 - 16*c - 10. Does 16 divide l(-3)?
False
Let n be 2/7 + (-99)/(-21). Suppose 31 = n*f + 2*p, -4*f = -2*p - 2 - 12. Is 3 a factor of f?
False
Let s(t) = -t**3 - 7*t**2 + 10*t + 8. Let x be (-18)/(-8)*(-9 + 5). Let j be s(x). Let k = j - 50. Is k a multiple of 10?
True
Suppose -5*a = -12 - 8. Suppose 5*j + 25 = 3*l - 22, 121 = a*l + 5*j. Is 24 a factor of l?
True
Let l(f) = 8*f + 1. Suppose a - 6*a = -35. Suppose u + 0 = a. Is l(u) a multiple of 19?
True
Let p(v) = -8*v + 372. Is 12 a factor of p(33)?
True
Let m(t) = 6*t - 24. Let h be m(5). Let d = 0 - -5. Suppose d*v = h*v - 13. Does 2 divide v?
False
Let n(r) = -7*r - 24. Suppose 0 = 2*w - 2*t + 10, -2*w = -3*t - 2*t + 7. Is n(w) even?
True
Let i = 528 + -270. Is 5 a factor of i?
False
Suppose 4*q + 8 = 0, 5*n - 2*q + 3 = -q. Let s = n + 5. Suppose -s*c = -c - 36. Is 3 a factor of c?
True
Let o be 40/(0 + 4/2). Suppose o = -5*k + 10*k. Suppose k*d + 213 = 5*u + d, 4*u = d + 176. Does 15 divide u?
True
Suppose 6*x - 7*x + 169 = 0. Let t = 55 - 14. Suppose -3*k + t = -x. Is k a multiple of 15?
False
Suppose 52*g - 38*g - 9856 = 0. Does 32 divide g?
True
Suppose 5*s - 688 - 1322 = 0. Is 6 a factor of s?
True
Let l(o) = -o**3 - o**2 - 9. Let h be l(0). Let c be 2 - h/((-9)/(-10)). Let b = c + 7. Is b a multiple of 10?
False
Suppose 3*h - 12 = -4*p, -4*h + 16 = 3*p + 2*p. Suppose h = 3*v + 1. Let o(k) = 55*k + 1. Does 14 divide o(v)?
True
Let v be (3 - 1) + -4 + 7. Suppose 0 = -v*z - z + 432. Is z a multiple of 24?
True
Suppose 22*j - 3622 - 1460 = 0. Is j a multiple of 27?
False
Let t = 45 + 41. Suppose 2*f = -16 + t. Is 7 a factor of f?
True
Let n = -684 + 1815. Is n a multiple of 13?
True
Let w be 3128/4 - (-6 + 2). Suppose -5*q - q = -w. Suppose -47 = -5*h - 4*c + 632, h = 4*c + q. Is h a multiple of 34?
False
Suppose 4*o + 0*o - 2*m = 0, o = 4*m. Suppose -g = -5*j + 360, -3*g = -o*g. Is 9 a factor of j?
True
Let q = -474 - -616. Does 29 divide q?
False
Suppose -5*q + 725 = -p, 3*q - 37*p - 435 = -39*p. Is 4 a factor of q?
False
Let g be (-10)/4*(10 - 12). Suppose -n - l = 3*n - 563, -g*l + 295 = 2*n. Does 39 divide n?
False
Is 15 a factor of (-2364)/156 + 15 - 3421/(-13)?
False
Let o = -314 + 847. Does 13 divide o?
True
Suppose -6*j = j - 917. Let h = j + -76. Is 10 a factor of h?
False
Let v(f) = -f**2 - 29*f - 46. Let d(l) = -l**2 + 12. Let x be d(6). Does 37 divide v(x)?
True
Does 8 divide ((-2)/(-30)*2410)/(4/54)?
False
Let a = -51 - -86. Suppose t + 2*n = 7*n + 26, 4*t + 3*n - a = 0. Suppose -2*p = -3*w - 24, -p + 1 = -w - t. Does 6 divide p?
True
Let y = -6 + 20. Suppose -324 = 5*l - y*l. Does 18 divide l?
True
Let u(n) = -n**2 - 10*n + 15. Suppose 5*m + 32 + 14 = 3*g, -3*m = 5*g + 48. Let t be u(m). Suppose -t*v + 38 = -2*v. Is 11 a factor of v?
False
Let q(p) = -p**3 + 23*p**2 + 71*p - 25. Is 43 a factor of q(25)?
False
Let j = -74 - -22. Is (6*-3*j/(-8))/(-1) a multiple of 9?
True
Suppose -157*d - 3470 = -167*d. Is 22 a factor of d?
False
Suppose -4*r = 3*i - 22, 12 - 56 = -5*i - 3*r. Let c = i - 7. Is (-11 - -54) + 1 + c a multiple of 16?
False
Let p be (-4 - -3)/(0 - (-1)/(-2)). Suppose -3*w + 330 = 4*c, 3*w = -p*c + 91 + 71. Does 14 divide c?
True
Let l(z) = z**2 + 8*z + 4. Let k be l(-8). Suppose -6*x + 2*x = -k. Let h = x - -1. Is 2 a factor of h?
True
Let z(j) = -j**3 - 9*j**2 - 15*j - 5. Let f be z(-7). Suppose -f*u = 3*u + 20, -4*t + 2*u = -360. Does 11 divide t?
True
Suppose -2*s - 3*s = 2*n + 15, -9 = 3*s - 5*n. Let d = s + 8. Suppose 0 = -d*k + 10 + 155. Is 11 a factor of k?
True
Let r = -116 + 180. Does 10 divide r/(-192) - ((-62)/(-6))/(-1)?
True
Suppose -2*c + 4*l + 4 = 0, 5*c + 4*l - 3*l + 23 = 0. Is 0 - (-132)/(-8)*c a multiple of 31?
False
Let f(a) = -a**3 + 10*a**2 - 10*a + 11. Let m be f(9). Suppose m = 2*j - 36. Is 3 a factor of j?
False
Let t(x) = -x**2 + 6*x + 21. Let c = -29 + 34. Is t(c) a multiple of 26?
True
Let c(d) = 2*d**3 - 149*d**2 + 78*d + 394. Is c(74) a multiple of 2?
True
Let h(w) = -3*w - 4 - 1 + 5 + 79*w**2 + 4. Does 17 divide h(1)?
False
Suppose 7*w - 77 = -0*w. Let k = 24 - w. Is 4 a factor of k?
False
Let x(h) = h**3 + 15*h**2 + 25*h - 6. Is 40 a factor of x(-11)?
False
Let l(k) = k**3 + 4*k**2 - 10*k + 7. Is 19 a factor of l(4)?
True
Let n = -24 - -146. Let v(s) = s**3 - 20*s**2 - 19*s - 78. Let y be v(21). Is (y/24)/((-3)/n) a multiple of 24?
False
Suppose -2*i - 16 = 4*y, -2*y = -i - 2*i + 16. Suppose i*n - 120 = -0*n. Is 6 a factor of n?
True
Suppose -3*i + 0*i + 2*v + 1972 = 0, 2*v = 8. Is 20 a factor of i?
True
Suppose -51*x - 13*x + 44224 = 0. Is x a multiple of 12?
False
Let d = 74 - 43. Let h = d + 31. Suppose 4*u = h + 206. Is 22 a factor of u?
False