 51. Let m(n) = -n**2 + 1. Let w(j) = i(j) + 2*m(j). Does 4 divide w(25)?
True
Suppose 3*o - 154824 = -21*o. Suppose 5700 = 29*m - o. Is 5 a factor of m?
False
Suppose 0 = j - 43 - 83. Suppose 4*w - 4*c = 444, 5*w - 3*c = -2*c + 543. Suppose -w - j = -6*f. Does 6 divide f?
False
Let v = 13100 + -9965. Is v a multiple of 19?
True
Let n(h) = -h**3 + 132*h**2 - 629*h - 490. Is 8 a factor of n(127)?
True
Suppose -5*m + 234 = m. Let g be 12/(-78) - (-630)/m. Suppose g*d - 561 = 13*d. Is 17 a factor of d?
True
Let u(p) = -3*p - 10. Let a(z) = 9*z + 30. Let c(n) = -2*a(n) - 7*u(n). Let i be c(-4). Is 9 a factor of 32 - ((-15)/(-9) + i)*6?
False
Let x(q) = 2*q**3 + 90*q**2 + 85*q - 72. Does 30 divide x(-42)?
False
Let a = -7 - -29. Suppose -2*r - 3*u + a = 0, 4*r = 5*r - u - 1. Is 2 a factor of (6 - 2)*r*9/12?
False
Let j(z) = z**3 + 17*z**2 - 18*z + 7. Let u be j(-18). Suppose 6 + 8 = -u*l. Is 13 a factor of ((-26)/7)/(l/14)?
True
Let i be 4/5*(4 - -1). Suppose -4*m = -4*t + 3*t + 341, 1375 = i*t - 5*m. Is t a multiple of 31?
False
Suppose 11*m = 16*m + 29*m - 394910. Is 23 a factor of m?
True
Let y(d) = 7*d**2 + 88*d - 1449. Is 9 a factor of y(36)?
True
Suppose -o = -26 - 46. Let y = o - 70. Suppose 4*h = -y*h + 516. Is 7 a factor of h?
False
Suppose 0 = 2*p + i - 6, 4*p + 2*i = 6*i + 36. Suppose 168 = p*l + l. Suppose 3*v - 5*w = l, -29 = -4*v + 5*w + 10. Is 11 a factor of v?
True
Let r(t) = 2*t**2 - 18*t - 44. Let q be r(16). Suppose -432 = -2*a - q. Does 18 divide a?
True
Let t(g) = 17 - 7 - 5 + 60*g - 10. Let n be t(-1). Is 7 a factor of ((2 - -2) + n)/(-1)?
False
Let c = -304 + 304. Let l(g) = g**2 + 4*g + 80. Is l(c) a multiple of 8?
True
Suppose 0 = 92*i - 449889 - 3362959. Is 39 a factor of i?
False
Let o be ((-1 - 170)/3)/(-1). Let x be (-104)/78 + 50/(-3). Let a = x + o. Is 22 a factor of a?
False
Let g = -448 + -206. Let z = 1936 + g. Does 19 divide z?
False
Let p = -87 - -89. Suppose 2*r + 9*g - 203 = 10*g, -2*r + p*g + 198 = 0. Does 13 divide r?
True
Let a(k) = -35*k + 1694. Is 19 a factor of a(18)?
True
Suppose 6*h - 19 - 3833 = 0. Is 20 a factor of h + 16/24*(-5 + 2)?
True
Let d = 2101 + 783. Is d a multiple of 26?
False
Let s = 65459 + -38771. Is s a multiple of 96?
True
Suppose -o - 3*h = -12441, -h = -63*o + 64*o - 12447. Does 25 divide o?
True
Suppose 0 = 5*j + 5*p - 20630, -998 = -3*j - 4*p + 11378. Is 15 a factor of j?
False
Let g(r) = 95*r - 952. Does 5 divide g(37)?
False
Let f(d) = 1402*d**2 + 252*d + 976. Is 224 a factor of f(-4)?
True
Let b = 11 + -3. Let j = b - 11. Is 7 a factor of j/6*-78 - 3?
False
Let f(p) be the first derivative of -p**4/4 + 7*p**3/3 + 2*p**2 + 14*p - 1. Suppose 23*m = -74 + 235. Does 42 divide f(m)?
True
Let q be (-4)/6 - (-306)/54. Suppose 4*s + 538 = a, 2*a + q*s - 1115 = -0*s. Does 11 divide a?
True
Let v(y) = 510*y - 7058. Is v(78) a multiple of 17?
False
Does 51 divide -34*(2/3 + (-5336)/174)?
True
Suppose 3*c = 5*c - 3*v - 9668, 9676 = 2*c - 5*v. Does 34 divide c?
True
Suppose 0*b + 2*b = 9*b. Suppose -5*w + 10*h - 5*h + 1970 = b, -2*w = 4*h - 818. Is 20 a factor of w?
False
Suppose 14*p - 5*l - 118424 = 8*p, 0 = 3*p - 5*l - 59222. Does 78 divide p?
True
Suppose 4*l + 430 - 6234 = -2*q, 16*l - 96 = 0. Does 34 divide q?
True
Suppose 20*f - 4398 = 4760 + 12362. Is 4 a factor of f?
True
Let m(y) = -y**3 - 17*y**2 + 36*y + 349. Let f be m(-18). Suppose -17*d + 22*d = 3*b + 1145, 0 = -5*b - f. Does 34 divide d?
False
Let w(z) = -z**3 - 8*z**2 + 10*z + 4. Let p be w(-9). Let o(x) = 6*x**2 + x - 12. Does 17 divide o(p)?
False
Suppose -4*a + 4544 = -4856. Suppose 9*k + 631 - a = 0. Is 10 a factor of k?
False
Let y(b) = 447*b**2 - 216*b - 1076. Does 9 divide y(-5)?
False
Does 9 divide -3 + 27/6 + (-353834)/(-124)?
False
Let u(x) = x**2 + 10*x - 86. Let b be u(-27). Let a = -86 + b. Is a a multiple of 4?
False
Suppose 8*l = -0*l + 16. Let d(r) = -r - 6 - 113*r**2 + 63*r**l + 55*r**2. Is d(3) a multiple of 5?
False
Is 52 a factor of 11 + -5 + 0 - -257*2?
True
Suppose -99*x - 5064 = -105*x. Let i = x - 400. Is 37 a factor of i?
True
Let u(w) = -60*w + 11222. Is u(53) even?
True
Suppose -5*m + 2*r - 5*r = -2502, -r = -2*m + 992. Suppose 0 = 22*d - 16*d - m. Is d a multiple of 15?
False
Suppose 5*t - t - w = 19, 5*w - 5 = 0. Suppose 3*r = t*d + 2*r + 29, d = 3*r - 17. Let n(z) = -18*z - 18. Is n(d) a multiple of 18?
True
Let h(z) = 8*z**2 - 2*z - 28. Let a = 514 - 525. Does 36 divide h(a)?
False
Suppose v = 2*v - 2. Suppose 5*p = -10, 7*p = b + v*p - 33. Suppose 33 = 2*k - b. Does 7 divide k?
True
Let z be 5 - -1 - (-54805)/97. Let k = z + -443. Is k a multiple of 32?
True
Let g = 1134 - 194. Let u = -586 + g. Is u a multiple of 28?
False
Suppose 32*f - 105 = 11*f. Suppose 4*s = d - 720, -f*s + 1399 = 4*d - 1481. Does 80 divide d?
True
Let m = 12 - 7. Suppose m*a + 45 = k + 3*a, 3*k - 139 = 4*a. Suppose 3*w + 4*v + v - 84 = 0, 2*w = -v + k. Is w a multiple of 7?
False
Let m = 38 + -35. Let f be ((-16)/m)/(6/(-54)*6). Suppose 4*q = 8 + f. Is q even?
True
Suppose -2*n - 9*n = -55. Let b = 17 - 6. Suppose -n*c + 71 = b. Is c a multiple of 2?
True
Suppose -4*b + 20 = 4*s, -b - 2 + 3 = 0. Suppose 3*q - 40 = -5*a - 2*q, 5*q + 32 = s*a. Let t(j) = j**2 + 6*j - 7. Is t(a) a multiple of 24?
False
Suppose -313*r - 3663604 = 260*r - 13044760. Is r a multiple of 13?
False
Suppose 107*x = -5*j + 104*x + 57189, -4*j = 4*x - 45748. Does 83 divide j?
False
Let x = -59 - -61. Suppose -c = x*c + 9. Does 44 divide 4*-1 + (-408)/c?
True
Let i be 2/(-18) + (-475220)/(-180). Suppose 7*u + i = 29*u. Is 15 a factor of u?
True
Is 1 - 1*19*(-85 - 102) a multiple of 13?
False
Let r = 32335 + -22330. Does 115 divide r?
True
Let p(r) = 4066*r + 368. Does 10 divide p(2)?
True
Suppose -32 = 2*w - 6*w. Suppose -89*x = -148*x + 18526. Suppose 1354 = w*o + x. Does 27 divide o?
False
Let d(q) = -4395*q + 2539. Is 133 a factor of d(-5)?
False
Let j be (1740/(-72))/((-2)/(-6))*2. Let c = 154 + j. Is 9 a factor of c?
True
Let x(v) = -5*v + 83. Let q(d) = -3*d + 41. Let i(p) = 5*q(p) - 2*x(p). Is i(5) a multiple of 3?
False
Suppose -184 = -28*p + 96. Suppose -i - p = -360. Is 14 a factor of i?
True
Let j = 156 + -148. Let s = 16 + -18. Let v = s + j. Does 6 divide v?
True
Suppose 0*h - 5*h + 3*o - 31 = 0, 2*o - 26 = 4*h. Let p be 0/((h/(-2 + -2))/(-2)). Suppose 0 = -2*m + 4*w + 36, p*w = w. Is m a multiple of 9?
True
Let y = -2586 - -2638. Does 4 divide y?
True
Let i(r) = 50*r**2 + 391*r - 28. Does 3 divide i(5)?
True
Suppose -15 = 3*c, 85*h - 84*h + c - 435 = 0. Is h a multiple of 55?
True
Suppose 5*y + 5*k - 25 = -0*y, -2*y - 5 = -k. Let c be (y - (-66)/9)*(-27)/(-6). Does 22 divide (-137)/(-5) + c/55?
False
Let t = 5607 - -32508. Does 63 divide t?
True
Let b be ((-129)/(-36))/((-1)/15)*-4. Suppose -2*o + 41 = -b. Does 32 divide o?
True
Let f(j) = -15*j**2 + 3*j - 1. Let o be f(-1). Let h(y) = 2*y**2 + 17*y + 30. Is h(o) a multiple of 13?
True
Let r = -13386 + 15432. Is r a multiple of 4?
False
Suppose -m - 2*g - 102 = -3*m, 4*g + 253 = 5*m. Suppose 17*o - 304 = -m. Suppose 280 = -7*f + o*f. Is 5 a factor of f?
True
Let j be (-98 - -88)*(-192)/(-2). Let y = j - -968. Is y a multiple of 4?
True
Let j = -683 - -127. Let y = -430 - j. Does 5 divide y?
False
Suppose 0 = 43*s - 45*s + 3*y + 109682, -5*s + 2*y = -274183. Is s a multiple of 55?
True
Suppose -155836 = -22*a + 397178. Is a a multiple of 147?
True
Suppose -2*c = 19*z - 14*z - 49957, -3*c = -4*z + 39961. Is z a multiple of 97?
True
Suppose -2*s - 8 = -6*s + b, 0 = 3*s + 5*b - 6. Suppose -x = 4*x - s*x. Is 8 a factor of x + 28 - 96/(-24)?
True
Let y(k) be the third derivative of -8/3*k**3 + 1/30*k**5 + 11*k**2 + 0*k + 1/4*k**4 + 3/40*k**6 + 0. Does 19 divide y(2)?
True
Suppose 56638 = 3*t + l, -73 + 85 = 3*l. Is t a multiple of 9?
False
Let a = 77 - 188. Let m = 248 + a. Let d = m - 64. Is d a multiple of 7?
False
Let j(s) = s**2 - 10*s + 15. Let m be j(5). Let w(t) = t**3 + 12*t**2 - 19*t + 11. Is 34 a factor of w(m)?
False
Let b = 153 - -8055. Does 108 divide b?
True
Let v(a) = 13*a + 24. Let r(m) = -12*m - 23. Let y(q) = -6*r(q) - 5*v(q). Let p be y(-4). Let b(l) = -5*l - 7. Is 5 a factor of b(p)?
False
Suppose -2*t - 5*l = -10 - 8, -t + 12 = 4*l. Suppose 3*c - 3*r = 6, -2*r - 8 = 