ultiple of 18?
False
Let y be 35/(-11) + (-10)/(-55). Is y*16/12 - -11 a multiple of 5?
False
Suppose -5*f = 4*b - 0*b - 625, -590 = -5*f + 3*b. Does 3 divide f?
False
Is 28 a factor of -1*1/(-3) + (-92512)/(-168)?
False
Let j(r) = 3*r - 20. Let b be j(8). Suppose -b*o = -2*v - 292, -3*v - 2*v + 350 = 5*o. Is o a multiple of 8?
True
Suppose 2*z = -4*c + 16, 5*c - 2 = -12. Let s = 129 + z. Is 11 a factor of s?
False
Let w = 6219 + -2286. Is w a multiple of 69?
True
Let v = -999 - -1431. Is v a multiple of 18?
True
Suppose -5*o + 0*o - 15 = 0, 3*h - 1014 = -3*o. Is h a multiple of 7?
False
Suppose 0 = -v + 6*v, -5*x = 3*v - 6240. Does 52 divide x?
True
Suppose -2*b = 3*w - 8, -b + 5*w - 2*w = -22. Let v(a) = 33*a**2 + 195*a. Let i be v(-6). Let k = i - b. Is k even?
True
Suppose -246 = 5*l + 4*g - 2*g, 5*l + 4*g + 252 = 0. Let t be (-5)/(-1 - l/45). Let c = -9 - t. Does 22 divide c?
True
Let r(s) = -2*s**2 + 3. Let k(f) = 2*f**2 - 4. Let i(d) = -3*k(d) - 4*r(d). Let a be 4/(-22) + (-20)/11. Is 3 a factor of i(a)?
False
Let b be (-2)/(-4) - (-36)/8. Suppose 0 = g + 3*s - 33, b*g - 240 = s - 91. Let q = g - 23. Is q a multiple of 4?
False
Let l(c) = 3*c + 11. Let q(r) = 26 - 23 + 51 + 16*r. Let a(g) = 11*l(g) - 2*q(g). Is a(13) a multiple of 26?
True
Let j = -51 + 36. Let c = 30 + j. Is (-606)/(-15) - 6/c a multiple of 10?
True
Let w(x) = -28*x - 2. Let s be w(-2). Suppose -s = 5*b - 4. Let j(h) = -4*h - 1. Is j(b) a multiple of 18?
False
Let f(h) = h**3 - h**2 + 35. Let n be f(0). Is 224/n*110/4 a multiple of 16?
True
Suppose -242*h = -233*h - 12231. Is h a multiple of 28?
False
Let h be 2*-3*4/(-24) - -106. Suppose -q + 3*s + 0*s = -h, -2*s = q - 102. Is 13 a factor of q?
True
Suppose 0*l = 4*u - 2*l - 1812, -u + 2*l + 447 = 0. Does 9 divide u?
False
Suppose -870 = -164*c + 162*c. Does 87 divide c?
True
Suppose -86*q + 91*q = 825. Does 30 divide q?
False
Let s(w) be the second derivative of -8*w**3/3 + 23*w**2 - 23*w. Is s(-7) a multiple of 26?
False
Let w be 4 + -3 + (2 - 2). Let x be (-3 - 20/w) + -4. Is 39 a factor of (-2097)/x + 2/6?
True
Suppose -5*s - 57 = -3*g, 3*s = -4*g + 4*s + 76. Suppose l - g = 3*n, n + n - 118 = -4*l. Suppose 6*b - 116 = l. Is 6 a factor of b?
True
Let l(g) = g**3 + 7*g**2 - 36*g - 35. Does 24 divide l(-10)?
False
Let r = -9 - 22. Let c = r - -40. Is c a multiple of 5?
False
Let q be 1/(-1)*320/(-10). Suppose -6*d + 722 = q. Is d a multiple of 23?
True
Suppose -c - 2*p - 97 = -4*p, -c = -4*p + 91. Let v = -73 - c. Is v a multiple of 8?
False
Let p(h) = h**3 - 5*h**2 - 3. Let j be p(5). Does 10 divide -3 + j - -3 - -72?
False
Let b(h) = -74*h + 12. Let z be b(-5). Suppose 0*g + 3*g = -3*j + 294, -2*j + z = 4*g. Suppose 2*m + 117 = 3*i - m, -2*i - m = -g. Does 18 divide i?
False
Let s = 17 - 9. Suppose 0*t = t + 5*p + s, 0 = -2*p + 4. Is 208/7 + t/(-63) a multiple of 8?
False
Suppose -h = -2*v - v - 6, 2*h + 6 = -3*v. Does 38 divide (h + -1)/((-1224)/1216 + 1)?
True
Is 170/((-27)/306*(-20)/15) a multiple of 85?
True
Let c(y) = 5*y**2 - 5*y - 1. Is c(5) a multiple of 4?
False
Is (12/7)/((-16)/(-8736)) a multiple of 104?
True
Suppose -f = f - 384. Suppose 3*l + l - f = 0. Is l a multiple of 12?
True
Let d = -716 - -1280. Is 14 a factor of d?
False
Let q = 10 + 2. Let f = -12 + q. Let v = f - -6. Is 2 a factor of v?
True
Let n = -30 - -62. Suppose 1 - n = -f. Does 10 divide f?
False
Suppose 0 = 3*d - 35 - 16. Let z(f) = f**2 - 11*f. Is z(d) a multiple of 26?
False
Suppose -48 = -v + 27. Is 31 a factor of ((-60)/v)/(3/(465/(-2)))?
True
Suppose 0 = 5*u - 7*u + 4*y + 2968, -5*y = -2*u + 2973. Is u a multiple of 22?
True
Let m(c) = c**2 - 14*c - 23. Suppose 2*i = -11 + 43. Let b be m(i). Suppose b*n + 50 = 2*j + 4*n, -3*n = j - 14. Is 7 a factor of j?
False
Let q be (88/(-12))/((-4)/(-6)). Let s = q + 11. Suppose s = 5*u + 62 - 242. Is 12 a factor of u?
True
Let x be (27/(-4))/((-4)/((-1568)/(-21))). Suppose -5*j - 3*h = -161, -3*j + x = j + h. Is 31 a factor of j?
True
Suppose -3*x = -3*p + 4089, 6*p + 4*x = 3*p + 4061. Does 34 divide p?
False
Is -4*24/9*(-204)/16 a multiple of 22?
False
Let p(q) = 5*q**3 - 13*q**2 + 2*q. Let z(j) = 6*j**3 - 14*j**2 + 3*j. Let c(l) = -5*p(l) + 4*z(l). Let g be c(9). Is (-2 + 8)*120/g a multiple of 11?
False
Let s be (-2)/7 + 368/161. Suppose s*c - 5*u - 523 = -2*c, -3*c + 401 = -2*u. Is c a multiple of 46?
False
Suppose 5*t = -4*q + 55, 5*q = 3*t + t - 3. Let x be 42/t + (-4)/2. Does 14 divide ((-84)/(-15))/(x/10)?
True
Suppose 3*i - 1750 = -4*j, -444 = -j - 22*i + 18*i. Is j a multiple of 36?
False
Let p(a) = -a**2. Let r be p(0). Suppose r = 7*b - 13*b + 2310. Suppose 0 = 4*f - b + 85. Is 17 a factor of f?
False
Suppose -22*m + 27*m = n - 183, -3*m - 681 = -4*n. Does 24 divide n?
True
Suppose -200*d - 352 = -204*d. Is d a multiple of 10?
False
Let y(z) = z + 16. Let j be (0 - -2)*(-39)/6. Let u be y(j). Is 2/(122/(-42) + u) a multiple of 5?
False
Let o = -386 + 730. Is o a multiple of 86?
True
Does 11 divide 5 - 2 - 2124/(-18)?
True
Does 37 divide (195/(-26))/((-1)/74)?
True
Let y = -77 - -157. Let f = y - 122. Is 7/f + 38/12 a multiple of 3?
True
Let f(d) = 3*d**2. Suppose 1 = -2*l + 5. Does 4 divide f(l)?
True
Let q(r) = -r**3 - 7*r**2 - 5*r + 7. Let y be q(-6). Does 18 divide y*4 + -4 + 42?
False
Suppose 13 = 6*n + 31. Is ((-74)/6)/(1/n) a multiple of 14?
False
Let u(y) = -8*y + 27. Let f be u(-5). Suppose -k + 2*v = 7 - f, -k = 3*v - 85. Is 10 a factor of k?
True
Suppose 4*w + 2*t = 8888 - 1406, 0 = -w - t + 1869. Does 9 divide w?
True
Suppose -6*d + 4*d + 2*m = -322, 0 = 2*d - m - 321. Does 21 divide d?
False
Let l(i) = -101*i + 6 - i**3 - i**2 - 6*i**2 + 109*i + 10. Is l(-8) a multiple of 9?
False
Let z = -49 - -73. Suppose 0*w = -4*w - z. Let s(v) = v**3 + 7*v**2 - 2*v - 3. Does 26 divide s(w)?
False
Let q(o) = 2*o + 10. Let g be q(-1). Suppose 4*v - 3*m + g*m = 264, -3*v = -4*m - 167. Is v a multiple of 14?
False
Let l(k) = 3*k**2 - 15*k + 64. Is l(7) a multiple of 3?
False
Let o(y) = 9 - y**3 + 7*y**2 + 0*y + 4*y + 2*y. Let q be (0 + 8)/2 + (-2 - -5). Does 27 divide o(q)?
False
Let f = -271 + 719. Is f a multiple of 56?
True
Let b = -25 - -3. Let t = -39 - b. Let u = t - -26. Is u a multiple of 2?
False
Let p = 1 + 1. Suppose 0 = y + t + p, t + 2 = 4*y - 2*y. Suppose 5*v = -2*g + 58, y*g - v - 58 = -2*g. Is 8 a factor of g?
False
Is 22 a factor of (4 - (6 - 360)) + -6?
True
Let y be (11/4)/(3/12). Let a = y - 6. Let v = a + 23. Is v a multiple of 6?
False
Suppose 8*t = 4988 + 6100. Is 33 a factor of t?
True
Does 36 divide ((-17953)/39)/(1/(-3))?
False
Let d = 41 - 162. Let b = -80 - d. Does 9 divide b?
False
Let q(j) be the first derivative of 4*j**2 - 36*j + 10. Is 14 a factor of q(15)?
True
Let k = 792 + -115. Is 13 a factor of k?
False
Let y(g) be the second derivative of -g**5/20 + 2*g**4 - 23*g**3/6 + 20*g**2 + 16*g. Is y(23) a multiple of 8?
True
Let a = 196 + 39. Let x = -127 + a. Suppose -x = 6*i - 9*i. Is i a multiple of 19?
False
Let c(n) = 4*n**2 - n - 1. Let s be c(-1). Suppose 0 = -3*p + 8 + 4, 32 = s*v + p. Let q(o) = 6*o + 6. Does 24 divide q(v)?
True
Let n = -28 + -24. Let k = -44 - n. Does 4 divide k?
True
Let o = -812 - -1088. Is o a multiple of 12?
True
Does 20 divide ((-12)/14)/(-1)*343*1?
False
Suppose -87*x - 382 = -88*x. Does 22 divide x?
False
Let v(c) = -2*c**3 - 21*c**2 + 15*c + 186. Does 11 divide v(-18)?
False
Let v(a) = -a**3 - 37*a**2 - 43*a + 34. Is 22 a factor of v(-36)?
True
Let z(l) = l**3 + 4*l**2 + l + 2. Let y(i) = -i + 5. Let h be y(2). Suppose 0 = -2*m - 5*k - 4 + 3, 0 = -h*m - 4*k - 5. Is z(m) a multiple of 2?
True
Suppose -2*o - 60 = -5*o. Suppose 16*t + 12 = o*t. Suppose t*h = -5*y + 260, 0*h - 344 = -4*h - 4*y. Is 15 a factor of h?
False
Suppose -79*o + 85*o = 96. Is 8 a factor of o?
True
Let y(r) = -2*r - 8. Let w be y(-4). Suppose 4 = -2*o - w. Is 10 a factor of 3 + o + 35/1?
False
Suppose -o + 5*t + 44 = 0, 2*o - 176 = -2*o - 5*t. Is 12 a factor of -1 + (-9)/((-9)/o)?
False
Let r(o) = o**3 + 6*o**2 - 8*o - 3. Let z be r(-7). Let l be 19 - 2*3/6. Suppose 0 = z*h - h - l. Is 6 a factor of h?
True
Let i be (-30)/(-8) - (-1)/4. Let j = -201 - -249. Suppose -j = -i*r + 60. Is 14 a factor of r?
False
Let n(m) = -2*m - 10. Let d be n(-6