-a**3 + 23*a**2 - 51*a + 64. Is y(13) a multiple of 8?
False
Let w = 4148 - 4127. Does 4 divide w?
False
Let x(d) = -2*d**3 - 41*d**2 - 26*d - 214. Is x(-31) a multiple of 185?
False
Let i(u) be the first derivative of u**3 - 4*u**2 - 30*u + 111. Is 22 a factor of i(12)?
False
Suppose -2 = 3*y - 2. Let n(o) = o**3 - 3*o**2 - 2*o + 44. Is 4 a factor of n(y)?
True
Let x(o) = o**2 + 7*o + 8. Suppose 3*q = -5*s + 4*q - 27, -3*s - 5*q = 5. Let y be x(s). Does 19 divide -5 + 7 - 176/y - -1?
False
Does 88 divide ((-22344)/36 + 10)*-6?
False
Let x = -3033 - -3897. Is x a multiple of 6?
True
Suppose 4244 = h - s, 7*s = 2*h + 4*s - 8487. Suppose h = 21*b + 213. Is b a multiple of 16?
True
Suppose 2012*h - 1931*h = 2855898. Does 289 divide h?
True
Let x(k) = 4*k + 9. Let c be x(-4). Let p(r) = r**3 + 6*r**2 - 6*r + 11. Let l be p(c). Suppose s - 1 = -f + 29, -5*s = l*f - 154. Is 17 a factor of s?
True
Let s(f) = -24*f - 70. Let b be s(-3). Suppose -x = b*v - 391, 5*v - x - 151 - 844 = 0. Is v a multiple of 22?
True
Let l = 194 + -186. Suppose 0 = -11*d + l + 300. Does 7 divide d?
True
Let o = 94 - -5637. Is o a multiple of 29?
False
Is 24 a factor of (1854/(-24))/(1510/760 + -2)?
False
Let j = -1333 - -3243. Suppose 0*o + 2*a = 2*o - 752, -5*o - a + j = 0. Is 31 a factor of o?
False
Let q(h) = 2254*h + 4032. Is 42 a factor of q(3)?
True
Let w(p) be the first derivative of -p**4/4 + 8*p**3/3 + 17*p**2/2 - 10*p - 9. Suppose 19*i + 7 = 20*i. Is 35 a factor of w(i)?
False
Is 89 a factor of 3/(((-12)/1260)/((-71)/9))?
False
Let s(l) = 11*l**2 + 30*l + 47. Let z(o) = 12*o**2 + 29*o + 48. Let x(v) = -6*s(v) + 5*z(v). Let k(j) be the first derivative of x(j). Is k(-6) a multiple of 3?
False
Let h = -52 + 54. Let o(n) = 7*n + 2*n**h - 3*n**2 + 13*n - 6*n + 26. Does 11 divide o(15)?
True
Let q(u) = -11*u - 13. Let l be q(16). Let y = l + 405. Does 8 divide y?
True
Suppose 4*p - 160 = -3*b, 0 = -2*b - 2*p + 5*p + 118. Let r = b + -53. Suppose 3*g = t + 374, 497 = r*g + g - t. Is g a multiple of 41?
True
Suppose -28*g + 21691 = -10397. Is 15 a factor of g?
False
Let i = -45 - -50. Suppose i*v - u - 557 = 3*v, 0 = -3*u + 9. Suppose -3*f + v = 5*f. Is 7 a factor of f?
True
Let b(p) = p**2 - 5 + 1 + 6 + p - p**3 - 1. Let z be b(2). Let n(x) = 66*x**2 + 4*x + 2. Does 19 divide n(z)?
False
Let y(r) = 4546*r - 61. Is 11 a factor of y(2)?
True
Suppose -138*d + 98*d = -111480. Is d a multiple of 11?
False
Let x = 26337 - 22157. Is x a multiple of 220?
True
Suppose -9*c = 12*c - 11451 - 16605. Is 44 a factor of c?
False
Let v(h) = 2*h**2 + 32*h + 326. Does 97 divide v(-25)?
True
Let h = -7634 + 8616. Is 2 a factor of h?
True
Let u(r) be the first derivative of 12*r**2 - 9*r - 1. Let k be ((-6)/(-39) - (-86)/(-52))*-2. Is 21 a factor of u(k)?
True
Suppose 3*i - 309 = -g, g = -0*g + 3*i + 327. Suppose 5*r - x = -3*x + 1658, -r + 3*x + g = 0. Is 10 a factor of r?
True
Let l(k) = 2*k - 29. Let g be 1*(-3)/3 + 17. Does 3 divide l(g)?
True
Let c = 268 + -120. Let s = c - 233. Is 5 a factor of (-34)/s - 366/(-10)?
False
Let s = -44 - -36. Is 16 a factor of (s/16)/(2/(-916))?
False
Suppose 13231 = v + 2*a, 2*v + 3*a - 13975 - 12487 = 0. Is 18 a factor of v?
False
Let i(f) = 13*f - f**2 - 37*f - 30 + 20*f. Let s be i(-10). Let x = s - -246. Is x a multiple of 12?
True
Let v = 3179 + -1661. Is v a multiple of 23?
True
Let u(f) be the second derivative of -f**3/6 + 14*f. Let b(t) = 344*t**2 + 2. Let v(p) = b(p) - 3*u(p). Is v(-1) a multiple of 34?
False
Suppose -4*g = -2*v + 46, g + 3 - 14 = -4*v. Does 76 divide 141/27 + -5 + (-7288)/g?
False
Suppose -3*s + 7*s = 76. Suppose 14*g - s*g + 260 = 0. Is g a multiple of 13?
True
Let r = 11545 + -4591. Is 9 a factor of r?
False
Let m = 319 - 315. Let o(g) = 15*g + 37. Is o(m) a multiple of 4?
False
Suppose 5*u + 129 = 3*z - 128, 419 = 5*z + u. Let a be 30/((45/(-6))/(-5)). Suppose 18*p + z = a*p. Is 14 a factor of p?
True
Is 6 a factor of -1*5 + (-9 + 13 - -332)?
False
Is ((-8118)/(-27))/((-2)/30*-5) a multiple of 4?
False
Let b = -17351 - -20750. Is 8 a factor of b?
False
Suppose 0 = 258*s - 310*s + 1698944. Is 32 a factor of s?
True
Let i(r) = -202 - 60 - 63 - 35*r. Let m(y) = 9*y + 81. Let j(l) = 4*i(l) + 15*m(l). Is j(-25) a multiple of 24?
False
Let w be 6/((-485)/(-65) + -7). Let a = w + 194. Is 23 a factor of a?
True
Let x = -3 + 182. Suppose 6*z - x = 193. Is 5 a factor of z?
False
Let s be (60 + 0)*18/30. Is (-816)/s*12/(-8) a multiple of 3?
False
Let d = 91879 - 53863. Does 108 divide d?
True
Suppose -133*t + 128*t = -10. Suppose -4*r + 5*y - 112 = -460, t*y - 402 = -5*r. Is r a multiple of 43?
False
Let g(w) = 560*w**2 + 63*w + 115. Is g(-2) even?
False
Suppose -h - 4*u + 9122 = 0, 5*h - 4*u - 45729 = -263. Is 115 a factor of h?
False
Suppose -110*w - 128*w + 6201090 = 0. Is w a multiple of 32?
False
Let k be 4*(-20)/(-64) - 6/(-8). Suppose -7 = -3*f - 1. Suppose -442 = -2*w - f*d, 0 = -k*w - 3*d + 7*d + 430. Is w a multiple of 13?
False
Let v(h) be the second derivative of h**4 + 3*h**3 - 13*h**2 + 154*h. Does 81 divide v(7)?
False
Let b(w) = -197*w + 8850. Is 50 a factor of b(0)?
True
Suppose -2040 = -4*a + 3*h, 5*h - 2040 = -4*a - 0*h. Suppose 10*r - a = 4*r. Is 17 a factor of r?
True
Let p = -54477 - -79348. Suppose -6*f + p = 11*f. Is 70 a factor of f?
False
Suppose -93*c = -111704 + 19448. Does 9 divide c?
False
Let f be (-48)/5 + (5 - (-154)/(-35)). Let s(b) = 3*b + 20. Let t(z) = -3*z - 20. Let u(d) = 5*s(d) + 6*t(d). Is 5 a factor of u(f)?
False
Suppose 14*i + 127257 = -104205. Is i/(-77) - 2/(-7) a multiple of 8?
False
Suppose -61882 - 65794 - 28808 = -19*f. Does 284 divide f?
True
Suppose -3*d + 112 = u + 17, -4*u + 3*d = -365. Let v = 83 - u. Is v + (0 - -4) + 50 a multiple of 15?
True
Let g(l) = -2*l**3 - 6*l + 11. Let s be g(0). Suppose 2*o + 4*q = 1758, -s = 2*q - 1. Does 60 divide o?
False
Suppose -3*w = -5*i - 6922, 0 = 8*w - 6*w + 3*i - 4602. Is 16 a factor of w?
True
Let p = -211 + 302. Is 27 a factor of (-1)/((p/3514)/(-13))?
False
Let n(u) = 2*u**3 - 3*u**2 - u - 2. Let i be n(2). Suppose 2*x + 44 - 152 = i. Is x a multiple of 54?
True
Let t(b) = -6*b**3 + 4*b**2 + 14. Suppose 8*s - 8 = -40. Is t(s) a multiple of 22?
True
Let c(t) = 3*t**3 - 21*t**2 + 43*t - 216. Does 28 divide c(9)?
False
Let l(n) = -n**3 - 5*n**2 - 2*n + 5. Let t be l(-4). Let w be (-6)/2 - t*(7 - 4). Let r(a) = 11*a - 6. Does 13 divide r(w)?
False
Let s(w) = 58*w - 11. Let g = 77 - 75. Does 7 divide s(g)?
True
Let p(y) = 24*y**2 + 4*y - 4. Let o(j) = -47*j**2 - 8*j + 9. Let i(g) = 2*o(g) + 5*p(g). Let c(v) = -v**2 + 18*v - 48. Let b be c(15). Is i(b) a multiple of 14?
False
Suppose -6*k = -2*k - 8, 2*k = 4*v + 1780. Let o = v + 1522. Is 49 a factor of o?
True
Does 17 divide 2 + (-213804)/(-27) - (-12)/9?
True
Suppose 90 = -4*j + 10. Is 32 a factor of ((-1024)/j)/(1 - 8/10)?
True
Suppose 16*i - 6*i + 38*i - 48 = 0. Let n(x) = x**2 + 5*x + 6. Let y be n(-4). Is 14 a factor of (-24 - (-3)/(i - y))*-1?
False
Let u = -2312 + 3060. Is 5 a factor of u?
False
Suppose 34*o = 40*o - 192. Suppose 0 = 11*c - o*c + 8526. Does 43 divide c?
False
Does 3 divide -6*19/1254 + (-135698)/(-22)?
True
Let w be (-5)/(-10) - 3628/(-8). Let q = w + -314. Is 20 a factor of q?
True
Let y = -2470 - -4246. Is ((-6)/12)/(-1)*y a multiple of 8?
True
Let d be (-10)/4*(-2)/1. Let n = 5576 + -5572. Suppose p = -n*v + 58, -5*p = -d*v - 91 - 199. Is 6 a factor of p?
False
Suppose 0 = 3*b - 12*b - 36. Let w be (23*5)/(3*b/12). Let m = 127 + w. Does 3 divide m?
True
Suppose 4*o = -4*b + 1 - 29, -2*o + 10 = -b. Let u(c) = -23*c - 129. Is u(b) a multiple of 11?
True
Let z(h) = -4*h**3 - 5*h**2 + 4*h - 2. Let w be z(-4). Suppose 260 = 3*a + w. Does 3 divide a?
False
Let s(y) = -y**3 + 26*y**2 - 14*y + 22. Does 12 divide s(22)?
False
Let r(s) = -s + 4. Suppose 0 = -13*m + 15*m + 16. Let x be r(m). Is 4 a factor of (2 - (-1 + 0 + 2)) + x?
False
Let d(o) = 4*o**2 - 10*o - 11. Let g be d(5). Let f(u) = -39*u - g*u + 18 + 6 + 63*u. Is f(-8) a multiple of 24?
True
Let a(f) = -9591*f - 238. Does 29 divide a(-7)?
False
Let m(j) = -227*j + 222*j - 5 + 2 - 3. Let s be m(-2). Suppose -t - 5 = -s*h + 81, 5*t = -3*h + 53. Does 18 divide h?
False
Suppose 6 + 386 = -4*q. Suppose 2*k = -c - 