r. Suppose -123 = -4*f + o. Is 8 a factor of f?
True
Let i = 22329 - 20589. Does 12 divide i?
True
Suppose -99238 = -17*q + 18640. Is q a multiple of 58?
False
Let n(t) = 532*t + 153. Does 74 divide n(14)?
False
Suppose 5*n - 266 = -r - r, -5*n = -r - 257. Suppose 0 = 2*y + 8, -2*v - n - 90 = 3*y. Let j = v - -110. Is 4 a factor of j?
False
Let p(w) = 20*w**3 + 10*w**2 + 28*w - 8. Does 55 divide p(6)?
True
Suppose -5*f - 4*n + 13 = 0, 5*n + 2 = 4*f + 8. Does 6 divide (2 + 2)/f + 195 + 0?
False
Let p = 249 - 247. Suppose -9*u = p*n - 4*u - 419, 5*u = n - 187. Is n a multiple of 10?
False
Is 3 a factor of (-10)/(-4)*23048/134?
False
Does 31 divide (35148/(-174))/(4/(-158))?
False
Suppose -4*x - 10 + 18 = 0, -642 = -q - 2*x. Suppose 8*p = 674 + q. Is p a multiple of 17?
False
Suppose -3*w = 5*t - w - 5, -3*w + 18 = -3*t. Let i(c) = -3*c**2 + 12*c + 10. Let h be i(6). Is (h/(-104))/(t/(-172)) a multiple of 8?
False
Suppose -192 = 39*z - 36*z. Let h = 118 + z. Is 2 a factor of 6/14 - (-2 - h/21)?
False
Let v = -3812 + 4246. Does 7 divide v?
True
Suppose 3*f = 5*d - 446, 3*d - f - 179 = d. Let q = d - 90. Does 5 divide 4 + q + -1 + (10 - 9)?
True
Suppose -1678289 + 250119 = -34*t. Is 155 a factor of t?
True
Suppose 31*s - 22 = 20*s. Is (-700)/(-42)*6/5 + s even?
True
Suppose u - x - 371 = 0, -5*u + 4*x = -1654 - 201. Let q = -141 + u. Is q a multiple of 23?
True
Let r(v) = -2*v**3 - 19*v**2 + 10*v + 251. Is r(-29) a multiple of 91?
True
Let y be 2576/48 - (-4)/(-6). Suppose -281 = -6*i - y. Is i a multiple of 2?
True
Let t = 34888 - 24855. Is t a multiple of 127?
True
Suppose -3*v = 3*g - 5*g - 16, 0 = 2*v - 5*g - 7. Suppose 5*t + 29 - 198 = 3*z, -2*z - v = 0. Suppose 0 = -s + 2 + t. Does 34 divide s?
True
Let l be (-196)/24 + 8 - 530/(-12). Does 9 divide ((-8)/(-6) - l/24)*-460?
False
Suppose -20420 + 3106 = -39*d + 7646. Does 10 divide d?
True
Let b = 16570 - 15449. Is 3 a factor of b?
False
Let z(o) = -5*o - 13. Let m be z(-3). Suppose 0 = -0*i + i, -48 = m*t + 2*i. Let x(d) = -d**3 - 23*d**2 + 15*d + 5. Does 27 divide x(t)?
False
Let t be 6 - 4/(28/21). Suppose -t*c + 2*v + 1696 = 4*v, 3*c - 1697 = -v. Does 14 divide c?
False
Let r be 3 - (-9920)/28 - (-4)/(-14). Let y = 23 + r. Is 10 a factor of y?
True
Let s(a) = -2*a**3 - 12*a**2 - 15*a - 18. Let v be s(-5). Is ((-2)/v)/(3/(-5271)) a multiple of 57?
False
Let k(f) = f**3 - f**2 - 4*f + 571. Let n be k(0). Suppose -3*q - 5*x = -2*q - 196, 3*q - n = 2*x. Is q a multiple of 7?
False
Suppose -4*d + l - 6 = -53, -15 = 5*l. Suppose -2*t + 8*n = 3*n + 7, -52 = -3*t - 5*n. Suppose -t*y - 90 = -d*y. Is 9 a factor of y?
True
Let r(l) = -l**3 - 49*l**2 - 72*l + 345. Is 61 a factor of r(-51)?
False
Let m(f) = 252*f - 42. Let c be m(7). Suppose c = 3*y + 2*g, -4*y + 1042 = -4*g - 1274. Is y a multiple of 9?
True
Let l(i) be the first derivative of -i**4/24 + i**3/3 + 9*i**2/2 + 10. Let y(c) be the second derivative of l(c). Is y(-2) a multiple of 4?
True
Is 39 a factor of (-2*(-1)/4)/(182/15768480)?
False
Let g be 10 - 1/(-3)*-6. Let o be 2 + -1 - (-7 - g). Is 14 a factor of ((-164)/o)/(1/(-4))?
False
Suppose 0 = -5*g + 6*k - 3*k - 47, -k = 1. Is g + 12 - (-186)/3 a multiple of 16?
True
Let f(n) be the third derivative of n**5/10 - 17*n**4/24 - 25*n**3/3 - 76*n**2. Is f(-5) a multiple of 16?
False
Let z(q) = -7591*q**3 - q**2 - 22*q - 20. Does 13 divide z(-1)?
True
Let h = 563 - 560. Suppose -u + 813 = -5*c, -h*c = -4*u - 0*c + 3184. Does 25 divide u?
False
Let y be (-3)/((-45)/2) + 620/(-150). Let b be y/(-8) + 7/(-2) - -45. Suppose -3*x + b = -18. Does 2 divide x?
True
Let j be 4 - 0 - ((-180)/6 + 0). Let t be 85/j + (-78)/4. Let i(r) = -13*r - 33. Is i(t) a multiple of 47?
True
Let u = 5212 + 16609. Is 24 a factor of u?
False
Let f be (64/(-10) - -4)/(6/(-80)). Suppose f - 12 = 5*s. Suppose 0*h - 536 = -5*k - h, -431 = -s*k - 3*h. Does 10 divide k?
False
Let o be 1 + 2 - 1 - 2 - -2. Let a be ((-7)/(98/(-4)))/(o/14). Suppose -492 = -3*v - a*b, -3*b + 4*b + 667 = 4*v. Is 15 a factor of v?
False
Let b(i) = i + 9. Let w be b(-5). Let y(r) be the third derivative of r**6/30 - r**5/15 - 5*r**4/24 + 7*r**3/3 - 2*r**2 + 5. Does 12 divide y(w)?
False
Suppose 357*o - 369*o + 37440 = 0. Does 80 divide o?
True
Let r(c) = -c**2 - 51*c - 379. Let s be r(-42). Let z(l) = -50*l**3 - 1 - l + l - 2*l. Does 17 divide z(s)?
True
Is (6/(-30)*3)/((-18)/135540) a multiple of 6?
True
Suppose 15 = 5*o - 4*f - f, 4*o = -3*f + 33. Suppose -o*z + 27*z = 8085. Is z a multiple of 19?
False
Let b(f) = 7*f**2 + 53*f - 19. Let v be b(-8). Suppose -5*h + 40 = q - 113, -145 = -v*h - 5*q. Is 16 a factor of h?
False
Suppose 22*n - 15878 - 46228 = 0. Is n a multiple of 12?
False
Let a = -107 - -113. Suppose -a*g + 783 = -3189. Is 8 a factor of g?
False
Suppose -115*z = -107*z - 400. Suppose z*d = 36*d + 5390. Does 55 divide d?
True
Let k be (24/(-14))/(8/56). Does 29 divide 2*42/k - -587?
True
Let q = 11894 + -7141. Is 6 a factor of q?
False
Suppose -2*c + 3 = -5. Suppose 4*i - 96 = -j, 4*i + 0*i - 372 = -c*j. Let u = j - 41. Does 12 divide u?
False
Let y = -3 + 4. Suppose -62 - 42 = 58*p - 6*p. Is 19 a factor of 4 - (p*y - (228 - 6))?
True
Let j(p) = 162*p**2 + 6*p + 3. Let h be j(-3). Suppose -5*k = -x - 2405, 4*x + h = 7*k - 4*k. Does 9 divide k?
False
Let b(i) = 60*i**3 + i**2 + i - 1. Let w be b(1). Suppose 47 = -2*v - w. Let m = -23 - v. Is m a multiple of 5?
False
Let s be -336*(-72)/(-16) + -1 + -3. Let z = s + 2160. Is z a multiple of 28?
True
Suppose -3*j - 6*l - l + 8967 = 0, 3*j - 8961 = -5*l. Is j a multiple of 21?
True
Let m be 66/44*(0 + 370). Does 41 divide ((-348)/(-10) - 2)/(74/m)?
True
Let n(v) be the third derivative of 1/4*v**4 - 1/12*v**5 + 1/2*v**3 + 0*v - v**2 + 0 - 1/60*v**6. Is n(-4) a multiple of 9?
True
Suppose -5*u - 4*q = -32410, 0 = u - 2*q + 5*q - 6493. Is 79 a factor of u?
True
Let z(s) = -2*s**3 - 9*s**2 - 7*s - 9. Let d be z(-4). Suppose 0 = 3*u - 4*m + d*m - 381, -5*m = 15. Is u a multiple of 21?
True
Is (-550250)/(-25) - (2 + -5) a multiple of 28?
False
Is ((-96)/(-3))/((-23)/(334719/(-21))) a multiple of 14?
True
Let i(p) = 68*p - 611. Let h(r) = -17*r + 153. Let a(g) = -18*h(g) - 4*i(g). Is 50 a factor of a(15)?
True
Let p = 74 - 72. Let z be (-6)/(-15)*((-6)/p + 8). Is 56*(3*z/6 + 1) a multiple of 16?
True
Let o = 5292 + -4212. Does 15 divide o?
True
Let b(a) = 2*a + 12. Let u be b(-5). Suppose -560 = -u*d + 16. Suppose 48*k - d = 46*k. Is k a multiple of 16?
True
Let x(d) = -d**2 - 9*d - 14. Let j be x(-6). Suppose -7*p + j*p = -2*w - 1595, p = -4*w + 527. Does 59 divide p?
True
Let b(a) = 5*a**3 - 2*a**2 + 6 - 5*a**3 + 4*a + 2*a - a**3. Let k be b(-3). Is 12 a factor of 2*24/k*-6?
True
Let j = 6869 + -3989. Is j a multiple of 9?
True
Let i = 37 - 35. Suppose i*b = -2*b. Does 6 divide 25/4*(b + (-4)/(-1))?
False
Let m(c) = 33*c - 25. Let r(f) = f**2 - 14*f - 23. Let d be r(16). Let s be m(d). Suppose 6*j - s - 784 = 0. Does 44 divide j?
True
Suppose 0 = 4*t + w + 5, 2*w + 3 = 3*w. Let u be 43 - (-3 - (-1 + t/(-2))). Suppose u = z + 2*k, -3*z = -k - 3*k - 128. Is 12 a factor of z?
False
Suppose 26 = -o - 5*c, -c = -3*c - 2. Let z = o - -154. Let s = 313 - z. Is s a multiple of 18?
True
Suppose -6*f - 72 + 858 = 0. Suppose 0 = -h - 2 + 5. Suppose -h*b - 2*u = -71, 4*b - f = -b + 3*u. Does 11 divide b?
False
Let p(n) = 2*n - 104 + 208 - 108. Let b be p(2). Suppose 4*t + 3*y - 609 = b, 0*y - 151 = -t - y. Is 39 a factor of t?
True
Let h = -10991 - -14182. Is h a multiple of 3?
False
Let t(d) = 5*d - 25 - 2 - 7 + 7*d**2. Let u be t(-8). Suppose 3*q + 32 - u = 3*b, -2*b = q - 123. Is 13 a factor of q?
True
Suppose 0 = -r + 9*r - 10392. Suppose -2*z + 880 = -5*q, 3*z - q = -4*q + r. Does 69 divide z?
False
Let h = 301 + -146. Let q = 261 - h. Suppose 27*w = 28*w - q. Does 22 divide w?
False
Suppose -76*i + 75*i = 0. Suppose -8*a - 629 + 9813 = i. Is 63 a factor of a?
False
Let i = -502 + 499. Does 38 divide i/(3/304)*51/(-68)?
True
Suppose 3*k = 5839 - 3928. Is k a multiple of 91?
True
Let m(h) = 3*h - 2. Let f(v) be the first derivative of -v**3/3 - 11*v**2/2 + 2*v + 7. Let w be f(-11). Is m(w) a multiple of 4?
True
Let g(c) = -c**3 + 36*c**2 - 37*c + 70. Let t be g(35). Is 13/((-39)/(-132)) - t a mu