uppose -r*i + 5 - 5 = 0. Suppose 5*p + 5 = i, j = -0*j + 2*p + 122. Is j a multiple of 8?
True
Suppose -3*f - f = u - 2, 5*u = 3*f + 10. Suppose 5*k + l - 960 = 2*l, -4*l = 0. Suppose f = -11*o + 13*o - k. Is 13 a factor of o?
False
Suppose -3*s + 299 = -238. Let b be 3 + -4 + -111 - -2. Let z = s + b. Is z a multiple of 16?
False
Suppose p = 54 - 32. Is 2460/p - (-2)/11 a multiple of 14?
True
Let t(n) = 230*n + 582. Is 39 a factor of t(9)?
True
Is (60 - 10)/((-5)/(-110)) a multiple of 11?
True
Let h(j) = -4*j + 2*j**2 + 7*j + 2*j**3 - j**3 - 3*j**2 + 0*j**2. Is 10 a factor of h(3)?
False
Suppose -152*k - 195*k = -775892. Is k a multiple of 7?
False
Suppose 0 = -2*j + 19868 + 49206. Is j a multiple of 14?
False
Let c(o) = 32 + 2*o + 4*o**3 - o**2 - 5*o**3 - 30. Let g be c(-2). Suppose 0 = 3*h - 8*h - 20, 34 = x + g*h. Does 7 divide x?
True
Let i = -19 - -15. Let c be i + 7 - 0 - 51. Is 16 a factor of (-16)/c + 686/3?
False
Suppose 5*x - 28 + 13 = 0. Suppose 2509 - 922 = -3*m + 5*u, x = -u. Is m/(-10) + 2/(-5) a multiple of 16?
False
Does 41 divide (2 - 2) + 5492 + -11*46/(-253)?
True
Let w(q) = -185*q + 80. Let t = -415 + 410. Is 15 a factor of w(t)?
True
Let p be -1 + 1/(-3) + 133/21. Suppose p*b - 25 = -0*b. Suppose 2*q - 5*m - 76 = 0, 6*q = q + b*m + 220. Does 25 divide q?
False
Suppose -4*t = -5*v - 42526, 3*t - 95*v = -100*v + 31947. Is t a multiple of 31?
False
Suppose o - l = 644, -3*l - 4 = -2*l. Suppose 6*a - o - 356 = 0. Is a a multiple of 20?
False
Let y = -155 - -1541. Does 77 divide y?
True
Let d(f) = -17*f**2 + 49*f + 43. Let x(i) = 9*i**2 - 24*i - 21. Let k(b) = -4*d(b) - 7*x(b). Is 6 a factor of k(-6)?
False
Let z(i) = 377*i - 2525. Does 7 divide z(23)?
True
Suppose 66*g + 2*v = 63*g + 12109, -16122 = -4*g + 2*v. Is 20 a factor of g?
False
Is 24 a factor of (5 - 4)/((-33756)/3376 - -10)?
False
Suppose 2*x = 4*m - 32 + 8, -x + 12 = 4*m. Suppose m*q - 1028 = k, -3*k = -3*q - 8*k + 748. Is 8 a factor of q?
True
Suppose -191 + 107 = -6*y. Does 27 divide y/28 + 1268/8?
False
Let q = 1359 - 769. Let c = 1356 - q. Is c a multiple of 23?
False
Let u(j) = 58 - 10 - 3*j**2 + 4*j**2 - 29*j + 22 + 0*j**2. Does 3 divide u(32)?
False
Let w(i) = 8937*i + 51. Does 9 divide w(1)?
False
Suppose -4*j = 3*y - 36123, 52*j + 2*y + 9028 = 53*j. Is 41 a factor of j?
False
Suppose -3*y = 3*x - 68 + 26, -2*y + 2*x + 20 = 0. Suppose 4*m = y*m - 24. Does 3 divide m?
True
Let g be (-1012)/(-14) - ((-54)/(-42) - 1). Let p = g - 64. Is 5 a factor of 14*(5 - 20/p)?
True
Let j(n) = -308*n - 1680. Is 133 a factor of j(-15)?
False
Does 10 divide 1845/16605 + -19142*(-1)/9?
False
Suppose -3 = 49*c - 52*c. Does 55 divide (c*-1996)/(-4) + -4?
True
Let b(w) = 10*w**2 + 115*w + 642. Is 104 a factor of b(-6)?
True
Let p(f) = f**2 + 2*f - 11. Let s(j) = 5*j**2 + 8*j - 44. Let x(l) = -9*p(l) + 2*s(l). Let y(t) = -t + 3. Let a be y(0). Is x(a) a multiple of 14?
True
Let c(t) be the second derivative of -t**4/4 + 46*t**3/3 - 189*t. Is 29 a factor of c(29)?
True
Suppose 3*b - 9383 = 5*c, 3*b - 5*b - 5626 = 3*c. Let t be c/8*2 + -3. Let d = -307 - t. Is d a multiple of 15?
True
Suppose -50*x + 45*x = -5. Let j be x*(2 + 0 + -88). Let i = 131 + j. Does 23 divide i?
False
Suppose 4713 = r + 5*a, 23544 = 5*r + 61*a - 57*a. Is 9 a factor of r?
False
Let z(s) = -s**2 - 24*s + 15. Let i(y) = -y**3 - 17*y**2 - 29*y - 2. Let b be i(-15). Is 9 a factor of z(b)?
False
Let x(p) = 5*p + 7*p - 5*p + 2*p + 72. Let n be x(-8). Suppose -20*j + 1751 - 151 = n. Is 10 a factor of j?
True
Let k(y) = 12*y - 13. Suppose 3*w + g - 31 = 0, 4*w + 2*g = -w + 53. Let i be k(w). Suppose 9*s = 4*s + i. Is 5 a factor of s?
False
Suppose -168*z - 60*z + 69*z + 2386908 = 0. Does 108 divide z?
True
Let m be ((-33)/(-9))/(((-10)/135)/2). Let q = m - -376. Let k = -136 + q. Is 18 a factor of k?
False
Let j be (4 + (-26)/6)*-18. Let t(h) = -h - 5 - 19*h - j. Is t(-9) a multiple of 13?
True
Let j(g) = g**3 + g**2 + g + 4. Let n be j(0). Suppose -2*t - 2*h - n = 0, -t + 3*h + 12 = -2*t. Suppose -8*d = -t*d + k - 340, -5*k = 0. Does 27 divide d?
False
Suppose 0 = -5*q - 0*q + 300. Let m be (-3880)/q*(-6)/(-4). Let f = 162 + m. Does 13 divide f?
True
Let h(q) = q**3 - 2*q**2 + 3*q - 4. Let k be h(2). Let s(o) = -5*o**2 - 2*o**2 + 6*o**k + 0 - 7 + 5*o + o**3. Is 22 a factor of s(4)?
False
Let n be (3 - (-1 + 5))/(-3 - -4). Is n/(5/(4 + -1509)) a multiple of 28?
False
Suppose -2160 = 410*n - 425*n. Suppose 3*c + 15 = -15. Let w = n - c. Is w a multiple of 22?
True
Suppose -3*v + 27 = -3*d, 0 = -d + 4 - 3. Let g(a) be the second derivative of -a**5/10 + 11*a**4/6 - 11*a**3/6 + a**2 + 3*a - 3. Is g(v) a multiple of 11?
False
Let n(k) = k**3 - 2*k**2 + 7*k - 7. Let p be n(3). Suppose -p*u = -27*u + 448. Is 16 a factor of u?
True
Is 58 a factor of (-5)/(20/64) + 11500?
True
Suppose i - 270 = 74. Let v = 402 - i. Does 29 divide v?
True
Suppose 0 = -4*r + 3*j + 33662, -674*j + 25248 = 3*r - 677*j. Is r a multiple of 106?
False
Let o be 168 - -4*6/24. Suppose -3*d - 2*d + 160 = -5*x, -5*d - 4*x = -o. Is d a multiple of 11?
True
Let z = 468 + -414. Suppose -4*n - 4*g + 1628 = 0, 9 = -51*g + z*g. Is 6 a factor of n?
False
Let u be 28/1 + 63/(-21). Let t = u - -34. Suppose t = 4*g + 7. Is g a multiple of 13?
True
Let i(l) = l**2 - 4*l. Let o be i(4). Let b(p) = p**2 + 3*p + 28. Does 2 divide b(o)?
True
Let s(a) = a - 1. Let n(j) = 14*j - 3. Let g be 1/(-2)*(-10)/(-5). Let x(m) = g*n(m) - 3*s(m). Is 9 a factor of x(-4)?
False
Let o be -5 - -1 - -7 - 3/(-3). Let f = 51 + -18. Suppose o*m = m + f. Is 11 a factor of m?
True
Suppose -y + 26*n - 32*n + 4300 = 0, 0 = 3*y + 2*n - 12868. Is y a multiple of 67?
True
Let u(c) = 54*c + 133. Let b be u(-5). Let d = b + 359. Is 7 a factor of d?
False
Is (32 - -54157) + -22 + -8 + -1 a multiple of 13?
True
Let d(i) = -i**2 + 15*i + 128. Let r be d(-6). Suppose -r*m + 0*h + 200 = h, -3*m + 298 = 2*h. Is 5 a factor of m?
False
Let w(d) = -13*d - 44. Let q be w(-5). Let b be 4 - (-6)/2*(-28)/q. Suppose 6*n - 576 - 306 = b. Is 21 a factor of n?
True
Let p(d) = -7*d + 6. Let u be p(-3). Suppose 0 = -4*v - l + 16, -5*v - 4*l + u = -4. Suppose -56 = -2*q + 3*w, -v*q + 44 = -2*w - 30. Is q a multiple of 6?
False
Suppose 190 = -4*b - 3*q, -4*b = -4*q + 16 + 160. Let k = b + 43. Is 6 a factor of 1*(k - 1 - -22)?
True
Let z(f) be the third derivative of 86*f**5/15 + f**4/8 + 2*f**3/3 + 7*f**2 - 3*f. Is z(-1) a multiple of 31?
False
Is 55011/7 - (-202)/707 a multiple of 271?
True
Suppose 1385*k = 1383*k + 16. Suppose -k*w + 21*w - 7332 = 0. Is 47 a factor of w?
True
Let n = -659 + 664. Suppose -4*x - n*k = -8*k - 2112, -5*k = 20. Does 21 divide x?
True
Let w = 2358 - -16796. Is w a multiple of 122?
True
Let v(u) = -43*u + 80. Let d be (17/17)/(2/(-10)). Is v(d) a multiple of 10?
False
Suppose -8*x = -10*x - 106. Let k = 197 + x. Suppose -2*b = -k - 116. Is b a multiple of 13?
True
Let a(d) = 1654*d + 3266. Is 16 a factor of a(5)?
True
Let b(d) = 27*d + 76. Suppose 41 = 8*m - 55. Is b(m) a multiple of 8?
True
Is 11 a factor of (7205/(-5))/(-2 + -4 + 5)?
True
Let t be 2/9 + 1240/9. Is 3 a factor of ((-8)/12)/((-1)/t)?
False
Let m = -5377 + 5509. Is m a multiple of 2?
True
Suppose 4*b - 284 = 4*w, 3*b - 265*w + 269*w = 185. Is b a multiple of 3?
False
Suppose y - 2*y + 5 = -5*l, 0 = 2*y - 2*l - 10. Suppose 4 = -y*f + 9*f. Is 9 a factor of (-1 - f - -1)/((-1)/36)?
True
Suppose 4*q - 8*q = 4, 0 = 5*l - 5*q - 73445. Does 216 divide l?
True
Suppose 3*r - 6*r - 4*l = -59, 0 = -5*r - l + 121. Is 18 a factor of ((-60)/r)/((-20)/1650)?
True
Let m(a) = -a - 5. Let s(k) = -3*k - 9. Let i(y) = 14*m(y) - 6*s(y). Let c(o) = -4*o + 16. Let g(w) = 3*c(w) + 2*i(w). Does 5 divide g(-5)?
False
Suppose 28*o = -2*o + 181*o - 850432. Is 16 a factor of o?
True
Suppose 40*s - 45*s = -10. Does 54 divide 794/10 + 56/(-40) + s?
False
Suppose -5*v - 6 = 4. Suppose 5 = a - 0*a, 0 = w - 4*a + 25. Is 4 a factor of -6*(0 - w/v)?
False
Suppose -1 = -a - 5, -a = -h + 4. Is 17 - 0 - 0 - h/(-32) even?
False
Let m = 10110 - 10022. Let l = -24 + 17. Is l + 600/m + (-224)/(-22) even?
True
Suppose 0 = -3*q - d + 38613 + 46099, d = 4. Is 93 a factor of q?
False
Let a(j) = 6*j**2 - 2*j. Let s be a(1). Let f = s + -1. Is (5 + 0/f)*144/5 a m