 -852. Is 14 a factor of p?
False
Suppose 69 = -n + 4*f + 221, 252 = 2*n + 5*f. Is n a multiple of 6?
False
Suppose -2*b + 1233 = 5*a, 2*a + 1878 = -34*b + 37*b. Does 52 divide b?
True
Let k(o) = 120*o**2 + 32*o + 104. Is 64 a factor of k(-3)?
True
Let t be -4*(-1)/2 + 2. Suppose 0*c = 3*c + i - 12, -t*c + 4*i = 0. Suppose -4*r = -c*r - 20. Is r a multiple of 20?
True
Suppose u - 1149 = -2*g - 3*g, -g - u = -233. Suppose -4*z + 311 + g = 0. Suppose -4*b - 2*i + 101 = -3*i, -5*b + 3*i + z = 0. Does 12 divide b?
True
Let y be 7 + 5 + (-2)/1. Suppose -46 = -5*o + 3*a, 4*o = -3*a + y + 16. Is 8 a factor of o?
True
Suppose -w - 24 = -0. Let n be (1/3)/(6/576). Let z = w + n. Is 4 a factor of z?
True
Suppose -20 = -3*i - 2*i. Let v(t) = t + 7. Let z be v(-4). Suppose -z = -i*f + 33. Is f a multiple of 7?
False
Let y(l) = l**3 + 12*l**2 - 13*l + 16. Let p be y(-13). Suppose -p = -d + 5*d. Is 11 - d*(-9)/12 a multiple of 5?
False
Suppose -h - 450 = -42. Let p = -164 - h. Is 19 a factor of p?
False
Let p = 85 + -80. Suppose -4*h + 22 = -2*n - 160, 0 = -5*n - p. Is 3 a factor of h?
True
Let t = -22 + 22. Suppose 2*s = -v - t*v - 1, 4*v = 2*s + 26. Suppose 16 = -4*q, v*d - 215 = -0*d + 5*q. Is 13 a factor of d?
True
Let h = 79 - -61. Is 5 a factor of h?
True
Let d(q) = -q + 13. Let t be d(5). Let c = 23 + t. Does 11 divide c?
False
Let g(v) = 35*v + 1. Suppose 16*q + 4 = 20*q. Let i be g(q). Let z = -14 + i. Does 10 divide z?
False
Suppose 6*j - 65 = -2*z + 5*j, j + 75 = 2*z. Is 8 a factor of z?
False
Does 53 divide 0*(8 - 9) + 1990?
False
Let j = 3 + 0. Suppose -s + 20 = -j*s. Let d = -1 - s. Is d a multiple of 4?
False
Let h = 9 + -16. Let f be 0 - h/((-21)/(-6)). Suppose -f*g + 12 = -g. Is g a multiple of 4?
True
Let a = -747 - -1272. Is ((-12)/15)/((-1585)/a - -3) a multiple of 6?
True
Suppose 4*z + 2*g - 14 = 0, -g + 7 + 8 = 4*z. Suppose -k - 5*m = -53 - 1, 9 = k - z*m. Is 4 a factor of k?
False
Let n(i) = 6*i + 138. Does 12 divide n(13)?
True
Let j(v) = -v + 5. Let o be j(-8). Suppose 180 = o*f - 10*f. Is f a multiple of 20?
True
Suppose 0 = 7*a - 2*a. Suppose a*b - 3*b = -15. Suppose -o = -b, o = -4*i - 2*o + 207. Does 12 divide i?
True
Let y(g) = -g**2 - 5*g + 6. Let l be (-2 - -8)*(-12)/(-8). Suppose -4*o = -l*o - 25. Is y(o) a multiple of 3?
True
Let r = -617 - -878. Is 29 a factor of r?
True
Let j(u) = u**3 + 9*u**2 + 4*u - 2. Does 3 divide j(-4)?
False
Let u = -19 + 20. Let w(n) = 14*n - 1. Let q(k) = -1. Let c(m) = u*w(m) + 5*q(m). Is 16 a factor of c(5)?
True
Suppose -12*o + 15*o = 12. Suppose -o*a = -95 - 273. Is a a multiple of 19?
False
Let v = -12 + 8. Let b be ((-6)/(-3))/(v/24). Let y(r) = -r**2 - 14*r - 3. Is 7 a factor of y(b)?
True
Let w be (-24)/3 - (-1 - 1). Let p be ((-4)/w)/((-5)/(-120)). Suppose -4*g + 214 = -2*y, -3*g - y = -179 + p. Is 14 a factor of g?
False
Suppose 9008 = -372*p + 388*p. Is p a multiple of 14?
False
Suppose -p = -5 + 4. Let c be 681/(-9) + p/(-3). Is c/6*(-1 + -5) a multiple of 19?
True
Suppose 11 - 31 = -4*n. Suppose -n*j = -0*j - 25. Suppose 0 = -2*m - 2*m + 5*x + 161, -5*m - j*x + 190 = 0. Is 11 a factor of m?
False
Let t(s) = 4*s**2 - s + 194. Does 28 divide t(10)?
False
Suppose -1590 = 5*t + 125. Let v be (0 + 0)/(-2) + t. Is v/(-14) - (-1)/2 a multiple of 9?
False
Let t = -114 - -156. Is t a multiple of 2?
True
Suppose -21*o + 26*o - 1055 = 0. Suppose 509 = 8*v - o. Is 18 a factor of v?
True
Let q(f) = 3*f - 5. Let i be q(-2). Let o = i - -51. Is o a multiple of 8?
True
Suppose 6 + 6 = 6*o. Let f be (-1665)/(-60) + o/8. Suppose -2*c + 76 = 4*n, c - n - f = -5*n. Does 16 divide c?
True
Suppose -5*p - 3*c = 2*c - 4350, -4330 = -5*p + 5*c. Suppose 4*y + p = 5*x, 4*x - 185 - 507 = 4*y. Is 11 a factor of x?
True
Suppose -2106 = -2*g - 5*d, g + 2*d = d + 1056. Is 23 a factor of g?
True
Suppose b = 2*b, 3*b = f - 410. Suppose 88 - f = -7*j. Is 17 a factor of j?
False
Suppose 10*n = 4*n + 348. Is n a multiple of 27?
False
Suppose -4*h - 2*d = -5296, 25*d - 21*d = -16. Is 51 a factor of h?
True
Suppose -10*d + 12*d = 4, -236 = -2*o + 5*d. Is o a multiple of 5?
False
Let z be -3*(2 - 0/(6 - 2)). Is 2 a factor of (z - (-1416)/78) + (-2)/13?
True
Let v(a) = -2*a**3 + 9*a**2 - 11. Let f be v(5). Let i = 56 - f. Is i a multiple of 13?
False
Suppose 43*o = 60*o - 7956. Is o a multiple of 36?
True
Is 19110/175*5*1*2 a multiple of 26?
True
Let z(o) = o**3 - 10*o**2 - 10*o + 13. Let y(w) = -w**3 - 5*w**2 - 4*w - 2. Let m be y(-5). Let f = 29 - m. Is 6 a factor of z(f)?
True
Let n = 230 - 88. Is n/6 - (-2)/6 a multiple of 12?
True
Suppose 3*l = 278 + 181. Let y = -129 + l. Is 7 a factor of y?
False
Let u be (-32)/(-6) + (-10)/30. Let i be (-1604)/(-20) + (-1)/u. Suppose -3*k = -7*k + i. Is 20 a factor of k?
True
Let c be (-294 - (2 - -1)) + (3 - 5). Let t = -180 - c. Does 17 divide t?
True
Let o(v) = -v**2 - 12*v + 6. Let i be o(-11). Let x = i - 32. Does 8 divide (x - 0)*63/(-27)?
False
Let b = -504 - -864. Is 45 a factor of b?
True
Suppose -4*x + 2*b + 34 = 0, x - 25 = 3*b - 4. Let w be 5 - 2 - (x + -1). Is 15 + (0/(-2) - w) a multiple of 17?
True
Let a = -120 + 145. Is a a multiple of 14?
False
Let p = 15 - 7. Let h(i) = 14*i - 6 + p*i - 9*i - i**2. Does 6 divide h(12)?
True
Let o(n) = -2*n + 1. Let x(m) = -4*m + 2. Let f(g) = 11*o(g) - 6*x(g). Let a be f(1). Is (a + -2)*21/(-3) a multiple of 7?
True
Let w = 14 - 11. Suppose -3 = 3*h + w. Is 22 a factor of (-655)/(-10) + (-1)/h?
True
Let n(r) = 4*r**2 - 30*r - 82. Is n(-13) a multiple of 12?
True
Let o(y) be the first derivative of y**3/3 + y**2 + 5*y + 1. Let w be o(9). Suppose w = v + v. Does 26 divide v?
True
Suppose 919 + 158 = i - w, -4*i = -w - 4308. Is 13 a factor of i?
False
Let r(s) be the first derivative of s**3/3 - s**2/2 + 106*s + 12. Let l be r(0). Is 17 a factor of 4/(l/34 + -3)?
True
Does 10 divide (-1)/3*0 - (-3 + -187)?
True
Let s(o) = -22*o - 134. Does 9 divide s(-11)?
True
Let m(s) = -186*s - 87. Is 49 a factor of m(-6)?
True
Let o = -73 - -73. Suppose 2*d - 71 + 41 = o. Is d a multiple of 3?
True
Does 5 divide (15 - 8)/(-21)*(1 - 187)?
False
Let g(w) = -w**3 + 27*w**2 - 8*w - 12. Is 42 a factor of g(10)?
False
Suppose -3396 = -4*o + n, -3*o + 2013 = 3*n - 549. Does 10 divide o?
True
Suppose 428 = 6*u - 2*u. Let o = u + -58. Does 7 divide o?
True
Let s(q) = -24*q + 1. Let o be s(-1). Suppose 0 = 3*z + 8 + o. Let g = 28 + z. Does 17 divide g?
True
Let k(r) = 3*r**2 + r. Let l be k(-1). Suppose -2*o + l*x = -9 - 5, -3*o - 5*x + 21 = 0. Suppose o*a - 208 = 3*a. Does 13 divide a?
True
Suppose 19*g = 7*g + 3372. Suppose -u + g = -4*d, -d + 291 = 2*u - u. Is 58 a factor of u?
False
Suppose -2*v = -3*p - 12, -4*p - 24 = -5*v + v. Let u be ((-16)/(-12))/(4/v). Suppose 2*y - 46 = 5*x, -y - x = u*y - 69. Is 7 a factor of y?
False
Suppose -4*r + 26 = 66. Let x(b) = -b**3 - 9*b**2 + 6*b + 9. Is x(r) a multiple of 16?
False
Suppose 0 = m - 0*m + 5*x - 20, 0 = -2*x + 6. Suppose m*k + 475 + 455 = 0. Is (4/(-8))/(3/k) a multiple of 7?
False
Let s be (9/6)/(18/24). Suppose -f + 52 = -s*k, 5*f - 3*k - 168 = 2*f. Suppose -3*r - 2*b + f = 0, 0*r + 20 = r + 5*b. Is r a multiple of 4?
True
Let m be 4/(-10)*50/(-5). Is -6*1*(m + (-22)/3) a multiple of 10?
True
Suppose 5*s + 2*y + 186 = 9*s, s + 2*y - 34 = 0. Is 17 a factor of s?
False
Suppose 4*g = -5*n + 18175, -4*g - 10*n + 6*n + 18180 = 0. Is g a multiple of 70?
True
Let q = -7 - 0. Is q + 3 - -7 - -69 a multiple of 36?
True
Let w(b) = 19*b - 183. Is 29 a factor of w(31)?
True
Suppose 3*w - 3*q + 19 + 32 = 0, -3*q - 9 = 2*w. Does 8 divide (-98)/w + (-3)/18?
True
Suppose 0 = 5*v - 96 + 76. Suppose 2*x + v*l - 143 - 3 = 0, -3*l = -2*x + 118. Does 11 divide x?
False
Is 54 a factor of (216/(-32))/((-1)/72)?
True
Suppose 10*i + 2200 = 20*i. Is i a multiple of 11?
True
Suppose -2 = 5*s - 2*h - 2*h, -5*h = 3*s - 21. Suppose -m - c + 1 = 0, -c + 2*c = 1. Suppose m = s*a - 8, 4*a - 91 = n - 6*n. Does 4 divide n?
False
Suppose 3*o = 91 - 85. Suppose 5*c - 46 = -3*r + 101, 0 = o*r + 2*c - 94. Is 18 a factor of r?
False
Suppose -5*o = r - 25, -4*o - 2*r + 21 = -r. Let y be (376/o)/((-6)/9). Does 6 divide y/(-12) + 3/12?
True
Suppose 2*g + j - 4904 = 1072, 0 = 4*g + 3*j - 11956. Does 16 divide g?
False
Let t = 183 - -31. Su