 Does 52 divide x?
False
Let c be -56 - (0 - 8/(-2)). Let p be 792/c - (-1)/5. Is 4 a factor of ((-25)/1)/(13/p)?
False
Let o(r) = -8*r**2 + 0*r**2 + 0*r**2 + 26 - 26*r + 5*r**2. Does 12 divide o(-7)?
False
Let u be 48/(-168) + (604/7 - 1). Suppose -5*h + 425 = -3*d, 3*d + u = h - 0*h. Is h a multiple of 33?
False
Suppose 0 = -5*i + 10, 0*t + t + i - 25026 = 0. Does 136 divide t?
True
Suppose 74*w + 13158 = 92*w. Does 112 divide w?
False
Suppose j + 7 = -4*w, 2*j - 24 = 4*w - 14. Let q(a) be the third derivative of -a**6/120 - a**5/60 - a**4/4 - a**3/2 + a**2. Is q(w) a multiple of 2?
False
Suppose 3*i = -21, 643*w - 638*w + 3*i - 93614 = 0. Does 16 divide w?
False
Suppose -x = -5*u + 18, x + 4*x = u - 18. Suppose -4*c = -u*w + 2176, 2*c + 3*c + 2720 = -5*w. Is 3*(1*c/(-12) - 4) a multiple of 31?
True
Let k be ((-1)/(-2))/1*-2. Let f be ((-1)/2)/(k/18*3). Let l(x) = 4*x**2 - 3*x + 4. Is 3 a factor of l(f)?
False
Let j = 27 - 23. Suppose -j*z = -0*z + 8. Does 4 divide (z + (-12)/(-8))*176/(-2)?
True
Let c(v) = 3*v**2 + 6*v + 5. Let i be c(-1). Does 2 divide (i + -107)/(-7) + -2?
False
Let x be 63/3*2/3. Suppose 10 - x = -o. Suppose -o*f = 23 - 143. Is 10 a factor of f?
True
Is 15/(-2)*((10 - 3) + -245) a multiple of 17?
True
Let w(b) = 10*b**2 + 94*b - 12. Is w(-11) a multiple of 2?
True
Let i = -133 + 139. Suppose a + 1 = i. Suppose 0 = -5*r - 2*j + 54 + 260, 0 = -a*j - 15. Is 8 a factor of r?
True
Suppose 14*v + 5 = 19*v. Let s be 3*(-1)/v*(-2)/2. Suppose -5*k + 203 = s*t, t = 2*k + 20 + 66. Is t a multiple of 12?
False
Let q(j) = 4*j**3 + j**2 - 7*j - 7. Let p(f) = 10*f**3 + 3*f**2 - 13*f - 14. Let o(i) = 3*p(i) - 7*q(i). Is 31 a factor of o(6)?
False
Suppose -o + 310 + 498 = 2*r, -20 = -4*r. Is 42 a factor of o?
True
Is 6159 - 20*(-51)/(-85) a multiple of 7?
False
Is -6 + 11140 + (-24)/(-3 + -3) a multiple of 30?
False
Let d(s) be the first derivative of -s**4/24 + 11*s**3/3 + 15*s**2 - 18. Let j(u) be the second derivative of d(u). Is 14 a factor of j(8)?
True
Let i be ((-1)/4)/(5/20). Let w be 2/(-13) - (i - 67/13). Suppose 0 = -3*l - s + 533, 0 = 3*l + s - w*s - 503. Does 14 divide l?
False
Does 44 divide 4911 + ((-8)/(-8) - 3)*-1?
False
Let y be 3/9*(-42 + (-15)/(-5)). Let z(i) = i**3 + 14*i**2 + 10*i - 39. Let h be z(y). Suppose h = 4*j - 3*q - 14, j + 3*j - 12 = 4*q. Is j a multiple of 2?
False
Suppose 0 = -5*o - 5*c - 2358 + 23948, 3*o - 3*c = 12936. Is o a multiple of 62?
False
Let r(g) = 22*g**2 - 21*g - 204. Is 93 a factor of r(-9)?
True
Let f(j) = 8*j**2 + 14*j - 18. Let k be f(11). Let o be k/60 - 6/(-10). Suppose -z + o = -6. Is 5 a factor of z?
True
Let n = -17 - -32. Suppose 2*x = 7*x - n. Suppose 0 = -5*v + 5*b + 132 - 42, -x*b = 5*v - 66. Is v a multiple of 15?
True
Suppose 4*l = -16*b + 70780, 5*l + 5*b - 11770 = 76660. Is 9 a factor of l?
False
Let i = -824 - -826. Suppose -92*o = -5*d - 87*o + 4390, -2*d + 1772 = i*o. Is 21 a factor of d?
True
Let q(b) = 12*b - 30. Let o be q(0). Is 5 a factor of (2 + o + -2)/((-3)/26)?
True
Suppose 10*l = 12*l - 8. Suppose 3*z + 0*o + o = 1053, l*z = 4*o + 1388. Is 14 a factor of z?
True
Let g(k) = -k**3 - 18*k**2 + 90*k - 3. Let z be g(4). Suppose -3*p - 8 = p, -3*l + 3*p = -228. Suppose -86 = -z*y + l. Does 16 divide y?
True
Let s be ((-12)/21)/(2/(-7)). Suppose 2*g = -0*g + s. Does 20 divide -25*g*(-28)/5?
True
Let h = 1605 - 1127. Suppose -14*k + 18*k = -5*g + 2665, -15 = 5*g. Let i = k - h. Is 24 a factor of i?
True
Suppose -o = -2*o. Suppose 3 = -3*m - 3*f, 5*m - 9*m = -f - 16. Suppose m*x + 2*w - 96 = o, -x - 36 = -2*x - 2*w. Is x a multiple of 9?
False
Suppose -7*t - 482 = -8476. Suppose -3*l - 215 + t = 0. Suppose 4*q = 27 + l. Is q a multiple of 14?
True
Let h = -25721 - -54186. Does 163 divide h?
False
Let u(k) = -k**3 + 26*k**2 - 28*k - 72. Let p be (-3 + 5 - 3) + 25. Does 39 divide u(p)?
False
Let x be ((-3)/(-6))/((-2)/88). Let s = -430 - -479. Let g = x + s. Is 9 a factor of g?
True
Let a be (33/22)/((-3)/8*-2). Suppose -i - 298 = -a*f - 5*i, 4*f - 626 = 2*i. Does 54 divide f?
False
Let g(t) = 2*t**3 - 35*t**2 - 3*t + 28. Let l be g(19). Suppose 0 = 5*c - l - 186. Is c a multiple of 14?
False
Let a(h) = 76*h**3 + 5*h - 19. Is a(4) a multiple of 8?
False
Let c(k) = 4*k - 22. Let p be 3*(-4)/3 - (3 + 6). Let a be c(p). Let x = a - -128. Does 6 divide x?
True
Is (-14)/(-21) - (-35519)/33 a multiple of 14?
False
Does 72 divide (((-362)/4)/(530/5088))/((-2)/60)?
True
Let d(w) = 10*w**2 + 200*w + 657. Is 34 a factor of d(48)?
False
Let t(r) = -5*r**3 - 8*r**2 + 7*r - 75. Let p be t(-10). Suppose 3*s + 4*u - p = 2*u, 4*u = 3*s - 4067. Does 56 divide s?
False
Suppose 2 = 2*v, -3*a + 28*v = 29*v - 6757. Does 14 divide a?
False
Let m(h) = 3*h + 40. Let l be m(-12). Suppose -268 = -5*j + 3*q, q + 58 = j + l. Is 6 a factor of j?
False
Let s(m) = m**3 - 22*m**2 + 22*m - 19. Let b be s(21). Is 4/6*(b + 1 + 153) a multiple of 8?
True
Let t be (21/14)/(2/4). Let h be t/(-9) - (-4)/12. Suppose h*g + 4*g - 28 = 2*d, 8 = 2*d. Does 4 divide g?
False
Suppose -5223 = 6*o - 2*h - 30523, o + h = 4206. Is o a multiple of 19?
False
Suppose -2204 = -2*w - 17*w. Let n = -112 + w. Is 15 a factor of n/(-1 - 3) - -106?
True
Suppose 3*p - 3892 - 3379 = -t, -4*t = 5*p - 29133. Does 93 divide t?
False
Suppose 6*j + 1792 = 2*j + 11*j. Is j a multiple of 50?
False
Let g be 54/(-18) - 183/1. Is 25 a factor of 279/g + -1 + (-4986)/(-4)?
False
Suppose -4*t = -122 + 126. Let w be (t/1)/(3/(-9)). Suppose 5*v - a - 2*a = 1486, w*a = -6. Is 37 a factor of v?
True
Suppose -7*a + 2*a + 15 = 0. Suppose 10*c - 8*c - 105 = -a*o, -2*c = o - 115. Does 2 divide c?
True
Suppose 34 = 5*c + 49. Let l be 425/c*-3 - -3. Suppose -4*x + 120 = q, -2*q + 3*x - l = -6*q. Is 52 a factor of q?
True
Let w(r) be the second derivative of -r**5/20 - 5*r**4/3 - 4*r**3 - 14*r**2 - 10*r. Let z be w(-19). Let k = 133 - z. Is 11 a factor of k?
True
Suppose -2*j = j + 6, -3*p + 2*j = -10. Is 12 a factor of 280/p - (-11 + 56/8)?
True
Let g = -485 - -492. Suppose -g*z - 331 + 6778 = 0. Is z a multiple of 10?
False
Let s(n) = 36*n**3 + 4*n**2 + 11*n - 11. Let i be s(3). Suppose -q + 25 - 21 = 0, 2*z + 2*q = i. Is z a multiple of 43?
False
Suppose 0 = -2*w + 6, 11*p - 16*p = -4*w + 12. Suppose p = -18*f - 1679 + 8519. Is 60 a factor of f?
False
Suppose 0 = 2*x - 3*x + 4. Suppose 2*t - 282 = -274. Suppose -t*l = -5*h - 656, -x*h = -5*l - 2*h + 837. Is 13 a factor of l?
True
Suppose 16*d = 108652 + 18580. Does 16 divide d?
True
Let a be (-4)/22 + 2/11. Suppose 11*r - 12*r - 3 = a. Let v(b) = 9*b**2 - 5*b + 1. Does 10 divide v(r)?
False
Suppose 2*t - 6 = -4*d + 146, 4*t - 310 = -2*d. Suppose 2*r = -5*z - 0*r + 396, -t = -z - r. Suppose 25 = k - 3*v - 9, 2*k - 3*v = z. Is 23 a factor of k?
True
Suppose 4*l + 55 - 63 = 0. Suppose -1 = -q, 0 = -5*v + v + l*q + 1122. Does 32 divide v?
False
Let v(a) = -92 + 20 + 32 + 3 + 52*a. Does 26 divide v(10)?
False
Let p(j) = j - 2. Let y(n) = -n + 17. Let g be y(13). Let h be p(g). Suppose 0 = 4*d - h*m - 496, 359 = 3*d - 0*m + 5*m. Does 26 divide d?
False
Let u = 27 - 23. Suppose -402 = -u*l + 6. Suppose 37 = 3*k - 2*k - 3*y, 0 = -2*k - y + l. Does 9 divide k?
False
Let h(m) = -m**3 - 7*m**2 - 4*m + 18. Let x be h(-6). Suppose -x*n + 5*n = -6*n. Is (-8)/(n - 4 - 58/(-15)) a multiple of 15?
True
Suppose -2*y = 2*x + 7 - 401, 403 = 2*y - x. Is y a multiple of 25?
True
Let g(x) = -5*x + x**2 + 0*x**2 - x. Suppose -3*c - 12 = -2*u, -71*c + 70*c = 2*u - 20. Is g(u) a multiple of 24?
False
Let m(y) = 3*y**3 + 4*y**2 + 21*y + 9. Suppose -2*u - 2 = -5*z - 11, -4*u + 33 = 5*z. Is 22 a factor of m(u)?
False
Let z(x) = 9*x**2 - 4*x - 9. Let b be z(5). Let r = 283 - b. Let p = -35 + r. Is p a multiple of 13?
True
Suppose 20*s - 16*s + 280 = 0. Let m = s + 98. Suppose z = m - 9. Is z even?
False
Suppose -2*g + m = -9, -4*m = 6*g - 2*g - 12. Let y be ((-15)/9)/(g/(-36)). Suppose -7*a - 2008 = -y*a. Is 42 a factor of a?
False
Let g(v) = 7*v**2 - v - 4. Let b be g(-3). Let z = 122 - b. Suppose -3*k - y = -z, 4*y = -4*k + 12 + 68. Is 20 a factor of k?
True
Suppose -2*r + 49678 - 9314 = 2*c, 2*r = c - 20188. Is 74 a factor of c?
False
Let v = 7761 + -1203. Is 10 a factor of v?
False
Let t = 80443 - 17116. Does 57 divide t?
Tr