se 0*z - i = -6*z. Is z a multiple of 45?
True
Let a(q) = 101*q**2 - 4*q. Let b be a(-1). Let t = b + -27. Suppose 0 = -4*x - 5*g + 122 + 38, 2*x = -2*g + t. Is x a multiple of 7?
True
Does 11 divide (-3)/2*-1486 + -36 + 40?
True
Let y = -3901 + 8989. Is 96 a factor of y?
True
Does 163 divide 3746 - (-8 + 670/80)*-8?
True
Let q(m) = -2*m**3 - 7*m**2 + m + 3. Let s be (4/(-5))/(9/45). Let j be q(s). Let o = 5 + j. Is 12 a factor of o?
False
Let d(g) = 29*g**2 - 2062*g - 10*g**2 + 2052*g - 21 - g**3. Does 63 divide d(14)?
True
Suppose -34*a + 33*a - 7 = 0. Let u(t) be the first derivative of -5*t**2/2 - 30*t + 4. Is u(a) even?
False
Let o(a) = 95*a**2 - 155*a - 50. Is 40 a factor of o(6)?
True
Let k(u) = -3*u**2 - 46*u + 10. Let o be k(-21). Let t = -215 - o. Does 33 divide t?
True
Let j(i) = 114*i + 18. Let m be j(15). Suppose 0*z - m = -9*z. Suppose -37*k + z = -35*k. Is k a multiple of 16?
True
Let m = 6990 + -5251. Is m a multiple of 37?
True
Is 355/3550 - ((-1237674)/(-20))/(-3) a multiple of 108?
True
Suppose -4*n + 20544 = -3*k, 48*k - 49*k = 5*n - 25661. Is n a multiple of 87?
True
Suppose n + 1 - 27 = 0. Suppose -n*w = 5254 - 15576. Is w a multiple of 37?
False
Suppose 2*z - 5*b = -482, -3*b = -z - 74 - 165. Let c = z + 416. Does 32 divide c*8/12 - -1?
False
Suppose -m + 1640 = -3*n - 847, 4*m - 9974 = -n. Is m a multiple of 16?
False
Suppose -1498128 = 3*z - 24*z - 48*z. Is z a multiple of 368?
True
Suppose 4*c - 5*t - 4 = 18, -3*t - 34 = -5*c. Suppose -1221 = -c*k + 75. Suppose 3*b = k + 87. Does 43 divide b?
False
Suppose -18 - 78 = -3*h. Suppose 0 = -28*o + h*o + 144. Is 16 a factor of 4/o*-3*9*6?
False
Let q be 1/1*4*4/8. Let u be q/8 + (-5325)/(-12). Suppose -u = 11*d - 14*d. Is d a multiple of 26?
False
Let i = 44 + -40. Suppose -5*f + 5*z = -25, i*f + z - 47 + 2 = 0. Let g = f - 1. Is 5 a factor of g?
False
Suppose -94640 = -43*d + 3*d. Let v = d + -1631. Is v a multiple of 7?
True
Let y(n) = -4*n - 15. Let u be y(-10). Suppose -3*b = -u - 2. Let w = 88 - b. Is 32 a factor of w?
False
Suppose -59*a + 15*a + 25168 = 0. Is a a multiple of 16?
False
Let s(g) = 31 - 11*g - 50 + 4*g. Let b be s(-9). Let p = b + 12. Is p a multiple of 9?
False
Let q be 25/(-5) + -3 - 109. Let g = -75 - q. Is g a multiple of 11?
False
Suppose 60 - 808 = -17*o. Let z be (-8)/o*-2375 - (-4)/22. Suppose -106*g - z = -110*g. Does 12 divide g?
True
Let f(c) = c**3 - 32*c**2 - 67*c - 34. Let n be f(34). Suppose 3*p - l - 2070 = 0, n*p - 5*l + 2760 = 4*p. Is 12 a factor of p?
False
Suppose 3422 - 26102 = -28*a. Let g = 1588 - a. Does 29 divide g?
False
Suppose 0 = -4*q + 2*q + 184. Suppose -7*w + 22*w + 7*w = 2530. Suppose o - w = q. Is 9 a factor of o?
True
Let y(z) be the first derivative of z**3/3 + 10*z**2 - 16*z - 2. Let j be y(-21). Suppose 3*b = 4*u - 0*b - 295, j*b = 4*u - 305. Does 10 divide u?
True
Does 144 divide (-216730)/(-35) - (-30)/(-105)?
True
Let q(f) = -23*f - 12. Let p(k) = -19*k - 11. Let v(y) = 20*y + 11. Let a(t) = -4*p(t) - 5*v(t). Let l(i) = 5*a(i) - 6*q(i). Does 20 divide l(5)?
False
Let n(k) = k**3 + 6*k**2 - 4*k - 11. Let x be n(-6). Suppose -2698 = -x*i - 449. Is i a multiple of 4?
False
Let p(a) = -83*a - 1. Let k(d) be the second derivative of d**3/6 + 5*d**2/2 + 9*d. Let n be k(-6). Is p(n) a multiple of 4?
False
Let f(w) = -9*w + 86. Let s be f(0). Suppose -b = -d - s - 51, -4*b = d - 563. Does 8 divide b?
False
Let z be (((-24)/42)/2)/((-8)/56). Suppose -z*b - 14*b + 992 = 0. Is b a multiple of 5?
False
Let o(y) = -3*y**2 - 48*y + 54. Let g be o(-17). Let v(z) = 47*z**2 + 5*z - 4. Does 22 divide v(g)?
False
Suppose 0 = 158*n - 1928519 - 94197. Is 14 a factor of n?
False
Let z(t) = -7*t - 67. Let w be z(-10). Let c(a) = 7*a**3 - 17*a + 33. Is 22 a factor of c(w)?
False
Suppose 2*r - 4*s = -256 + 1354, -3*r + 1623 = 2*s. Is 18 a factor of r?
False
Let j(f) = -f**2 - 48*f - 217. Let v be j(-43). Let d(r) = -2*r**3 - r**2 + 2*r + 4. Is d(v) a multiple of 3?
True
Suppose -426738 - 1181764 = -67*d - 326189. Is d a multiple of 277?
False
Suppose -3*g - 2*l + 80 = 0, 0 = -16*g + 21*g - l - 116. Suppose -11*u = -g*u + 312. Is u a multiple of 6?
True
Suppose -5*a + 20151 + 4496 = -4*i, -2*a = -2*i - 9856. Does 15 divide a?
True
Let i = 9793 - -2494. Is 132 a factor of i?
False
Suppose 166*v - 1572480 - 679460 + 686560 = 0. Does 23 divide v?
True
Suppose -3*o - 11 = 2*r + 2*r, 11 = r - 2*o. Let i(p) = 3*p - 6*p**2 - 40*p**3 + r + 0 + 38*p**3. Is 40 a factor of i(-6)?
False
Let l be (1696/40)/(1/(-5)). Suppose 0*q = -4*z - 4*q - 148, -z = 5*q + 33. Let g = z - l. Does 22 divide g?
False
Suppose -4*i + 16 - 4 = 0. Let q = i + 19. Is q a multiple of 11?
True
Let y = 299 - 151. Suppose -10*g + 6*g + 578 = -2*x, -g = -4*x - y. Is g a multiple of 8?
True
Suppose 2*t - 29*j = -32*j + 28109, -2*t + j = -28137. Is 31 a factor of t?
False
Let h = -11392 + 17753. Does 146 divide h?
False
Let n(f) = -8*f**3 - f**2 + 6*f + 7. Suppose 5*c - 5*w = 15, -4*c = -2*w - 3 + 1. Is n(c) a multiple of 4?
False
Suppose -5*p - 65 = -4*t, -3*t = -3*p - 10 - 29. Let x = p + 29. Is x even?
True
Suppose -4*n + 496 = 4*s, -2*n - 20 = 2*n. Suppose 0 = 4*q - 545 + s. Does 10 divide q?
False
Let y(m) = 6*m**3 - 3*m**2 + 1. Let j be y(-2). Let p = 111 + j. Let v = -37 + p. Does 15 divide v?
True
Suppose 0 = 98*o - 99*o + 9412. Is 24 a factor of o?
False
Let a(n) = -9*n**3 - 4*n**2 - 3*n + 24. Is 35 a factor of a(-5)?
False
Let c(k) = k - 1. Let x(b) = b + 45. Let h(g) = 6*c(g) - x(g). Does 8 divide h(16)?
False
Let c(v) = 31*v - 81*v + 6*v**2 + 28*v - 6 + 4*v**3 + 33*v. Is c(5) a multiple of 26?
False
Let l = -9975 - -18358. Does 7 divide l?
False
Suppose 0 = -54*i + 1053780 + 50412. Is 144 a factor of i?
True
Let a(n) = 25*n**3 + 5*n**2 - 2*n + 9. Is 57 a factor of a(5)?
True
Let w(t) = 86*t + 16. Suppose 54 = -2*y + 60. Is w(y) a multiple of 20?
False
Let u be (-5 + -2 + 2)/(5028/840 + -6). Suppose -4*x + 392 = -116. Suppose -u = -3*l + x. Is l a multiple of 6?
False
Suppose 2*r = -4*n + 16166, 4*n - n - 2*r = 12135. Is n a multiple of 13?
True
Does 26 divide -2 + 10977 - -19 - -4?
True
Let h be -2 + -2*(-8)/2. Let m(u) = 0 + h - 10*u - 2*u. Does 14 divide m(-3)?
True
Suppose 46*l = -4*f + 42*l + 4828, 3*f - l = 3629. Does 21 divide f?
False
Let y = -209 + 204. Let x(o) = o + 37. Does 8 divide x(y)?
True
Let p(o) = o**3 + 10*o**2 - o - 15. Let s be p(-10). Let t(h) = -117*h + 81. Is 74 a factor of t(s)?
True
Is 2878/4*(5 + 11 + 2) - 7 a multiple of 16?
True
Let j be 120/9*(-12)/16*-7. Does 20 divide (2 - j)*33/(-4)?
False
Let b be (28/(-10))/((-98)/5145). Suppose -1542 = 7*o - 9*o. Suppose 4*m + b = o. Does 6 divide m?
True
Let f(w) = -w**3 - 3*w**2 - 4*w + 8. Let r be f(10). Is 18 a factor of 28/49 + r/(-21)?
False
Suppose 301*u = 294*u - 42. Does 13 divide (-620)/(-8) - u/(1 - 13)?
False
Let f(l) = 8*l**2 + 2*l - 30. Let a(d) = 11*d + 137. Let r be a(-12). Does 12 divide f(r)?
True
Suppose q = -5*z + 82254, -5*z - 5*q = -131200 + 48930. Is z a multiple of 10?
True
Let q = 299 - 273. Suppose -q*u + 31*u - 585 = 0. Is u even?
False
Let b(i) = -6*i - 14. Let a be b(-3). Suppose -287 = -3*u - 5*l, -l - 2*l = -a*u + 344. Is u a multiple of 4?
False
Let c(m) = 10*m + 52. Let r be c(-5). Suppose -26 = -5*i + 4*n + 165, -62 = -r*i - 2*n. Is i a multiple of 15?
False
Let j(n) = n - 75. Suppose 4*r - 2*w = 2*w - 16, w = 3*r + 4. Let i be j(r). Let t = i - -162. Does 25 divide t?
False
Let i(h) = -8*h - 33. Suppose -5*q + 273 = 4*j, 2*j - j + 2*q - 66 = 0. Suppose 4*l = -2*l - j. Does 10 divide i(l)?
False
Let i = 241 - 92. Suppose 0 = -12*v - i - 163. Let u = v - -58. Does 4 divide u?
True
Let c(r) = -2*r**2 + r. Let j be c(-2). Let y = -4 - j. Suppose -5*g - 156 = -y*g. Does 12 divide g?
True
Suppose 71*c = 483222 + 697650. Does 22 divide c?
True
Is (-7277494)/(-285) + 7/(-105) - 8 a multiple of 127?
True
Let g(f) = 15*f + 26. Let j be g(6). Let m(o) = o**2 - 10 - 117*o + 2*o**2 + 2*o**3 + j*o. Is m(3) a multiple of 9?
False
Suppose -4*j + 6*d + 740 = 2*d, j + d = 193. Let z = -85 + j. Is 3 a factor of z?
False
Suppose 0*a - 2 = -5*b - 2*a, -16 = -2*b + 3*a. Suppose -21 = 2*y - 25. Suppose y*l = b, 5*i - 4*l - 945 = -349. Is i a multiple of 12?
True
Is 244 a factor of -