 of f?
True
Suppose 29540 = -65*q + 374430. Is 14 a factor of q?
True
Let o(w) = -w**3 - 4*w**2 + 6*w - 4. Let k be o(-5). Let y(v) = 83*v - 19. Let c(z) = -27*z + 7. Let i(g) = -11*c(g) - 4*y(g). Is i(k) a multiple of 43?
False
Let r(u) = -547*u**3 - 3*u**2 - 54*u - 98. Does 22 divide r(-3)?
True
Let g(m) = m**3 + m - m**2 - 61 + 6*m**2 + 63. Does 26 divide g(6)?
False
Suppose 15*j - 14*j = 3*h + 1725, -2*h - 2 = 0. Is 22 a factor of j?
False
Let u be (7/(-28)*-36)/(-1). Does 23 divide ((-72471)/u)/7 + 10/(-30)?
True
Let x be 7 + (-1 - (-4)/(-2)). Suppose o = 5*b - 2*b - 1219, x*b - 2*o = 1622. Does 23 divide b?
False
Suppose 338*n = -81*n + 34*n + 4680445. Is 7 a factor of n?
False
Let f(m) = -m**3 - 6*m**2 + 6*m - 7. Let b be f(-7). Suppose b = 2*c + 10, -16 = -2*s + c + 3*c. Is 28 a factor of 137 - (-2 + -3 - s)?
True
Suppose 18 = 5*w - 4*k, 0 = -w - 2*k - 2. Suppose -w*x + o = -871, 2*o - 1324 = -0*x - 3*x. Is 52 a factor of x?
False
Suppose 2*w - 209 = -12*g + 7*g, -3*w + 5*g + 351 = 0. Let u = 122 + w. Is 3 a factor of u?
True
Let t(g) be the third derivative of g**5/60 + 5*g**4/12 + g**3/3 - 8*g**2. Let c be t(-10). Suppose -c*v = 3 - 23. Is 4 a factor of v?
False
Let b(a) = a**3 - 5*a**2 + 4*a - 4. Let m be b(4). Let y(o) = 3*o**2 + 3*o + 4. Let f be y(m). Does 22 divide (f/100)/((-1)/(-165))?
True
Let x(k) = 243*k**2 + 9*k + 22. Does 93 divide x(7)?
False
Let m = 68 + -77. Let p(r) = -36*r + 68. Is 19 a factor of p(m)?
False
Suppose -3*b + 2442 = 3*i, -3850 = -3*b + 4*i - 1415. Let d = b + -661. Does 19 divide d?
True
Suppose 5*c - 119 = -2*h, -3*h = -2*h + 3. Let m = -1015 - -1028. Let i = c - m. Is 6 a factor of i?
True
Suppose 2*y - 36 = t, 4*t - 31 = -2*y - 185. Let w = 227 + -232. Let r = w - t. Does 13 divide r?
False
Let u(m) = -2*m**3 + 19*m**2 - 9*m + 16. Let w be u(9). Is 10 a factor of 1/2 + (17512/w)/11?
True
Does 60 divide (8 + (-216)/300*5)*(753 - 3)?
True
Let y be -4 - (0 + -1)/((-7)/(-21)). Let r be (196/(-42))/(y/(-3)). Let u = 59 + r. Is u a multiple of 15?
True
Suppose -41*k + 42 = -38*k. Let r be 29121/119 - (-4)/k. Suppose -r = -6*h + 49. Does 10 divide h?
False
Let p(a) = 226*a**2 + 37*a - 1. Is 12 a factor of p(-2)?
False
Let y = 200 + -53. Let d = y + 6. Is 13 a factor of d?
False
Let x be -30*(-8)/(48/170). Suppose -5*l - u + x = 0, -l + u + 23 = -153. Is l a multiple of 19?
True
Let t(o) = -o. Let y be t(1). Let d(p) = -38*p + 3. Let s(a) = 78*a - 7. Let l(j) = 13*d(j) + 6*s(j). Is 4 a factor of l(y)?
False
Let q(a) = 142*a - 2170. Is 133 a factor of q(30)?
False
Let r(n) = -258*n**2 - 3*n + 3. Let c be r(2). Let d = c + 2835. Suppose 10*p + 0*p = d. Does 20 divide p?
True
Suppose 0 = 8*x - 5*x + 24. Does 15 divide (30/x)/(((-45)/(-760))/(-9))?
True
Suppose -3*x - 9372 = -5*q + 37651, 5*x + 37608 = 4*q. Is q a multiple of 44?
False
Suppose 35*v - 12*v + 161 = 0. Is 19 a factor of -4*(7 + 1883/v)?
False
Suppose 7*d = 1331 + 1637. Let n = d - -124. Is n a multiple of 26?
False
Let b = 1528 - 38. Does 25 divide b/20 - (-1)/2?
True
Let o(g) = -7*g**3 - g**2 - 2*g - 1. Let i be o(-1). Let v be 1149/i - 1/7. Suppose -r + 0*r = 4*y - v, 3*r - 417 = 3*y. Is r a multiple of 12?
True
Let b be 6 - 2 - 3 - (3 + -1). Let t be (-2)/(-4)*-6 + (-13)/b. Suppose 0 = -3*x + 73 - t. Is 21 a factor of x?
True
Suppose -x - 250 = -2*s, 9*s - 750 = 3*x + 6*s. Let l = -216 - x. Is 4 a factor of l?
False
Let o(q) = 36*q**2 - 4*q - 22. Let d be o(-3). Suppose 2044 = 10*n + d. Is 6 a factor of n?
False
Let u = 53231 - 38125. Does 166 divide u?
True
Let q(i) = 3*i**2 + 4*i + 4. Let c be q(6). Suppose 4*x + 5*h - 730 = -x, 4*h + c = x. Is x a multiple of 16?
True
Let a(m) = m**2 + 114*m + 3394. Is 10 a factor of a(73)?
False
Suppose 0 = 66*w - 52*w - 252. Suppose 4*k - 50 = -w. Is k a multiple of 8?
True
Let q be (17/(306/60))/(1/9). Suppose -12513 + 1593 = -q*u. Is 18 a factor of u?
False
Let x = 12525 + 4486. Does 81 divide x?
False
Let c be 3*-1*(-6)/(-27)*507. Let s = -492 - c. Does 2 divide ((s/(-4))/(-7))/(2/(-4))?
False
Suppose -1197 + 5018 = 3*i + 4*z, 5*i + 2*z = 6345. Suppose 5545 = 6*t + i. Is 6 a factor of t?
False
Let v(p) = -21*p**3 - 6*p**2 - 3*p - 2. Suppose 0 = j + 3*j + 8. Let d be v(j). Suppose 3*o - d + 64 = 0. Is o a multiple of 4?
True
Suppose 104160 = 189*n - 21*n. Is n a multiple of 62?
True
Let a be ((-1)/(-7))/((-5)/(-35)) - 1. Let p(w) = -3*w + 15. Let f be p(a). Is ((-141)/f - 1)*75/(-10) a multiple of 6?
True
Let k be (-69)/(-46) + 2/4. Suppose -12*h = -k*h - 0*h. Suppose 151 + 95 = 3*a - 3*p, -5*a - 5*p + 360 = h. Is a a multiple of 3?
False
Let q(n) = -4*n + 127. Let r be q(28). Suppose 30672 = 12*m + r*m. Is m a multiple of 45?
False
Let n be (50/8)/(((-98)/(-56))/(-7)). Suppose -k + 3*s = 15, 2*k + 2*s = -0*k + 2. Does 3 divide (10/n*6)/(k/10)?
False
Let z be -4 + 7 + -2 + -1. Suppose 16*f - 18*f = z. Suppose 4*t = 6*y - 4*y + 22, f = 3*t - 4*y - 19. Is t a multiple of 2?
False
Suppose 0 = f - r - 1135 - 3130, 4*r + 16 = 0. Is 9 a factor of f?
False
Suppose -527*z + 523*z = 0. Suppose z = 2*y + 77 - 699. Is 33 a factor of y?
False
Suppose 0 = 52*y - 42*y - 30. Is 7/(98/273)*(43 - y) a multiple of 78?
True
Suppose -3*d = -4*w + 96, d = w + 4*d - 24. Suppose -4*q + 7*q = 3*t + 57, q + 4*t - w = 0. Is q a multiple of 8?
False
Let q = -148 + 248. Let z = -101 + q. Does 29 divide 29*(-1)/(-5)*(6 + z)?
True
Let t be 3/(-1) + (-5)/(10/(-7496)). Suppose -7*u - 1029 = -t. Is 2 - (u/(-10) + (-2)/10) a multiple of 2?
False
Let w be (1 + -1 - -2)/((-11)/(-132)). Does 16 divide 176273/102 + -1 + 20/w?
True
Suppose 241 + 1399 = 8*y. Does 20 divide y?
False
Let v = -20580 - -21543. Is 107 a factor of v?
True
Let b be (-170)/(-6) - (-4)/6. Suppose -354*g + 350*g + 172 = 0. Let s = g - b. Is s a multiple of 7?
True
Suppose -s = -3*w + 4*s + 28, -3*w - 2*s = 7. Is 64 a factor of (-9 + w + 7)*(0 - 647)?
False
Suppose 3*o - 4*m - 34336 = 0, 102*m - 104*m - 34328 = -3*o. Is 26 a factor of o?
True
Suppose 0 = 5*y - 0*y + 40. Let n = -13 - -9. Does 5 divide (-1)/((-20)/y*n/260)?
False
Suppose 0 = s + 1, 2*b - 7*b + 11 = -s. Let m be (0 + b)/2 - (-2 + 3). Suppose 576 = 6*v - m*v. Is 16 a factor of v?
True
Let d(r) = r**3 - 20*r**2 + 45*r - 138. Is d(23) a multiple of 27?
True
Let x be ((-5)/10*-2)/1*-10. Let n(p) = -p + 4*p - 3*p + 40 - 2*p. Does 6 divide n(x)?
True
Let v = -252 + 256. Suppose -o = v*p - 17 - 228, -2*o + 310 = 5*p. Is p a multiple of 10?
True
Let n(m) = -4*m**3 - 2*m**2 + 3*m + 2. Let q = -11 + 14. Let r(h) = -5*h**3 - h**2 + 4*h + 1. Let l(j) = q*n(j) - 2*r(j). Does 6 divide l(-3)?
False
Let f be (0 - -23) + 4 + -1. Suppose 23*s = f*s - 39. Suppose -s*u - 1799 = -20*u. Does 24 divide u?
False
Let g(p) = p**3 - 16*p**2 + 16. Let a be -16*(-4)/(-8)*-2. Let s be g(a). Is 17 a factor of (-12)/s - 540/(-16)?
False
Does 19 divide (-1 - -19)/(-4 + 6 - 0) + 67422?
True
Suppose -3*s + 6 = 0, -5*a + 2*s + 1465 = -726. Does 49 divide 4/(4 + -2) + a?
True
Let v(f) = f**3 + 11*f**2 + 13*f + 18. Let j(s) = 17 + 61*s**2 - s**3 + 59*s**2 - 130*s**2 + 41*s. Let q be j(-13). Is v(q) a multiple of 9?
True
Let l = 1214 - -7. Does 11 divide l?
True
Suppose 4*c - 4*x - 148 = 0, -5*x + 135 = -4*c + 7*c. Let b = c - 29. Is 3 a factor of b?
False
Let s = -16 - -213. Let o = 728 - s. Is 59 a factor of o?
True
Let f(s) = -66*s + 2 + 9*s**3 + 69*s - 4. Let t be f(1). Suppose t*x - 11*x = -49. Does 9 divide x?
False
Let b = 982 - 954. Suppose -5*l = 10, 23*y + l = b*y - 3152. Does 45 divide y?
True
Suppose -4*b + 13*s - 11*s + 8842 = 0, -4*s = -5*b + 11060. Is 24 a factor of b?
True
Suppose -33508 = -29*k + 40152. Is k a multiple of 10?
True
Let c = -258 - -250. Suppose -3*t - 105 = a - 4, t - 2 = 0. Is c/28 - a/7 a multiple of 3?
True
Suppose 5*z + m - 28 = 71, -2*z - 3*m = -37. Suppose -23*o + z*o + 486 = 0. Does 27 divide o?
True
Let m(n) = -200*n - 1676. Is m(-103) a multiple of 6?
True
Let v(n) = 2*n**2 + 69*n + 724. Does 7 divide v(-33)?
False
Is 4 a factor of (1 - 10175/(-2)) + 2659/(-5318)?
True
Let s be (-2)/3 + 242/(-6). Let j = -44 - s. Is (-70)/2*(-8 - j) a multiple of 35?
True
Let u(n) = -7*n**3 - 4*n**2 - n + 3. Let d be u(-3). Let o = 84 - 13. Let s = d - o. Does 22 divide s?
True
Let m(k) = k**3 - 2*k**2 - k - 4. Let q