 - 490 = -2*o - 159, -1374 = -4*t + k*o. Is t a multiple of 31?
True
Let t(x) = -x**3 - 7*x**2 - 2*x + 8. Let b be t(-6). Let j(y) = y**2 + 9*y - 20. Let f be j(4). Let l = f + b. Is 4 a factor of l?
True
Let b(m) be the first derivative of -2*m**2 - 1/3*m**3 + 17*m + 31. Does 3 divide b(-5)?
True
Let c = -8068 + 8066. Let z = 4 - -2. Is (z/(-18))/(c/222) a multiple of 13?
False
Let j = 2126 - 740. Is j a multiple of 21?
True
Let h(l) = 5 + 8*l**2 + 19 - 9 + 4 - l**3 - 3*l. Let k be h(8). Let j(s) = -11*s - 5. Is j(k) a multiple of 32?
False
Let z(u) = 252*u + 13. Let k(r) = -252*r - 13. Let d(m) = -2*k(m) - 3*z(m). Let q be d(13). Is 17 a factor of 2/5 - q/65?
True
Let y(d) = 286*d - 2889. Is 207 a factor of y(28)?
False
Let i = 976 - 214. Suppose 0 = 2*m - 2*p - 750, 6*p - i = -2*m + 2*p. Is m a multiple of 13?
True
Let l(a) = -3*a**2 + 7 - 4 - 27*a + 35*a + 28*a. Is 18 a factor of l(6)?
False
Suppose -79*s + 79065 + 20246 = -28274. Is s a multiple of 103?
False
Let d be (84/10)/(2/10). Suppose 4736*n + 110 = 4731*n. Let r = n + d. Is r a multiple of 5?
True
Suppose 23*r - 173*r + 482400 = 0. Is 201 a factor of r?
True
Suppose -3946*r + 11761 - 37453 = -3952*r. Is r a multiple of 29?
False
Let b be (-4)/18 - 46/(-207). Suppose -5*a + 584 - 59 = b. Is 9 a factor of a?
False
Let o(z) = z**3 + 10*z**2 - 10*z + 16. Let b be o(-11). Suppose 2320 = b*p - s, 0 = 2*p - s - 4*s - 928. Suppose 0 = 4*i - 0*i - p. Is i a multiple of 9?
False
Suppose 2*v + 5*v = 105. Suppose 0 = 10*l - v*l - 5*z + 1100, 5*z - 449 = -2*l. Is l a multiple of 7?
True
Suppose -4*y + 46 = 2. Suppose 0 = -y*b + 14170 + 1076. Is 18 a factor of b?
True
Suppose 3*z - 59110 = -4*b, 25*b - 12*z - 369580 = -7*z. Is 38 a factor of b?
True
Is -283*3*1*(-525 + 514) a multiple of 28?
False
Let g = 152 - 149. Is 40 a factor of ((-20)/g)/(2 - (-294)/(-144))?
True
Let b be (3 + -1 + 1)/(-1). Let z(a) = -14 + 18*a - 122*a + 70*a. Does 19 divide z(b)?
False
Suppose 8*n + 9*n - 119 = 0. Suppose n*a = 5*a + 6. Suppose u = 1, -5*u + 135 - 529 = -a*t. Is t a multiple of 19?
True
Let w = -43 - -33. Let v(u) = 6*u**2 + u + 105. Is v(w) a multiple of 10?
False
Let i(w) = -122*w + 132. Is i(-44) a multiple of 10?
True
Let j(k) be the second derivative of 2*k**3/3 - 3*k**2/2 + 11*k. Let b(t) = -2*t + 1. Let x(n) = -15*b(n) - 6*j(n). Is x(5) a multiple of 11?
True
Is 13 a factor of -8 + (-37 - 0)*(-60 - -13)?
False
Let u(h) = h**3 + 3*h**2 + 3. Let c be u(-3). Let o be 1*(4 - 3) - 1. Suppose 5*l + 5*v - 120 = o, -c*v = -6*l + 3*l + 102. Is 4 a factor of l?
False
Let j(i) = i**2 + 6*i - 8. Let b = -239 - -245. Is j(b) even?
True
Is 16 a factor of (1970/(-6))/((-16)/240)?
False
Suppose 0 = -v, 4 = 4*f - v - 20. Suppose f*k - k = 0, p + 4*k = 930. Does 62 divide p?
True
Let f(g) = 51*g**2 - 187*g - 2478. Is f(-17) a multiple of 84?
False
Suppose 878 = -16*d + 3246. Let v = 192 - d. Does 20 divide v?
False
Let y(d) = -19*d + 128. Suppose -25*b + 29*b = 4*x + 4, 0 = -5*x + b - 17. Is y(x) a multiple of 16?
False
Let w(y) = -y**3 - 2*y**2 - 3*y. Let q be w(-2). Suppose -r + 0 = -q. Is 76 - (-3)/r*6 a multiple of 32?
False
Let x(y) = -y - 54. Let m be x(-14). Let d(p) = p**3 + 41*p**2 + 33*p - 60. Is d(m) a multiple of 22?
True
Let i(r) = 30*r**2 - 140*r + 875. Is i(28) a multiple of 91?
True
Suppose 23*j - 47 - 1011 = 0. Suppose 2*f = -j + 72. Is f a multiple of 2?
False
Let g(a) = a**3 + 7*a**2 - 38*a - 14. Let y(x) = -2*x**3 - 11*x**2 + 15. Let r be y(-5). Does 6 divide g(r)?
True
Let d(g) = -g**2 + 19*g + 31. Suppose w = 5*k + 5*w - 45, -4*k = -5*w - 36. Is d(k) a multiple of 4?
False
Let d be 9 + -1 + 1*(-3 + 0). Let y(h) = -4*h**2 - 2*h + 19. Let n be y(d). Is 30 a factor of (6/9)/1 + n/(-3)?
False
Let c(x) = 50*x**2 - 16*x + 238. Does 28 divide c(9)?
True
Suppose -3*s - 26 + 32 = 0. Suppose s*i - 6*i + 5*o = -1989, 2*i - 996 = 2*o. Does 12 divide i?
False
Let w(r) = 2*r**3 - 3*r**2 - 8*r + 10. Suppose 0*y + 4*y = -g + 16, -5*g = -2*y - 14. Suppose 5*o = 2*a + 24, o + 3 = -y*a + 1. Is w(o) a multiple of 6?
False
Is (18/(1836/9061))/((-2)/48*-4) a multiple of 3?
False
Suppose 7*h - 8*h = -14. Suppose -3*s + 1 = -h. Suppose 0 = -s*w + 58 + 17. Is w a multiple of 4?
False
Suppose 5*s = -2*c - 1, 13 - 8 = -3*c - 4*s. Let b(j) = 4*j**2 + 2*j + 1. Is b(c) a multiple of 20?
False
Suppose -6 - 22 = -2*t. Let o = 18 - t. Is 3/o + 1863/12 a multiple of 13?
True
Suppose 0 = -6*m + 29040 - 2136. Suppose 941 = 25*x - m. Does 31 divide x?
True
Suppose -80*v + 3396588 = 10*v + 236508. Does 168 divide v?
True
Let r(a) be the third derivative of a**6/15 - a**5/30 - a**4/4 + a**3 - a**2 + 11*a. Is r(4) a multiple of 14?
True
Let v(g) = 10*g + 1991. Is 34 a factor of v(79)?
False
Suppose -31*t + 2*o + 12232 = -29*t, -t + 6116 = -3*o. Is 50 a factor of t?
False
Suppose -22 = -13*h + 17. Let b(q) = 2*q - 5. Let j be b(11). Suppose -h*s - j = -95. Does 26 divide s?
True
Let n be ((-133)/38)/((-2)/4). Let t be n*3/21*90. Suppose 2*x - 8*x = -t. Does 8 divide x?
False
Suppose -5*s = -5*i + 3255, 3*i = 10 - 7. Let u = s + 1364. Is 14 a factor of u?
True
Let t = 8536 + -5881. Is 4 a factor of t?
False
Let n(x) = -824*x - 6650. Is 38 a factor of n(-97)?
False
Suppose 3*u + 327 = 3*h - 2*u, -9 = -3*u. Suppose -4*z = -r - 4*r - h, -2*z + 62 = -5*r. Suppose 0 = f - 4*i - z, 4*i - 7*i - 12 = 0. Is f a multiple of 4?
False
Does 19 divide (-1 - 0) + 4 + (5828 - -2)?
True
Does 21 divide 515044/40 + -3 + (30/(-100))/3?
True
Let u(x) = 85*x**2 + 2*x + 2. Let w be u(-1). Let m = w + -83. Is 24 a factor of m*38 - (5 - 1)?
True
Let g be -1 + 171 - 1*-1. Suppose -2*v = v + 612 - 333. Let f = g + v. Does 26 divide f?
True
Let s(g) = 56*g**3 - 4*g - 4. Let h be s(-1). Let w = -49 - h. Does 6 divide (-177)/(-7) + (-2)/w?
False
Suppose -5*y = -10*y - 2*a + 15, 3*y - 9 = 4*a. Let k = 29 + y. Suppose -5*g + 414 - k = 4*o, -3*o = g - 72. Is 39 a factor of g?
True
Let y(g) = g**3 - 6*g**2 - 23*g - 2. Let i(m) = -28*m - 11. Let s be i(-5). Let w = -120 + s. Does 4 divide y(w)?
False
Suppose 3*b - 36 = 3*w, -2*b + w + 27 - 7 = 0. Let o be 80/32*b/10. Suppose -5*q = 6*u - 3*u - 39, o*u + 3*q - 27 = 0. Does 6 divide u?
True
Suppose -5*v - a + 140 = -2*a, -88 = -4*v - 4*a. Suppose 4*c = k + v, -3*c + 18 = -k - 8. Let s = 33 + k. Is 8 a factor of s?
False
Let q = -1025 + 4176. Is q a multiple of 11?
False
Let r = 326 + -484. Let i = r - -221. Is 19 a factor of i?
False
Suppose 26*g = -49*g + 465975. Is 73 a factor of g?
False
Does 96 divide (-592)/444*(-1)/((-3)/(-4536))?
True
Let d = 246 + 561. Suppose 16*s + d = 2919. Does 22 divide s?
True
Let t(g) = 8*g + 50. Let h be 42 + -41 + 4*6. Is t(h) a multiple of 20?
False
Let n be 3*2/(-18)*4*3. Let u be 2 + -5 - (n + (2 - 4)). Suppose u*l + 6*l = 891. Does 11 divide l?
True
Let f = 3413 - 1731. Suppose 3*k - f = -5*t + 2243, 3*t = 4*k + 2355. Does 32 divide t?
False
Suppose -n - 37184 = -4*h, -4*h + 3*n + 43356 = 6180. Is h a multiple of 16?
False
Let o be (-627156)/(-972) + 1/((-9)/2). Suppose 5*q + 2*i = -3*i + o, 0 = 4*q - 2*i - 498. Does 31 divide q?
False
Let k = 391 - -2629. Does 15 divide k?
False
Let j be 1668/(-18) - (-2 - (-7)/3). Let x = j + 321. Does 12 divide x?
True
Let i(y) = -y. Let g(j) = -11*j. Let d(o) = g(o) - 6*i(o). Let s be d(-1). Suppose -2*h - 90 = -4*x - 224, -s*h + x + 380 = 0. Does 35 divide h?
False
Is 9 a factor of 10 + 1 + -7 - -723?
False
Let c be (-3)/(-12) + (-6)/(-8). Let z(g) = 13*g**3 + g - 2. Let d be z(c). Does 8 divide 72*((-20)/d - -3)?
True
Let l = -4 - -7. Suppose 3*k - k - 18 = 0. Let n = k + l. Does 3 divide n?
True
Suppose 46*d - 921 = 873. Does 6 divide d + (4 - 13) + 2?
False
Let z = 75 - 51. Suppose -z = -3*t - 3*t. Is 29 a factor of 24/(-18)*((-170)/t + -1)?
True
Let j(d) = -2*d + 2*d + 6 - 3*d + d**2 - 3 + 3*d**3. Suppose 3*h + 0*z = 2*z - 4, -h - 5*z + 27 = 0. Does 5 divide j(h)?
True
Let h = -1268 + 2636. Is h a multiple of 3?
True
Let x = 518 - 518. Suppose 4*l - 9*l - 285 = -q, x = 5*q - 2*l - 1310. Is q a multiple of 13?
True
Suppose -152*b + 7697 = -151*b + 4*j, -5*b - 2*j + 38503 = 0. Does 17 divide b?
True
Let z be 5/(-4) + 40/32. Is (z + -2)/(14/(-819)*3) a multiple of 21?
False
Let y(m) = 196*m - 14. Let k be y(2). Suppose 0 = -5*j - 3*h - k 