
True
Let l(k) = -2*k**3 - 5*k**2 + 7*k + 2. Let y be 3 - (3/9 + (-20)/(-3)). Let q be l(y). Is 4 a factor of ((-16)/2)/(-1 + q/26)?
True
Let t(b) = 6*b**3 - 53*b**2 + 378*b + 2. Is t(7) a multiple of 19?
True
Suppose 0 = -4*q - o - 4*o + 259599, -4*q + 5*o + 259689 = 0. Is q a multiple of 30?
False
Let h(m) = 19*m. Let z be h(1). Let o = z - 13. Suppose k = o*k - 140. Is 7 a factor of k?
True
Let f = -16757 - -27417. Is f a multiple of 82?
True
Suppose 0 = -5*n - 3*x - 17, -8*n - 2*x - 13 = -3*n. Let l be (-81)/(-1) + (4 - 6 - n). Let c = 10 + l. Does 30 divide c?
True
Suppose -180*t + 215*t - 65870 = 0. Is 20 a factor of t?
False
Let d(x) = -62*x + 1. Let r be d(3). Let u = -2134 + 2005. Let h = u - r. Does 14 divide h?
True
Let p be (-2)/(-4) + 246/(-4). Suppose -31*b + 27305 = 92*b + 92*b. Let q = p + b. Is q a multiple of 6?
True
Suppose -67 = -o - 4*o - 4*z, 3*o + 4*z - 45 = 0. Suppose 2*y + f - o = 0, -2*y + 9*f - 6*f = -15. Does 5 divide y?
False
Let g(x) = 2*x**2 - 8*x - 10. Let a be g(5). Suppose a = 11*c - 14*c + 381. Suppose -2*u - 3*u = 2*s - 628, -u + s = -c. Is u a multiple of 18?
True
Let a(t) = t**3 + 8*t**2 - 2*t + 3. Let b be a(-6). Suppose 3*z + 3*w = -b, -3*z + 4*w - 93 = w. Is 8/(-3)*405/z a multiple of 3?
True
Suppose -267618 - 447506 + 8124 = -100*u. Is 101 a factor of u?
True
Suppose -5*d = -z + 84 - 3, -283 = -3*z - 5*d. Let w = 122 - 80. Does 17 divide (w/8)/((z/56)/13)?
False
Is ((45/2)/(-5))/((-1329)/1654162) a multiple of 9?
False
Suppose -6406 = 6*a - 30214. Is a a multiple of 29?
False
Let z = 420 - 439. Does 13 divide 2/z + (-186368)/(-152)?
False
Suppose 167966 = 26*h - 126536. Is 61 a factor of h?
False
Let i = 26306 + -14102. Is i a multiple of 9?
True
Suppose -2*o = 5*s - 13, -2*o + 5*s - 2 = -5. Suppose 0*d - o*d - 4*q + 1816 = 0, 2*d = -4*q + 902. Is 9 a factor of d?
False
Suppose 3*f = -2*m + 5099, 4*f = 8*m + 3*m - 28188. Is 128 a factor of m?
True
Let i(o) be the first derivative of -o**4/4 - 2*o**3 - 5*o**2/2 + 52*o - 113. Does 41 divide i(-6)?
True
Let m be (2/(-6))/(7/(-63)). Suppose m*t + 4 = 64. Is (-16)/t - 1482/(-15) a multiple of 13?
False
Suppose -2*d - 3*d + 5*l + 665 = 0, 3*d + 2*l - 414 = 0. Suppose 0 = 5*y - 4*u - 2 - 19, -3*u + 3 = 0. Suppose -1436 = -y*n - d. Is 26 a factor of n?
True
Suppose -2*x + 70 + 160 = 0. Let q = x - 90. Suppose w - 89 = -q. Is w a multiple of 14?
False
Let a(y) = y**2 + 270*y - 454. Is a(74) a multiple of 54?
True
Let k(w) = -w**2 + 51*w + 200. Let d = -850 + 898. Is k(d) a multiple of 4?
True
Let m(g) = 185*g + 809. Is m(11) a multiple of 79?
True
Let y = -27 + 27. Suppose y*z - 50 = -10*z. Suppose z*j - 190 = 220. Is j a multiple of 41?
True
Suppose 3*z + 4 = 16. Suppose 0 = -4*y - z*y + 40. Let n(j) = 3*j**2 + 7*j + 14. Is n(y) a multiple of 5?
False
Suppose -74*c - 272032 = -1240220 - 488058. Is c a multiple of 23?
False
Is ((-32670)/231 + 1 + 5)/(20/(-350)) a multiple of 4?
False
Suppose 3*h + 4*x = -x - 1192, -3*h + 4*x = 1228. Let l = -128 - h. Is l a multiple of 46?
True
Let a(m) = m**3 - 61*m**2 - 43*m + 40. Is a(62) a multiple of 58?
True
Let l = -3155 + 3799. Is 23 a factor of l?
True
Let b = 44178 + -8250. Is 18 a factor of b?
True
Let a(i) = 4*i**2 + 31*i - 17. Let x be a(-30). Let m = -1827 + x. Does 18 divide m?
False
Suppose 76*f - 4465 = 385415. Does 18 divide f?
True
Let s = 5 + -2. Suppose -s*i - 3*a + 456 = 0, 2 = -3*a + 5. Is i a multiple of 10?
False
Let o(r) = -563*r - 20. Let z(g) = 22*g + 329. Let u be z(-15). Does 34 divide o(u)?
False
Suppose 2*t + 24 = 4*d, 12*t + 4*d - 16 = 13*t. Is (-4)/(t/(-27))*(-364)/39 a multiple of 37?
False
Is 20 a factor of (-84341)/69*(-6)/2?
False
Suppose 130 = 11*h - h. Suppose h*a = 10*a + 960. Is 32 a factor of a?
True
Let n(l) = 2*l**3 + 71*l**2 + 17*l - 273. Is n(-31) a multiple of 2?
False
Suppose -3*i - 26 = -2*i. Let m = 41 + 29. Let b = m + i. Is b a multiple of 22?
True
Let l = 122 + -124. Is 7 - (l - -9) - -1145 a multiple of 9?
False
Let w(d) = d**3 + 3*d**2 + 5*d + 10. Let h be w(7). Suppose -3*a + h = 5*c, -18*c = -2*a - 23*c + 365. Is a a multiple of 34?
True
Does 10 divide (-11 + -209)/(10/(-125))?
True
Let q = -79 + 81. Suppose -q*i - 40 = -10*i. Suppose 2*p = 3*p - i*r - 62, -p + 3*r = -66. Does 18 divide p?
True
Let q be (1 + -117)/(8/(-12)). Let w = q - -10. Is 23 a factor of w?
True
Suppose -3*n + 0*n - 10113 + 38367 = 0. Is 26 a factor of n?
False
Suppose 24*a - 16 = 28*a, 0 = 2*j + 2*a - 5322. Does 41 divide j?
True
Suppose 50 = 9*h - 166. Suppose h*q - 1328 = 8*q. Is q a multiple of 49?
False
Let q(g) = 2*g**3 - g**2 - 7*g - 10. Let u(l) = -l**3 - l**2 + 6*l + 9. Let n(t) = -2*q(t) - 3*u(t). Is n(-3) a multiple of 4?
False
Let n(r) = -r**2 + 24*r + 3. Let p be n(24). Let f(b) = p*b**2 + 6*b + 14*b**2 - 14*b**2. Is 3 a factor of f(3)?
True
Let t(q) = 9*q**2 - 5*q + 55. Suppose -3 = -5*g - 18. Let x(o) = 4*o**2 - 2*o + 28. Let v(b) = g*t(b) + 7*x(b). Is 9 a factor of v(0)?
False
Suppose -121 = 2*b - 23. Let g = b + 47. Is 27 a factor of ((-54)/(-5))/(g*6/(-120))?
True
Let w(g) = -3*g - 3 - 4*g**3 - 23*g**3 - 9*g**2 - 5*g + 4*g**2. Is w(-3) a multiple of 62?
False
Let d be ((-12)/(-15))/(((-16)/(-10))/(-8)). Let b be (-18960)/210 - d/14. Is (98/21)/((-4)/b*3) a multiple of 7?
True
Let i(b) = 35*b**2 - 1200*b - 75. Does 19 divide i(44)?
False
Let t be (-9 - -8)*(-646)/2. Let r = 372 - t. Is r a multiple of 5?
False
Let g(n) = n**3 - 6*n**2 + 7*n + 3021. Is g(0) a multiple of 26?
False
Let x(j) = -44 + 139 + 4*j + 116 - 44. Is 15 a factor of x(-8)?
True
Let u(o) = 54*o + 135. Let k(g) = -58*g - 136. Let h(t) = 2*k(t) + 3*u(t). Is 5 a factor of h(2)?
True
Suppose 0 = -15*l + 17*l. Suppose -w + 108 + 212 = l. Is 20 a factor of w?
True
Let v(w) = 550*w - 1917. Is 38 a factor of v(6)?
False
Suppose 689 = 3*n + 2*q, q = 5*q - 16. Suppose -2*z - 3*k - 19 + n = 0, -2*k = 2*z - 210. Does 7 divide z?
False
Let l = -33 - -154. Let d = l + -110. Suppose d*f - 528 = -5*f. Is 4 a factor of f?
False
Let n = -6109 - -6737. Is n a multiple of 6?
False
Let z(g) = -5*g + 6. Let x be z(-6). Suppose -32*n - 380 = -x*n. Suppose -n - 5 = -4*s. Does 25 divide s?
True
Let o(k) = k**2. Let i(w) = -2*w**3 + 8*w**2 + 3*w - 6. Let s(b) = -i(b) + 4*o(b). Suppose 0 = c - 4*c + 15. Does 12 divide s(c)?
False
Is (-14)/2 + ((-107695)/(-17) - -8) a multiple of 18?
True
Suppose -218*y + 28356 = -116*y. Suppose -7*l = -3*l - 52. Suppose y + 1542 = l*b. Is 28 a factor of b?
True
Suppose 30 = -9*p + 651. Suppose g + u - p = -u, u = 3*g - 214. Let d = 89 - g. Does 18 divide d?
True
Let l = -412 + 416. Suppose 7*g - 2*p = 4*g + 1794, 0 = l*p. Does 9 divide g?
False
Let m(z) = -z**3 + 4*z**2 + 4. Let g be m(4). Suppose -5*i = -a - 6691, g*i - 4*a - 5368 = -7*a. Is 103 a factor of i?
True
Suppose -v + 4*q + 114 = 0, -4*v + 3*q + 107 = -336. Is v a multiple of 55?
True
Let b(a) = -36*a**3 - a**2 + a + 7. Let o be b(-2). Suppose 2835 = o*p - 284*p. Does 18 divide p?
False
Let w be 0/(-5)*(-1)/(-3). Suppose w = 11*g - 12*g + 182. Does 14 divide g?
True
Let m be (0 - 3)/(-3) + (-2060)/(-2). Let g = -430 + m. Does 21 divide g?
False
Let r = 27 + -25. Suppose 3*d - 224 = -0*d - r*u, -5*d + u = -382. Does 6 divide d?
False
Let a = 4055 + -1877. Does 11 divide a?
True
Suppose -91*c + 84*c = 7518. Let n = -533 - c. Is 13 a factor of n?
False
Is ((313506 + 3)/(-21))/(-1 - 0) a multiple of 207?
False
Let i be 132/154*7/1. Is (-3)/(63/(-1267)) + (-2)/i a multiple of 15?
True
Let v(z) = 232*z + 4. Let m be v(1). Is (-1)/(-4) - m/(-16) a multiple of 7?
False
Suppose -125 = -5*p + 245. Suppose 0 = 2*s - r - 6 - 43, 0 = 3*s - 2*r - p. Does 5 divide (-2)/(((-1)/s)/1)?
False
Let z(c) = -c**3 - 27*c**2 - 30*c + 29. Let d be z(-26). Suppose 126*h = d*h - 2793. Is h a multiple of 7?
True
Let n = 37496 + -32207. Is n a multiple of 6?
False
Let t = -658 - -1397. Suppose 587 = 4*v - y, 5*v - y - t = -5*y. Let f = 24 + v. Is f a multiple of 9?
True
Suppose 57*u - 52*u - 3*r = 4255, -3*u + 2542 = -4*r. Does 2 divide u?
True
Let q be (-19170)/(-324) + (2/(-12) - 0). Let l = 64 - q. Suppose s - 43 = -j - 3*s, l*j - 315 = 5*s. Is 8 a factor of j?
False
Suppose 11*h + 874 = 4*a + 9*h, a = -3*h + 236. Suppose k - 535 = -5*g, -2*g - k = -2*k - a. Is 22 a f