 72. Let u(k) = -11*k + 29. Is 19 a factor of u(x)?
False
Let d(y) = -36*y**3 + 35*y**3 + 12*y - 8*y - 4 + 3*y**2. Let c be d(-4). Let q = c - 29. Is 9 a factor of q?
True
Let p(i) = 2*i**2 + 6. Suppose 0*d = -6*d. Let o be p(d). Suppose -163 + 31 = -o*c. Is c a multiple of 7?
False
Let p(l) = -712*l + 234. Is 13 a factor of p(-5)?
False
Suppose -7 - 18 = -m - 5*a, -m = -4*a + 11. Suppose -2*f - 3*l = -10 - 4, -f - m*l = 0. Is f a multiple of 10?
True
Suppose 5*f = 20, -2*f + 19983 = 5*p - 5*f. Suppose -p = -13*a - 567. Is a a multiple of 6?
True
Does 31 divide 30/195 + 69416/26?
False
Let b = 422 - 417. Suppose b*a + 8 = 3, 2*u = -a + 937. Is u a multiple of 7?
True
Suppose 54*z - 43*z + 124104 = 35*z. Does 106 divide z?
False
Let y = 787 + -382. Let g = y - -46. Does 11 divide g?
True
Is 11 a factor of 0 - 10/6 - 180/216*-19172?
False
Let v(y) = 54*y + 65. Suppose -5 = t + 2*m, 1 = 3*t + 14*m - 12*m. Does 12 divide v(t)?
False
Suppose -3*f = -q - 2*f + 526, -5*q + 3*f + 2622 = 0. Suppose 108 = -7*n - q. Let x = n - -111. Is 13 a factor of x?
False
Suppose 45*z - 49*z = -i - 30902, 5*i - 30890 = -4*z. Suppose -2*h = -17*h + z. Is 20 a factor of h?
False
Let g(l) = 8*l**2 - 15*l + 73. Let o(n) = -15*n**2 + 29*n - 145. Let y(d) = -11*g(d) - 6*o(d). Is 29 a factor of y(10)?
False
Suppose 5*g = 24 + 1. Suppose 1970 = 2*s + 3*s + g*b, -3*b - 1954 = -5*s. Suppose 155 = 2*w - 3*r - 9, -5*w = -3*r - s. Is w a multiple of 9?
False
Let c(p) = -p**2 + p + 280. Let q be 352/66*6/8. Suppose -t = 3*f + q*t - 15, -t = -3*f - 3. Is c(f) a multiple of 28?
True
Is 20 a factor of 2/(-17*(-6)/547740)?
True
Let n = -57 - -64. Suppose n*o - 669 = 1186. Is o a multiple of 5?
True
Suppose 51*h + 5000 = 52*h + a, -h - 2*a = -5002. Is 102 a factor of h?
True
Let m(g) = 109*g + 45. Let y(w) = 546*w + 228. Let l(q) = 11*m(q) - 2*y(q). Does 9 divide l(3)?
True
Let r be ((-2)/(-9))/((-32)/(-576)). Suppose -7*h + 3*h = u - 340, 0 = -4*u + r*h + 1260. Is 5 a factor of u?
True
Suppose -36*b - 193050 = 51*b - 117*b. Does 11 divide b?
True
Let n(z) = 252*z - 11 - 214*z - 2. Does 6 divide n(2)?
False
Let q be 0*(-3)/(-6) + 226. Suppose -3*d - 9 = -0*d, -3*d = -4*f + 29. Suppose f*s - 3*s - q = 0. Is s a multiple of 15?
False
Suppose 9985610 = 396*c - 3304546. Is c a multiple of 126?
False
Let o(p) = 2*p**2 - 4*p - 2. Let s be o(-2). Let v(x) = -17 + 24 - 15 - s*x. Is v(-3) a multiple of 28?
False
Suppose -3*f - 2*l = 184, 2*l + 244 = -3*f - f. Let o = f - -97. Does 12 divide o?
False
Is 2 a factor of -6 + -2 + 9 + 124?
False
Let s(h) = -118*h + 662. Is s(-16) a multiple of 51?
True
Suppose -20*w = -19*w - 2. Let p be (-5*w/10)/(1/3). Is 4 a factor of 24/(-16)*80/p?
True
Let n be 37 + (9 - 5) + 1. Let y = 52 - n. Does 10 divide y?
True
Suppose p + 1307*h - 1302*h - 7837 = 0, 3*p = -2*h + 23589. Is p a multiple of 104?
False
Let u be (1/3 - 204/180)*-5. Suppose u*h = -25*h + 20387. Does 33 divide h?
False
Suppose 195 + 33 = 6*z. Suppose z*d - 41*d + 9 = 0. Suppose -2*p = p + d, 2*t = -p + 41. Is t a multiple of 4?
False
Let h(y) = 75*y - 8. Suppose 5*j = j + 28. Let k(u) = -u**2 + 9*u - 11. Let c be k(j). Is 37 a factor of h(c)?
False
Let t(c) = 3*c - 54. Let a be t(22). Let u be (-84)/48*1*a. Does 12 divide ((-108)/21)/((2 + 1)/u)?
True
Suppose 2*i + 5*v = -15 - 6, 4 = -3*i - 2*v. Suppose 7*f - 449 = 5*f + 3*t, 452 = i*f - 2*t. Is 28 a factor of f?
False
Let h(p) = p**3 - 3*p**2 + 3*p - 4. Let d be h(3). Suppose 2*r + d*b - 4 = 0, -r + 5*b = 10 - 42. Suppose 0 = 10*x - r*x + 48. Is 4 a factor of x?
True
Suppose -m = -6*m - a - 1, 2*a + 2 = 4*m. Suppose m = -b - 0*b + 62. Let t = -47 + b. Is t a multiple of 15?
True
Let p(t) = -3*t + 5. Let f be p(-1). Suppose -10 = 2*x - 4*w, f = 5*w - 2. Does 6 divide 1*(x - -7)*3/1?
True
Suppose 3*o + 4*r - 5 = 0, -10*o - 10 = -6*o + 2*r. Let d(a) = 13*a**2 + 3*a - 21. Does 11 divide d(o)?
False
Let p be 10/2 + (-3)/((-6)/80). Is 39 a factor of (-4 + 246/15)/(3/p)?
False
Let y(t) = -2*t**3 + 2*t**2 - 10*t + 10. Let i(b) = b**3 + 14*b**2 - 15*b - 5. Let s be i(-15). Is y(s) a multiple of 18?
True
Let v = 22637 + -15755. Does 74 divide v?
True
Suppose -z - 2*b + 36 + 29 = 0, -2*z = -b - 130. Does 27 divide (z + -2)*6/7?
True
Does 108 divide 1520/(-57)*3330/(-50)?
False
Suppose 70 + 151 = -4*u + 5*c, 0 = 2*u + 2*c + 106. Let s = u - -24. Does 27 divide (-4005)/s + (-3)/(-2)?
True
Suppose -34256 = -23*f + 41630 + 24555. Is 25 a factor of f?
False
Suppose 0 = 4*f - p + 1339, 5*p - 274 = 3*f + 709. Let i = f + 856. Is 26 a factor of i?
True
Let y(b) = 9*b - 109. Let n be y(29). Suppose -5*o = -777 + n. Is 25 a factor of o?
True
Let z(m) be the first derivative of -m**3/3 + 5*m**2 - 2*m + 26. Let w be z(9). Does 12 divide w/(7/2) - -49?
False
Let q(y) = y - 13. Let h be q(18). Suppose -l - 3*a - 39 = 0, -2*a + 165 = -h*l - 30. Let n = 45 + l. Does 6 divide n?
True
Let q be (4/8)/((-1)/(-388)) - -4. Let p = q + -184. Is p a multiple of 14?
True
Let h(s) = -4*s - 20. Let n be h(-8). Let t = -7 + n. Is 15 a factor of (178/8)/((-5)/(-100)*t)?
False
Suppose -709 = 4*j - 677. Let q(x) = -63*x + 310. Does 31 divide q(j)?
False
Let k(d) = -d**3 - d**2 + 3*d + 15. Let c be k(-10). Let l = c - 390. Is l a multiple of 11?
True
Suppose 0 = -2*r - 3*z + 13, 4*r + z = -0*z + 21. Suppose -r*m - 4 = 1, 5*p - 1024 = 4*m. Does 6 divide p?
True
Suppose 2*m = -2*j - 21248, 0*m - 42468 = 4*j - 3*m. Is 28 a factor of (-1)/(-3) + -1 + j/(-54)?
True
Let z(c) = 14*c**2 - 3*c - 1. Suppose -4*q + 3*q - 199 = 4*u, 4*u - 191 = q. Let y be 16/9 - (q/27 - -7). Does 7 divide z(y)?
True
Let j(m) = -16*m - 1004. Let f be j(-74). Let q(d) = 5*d - 1. Let x be q(1). Suppose f = h + x*h. Is h a multiple of 4?
True
Let c be -6 + (-8)/2 + 10. Is (-10805)/(-40) - (c + 1/8) a multiple of 27?
True
Suppose 191 = 3*n - 2*a, -5*n + 140 = -3*n + 5*a. Let t = -65 + n. Suppose t = 8*l - 4*l - 2*x - 146, -12 = -4*x. Is l a multiple of 19?
True
Suppose 19*t = -15932 + 75668. Is 8 a factor of t?
True
Let q = -28182 - -44862. Is q a multiple of 30?
True
Let l = -8966 + 12294. Does 52 divide l?
True
Suppose -66*b + 65*b + 2387 = 0. Is b a multiple of 31?
True
Suppose 6*a = 35*a - 10875. Suppose 10*y - 3375 = -a. Does 26 divide y?
False
Let r(m) = m**3 - 32*m**2 + 4*m - 38. Does 12 divide r(33)?
False
Suppose -q - 2*x + 8 = 0, -q = -0*q - 4*x + 16. Suppose -2*n + q*l - 2*l + 152 = 0, 2*n = -3*l + 152. Let z = -61 + n. Does 2 divide z?
False
Let w = -341 - -477. Let z(s) = 3*s - w*s**2 + 2 + 136*s**2 + 0 - 46*s**3. Is 9 a factor of z(-1)?
True
Suppose 2*v = 54*f - 56*f + 12636, 25224 = 4*f - 4*v. Is f a multiple of 4?
True
Suppose 3*b - 16 = -2*w + 5, 0 = -3*b + 3*w + 6. Suppose 61 = n + c - 4*c, 0 = -b*n + 3*c + 245. Does 10 divide n?
False
Is 9 a factor of (-39)/(27027/66) + 218278/42?
False
Let f(i) = 21*i + 9. Let g(h) be the second derivative of -h**4/12 - 7*h**3/6 + 7*h**2 + 5*h. Let p be g(-8). Is f(p) a multiple of 45?
True
Let l(h) = -h**2 + 8*h - 9. Let w be l(6). Let p = 333 - 331. Suppose 4*c - 3*r = 188, -94 = c - w*c + p*r. Is 10 a factor of c?
False
Let q = 264 - 257. Is 24 a factor of 2578/q - (0 + (-2)/(-7))?
False
Let a = -48 + 50. Suppose -q + 4*p - 2 = -12, 0 = 5*q - a*p - 32. Suppose -2*k + d - 556 = -q*k, 2*d - 560 = -4*k. Is 22 a factor of k?
False
Let s = 73 - 63. Suppose 17*j - 56 = s*j. Suppose -d + 108 = 5*b, 24 = b + 3*d + j. Does 3 divide b?
False
Let a be -5 - ((-4)/(-16)*4 - -2). Does 20 divide (-2)/(-5)*(a - (1 + -2009))?
True
Suppose 4 = -c, -815*d - 2*c = -818*d + 4313. Does 13 divide d?
False
Suppose 0 = 5*s + 2*z - 4*z - 1625, -z = 4*s - 1300. Let l be -1 + 7/3 + s/(-39). Let t(c) = 2*c**2 + 8*c + 7. Does 14 divide t(l)?
False
Let n(d) = -14*d**2 - 8*d - 38. Let z be n(-5). Let y = -12 - z. Is 14 a factor of y?
True
Suppose -3*f = 2*n - 2807 + 300, -f = 2*n - 2497. Is n a multiple of 14?
True
Let g(v) = -7*v**2 + 13*v + 41. Let p be g(11). Is 13 a factor of (p/4)/17*(-21 + 1)?
True
Let x = 406 - 680. Let w = 125 - x. Is w a multiple of 14?
False
Suppose 18*s = -24*s - 84. Is 217/s*(-1092)/637 a multiple of 3?
True
Let m(c) = -16*c - 146. Let a be m(-11). Does 29 divide 9 + 4305/a + 1/2?
False
Suppose -6 = 3*s - 5*q, -15 = -0*s - s - 4*q. Suppose -2*h + r + s = 0, 4