4*c - 5*i = -339, 201 - 45 = 2*c - j*i. Does 18 divide c?
False
Let l = -208 - -296. Is 3 a factor of l?
False
Let o = -7 - -2. Does 35 divide (28/(-2))/(2/o)?
True
Suppose -53*f + 48*f = -3800. Suppose 5*q - 3*p + 0*p - f = 0, 470 = 3*q + p. Is 19 a factor of q?
False
Let o(n) = 3*n - 1. Let h be o(1). Suppose 63 = h*t - 61. Let y = -24 + t. Is 15 a factor of y?
False
Let g(w) = -2*w**3 + 12*w**2 + 9*w - 12. Let y be g(6). Suppose 2*i - y - 38 = 0. Is i a multiple of 8?
True
Suppose -2*u + 68 = -0*v + 2*v, u - 44 = -3*v. Suppose u = -4*l + 181. Does 22 divide l?
False
Suppose 76 = 4*v - 5*x, 4*v + 4*x + x = 116. Let i = -398 + 401. Suppose i*r - v = r. Is 5 a factor of r?
False
Let z = 970 - 303. Is z a multiple of 23?
True
Suppose -22*l + 7*l + 1050 = 0. Does 11 divide l?
False
Let n(p) = -p**3 - 4*p**2 + 9*p - 13. Let k be n(-6). Suppose -2*b + 0*h + h + 167 = 0, -355 = -4*b - k*h. Is b a multiple of 12?
False
Let c(q) be the second derivative of q**4/12 - 11*q**3/6 + 7*q**2/2 - 24*q. Is 7 a factor of c(11)?
True
Let a be (18/8)/(12/(-32)). Is (-54)/4*4/a a multiple of 3?
True
Suppose 4*f + 4 = -0, -2*m + 626 = -2*f. Does 12 divide m?
True
Suppose 3*k = 5*k - 8. Suppose 4*q - 4*i - 20 = k, 0 = 3*i + 6. Let c(a) = a**2 + 2*a. Is c(q) a multiple of 12?
True
Suppose g + 6*g = 14. Suppose g*o = 78 + 12. Is o a multiple of 15?
True
Suppose -13 = -5*d - 4*s + 27, -3*d + 5*s - 13 = 0. Let k be (-6)/(-21) + d/(-14). Suppose x - g - 16 = 0, -5*g = -k*g - 10. Does 10 divide x?
False
Let t(v) = -v**3 + 18*v**2 + 18*v + 23. Let i be t(19). Suppose 2*a - 78 = 2*f, 3*a + i*f + 0*f = 145. Does 12 divide a?
False
Let x = 252 - 212. Does 3 divide x?
False
Is 68 a factor of (13 - 23112/(-6)) + 11?
True
Suppose -192*t = o - 188*t - 144, o + 2*t = 138. Is 75 a factor of o?
False
Is 20/(12/(-3)) + 405*1 a multiple of 20?
True
Let r be (-5)/((-40)/84)*(-14)/(-3). Suppose 0 = -2*v - 2*b - b + r, 4*v - 4*b = 48. Does 4 divide v?
False
Suppose 80547 - 14787 = 15*y. Does 12 divide y?
False
Let m be (((-3)/2)/(-3))/((-3)/288). Let v = m + 58. Is v a multiple of 7?
False
Let y(f) = -f + 15. Let a be y(11). Suppose 4*d - 193 = 327. Suppose -m - a*u + 152 = 3*m, -3*m + d = -u. Is 21 a factor of m?
True
Suppose 4*w = 5*s - 3*s + 74, 4*s + 178 = -2*w. Let f = s - -121. Is 39 a factor of f?
True
Is 34086/(-285)*(50/(-4))/5 a multiple of 8?
False
Suppose -6*y + 5*y = 2*s - 253, -4*s + y = -515. Is s a multiple of 66?
False
Let p(q) be the third derivative of q**6/120 + 2*q**5/5 + 19*q**4/24 - 5*q**3/6 - 9*q**2. Is 29 a factor of p(-23)?
True
Suppose 0 = u - 3*u + 4. Suppose 5*c + 265 = 5*h, 5*c + 0 = u*h - 112. Suppose 3*s - 2*g - 3*g - h = 0, 2*g = 2*s - 38. Is 11 a factor of s?
True
Let l = -350 + 523. Does 49 divide l?
False
Let z be 1 - (-4 + 6) - 2. Let m(r) = 15*r + 8. Let x be m(z). Is 14 a factor of 0 - 1 - (2 + x)?
False
Let b(m) = -m. Let k(f) = -5*f - 3. Let u(g) = 3*b(g) - k(g). Let x be 7 - 1*(-2 + 1). Does 5 divide u(x)?
False
Let j be 4/(-6) - 200/(-12). Does 10 divide (-30 + 0)*j/(-6)?
True
Let h(b) = b**2 - b - 11. Let u(v) = -2*v**2 + 2*v + 21. Let t(p) = -5*h(p) - 3*u(p). Is 2 a factor of t(5)?
True
Suppose 27 = 4*v + 11. Suppose f - 321 = -3*p + v*f, -356 = -3*p - 4*f. Does 40 divide p?
False
Suppose 0 = -5*d + 2700 - 820. Suppose -5*a = -d - 64. Is 22 a factor of a?
True
Suppose -2*i + 2*l = 0, -l = i + i + 9. Does 19 divide (-33)/6*-26 + i?
False
Let f = -231 + 119. Let l = -40 - f. Does 18 divide l?
True
Suppose -6*h - 6 = -7*h. Is (-4)/h*-3*20 a multiple of 8?
True
Let g = -99 - 106. Let a = 389 + g. Is 46 a factor of a?
True
Suppose 2*p + 2*p = 8. Suppose 0 = 5*b + 3*c - 241, p*b - c = 89 + 3. Is b a multiple of 16?
False
Suppose l = 65 - 31. Does 17 divide l?
True
Suppose 411*m - 437*m = -53300. Does 50 divide m?
True
Let x(y) = y**2 + 3*y + 9. Let m be x(9). Let f = m - 106. Is f a multiple of 10?
False
Let z = -14 + 26. Let v(i) = i**2 - 12*i. Let p be v(z). Suppose p*w = -w + 15. Does 5 divide w?
True
Let f(o) be the first derivative of -o**4/4 + 10*o**3/3 - 9*o**2/2 - 7*o - 9. Let y be f(9). Is -44*((-28)/(-8))/y a multiple of 11?
True
Suppose 4*k - 9 - 109 = 2*o, -k + 34 = o. Let i = k + -15. Does 8 divide i?
True
Let d(b) = -19*b**3 + b. Let i be d(1). Is (-23)/(-3) - 6/i a multiple of 4?
True
Is 116 a factor of (8 - 15)*(-5 + (-9612)/42)?
False
Let a be (40 + -32)*(0 - 118/(-8)). Suppose -a - 10 = -2*f. Does 4 divide f?
True
Is 21 a factor of (5 - (-153)/(-18))/((-1)/12)?
True
Let q(b) = 21*b**3 + 7*b**2 - b + 33. Is q(5) a multiple of 18?
False
Let i be 1/(-3)*-1 - 878/6. Let o = i - -269. Is o a multiple of 7?
False
Let w be (2/(-9))/((-2)/18). Suppose 5*t = w*t + 99. Suppose 5*q - t = 102. Is 20 a factor of q?
False
Let s = -15 - -16. Let f be -2 + s + -2 + 0. Is 15 a factor of 564/36 - (-2)/f?
True
Suppose 6*a - 2003 = -113. Is a a multiple of 4?
False
Suppose -6 = -4*v - 30. Let t be (5 + -4)/(2/v). Does 23 divide (-27 + 4)/(1/t)?
True
Is 41 a factor of (3/6*2)/((-26)/(-27794))?
False
Let y = 260 - 176. Suppose 98 = 2*w - 0*b + 3*b, 2*w - 4*b - y = 0. Is w a multiple of 46?
True
Suppose -4*q + 10 = 2*i, 7*i = 2*q + 5*i - 8. Suppose -q*p + 0*p = 5*m - 208, -4*p - 3*m + 281 = 0. Is 22 a factor of p?
False
Let w(k) = -3*k**3 + 6*k**2 + 15*k - 9. Is w(-6) a multiple of 26?
False
Let o(x) be the first derivative of x**3/3 + x**2/2 + 6*x + 6. Let n = 16 + -22. Is 12 a factor of o(n)?
True
Does 6 divide ((-52)/(-12) - 5) + 2733/9?
False
Let j(b) = b**3 - 18*b**2 + 26*b - 90. Is 133 a factor of j(24)?
True
Let p(k) = -k**2 - 4*k - 5. Let m be p(-8). Let l(i) = -25*i - 16. Let x be l(-5). Let j = x + m. Is j a multiple of 24?
True
Let w be 2*1/2 - -70. Let r = -597 + 557. Let k = r + w. Is k a multiple of 16?
False
Let h be ((-2)/(-2))/(2/(-6)). Let z(w) = -8*w - 1. Let x be z(h). Let s = 33 - x. Is s a multiple of 9?
False
Suppose -3*q = -2*q - 29. Is q a multiple of 3?
False
Suppose 0 = -4*g - m + 12, -m = -2*m. Suppose -5*l - 420 = -5*a, l + 258 = g*a - 0*a. Is a a multiple of 19?
False
Suppose -66 + 242 = 8*v. Is 10 a factor of v?
False
Let q(r) = r**3 + 18*r**2 - 19*r + 5. Let m be q(-19). Suppose -g + 43 = m*i + g, 4*i = -3*g + 40. Does 7 divide i?
True
Let s(n) = 2 - 10*n + n**3 + 5*n + 4*n + 0*n. Does 3 divide s(2)?
False
Let r = -849 - -1205. Is 12 a factor of r?
False
Suppose -5*i + 6*i + 2*j + 22 = 0, 3*i + 5*j + 65 = 0. Let z = i + 0. Let g = z + 65. Is 15 a factor of g?
True
Let y = -2 - -7. Let f = 247 - 126. Suppose y*c = f + 104. Is c a multiple of 9?
True
Let t = -36 - -63. Let d be t/72 + 150/(-16). Is 3 a factor of d/((-9)/(-4)) + 27?
False
Let h(k) = 55*k - 3. Let g(d) = -164*d + 9. Let j(p) = 3*g(p) + 8*h(p). Is j(-1) a multiple of 13?
False
Let x be (-6)/9 + (-426)/9. Does 10 divide x/(2 + 14/(-4))?
False
Let l(z) = z**3 + 8*z**2 + 2*z + 10. Let g = -29 - -19. Let f be (-37)/5 - g/25. Does 15 divide l(f)?
True
Suppose 4*j - 2*v - 457 - 4607 = 0, 1266 = j + 2*v. Does 21 divide j?
False
Let r = 50 - 43. Suppose -r*q = -14 - 49. Is 9 a factor of q?
True
Suppose 0 = 177*l - 156*l - 20412. Is 27 a factor of l?
True
Let d(w) = w**3 + 15*w**2 - 14*w + 50. Let b be d(-16). Suppose 3*p = 5*t - 216, -5*p + b = -2*t + 112. Does 14 divide t?
True
Let j = 304 - -113. Is j a multiple of 17?
False
Suppose -5*v - 684 = -8*v. Let o be (v/(-16))/((-9)/24). Let k = -17 + o. Is 7 a factor of k?
True
Let w(a) = -2*a + 0 + 5 - 1 + 2*a**2. Let z be w(4). Suppose -116 + z = -5*o + 4*g, 3*o + 5*g = 75. Does 7 divide o?
False
Let p(z) = -25*z - 1038. Is p(-47) even?
False
Let v(d) = -2*d**3 + 2*d**2 + 1. Let o be v(-2). Let g(m) = 4*m**3 + 2*m**2 - 2*m + 1. Let x be g(1). Suppose -x = p - o. Is 15 a factor of p?
False
Suppose 0 = -9*k + 4*k + 2525. Suppose 3*j + 0*j = -4*l + 329, -5*j + 2*l = -k. Is 16 a factor of j?
False
Suppose 3*n + 9 = 0, -6 = -z + 2*n + 13. Is z even?
False
Let u(l) = 4*l - 6. Let m(h) = -5*h + 5. Let x(z) = -5*m(z) - 6*u(z). Let o be x(-12). Is 55 + -3 + (1 - o) a multiple of 18?
True
Let a(p) = -p**2 + 5*p - 4. Let s be a(3). Suppose 2*g + 5*u + 6 = 0, g - 4 = 3*g + 4*u. Suppose g*q = -s*q + 84. Does 5 divide q?
False
Let s(p) = -590*p - 32. Does 46 divide s(-1)?
False
Suppose 3*u - 8 = -u. Let r be 1353/(-55) - u/5. Do