 12?
False
Let i be (3 + (1 - 5))*27. Let d = 18 + i. Is 12 a factor of (30/d)/(3/(-54))?
True
Let w(p) = 2*p**3 - p - 2. Let g be w(-1). Does 3 divide 17 + g + -3 + 4?
True
Is -2 + (-4 - -2) + (-3 - -348) a multiple of 31?
True
Let x(n) = 3383*n**2 - 3. Is 13 a factor of x(1)?
True
Let c = -4878 + 8675. Does 10 divide c?
False
Suppose -2304 = 9*t - 12*t. Is 32 a factor of t?
True
Suppose -2*k - 5*c = -545, -4*c = -2*k - c + 505. Does 3 divide k?
False
Is 18*(-34)/12*-3 a multiple of 7?
False
Let y(z) = -z**3 - 6*z**2 - 4*z + 6. Let g be y(-5). Let d = 23 + g. Is 8 a factor of d?
True
Let f(r) = -8*r - 13. Suppose 168 = -18*q + 6*q. Is 14 a factor of f(q)?
False
Let g be (-11)/44 + ((-47)/(-4))/(-1). Does 6 divide (-675)/10*(0 + g/10)?
False
Let s be 8/52 + 0 - 18222/(-26). Suppose 5*b = -21 + s. Is 17 a factor of b?
True
Let z(y) = y**3 + 10*y**2 - 11*y + 3. Let f be z(-11). Is 4 a factor of 171/f + 6/2?
True
Suppose 99 = -9*p + 10*p. Let g be (-1784)/(-10) + 9/15. Let k = g - p. Does 16 divide k?
True
Let k(f) = -f**3 + 15*f**2 - 31*f + 25. Is 6 a factor of k(12)?
False
Let w(k) = -k**2 - k. Let l(z) = 6*z**2 + z + 5. Let t(y) = -l(y) - 2*w(y). Let u(r) = 20*r**2 - 4*r + 24. Let o(d) = 14*t(d) + 3*u(d). Is 4 a factor of o(-1)?
True
Let i(u) = -3*u**3 - 33*u**2 - 159*u - 9. Is i(-7) a multiple of 12?
True
Let t = 582 - 1627. Let j = -733 - t. Does 13 divide j?
True
Let j(m) = 5*m**2 + 164*m - 29. Does 22 divide j(-34)?
False
Suppose 0 = 11*x - 9*x - 504. Does 6 divide x?
True
Suppose -237 - 1540 = -5*q - 4*n, -3*q + 1050 = -3*n. Is q a multiple of 31?
False
Suppose -4*t + 3*y + 35 = -0*y, 3*y = 5*t - 40. Suppose t*i + 45 = 185. Is i a multiple of 4?
True
Let o(r) = -r**3 - r**2 + 2*r + 23. Let i = 35 + -35. Is 23 a factor of o(i)?
True
Let w = 49 + -53. Does 15 divide (-154)/w + 4/8?
False
Is ((-2)/5)/((-10)/8700) a multiple of 6?
True
Suppose 0 = -12*h + 20*h - 168. Let i(v) = -21*v - 4. Let l be i(-3). Let y = l - h. Is 8 a factor of y?
False
Is 10 a factor of (-208)/(-3) - (-42)/63?
True
Let o be 1 - (-6 + (-4)/(-2)). Let u(m) = -m**3 + 5*m**2 + 2*m + 4. Let s be u(o). Suppose 5*v - 4*v = s. Is 14 a factor of v?
True
Suppose -2*s = 4 - 18. Suppose -o - 1 = -s. Suppose 0 = 4*t - o - 78. Is t a multiple of 12?
False
Let g = -293 - -1245. Does 28 divide g?
True
Let a be (-72)/(-10)*(10 + -15). Let q = a + 35. Is 18 - -1*(q + 2) a multiple of 4?
False
Is ((-222)/9)/(0 + (-4)/54) a multiple of 42?
False
Let v = 437 - 173. Suppose v = 9*o - 357. Does 33 divide o?
False
Suppose -4*d + 2*d - 3*f + 2156 = 0, -4312 = -4*d + 3*f. Does 49 divide d?
True
Let r be (-50)/(-8)*(-56)/(-14). Is 4 a factor of r + 1*(1 - 0)?
False
Suppose s + 2*a = -34, -64 - 38 = 3*s + a. Let y = s - -54. Suppose -3*j = 3, 4*z - 5*z - j + y = 0. Does 18 divide z?
False
Let g(l) = -64*l + 250. Is 11 a factor of g(-6)?
False
Let b = -34 + 20. Let h be (-2)/(-2) + (-13 - b). Is ((-21)/2)/(h/(-4)) a multiple of 21?
True
Suppose 0 = -31*y + 13384 + 3480. Does 8 divide y?
True
Is 46 a factor of 1012/2 - (6 + -2 + -4)?
True
Suppose -2*p + 4*k - 8*k + 2084 = 0, -5*p + 5254 = -k. Is 75 a factor of p?
True
Let a(h) = h**3 - 9*h**2 + 10*h - 10. Let j be a(8). Suppose -4*q - 7 - 5 = 5*f, -5*f = -2*q - j. Suppose -2*x + 0*x + 110 = f. Is x a multiple of 12?
False
Let r(b) = -2*b**2 - 5*b - 2. Let u(l) = 3*l**2 + 7*l + 2. Let x(p) = 7*r(p) + 5*u(p). Let k = -14 - -10. Is 12 a factor of x(k)?
True
Let u(m) = 3837*m - 102. Is u(1) a multiple of 39?
False
Let v(w) = 1. Let q(u) = -u**3 - 5*u**2 - u. Let p(o) = q(o) - 2*v(o). Let t = -31 - -26. Is p(t) a multiple of 2?
False
Is (574/(-6) + -2)*-9 a multiple of 53?
False
Suppose -6*c + 20 = -c. Suppose 25 = -4*j + 5*f, 4*j + 2*f + 20 = 6*f. Suppose j = -7*n + c*n + 87. Does 10 divide n?
False
Let a be 3/18 - (-7)/(-42). Suppose a = -6*p - 78 + 18. Let x(c) = -2*c + 8. Is x(p) a multiple of 13?
False
Let g be (2 - -3)/30 - (-46)/12. Suppose -1316 = -0*h - g*h. Does 53 divide h?
False
Let c = -22 + 26. Suppose c*s + 0*r = -5*r + 41, -3*r - 23 = -s. Let l = 34 - s. Is l a multiple of 3?
False
Let z be ((-2)/2)/(8/(-32)). Is z/2*287/14 a multiple of 41?
True
Suppose 0 = -6*m + 3*m + 9. Is ((-6)/3 + m)*141 a multiple of 15?
False
Let l = 2829 + -1784. Is l a multiple of 5?
True
Let b(s) be the second derivative of -s**3/3 + 27*s**2/2 - 33*s. Is 27 a factor of b(0)?
True
Let q = 138 - 115. Is 12 a factor of ((-2)/10)/(q/(-5405))?
False
Let g = -18 + 23. Suppose i - 4*p - 1 = 3, -g = 3*i + 5*p. Suppose i = -3*o + 12 + 12. Is 6 a factor of o?
False
Suppose 6*t + 9 = 9*t, 0 = 3*k - 5*t + 3. Let d be 4/(-3)*(-3)/2. Is d*(38/k - 3) a multiple of 10?
False
Suppose 2*p + p = -3*j + 252, -p + 5*j + 96 = 0. Suppose 0 = 3*s - 6*s - 2*w + 61, 2*w + p = 4*s. Is s a multiple of 3?
True
Let q = 39 - -101. Suppose -3*r = 2*r - q. Is r a multiple of 6?
False
Let w(f) = f**2 - 2*f - 3. Let i be (32/(-24))/(1/(-6)). Let j(r) = r**3 - 7*r**2 - 10*r + 12. Let h be j(i). Is w(h) a multiple of 7?
True
Let u(v) = 4*v + 1. Let d be u(1). Suppose -4*s - d*m = 2, -3*m - 2 = -s + 6. Let f = s + 12. Is f a multiple of 4?
False
Let q be 100/3*(-9 + 12). Let p be q*((2 - -3) + -4). Suppose 2*h = 68 + p. Does 28 divide h?
True
Let a(p) = -p**3 - 10*p**2 - p - 46. Does 16 divide a(-14)?
True
Let x = 1928 - 971. Is x a multiple of 29?
True
Suppose 4*t - 5*n = 4943, -39*t = -43*t - 3*n + 4983. Does 9 divide t?
True
Suppose -2*w + b + 820 = 0, -3*w + 1240 = 9*b - 13*b. Is 26 a factor of w?
False
Let o(n) = -2*n**2 - 13*n - 31. Let p be o(-7). Is -9*(-3)/9 - p a multiple of 7?
False
Let p(k) = -k**2 + 68*k + 206. Is 44 a factor of p(52)?
False
Suppose o = -3*f - 21, -2*o - 3*f - 22 = -7*f. Let i(v) = v**2 - v + 3. Let w be i(-5). Let t = o + w. Is 3 a factor of t?
True
Suppose b = 2*b + 3*t - 10, 26 = 4*b + 5*t. Suppose 4*r + 59 = -4*i + 227, -r - 168 = -b*i. Suppose -3*n + i = -30. Is n a multiple of 13?
False
Let p = -494 - -849. Is 7 a factor of p?
False
Let g(j) = -49*j - 17. Let a(d) = -12*d - 4. Let m(z) = -9*a(z) + 2*g(z). Is m(2) a multiple of 3?
False
Let m be 8/(-4) + 41 - 1. Let f = -17 + m. Is 21 a factor of f?
True
Let h be (-4 - -5) + 0 + -1. Let r(p) = -p**3 - 2*p**2 + p + 110. Does 10 divide r(h)?
True
Suppose 0 = 3*b + 15, 4*z = -b - 189 + 1088. Is z a multiple of 15?
False
Suppose -198 = 2*z - 3*z. Is 11 a factor of (z/(-4))/(1/(-2))?
True
Suppose 5*g + 3*n = 5*n + 23, -4*g = 3*n. Suppose a = g*a + 20. Let h = a - -31. Does 7 divide h?
True
Suppose f - 308 = -26. Does 9 divide f?
False
Suppose -58 = -6*w + 500. Does 11 divide w?
False
Let n be -2 + (36 - (-2 + 2)). Let a = n - 10. Is 3 a factor of (-21)/(-4)*a/9?
False
Suppose 0 = -4*o + m - 5, -m = -o + 2*m - 15. Suppose 2*l + 180 = 2*y, o*y = y + 5*l - 72. Is y a multiple of 10?
False
Let n be (-14)/(-21) + (-8)/(-6). Suppose -5*g - 5*u - 56 = -11, -3*u = n*g + 14. Is 5 a factor of (3 - g) + (-3)/(-1)?
False
Let y = -15 - -6. Let p = -69 + 66. Is 6 a factor of 63/p*3/y?
False
Let w = 346 + -118. Suppose -10*s = -14*s + w. Is 11 a factor of s?
False
Let w(o) = -25*o**2 - 210*o + 2. Is 20 a factor of w(-6)?
False
Suppose -20*g + 1936 = 4*t - 24*g, -4*t - 5*g = -1909. Is t a multiple of 13?
True
Suppose -q + 502 = 12*x - 13*x, 3*x = -4*q + 2022. Does 3 divide q?
True
Let f(h) = h**2 + 3*h - 2. Let k be f(-6). Let o(l) = -4*l**2 - 26*l + 29. Let t(g) = g**2 + 2*g - 1. Let c(d) = o(d) + 5*t(d). Does 22 divide c(k)?
False
Let b(a) = a**3 + 9*a**2 + 9*a + 5. Let k(p) = -p**2 + 8*p - 6. Let q be k(8). Let y be b(q). Let o = y - 20. Does 13 divide o?
True
Suppose 2*y + 2*y + 125 = -3*n, 0 = -3*y - 15. Does 7 divide 0/2*1 - n?
True
Let k be -1*(6/(-4))/((-1)/(-2)). Does 3 divide 6 + (-1 + k)*3/3?
False
Let f be 11/2*(-32)/(-88). Let y(h) = h**2 + 7*h + 2. Let j be y(-7). Suppose -j*w = 4*q - 29 - 73, f*w - 56 = -2*q. Is q a multiple of 11?
False
Suppose 2*j + 306 = k - 595, 0 = -2*k + 10. Let o = -264 - j. Is 23 a factor of o?
True
Let i(p) = -156*p**3 + 6*p - 26. Let r(c) = -31*c**3 + c - 5. Let a(u) = -3*i(u) + 16*r(u). Is 14 a factor of a(-1)?
True
Let c(n) = 9*n**2 - 3*n + 6. Let q be c(3). Suppose 7*d - 8*d + q = 0. Is 13 a factor of d?
True
Suppose -2*a - 5*n - 290 = -7*a, 122 = 2*a - 5*n. Is a a multiple of 28?
T