 of 8?
True
Let z be ((-2)/4 + 3/6)/2. Let y(j) = 5 + 18 + z - 64*j + 30. Is y(-4) a multiple of 15?
False
Is (-16)/(-584) + 6558162/438 a multiple of 26?
False
Suppose h - 18 = 19*h. Is (-2 - -70) + -2 + (h - 3) a multiple of 31?
True
Suppose 61*q - 7*z = 66*q - 9013, 3*q = -3*z + 5409. Is 14 a factor of q?
False
Let d(f) = 3*f**3 + 3*f**2 + 7*f + 40550. Is d(0) a multiple of 50?
True
Suppose -5*n + 0*n + 28 = j, -33 = -3*j + 2*n. Suppose -189 = j*t - 46. Is 22 a factor of ((-114)/4)/(t/44)?
False
Let p be -247 - (2 + (8 - 5)). Let j = 330 + p. Is j a multiple of 6?
True
Let j = -33 + 34. Let n = 50 + j. Suppose -21*u = -20*u - n. Does 16 divide u?
False
Suppose 2*o = -4*g - 1222, 4*g - o + 1084 + 123 = 0. Let a = g + 538. Does 32 divide (1*4)/(-3 - (-710)/a)?
False
Let y = 1838 - -11738. Does 109 divide y?
False
Let s = -11 - -14. Suppose s*c - 6*y + y = 1498, -2007 = -4*c - 3*y. Let j = c - 276. Is 19 a factor of j?
False
Let t = 94 + -92. Suppose -5*u + 0*v + 24 = t*v, -2*v + 8 = u. Suppose 4*d = 7*h - 6*h - 156, u*h - 675 = -d. Is h a multiple of 28?
True
Let a(w) = 77*w + 36. Let c = -680 - -699. Is 11 a factor of a(c)?
False
Suppose 0 = 10*v - 14*v - 8528. Let b be v/(-39) + 2/(-3). Suppose 5*j - a = 300, 2*a - 17 = -j + b. Does 20 divide j?
False
Let x(w) = w**2 - 2*w - 5. Let v be x(-7). Suppose -3*z - z + 58 = -2*y, -2*z - 2*y = -32. Let g = v - z. Is 22 a factor of g?
False
Suppose -214*n - 41*n + 5755860 = 0. Is 228 a factor of n?
True
Let m = -4 - -7. Let j = 1055 + -983. Suppose m*y - j = -2*b, -3*b + 8*b - y - 214 = 0. Is 7 a factor of b?
True
Suppose 0 = 4*t + u - 11607 - 66788, -8*t + u + 156805 = 0. Is 196 a factor of t?
True
Let b(z) = 36*z**3 - 3*z**2 + 6*z + 15. Does 10 divide b(5)?
True
Suppose 2*m + 168 + 56 = 0. Let t = -88 - m. Suppose t = 6*n - 3*n. Does 5 divide n?
False
Let z = -42 + 45. Suppose -3*x = -6, -t - z*x = -4 - 4. Suppose 2*g + 3*p - 49 = 0, -4*g + t*g + 46 = 2*p. Does 3 divide g?
False
Suppose -4*b + 59942 = 5*h, h - 23984 = -h - 4*b. Is 78 a factor of 2 - h/(-10) - 26/(-65)?
False
Let o = 5 + -2. Let m be (o/6 + 2)/((-2)/(-4)). Suppose 5*n - 4*z - 312 = 3*n, m*n - 3*z = 780. Is 13 a factor of n?
True
Suppose 0 = 36*l - 66479 - 47605. Is 14 a factor of l?
False
Suppose -13*c = -16*c + 45. Let x = 17 - c. Suppose 0 = 2*u + x*a - 5*a - 53, 5*a = -u - 6. Does 7 divide u?
False
Suppose -176703 - 272017 = 40*h. Does 59 divide (h/(-10) - 44/55) + 0?
True
Let a = 200 - 206. Is (5/((-60)/(-18)))/(a/(-160)) a multiple of 10?
True
Let m(k) = 2*k**2 + 6*k - 2. Let s(q) = q**2 + q - 1. Let o(a) = -m(a) + 3*s(a). Let d be o(0). Is 2 a factor of -2*(121/(-33) + d/3)?
True
Let c(p) = 11*p**2 + 24*p + 14. Does 38 divide c(-6)?
True
Let j = 3982 + -2110. Is j a multiple of 73?
False
Suppose c + 5*h = 163, 0*c - 2*c + 361 = 3*h. Let v = c - 170. Is 3 a factor of v?
True
Let m(x) = x**2 + 3*x. Let z(d) = 4*d**2 + 13*d + 1. Let t(w) = -18*m(w) + 4*z(w). Let g be t(5). Let i = g - -66. Is 5 a factor of i?
True
Let w(y) = 56*y + 338. Let f be w(-6). Suppose 2*g + 1017 = f*b - 607, 2*g = -b + 797. Is b a multiple of 6?
False
Suppose 312160 = -424*r + 12377735 + 128665. Does 50 divide r?
False
Suppose 64*d + 36 = 68*d. Suppose -198 = -2*m + 5*l, 5*m - d*m - l + 418 = 0. Is m a multiple of 13?
True
Suppose -f + 69 = -0*f - 5*w, 2*f - 106 = 2*w. Suppose -6*g - g = -f. Suppose g*c - 2592 = -5*c. Is 24 a factor of c?
True
Let r(b) = 132*b. Let a be r(1). Let w(p) = 6*p**3 - 2*p**2 - 12. Let f be w(3). Suppose -a = -3*l + f. Does 22 divide l?
True
Suppose 2*d - 120 + 114 = 0. Suppose -16 = -d*j + 173. Let m = 255 - j. Does 35 divide m?
False
Suppose 7*n + c - 10 = 2*n, n - 5*c - 2 = 0. Let u = n + 6. Does 14 divide u/(-32)*(-296)/2?
False
Suppose -2*o = -f + 24, 0 = -3*o - o. Suppose -f*h + 10125 = h. Does 45 divide h?
True
Suppose 3*w = 4*b - 3114, -13*b + 1570 = -11*b + 5*w. Let v = -509 + b. Does 23 divide v?
False
Let v be (0 + -3)*1 - 84/(-1). Let f = v - 74. Suppose 466 - 172 = f*n. Is n a multiple of 21?
True
Suppose 0 = -4*r - 96 - 108. Let f = 58 + r. Does 6 divide (-5 + f)/(81/39 - 2)?
False
Let i(c) = -13 - 1 - 3*c - 8. Let m be i(-13). Suppose -4*o + 1 - m = 0, -54 = -2*t + 5*o. Is t a multiple of 5?
False
Suppose 227978 + 232206 = 92*q. Does 61 divide q?
True
Suppose 7*k + 7726 = 62*k - 854. Is k a multiple of 6?
True
Let i be (3 + (-27)/(-4))/(4/16). Let w be 4/(2/(-1)) + (i - 39). Let d = w - -22. Is 9 a factor of d?
False
Suppose 2*k + 5*k = 21. Let r(z) = -11 - 25*z + 14*z - 39 - z**k + 26*z**2 - 9*z. Is r(25) a multiple of 25?
True
Let z = -696 + 226. Is (-7 + z/4)*(-1 - 1) a multiple of 9?
False
Suppose -5*p = 4*w + 3312, 14*w = 10*w - 3*p - 3320. Let i = 1463 + w. Does 18 divide i?
True
Let n = 7 + 74. Suppose -4*g + 306 = 3*r, g + r - n = -2*r. Suppose -2*b + 4*m + 189 = -m, -g = -b - 4*m. Is b a multiple of 29?
True
Let q = 64467 - 9027. Is q a multiple of 220?
True
Suppose 16*w - 15*w = 3. Is 4/(-14) - ((-4068)/42)/w a multiple of 16?
True
Suppose 2*j - 13888 = 1792. Suppose -4*a - j = -32*a. Is 14 a factor of a?
True
Suppose -5*l = -2*k - 58, -2*l - l - 108 = 3*k. Is 7 a factor of (-20)/(-170) + (-7136)/k?
True
Let j = -42 - -44. Let f(q) = 7*q - 136. Let o(i) = -3*i + 68. Let u(v) = j*f(v) + 5*o(v). Is 14 a factor of u(22)?
False
Let p = 1038 - 52. Let o = p + -613. Is 22 a factor of o?
False
Let z be (1506 + 3)/(-4 + 1). Let k = 938 + z. Does 23 divide k?
False
Let q = 42651 - 13491. Does 120 divide q?
True
Suppose -c + 15 - 13 = 0, 4*u + 4*c - 9528 = 0. Let v(a) = a**3 - 4*a**2 + 2*a. Let h be v(4). Does 27 divide h/(-44) - u/(-22)?
True
Suppose 3*j + 0 - 15 = 0. Suppose h - l = -16 + 157, j*h = -3*l + 681. Suppose 9*p - 11*p = -h. Is 23 a factor of p?
True
Let y(p) = -p**3 + 2*p**2 + 3*p - 3. Let z be y(-2). Let a be 0 + 3 - (4 - (-4 + z)). Is 11/(22/80) + (4 - a) a multiple of 21?
True
Let q(d) = 392*d**2 - 155*d - 638. Is q(-4) a multiple of 9?
False
Let f = 1149 - -1842. Is 17 a factor of f?
False
Let c = 890 - 912. Let v(u) = 2*u**3 - 2*u**2 + 1. Let r be v(-1). Let x = r - c. Is 2 a factor of x?
False
Let z(s) = 6*s - 128. Let t be z(36). Let r = t + 39. Is 59 a factor of r?
False
Let k = 59 + -59. Suppose 12*p - 447 - 369 = k. Is 7 a factor of p?
False
Does 18 divide (-5)/((-220)/8) - 20235837/(-451)?
False
Let x = -35 - -35. Suppose 8 = 4*q - x. Suppose 0 = -q*f - 0*f + 72. Is 36 a factor of f?
True
Suppose 0 = -143*r + 30*r + 495166. Is 14 a factor of r?
True
Let a(x) = -x**3 + 11*x**2 - 5*x - 11. Let l = -45 - -47. Suppose 0 = -l*h + 5 + 15. Is a(h) a multiple of 20?
False
Let q(w) = -w + 1. Let n(u) = 1. Let g(i) = -2*n(i) - 2*q(i). Let t be g(3). Suppose -134 = -t*a + 14. Does 13 divide a?
False
Let a = -1227 + 2067. Suppose n - 2117 = -4*g, -3*g + a + 738 = 4*n. Is 10 a factor of g?
True
Let s = 15088 + -2462. Is s a multiple of 82?
False
Suppose 0 = -4*j + 5*i + 303 + 87, -414 = -4*j + i. Is j a multiple of 31?
False
Let i(q) = -54 + 233 - 63 - 83 - 3*q**2 + 86*q. Is 17 a factor of i(26)?
False
Suppose 41*t - 58*t + 199*t - 309036 = 0. Does 47 divide t?
False
Suppose 3*i = 5*d + 32218 + 11953, -29449 = -2*i + 3*d. Is i a multiple of 14?
False
Let d = 11549 + -10009. Is d a multiple of 22?
True
Suppose -y + 13 = 3*d, -4 = -2*d + 4*y - 0*y. Suppose d*j = -0*j + 16, 4*z = 5*j + 1152. Is 34 a factor of z?
False
Suppose -118218 = -0*v + 4*v - 21*v. Is v a multiple of 32?
False
Suppose -11860 = -5*z + 2*s, 7115 = 60*z - 57*z - s. Is z a multiple of 9?
False
Suppose -2*b = -4*o - 19 - 23, 0 = o - b + 13. Let y(c) = 2*c**2 - 4*c + 16. Is y(o) a multiple of 8?
True
Let k be (924/(-176))/((-1)/172). Suppose 3*j - k = -3*t, 0 = -3*j + 7*j + 5*t - 1208. Is j a multiple of 27?
True
Let q(j) = -j + 15. Suppose -88 = -3*s - s. Suppose 5*i - 18 = s. Is q(i) even?
False
Suppose -2*r - 9012 = -2*m + 5038, -4*m + 3*r + 28097 = 0. Does 33 divide m?
False
Let i(u) = 4*u + 7. Let c(j) = 2*j + 1. Let n = -21 - -23. Let l(h) = n*i(h) + 4*c(h). Does 23 divide l(4)?
False
Let h be 471 - 1*(1 - 3). Suppose 0 = -6*s + 10*s + 5*i - h, -2*i = 4*s - 470. Does 13 divide s?
True
Let a be (8/(-10))/((-2)/15). Let j = 4794 - 4797. Does 11 divide 260/a - (7 + 23/j)?
True
Let c(r) be the third derivative of -r**6/120 - 17*r