ide p?
False
Suppose -z = -2*g - 4, -4*z - 11 = -0*z + g. Is 1174/14 - 11 - z/14 a multiple of 15?
False
Let d(x) = -21*x - 2. Let p be d(-10). Suppose -2*w = -4*w + p. Let q = w - 44. Is q a multiple of 15?
True
Let v(i) = -3*i**3 + 115. Let c(g) = 2*g**3 - 58. Let b(z) = 5*c(z) + 3*v(z). Let o be b(0). Let d = o - 15. Is 40 a factor of d?
True
Let p = 2390 - 2410. Let w = 4 + -7. Is (p - -23)*((-260)/w)/1 a multiple of 13?
True
Suppose -z - 99*k + 195 = -100*k, 3*z - 579 = 2*k. Is z a multiple of 11?
False
Let d = 41 - 112. Let q = d + 101. Does 7 divide q?
False
Let j be -1 + 2595 + (-21)/((-231)/(-22)). Suppose 58*s - u + 1035 = 60*s, -5*s = u - j. Is s a multiple of 22?
False
Let g(h) = h**3 + h**2 - h + 3. Let o be g(0). Let u(p) = -70*p**2 - 67*p**2 + 0 + 140*p**2 - 9*p + p**o - 6. Does 7 divide u(-3)?
True
Suppose 0 = -4*m + 9*m + c - 3692, 2*c = -6. Suppose -10*q - 5*w = -5*q - 3725, m = q + 3*w. Is 17 a factor of q?
True
Does 6 divide (-6 - 2) + -9*(-26152)/126?
True
Let g = -82 - -30. Let k be ((-116)/2)/(6/15). Let w = g - k. Does 20 divide w?
False
Let l(r) = 10*r**2. Let p be l(1). Let u be (-4*(-6)/20)/((-2)/p). Is 704/55*(-15)/u a multiple of 4?
True
Let a be 26/6 - (-16)/(-12) - -186. Suppose o - a = 435. Is o a multiple of 9?
False
Let t(z) = -z**2 - 14*z - 38. Let y be t(-9). Suppose -1855 = y*w - 5803. Does 47 divide w?
True
Let p = 14611 + -9081. Does 14 divide p?
True
Let q = 556 + -374. Let i be q - 3/2*16/(-6). Let m = i - 80. Does 35 divide m?
False
Suppose -45825 = -5*b - 3*i, 3375 = b + 2*i - 5790. Does 47 divide b?
True
Let x(f) = 4*f**3 - 38*f**2 + 36*f - 98. Does 16 divide x(15)?
True
Let l(b) = 149*b**2 - 3*b - 2. Let c = -36 + 42. Let r = c + -7. Does 24 divide l(r)?
False
Let a be ((-592)/(-14))/(6/21). Is (-1)/(a/150 + -1) a multiple of 15?
True
Let z = -73 + 57. Let t be z/(-56) - (-61)/7. Let o = 11 + t. Is 4 a factor of o?
True
Let p(s) = 65*s + 367. Is 19 a factor of p(3)?
False
Suppose 5*h - 3*p - 16 = 0, 5*p = -2*h + h + 20. Suppose -1103 = 16*t - 4543. Suppose -h*c + 3*f = -583, -4*c + t + 265 = f. Is c a multiple of 17?
True
Let t(y) be the second derivative of 0 - 13/12*y**4 - 1/20*y**5 + 32*y + 5/6*y**3 + 5/2*y**2. Is t(-14) a multiple of 43?
False
Let n = -1911 + 5947. Does 36 divide n?
False
Let n = -39358 + 78658. Does 65 divide n?
False
Let c(h) = -h**2 + h - 1. Let n(b) = -5*b**2 - 3*b - 11. Let f(s) = 6*c(s) - n(s). Let u be f(12). Let p = u - -67. Is 9 a factor of p?
True
Let c = -8107 - -8172. Is c a multiple of 10?
False
Suppose 3966 = 4*p + 5*b, 5013 = 5*p - 63*b + 60*b. Is 27 a factor of p?
True
Suppose -9*r + 5*r + 62156 = -3*p, -4*p = r - 15558. Does 38 divide r?
True
Let w(b) be the third derivative of -b**5/60 + b**4 + 183*b**3/2 - 217*b**2. Is w(0) a multiple of 36?
False
Let w(b) = 2927*b - 216. Is 24 a factor of w(2)?
False
Suppose -5*f = 3*z - 5723 - 23116, -z + 2*f + 9635 = 0. Does 15 divide z?
False
Does 27 divide 676/2704 + 224443/4?
False
Let t(f) = f**2 - 43*f + 28. Is 10 a factor of t(-31)?
False
Let f = -3466 + 6016. Does 10 divide f?
True
Is 93 a factor of -2 - -4 - (-5295 - -89)?
True
Is 41 a factor of 8234 + (1/(-2) - 1950/(-260))?
True
Suppose 38891*b - 38875*b = 64. Let w(f) be the second derivative of f**5/10 + 2*f**4/3 - 5*f**3/3 - f**2/2 - f. Is w(b) a multiple of 36?
False
Let v = 34476 + -18887. Is 119 a factor of v?
True
Let s(o) = -19*o - 30. Let h(w) = -1. Let r(l) = 15*h(l) + 3*s(l). Is r(-5) a multiple of 15?
True
Let g = -301 - -305. Is 59 a factor of (g + 140/21)/((-12)/(-2106))?
False
Suppose 0*z - a = 3*z + 3, 3*z - 3 = a. Suppose -8*m - 752 + 1896 = z. Is 11 a factor of m?
True
Suppose -40 = 5*z + 3*b, -3*z - 2*z = 5*b + 40. Let v(g) = 21*g - 9. Let r be v(6). Let t = r - z. Is t a multiple of 15?
False
Suppose -157 = -0*j - 2*j + 3*s, 2*j - 156 = 4*s. Suppose 4*b + 102 = -2*f, -b + 46 - 256 = 5*f. Let c = j + f. Does 11 divide c?
False
Let s(t) = 124*t + 17. Let r be s(-3). Let y = 784 + r. Is y a multiple of 33?
True
Suppose 525640 = -419*w + 504*w. Does 137 divide w?
False
Let b(g) = -1239*g + 2549. Does 13 divide b(-34)?
False
Let r = 1516 + -591. Let t = -452 + r. Is t a multiple of 11?
True
Does 8 divide 64/(2624/(-369)) + 1*353?
True
Suppose -j + 2374 = 16*r - 17*r, -4*j + 9494 = -5*r. Is j a multiple of 29?
False
Suppose 0 = 4*a + 12, 5*p - 4*a = -0*p + 337. Suppose 2*l - 1859 = -k, -63*l - k = -p*l + 1865. Is 19 a factor of l?
True
Let m = -2483 + 2883. Is 25 a factor of m?
True
Let x = 769 + -1430. Let o = x - -1204. Is 14 a factor of o?
False
Let g(c) = 73*c - c**2 + 48*c + 22 - 83*c. Does 50 divide g(19)?
False
Suppose -72*l = -q - 66*l + 5977, 17912 = 3*q + l. Does 12 divide q?
False
Let s be 24578/10 + 128/(-160). Let z = s - 1449. Is 22 a factor of z?
False
Is 12 a factor of (-7)/(70/(-109922)) + 22/(-110)?
True
Suppose 3*z = 1008 + 960. Let q = z - 325. Is q a multiple of 14?
False
Let r = 11 - 8. Suppose -2*y - x = -1 - 16, r*x + 37 = 5*y. Is 28 a factor of 298/y - (-3 + (-13)/(-4))?
False
Suppose o - 3 = g, 2*o - 10 = -3*g + 6. Let n(f) = f**3 - 6*f**2 + 3*f + 7. Let s be n(o). Let k = s - -79. Does 19 divide k?
True
Let n be (2/3)/((-3)/576). Let p = n - -297. Suppose 5*m = 5*g - 4*g - p, 0 = 5*g - 2*m - 914. Does 23 divide g?
True
Does 3 divide 416/10*1560/208 + -9?
True
Let y = 5146 + -2762. Does 11 divide y?
False
Let x be 76/95 - (-228)/15. Does 25 divide (40/x - 6)/((-2)/16)?
False
Is -807*(119/21 + -6) - 6 - 2 a multiple of 87?
True
Let s be 51/6*(-12 + 8). Let q = -29 - s. Suppose -4*r = 4*c - 28 - 340, 442 = q*c - 4*r. Is c a multiple of 9?
True
Let i(f) be the third derivative of 11*f**5/60 + 7*f**4/24 + f**3/3 - 49*f**2. Does 43 divide i(-10)?
True
Let i be (-858)/(-8) + (-13)/52. Suppose -70 = 2*y + v - 205, 3*v = -15. Let k = y + i. Does 36 divide k?
False
Let a(r) be the third derivative of 17*r**4/24 - 30*r**2. Is 9 a factor of a(6)?
False
Let l(o) = -161*o - 161. Let i(d) = -10*d - 10. Let g(k) = 63*i(k) - 4*l(k). Let m be g(6). Suppose 5*j - 3*b = 73 + 22, -4*j - 2*b = -m. Does 11 divide j?
True
Let t(o) = o**3 + 9*o**2 + 11*o - 18. Let g be t(-7). Suppose 3*m = -5*l + 635, -387 = -g*l + m - 4*m. Is l a multiple of 12?
False
Is 37 a factor of (-28)/10 - 7001280/(-975)?
True
Let r = -17560 + 28172. Is r a multiple of 14?
True
Suppose -15*w = 3*w + 4572. Let p = 536 + w. Does 14 divide p?
False
Let a(b) = -b + 9. Suppose 2*s - 2 = -0*s, r + 22 = 3*s. Let o be a(r). Suppose o*d = 24*d + 232. Is 5 a factor of d?
False
Let l be (230 + -5)/(-3*2/(-20)). Suppose -100 = 5*b - l. Is 45 a factor of b?
False
Suppose -2*j + 3*j - 5 = -4*q, 2*j - 10 = 5*q. Suppose 5*f + 3*w + q*w = 29, 3*f - 9 = w. Suppose -3*v = -4*r + 31, -f*r + 2*v = -3*v - 33. Is r even?
False
Suppose -5*u + 6064 = -13*u. Let n = u - -1369. Is 30 a factor of n?
False
Let v(i) = i**3 + 39*i**2 - 81*i + 30. Let q be v(-41). Let z(c) = c**3 + 13*c**2 - 38*c - 13. Is 50 a factor of z(q)?
False
Let s = -8274 + 12146. Is s a multiple of 8?
True
Suppose 120782 = -56*k + 415184 + 212342. Is 123 a factor of k?
False
Suppose b - 321 = -4*h, -5*h = 4*b - 7*b + 997. Let p be 3*(30/(-45) - (-217)/(-3)). Let a = p + b. Is a a multiple of 10?
True
Let m(r) = -18*r - 163. Let s be m(-9). Is (5 - 5 - 625)*s a multiple of 25?
True
Let z = -580 + 3648. Is z a multiple of 13?
True
Let f be (300/(-40))/(-1 + 2/4). Let b(d) = d**3 - 14*d**2 - 2. Is b(f) a multiple of 25?
False
Let o(h) = 5739*h - 5745*h - 2 - 2*h**2 + 16*h**2. Does 14 divide o(-5)?
True
Suppose 0 = -2*c - 24 + 182. Suppose -35 = -p - 3*w, -w - 140 = -3*p - 3*w. Suppose -q = -p - c. Is 24 a factor of q?
False
Let i(g) = -59*g + 279. Let k(n) = -948*n + 4464. Let j(y) = 33*i(y) - 2*k(y). Is j(-11) a multiple of 7?
True
Let i be (-24)/6 + 76/4. Suppose -i*k + 7*k = -696. Is 20 a factor of k?
False
Suppose -4*p = -r + 133, -4*r + 256 + 259 = p. Suppose 0 = 3*k - 420 + r. Let d = k + 15. Is 28 a factor of d?
True
Suppose 5*t + 2*c - 387 = 0, t + 4*c = 5*t - 304. Suppose 0 = -0*k + 2*k + y - t, -110 = -3*k + 4*y. Let o = 155 - k. Is 18 a factor of o?
False
Let d be 2/(-5) + (2 - (-672)/30). Suppose 5*x = x + d. Let u(z) = -z**3 + 8*z**2 - 7*z + 10. Is u(x) a multiple of 8?
True
Let f be 6/5*(-70)/(-21). Let s be ((-46)