4*p + 8, -3*u + p = 3*p - 20. Let b(c) = 2*c - 12. Let q be b(u). Suppose 7*y - 60 - 38 = q. Is 2 a factor of y?
True
Suppose -35 + 5 = -15*w. Let q = -14 + 69. Suppose 361 = w*y - q. Does 16 divide y?
True
Let v(m) = 9 - m**3 + 21 + 3*m + 75*m**2 - 78*m**2. Is v(-6) a multiple of 24?
True
Is 2 a factor of (-6)/(-1) - (0 + -1)*191008/254?
True
Let p(l) = 213*l**2 - 18*l - 216. Is 8 a factor of p(-10)?
True
Let r = 740 - 1214. Let a be 5 - r - (1 - -1). Suppose 2*o = -2*o - 3*k + a, -o - k = -120. Is o a multiple of 18?
False
Suppose 111780 = 31*v + 23*v. Is 69 a factor of v?
True
Let n(i) = -2*i**3 - 14*i**2 - i + 1. Let m be n(-7). Does 67 divide -1*4 + m + 800?
True
Suppose -q - 13 = 20. Let n be q/(-7) + (-24)/(-84). Is 8 a factor of ((-80)/n)/(1/(-2))?
True
Let n be (4/8 + 0)*44 - 5. Suppose n*x = 14*x + 168. Does 8 divide x?
True
Let q be (1 + 1)/((-72)/(-36)). Is (23 - q)*(-110)/(-44) a multiple of 2?
False
Suppose 95*u - 101*u = -1704. Suppose -361 = 7*z - 12*z - 2*l, u = 4*z + 4*l. Is z even?
False
Let w(l) = l**2 - 44*l - 78. Let m be w(47). Is (-9)/((-81)/m) + 473 a multiple of 30?
True
Let n(f) = -f**2 + 39*f - 4. Let o be n(9). Let r = -56 + o. Is r a multiple of 14?
True
Let t(h) = 7*h**3 - 477*h**2 + 66*h + 136. Let q be t(68). Suppose 11 = 4*m - 5. Suppose -s = -q*y - 5*y - 171, -m*s - 5*y + 584 = 0. Is 14 a factor of s?
False
Does 60 divide (120/7)/(134/27202)?
True
Let m be 2/(-14)*(-3 + -4)*11. Suppose -m*n - 99 = -1100. Is 7 a factor of n?
True
Is 12 a factor of 1*(-12)/8 - 752906/(-28)?
False
Is 7 a factor of (6*(-14)/105)/((-26)/36205)?
False
Suppose 284 = 5*f - 2*l, 2*f + 0*l = 4*l + 120. Suppose 0 = 2*i + 3*g - 9 - 101, -i = g - f. Is 11 a factor of (7/(-14))/((-1)/i)?
False
Let v(f) = f**3 + 8*f**2 - 2*f - 47. Let d be v(-7). Does 15 divide (7 - 120/d)*316*-1?
False
Let o(f) = -2*f**2 + 12*f + 24. Let q be o(8). Is (-20530)/(-70) + q/28 a multiple of 13?
False
Let b(t) = t**3 - 21*t**2 - 44*t + 50. Let o be b(23). Suppose 0 = 107*j - o*j - 363. Does 3 divide j?
True
Suppose 7304 = 3*s - 2*k, 1854 + 578 = s - 2*k. Does 89 divide s?
False
Suppose 0 = 13*p + 6973 - 2553. Let j = 1003 + p. Does 13 divide j?
True
Let b(l) = 11*l**3 - 12*l**2 + l + 13. Let p be 2*1/(6/(-4) + 2). Is b(p) a multiple of 23?
True
Is 11/((-275)/(-103860)) - -4 - 6/15 a multiple of 198?
True
Suppose 0 = -5*h + k + 28, -4*h + 3*k = -k - 32. Suppose h*a - 4*a - 45 = 0. Let m = a - -41. Does 11 divide m?
False
Let a = -87 - -87. Suppose a = -115*x + 118*x - 465. Does 31 divide x?
True
Is 30 a factor of (17/(51/(-3)))/((-1)/5069)?
False
Suppose 0 = 5*l + b - 33883, -48*l - b = -47*l - 6779. Does 3 divide l?
False
Let y = 13078 - 7288. Is y even?
True
Does 32 divide ((-375)/4)/((-151)/19328)?
True
Let t(p) = -130*p**3 + 10*p**2 + 52*p + 16. Is 30 a factor of t(-5)?
False
Suppose 2*f = -4*o + 92338, -2*o + 23102 = -o - 2*f. Is 16 a factor of o?
True
Let g(b) = -2*b**3 - 8*b**2 + 5*b + 12. Let t = 17 + -23. Does 10 divide g(t)?
False
Let n = -51947 + 83613. Is n a multiple of 261?
False
Suppose -2*v - 3*v - 18 = -d, -d = v. Suppose j + d*x = 3, 3*j = -j - 3*x - 6. Does 3 divide (21/(-7))/(j/34)?
False
Is 50 a factor of 240720/17 + -15*10/15?
True
Let o(k) = -2*k - 5. Let q be o(-5). Let p(b) = -b**3 + 10*b**2 + 12*b + 12. Let g be p(10). Suppose q*z + z = g. Does 11 divide z?
True
Let p = -18680 - -29590. Is p a multiple of 10?
True
Let j be ((-528)/(-40))/(-11)*115/(-2). Let g = j - 9. Is g a multiple of 30?
True
Let h(f) = 5*f**2 - 23*f + 5. Let w be h(4). Let q(g) = -2*g**3 - 4*g**2 + 10*g + 31. Does 11 divide q(w)?
True
Let k(y) be the first derivative of -y**4/4 - 19*y**3/3 - 6*y**2 - 3*y - 120. Is k(-19) a multiple of 6?
False
Suppose -4*b + 416 = 4*b. Suppose 5 = 3*y - 2*h - b, 2*y - h = 37. Suppose -y*f = -9*f - 912. Is 17 a factor of f?
False
Let s = 111 + -14. Let h = s + -102. Is 2124/60 - (-2)/h a multiple of 13?
False
Let q = 470 - 426. Suppose q*b = 10115 + 77401. Is 13 a factor of b?
True
Let g(l) be the first derivative of -l**3/3 - 15*l**2 - 14*l + 44. Let w be g(-19). Is (-4)/26 - (-19530)/w a multiple of 13?
False
Suppose -15*q + 22984 + 4016 = -5*q. Is 33 a factor of q?
False
Suppose -152*b - 18*b = 171*b - 5814732. Is b a multiple of 6?
True
Suppose -12*k + 12519 = 7872 - 52137. Is 13 a factor of k?
True
Let x(j) = -12*j + 2*j - 14*j + 1. Let i be x(-5). Let v = 273 - i. Does 19 divide v?
True
Let h(i) be the third derivative of 3*i**5/20 - i**4/12 - 2*i**2. Let f = 107 - 102. Is 38 a factor of h(f)?
False
Suppose -36142 + 207196 = 34*j. Is j a multiple of 43?
True
Let l(r) = -2*r**2 + 5*r - 7. Let i(t) = t**2 - 2*t + 4. Let a(f) = 9*i(f) + 4*l(f). Let x be a(-10). Suppose -3*g + 250 = x. Is 6 a factor of g?
True
Is 15 a factor of 1*-1*((-567892)/26 + -23)?
False
Suppose -3*q - 4 = q. Let s = 2172 - 2070. Does 24 divide s/q*(-5)/((-30)/(-9))?
False
Let q = -34 - -22. Let y be (-3 - (-33)/9)*(-36)/(-24). Does 25 divide 4*(y/(-1))/(q/75)?
True
Let n be (3/2)/((-1)/(-2)). Suppose 23*a = 695 + 547. Suppose a = 3*h - n. Is h a multiple of 3?
False
Let f(u) = -3687*u - 3243. Is 20 a factor of f(-9)?
True
Suppose v = -k + 11, -2*v + 7*v - 47 = -k. Let p(m) = -23*m + 223. Is 7 a factor of p(v)?
False
Let q(s) = -29*s + 247. Is 52 a factor of q(-65)?
True
Suppose 5*k = -4*u + 9809, k + 4*u - 1489 = 476. Does 37 divide k?
True
Is 46 a factor of 186*368/48*26?
True
Suppose -25513 = -95*w + 528147. Is w a multiple of 18?
False
Let l be 4/(-6) - (-210)/45. Suppose -l*h + 3228 = 5*c - 0*h, 5*h = -15. Does 54 divide c?
True
Let u(v) be the third derivative of -v**6/120 - 2*v**5/5 - 29*v**4/24 - 31*v**3/3 - 3*v**2. Does 6 divide u(-23)?
False
Suppose 18*h + 34997 = 107447. Is h a multiple of 7?
True
Suppose -w = 2*v - 13545 - 1837, 0 = 4*w - 3*v - 61495. Is 124 a factor of w?
True
Let i(b) be the second derivative of 2*b**3 - 30*b**2 - 74*b. Is i(32) a multiple of 36?
True
Let u = -8948 - -9823. Is u a multiple of 3?
False
Suppose -a - 7309 = -3*c, -2*c + 3909 + 987 = 4*a. Does 23 divide c?
True
Let g(b) = b**3 + 7*b**2 - 3*b + 9. Suppose d = 2, 2*f - 4*d - 6 = -4. Let p = -2 - f. Does 6 divide g(p)?
True
Let l = 5727 - 4673. Is l a multiple of 131?
False
Let c be (9 + -7)*33/18*3. Suppose -c*f = -1464 - 7644. Is f a multiple of 17?
False
Let p(x) = 15*x**2 + 36. Let c be p(-6). Suppose 15*z - c = 12*z. Does 53 divide z?
False
Let z(a) = 4*a - 12*a - 11 - 4 + 8. Suppose 0 = -0*r + 5*r + 20. Is 15 a factor of z(r)?
False
Let t = 10 - 25. Let f(d) = 3098*d**3 - d**2 + 2. Let i be f(1). Does 11 divide (-2)/t + i/45 - 2?
False
Suppose -1924624 = -144*f - 64*f. Does 57 divide f?
False
Let g(i) = -8*i - i + 15*i + 40 - 7*i. Is g(28) a multiple of 6?
True
Let f = -2841 + 5647. Does 50 divide f?
False
Suppose -2 = -2*p + 4. Suppose p*b - 7 = 5*w, 4*b + 3*w - 52 = -4. Suppose b*t = 7*t + 90. Does 12 divide t?
False
Suppose 452*t = 26*t + 9199589 + 2106451. Is 20 a factor of t?
True
Suppose 20254*z - 668160 = 20239*z. Is z a multiple of 29?
True
Let r = -51 + 73. Let x(h) = -3*h**3 + 29*h**2 - 25*h + 74. Let g be x(9). Suppose g*c + 726 = r*c. Does 12 divide c?
False
Let n(c) = -c**3 + c**2 + 4*c + 2. Let r be n(4). Suppose 528 = -93*a - 588. Is 18 a factor of a/r + (-538)/(-5)?
True
Let s be (24/(-4))/((-30)/(-975)). Let g = s + 379. Is 4 a factor of g?
True
Suppose 0 = 4*l - 3*m - 12417, 320*l - 3088 = 319*l + 4*m. Does 74 divide l?
True
Let k be (-108)/30*800/(-6). Let j be 1/(-1) + 0 - -1. Suppose -7*n + 192 + k = j. Is n a multiple of 27?
False
Let x be (-2 + 316 - -5) + -2. Suppose 6*k = 703 + x. Suppose r - 4*j - 19 = -6*j, -5*j - k = -5*r. Is r a multiple of 4?
False
Does 45 divide (720/21)/((-34)/(-1428))?
True
Does 26 divide (1 - -50412) + (12 + 80/(-10) - 3)?
True
Let m = 33249 - 7725. Does 85 divide m?
False
Let k(i) = -9*i - 24. Let o(z) be the third derivative of z**6/120 - z**5/15 - z**4/12 - z**3/3 - z**2. Let c be o(4). Is k(c) a multiple of 11?
True
Let f = 678 - 654. Suppose -f*v = -6465 - 11967. Is 24 a factor of v?
True
Suppose -5*d = -y + 4*y + 212, -5*d + 3*y = 218. Let k = -43 - d. Suppose 0*h + 2*h = -2*q + 42, k = 3*q - 2*h - 48. Is 6 a factor of q?
True
Suppose 10*a - 54 = a. Is 3 - (5 - 1043)/a a multiple of 3?
False
Let l = 15