 Let n be z(-12). Let s be 45/(-20)*(-32)/n. Is 2 a factor of (-2)/s - 34/(-12)?
False
Let k be 6/(3 + -5) - -4. Is 7 a factor of (6/(-12))/(k/(-56))?
True
Let g(c) = 4*c + 20. Let o be g(-4). Is ((-28)/o)/(1*2/(-10)) a multiple of 35?
True
Let i(h) = -15*h**3 + 15*h**2 + 12*h - 25. Let j(y) = -5*y**3 + 5*y**2 + 4*y - 8. Let d(f) = 2*i(f) - 7*j(f). Does 7 divide d(3)?
True
Let k(o) = -2*o**2 - 14*o + 8. Let g be k(-12). Let b = g + 274. Does 35 divide b?
False
Suppose -2*l = l. Suppose l = -0*r - 4*r + 12. Suppose 0*t + r = t. Is t a multiple of 2?
False
Let z be 96/10 - (-3)/(-5). Suppose 2*t + 5*i = z, 2*t - t + 2*i = 4. Suppose -t*u + 54 = -0*u. Does 8 divide u?
False
Let t(j) = -2*j**2 - j. Let s = -15 - -14. Let h be t(s). Let u = h - -5. Is u a multiple of 3?
False
Is (-5)/(-45)*6 - 430/(-3) a multiple of 16?
True
Let s(q) = -q - 2. Let w be s(-1). Let l(m) = 29*m + 1. Let u be l(w). Is (3 - u/(-8))*-30 a multiple of 5?
True
Let b = 50 - 43. Suppose -b*s = -3*s - 64. Does 8 divide s?
True
Does 5 divide (-2 + 42)*6/15?
False
Suppose -x + 744 + 1841 = 5*z, 4*z = -5*x + 2089. Suppose 2*j + 4*g - 264 = 0, 4*j = 3*g + g + z. Is 26 a factor of j?
True
Suppose 5*p - 19 + 4 = 0. Suppose -2*b - 3 = m - 90, -p*m + 179 = 4*b. Is b a multiple of 8?
False
Let i = -696 + 2264. Is 16 a factor of i?
True
Let h(j) = -4*j + 7*j + 27*j. Suppose -13*g + 6*g = -14. Does 30 divide h(g)?
True
Is 8 + 273/(-35) + 1339/5 a multiple of 7?
False
Let a = -8 + 14. Suppose a*s = 8 + 4. Suppose 0*p = 5*p - s*y - 320, 86 = p + 4*y. Is 10 a factor of p?
False
Does 25 divide (-16157)/(-5) - ((-60)/(-25))/(-4)?
False
Suppose -3*z + 143 = -4*g, -2*z + 7*z - 2*g - 257 = 0. Suppose 0 = 2*d + 2*d. Suppose 5*t - 22 - z = d. Is t even?
False
Suppose -7*v = -1839 + 327. Is 7 a factor of v?
False
Suppose -4*m - 8 = 0, 0 = -2*r - 2*m + 159 + 71. Suppose 0 = -8*w + 212 - 212. Suppose w = -4*g + g + r. Is 21 a factor of g?
False
Let k = 1773 - 1248. Is 25 a factor of k?
True
Suppose 5*l = -2*f + 3615, 0 = -19*l + 17*l + f + 1455. Does 25 divide l?
True
Suppose -378 = 8*q - 29*q. Is q a multiple of 2?
True
Let t(p) = -6 - 1 + 0 + 1 + 5*p. Let i be t(-6). Is 4/(i/(-3))*93 a multiple of 9?
False
Let z = 111 - -223. Is 43 a factor of z?
False
Is 0*8/48 + 1364 a multiple of 51?
False
Let y(t) = 188*t + 7. Let z(l) = 125*l + 5. Let u(p) = -5*y(p) + 7*z(p). Is 37 a factor of u(-2)?
False
Let j = 797 + -43. Does 13 divide j?
True
Suppose -2*n + 5432 = z, 0 = -11*n + 6*n + z + 13594. Is 11 a factor of n?
False
Suppose a + x = 205 + 34, -5*x + 5 = 0. Is 7 a factor of a?
True
Let m be 1659/(-15) + (-2)/5. Let v = 261 + m. Is 31 a factor of v?
False
Let s be (240/(-56))/(9/(-42)). Suppose 2*c - 24 = 4*c + 4*w, -2*c - 22 = 3*w. Does 15 divide -85*1/(s/c)?
False
Let g be 2/4 - -1*(-435)/(-10). Let n = g - 42. Is 2 a factor of n?
True
Suppose 21*j - 2166 = 6570. Does 4 divide j?
True
Let x(p) be the second derivative of -7*p**3/2 - 2*p**2 + p. Is x(-1) a multiple of 3?
False
Let d(k) = -k**3 - 19*k**2 + 26*k + 15. Is 13 a factor of d(-21)?
True
Let h = 1661 - 413. Is h a multiple of 24?
True
Suppose 1201 = 3*r - 224. Is r a multiple of 16?
False
Suppose -4 = -4*z + 3*u + 21, -5*z + 26 = -2*u. Let g(y) be the first derivative of 5*y**2/2 - 2*y + 4. Does 6 divide g(z)?
True
Suppose 3*n + 0*n = 0. Suppose n = -5*a + 4*z + 463, -6*a + 4*a + z + 187 = 0. Is 16 a factor of a?
False
Suppose 0 = 44*h - 7*h - 17094. Is 74 a factor of h?
False
Let o(i) = 132*i + 36. Is o(3) a multiple of 72?
True
Is (-84)/(-336) + 4126/8 a multiple of 12?
True
Let d(j) = -j**3 + 4*j**2 + 6*j - 12. Let m be d(5). Is 17 a factor of (34*-1)/(m - (-7 + 2))?
True
Suppose -14*i = -9*i - 30. Suppose -i*d = -d - 3*l - 872, -3*l = 12. Is d a multiple of 43?
True
Suppose 35*x - 42 = 32*x. Let c be ((-2)/(-1))/((-2)/(-6)). Let s = x - c. Is 3 a factor of s?
False
Let w(n) = n**3 + 2*n**2 - 3*n - 3. Let t be w(-2). Let i(c) = t + 2 - 4*c - 7*c + 12*c. Is 10 a factor of i(16)?
False
Is 5 a factor of 9/3 + -4*(-14)/8?
True
Let b(j) = -28*j. Let s be b(1). Let t = -23 - s. Suppose -t*m + 55 = 15. Is 8 a factor of m?
True
Let m(z) = z**2 - 2*z - 12. Let a(b) = b**2 - b - 8. Let n(p) = 7*a(p) - 5*m(p). Is n(-6) a multiple of 29?
True
Let l(f) = -f**3 + 5*f**2 - 2. Let z be l(2). Let h(j) = -j**3 + 11*j**2 + 4*j - 14. Does 18 divide h(z)?
True
Suppose -240517 = 81*p - 642439. Is 12 a factor of p?
False
Let l(r) = 649*r**2 + 5*r - 2. Is l(2) a multiple of 31?
True
Let x be (-1)/2 - (-19)/(-2). Let v be (-20)/(-50) + (-46)/x. Suppose 0 = a - 3, -2*k + v*a + 129 = k. Is k a multiple of 14?
False
Let t = -486 + 929. Is t a multiple of 21?
False
Let w = 41 + -36. Suppose 2*q + 0*q - 5 = -5*j, 2 = 2*j. Suppose q = 3*g - w*g + 66. Does 12 divide g?
False
Is 597 - (36/(-6) - -13) a multiple of 18?
False
Let g = 536 + 23. Is 43 a factor of g?
True
Suppose 6*i - 2*i + 5*g = 517, 0 = g - 5. Let u = i + 25. Does 20 divide u?
False
Let z = -502 + 493. Let l(p) = -p**2 + 10*p + 13. Let m(a) = 2*a**2 - 11*a - 14. Let t(x) = 3*l(x) + 2*m(x). Does 20 divide t(z)?
True
Let r be 9/(-2) + 6/(-4). Let z(h) = -2*h**3 - 9*h**2 - 6. Is 34 a factor of z(r)?
True
Suppose 3*b - m + 12 = 5*b, -2*b = 3*m - 20. Suppose b*v = -5*q + q + 824, -3*v = 4*q - 615. Does 2 divide v/33 + 2/3?
False
Suppose -478 = -5*w + 2*m, 61 + 34 = w - m. Does 16 divide w?
True
Suppose 3*s + 8 = 7*s. Let u(m) = 2*m**2 - 6*m + m**3 + 0 + 7 - 5*m**s. Is u(5) a multiple of 27?
True
Let n(f) = 20*f**2 + 151*f + 2. Is 2 a factor of n(-8)?
True
Let w = -51 + 51. Suppose w = 2*p - 136 + 10. Is p a multiple of 21?
True
Let u(q) = 8*q + 2. Let k be u(1). Let i be (132/10)/(k/25). Let w = i + 39. Is 17 a factor of w?
False
Is (-1 - -3)*1502/(-8)*-2 a multiple of 100?
False
Suppose 0*u + 3*u = 2*p - 1944, p - 972 = 3*u. Is 81 a factor of p?
True
Let o(p) = 39*p**2 + 34*p + 9. Does 97 divide o(-2)?
True
Is (-3994)/(-30) + (-4 - 116/(-30)) a multiple of 20?
False
Suppose -80*h = -84*h + 1192. Is h a multiple of 3?
False
Let p(u) = u**2 + 10*u - 12. Let j be p(-12). Let b = j - 12. Suppose b = -2*c + 35 + 3. Is c a multiple of 9?
False
Suppose 5*r + 2 = 2*m - 0*m, r = -2*m + 2. Does 19 divide 1/(-1) + m/(1/39)?
True
Suppose 0 = -2*c + 7*c + 75. Let v(b) = -b**3 - 15*b**2 - 3*b - 5. Is v(c) a multiple of 14?
False
Let c(j) = -j**3 - 3*j**2 - j + 2. Let g be c(-3). Suppose g*f = 2*f + 60. Does 13 divide f?
False
Let n(k) = 8*k + 19. Let r be n(-18). Let d = 364 + r. Suppose -d - 145 = -8*w. Is w a multiple of 24?
True
Suppose -4*m + 9*m - 580 = 0. Let b = m - -142. Suppose -10*d + b = -8*d. Is d a multiple of 35?
False
Suppose -4*r + 6*r = -3*h - 9, -5*r - 5*h - 15 = 0. Suppose 5*q - 663 = -r*n - 3*n, -4*q - 2*n + 532 = 0. Is 12 a factor of q?
False
Let n(w) = w**3 - 6*w**2 + 9*w - 12. Let d be n(6). Suppose z = d + 48. Suppose -4*c + 54 = -z. Is c a multiple of 14?
False
Suppose 2*i - 3 = -3*u + 1, 0 = 3*i - 6. Suppose -4*k + 0*d - 5*d = 7, u = 4*k + d - 5. Suppose 16 = k*m - 30. Is m a multiple of 13?
False
Let o(k) = -3*k**2 + 61*k + 38. Let s(l) = l**2 - 30*l - 19. Let w(c) = 2*o(c) + 5*s(c). Let z be w(-13). Let a = z + -93. Is 23 a factor of a?
False
Let h = 65 + -64. Suppose 2*q - 35 = h. Is 5 a factor of q?
False
Suppose -4*b + 4095 = 3*b. Is 9 a factor of b?
True
Let m = 67 + -69. Is 14 a factor of m*1/(-11) + (-3228)/(-33)?
True
Let v(k) = k - 7. Let i be v(9). Let q be (2 - (2 - i)) + 3. Suppose -4*t - 24 = -q*p - 189, 3*p + 50 = t. Is 20 a factor of t?
False
Suppose 0 = -q + 5*f + 8, -q + 2*f + 0*f + 8 = 0. Let y(k) = 16*k - 8. Is y(q) a multiple of 33?
False
Let t(b) = b - 1. Let i be t(-4). Let x(u) = u**2 + 5*u + 6. Let k be x(i). Is 22 a factor of 128/k + (-2)/(-3)?
True
Suppose 106 = 3*b - 2*t, 4*b + t - 118 = b. Let l = b - -27. Is l a multiple of 13?
True
Suppose 0 = 33*c - 19*c - 1288. Does 12 divide c?
False
Suppose -2*n - 3*n + 545 = 0. Let a = 63 - n. Let b = -20 - a. Does 10 divide b?
False
Suppose -w - 1 = -6. Suppose w*r - 162 = 63. Is r a multiple of 12?
False
Let z be (76/10)/(11/110). Let o = 180 - z. Suppose 3*w - 88 = 4*j, -5*j = 5*w - j - o. Is w a multiple of 8?
True
Suppose 33*l - 30*l - 7704 = 0. Is l a multiple of 19?
False
Let i = 13 + -9. Is 18 a factor of (-438)/(-3)