 p. Is d + (-2*59)/(-2) a multiple of 7?
True
Let k(w) = -w**3 - 3*w**2 + 2*w - 3. Let r be 1 + 0 - (-2 - -6). Let u be k(r). Is 26 a factor of (156/u)/((-2)/12)?
True
Suppose -4*h + h = 144. Let f = 50 + h. Suppose -b + f*b - 34 = -v, -2*b = -4*v + 142. Is v a multiple of 16?
False
Let u(f) = 111*f**2 + 16*f + 71. Does 24 divide u(-8)?
False
Let k(y) be the second derivative of -y**5/20 + 7*y**4/12 - y**3 - 11*y**2/2 - 3*y - 7. Is k(4) a multiple of 13?
True
Suppose -5*f - 2*s - 3*s - 30 = 0, -4*f + 1 = -s. Let i be f*1/(-3) + (-668)/(-12). Suppose 0 = 5*c - 20, 2*g - 4*c - 8 - i = 0. Is g a multiple of 8?
True
Let f = -124 + 174. Suppose 2*u = -0*u + 2*d + f, -4*d + 45 = u. Does 29 divide u?
True
Let y = 51 + -57. Let g be (-3 - 2)/(7 + y). Let p(l) = -2*l**3 - 4*l**2 + l - 5. Is p(g) a multiple of 20?
True
Suppose 4*z = 165 - 25. Suppose -4*r - 13919 = -z*r. Does 19 divide r?
False
Is 33 a factor of ((-784)/(-70))/7 + (-106244)/(-10)?
True
Let x = -9 + -12. Let l(h) = h**2 + 25*h - 37. Let o be l(x). Let c = o - -229. Is 12 a factor of c?
True
Let t = -84 - -31. Let k = -56 - t. Let l(d) = 13*d**2 - 7. Does 10 divide l(k)?
True
Let i = 10485 + -9081. Is 58 a factor of i?
False
Let y(o) = 130*o**2 + 65*o + 373. Does 10 divide y(-7)?
False
Let b(h) be the first derivative of -15 + 6*h - 19/2*h**2. Does 18 divide b(-2)?
False
Let h = -5939 + 10538. Is h a multiple of 9?
True
Let b(a) = 872*a - 1664. Is b(12) a multiple of 12?
False
Let t = 31 - 55. Let q = 95 + t. Let d = 156 - q. Is 14 a factor of d?
False
Let m = -589 + 601. Suppose 2*x = -5*u + 565, u + 9 - m = 0. Is 25 a factor of x?
True
Is 262 a factor of 8/10*(-42805975)/(-1180)?
False
Let o(x) = 5*x**3 + 4*x**2 - 5*x. Let p be o(1). Suppose 5*u - 53 - 54 = -2*c, u - 25 = -p*c. Is 2 a factor of u?
False
Suppose -4*i + 12*i = 6*i + 68552. Does 44 divide i?
True
Let l = -217 - -681. Let w be (4/(-1))/(-2)*(l - 1). Suppose i - 2*f = 6*i - w, 0 = -3*i + 4*f + 540. Is 15 a factor of i?
False
Suppose 2*u - 24 = 12. Suppose 5*r - 6*w - 62 = -3*w, -3*r - 3*w + u = 0. Suppose 11*d - 96 = r*d. Is d a multiple of 11?
False
Suppose 0 = 3*w - t - 32, 3*w - 4*t = 7*w - 16. Suppose -4*c - w*c + 6344 = 0. Is c a multiple of 8?
True
Suppose 4*q + 927 = 13*q. Suppose 5*f = -2*n + 127 + q, -2*f - 3*n + 81 = 0. Is 2 a factor of f?
True
Let a = 265 + -273. Let m(z) = z**2 - 12*z - 43. Is 5 a factor of m(a)?
False
Is 6 - 7/(56/44) - (-7638)/12 a multiple of 4?
False
Let i(p) = 1 - 2*p + 0 + 4*p. Let l be i(-1). Is 13 a factor of (-1 - (l - -2))/(2/(-254))?
False
Let r(f) = f**3 - 4*f**2 - 3*f + 4. Let i be r(-3). Let q(y) = -y**2 - 7*y + 88. Let u be q(-9). Let z = u + i. Does 20 divide z?
True
Let i(b) = 8*b**2 - 22*b - 12. Is 7 a factor of i(11)?
True
Let t(w) = w**3 + 11*w**2 - 13*w - 6. Let f be t(-12). Suppose -4*y + f = 18. Does 16 divide y + (-6)/(-2) + 0 - -38?
False
Does 22 divide (-2)/7 + (11 - 78512/(-49))?
False
Is 20 a factor of 64200*((-572)/(-65))/22?
True
Let t(r) = -r**3 - 3*r**2 + 22*r + 42. Does 174 divide t(-10)?
True
Let p = 9791 - 7853. Does 19 divide p?
True
Let h(r) = -2*r**2 + 13*r - 6. Let q be h(5). Is 79 a factor of 7526/q + (-42)/189?
False
Suppose 3 = 3*p, -5*i + 19 = -2*p + p. Suppose -408 = -j - 0*j + i*c, 5*j = 5*c + 2010. Suppose 9*s = 4*s + j. Is s a multiple of 10?
True
Suppose 105*c = 67*c + 264331 + 155873. Is c a multiple of 57?
True
Let n(p) = p**2 - 5*p - 35. Let m be n(-5). Does 11 divide (-5)/(-25) - (1 + (-462)/m)?
False
Let b(f) be the second derivative of 18*f + 3*f**2 - 5/6*f**4 - 5/6*f**3 + 0 + 1/20*f**5. Is 10 a factor of b(11)?
False
Suppose 328719 = 115*g + 114704. Does 37 divide g?
False
Suppose -2*l = f - 42, -3*l + 69 = -f + 4*f. Suppose -l*i + 20 = -17*i. Let v(o) = o**2 - 9*o + 22. Does 2 divide v(i)?
True
Let x(i) = -i**3 + 6*i**2 + 17*i - 2. Let d be x(8). Is 52 a factor of 6/(-180)*-5 + 509/d?
False
Let x = 505 + -173. Let l be x/6 + (-5)/(15/(-2)). Suppose -55*o + l*o = 16. Does 5 divide o?
False
Let l = -207 + 45. Is 4 a factor of (l/216)/(-1*(-1)/(-44))?
False
Let s(u) = 105*u**2 + 34*u + 275. Does 51 divide s(13)?
True
Suppose 3*r = -h - 43 - 72, -2*r - 80 = 4*h. Let w = -185 - -69. Let t = r - w. Is 13 a factor of t?
True
Let z(f) be the first derivative of f**3/3 - 6*f + 16. Let d be z(5). Is 17 a factor of 389/2 + d/38?
False
Let o = -30 + 38. Let l be (-31)/(-2) + (-4)/o. Suppose 21*c - 480 = l*c. Is c a multiple of 15?
False
Let n(m) = 2*m**3 + 3*m**2 - 7*m + 22360. Is 161 a factor of n(0)?
False
Let i(t) = -t**2 - 10. Let p be i(0). Let l(u) = -13*u + u - 12*u + 0*u**2 + 2 + 8*u - u**2. Is 14 a factor of l(p)?
False
Suppose 6*w - 5*w + 6732 = 4*b, -3*b + 5049 = 6*w. Is 33 a factor of b?
True
Does 40 divide (16/3)/((-165)/(-141075))?
True
Suppose -4*f - 5*z - 765 = 0, 4*f + 3*z + 940 = -f. Let j = f - -339. Is j a multiple of 22?
True
Let x(j) = -4764*j - 27. Let z be x(-1). Suppose -8*a = 1481 - z. Does 19 divide a?
False
Suppose 2*u - 4*l + 6 = 0, -4*l - 19 = 5*u - 2*u. Let v(g) = -3*g**2 - 2*g + 1. Let w be v(u). Does 12 divide (w/(-8))/(2/60 - 0)?
True
Let a(l) = -3*l + 6*l + 310*l**2 - 3 - 106*l**2. Let r be a(1). Suppose -7*b = -5*b - r. Is 17 a factor of b?
True
Is 1563/(-5210) + 2*(-10786)/(-40) a multiple of 10?
False
Suppose 8 = d + 11. Let w be (-9 + -23)/(2/d). Suppose 15*o - 17*o = -w. Does 12 divide o?
True
Does 4 divide (10 + 569)*368/24?
False
Suppose 4*l = 8, 4*y + 3*l = 2150 - 124. Let q = 200 + y. Is 47 a factor of q?
True
Suppose -4*a + 4 = 0, -2*a - 79 = -h - 27. Suppose -h*m = -48*m - 48. Is m even?
True
Suppose -177*o + 2942362 + 972347 = 0. Is 165 a factor of o?
False
Suppose 71944 = -150*o + 173*o. Is 17 a factor of o?
True
Let f = 25428 + -1416. Is 46 a factor of f?
True
Let j(d) = 1100*d**2 + 34*d - 14. Does 2 divide j(1)?
True
Let i = -6 + 8. Let d(j) be the second derivative of j**4/4 - j**3/6 + 2*j**2 - 112*j. Does 3 divide d(i)?
False
Let x be ((-72)/(-27) + -3)/(1/(-84)). Let h(d) = 16*d - 58. Is h(x) a multiple of 5?
True
Suppose -4*l = -0*l + 3*k - 5, 3*l - 2 = -4*k. Let g be (-39)/(-2) - (-1)/l. Does 4 divide 4/g - (-693)/35?
True
Let w(z) = 5*z**2 + 20*z - 84. Let q = 59 - 53. Is w(q) a multiple of 24?
True
Let q = -373 - -378. Suppose -4*f + 8*f + q*p = 73, 2*p - 16 = -f. Is f even?
True
Suppose 9*p - 8*p = 2*q + 130, -q = 3. Does 6 divide p?
False
Suppose 12*f - 15*f - 2*r + 4331 = 0, 2*f - 3*r - 2883 = 0. Is f a multiple of 41?
False
Let f = -1057 + 2169. Does 3 divide f?
False
Let t be 1/(-3) + (-1388)/(-6). Let c = t + -79. Suppose -4*l = -24 - c. Is l a multiple of 11?
True
Let z(i) = -40*i - 18. Let k be z(-2). Suppose 65*c + 156 = k*c. Let f = 167 + c. Is f a multiple of 23?
True
Suppose 11*g - 51828 = 17230. Is g a multiple of 4?
False
Let r = -174 - -318. Is (-6)/(-81)*9*r a multiple of 4?
True
Let v = -65 - -65. Suppose 3 = -3*b - v*b. Is 2 a factor of (-494)/(-52) - b/2?
True
Suppose -23*o - 4891 = 16936. Let t = -643 - o. Is 18 a factor of t?
True
Let l = 24 + -22. Suppose -21*f - 7*f = -2968. Is (7 - 6)/(l/f) a multiple of 10?
False
Suppose 16*p + 49 = 193. Is 13 a factor of ((-12)/p - -4)/(1/108)?
False
Let z(j) = 0 + 4*j + 4*j - 1 - 12*j**2 + 8 + j**3. Let d be z(11). Is 15 a factor of ((-2)/2)/(1/d)?
False
Let c(d) = 1556*d**2 - 12*d - 8. Does 21 divide c(-1)?
False
Let z(q) = -36*q**2 + 26*q - 32. Let o be z(6). Let p = o + 1962. Is 79 a factor of p?
True
Let m(q) = 6*q**2 - q + 49. Let u be m(-8). Suppose u = 6*v - 627. Is v a multiple of 10?
False
Suppose -3*n + 209 = g - 269, 8 = 2*n. Is 2 a factor of g?
True
Let r = -34 + 19. Let w be (-11)/(-3) - r/45. Suppose -2*v = w, -2*g + v + 316 = -0*v. Is 53 a factor of g?
False
Let j(y) = -1 + 1 + 3 + 3 - 10*y. Let g be j(-6). Let u = g - 36. Does 15 divide u?
True
Let u(r) = r**2 - 7*r + 2*r + 5 - 32. Let f be u(12). Let t = f - 23. Does 34 divide t?
True
Suppose -4*h = 2*u - 90382, -67*u + 68*u = -5*h + 112976. Is h a multiple of 33?
False
Let w = -409 - -370. Is 2 a factor of w/(-13)*(-264)/(-18)?
True
Suppose -3*c - 10 = 2, 0 = 3*b - 3*c - 21. Suppose -3*q + 5*d + 10 = 0, -b*d + 20 = 2*q + 7. Suppose -6*s + 209 = q*s. Is s a multiple of 6?
False
Let o(n) = -2*n**3 - 22*n**2 - 20*n - 5. Let b be o(-10). Let z(d) = -d**3 + 7*d**2 + 4*d