e
Suppose -5*x + 1699 = -4*w - 13588, -4*x + 2*w = -12238. Is x a multiple of 19?
False
Suppose -4*z = -3*q - 156, 4*z - 69 - 79 = q. Let o = z - 36. Suppose 4*v - 8*v + 48 = o. Does 6 divide v?
True
Suppose 8*m - 3*m = 3*b - 172, 3*m = -4*b - 80. Let v be 3*(m/12 + -2). Let c = 26 + v. Does 4 divide c?
True
Suppose 3188 = y - 42*j + 40*j, 2*j = -y + 3192. Is y a multiple of 37?
False
Let c(x) = -4*x**3 + 7*x**2 + 309*x + 19. Is 11 a factor of c(-13)?
True
Let f(n) be the first derivative of -n**4/4 + 4*n**3 - 10*n**2 + 14*n - 79. Is f(5) a multiple of 29?
False
Let i(w) = 14*w - 54. Let m be i(4). Is 345/(6 + -3) - (-2)/m a multiple of 58?
True
Let u = 40 - -20. Let a = u + -58. Suppose 4*j + 480 = 4*r, 0 = r + 3*r - a*j - 474. Is r a multiple of 13?
True
Let l = -255 - -358. Let y = -105 + l. Does 8 divide -7*(4 - 3)*6/y?
False
Let g be 0/1 - (8754 + 18). Is (-1)/(8 - g/(-1096)) a multiple of 10?
False
Suppose -2184 = 41*m + 92*m - 55251. Is 133 a factor of m?
True
Let o = -10 - -14. Suppose 0*t + 3*t = 2*u + 634, -8 = o*u. Suppose -3*m = -t - 186. Is m a multiple of 8?
False
Let i(a) = a**2 - 2*a + 1. Let w be i(4). Suppose -w*j - 5 = -10*j. Suppose -5*u = -y - y - 270, -j*y - 181 = -3*u. Is u a multiple of 13?
True
Suppose 0 = -4*l - 3*h + 4, 5*l - 3*h = 19 + 13. Suppose -4*m + 17 = -3*o, 4*m - 4 - l = 0. Is o + 181 + 1 + 4 a multiple of 13?
False
Let b = 136 - 131. Suppose -21 = -4*d - x, -b*x - 27 = -3*d + d. Does 11 divide (44/d)/(-5 - (-822)/162)?
True
Suppose -4267 = 12*j + 1373. Let f = j + 687. Is 26 a factor of f?
False
Suppose -k + 53 + 473 = 4*s, -k + s = -506. Suppose 0 = 4*i - 46 - 14. Suppose -i*c = -10*c - k. Does 17 divide c?
True
Let o(k) = k**2 - 13*k + 25. Let i be o(11). Is 5 a factor of 22 - (-9)/(0 - i)?
False
Let x(j) = 4*j**2 + 31*j + 98. Let d be x(-5). Suppose 0 = d*p - 41*p - 420. Is 21 a factor of p?
True
Let c be 18 - (-15)/(4 - 9). Suppose -4*v + 3*x + c = 4*x, v = x. Suppose -5*o - 4 = 1, 0 = -4*l + v*o + 187. Is 37 a factor of l?
False
Suppose 0 = -i - 6, -4*d - 18*i + 9984 = -22*i. Is d a multiple of 5?
True
Let c = 138 - 195. Does 3 divide c*(-4 - -7)/(-3)?
True
Suppose -a - 32183 - 3769 = -4*f, -4*f - 3*a = -35936. Is 60 a factor of f?
False
Let g(s) = 2*s**2 + 3*s + 5. Let k = -51 + 71. Let x be 1/((-4)/10)*(-32)/k. Is 15 a factor of g(x)?
False
Let q = -69 + 426. Let n = q - 306. Is n a multiple of 4?
False
Let a = 27493 + -18814. Does 6 divide a?
False
Let r be 89/5 - (-4 + (-114)/(-30)). Let x = 63 + r. Let d = -4 + x. Does 17 divide d?
False
Let l be 8 + -10 + (3 - -2). Let y(s) = 13 - s - 310*s**l - 12*s**2 + 309*s**3 - 9*s. Is y(-11) even?
True
Let b(a) = a**3 - 13*a**2 + 12*a + 11. Let u be b(8). Let z = u + 432. Is 6 a factor of z?
False
Let n(t) = -5*t**3 + 15*t**2 + 21*t + 7. Let h(o) = 2*o**3 - 7*o**2 - 10*o - 3. Let b(z) = -13*h(z) - 6*n(z). Suppose 98*w = 216 + 78. Is b(w) a multiple of 21?
True
Let t(h) = -168*h**3 + 4*h**2 - 16*h - 120. Is 27 a factor of t(-4)?
False
Suppose 0 = -3*n + 3375 - 1032. Let g = n + -561. Is g a multiple of 20?
True
Let q(v) = 118*v - 20. Does 95 divide q(5)?
True
Let w(g) = -16*g - 105. Let o be w(-9). Suppose -253 + 1891 = o*t. Does 9 divide t?
False
Let s(t) be the third derivative of 0 - 1/8*t**4 + 14/3*t**3 + 0*t + 8*t**2. Does 12 divide s(-24)?
False
Let c = 206848 - 137937. Is c a multiple of 72?
False
Suppose -x - 5*u = -16939, -58*x + 57*x + u + 16927 = 0. Is x a multiple of 19?
True
Let g be 57/9 - -2 - (-12)/18. Suppose g*j - 11*j + 864 = 0. Does 8 divide j?
True
Let a(w) = 3697*w**3 - 2*w**2 + 15*w - 6. Does 108 divide a(2)?
True
Suppose 53*q - 42641 = 9352. Does 6 divide q?
False
Suppose 2*k + 0*k = 0. Let d(b) = 2*b**3 + 5*b**2 - b - 2. Let x be d(-2). Suppose 0 = 5*n - 3*s - 686, x*n - 2*n + 3*s - 287 = k. Does 40 divide n?
False
Let d = -7970 - -28866. Does 32 divide d?
True
Let q be -1*(-2 + 3)/(7/(-175)). Suppose 918 + 2007 = q*j. Is j a multiple of 4?
False
Suppose 4*u - 4*t = 28, -5*u - 5*t + 31 = -8*t. Suppose -17*d + 60 = -u*d. Suppose 2*w + 2*q - 22 - 74 = 0, d*w = -2*q + 252. Does 4 divide w?
True
Is 10 a factor of (403/(-91) + 3)*-7294?
True
Let s(m) = 225*m**2 + 14*m - 5. Does 13 divide s(1)?
True
Suppose -2*d - 5*l + 5528 = -1255, -5*d + 16910 = 3*l. Is d a multiple of 63?
False
Suppose 3*u + 4*d - 46378 = 0, 15460 = u - d + 2*d. Does 19 divide u?
False
Let r(a) = a**3 + 39*a**2 - 63*a - 512. Is 16 a factor of r(-32)?
True
Let j(s) = -2*s**3 - 16*s**2 + 70*s + 58. Is 58 a factor of j(-29)?
True
Let o(q) = 29*q - 10. Let d(p) = -11 + 22*p + 20*p + 1 - 14*p. Let t(r) = 6*d(r) - 5*o(r). Is 21 a factor of t(5)?
True
Suppose 229*x - 14370048 = -387*x. Is 24 a factor of x?
True
Let k(w) = 3*w - 13*w**2 + w**2 - 3 + 13*w**2. Let g be k(-5). Let q = 210 - g. Does 37 divide q?
False
Suppose -2*i - 5*h = 1, 4*i - 53 = -4*h + 5*h. Let y = -2 + i. Suppose 11*v - 37 = y*v. Is 9 a factor of v?
False
Let j(l) = 28*l**3 + 3*l**2 + 3*l + 1. Let g be 1 - -1*(6 - 5). Does 45 divide j(g)?
False
Let n(k) = -412*k + 522. Does 8 divide n(-3)?
False
Suppose -190*l = -397*l + 143*l + 918528. Is 69 a factor of l?
True
Suppose v - 26609 = 3*j, -251*v = -248*v + j - 79777. Does 30 divide v?
False
Suppose -20*u + 17*u + 15 = -3*r, 2*u = 10. Suppose r = 3*k + 2*j - 598, j + 4*j = -2*k + 417. Is 49 a factor of k?
True
Suppose 3*c - 15 = -18, 2*c = -4*y + 18986. Is 53 a factor of y?
False
Suppose -6 - 10 = -8*x. Suppose b - 342 = -2*b - 5*r, x*b = -r + 235. Is b a multiple of 20?
False
Suppose -30*l + 166264 + 212876 = 0. Is l a multiple of 78?
False
Suppose -3*t - 23 = -f, -4*t - f = -2*t + 7. Is 4 a factor of (-20)/t*(-8073)/(-195)?
False
Let p = -90 + 87. Let m be -309 + (p - -8)/(-5). Let q = m - -442. Is q a multiple of 44?
True
Suppose -i + 4 = 2*f + 11, f - 4*i - 19 = 0. Let p(w) = -176*w**3 - 3*w**2 - 3*w - 1. Is 7 a factor of p(f)?
True
Let b(g) = g**3 + 25*g**2 + 13*g - 45. Let v be b(-13). Suppose 5*a - s - v = 2385, 4*s = a - 836. Does 15 divide a?
True
Let x be (-4)/6 - (5620/(-15) - -7). Suppose -3834 = -x*t + 361*t. Is t a multiple of 71?
True
Let v(a) = 63*a + 20 - 19*a - 32*a + a**2. Let b be v(-10). Suppose w - 4*w + 131 = -d, 3*w - 5*d - 127 = b. Does 44 divide w?
True
Suppose r = -95 + 260. Suppose 10*s + 5*s = r. Let j(g) = 14*g + 50. Is 34 a factor of j(s)?
True
Suppose 9*w - 548 = 82. Let x = w - 58. Suppose x*k + 138 = 14*k. Is k a multiple of 23?
True
Let z(c) = 146*c + 1879. Is z(74) a multiple of 146?
False
Suppose -67*l = -9502 + 6928 - 26973. Is l a multiple of 21?
True
Let h = -19819 - -28027. Does 108 divide h?
True
Let q be ((-380)/30*(-3)/2)/1. Suppose -20*p + q*p = -3. Suppose -333 - 270 = -p*g. Does 40 divide g?
False
Let m = -17283 + 38492. Does 127 divide m?
True
Let m be ((-8)/3 + 2)/((-1)/288). Suppose 0 = -8*s + 8 + m. Is s a multiple of 25?
True
Suppose -5*l = -25, -5*n - l = -286 - 204. Let c = n + -93. Suppose -5*y + 6*y - 2*k = 58, 0 = c*k - 12. Is y a multiple of 16?
True
Let h(v) = -v + 209. Let i be h(-14). Suppose 160 = 5*m - 4*o - 378, 3*m + 2*o = 314. Let u = i - m. Is u a multiple of 13?
True
Suppose -54*w - 140*w + 54902 = 0. Is w a multiple of 7?
False
Let s = 78 - 241. Let u = -31 - -13. Let b = u - s. Is 29 a factor of b?
True
Suppose 4*d - 41 = 3*y, 4*d - 28 = 5*y + 11. Suppose -t + 1210 = -d*t. Let f = t + 376. Is 15 a factor of f?
True
Suppose 3*k - 12 = -k. Suppose 2*f + 3*u = -40 + 258, 5*u = k*f - 327. Does 49 divide f?
False
Suppose 5*r - 669 = 511. Suppose -4*t - r = -2*t. Let w = t - -210. Is w a multiple of 30?
False
Suppose 2065 = 4*m - 2*m - n, m - 1050 = -2*n. Is 28 a factor of m?
True
Suppose 194 = 4*s - v, 3*v - 5*v = 4. Let o = 51 - s. Suppose o*q - 100 = -q. Is 2 a factor of q?
False
Suppose -20*z + 11*z + 1026 = 0. Let n = z + -75. Is n a multiple of 4?
False
Suppose -66*r + 86795 = -9037. Is 12 a factor of r?
True
Let f(i) = i**3 - 57*i**2 + 9*i - 670. Is 72 a factor of f(58)?
False
Let l = -18 - -23. Suppose m = 2*g - 416, -2*g - 3*m + 633 = g. Suppose -o - g = -v - 2*v, 3*v - 233 = -l*o. Is v a multiple of 12?
False
Let x(p) = -7288*p - 3964. Is x(-5) a multiple of 33?
False
Suppose 0*o - 220 = -4*o. Let s = 99 + -50. Let v = o + s. Does 23 divide v?
False
Let r(g) = 148*g**2 - 223*g + 35