 Is (-279)/i*-1 - (-12)/(-15) even?
False
Let b be -6*1/6*-4. Let i be (30/b)/((-2)/(-24)). Let k = 150 - i. Is 10 a factor of k?
True
Suppose -6*x - 16 = -2*x. Let y be ((-62)/x)/(6/36). Let o = y - 39. Does 9 divide o?
True
Let b(p) = p + 4. Let o be b(-1). Suppose -o*w + 3542 = 20*w. Does 14 divide w?
True
Let u(h) = 2 + 6 - 2 + 3*h - h. Let j be u(15). Does 15 divide (j/(-5))/(6/(-45))?
False
Suppose 12*t = 8*t + 476. Suppose -4*w - 2*j = -1346, t - 458 = -w - 3*j. Does 24 divide w?
True
Suppose 23*q - 17*q - 48 = 0. Let z be 1/(2*1/q). Suppose -352 = -3*j - b, z*b + 0*b = 16. Is 22 a factor of j?
False
Let p(g) = g + 21. Let j(a) = -a**3 + 6*a**2 - 2*a - 17. Let f be j(4). Does 7 divide p(f)?
True
Let k = 7892 - 2252. Does 49 divide k?
False
Suppose -24 - 51 = -2*u - 5*o, 0 = o - 3. Let k be (7 - 4)/((-1)/(-182)*6). Let g = k - u. Is 47 a factor of g?
False
Suppose -10*z + 288 = 3*p - 7*z, -296 = -3*p - 5*z. Let m = 271 + -131. Let g = m - p. Is g a multiple of 3?
True
Let w(s) = -179*s**3 + 3*s**2 + 8*s - 3. Is 19 a factor of w(-2)?
True
Let x be 4/(1 + -2) + (-11 - -75). Let u = x - -36. Is u a multiple of 8?
True
Suppose -12 = -37*v - 49. Let i(b) = -338*b**3 + 2*b**2 + 8*b + 7. Is i(v) a multiple of 6?
False
Let f(h) = 25*h**2 + h - 14. Let y be f(-6). Suppose 12*o = 2*o + y. Is o a multiple of 3?
False
Is 8 a factor of (20/70*(4 - 1))/(3/13314)?
False
Let a = 57 + -55. Suppose -a*u + z = -678, 3*u + 5*z - 859 - 145 = 0. Suppose u = 4*m + 3*w, 2*w = -4*m + 7*w + 322. Does 10 divide m?
False
Does 4 divide (64 - -1)*(-4932)/(-90)?
False
Let m(w) = 96*w**2 + 3*w + 3. Does 23 divide m(-4)?
False
Suppose -12 = -2*y - 2. Suppose -2*m = -3*z - z - 2, -2*m = -y*z - 1. Suppose 4*f + 424 = 3*j, 0 = 8*f - m*f + 5. Is 28 a factor of j?
True
Let o be (5/(-5) + 127)/((-1)/(-16)). Suppose 0 = 3*y, 4*y - 520 = 4*v - o. Does 22 divide v?
True
Let r = 86363 - 40443. Is r a multiple of 28?
True
Suppose -111 + 78 = -3*g. Let v(m) = 110*m + 22. Is v(g) a multiple of 56?
True
Suppose -3*z + 4*d + 12342 = 0, d = 2*z + 4*d - 8245. Is 29 a factor of z?
True
Let j(a) = 49 + 3*a - 5 + 51 - 6*a. Does 14 divide j(13)?
True
Let b(k) = -4*k**3 - k**2 - 12*k + 74. Does 9 divide b(-16)?
False
Let g(i) = 65*i**2 - i. Let h be g(3). Let f = 1026 - h. Is 29 a factor of f?
False
Let u(j) be the first derivative of j**4/4 - 23*j**3/3 - 99*j**2/2 + 17*j - 65. Is 10 a factor of u(27)?
True
Let f be 2 - ((-6 - (-6)/3) + 8). Is 5 a factor of 4/(80/2388) - f/(-5)?
False
Suppose 93 = 7*y + 16. Suppose y*f = 10*f + 27. Suppose 96 = u + f. Is 11 a factor of u?
False
Suppose 0 = l + 2*w - 2769, 30*l - 32*l - 5*w = -5540. Is l a multiple of 43?
False
Let l = -91 - 20. Let x = 116 + l. Suppose 4*p = x*v - 0*p - 140, -5*p = -25. Does 32 divide v?
True
Is (-4)/(-14) - 86678/(-133) even?
True
Let p(r) be the second derivative of -r**4/12 - 7*r**3/6 + 19*r**2/2 - 4*r. Let v be p(-9). Is 104/(-26)*(0 - 46)*v a multiple of 23?
True
Let w be 1182/20*4 + (-16)/40. Suppose -3*b = -272 + w. Let i(j) = j**2 - 3*j - 9. Does 12 divide i(b)?
False
Suppose -4*i - 6*g + g = -18, 6 = 2*i + 4*g. Suppose 603 = i*q - 2491. Does 13 divide q?
True
Let t = 706 - 705. Let w(d) = 1649*d**3 + 2*d**2 - 2*d + 1. Is 15 a factor of w(t)?
True
Let x = -772 + 6302. Suppose -47*a + 40*a + x = 0. Is 8 a factor of a?
False
Suppose -12 = 3*n - 0*n. Let t be n/(-24) + 4/(-24). Suppose t = -7*s + 109 + 626. Does 21 divide s?
True
Let r(w) = -w**2 + 130*w - 188. Is 50 a factor of r(122)?
False
Suppose 418482 + 824335 = 47*y + 55033. Is 12 a factor of y?
True
Let d(m) = 19*m**2 + 146*m + 8. Is 61 a factor of d(9)?
False
Let y be 64/24*6/(-4). Is 21 a factor of (-2)/(-4) + (-366)/y?
False
Let c = 57 - -18. Is (-4)/(-14) + c/42*20 a multiple of 28?
False
Suppose 4*r - 275 = -j + 262, 0 = -2*r + 4*j + 246. Suppose 336*i - r = 335*i. Does 19 divide i?
True
Let s = 36 + 184. Let r = s - 117. Is 11 a factor of r?
False
Let t = -26 + 35. Let c = 38 - t. Suppose s + 4*j - j - c = 0, -61 = -2*s - 3*j. Does 16 divide s?
True
Let v(w) = -9 - 21 - 7 + w + 65. Let z = 9 - 21. Does 12 divide v(z)?
False
Let q = -15 + -30. Let a be 1*1/(-3) - (-39015)/405. Let l = q + a. Is 3 a factor of l?
True
Let j(d) = -39*d + 14*d - 3*d**3 + 4 - 18*d**2 + 2*d**3. Is 11 a factor of j(-17)?
False
Suppose 11*g + 3426 = 15*g - 2*s, 2*g = -5*s + 1695. Is g even?
False
Let c be (-2)/((-2)/5) - -3. Is 28 a factor of 20/(-6)*(c + -10 + -82)?
True
Let x(l) = 3*l + 12. Let s be x(-5). Let u be (711/2 - 0)*(-2)/s. Does 39 divide 6/(-3) + 4*u/6?
True
Let k(i) = 3*i - 57. Let s be k(25). Let h be (s/(-12))/((-3)/10) - 3. Suppose 719 = h*l - 3. Is 14 a factor of l?
False
Let l(i) = -i**3 - i**2 - 3*i + 8. Let j = -78 + 99. Let c = j + -21. Is l(c) a multiple of 4?
True
Let c(x) = -3*x - 18. Let w be c(-8). Is (w/(-7))/(-2*10/3500) a multiple of 6?
True
Let z(m) = 4*m - 7 - 8*m + 7*m. Let c be z(1). Is 2 a factor of (-15)/2*((-112)/20 - c)?
True
Suppose 5*y - 195 = 3*l, 0 = 2*y + 5*l - 9*l - 64. Suppose v = -4*n + 84, 2*n = 2*v + 2*v + y. Does 3 divide n?
True
Suppose -16*o = -26*o + 2220. Suppose 0 = 3*l + 2*d + o - 1580, 10 = -2*d. Is l a multiple of 14?
False
Let t(v) = 228*v + 7788. Is t(7) a multiple of 23?
True
Let c = -11 - -13. Let n(y) = 13*y + 5*y**c + 1 + 2 + 2. Is 13 a factor of n(-5)?
True
Suppose 9*h = 11*h - k - 1739, -4320 = -5*h - 3*k. Is h a multiple of 44?
False
Suppose -2*t + 22 = 2*q + 3*t, 5*t = 20. Suppose 0 = -8*c + 77 - 37. Is 20 a factor of (-4)/(q*c/(-90))?
False
Suppose 4*a = 3*u - 308, 3*u - 484 = 3*a - 178. Is u a multiple of 4?
True
Let d = 2499 - -6384. Is d a multiple of 47?
True
Suppose 20*g - 23*g - s + 89739 = 0, -36 = 4*s. Does 83 divide g?
False
Let b(t) = 521*t + 58. Let x be 1/(2/5 - 10/(-100)). Does 50 divide b(x)?
True
Let u(l) = -l**2 + 15*l + 81. Let w be u(-4). Suppose w*y - 8570 = 4*x - 1747, 0 = -5*x - 10. Is y a multiple of 29?
True
Let v(p) = -p**2 + 6*p + 19. Let t be v(8). Suppose 960 = t*o + 5*o. Suppose 2*q - 3*q + o = 0. Is q a multiple of 6?
True
Let z(a) = -22*a - 85. Suppose 6 + 32 = -2*o. Is z(o) a multiple of 13?
False
Let y = 233 + -229. Let t = -8 + 14. Suppose t*w = y*w + 3*z + 52, -4 = z. Does 5 divide w?
True
Let w = -17675 + 69500. Is 90 a factor of w?
False
Let m(z) = 388*z**3 + 12*z**2 - 34*z + 22. Does 235 divide m(4)?
True
Suppose 0 = -32*m + 29*m + 14862. Suppose -29*r + m = -7023. Is 40 a factor of r?
False
Let c = -69 + 12. Suppose 4*m = 4*j + 312, 13*m - 399 = 5*j + 17*m. Let t = c - j. Is t a multiple of 16?
False
Suppose 3*o + 13 = 5*n - 15, 3*n - 5*o = 20. Is 650 - 3/(1 - n/20) a multiple of 24?
False
Does 15 divide (-28 - -6683) + (-10)/(-5)*10/4?
True
Let t = -4844 + 6414. Is 59 a factor of t?
False
Let f be 1074*(-2 - 2/(-6)). Let o = -1210 - f. Suppose -z + 73 = -4*c - 60, -5*z = -3*c - o. Does 11 divide z?
False
Let i = -114 - -162. Suppose 2*x = -d + 424, -3*x + 597 = -3*d - i. Let j = 367 - x. Is j a multiple of 44?
False
Let b = 614 - -4144. Is 6 a factor of b?
True
Let y(o) = 2*o**2 + 384*o + 637. Does 47 divide y(73)?
False
Suppose 0 = -p + 13566 - 836. Suppose q + p = 20*q. Is 67 a factor of q?
True
Let h = -254 + 278. Is 19 a factor of 19*(80/h)/(4/18)?
True
Suppose -4*j + 5*f + 28 = 0, -5*f - 20 = -0. Does 8 divide (7/j)/(35/490)?
False
Let w = 80 + -77. Suppose h = -h - p + 8, -4*p = 4*h - 16. Suppose -d - 15 = -w*a + 74, -a + 34 = h*d. Is 8 a factor of a?
False
Let f = -47 - -46. Let l be (1/(-1))/f + -59. Let y = 12 - l. Is y a multiple of 20?
False
Suppose -2*d + 11 - 3 = 0. Let p(k) = -k**2 + 10*k - 21. Let y be p(d). Suppose -y*s = -5*n - 2*s + 43, 0 = -3*n + 4*s + 19. Is 7 a factor of n?
False
Suppose -39894 + 47020 = 120*p - 154874. Is p a multiple of 30?
True
Let s(h) = 2 + 15 + 1 - 6 - 9 - 1062*h. Does 52 divide s(-1)?
False
Suppose 2*i - 4*l - 360 = 0, 180 = i - l - 4*l. Does 9 divide (i/(-126))/(3/(-1113))?
False
Is (-85 + 140)/((-1)/842*-1) a multiple of 22?
True
Let i(v) = -v**2 + 9*v - 9. Let k be i(3). Let p be 171/k - 8/(-2). Let h = 87 - p. Does 16 divide h?
True
Suppose -5*p = -5*v - 130, -v - 4*v = 20. Let g be (p*1)/(((-20)/8)/(-5)). Let r = 100 - g. Is 14 a factor of r?
True
Let l(s) be the second derivative of -s**5/20 + 5*s**3/3 + 3*s**2/2 - 3*s -