 = 750. Let x = u - r. Does 17 divide x?
True
Let x = 973 - 430. Let h = x - 442. Is 4 a factor of h?
False
Suppose y + 24 = 277. Does 8 divide y?
False
Let t(p) = 8 + 4*p + 2 - 24 - 23. Let h(x) = -2*x + 19. Let g(m) = 5*h(m) + 2*t(m). Is 2 a factor of g(7)?
False
Suppose -4*q + 1971 = 5*z, 4*z - 2*q + 1385 = 2993. Is 21 a factor of z?
True
Let r(d) = 12*d**2 - 61*d - 637. Is 13 a factor of r(-10)?
False
Let m = -303 - -310. Suppose 4*c + 504 = m*c. Does 13 divide c?
False
Let f = 27 - 0. Let r = -18 + f. Let g(n) = n**2 - 5*n - 22. Does 4 divide g(r)?
False
Suppose -2*s = o - 14364, -1517 = -o + 4*s + 12853. Is 43 a factor of o?
False
Is 28 a factor of (-15)/(180/(-222))*360?
False
Suppose -37*d - 19460 = -123319. Is d a multiple of 18?
False
Suppose -2*q = k - 7829 - 4968, 0 = -3*k - q + 38371. Is 73 a factor of k?
False
Suppose -121 = -23*k - 6. Suppose 0 = -4*c + k*c - 5*v - 22, v + 3 = 0. Is c a multiple of 4?
False
Let n be (-147)/(-42) - 6/4. Let b(f) = 8*f + 14 + 22 - 5 + f**n. Does 17 divide b(-16)?
False
Let j(n) = 1029*n**3 - 2*n**2 - 64*n + 133. Does 6 divide j(2)?
False
Suppose 22*v - 17*v = 45. Suppose 0 = -3*t + v*t - 18. Suppose -t*c = -c - 86. Is c a multiple of 9?
False
Let p(f) = 180*f + 8. Let r be p(4). Suppose -192 = -w + 2*n, -4*w - 3*n + r = -n. Is w a multiple of 4?
True
Let p = -108 + 1162. Is p a multiple of 17?
True
Is 10 a factor of -3*(238/(-17))/(9/1005)?
True
Suppose -5*n + 104*d - 106*d = -33171, 0 = -4*n - d + 26541. Is n a multiple of 10?
False
Let h be 6061/6 + ((-65)/30)/13. Suppose m - x - 1018 = 0, 17*m - h = 16*m - x. Is m a multiple of 13?
True
Let v(m) = -8*m - 30. Let f be v(5). Let z = f + 331. Does 10 divide 6206/z + ((-14)/18 - -1)?
False
Let x(g) = -16*g**2 - 11*g - 1. Let r(j) = -24*j**2 - 17*j - 1. Let d(p) = 5*r(p) - 8*x(p). Let u be d(-3). Suppose 4*t - 350 = u. Is 8 a factor of t?
True
Let x be (-874)/(-8) + 130/(-104). Is (-33 - -35) + -1 + x a multiple of 5?
False
Let h(r) be the second derivative of r**4/3 - 13*r**3/6 - 11*r**2 + 122*r. Is h(-7) a multiple of 6?
False
Suppose o = -4*n + 479, 196 = o - 3*n - 325. Is o a multiple of 129?
False
Let h(v) = v**3 + 7*v**2 + 4*v - 6. Let c = -45 - -39. Let l be h(c). Is (-129)/(-2) + l/12 a multiple of 5?
True
Let q(v) = -31*v**2 + 1909*v + 37. Is q(58) a multiple of 35?
True
Suppose 0 = 5*l - 4*z - 48, -3*z + 26 = 7*l - 3*l. Suppose 0 = 4*q - 12 - l. Suppose j = -q*w, -3*j - 2*j = 4*w - 84. Is 10 a factor of j?
True
Suppose -83*d - 1500 = -86*d + 5*z, 0 = d - 3*z - 508. Is d a multiple of 10?
True
Let u(l) = -l - 1. Let i(v) = -5*v - 20. Let p(d) = i(d) - 6*u(d). Let y be p(6). Let g = y + 196. Is 16 a factor of g?
False
Let i = -1 + -1. Is (21/i)/(12/(-48)) even?
True
Suppose s + 32 = -5*q, -5*s - 2*q = q + 72. Let c be ((-6)/8)/(s/64*2). Suppose c*n = -h + 5*n + 156, 0 = h - 4*n - 160. Is 12 a factor of h?
True
Let f(n) = -6*n - 34. Let r be f(-6). Suppose -r*g - g = h - 71, 3*h - 5*g - 185 = 0. Suppose h = -29*t + 34*t. Is t a multiple of 11?
False
Is (197 + -3 - -4)*(17 + -9) a multiple of 33?
True
Let w be ((-1792)/(-12))/(2/3). Let b = 211 - 108. Let j = w - b. Does 11 divide j?
True
Suppose 11*a - 48343 = -5344. Is 9 a factor of a?
False
Suppose -30*i = 22*i + 780. Is ((-10)/i)/((-3)/(-2196)) a multiple of 8?
True
Let d = 529 - 295. Suppose -d = -60*y + 51*y. Does 9 divide y?
False
Suppose 0 = -46*w + 541601 + 143701 + 252362. Is 52 a factor of w?
True
Let z(k) = -13*k**2 - 3*k - 14. Let n be z(-3). Let q be n/(-14) + -4 + 120/28. Is 18 a factor of 6/q*-3 + -2 + 30?
False
Let h(t) = -t**2 - 23*t - 28. Let a be h(-19). Let k be 43/6 - 8/a. Suppose k*v - 6*v = 25. Is 23 a factor of v?
False
Let a = 8 - -376. Suppose -h = 3*h - a. Suppose g = 77 + h. Is 27 a factor of g?
False
Let n(h) = 4*h**2 + 2*h - 3. Let v be n(-3). Let f(t) = -36*t - 24 + 61 + v + 40*t. Does 26 divide f(0)?
False
Is (-4)/46 + (-431460)/(-828) a multiple of 11?
False
Let g(s) = 952*s**2 + 9*s + 3. Does 13 divide g(-1)?
False
Suppose -4*k + 68 = -o - 2*o, 72 = 3*k + 3*o. Suppose 2*h + 3*h - k = 0. Suppose n = -f + 66, 5*n - h*f - 219 = 129. Is n a multiple of 34?
True
Let x = -52 + 59. Is (6 - x) + 2 + 499 a multiple of 56?
False
Suppose -n + 106 = -2*k, 0 = -5*n - 7*k + 12*k + 505. Does 6 divide n?
True
Suppose 0 = 4*n + 9*d - 4*d - 167, 3*n - 4*d = 133. Let s = n - 18. Is s a multiple of 5?
True
Suppose 0*w - w - 2*i = 12, 2*i = 2*w - 6. Let t = -50 - -57. Does 3 divide w*(t/(-2) - (-6 + 5))?
False
Let t(g) = -g**3 + g**2 + g - 1. Let a be t(1). Suppose 20 = 4*i, a = 4*o + 3*i - 17 - 14. Suppose o*v - 24 = 228. Is 21 a factor of v?
True
Let q(j) = -j**3 - 3*j**2 - 5*j + 19. Suppose 0 = -30*h - 191 + 11. Is 32 a factor of q(h)?
False
Is 51 a factor of ((-28585152)/84)/(-48) - 8/14?
True
Let x(l) = l**3 - 6*l**2 + 2*l - 5. Let g be -5*15/(-50)*4. Let y be x(g). Let j(s) = s + 2. Does 3 divide j(y)?
True
Let y = 42 + -37. Suppose -x = y*w + x - 490, 3*w + 4*x = 280. Let h = w + -49. Is 6 a factor of h?
False
Let g(t) = 313*t**2 + 3*t + 10. Does 85 divide g(-2)?
False
Let l be -4*(2 + -1) + -1. Let s = l - -5. Suppose s = 5*j - 7*j + 116. Is j a multiple of 6?
False
Suppose h - 21840 = -4*r, -4*r - 5460 = -5*r - 4*h. Does 99 divide r?
False
Let u be (-541)/(-11) - 4/22. Let x = u + -48. Is 13 a factor of x/((44/888)/11) + -3?
False
Let l = 93 + 2329. Is 14 a factor of l?
True
Let s(u) be the second derivative of -3*u**5/4 + u**4/3 + 2*u**3 + 7*u**2/2 + 18*u + 2. Does 32 divide s(-2)?
False
Suppose 3*n + 4*b = 28060, -46790 = 35*n - 40*n - 2*b. Does 65 divide n?
True
Suppose 38*r - 5*o - 666 = 34*r, r - 162 = 2*o. Does 2 divide r?
True
Let b(h) = -3*h**2 + 3 + 133*h**3 + 2*h**2 + 0*h**2 + 2*h - 4. Is b(1) a multiple of 11?
False
Let i(d) = -d**2 - 29*d - 77. Let v be i(-26). Is 27 a factor of 106/v*(-9)/(-3)?
False
Suppose -5*n - n = 270. Let u = 53 + n. Suppose -645 = 3*k - u*k. Does 33 divide k?
False
Let q(u) = 11*u - 131. Let l be q(21). Suppose -l + 270 = 10*t. Is 3 a factor of t?
False
Suppose -t - t - 2*p = -416, -4*t + 5*p = -832. Is 4 a factor of ((-52)/t)/((-1)/16*1)?
True
Let l = -6849 + 12132. Is 5 a factor of l?
False
Suppose -39*z + 399472 + 679541 = 0. Does 8 divide z?
False
Let k be 6 - (-3 - (1 + 52)). Suppose 0 = -3*i + k + 478. Is 12 a factor of i?
True
Let j be (-2)/(-6 + 4 - -1). Suppose -4*b = -4*i + 8, j*i = -b - 0*b + 4. Does 15 divide (100/(-6))/i*-9?
True
Suppose 59*t = 56*t - 96. Let j = t - -53. Does 21 divide j?
True
Let v(y) = 28*y - 14. Let g be v(6). Suppose 0 = 3*b + g + 98. Does 9 divide ((-6)/(-7))/((-2)/b)?
True
Let a = 5462 + 16441. Does 31 divide a?
False
Let a = 38 - 105. Let f = -64 - a. Suppose f*r + 9 = 0, 4*r = t + 2*t - 108. Does 12 divide t?
False
Let b be 17 - -2 - ((-3)/3 - 1). Suppose -4*q + 89 = 3*o, 5*q = 6*q + o - b. Does 9 divide q?
False
Let f(b) = b**3 - 20*b**2 - 4*b + 15. Let k be f(20). Does 42 divide (16/10)/(-4) - 26546/k?
False
Let h be (-4 - -1)/((-6)/(-4)) + 7. Suppose 2*c = -1 + h. Does 2 divide (135/(-20))/(c - 38/16)?
True
Let g = 30 - 58. Let w = 31 + g. Suppose 0 = t + t, -3*x + 132 = w*t. Does 7 divide x?
False
Suppose -2*l - 2*r = 0, 0 = -4*r + 2*r - 8. Suppose 0 = -2*q - 4*t + 1500, 4*q - l*t - 1530 - 1506 = 0. Is 28 a factor of q?
True
Suppose -1788 = -7*n + 14585. Let h = n + -896. Does 39 divide h?
True
Suppose 0 = 3*h + 4*p - 34360, -11 = -2*p - 21. Is 191 a factor of h?
True
Let f = 4447 + -1896. Does 27 divide f?
False
Suppose -3*z + 1161 = -5*x - 474, x + 304 = -4*z. Does 7 divide (-4)/(-8 - x/42)?
True
Let a(s) = 93*s**3 - 2*s + 1. Let u be a(1). Suppose -4*y = -100 - u. Let i = y - 8. Does 10 divide i?
True
Suppose -19*v = 2*c - 18*v + 202, -2*c + 2*v - 196 = 0. Let w = -45 + 20. Let x = w - c. Is 17 a factor of x?
False
Suppose 10*g - 9 = 7*g. Suppose 6 = -0*y + g*y. Suppose -y*s + 3 = -1, 5*h - 5*s = 230. Does 8 divide h?
True
Does 4 divide (14/(-6))/(37/(-111))?
False
Suppose -5*h + 126 = 4*h. Let i(l) = -4*l**2 + 68*l - 49. Let k(v) = v**2 - 17*v + 12. Let u(y) = -2*i(y) - 9*k(y). Is 8 a factor of u(h)?
True
Let r = 493 - 435. Let g = r - -573. Is g a multiple of 7?
False
Is 107 a factor of (-7048017)/(-1631) - (-4)/(-14)?
False
Is (-9 + 5)*(3 + (-3244)/8) a multiple of 14?
True
Let y =