 -c**2 - 7*c - 108. Let q be z(-11). Is (-86374)/q + (2/(-8) - 0) a multiple of 71?
True
Let r(j) = 102*j**2 - 336*j - 1712. Does 2 divide r(-5)?
True
Does 56 divide (-37 - (-2 + -31)) + 1/(2/2584)?
True
Let t = 238 + -140. Let y = t - 110. Does 11 divide (33/y)/((-4)/112)?
True
Let k(z) = 12*z + 11. Suppose 2*r - 3*h + 59 = 6*r, -5*r + 5*h + 30 = 0. Is k(r) a multiple of 13?
True
Let z(k) = k**2 + 28*k + 234. Let u be z(-24). Let n = u + 233. Does 7 divide n?
True
Let l = 25 - 26. Let h be 8/(-4) - -4 - l. Suppose 2*y - 5*x - 105 = 0, 0 = 5*y - 0*x + h*x - 278. Does 19 divide y?
False
Let z(w) = -2*w**2 + 4*w - 3. Let g be z(2). Let o = 31 + g. Suppose 5*n - 133 = -o. Is 21 a factor of n?
True
Let c(h) be the first derivative of h**4/4 + 8*h**3/3 - h**2/2 - 17*h + 28. Let q(m) be the first derivative of c(m). Is 13 a factor of q(-7)?
False
Let p(i) = 8*i**2 - 5*i + 15. Suppose -126*t + 127*t - 3 = 0. Does 24 divide p(t)?
True
Let i(m) = -m**2 + 2*m - 1. Let u be i(0). Suppose -t = -0*t - k + 93, 0 = 2*t + 5*k + 214. Let b = u - t. Is b a multiple of 16?
True
Let x = 103 + 22. Suppose -2*c - j = -x, j = 4*c + 165 - 430. Suppose -b + c = -1. Is b a multiple of 15?
False
Suppose -r + 468 = 7*a - 4*a, 0 = 3*a + 12. Let j = r + -229. Is j a multiple of 34?
False
Let z(w) = -2*w**2 + 39*w - 29. Let a be z(19). Does 14 divide 2 - 7 - (-5)/(a/(-1046))?
True
Suppose 3*d - 5 = -r + 6*r, 0 = -5*d + 5*r + 25. Let v(t) = -t**3 - 16*t - d*t**3 + 10*t**3 + 23*t**2 - 13. Is v(22) a multiple of 49?
False
Suppose -17 = -z - 2*f + 5*f, -z - 5*f = -9. Suppose -6*y = y - z. Is (0 - (5 - y)) + 15*1 a multiple of 4?
True
Let z(b) = -198*b + 51. Let x be z(-6). Suppose -7*q + x = -0*q. Is 28 a factor of q?
False
Suppose -17*y - 4389 = -9293 - 12351. Does 2 divide y?
False
Suppose 0 = 126*r - 77*r + 26838 - 136598. Is r a multiple of 56?
True
Suppose d = -5*u + 51, 16 + 15 = u - 5*d. Suppose -3*f + 32 = 5*f. Suppose -u = -f*i + 293. Is i a multiple of 18?
False
Suppose -29773 = -7*g + 28313. Does 29 divide g?
False
Suppose -4*o - 25 = -3*m - 2*m, -5*o - m + 5 = 0. Suppose o = -9*k - 0*k + 1530. Is k a multiple of 34?
True
Suppose 8*f = -64 + 96. Suppose f*x - 4*o - 867 + 107 = 0, -578 = -3*x - 5*o. Is 7 a factor of x?
False
Let h(z) be the third derivative of z**6/120 - z**5/40 - z**4/12 + 4*z**3/3 - 5*z**2. Let t(r) be the first derivative of h(r). Is 16 a factor of t(3)?
True
Suppose 476 = -23*x + 3236. Is x a multiple of 24?
True
Suppose 73725 = 5*d - 5*g - 18895, g - 92602 = -5*d. Does 90 divide d?
False
Suppose -d + 89 - 91 = 0, -6*o = 3*d - 52632. Is o a multiple of 14?
False
Let w be ((-50)/(-15) - 4)*(-3)/2. Let v be w/((-1)/(-2)) + 3. Suppose -r = v*b - 103 - 97, 4*r - 2*b - 712 = 0. Is r a multiple of 29?
False
Let z = -125 - -218. Let i = z - 80. Is 2 a factor of i?
False
Is 7 a factor of (2/(-4))/(66/(-404712))?
True
Let z(x) = -485*x - 2404. Is 43 a factor of z(-14)?
True
Let a = 5212 + -3532. Suppose 193*n - 198*n + a = 0. Is n a multiple of 10?
False
Suppose 5*n = f - 2285, -5*n = 6*f - 5*f - 2275. Does 38 divide f?
True
Let m = -1988 + 3274. Let f = m + -884. Is f a multiple of 11?
False
Let x = 112 + -117. Is 10 a factor of (-56 + -18 + (-1 - x))*-1?
True
Let i = -952 + 955. Suppose 3*d = -5*a + 6036, -i*d = -3*a + d + 3639. Is 12 a factor of a?
False
Suppose a = -5, -5*a + 54 = 3*p - 155. Suppose -2*c + p = -24. Is 17 a factor of c?
True
Let s = -18430 - -25105. Does 4 divide s?
False
Let t(f) be the second derivative of -3*f**5/20 - 5*f**4/12 + 7*f**3/6 - 5*f**2 - 54*f. Is 26 a factor of t(-6)?
True
Suppose 15*k - 2747 = 12*k + 5*v, -3*v = 5*k - 4669. Is k a multiple of 2?
False
Let q be (-39192)/23 - (-2)/2. Let j = q - -3309. Does 22 divide j?
True
Let v(c) = 81*c - 988. Is v(68) a multiple of 8?
True
Let l(y) = 2*y**2 - 218*y + 535. Is l(110) a multiple of 151?
True
Let l(a) = 2*a + 1. Let n(h) = 2*h**2 - 29*h - 6. Let q(i) = -4*l(i) + n(i). Does 8 divide q(25)?
False
Let g(m) = 11*m**2 - 154*m + 8. Is 25 a factor of g(21)?
True
Suppose 1261 = -12*n + 4465. Let k(r) = r + 183. Let l be k(0). Let o = n - l. Is o a multiple of 18?
False
Let x = 3186 + -2417. Is 13 a factor of x?
False
Let y(t) = -7*t - 73. Let x be y(-12). Suppose -14*d + 408 = -x*d. Is 7 a factor of d?
False
Let r = 26519 + -15386. Is 9 a factor of r?
True
Let q(l) = 138*l**2 + 9 - 7*l - 70*l**2 + 8 - 67*l**2 - 5. Suppose 5*o - n + 46 = 0, -n + 28 = 3*o - 6*o. Is 39 a factor of q(o)?
True
Let v(s) = 323*s**2 - 26*s - 97. Is v(-9) a multiple of 25?
True
Suppose 888468 = 48*h + 135*h + 111*h. Is h even?
True
Let d(g) = g**2 - 87*g - 1315. Is d(-14) a multiple of 2?
False
Let m(f) = 737*f - 495. Is m(16) a multiple of 151?
False
Let k be 4/(-10) - (-717)/5. Let q = -133 + k. Is 2 a factor of q?
True
Let k(y) = 22*y**2 + 71*y + 137. Let s be k(-2). Suppose 10 = 5*d - 5. Suppose -d*r + 3*t = 2*r - s, -4*t + 60 = 4*r. Is r a multiple of 10?
False
Suppose 15*x + 6679 - 16549 = 0. Is 6 a factor of x?
False
Let u = -718 + 1047. Let s = u + 406. Does 56 divide s?
False
Let p(m) be the first derivative of 2*m**2 - 16*m + 71. Suppose 3*o + 2*o = -4*y + 33, -4*y - 3*o + 31 = 0. Does 6 divide p(y)?
True
Let k(g) = g**3 - g**2 + g + 9. Suppose -o - 68 = -4*d, 3*d = d + 3*o + 34. Suppose -d + 17 = 2*b. Is k(b) a multiple of 9?
True
Let r(w) = w**2 - 6*w + 12. Let k be r(4). Let a(t) = 2*t**3 - 7*t**2 + 8*t - 11. Let b be a(5). Suppose k*u = 2*x - 88, -2*x - 3*u - u = -b. Does 12 divide x?
True
Let x(b) = b**2 + 22*b + 67. Let j be x(-19). Does 18 divide (-68)/j*(-1)/(1/135)?
True
Let t(m) = 1269*m**2 - m + 1. Let v be t(1). Suppose i - 10*i + v = 0. Suppose -54*s + 51*s = -i. Is 23 a factor of s?
False
Let j(k) = k**3 + 9*k**2 - 11*k - 7. Let u be j(-10). Suppose u*r + 1 = 43. Suppose 5*z - 63 = 4*s, -2*z - 4*s = -0*s - r. Does 3 divide z?
False
Let y = 56 - 9. Suppose y = -n - 62. Let j = 261 + n. Is j a multiple of 20?
False
Let k(n) = 24*n - 741. Is 2 a factor of k(34)?
False
Let f = 6021 - 13230. Does 7 divide (f/108)/(6/(-8))?
False
Let x = 9167 + 7173. Is x a multiple of 10?
True
Is (-152)/216*-9*834 a multiple of 94?
False
Suppose 3*y - 8307 = -3*w, 5*y + 1899 = -2*w + 15753. Is y a multiple of 6?
True
Suppose 7*t + 144662 = 188412. Is t a multiple of 118?
False
Suppose -816*o + 820*o - 2*z = 26288, -4*z + 32834 = 5*o. Is o a multiple of 18?
True
Suppose 18*r = -0*r - 18*r. Is -1*(r - -8) + 334 a multiple of 111?
False
Let a = 15001 - 13988. Does 37 divide a?
False
Let b(z) = 167*z + 1. Suppose 2*g - 4*l = -10, -7*g - l + 7 = -3*g. Does 7 divide b(g)?
True
Suppose -4*r + 48 = 2*y, 51 = -5*y - 3*r + 157. Suppose 3*v - 169 = -5*c + 297, c = -2*v + 96. Let n = c - y. Is 24 a factor of n?
True
Let h(r) be the third derivative of 15*r**5/4 - 11*r**4/12 - 23*r**3/3 - 34*r**2. Is 12 a factor of h(-2)?
False
Let s(u) = 608*u**2 + 48*u - 257. Is s(7) a multiple of 9?
True
Suppose -42*j - 496 = -38*j. Let d = j + 218. Let f = d + 26. Is f a multiple of 16?
False
Suppose 59 = 5*k - 51. Let c = 38 - k. Is c/6*(-5175)/(-92) a multiple of 18?
False
Let a(x) be the second derivative of -10*x + 0 + 1/6*x**3 + x**4 + 3*x**2. Is a(-2) a multiple of 26?
True
Let n(z) = 205*z**2 - 89*z - 229. Is n(-9) a multiple of 73?
False
Let f(a) = -6*a - 29. Let p be f(-19). Let u = 45 + p. Is 10 a factor of u?
True
Let g(x) = -3*x - x + 6*x + 5 - x. Let u be g(-9). Is 11 a factor of (-66)/u*(-90)/(-27)?
True
Suppose 2*g = -5*i + 33, 0*g - i + 21 = 4*g. Let f be (-2423)/(-5) + 6 + (-15)/25. Suppose f = 5*o + 5*s, g*o - 2*s + s = 412. Is o a multiple of 17?
True
Suppose -4 = -4*b, -3*q + 4*b = q - 372. Suppose -2*w + 26 = -c, 0*c = 5*c + 2*w + q. Let y = 82 - c. Does 17 divide y?
True
Suppose 21 = 25*p - 4*p. Is 28 a factor of p/(((-21)/413)/(-3))?
False
Suppose -2*f = 5*q - 83, -2*f + 71 = 5*q - 3*f. Suppose -q = -3*z - 9. Suppose z*o + 4*n - 3*n = 523, 4*o - 1076 = 4*n. Is o a multiple of 41?
False
Suppose -2*d - 5645 - 4469 = -2*p, d - 10117 = -2*p. Suppose 0 = -12*u - 762 + p. Is 18 a factor of u?
False
Let b be (111/2)/(3/4). Suppose -b = 5*a + 106. Let n = a + 87. Is n a multiple of 5?
False
Suppose 67 + 9 = 19*f. Does 16 divide (-25)/(-20) - (-4155)/f?
True
Suppose 5*u - 1230 = -2*x, -5*u - x = -3*x - 1250. S