?
False
Suppose -3*h - 2*h + 5*d + 130965 = 0, 0 = -4*d + 20. Is 12 a factor of h?
False
Is 400/(-125)*175260/(-24) a multiple of 12?
False
Let r be (8/(-2) + 1)/(6/(-520)). Suppose 0 = p + 2*p + 4*y - 380, r = 2*p - 4*y. Suppose 3*m = 5*m - w - 263, -m = -4*w - p. Is m a multiple of 9?
False
Let r be (-2)/(-2) + 26689 + 2. Let h be (r/(-6))/(28/(-42)). Suppose -12*u + h = 2245. Is u a multiple of 42?
False
Let y = -12593 - -31944. Is 31 a factor of y?
False
Suppose 0 = -16*t - 545 - 3935. Let o = -111 - t. Is o a multiple of 9?
False
Suppose 4*c - u = 7756, -13*c - u - 5818 = -16*c. Does 38 divide c?
True
Suppose -9270 - 1995 = -5*z + 3*d, 2*z - 4507 = d. Is z a multiple of 6?
True
Let q(i) = 4632*i**3 - 2*i**2 + i + 2. Let c be q(1). Suppose c + 3222 = 5*g. Does 100 divide g?
False
Let t(r) be the second derivative of r**3/2 - 6*r**2 - 7*r. Let z be t(5). Suppose -5*c + 0*k - z*k = -292, 5*c + 5*k - 300 = 0. Is c a multiple of 28?
True
Suppose 0 = -2*r + n + n, 0 = r + 5*n. Suppose r*s = s - 5*q, q = -s - 6. Let u = 19 + s. Does 11 divide u?
False
Let y(w) = 484*w + 85. Let p be y(14). Suppose 12*o = 22773 - p. Is 19 a factor of o?
False
Suppose -5*c + 66075 = 5*u, 5*u = -75*c + 74*c + 13215. Is 32 a factor of c?
False
Suppose -4*w + 3740 = -2*c, 5*w - 4714 = -165*c + 161*c. Does 41 divide w?
False
Let k(q) be the second derivative of 13*q**4/3 + q**3/6 - 5*q**2/2 - 2*q - 43. Is 46 a factor of k(-3)?
True
Suppose -120 = -31*a + 27*a. Is 3 a factor of (a/(-8))/((-27)/432)?
True
Suppose -5*h = 22163 - 7693. Is 9 a factor of h/(-14) - (6 + 88/(-14))?
True
Let j(a) be the third derivative of a**7/1260 + 7*a**6/120 + 11*a**5/30 - a**3/6 + 34*a**2. Let q(s) be the third derivative of j(s). Is 6 a factor of q(0)?
True
Let w(q) = 6*q + 174. Is 27 a factor of w(-11)?
True
Suppose 5*i - 60 = -0*o - 2*o, -5*i = -5*o - 60. Let q(s) = s**3 + 5*s**2 - i*s**2 + 2*s**2 + 4*s**2 + 79. Is q(0) a multiple of 19?
False
Let y(n) = -n**2 - 10*n - 4. Let w be y(-9). Let h be -12*2/(w/((-5)/2)). Does 24 divide (-966)/(-8) + 3/h?
False
Suppose 5*k + 5 = -5*r, k - 4*k = -3*r - 15. Does 44 divide 0 + -570*r*4/30?
False
Let l(d) = -1. Let i(a) = -a**2 - 5*a + 6. Let g(h) = i(h) - 5*l(h). Let f be g(-6). Suppose 6*q - f*q = 36. Is q a multiple of 3?
True
Let p = -388 + 500. Suppose -p = 10*f - 822. Is f a multiple of 6?
False
Let p = -278 - -278. Suppose 23*k - 1868 - 3698 = p. Is k a multiple of 36?
False
Let d(x) = 2*x + 20. Let j be (1 - 4) + (-33 - -4). Let p = j - -56. Does 34 divide d(p)?
True
Suppose -47*h + 26702 = 32*h. Is h a multiple of 15?
False
Let y = 11935 + -1551. Does 9 divide y?
False
Let t(r) be the second derivative of -r**4/12 - 13*r**3/6 - 18*r**2 + 14*r. Let n be t(-8). Suppose 0 = -n*u, 0*v = -4*v - 5*u + 344. Does 19 divide v?
False
Let s = 49 - 34. Suppose 19*c - 248 = s*c. Suppose 3*n + 17 = c. Is n even?
False
Is (-34)/(-119) + 3198329/119 a multiple of 17?
True
Let h be (-505 + 3)*1/2 - 4. Let d = h - -270. Is d a multiple of 3?
True
Does 16 divide -20*1823/(-4) + -3?
False
Suppose -23*o = -4*o + 8*o - 768528. Does 41 divide o?
False
Suppose -3*o - 883*s + 888*s + 49471 = 0, 0 = s + 5. Is o a multiple of 246?
True
Let a(u) = u**3 - 2*u**2 - u + 193. Suppose r = r - 6*r. Does 41 divide a(r)?
False
Let u = 770 - 218. Suppose 50 = 2*y - u. Suppose -3*t + y = 4*t. Does 7 divide t?
False
Let a be (-1)/3*2*(-6)/4. Is 5 a factor of (a/(-3))/((-3112)/(-1038) - 3)?
False
Let d = -50 - -52. Suppose -d*l = -5*y - 39, -3*l + 24 + 3 = -4*y. Is 28 a factor of (y/6)/(4/800*-2)?
False
Let b(f) = 2*f**3 + 12*f**2 + 11*f - 4. Let s be b(-4). Suppose -s*g - 27 = -18*g + y, -5*g + 67 = -3*y. Is g a multiple of 8?
False
Is 2/(-7) - 35390265/(-118)*(-4)/(-35) a multiple of 19?
True
Suppose 0 = 3*k - 10 - 2. Suppose -2*d + 14 + 4 = k*q, d + 11 = 3*q. Is 2006/14 - ((-18)/(-14) - d) a multiple of 31?
False
Suppose 2*c - 8*c + 12 = 0. Suppose -t + 5*b = 0, c*b - 6*b = -4. Suppose 574 + 76 = t*x. Is x a multiple of 38?
False
Let j(z) = 4*z**3 - 6*z**2 + 3*z - 2. Let q(o) = o + 21. Let v be q(-19). Let k be j(v). Suppose 48 = k*l - 9*l. Is l a multiple of 2?
True
Suppose -h - 4*g = -176, 4*g + 148 = 176. Is 3 a factor of h?
False
Is 3/2 - (-54 - 228393/54) a multiple of 11?
False
Let z be (3180/10 - (1 + 4)) + 2. Suppose 4*c - z = -f, -3*c + 4*f = -0*f - 260. Is c a multiple of 10?
True
Let t = 7544 - 4481. Is t a multiple of 5?
False
Let t be (-15)/(-9) - (-12)/36. Suppose -4*m = -9*m - 2*v + 2212, 0 = -3*m - t*v + 1324. Does 58 divide m?
False
Does 3 divide 2910/(-4)*(-28)/42?
False
Does 70 divide (1206/(-335) - 3/(-5))/(9/(-129990))?
True
Let n = 119 - 115. Suppose -n*p = -25 + 13. Suppose -3*x + 165 = -p*u, -12 = -x - 4*u + 28. Does 8 divide x?
False
Let s = 21 + -17. Suppose 0*w - s = -2*w. Suppose h = -5*u + 78, 5*h - w*h = -4*u + 267. Is h a multiple of 14?
False
Suppose -40787 - 25037 = -22*i. Is 22 a factor of i?
True
Is 9 a factor of ((-258)/14)/(871/(-18291))?
True
Let d = 1085 + -436. Suppose 651*q = d*q + 850. Is 9 a factor of q?
False
Let w be (-2 + 84/30)*(-15)/(-6). Let g be (-4)/(-18) + (-86)/(-18). Suppose g*k = w*y + 105, k + y - 8 = 6. Is k a multiple of 17?
False
Let c(z) = -13*z + 1. Let f(s) = -13*s. Let i(t) = 3*c(t) - 4*f(t). Let b be i(1). Let r = b - -3. Is r even?
False
Suppose 4*j = -5*p + 124, -4*p = -0*p + 2*j - 98. Suppose 8 = -22*k + p*k. Suppose 2*h - 140 = -v, -4*v + v - k*h = -430. Does 10 divide v?
True
Let d = -4264 - -5750. Is 39 a factor of d?
False
Let g be 2 + (-2*3)/2 + 5. Is 34/(-1)*((-2)/g)/1 a multiple of 4?
False
Suppose 28328 = -109*n + 116945. Is n a multiple of 3?
True
Is (-272)/(-119)*7/5*2245 a multiple of 89?
False
Let i(a) = 12*a + 1. Let v be i(2). Suppose -2*u + 17 = 5*d - 2, 4*u - d = -17. Does 10 divide (-2 + u)*(-130)/v?
False
Let c = -53 - 41. Let q = 194 + c. Is q a multiple of 10?
True
Let y(d) = d**2 + 8*d - 7. Let r be y(-9). Suppose -6*p = r*p - 1536. Suppose -2*o + 662 = 4*c, 29 - p = -c - o. Is 24 a factor of c?
True
Let q(l) = l + 21. Let z = 23 - 3. Let a = z - 25. Is q(a) a multiple of 3?
False
Let r be 23 + ((-24)/1)/6. Let c = -1405 + 2374. Is 17 a factor of (2/3)/(r/c)?
True
Suppose 0 = 5*o + 3*n - 61, -4*n + 46 = 4*o - 3*n. Let s be ((-2)/4)/((-3)/198). Is s/o*(67/3 + 1) a multiple of 14?
True
Let f(k) = 30*k + 129. Is f(30) a multiple of 21?
True
Let x(f) = -f**3 - 14*f**2 + 21*f - 17. Let s be x(-14). Let r = -150 - s. Is 23 a factor of r?
True
Let s(w) = -w + 19. Let p be s(11). Suppose -p*d + 60 = -2*d. Suppose 15*x = d*x + 265. Does 10 divide x?
False
Suppose 0 = -u + 5*c + 16985, -743*u - 17003 = -744*u - c. Is 34 a factor of u?
True
Suppose -c - 2*q = -12, -3*c - 17*q + 1 = -18*q. Suppose -2*j + 5*j - 1101 = 3*o, 4*o + 742 = c*j. Is j a multiple of 11?
True
Let k = 537 + -247. Suppose 5*h + 6*w - w + k = 0, 2*h - 5*w = -151. Let j = -45 - h. Is j a multiple of 9?
True
Let z = 7509 + -3762. Is 12 a factor of z?
False
Let y = -26101 + 39655. Does 186 divide y?
False
Suppose -5*b + 8816 = w - 3337, 12138 = 5*b - 4*w. Suppose -5*v + 4*u - 1156 = -4214, 0 = -4*v - 5*u + b. Is v a multiple of 13?
False
Let q be -3*(-24)/(-9) + 18. Let f(n) = -n**2 + 15*n + 76. Is 7 a factor of f(q)?
True
Suppose 0*z + 2*z = w + 9, -z + w = -5. Suppose -5*m = 4*d - 220, z*d - 3*m + 86 = 274. Is d a multiple of 25?
True
Suppose 0 = 3*g - 0*g + 4*j - 114, -2*j = 4*g - 152. Suppose -53 - g = -d. Suppose d = 3*c - 179. Does 18 divide c?
True
Let g = -15186 - -25372. Is 11 a factor of g?
True
Suppose 22240 = 8*x - 0*x. Suppose -12*z = -2*z - x. Suppose -4*l + z = -130. Is l a multiple of 6?
True
Suppose -1514041 - 4997639 = -280*k. Is 19 a factor of k?
True
Suppose -65*n - 15*n = 94*n - 367836. Is 106 a factor of n?
False
Let c(m) = -m**2 - 37*m - 5. Let o(b) = -28*b + 64. Let w be o(3). Is c(w) a multiple of 14?
False
Let c = -64 + -93. Let d = c + 174. Is d a multiple of 17?
True
Let b(h) = 5*h**3 - 36*h**2 + 44*h + 71. Is 21 a factor of b(14)?
False
Let x(b) = -16*b**2 - b - 1. Let m be x(3). Let y = 3268 + -3020. Let v = m + y. Does 25 divide v?
True
Suppose -118*n - 45 = -127*n. Suppose -4*j - 7 = -2*u + 9, 3*j + 26 = 5*u. Suppose n*g = -u*b + 6*g + 53, -g = 1. Does 4 divide b?
False
Is 18 a factor of ((2 - 