9?
False
Suppose 48*o = 53*o - 560. Is (o/(-280))/((-1)/155) a multiple of 31?
True
Suppose 7*x - 2 - 5 = 0. Is (18 - -28) + x + 1 + -6 a multiple of 14?
True
Does 5 divide (-353)/(((-2)/(-7))/(920/(-322)))?
True
Suppose 43202*g - 89536 + 23980 = 43175*g. Does 85 divide g?
False
Let c = 38101 + -22087. Does 51 divide c?
True
Suppose 5*t - 136068 = -18*t. Is t a multiple of 34?
True
Let l(z) = 5946*z**3 - 7*z**2 + 3*z - 2. Does 44 divide l(1)?
True
Let b(d) = -d + 1. Let i be b(11). Let a be 1*(-3)/(12/164). Let l = i - a. Is l a multiple of 10?
False
Let t(m) = 545*m - 296. Does 10 divide t(8)?
False
Let j(p) = -2039 + p**2 - 3*p + 2060 + 7*p + 4*p. Suppose -3*r + 2*r = 4, v = -r - 16. Is j(v) a multiple of 32?
False
Let z = 73 - 76. Let f be (-6 - -7)*(z - -7). Is 3 a factor of -4 + f + -3 - -21?
True
Let q be (0 - 1)*(3 + -10). Suppose 9 = 4*c - q. Suppose -64 = -c*h + 116. Is 9 a factor of h?
True
Let v = 27 - 6. Let o = v + 56. Let m = -24 + o. Is m a multiple of 11?
False
Suppose -5*w - 125 = -10*w. Suppose -b = -w + 24. Is ((-125)/(-15) - b)*6 a multiple of 4?
True
Let x be -2*(6792/(-16) + -3). Suppose x*n = 851*n + 3200. Is 10 a factor of n?
True
Let r(m) = m**2 - 6*m + 18. Suppose 5*x - 8*x + 27 = 0. Let z be r(x). Is 7 a factor of 1174/18 - 10/z?
False
Let j(n) = n**3 - 8*n**2 + 10*n - 24. Let s be j(7). Let l(i) = -130*i - 38. Is l(s) a multiple of 11?
True
Suppose -24*o + 892 - 172 = 0. Is o a multiple of 10?
True
Suppose -2779897 + 475192 = -223*y. Is y a multiple of 53?
True
Let n be (-4)/44*-2 - 6/33. Suppose -97 - 4 = 3*s + c, n = 2*c - 2. Let j = s - -43. Is 3 a factor of j?
True
Suppose -5*h + 7*h + 28 = o, -2*o = -5*h - 59. Suppose 14*a - 92 = -o. Is (36/a)/(12/(-20) - -1) a multiple of 3?
True
Let l(a) = -a + 98. Suppose 32 = x + 16. Does 2 divide l(x)?
True
Suppose 0 = 2*a + 2*u - 36604, -5*a = -2*u + 17427 - 108923. Is 8 a factor of a?
False
Let s = 806 - 447. Let i(r) = 32*r**2 - 5*r + 1. Let x be i(2). Suppose s = 2*c + x. Is 30 a factor of c?
True
Let p(x) = 2*x**2 - 58*x + 108. Let f be p(27). Let m = 14 - 10. Suppose f*g + v - 57 = -m*g, 15 = -5*v. Is 3 a factor of g?
True
Suppose b + y - 6 = 0, -b - b + 3*y - 13 = 0. Does 14 divide ((-39)/(-15) - b)/(10/2100)?
True
Let y(p) = -42 + 44 + 37*p + 104. Is y(16) a multiple of 24?
False
Let t = -291 - -301. Suppose 0 = -2*a + t*a - 832. Is 51 a factor of a?
False
Let s be 72*24*24/(-36). Let n = s + 1952. Is 100 a factor of n?
True
Let o(p) = -p**2 - 1 + 16*p - p - 3*p + 0*p**2. Is 17 a factor of o(5)?
True
Suppose -7*l + 75996 = 18036. Is 8 a factor of l?
True
Let j = 48 - 45. Suppose j = -s + 2*s. Is (-45)/(-75) - s/((-15)/707) a multiple of 16?
False
Let z = 2214 - 1850. Is z a multiple of 2?
True
Let k be (6/4)/(1/(-2)). Let z = 1 - k. Suppose -2*q + 136 = z*r, 3*q = 2*r + 3*r - 170. Is r a multiple of 4?
False
Let d = 132336 + -89282. Is d a multiple of 19?
True
Suppose -76*h + 72*h + 10300 = 0. Is h a multiple of 52?
False
Let n(z) = -3*z + 1. Suppose -16*x = -12*x - 36. Let v be n(x). Let s = 143 + v. Is s a multiple of 15?
False
Suppose 0 = 4*b + 4*h + 16, -h - 2*h = 4*b + 12. Suppose 2*z = -s + 3*s - 8, -s + 2*z = b. Suppose -u = 2*u + 3*v - 252, 2*v = s. Is u a multiple of 10?
True
Suppose 5*n - 4*q + 3603 = 0, 2878 = 2*n - 6*n + q. Let v = n + 4354. Is 12 a factor of 8/12 - v/(-15)?
False
Suppose -4*p + 20 = -s, -s = -3*s + 3*p - 15. Suppose -o + s*o + 5*j = -3, 25 = -5*j. Let v = 39 - o. Does 3 divide v?
False
Let k(y) = -8*y - 2 + 6 + 0. Suppose 3*l + a + 28 = 0, 5*l - 11*a + 16*a + 40 = 0. Is 28 a factor of k(l)?
True
Let w be -1 + 19*(-1 - 4). Let n be (-1 - -4) + w + -3. Is 14 a factor of n/(-3) - 55/11?
False
Let n(r) = 20*r + 144. Let q be n(-8). Is (q/(-10))/(-2) + (-67074)/(-105) a multiple of 22?
True
Suppose -3*h - 5*d - 143 = 0, -4*d - 53 = h - 5*d. Let c = 80 + h. Is 11 a factor of c?
False
Let k = -9041 + 16741. Is k a multiple of 66?
False
Suppose -4*n + 9*n = -960. Let a = -107 - n. Let h = 147 - a. Is 18 a factor of h?
False
Does 24 divide ((-50486)/(-8) - -2) + 3/(-4)?
True
Let v = 724 - -4372. Is 14 a factor of v?
True
Let p(f) = f**3 - 4*f**2 - 11*f + 18788. Is p(0) a multiple of 22?
True
Suppose -15*k + 6 = -14*k. Suppose 0 = 3*s + 6, -10*j + k*j = s - 3646. Is 19 a factor of j?
True
Let i(a) = 16 - 67*a - 19 + 392*a - 187. Is 5 a factor of i(3)?
True
Suppose 4*c = -3*p - 4911, -6138 = 5*c - 4*p + 7*p. Let g = -830 - c. Let v = g + -260. Is v a multiple of 9?
False
Let a be ((-94)/(-4))/(3/(-12)). Let t = -88 - -135. Let v = t - a. Is v a multiple of 31?
False
Let g(v) = -181*v**3 - 4*v**2 - 9*v - 10. Let d be g(-2). Suppose 3*t - 5*r = d, -5*t + r = -1571 - 851. Is 70 a factor of t?
False
Let g = 19447 + -10718. Is g a multiple of 29?
True
Let p be (153/(-54))/(3/(-18)). Suppose -p*u + 922 + 1373 = 0. Is 9 a factor of u?
True
Let r(p) = -3 - 7 + p - 6*p + 11. Let x be r(2). Is 3*(3 - (462/x - -2)) a multiple of 15?
False
Suppose 77 = 4*j - 327. Suppose j*q + 72 = 104*q. Is q a multiple of 24?
True
Let s(j) be the second derivative of 61*j**7/2520 - j**6/360 - j**5/40 + 25*j**4/12 - 31*j. Let l(m) be the third derivative of s(m). Is 16 a factor of l(-1)?
False
Suppose 128*c + 107*c - 1322400 = 119*c. Is c a multiple of 41?
False
Let p(i) = 26*i + 21*i**2 + 62*i + 30 - 71*i + i**3. Is 3 a factor of p(-20)?
True
Let u(j) = -j**3 - 13*j**2 - 31*j - 23. Let k be u(-10). Let a(l) = -3*l**2 - 54*l - 15. Does 10 divide a(k)?
True
Let a = -79 - -79. Let x be 5 - (-3 - a - -8). Suppose 19*d - 691 + 159 = x. Is d a multiple of 15?
False
Let g(o) = 457*o - 369. Is g(5) a multiple of 11?
False
Suppose o + 0 = -5*c + 5, -2*c + 25 = 5*o. Suppose c = u - 1 - 3. Suppose -u*p - 136 = d - 3*d, 5*p = 3*d - 203. Is d a multiple of 22?
True
Let f(x) = -3*x + 29. Let u be f(18). Let r = u + 25. Is ((-3)/6 - r)*-30 a multiple of 3?
True
Let w = 41 + -29. Let b be (-30)/w*(-8)/20. Is (b/2)/(2/192) a multiple of 19?
False
Is 56248/72 - 6 - ((-35)/45 + 1) a multiple of 155?
True
Suppose 4*x - 20 = 16. Suppose -x*v + 320 = -7*v. Suppose y = -m + v, 3*y + 0*y + 330 = 2*m. Does 18 divide m?
True
Let f = 9 + 57. Is 6 a factor of f?
True
Suppose 0 = -v - 2*r - 7, 0*v - v - 4*r = 17. Suppose -v*l + 3 = 0, 5*l + 2130 = 4*d + 331. Is d a multiple of 21?
False
Let p be 514/(-4) - (-2)/4. Let v(o) = 58*o + 10. Let m be v(4). Let i = m + p. Does 6 divide i?
True
Let x(c) = 26*c**2 + 36*c - 13. Let s be x(27). Suppose s + 503 = 32*l. Is l a multiple of 49?
False
Let h(w) = -2*w**2 + 34*w + 18. Let x be h(17). Suppose x*t = 22*t - 148. Is 8 a factor of t?
False
Let z(y) = y**3 - 3*y**2 - 4*y + 6. Let w be z(4). Suppose -w*s + 3*s = 72. Let x = s - -50. Is 13 a factor of x?
True
Let g = 521 + -729. Does 4 divide 105/28*(-1)/(6/g)?
False
Let v be (0 - 2)/2 - -49. Let c(d) = 9*d - 219. Let x be c(25). Let w = v - x. Is w a multiple of 14?
True
Suppose -v + 219 = 4*f - 594, 2*f + 4*v - 424 = 0. Let p = f - 90. Is 14 a factor of p?
True
Let f be -4 + (-68)/(-18) - 310/(-18). Does 23 divide 985/25 + 3 + f/(-5)?
False
Let s be 87/7*42/12*-2. Let z = 42 - -150. Let k = s + z. Is k a multiple of 21?
True
Let t(j) = 182*j**2 + 18*j - 294. Does 35 divide t(7)?
True
Let x = -163 - -2090. Suppose -2*d - 3*d = -4*p + 50, -4*p - 4*d = -32. Suppose -x + 237 = -p*f. Is f a multiple of 29?
False
Let h(y) = -7*y - 2*y**2 - 8*y**3 + 9*y**2 + 7*y**3 - 21 + 6*y**2. Is h(11) a multiple of 12?
True
Suppose -114 = -4*q - 2*g, -5*q + 4*g + 132 = 3*g. Suppose -3*y = m - 1063, -5*m + 1399 = q*y - 23*y. Is 45 a factor of y?
False
Let z be (84/24)/((-6)/(-4) + -1). Suppose -z*v + 6*v = -2. Suppose -7*d = -v*d - 45. Is d a multiple of 2?
False
Suppose -5*o = 5*u + 45, -2 = -4*o - 6. Let h(i) = 7*i**2 - i + 21. Is h(u) a multiple of 32?
False
Let k be (671 + 28)/(-2 - -5). Suppose -k = 15*x - 698. Is x even?
False
Let d(w) = -120*w + 380. Does 24 divide d(-16)?
False
Is (-27554)/(-16) + ((-5)/(-5))/(-8) a multiple of 22?
False
Let l(y) = 91*y**2 - y. Suppose 13*m = 31*m - 18. Is 5 a factor of l(m)?
True
Let v(d) = 7*d**2 + 3*d + 38. Suppose -124 = 3*l - 103. Is v(l) a multiple of 45?
True
Suppose -15 = 60*b - 65*b. Suppose -b*o = -2*n - 245, 2*o - 4*o = -2*n - 246. Let v = n - -270. Does 32 divide v?
Fals