= 0. Suppose -14*s + 132 = -y*s. Is s a multiple of 9?
False
Let c(f) = -f**3 + 21*f**2 - 18*f - 35. Let d be c(20). Is 11 a factor of (-2 + 0)/((d/(-110))/1)?
True
Suppose 0 = -2*b - 1 + 7. Suppose -v = 2*k - 4 - 6, 12 = b*k. Suppose 337 - 29 = 2*g + 4*j, v*g - 5*j - 326 = 0. Is 30 a factor of g?
False
Let b(p) = 3*p**2 + 48*p + 28. Let c be b(-17). Suppose -c*k + 160 = -74*k. Is 14 a factor of k?
False
Is 231 a factor of 6/(-27) - ((-220)/48)/((-24)/(-127072))?
False
Let h(m) be the first derivative of -27*m**2 - 28*m + 67. Is h(-5) a multiple of 20?
False
Let h(v) = -577*v - 1194. Is h(-13) a multiple of 119?
True
Let b be (4635/(-6) + 1)/(14/(-28)). Let g = b - 1009. Is g a multiple of 40?
False
Suppose 3*i + 190 = 3*v + 5*i, 0 = -5*v - 2*i + 310. Suppose -48 = -12*p + v. Is p a multiple of 4?
False
Suppose -32*j = -2*n - 37*j + 13776, 3*j + 6877 = n. Is n a multiple of 11?
False
Let p be 3 + ((-4370)/(-20))/((-2)/(-8)). Suppose -43 - p = -4*w. Does 46 divide w?
True
Let x(p) = 6*p**3 - 24*p**2 + 25*p - 425. Does 170 divide x(20)?
False
Suppose -4 = -4*w - 4*b, -4*b + 2*b = 5*w - 11. Suppose 3*h - h - 5*r - w = 0, 0 = -5*h + 3*r + 36. Suppose -h*g - 2*g = -484. Is g a multiple of 6?
False
Suppose -658 = -5*k - 2*j, -227 = -4*k - j + 300. Suppose k = -9*z + 12*z. Is 4 a factor of z?
True
Suppose 0 = 3*p - 28*l + 33*l - 105146, -2*p + 70156 = -4*l. Is 49 a factor of p?
False
Let p be (-31)/2 + (-2)/4. Let h(y) = -3*y - 1. Let u(d) = -2*d**2 - 41*d + 10. Let v(b) = 6*h(b) - u(b). Is v(p) a multiple of 16?
True
Suppose -11*m - 40*m = 46*m - 314280. Is m a multiple of 10?
True
Let m be ((-14)/2)/(1/7). Suppose 3*a = -2*q - 382, a - 2*a = 3*q + 139. Let c = m - a. Is 37 a factor of c?
False
Suppose 31*i = -4789 + 41791 + 54417. Does 3 divide i?
True
Is 92 a factor of (-16956621)/(-1749) - 12/318?
False
Suppose -3398 = -2*f + 2*d, -9*f + 5*f + 2*d + 6794 = 0. Is 6 a factor of f?
True
Let y(j) = -3*j - 97. Let a be y(-35). Suppose -l = -3*u - 744, 3*l - a*u - 2227 = -4*u. Does 13 divide l?
True
Let d be (-10)/4*-2 - (-38 + 3). Is 8696/d + -2 + 16/10 a multiple of 25?
False
Let h be 5*((-1194)/(-30) + -2). Suppose 5*j = 8*j - h. Suppose 3*x = -2*k + 10 + j, k - 3*x - 41 = 0. Does 5 divide k?
False
Is 21 a factor of ((-801)/(-18) - -2)/((-8)/(-112))?
True
Suppose -2*v + 5*k + 21 = 0, -k - 3 - 3 = -v. Let c be (1 + -10 + v)/(-1 + 0). Suppose -c*s = 2*s - 88. Is s a multiple of 5?
False
Let h(b) = 20*b**3 + 40*b**2 + 48*b + 153. Let v(t) = -9*t**3 - 20*t**2 - 23*t - 76. Let p(d) = 4*h(d) + 9*v(d). Is 3 a factor of p(-20)?
True
Let h be (13 - 43)*2/(-4). Does 11 divide 6452/h + 3 + 235/(-75)?
False
Let i = 27 - 71. Let q = -43 - i. Is ((0 + -2)*q - -60) + 3 a multiple of 14?
False
Suppose 11*f - 4*g = 12*f - 140, 470 = 4*f + g. Does 68 divide f?
False
Suppose b - 25 = -4*b. Suppose z - 1036 = 2*k, -4*z + b*z = -4*k + 1048. Does 20 divide z?
True
Let d(t) be the first derivative of t**3/3 + 6*t**2 - 10*t + 66. Does 5 divide d(10)?
True
Let d = -1683 - -2569. Let y = d + -403. Is 34 a factor of y?
False
Let b be (-2 + 0)*(-97)/(-2)*1. Let w = -57 - b. Is 3 a factor of w?
False
Suppose -33490 - 140838 = -8*q. Does 11 divide q?
True
Let i = 26 - 8. Suppose -i*r + 5486 = -580. Is r a multiple of 8?
False
Let z be 4/2*261/(-18). Let f = 86 + z. Suppose 0*l - s = 2*l - f, 132 = 5*l - s. Is l a multiple of 9?
True
Let u(o) = -o**2 + 27*o - 21. Let b be u(26). Suppose d - b*w - 5 = 0, -9 + 60 = 5*d + w. Let n = 70 - d. Does 30 divide n?
True
Let a(x) = 17*x + 134. Let n be a(-25). Let k = n - -347. Does 28 divide k?
True
Suppose 135416 = 49*u - 543871. Is 33 a factor of u?
False
Let o(a) = a**3 + 15*a**2 - 25*a - 32. Suppose t = 2*p - 10, 8*p = 3*t + 7*p + 45. Is o(t) a multiple of 28?
True
Let o(s) = -s - 6. Let v be o(-8). Let n(d) = 14*d**2 + 8*d - 13. Does 6 divide n(v)?
False
Let s(b) = -125*b - 4855. Is s(-71) a multiple of 20?
True
Let d(f) be the third derivative of 25*f**4/24 + f**3/6 + 14*f**2. Let w be d(-4). Is (-9)/6 + w/(-6) a multiple of 5?
True
Let u = -61 - -77. Suppose u*m = 5*m + 825. Is m a multiple of 5?
True
Suppose 935847 = 197*s - 4097409 - 1075320. Does 102 divide s?
True
Let j be -2*(23/(-2) + 2). Suppose -j = 4*s - 3. Is (-2 + (-60)/6)*26/s a multiple of 13?
True
Let a(c) = c**2 - 1. Let v be a(4). Let n(s) = -v*s - 3 - s**2 - 6 + 2*s**2 + 0*s**2. Is n(-6) a multiple of 24?
False
Let p be ((-7)/(-14))/((-1)/(-12)). Does 23 divide p - 2 - (39*34)/(-6)?
False
Let o(r) = 3407*r - 361. Is o(3) a multiple of 20?
True
Let x(q) = 1233*q - 5. Let i be x(-15). Is (-5)/3 - i/111 a multiple of 10?
False
Let t(x) = x**3 + 21*x**2 + 37*x - 17. Suppose 7*r + 55 = -78. Let p be t(r). Is 13 a factor of p*(0 + (-113)/(-2))?
False
Suppose 4*v - 1036 = -0*x - 4*x, -v + 777 = 3*x. Suppose -b + x = -5*q, 2*b = -0*q + 2*q + 110. Is 9 a factor of (5 - 6)*(q + -1)?
False
Let g = 15 - 10. Suppose 9*f = 2*f + 35. Suppose f*r + 48 = 3*p, g*p - 80 = r + 4*r. Is p a multiple of 5?
False
Let k(h) = 21*h**2 + 16*h + 44. Let r be k(-8). Suppose -8*x + r = -5*x. Does 37 divide x?
False
Suppose -2045 = -3*b - 2*b. Let y = b - 281. Is y a multiple of 32?
True
Let k = 78 + -54. Let j be ((-5)/((-140)/k))/(1/(-7)). Does 11 divide (-2)/j + (-146)/(-3)?
False
Let w be 6/(-24)*-4 - -5. Suppose 1018 + 4562 = w*g. Is g a multiple of 36?
False
Suppose 3*f + 2*f = 3*p + 3213, 0 = 3*f - 5*p - 1915. Suppose f + 543 = 4*b. Let r = b + -137. Does 19 divide r?
False
Let y = 198 - 193. Suppose 0 = -11*c + y*c + 2268. Does 14 divide c?
True
Does 27 divide 4956 + ((-175)/(-14) - 15)*(-24)/10?
False
Let n(m) = -61 - 32*m + 178 + 29*m**2 - 73 + m**3. Does 32 divide n(-30)?
False
Let x = 1872 + -1188. Is 27 a factor of x?
False
Suppose 34678 = 82*o - 68*o. Is 69 a factor of o?
False
Let b be 2/(-3) + 5/(-15). Let y = b - 62. Is 91/3 - 42/y a multiple of 6?
False
Suppose -24*d + 20*d + 88860 = -2*i, -5*i = -5*d + 111070. Is d a multiple of 45?
False
Suppose 299*p = 376*p - 132671. Is 17 a factor of p?
False
Let r(t) = -2*t**3 + 92*t**2 + 2*t + 131. Let u(c) = 2*c**3 - 96*c**2 - 2*c - 131. Let g(w) = 5*r(w) + 4*u(w). Does 13 divide g(38)?
False
Let p = 2227 + 684. Is 71 a factor of p?
True
Let d be 66702/(-29) + 38/551. Let h = -1549 - d. Is 18 a factor of h?
False
Let w be 54/10 - (-4)/(-10). Suppose 4*d + o = 30, 0 = w*d - 0*o + 5*o - 45. Suppose d*x - 156 = 3*x. Is x a multiple of 13?
True
Suppose 32223 - 103375 = -30*u + 26768. Is u a multiple of 6?
True
Let h = 13396 + -4384. Is 13 a factor of h?
False
Suppose -3*o + 27*t = 31*t - 1, 0 = 3*o - 4*t + 7. Is o/(7/(-4921) + 0) a multiple of 19?
True
Suppose 0 = 5*b + 4*m - 57 - 55, b = -4*m + 16. Suppose -8*u + 4*u = -b. Suppose u*n - 2562 = -n. Does 61 divide n?
True
Let u = 79 - 68. Let y = u - 19. Is 2 + 10 + 3/(6/y) a multiple of 7?
False
Let y be 204/((-20)/(-5)) - (5 - 6). Suppose -2*n - i + y + 43 = 0, -3*n + 135 = 4*i. Does 7 divide n?
True
Let x = 167658 + -116918. Is x a multiple of 15?
False
Suppose -g = -6*g - 5*j + 25, 4*g - 17 = -3*j. Suppose -153 = -g*c - 3*s, 0 = 4*c - s + 31 - 316. Is c a multiple of 18?
True
Is 18 a factor of 4 - -7298 - 492/41?
True
Suppose 3*g - 120 = -5*g. Let a = g + -11. Suppose -a*r + 8*r = 360. Is 30 a factor of r?
True
Suppose 2*y = -2*w - 297 - 85, 3*w + 2*y = -573. Let a = w - -686. Does 9 divide a?
True
Suppose -3*n + 2*r = -5, -1 = 4*n - 3*r - 9. Let t be ((-100)/5)/(n/1). Does 19 divide 8/t + 396/10?
False
Suppose -5*t - 2*g + 93 = 0, 22 = -4*t + 4*g + 102. Suppose -t*d = -16*d - 312. Is 13 a factor of d?
True
Let a(l) be the second derivative of l**6/40 - l**5/20 + l**4/4 - l**3/2 - 23*l**2/2 + 22*l. Let x(f) be the first derivative of a(f). Does 33 divide x(4)?
True
Suppose -3*m + 3*i = -4755, -1784 = -4*m + 3*i + 4561. Is 3 a factor of m?
True
Let d = 28520 - 13637. Is d a multiple of 41?
True
Let f be 142 - (-1 - (-15)/12)*-4. Let u = f - 68. Is u a multiple of 7?
False
Suppose 0 = j + 2*g - 4756, 5*j - 3*g = -8*g + 23785. Suppose 2*f + f = 5*i - j, 2854 = 3*i - f. Is 83 a factor of i?
False
Let y be (-2 + 76/6)*(-15)/(-10). Suppose 33*d - 29*d - y = 0. Suppose -2*i - 67 = -2*l + 17, 0 = -5*l + d*i + 213. Does 6 divide l?
False
Let t(q) be the second derivative of 0 - 35/2*q**2 + 7/2