3480. Let m = -194 + v. Suppose 214 = 4*w - m. Is w a multiple of 43?
False
Suppose 3*l + 22 = -5*u, 3*l - 7*l + u - 14 = 0. Is 34 a factor of (12/7)/l - (-7863)/21?
True
Does 31 divide 22178100/2700 + 8/9?
True
Let k = 12224 + -8231. Is k a multiple of 69?
False
Suppose -3040*j - 2797893 = -3129*j. Is 21 a factor of j?
True
Let c be (-49366)/(-22) - (-3)/33. Suppose 0 = 3*h - 516 - c. Does 24 divide h?
False
Let q(p) = -p**3 - 7*p**2 - 3*p + 24. Let a be q(-6). Let r(h) = h**3 - 4*h**2 + 23*h - 9. Is 4 a factor of r(a)?
False
Let m be 33/165 + -26*(-11)/(-5). Let t = m + 59. Suppose 2*n + 2*n + o - 263 = 0, t*o = -5*n + 328. Does 6 divide n?
True
Let w(m) = 2*m**3 + 8*m**2 + 6*m + 4. Let d = 79 - 86. Let g be w(d). Does 11 divide 5 - -2*g/(-8)?
True
Let d be -1 + 5 + -2 - -989. Let f = d + -341. Suppose 2*x + 11*x = f. Does 22 divide x?
False
Let i(l) = 1251*l - 2413. Is i(3) a multiple of 2?
True
Let q(f) = 2*f**2 + 22*f - 13. Let a(j) = j**2. Let c(n) = -4*a(n) + q(n). Let m be c(11). Does 23 divide (m - -16)*(57 - 2)?
False
Is 67 a factor of 2/(2/(-96055)*5*-1)?
False
Let m(b) be the first derivative of -b**3/3 - 17*b**2/2 + 77*b - 119. Does 16 divide m(-15)?
False
Let f(m) = -3*m**3 - 149*m**2 + 25*m - 138. Is f(-50) a multiple of 106?
False
Let w(f) = 219*f**2 - 22*f + 26. Let i be w(-11). Suppose -528*h = -541*h + i. Is h a multiple of 19?
False
Suppose -2*a - 101 + 599 = 0. Let m(b) = -10*b + 50. Let p be m(5). Suppose 4*c + n - a = p, 3*c - n - 247 = -c. Is 9 a factor of c?
False
Let j(c) = -c**3 - 3*c**2 - 102*c - 65. Does 18 divide j(-10)?
False
Let h be ((-4)/6)/(7/(-966)). Let q = h + -80. Is 10 a factor of (-12)/6 + (q - -2 - 2)?
True
Suppose 10*f + 1582 = -2098. Let i = 443 + f. Is i a multiple of 3?
True
Let o(j) = j**3 - 11*j**2 + 20*j - 16. Let n be o(9). Let i(s) = 2*s**2 - 5*s + 7. Let l be i(n). Suppose l*p - 394 + 64 = 0. Is p a multiple of 22?
True
Let s(r) be the third derivative of r**6/120 + 5*r**3/3 + 35*r**2 - 2. Let p(y) = y**3 - 4*y**2 - 5*y + 5. Let q be p(5). Is s(q) a multiple of 9?
True
Suppose 0 = 3*v - 5*t - 5306, -10*v + 11*v = -5*t + 1742. Let b = -1034 + v. Suppose 12*i - b = -i. Does 6 divide i?
False
Let f(w) = 37*w - 213. Let z be f(7). Suppose 61*o - 2640 = z*o. Does 8 divide o?
True
Let z(h) = 1012*h**2 + 38*h - 40. Is 10 a factor of z(1)?
True
Let g(b) = 328*b**2 + 412*b + 10. Is g(-5) a multiple of 82?
True
Let y = 792 + -572. Suppose k - 1 = 0, -3*n + 2*k = -y - 18. Is n even?
True
Let k(w) = 2*w**3 + 4*w**2 + 5*w + 23. Let u be k(-5). Does 38 divide (u/10)/(2/(-95))?
True
Suppose 0 = 23*u - 25124 - 6374 - 530507. Is 135 a factor of u?
True
Suppose 0 = -5*g - 4*n + 17147, 3*g - 10287 = 47*n - 49*n. Is g a multiple of 19?
False
Let k(c) = 11*c**3 + 11*c**2 + 24*c + 21. Let s(j) = -4*j**3 - 3*j**2 - 8*j - 7. Let v(p) = 3*k(p) + 8*s(p). Is v(-6) a multiple of 6?
False
Let v = 35 - 36. Let q be (4/(-8)*0)/v. Suppose -2*a - 4*f + 90 = q, 2*a - 22 = 2*f + 56. Is a a multiple of 9?
False
Suppose 4020 - 564 = b - 4*h, 2*b = -h + 6876. Is b a multiple of 43?
True
Let s be (-2 + (-4)/(-7))*(-105)/30. Is (s - 1796/(-4))/((-2)/(-3)) a multiple of 58?
False
Let g be 5 - 0/(-2) - -3 - -2. Does 17 divide 20748/20 - (4/g)/1?
True
Suppose 250*u + 312*u - 3974701 = 324599. Is u a multiple of 9?
True
Suppose -11*a + 31*a = 100. Suppose 3*t - 3*x - 309 = 0, a*x = t - 107 + 8. Does 26 divide t?
True
Let k(p) = -p**2 - p. Let x(n) = 2*n**3 - 4*n**2 - 8*n - 4. Let l(t) = -k(t) - x(t). Does 11 divide l(-4)?
True
Let k = 16196 - -6167. Is k a multiple of 107?
True
Let v = 27 + -7. Let h be -34*(-25)/v*-4. Let u = h - -240. Does 8 divide u?
False
Let z(y) = -y**2 + 96*y - 2. Let p(m) = 32*m - 1. Let g(l) = 7*p(l) - 2*z(l). Let c be g(-18). Let a = c + -55. Is a a multiple of 5?
False
Let c(t) = t**3 + 14*t**2 - 327*t + 66. Let q be c(-26). Suppose 6*s - 3*s + 108 = 0. Is 8 a factor of (s/(-8) - 4)/(1/q)?
False
Let c(b) = -6*b**3 - 5*b**2 - 24*b - 431. Is c(-10) a multiple of 54?
False
Let z = -114 - -102. Let a be (-2)/z*16*3. Suppose 0 = -a*f + 9*f - 40. Is f a multiple of 40?
True
Let b(j) = -9*j - 9. Let v(r) = 1. Let z(p) = -b(p) + 6*v(p). Let s be z(-7). Let f = 12 - s. Does 7 divide f?
False
Is 18 a factor of 4/(-3)*(-29295)/10?
True
Let h = -20 - -30. Let w be 15/h*22/3. Suppose 1 = -s + w. Is 3 a factor of s?
False
Let u(n) be the second derivative of n**4/4 - n**3/6 + 2*n**2 + 20*n. Let o be ((-21)/14)/(2/(-8)). Does 35 divide u(o)?
False
Let p(n) = n**2 - 5*n - 95. Does 3 divide p(-18)?
False
Suppose 6*j + 12 = 5*j + o, 5*j = -o - 30. Is 17 a factor of (-7)/(98/j) + (-215)/(-2)?
False
Let i be (-1 - 0 - -2)*0. Let b(q) = -2*q**3 + 36*q**2 - 33*q + 30. Let u be b(17). Suppose i = -2*x - 5*y + 97, x + 5*y = 2*y + u. Does 11 divide x?
False
Suppose 14*b - 124*b + 1351680 = 0. Does 64 divide b?
True
Suppose 0 = 39*p - 723469 - 594458. Is p a multiple of 47?
True
Let v = 5 + 10. Let j be 7 - -2*36/(-12). Is 12 a factor of (540/v)/(j*(-6)/(-8))?
True
Let w = 25806 - 16629. Does 57 divide w?
True
Let f = -1257 + 4618. Is f a multiple of 21?
False
Let d(s) = s**2 - s. Let o be d(0). Suppose 5*n - 47 - 233 = o. Suppose 4*z + n = 8*z. Does 9 divide z?
False
Suppose 308 = -8*w + 9*w. Suppose 3*x + 836 = -x - 3*c, -836 = 4*x + c. Let h = x + w. Does 10 divide h?
False
Suppose 0 = -4*y - 2*t + 122324, -4*t + 44360 = 4*y - 77956. Is y a multiple of 55?
False
Let u = 74285 - 49968. Is u a multiple of 25?
False
Suppose -3*g = -10 - 5. Suppose 54 - 183 = -n + 2*d, 0 = 5*n - g*d - 670. Let x = n + -19. Is 12 a factor of x?
True
Suppose 2*v - 14 = -4*p, 2*p + 5*v - 10 = 9. Suppose 0 = 3*a - 3*w - p*w - 2568, w - 3424 = -4*a. Is a a multiple of 14?
False
Let s = 9501 + -5514. Does 45 divide s?
False
Is 26 a factor of 12451 + 124/(-44) + (6/(-11))/3?
False
Suppose -2*k + 0*k + 42 = 0. Suppose 0 = -17*x + k*x + 56. Does 6 divide (36/x)/(26/14 - 2)?
True
Suppose 2*g - 5*a + 13 = 0, -5*g - 43 = -8*g - 5*a. Suppose g*t - 63 = 693. Is 63 a factor of t?
True
Suppose 5*g = -g - 222. Let p = g + 37. Suppose f - 55 = -p*q - 3*q, 3*q - f = 47. Is q a multiple of 6?
False
Let k = -60 + 101. Suppose 42*n - 30 = k*n. Suppose -240 = 25*x - n*x. Is x a multiple of 18?
False
Let d = -135 + 134. Does 10 divide 86/((-5)/(d - 4)) - -4?
True
Let z be (-1)/3 - 16/(288/7122). Let i = -345 - z. Is 14 a factor of i?
False
Let g(b) = b**3 - 18*b**2 - b + 22. Suppose 4*a - r = 74, -4*a + 5*r + 77 = -5. Let u be g(a). Suppose u*v - 107 = 2*t - 27, 3*t = -12. Is v a multiple of 5?
False
Suppose -5*i = 3*w + 12, -4*i = -0*w - 3*w + 15. Suppose -15 - w = 4*m. Does 26 divide (0 - 0) + 33 - (2 + m)?
False
Let o(x) = 29*x**3 - 3*x**2 - 3*x + 1. Let y be o(-1). Let w be (-7)/y*((2 - 2) + 4). Is w + (-510)/4*(-20)/15 a multiple of 19?
True
Let f(p) = p**2 - 13*p + 32. Let h = 25 - 14. Let c be f(h). Suppose 21 = -c*o + 11*o. Is 13 a factor of o?
False
Suppose 5*k - 2*b = -7*b + 25, 0 = 4*k - 4*b + 20. Suppose -2*n + 6*n = -p + 1149, -4*n + p + 1139 = k. Suppose -8*m = -10*m + n. Is m a multiple of 37?
False
Let k = -24 + 35. Let l(r) = r + 16. Let u(c) = -c**2 + c + 2. Let s(w) = -l(w) - 2*u(w). Does 27 divide s(k)?
True
Let v = 8962 + -3614. Suppose o = -13*o + v. Is 13 a factor of o?
False
Suppose 5*m + 187 = 3*w, m + w = 2*m + 39. Let b = 75 + m. Suppose v + b = 3*v. Does 10 divide v?
True
Let i(m) = 2*m**2 - 54*m - 47. Let c be i(28). Suppose c*o - 220 + 31 = 0. Is o a multiple of 13?
False
Let a(g) = g**3 - 4*g**2 + 39*g - 270. Is 18 a factor of a(16)?
False
Is 17472/(-1365)*222*-5 a multiple of 296?
True
Let s = 36183 - 12183. Is s a multiple of 100?
True
Let f = 100 + -142. Let c(s) = 13*s**3 - 10*s**2 - 2*s + 6. Let u be c(2). Let l = u + f. Is 8 a factor of l?
True
Let v(g) = -24*g + 29. Let u be v(-5). Suppose -u = -q - d, 3*d + 2*d - 157 = -q. Is q a multiple of 9?
False
Let x(i) = -10*i**2 + 17. Let m(r) = 18*r**2 - r - 35. Let w(g) = -6*m(g) - 11*x(g). Does 36 divide w(-12)?
False
Let k(m) be the third derivative of 5*m**4/24 + m**3/2 - 13*m**2. Let c be k(-4). Let r = 140 + c. Is r a multiple of 25?
False
Let i(w) be the third derivative of 0*w + 4/3*w**3 + 0 + 13/8*w**4 - 17*w**2. Is 6 a factor of i(1)?
False
Suppose 6734 + 63807 = 19*p - 54403. Is