 -f, 3*o = -5*m + 403. Is 20 a factor of m?
True
Let u(j) = -564*j - 174. Let c be u(-6). Suppose -c = 4*b - 14*b. Is 24 a factor of b?
False
Suppose 4*f = n - 5*n - 96, 2*n = -3*f - 74. Let i = f - -29. Suppose 5*v - 115 = 2*m, i*v - 4*m = -2*v + 105. Is v a multiple of 4?
False
Suppose 0 = -3*i + 3*n + 1335, -5*i + 0*n + 2285 = 5*n. Is i a multiple of 11?
True
Let t(v) = v**2 + 56*v + 104. Does 37 divide t(-81)?
False
Let z = 4881 + -3305. Is z even?
True
Suppose 0 = -3*v + k - 4261 + 40737, 0 = 4*v + k - 48644. Is 128 a factor of v?
True
Suppose a = -465 + 933. Suppose 462*r - a*r + 2298 = 0. Is r a multiple of 27?
False
Let m = 2415 - 2417. Let v(d) = -d**2 + 4*d + 6. Let p be v(5). Does 3 divide (m/(p - 5))/((-17)/(-612))?
True
Suppose 50 = 5*f + 2*q, -4*f + 2*q + 22 = -0*f. Let n be ((-14)/f)/(23/(-920)). Is 28 a factor of (6/(-5))/((-1)/n)?
True
Let x be (20/(-3))/((-6)/(-162)*-6). Is 6 a factor of 9/(((-12)/30)/((-32)/x))?
True
Suppose 5*j = -4*v + 2103 + 7655, -j - 3*v = -1956. Suppose 4*f = -f + j. Suppose -4*u + 59 = 2*y - 81, 2*u - f = -5*y. Does 32 divide y?
False
Suppose 13*d - 9*d = -20. Let x = 23 + d. Suppose -4*s = -6*s + x. Does 6 divide s?
False
Let v = 7433 - 5048. Does 15 divide v?
True
Suppose -6*u - 99880 = 9*u - 20*u. Is u a multiple of 227?
True
Suppose 54*p - 1486295 = -52*p + 586747. Is 149 a factor of p?
False
Let m(r) = r**3 + r**2 + 2*r - 11. Let p(b) = 1. Let j(t) = -m(t) - 6*p(t). Let i = -107 - -107. Is j(i) even?
False
Suppose 5*j - 3*g = 1752, 25*j - 21*j - 2*g - 1400 = 0. Is 75 a factor of j?
False
Let l = 365 - 670. Let k = l + 400. Does 19 divide k?
True
Let b = -46 + 18. Let z = b + 56. Suppose 3*p = -p + z. Is 3 a factor of p?
False
Suppose 5*t + 3*g + g = 1136, -3*t + 664 = -2*g. Does 4 divide (t/10)/((-46)/(-115))?
True
Suppose -3*u = 3*u - 4*p - 6848, -4*p + 4592 = 4*u. Does 23 divide u?
False
Let i = 16 - 30. Let v be 58/i + 21/147. Is (-24)/v + (-6)/2 a multiple of 3?
True
Suppose -67349*h + 67346*h = -17784. Is h a multiple of 78?
True
Let q = -141 - -377. Suppose q*v = 242*v - 2664. Does 15 divide v?
False
Let b(n) = -n**2 + 4*n + 3. Let i be b(5). Let k be (-32)/12*-15 - i. Suppose -30 = -8*w + k. Does 9 divide w?
True
Let w(h) = 22*h - 11. Let f(c) = -c + 10. Let k be f(10). Let z be -1 - -8 - 1*(2 - k). Is 16 a factor of w(z)?
False
Let s(a) = 53*a**3 - 9*a**2 - 5*a - 17. Let l(z) = -53*z**3 + 10*z**2 + 4*z + 20. Let p(x) = -4*l(x) - 5*s(x). Does 12 divide p(-1)?
False
Suppose -4*o + 2*d + 2*d = -800, -3*o + 4*d + 602 = 0. Let h be o/15*(-3)/((-18)/80). Suppose h = 2*x + 52. Is x a multiple of 5?
False
Let g = 6343 + 3826. Is g a multiple of 113?
False
Suppose -4*g - 2 = w, -5*w - 8 = -w. Suppose g = 2*t - 6*t + 36. Suppose 0 = t*n - 83 - 151. Does 9 divide n?
False
Let b(d) = d**3 + 27*d**2 - 583*d - 85. Is 40 a factor of b(-39)?
True
Let z(d) = 3*d**2 + 38*d + 29. Let f be (-3 + 4 + -2)/((-2)/4). Suppose 3*m + m = f*a + 32, 0 = 2*a + m + 32. Is z(a) a multiple of 17?
False
Suppose 9*g = 7*g + 12. Let o = -45 + 75. Let q = o - g. Is q a multiple of 8?
True
Let a = -707 - -336. Let x = -754 - a. Let y = -222 - x. Does 10 divide y?
False
Let f be (-540)/(-5) - -6*1. Suppose 4*b = 7*b - f. Is b a multiple of 38?
True
Suppose -86575 + 29473 = -4*v - 3*g, -g = -v + 14286. Does 15 divide v?
True
Let p(g) = -g**2 + 15*g - 2. Let s be p(8). Let q = s + -54. Suppose -15*y + 644 + 181 = q. Does 15 divide y?
False
Is 8260 - 174 - 5*-2 a multiple of 8?
True
Suppose -5*j - 1210 + 1205 = 0. Let q = -259 - -395. Does 5 divide (q/28)/j*-7?
False
Suppose -u = 3*u - 20. Let m be -26*2/((-7)/(-112)*-4). Suppose -m = -3*c - c + u*k, -4*c + 200 = -3*k. Does 11 divide c?
False
Is 10 a factor of 323212/20 - ((-66)/(-110))/(6/(-4))?
False
Let k(l) = -5*l + 34. Let u be k(0). Suppose 3*h - 27 = -3. Let n = u + h. Is 14 a factor of n?
True
Let v = 241 - -303. Let x = 946 - v. Is 67 a factor of x?
True
Let m(a) = 2*a + 33. Let p(k) = -k**2 - 7*k - 9. Let o be p(-4). Let b be o - 35/(-3 + 8). Is m(b) a multiple of 5?
True
Suppose 4*g = q - 38, 5*g - 136 = -5*q + 4. Suppose 308 = -4*d + z, q = -d - 4*z - 30. Let x = d - -92. Is x a multiple of 4?
True
Suppose 55*p - 54*p - 5*l = 2162, 0 = -4*p + 5*l + 8603. Is p a multiple of 113?
True
Let c be (0 - -1 - 0) + (-85 - -84). Suppose c = 3*m - 1304 - 631. Is m a multiple of 43?
True
Let y = -106 - -346. Suppose 8*m - 3*m - y = 0. Let w = m + -42. Is w a multiple of 6?
True
Suppose -196998 = -75*n + 322377. Is n a multiple of 99?
False
Let o = 347 - -2. Let d = o + 575. Is d a multiple of 14?
True
Let v = 24791 - 1934. Is 28 a factor of v?
False
Let g = 438 - 724. Let t = -9 - g. Is 2 a factor of t?
False
Let r = 82 + -4. Suppose 0 = -r*l + 73*l + 1385. Does 37 divide l?
False
Let n = 344 + -332. Does 3 divide (n/(-10))/3 + (-16515)/(-225)?
False
Suppose 92*b - 87*b = 465. Suppose -37 + b = 14*q. Suppose 2 = 2*k + 2*y - 10, 0 = k + 3*y - q. Does 7 divide k?
True
Let k = -135 + 190. Suppose 8*b - 412 = 4*b + 5*f, -4*b + 3*f = -420. Let p = b - k. Is p a multiple of 40?
False
Let c be 4/2 - 3 - -3. Suppose d - b = c*b - 6, 4*b = 0. Is (-18)/7*56/d a multiple of 3?
True
Let j(d) = 248*d**2 - 56*d + 24. Is j(8) a multiple of 166?
False
Let p(l) be the first derivative of -l**6/120 - l**5/20 + l**4/3 + l**3/2 + 31*l**2/2 - 27. Let v(m) be the second derivative of p(m). Does 9 divide v(-6)?
True
Let v(l) = -5*l**2 + 118 - 1882*l + 1882*l. Is 4 a factor of v(0)?
False
Let t = -47 + 72. Suppose -5*p + 0 = -t. Suppose 5*c = 2*w - 51, -3*w + 64 = -5*c - p. Does 6 divide w?
True
Let w = -125 + 121. Is (2 + w)*56/(-1) a multiple of 6?
False
Is 9 a factor of (80/(-240))/(1/(-15813))?
False
Let d = 1 + 1. Let n be (-1080)/50*(7 - d). Is 10 a factor of 1/1 + 10 + -9 - n?
True
Let o = -75 - -179. Suppose -38 = w + o. Let f = w + 199. Is f a multiple of 9?
False
Let t = 702 + -7306. Does 44 divide (-2)/(t/1320 + 5)?
True
Let y be -3*5/(-15) - -3. Let c(w) be the second derivative of 23*w**3/6 - 35*w**2/2 - 2*w. Is 15 a factor of c(y)?
False
Suppose 6*n - 10169 = 16381. Does 15 divide n?
True
Let b(a) = 16*a**2 + 2*a + 12196. Is 45 a factor of b(0)?
False
Let j = 22161 + -18866. Is 5 a factor of j?
True
Let b = -80 + 84. Suppose -12 = -2*x + 4*j, -b*x + j = x - 3. Is 106 + (x/5 - -3) a multiple of 11?
False
Let o(t) = 15*t**2 - 26 - 38*t**2 + 24*t**2 + 5*t + 6*t**2 - t**3 + 9*t**2. Does 15 divide o(7)?
True
Let j be 0 + -1 + (-264)/(-4). Let p = -65 + j. Suppose 0 = -2*x - 2*k + 396, p*x = 5*x - 3*k - 1006. Is 50 a factor of x?
True
Suppose -2*n = -f + 192, -5*f + 524 = 5*n - 466. Suppose 22 + 119 = 3*q - 3*p, 3*q - 4*p = 139. Suppose -f + q = -u. Is 34 a factor of u?
False
Let g = -563 - -220. Let s = g - -481. Does 10 divide s?
False
Let k(b) = 6*b - 4. Let t be k(1). Suppose -86 + 741 = 5*r + 4*v, -10 = t*v. Suppose -2*l - l + r = 0. Does 9 divide l?
True
Let m(x) = x**3 + 12*x**2 - 30*x - 25. Let o be m(-14). Suppose 8*t - o*t + 249 = 2*k, 0 = 3*t + 3. Suppose -5*a + k = -608. Does 10 divide a?
False
Suppose 68*n - 3918658 = -60*n - 1428930. Is 9 a factor of n?
False
Let w be -2 - -7 - 3/1. Suppose w*i = 2*k - 370, -5*k - 2*i + 94 + 866 = 0. Suppose 2*t = -b + 186, 3*b = -2*t + 4*b + k. Is 24 a factor of t?
False
Let l = 187 + -160. Suppose l*i - 11509 = -1141. Does 48 divide i?
True
Let y = -2110 + 5458. Does 54 divide y?
True
Let v(u) = -193*u - 5658. Does 11 divide v(-103)?
False
Suppose 4*j + u - 11473 = 0, -3491 = -j + 5*u - 649. Is 61 a factor of j?
True
Let m be (-133)/(-2) - (-1)/2. Let x be (12 + (44 - 6))*2. Let p = x - m. Does 33 divide p?
True
Let l(p) = 9*p**2 - 227*p - 99. Is l(-18) a multiple of 39?
True
Suppose 56*m = 51*m + 20, 0 = -2*r + 4*m + 272. Is 6 a factor of r?
True
Suppose 5*d - 4*z - 369 = -0*z, -2*d + 166 = 3*z. Suppose 0 = 4*k + 4*k - 720. Suppose d = 3*r + 5*l - k, -3*r + 182 = 2*l. Does 6 divide r?
False
Suppose 5*w - 3*w = z - 8, z = 3*w + 10. Suppose 0 = z*l - 5*l + 297. Does 33 divide l?
True
Suppose 30*w - 32745 - 61757 - 15268 = 0. Is w a multiple of 2?
False
Suppose 8 - 2 = -2*m. Let n(c) be the second derivative of -5*c**3 + 5*c**2 - 4*c. Is 17 a factor of n(m)?
False
Let h(q) be the first derivative of -q**4/4 + 7*q**3/3 + 5*q**2 - 12*q - 1. Let 