 Is v(-1) a multiple of 7?
True
Let j = -46 - -103. Suppose d - 51 = -5*a, -55*d + a - 138 = -j*d. Does 14 divide d?
False
Suppose -15*u + 419707 = -31369 - 90274. Does 15 divide u?
True
Suppose -2*w = -5*i - 845, -w + 436 = -5*i + 7*i. Let n = 890 - w. Is 46 a factor of n?
True
Suppose -54*j + 119183 = -52645. Does 103 divide j?
False
Let r = 275 - 222. Suppose -r*z + 48*z + 210 = 0. Is z a multiple of 3?
True
Let y(f) = -52*f - 26. Let o = -109 + 102. Let r(g) = -2*g**2 - 11*g + 14. Let n be r(o). Is y(n) a multiple of 17?
False
Suppose 5*z + 65 = -3*t + 177, 5*t = 5*z - 80. Let h = z + -70. Let v = 130 + h. Does 15 divide v?
False
Suppose 53*f - 49*f = 24. Is 2 a factor of (2 + f)/(-2)*-7?
True
Let d(c) = 53*c**2 + 6*c - 1. Let b be d(-2). Suppose -g + 5*s = -271 - b, 15 = 3*s. Suppose -3*m + g = 8*m. Does 10 divide m?
False
Suppose 2*k = -2*n + 4, 3*k - 12 + 1 = 2*n. Let h(t) = 21*t**3 - 10*t**2 + 23*t - 5. Is 51 a factor of h(k)?
False
Let r(t) = 9*t**2 - 30*t - 57. Does 13 divide r(-28)?
True
Suppose 190 = 5*h + 14*h. Suppose -1090 = -h*l + 3550. Is l a multiple of 17?
False
Let k = 2368 - -102. Is 65 a factor of k?
True
Let y(r) = 7*r + 65. Let n be y(-9). Suppose -n*x + 4*p + 308 = 0, -11*x - 607 = -15*x - p. Does 5 divide x?
False
Suppose -23*v = 25*v - 32*v - 8448. Does 132 divide v?
True
Does 31 divide -9489*((-247)/39 + 6)?
False
Let m(f) = f**3 - 8*f**2 + 16*f - 38. Let j be m(6). Is (-4)/j + -6*495/(-42) a multiple of 2?
False
Suppose 0 = 820*u - 814*u - 1080. Is u a multiple of 9?
True
Suppose -5*v + 45 = 20. Suppose 53 = j - 3*l, 78 + 135 = 5*j - 2*l. Suppose 49 = v*p - j. Is p a multiple of 18?
True
Suppose -x = 4*c - 3*c - 1642, 2*x = 3*c + 3274. Does 15 divide (12/5)/(((-96)/x)/(-12))?
False
Let q(i) = 18*i - 22. Let l be q(4). Suppose -6*w = l + 4. Is 15 a factor of 105/(2*w/(-6) + -2)?
True
Let g = -19996 + 28302. Is g a multiple of 22?
False
Let i(s) = s**2 - s + 8. Let q(n) = -8*n + 1. Suppose 7*h + 2*r - 6 = 3*h, -5*h = r. Let c be q(h). Does 16 divide i(c)?
True
Let i = 2623 - 1463. Is i a multiple of 29?
True
Let p(l) = 3*l**2 - 113. Is 37 a factor of p(26)?
False
Suppose 19 = -9*b + 64. Suppose 0 = x + m - 591, -7*x = -11*x + b*m + 2337. Does 42 divide x?
True
Let f = 145 + -134. Suppose -840 = f*a - 26*a. Is a a multiple of 5?
False
Let i(a) = 2*a**3 - 2*a**2 - 2*a. Let g = -19 + 21. Let z be i(g). Suppose -16 = -0*m - z*m. Is m a multiple of 2?
True
Let m(l) = 19*l + 88. Let a(v) = -v**2 - 27*v - 50. Let y be a(-25). Is 22 a factor of m(y)?
True
Let q(r) = -20*r - 21. Let i be q(-4). Suppose 3*t + 105 = 5*x, 3*x - i = -t + 2*t. Is 16 a factor of (2/9)/1 - (-1148)/x?
True
Suppose -m - 478 = 3*n, -5*m - 2*n - 2389 - 27 = 0. Is 2 a factor of ((-27)/(-12))/((-33)/m)?
False
Let p = -24 + 39. Let b(i) be the second derivative of -i**5/20 + 4*i**4/3 - 2*i**3 - 2*i**2 + 9*i. Is b(p) a multiple of 33?
False
Suppose -4*y + 8271 = -3*c, -13*y = -18*y + 3*c + 10338. Is 3 a factor of y?
True
Let r = 42 + 21. Let u = r + -67. Let w = u - -94. Does 18 divide w?
True
Is 61 a factor of -256*(-24)/(-4 + 10)?
False
Is (-3)/((-18)/184)*(377/4 + 31) a multiple of 23?
True
Let g be 3924/16*((-20)/12 - 1). Let u be (g/9)/2*-3. Does 45 divide u/(((-2)/6)/((-1)/3))?
False
Suppose -2*u = 2*w - 10, u = 6*u - 10. Suppose -841 = -3*g + 2*c, 4*c + 1087 = 4*g - 41. Suppose 2*h - g = -h - z, w*h - 274 = 2*z. Is 42 a factor of h?
False
Let x be 2 - 1/((-1)/196) - 2. Let v = x + -79. Suppose 0 = -m - 5*d - 28 + v, d - 5 = 0. Does 5 divide m?
False
Let x(k) = 16*k**3 - 2*k**2 + 17*k - 30. Is x(6) a multiple of 64?
True
Let d be 4/(-42) + 1716/819. Suppose -d*z = -a - 611, -2*z - 3*a + 641 = 2*a. Is z a multiple of 28?
True
Let i(t) = 15994*t**2 + 13*t - 16. Is i(1) a multiple of 190?
False
Let n = 38920 + -8058. Does 13 divide n?
True
Let i be 8/(6/42 + (-5)/(-14)). Let g be i*(5 - (-2 + 6)). Suppose g*v - 2268 = 2*v. Is 9 a factor of v?
True
Let m(b) = 1010*b**2 - 10*b - 149. Is 25 a factor of m(-5)?
False
Suppose 0*f = -4*f - 12, -c = -2*f - 45. Suppose -4*p + c - 27 = 0. Suppose -p*b + b = 5*z - 49, 2 = -2*z. Does 3 divide b?
True
Let n(v) = 10 - 7*v - 2*v - 2*v**2 + 9*v**2 + v**3. Let z be ((-56)/(-48))/(1/(-6)). Is 21 a factor of n(z)?
False
Suppose 8*w = 9*w + 3. Let u be (1 - 2)*(0/w + 1). Does 11 divide 79 - -1 - (3 + u)?
False
Let i(l) = -2734*l**2 - l + 4. Let z be i(1). Let d = -1321 - z. Is 30 a factor of d?
True
Is (-41923843)/(-1397) + 2/22 a multiple of 89?
False
Let r(s) = s**2 - 11*s + 10. Let t be r(21). Suppose -6*f + 1346 = -t. Is 13 a factor of f?
False
Let f = 529 - 767. Let k = 80 - f. Does 39 divide k?
False
Suppose 10304 = -9*g - 10153. Let u = -1304 - g. Is u a multiple of 32?
False
Is 10 a factor of 559 + 39/(-26)*(-4)/6?
True
Let g(n) = n**3 + 82*n**2 + 70*n + 178. Does 31 divide g(-80)?
True
Let l(n) be the third derivative of -n**6/120 - n**5/10 - 5*n**4/12 - 8*n**3/3 - 17*n**2. Let h be l(-5). Is ((-15)/h)/(2/(-36)) a multiple of 7?
False
Let z(s) = 23*s**3 - 8*s**2 - 21*s + 21. Does 13 divide z(7)?
True
Let b(r) = r**3 + 6*r**2 - 5*r - 22. Let n be b(-7). Suppose -i = 0, 232 = 5*m - m - 3*i. Let p = m + n. Is 11 a factor of p?
True
Suppose 22*t = 18*t + 84. Let i = -8 + 9. Does 23 divide i/(-7) + 969/t?
True
Let b(l) = l**3 - 16*l**2 + 25*l - 17. Suppose -16*k + 28 = -14*k. Let o be b(k). Is ((-78)/36)/(-13) + o/(-6) even?
True
Let m = -12691 + 25075. Is 24 a factor of m?
True
Let c(w) = 145*w**2 + 75*w - 150. Does 5 divide c(9)?
True
Let c(x) = 6*x**2 - 14*x + 55. Let r(q) = -q**2 + 2. Let g(w) = c(w) + 5*r(w). Is g(9) a multiple of 18?
False
Let a(z) = 91*z**2 - 29*z - 47. Does 47 divide a(-7)?
False
Suppose 132*o = 28*o + 66664. Is o a multiple of 54?
False
Let d(v) = -11*v**2 + 366*v - 176. Is 3 a factor of d(32)?
False
Let z be 13/5 + (2 - (-24)/(-15)). Let x be 26*z/9*3. Suppose x - 12 = t. Is t a multiple of 7?
True
Let i = 3436 + -2678. Does 42 divide i?
False
Suppose 3070 + 146 = 24630*p - 24626*p. Is 30 a factor of p?
False
Suppose -4*i = -5*x - 0*i - 4570, 2710 = -3*x - 4*i. Let d be x/(-221) - (-4)/(-34). Suppose -w - d*q - 17 = -2*w, -8 = -4*q. Is w a multiple of 6?
False
Suppose 7*l = -3*x + 8*l + 9983, -3*l = -x + 3333. Does 12 divide x?
False
Let h(g) be the third derivative of 7*g**5/20 + 3*g**4/8 - 17*g**3/6 - 21*g**2. Let u = -224 - -228. Is 26 a factor of h(u)?
False
Is (94600/(-72) - 2)*-9 a multiple of 13?
True
Let h be -2 + -4 - (-115 + 12). Suppose -h*i - 1032 = -100*i. Does 44 divide i?
False
Suppose a = -7 + 4. Let k be a/(-9)*-44*2928/2. Is 24 a factor of (-2)/(-8) - k/128?
True
Suppose 0 = 6*q - 7*q - 27. Let n(u) = -u**3 - 27*u**2 - 2*u - 51. Let i be n(q). Is 51 a factor of (i - -101)*1 + 0 + -2?
True
Let w(x) be the third derivative of x**4/6 + 22*x**3/3 + 19*x**2. Is w(9) a multiple of 4?
True
Is (7250/(-174))/(4/(-432)) a multiple of 100?
True
Suppose 4*p = 6*p - c - 551, 3 = c. Let l = -270 + p. Is 7 a factor of l?
True
Let v = 122 + -123. Is (2/v)/(22/(-4433)) a multiple of 13?
True
Let l = 47 + -37. Suppose -5*t + l*t = 240. Let n = t - -50. Does 14 divide n?
True
Let h(w) = 757*w + 820. Is 42 a factor of h(13)?
False
Let t(m) = 100*m + 1195. Does 25 divide t(77)?
False
Suppose -583*b + 602*b - 52364 = 0. Is 53 a factor of b?
True
Let a(z) = -3522*z - 9229. Is a(-6) a multiple of 9?
False
Suppose z = 3, -7*g + 4*g - 5*z + 1989 = 0. Suppose -l + g = 6*l. Suppose 2*o + o = -4*k + 240, 2*k = 5*o + l. Is k a multiple of 9?
False
Suppose -2*f + 10 = -4*p, -5*p = 2*f - 33 - 4. Suppose 10*u + f*u = 2961. Is 21 a factor of u?
False
Suppose 0*p = 4*p - 24. Let m = 871 + -832. Suppose p*f - m - 921 = 0. Does 16 divide f?
True
Let d(o) = o**3 - 12*o**2 + 4*o + 16. Let b be d(11). Let f = b - -65. Suppose s - 214 = -2*t, f*s - 6*s = 4. Is t a multiple of 18?
True
Is (-68004)/(-24)*(56/12 + -2) a multiple of 22?
False
Let k(q) = 129*q - 145. Is k(9) a multiple of 8?
True
Suppose 24 = -a + 7*a. Suppose 5*g = a*q - 1044, 783 = q + 2*q + 3*g. Does 42 divide q?
False
Suppose 889 = 5*k + 3*d, 3*k + 0*d + d - 531 = 0. Suppose 497*x + k = 499*x. Is x a multiple of 11?
True
Let y = -46 - -118. Let h be 1*y/(-18)*2/(-4). Let d(c) = c**3 + c**2 - 2. Does 5 divide d(h)?
True
Let t = 247 + -236. Is (t 