+ b + 3440 = 0. Is 37 a factor of x?
True
Suppose 32*x - 11*x - 161567 = 199696. Does 27 divide x?
False
Let t(n) = n - 4. Let v be t(9). Suppose -4*k + 0*k + 2*d + 432 = 0, v*d - 555 = -5*k. Is 54 a factor of k?
False
Suppose -975 = -3*v - 3*y, 2*v - 103*y = -108*y + 662. Is 7 a factor of v?
False
Let t = 9910 - -15411. Is t a multiple of 10?
False
Let k = -20 + 1. Is 3 a factor of k/((-2)/48*4)?
True
Is 4/(-9) - 9570952/(-954) a multiple of 11?
True
Let q(u) = -6*u**2 - 8*u + 29. Let s be q(-10). Let g = -280 - s. Is 12 a factor of g?
False
Let p = -11134 - -15011. Is p a multiple of 51?
False
Let o(s) = -5*s - 2. Let h(t) = 4*t - 1. Let j(w) = 3*h(w) + o(w). Is 6 a factor of j(11)?
True
Let d be 12/(-15) - 44/(-5). Suppose -4*u + 9 = -3*c + 4*c, 3*u = -2*c + d. Suppose 25 = 5*k + 5*i, -c = -k + 2*k + 3*i. Does 2 divide k?
True
Let q(y) = y**2 - 22*y + 28. Let j be (416/24)/((-8)/(-12)). Is q(j) a multiple of 11?
True
Let l be (1 + -6)*21 - (-4 - -8). Let n = l - -163. Does 6 divide n?
True
Let g = 1748 - 338. Does 4 divide g?
False
Let h(q) = 87*q**2 - 11*q + 19. Let f be h(-4). Let d = 2973 - f. Is d a multiple of 66?
True
Let s be 109*2*(-8)/(-16). Suppose s*l = 108*l + 5. Suppose -2*v = -4*x + 92, 2*x - l*v - 65 + 27 = 0. Is x a multiple of 3?
True
Is 273/(-28)*(-3 + 129732/(-36)) a multiple of 13?
True
Let o = 26 - 23. Suppose -o*y - 4038 = -4*v - 8*y, 5054 = 5*v + 3*y. Is 3 a factor of v/161 - (18/14 - 1)?
True
Let i(t) = 47*t**2 + 128*t - 52. Does 11 divide i(16)?
False
Let g(p) = p**3 + 21*p**2 - 21*p + 28. Let q be g(-22). Suppose 84 = 2*w - 2*m + 5*m, -w + 2*m = -49. Does 5 divide (-8)/(-4)*w/q?
True
Let q be 117/(-13)*5*(-2)/(-15). Let u(h) = 5*h**2 - 5*h - 42. Does 3 divide u(q)?
True
Let h(k) = -4*k**2 - 29*k - 29*k + 3 + 55*k + k**3. Let s be h(5). Let t = 43 + s. Is t a multiple of 7?
True
Is 11 a factor of (12/(-10))/((-3)/9695 + 0)?
False
Let r = 62 - 57. Is 4 a factor of r - (32/(-2) + -3)?
True
Let b = -124 + 372. Suppose -b = -6*i + 184. Is 18 a factor of i?
True
Let l(j) = -j**3 + j**2 - 2*j + 7. Suppose q - 4*q = 0. Let n be l(q). Suppose -z + 7 = -n. Does 7 divide z?
True
Let w(a) = 2*a**3 - 2*a**2 - 10*a + 15. Let f be w(3). Is 7 a factor of 21350/f + 32/24?
False
Let b be (3 - 0)/(-1 - 0). Does 47 divide (8/(-2))/(b - 281/(-94))?
True
Suppose 5*p - 69 + 54 = -a, -p = 3*a - 101. Let k(w) = 8*w + 3. Let q be k(-2). Let y = a + q. Is 11 a factor of y?
True
Let w = 214 - 231. Let u(v) = 4*v + 105. Is 9 a factor of u(w)?
False
Let o(c) = -c**2 - 21*c - 25. Suppose 0 = 4*m + 83 - 11. Let b be o(m). Suppose -420 = -b*a + 24*a. Is 21 a factor of a?
True
Let z be (-4)/26 - ((-402)/(-39))/(-2). Suppose 2*b = 3*v + v + 354, -v - z*b - 72 = 0. Let c = 102 - v. Does 43 divide c?
False
Let i = -1263 + 2071. Suppose x - 63 = -5*h + 116, 4*x - i = 3*h. Let g = x + -109. Is 15 a factor of g?
True
Let h(f) = -530*f**2 + 2*f + 2. Let x be h(-1). Let y be (35/10 + -4)*x. Let v = -145 + y. Is v a multiple of 12?
True
Suppose 0 = -10*q + 8*q - 858. Let s = q + 652. Suppose -3*y - 4*v + 175 = 0, 3*v = 4*y - 2*v - s. Is 30 a factor of y?
False
Let g be ((-1260)/336)/(6/(-16)). Let r(p) = 2*p**3 - 17*p**2 + 34*p - 25. Is 41 a factor of r(g)?
True
Let o(z) = 11*z + 15. Let w(n) = 9*n + 15. Let t(s) = -5*o(s) + 6*w(s). Let b(u) = -u**3 - 2*u**2 - 4. Let k be b(-3). Is 5 a factor of t(k)?
True
Is 309865/45 - (-3)/27 a multiple of 22?
True
Let b(j) = 248*j - 5203. Is b(92) a multiple of 12?
False
Let v = 44693 - 18422. Suppose 8*p = 29*p - v. Is p a multiple of 16?
False
Suppose 4*q + 2 + 15 = -3*v, q = -5*v. Let m(g) = -2*g**3 - 8*g**2 + 2*g + 26. Does 11 divide m(q)?
True
Suppose 16*h + 16*h = 37*h - 21310. Does 11 divide h?
False
Let z = 255 - 253. Let l(o) = -99*o + 5. Let w be l(-5). Suppose -177 = -5*x - u + w, z*x + 3*u = 263. Is x a multiple of 32?
False
Suppose -38036 - 40336 = -4*a. Is 25 a factor of a?
False
Let j(x) = -171*x. Let h be j(-1). Let b(p) = -12*p**3 + 2*p**2 - 5*p + 1. Let m be b(2). Let f = m + h. Is 37 a factor of f?
True
Suppose 5*n + 5*c = 341820, 204*c + 341739 = 5*n + 200*c. Is 217 a factor of n?
True
Suppose 4*j + a - 15 = 2*a, 3*j = 2*a + 5. Suppose 0 = -6*i + 3*i + 75. Suppose -2*p + j*p - 4*k = 78, -i = -p + k. Is p a multiple of 11?
True
Let c(i) = -7816*i - 60. Is c(-4) a multiple of 16?
False
Suppose 0 = -4*k + b + 82, 3*k + 2*b = -0*b + 56. Let a(j) = -22 + k*j**2 - 5*j**3 + 4*j**3 - 7*j**2 + 5*j + j. Does 16 divide a(13)?
False
Let u(b) = 3563*b - 2739. Is 61 a factor of u(3)?
False
Let q be (-157)/(-5) - 6/15. Suppose -5*y = 1 - q. Suppose y*o - 635 - 157 = 0. Does 12 divide o?
True
Let d(j) = 813*j + 2. Let m be d(1). Let z = m + -441. Is z a multiple of 10?
False
Let t(y) = 7*y**2 - 23*y + 6. Let m be t(6). Suppose 4*v - 6*v = -3*j + 104, 4*j = -2*v + m. Does 4 divide j?
True
Suppose -2*d + 453 - 1693 = -2*h, 5*d + 2*h + 3121 = 0. Let k = d + 1214. Is 8 a factor of k?
False
Let x be (5/2)/(-2 + (-20)/(-8)). Suppose 5*v = -a + 169, x*v - 2*v - 823 = -5*a. Is 8 a factor of a?
False
Let c(i) = 43*i**3 + 11*i**2 - 29*i - 33. Is c(3) a multiple of 30?
True
Let c be 9*((-7)/(-1) - -4). Suppose -15*q + c = -156. Does 4 divide q?
False
Let w(g) = 50*g - 1192. Let p be w(29). Let q be (-2)/5 + 24/10. Suppose -2*r = -4*x + p, -q*x + x + 2*r = -66. Is 16 a factor of x?
True
Suppose 226*n - 4632624 = 10*n + 2816784. Is n a multiple of 36?
True
Let h(z) = -z**2 + 14*z + 9. Let l be h(13). Let r be 6/(-48)*l*24. Let x = 18 - r. Is 12 a factor of x?
True
Suppose 742*s - 25938 = 720*s. Does 13 divide s?
False
Suppose -3*z = 5*g - 7, -2*z + 13 = -4*g + 1. Suppose -m = -3*f + 119, -5*m = z*f - 2*m - 163. Does 10 divide f?
True
Suppose 82852 = 50*c - 96480 - 50768. Is c a multiple of 4?
False
Is 4 a factor of (-8)/2 - (157 - 1915)?
False
Let s be 8/3*(-1)/(-12)*18. Suppose s*w - 376 = -100. Does 5 divide w?
False
Does 22 divide 9430 - (140/28 - -9)?
True
Suppose 2081*w + 32384 = 2089*w. Is w a multiple of 184?
True
Suppose 0 = 63961*q - 63960*q - 8171. Does 29 divide q?
False
Suppose -20*j - 72 = -38*j. Suppose 8*p = -3*s + 4*p + 485, s = j*p + 135. Does 31 divide s?
True
Let y(q) = 2*q**3 + 5*q**2 - 8*q + 9. Suppose -2*j + 1 = -2*s - 5, 3*j - 5*s = 3. Let h be y(j). Suppose 11*z = 8*z + h. Is z a multiple of 39?
False
Let v = -371 - -386. Suppose v*c = -1446 + 8721. Does 49 divide c?
False
Suppose -390 = -10*c + 7*c. Let h = -250 + c. Let i = h - -230. Does 19 divide i?
False
Let z be -3*6*-2*(-5)/(-20). Suppose 2*o - z = -o. Suppose 5*m + 103 = o*n, 71 = 2*n - 0*m - m. Is n a multiple of 6?
True
Let z = 149 + -149. Suppose z = -6*s + 10*s - 352. Suppose d + 26 = s. Is d a multiple of 4?
False
Let s(i) = -4 + 3*i - 4*i + 2 - 6*i**2 + 7*i**2. Does 20 divide s(14)?
True
Let q = 22 + 149. Suppose -4*r - 192 = 4*m - 0*r, -3*r = -4*m - q. Let g = m - -181. Does 17 divide g?
True
Let t(a) = 39*a + 34. Let o be t(13). Suppose -335 = -2*m + o. Suppose y + c = 142, 3*y - 2*c = c + m. Is 12 a factor of y?
True
Suppose -7*w = -2055 - 5491. Let o = w + -64. Is 26 a factor of o?
True
Let m(f) = 2*f - 10. Suppose 4*q - 20 = -4*j, -q - 9*j = -4*j - 5. Let b be m(q). Suppose 0 = -4*c - b*c + 600. Does 31 divide c?
False
Let r be (2 - 1)/((-2)/(-14)). Suppose 1280 = r*z - 2*z. Suppose 0 = 4*y - 68 - z. Is y a multiple of 9?
True
Suppose -52*x = -57*x + 765. Let i = x - 96. Is 4 a factor of i?
False
Let r = 11132 - 7667. Does 21 divide r?
True
Let t(c) = c - 11. Let y(g) = g. Let z(q) = t(q) + 3*y(q). Let k be z(3). Let b(i) = 118*i**3 - i**2 + 3*i - 3. Is b(k) a multiple of 13?
True
Let m be (2*101)/((-94)/141). Is 14 a factor of (-15049)/m*(1*3 - 0)?
False
Suppose 396 = 2*y + 194. Suppose 8*w - 11*w = -t + y, t - 100 = 2*w. Is t a multiple of 7?
True
Suppose 40 = -4*l + 488. Let h = l + 260. Does 39 divide h?
False
Let y(n) = -370*n + 2. Let v be y(-3). Let o(g) = g**3 + 9*g**2 - 36*g - 135. Let w be o(-11). Suppose -11*q + w*q = v. Does 24 divide q?
False
Let n = 10516 + -3019. Is 49 a factor of n?
True
Let b = 266 + -274. Let c(n) = -n**3 - n**2 - 2*n - 7. Is 20 a factor of c(b)?
False
Let i be (-32)/6*(-2 + 161/28). Let c be 38*(1/5 + (-26)/i). Suppose 0 = 3*f + 15, -2*k + c + 49 = -2*f. Is k a multiple of 9?
False
Let y(z) = -z*