r of u?
False
Suppose 4*w + 5*s - 192 = s, -3*w - 4*s = -142. Suppose b - k - 32 = -0*k, 2*b + 5*k - w = 0. Does 6 divide b?
True
Let b(v) = -v**3 - 12*v**2 - 5*v + 31. Let q be b(-9). Let j = -69 - q. Is 14 a factor of j?
True
Suppose -8*v + 5*v - 3*t = -7881, 2*v - 4*t = 5248. Is 12 a factor of v?
False
Let p(i) = -i**3 - 6*i**2 + 3*i - 4. Let x = -23 - -14. Let y be p(x). Suppose -4*t + y = 4*s, -5*t + 183 = 3*s - 88. Does 23 divide t?
False
Let g = 17 - 3. Suppose -9 + 25 = 4*j. Suppose -j*o = -5*o + g. Does 3 divide o?
False
Let b be 57/2 - (-3)/2. Is (-138)/b + 5 + 298/5 a multiple of 30?
True
Suppose 24*u + 597 = 7653. Does 12 divide u?
False
Let v = -10 - -19. Let a = 0 + v. Is (6/(-4))/(a/(-126)) a multiple of 14?
False
Let z = 35 + -18. Suppose 4*c + z = 2*n + 45, 2*c - 12 = 2*n. Does 5 divide c?
False
Let s = -46 + 47. Does 42 divide ((-168)/(-60))/(s/(1 - -14))?
True
Let s = 20668 - 14572. Does 16 divide s?
True
Let j = 19 - -49. Let t = j + -34. Is t a multiple of 8?
False
Suppose 3*z + 4*j - 8358 = 0, 4*z - 2*j - 6181 = 4985. Does 31 divide z?
True
Suppose 11*f - 3450 - 26 = 0. Suppose 944 = 5*k - f. Does 18 divide k?
True
Suppose 234 = -4*g + 762. Is 4 a factor of g?
True
Let s be ((-4)/6)/(3/(-2052) + 0). Suppose 2*i = -2*i + s. Does 17 divide i?
False
Let w be 4 + (-1)/(-3)*0. Suppose 2*n + 16 = w*n. Let d = n - -40. Is 16 a factor of d?
True
Suppose 0 = 6*i - 2*i - 1984. Is 16 a factor of i?
True
Let r = 1582 - 947. Is r a multiple of 37?
False
Let d(k) = 33*k + 10. Let j be d(6). Let c = -106 + j. Does 34 divide c?
True
Let c(f) = -f**3 - 8*f**2 - 5*f + 12. Let i be c(-10). Suppose 0 = 5*b + 1638 + i. Does 21 divide 2/(-9) - b/9?
True
Does 68 divide (2 - 25/10)*-1930?
False
Suppose 13*s + 40 = 15*s. Let j be (30/s)/(3/(-4)). Is (j - -3)/((-1)/(-7)) even?
False
Let m be (-6)/36 - 98/(-12). Let q(z) be the third derivative of z**4/12 + 4*z**3/3 + 2*z**2. Does 21 divide q(m)?
False
Suppose 4*q - 5*q = 2*q. Suppose q = -27*s + 25*s + 232. Is 10 a factor of s?
False
Let d be ((-16)/12)/((-2)/6). Is 2 a factor of 130/25*(0 - (-10)/d)?
False
Suppose 0*l + 4*l - 8 = 0. Suppose k - 3*k + 3*r = -157, 5*r - 149 = -l*k. Is 27 a factor of k?
False
Suppose 11 = -3*u - 2*g + 3*g, 2*u + 11 = -3*g. Let l be (-9 + 9)*(-2)/u. Suppose -96 = -6*f + 2*f - 4*i, f + 5*i - 32 = l. Does 11 divide f?
True
Is 11 a factor of (-7826)/(-52) + 2/4 - -3?
True
Let j = 2010 - 1113. Is j a multiple of 13?
True
Does 51 divide 40744/(-132)*(-9)/2?
False
Suppose -33 = 2*m + 3. Does 23 divide (m - (-5)/(-1))*-1*3?
True
Suppose 92 = 3*b - 7*b. Let i(w) = -36*w + 4. Let q be i(-1). Let p = q + b. Is 11 a factor of p?
False
Let g = -583 + 1220. Is g a multiple of 13?
True
Let a be (3/(-1))/(9/6) - -2. Let g(y) = -7*y**3 + 3*y**2 - 7*y + 68. Let b(j) = 4*j**3 - 2*j**2 + 4*j - 34. Let z(p) = 5*b(p) + 3*g(p). Does 16 divide z(a)?
False
Suppose 4*m + 1427 = 4019. Is 54 a factor of m?
True
Suppose 2*b = -3*b. Suppose 0 = 2*w - 4*c - 2 - 58, b = w + 3*c - 45. Is w a multiple of 6?
True
Is 95 a factor of -7 - (2 + (-1130)/10)?
False
Let r(s) = -23*s + 30. Is 2 a factor of r(-5)?
False
Let y = -518 - -521. Let f be (2/(-2) + -44)*-1. Is -5 + y + (f - -1) a multiple of 17?
False
Let g = -17 + 17. Suppose 5*d - 56 + 296 = g. Is 12 a factor of (-12)/d - 151/(-4)?
False
Let d(a) = a**3 + 4*a**2 - 5*a + 4. Let s be d(-5). Suppose -j + 30 = -b, -4*j - s*b = j - 132. Does 7 divide j?
True
Let d(r) be the second derivative of -r**3/3 - 7*r**2/2 + 5*r. Let q be d(-4). Suppose 0 = -y - 5*b + 86, -3*b - 8 - q = 0. Does 13 divide y?
False
Let h(a) = -7*a - 16. Suppose -5*u + 2*u - 6 = 0. Let o(p) = 2*p**3 + p**2 + 2. Let c be o(u). Is h(c) a multiple of 18?
True
Suppose -56*t + 52*t + 44 = -4*b, t + b - 7 = 0. Is t a multiple of 2?
False
Let y = 54 - 56. Is 9 a factor of (-2*4)/4*45/y?
True
Let b be (38/30)/((-7)/(-21))*5. Let q(y) = 4*y + 54. Does 26 divide q(b)?
True
Suppose -2 = -2*z + 8. Let m = -5 + z. Suppose -4*q - q + 85 = m. Is 15 a factor of q?
False
Let q = -457 + 664. Is q a multiple of 81?
False
Suppose 0 = 7*z - 20*z + 26. Suppose -q = -w + 8, 2*q = z*w - 4*w + 32. Is w even?
True
Let o = 7 - 5. Suppose 0 = -2*z - o*z + 456. Suppose q - 42 = -0*q - 5*i, 0 = -4*q - 2*i + z. Is q a multiple of 7?
False
Let c be (-6)/(-10) - (-870)/(-75). Let w be 10/55 - 174/c. Is (w + 2)*6/12 a multiple of 9?
True
Let k be ((-6)/(-9))/(2/3). Let s = k - -3. Suppose h + 39 = s*h. Is 13 a factor of h?
True
Suppose 17*x = -0*x + 2890. Is 17 a factor of x?
True
Let z(w) = 17*w + 8. Let v(u) = u. Let c be v(13). Does 23 divide z(c)?
False
Let x(t) = t**3 + 7*t**2 - 9*t - 10. Let g be x(-5). Suppose 0 = -9*o + g + 68. Does 17 divide o?
True
Suppose 9*f + 300 = 6*f. Is 8 a factor of f/(-1) - (3 - -1)?
True
Let y = 8 - 201. Let h be 271 - 3/9*3. Let l = h + y. Is l a multiple of 18?
False
Suppose m + x = 1453, -2*m = -0*m + x - 2903. Is 50 a factor of m?
True
Let u = 169 + -99. Is 4 a factor of u?
False
Suppose -7*q = -6*q - 5. Let b(x) = 2*x**2 - 3*x - 3. Does 8 divide b(q)?
True
Let j(i) be the third derivative of -i**6/120 + 7*i**5/60 + i**4/2 - 8*i**3/3 - 9*i**2. Is 4 a factor of j(8)?
True
Suppose 0 = -2*l, 8*u - 3*u + l - 15 = 0. Is 19 a factor of (-38)/u*(-10)/((-40)/(-36))?
True
Suppose 2*k - 4*y = 294, -7*k - 4*y = -6*k - 177. Is k a multiple of 32?
False
Suppose -368 = -5*n + 27. Suppose -2*t - 3*t = -15. Suppose -5*a + 2*p + n = 0, -2 = t*a + p - 56. Does 13 divide a?
False
Let q be 15/(-1)*34/(-85). Let h(d) be the third derivative of d**4/4 + 4*d**3/3 - d**2. Is h(q) a multiple of 11?
True
Let w = -1643 + 4831. Does 8 divide w?
False
Suppose -5*b - 29 = -89. Let q = b - 12. Suppose -j + 57 - 14 = q. Does 21 divide j?
False
Let q = -5 + 15. Suppose 4 - q = -2*p. Suppose 2*k - 19 = -3*n, -5*k + 61 = p*n - 0*n. Does 6 divide k?
False
Let s = -160 + 180. Is 10 a factor of s?
True
Let q(o) = o**3 + 20*o**2 - 9*o - 18. Is 6 a factor of q(-17)?
True
Let i = -88 - -245. Suppose 0*n - 5*n = 2*g - i, -3*g = 2*n - 219. Is g a multiple of 19?
False
Let m(f) = -90*f - 3. Let r be m(-2). Let l be (-45)/(-20) + (-7 - 216/(-32)). Suppose 2*i - r = n, 5*n - l = 3. Is 10 a factor of i?
False
Is (3 + -18)/5 + 562 + 3 a multiple of 8?
False
Suppose -2*o + 3*h + 41 = 0, -o + 4*h + 11 = -7. Let z be 13/52 - o/(-8). Suppose z*q - 110 = -14. Is 16 a factor of q?
True
Let j = 1 + -2. Let y = 2 - j. Suppose g = -y*g + 5*r + 96, -3*g + 5*r + 72 = 0. Is 24 a factor of g?
True
Let t = 34 - 33. Is t/5 - 1743/(-35) a multiple of 25?
True
Is 61 a factor of 53232/72 + (-1)/3?
False
Let a(n) = n**3 + 8*n**2 - 3*n. Suppose q + 2*u = -30, 0*q - 3*q - 84 = 3*u. Let s = q + 18. Is a(s) a multiple of 12?
True
Suppose 3*r = -3*p + 14505, -99*r + 95*r = 2*p - 9680. Is 96 a factor of p?
False
Let i(r) = -r**2 + 23*r - 22. Let n be i(21). Suppose -n*a - 546 = -26*a. Is 13 a factor of a?
True
Suppose -42 = 2*h - 182. Is h a multiple of 10?
True
Suppose -c + 3*c = -2*t + 126, 5*t = 2*c + 280. Suppose 8*y + t = 202. Does 3 divide y?
True
Suppose 1580 = 4*d - 4*i, -d - 2*d = 2*i - 1170. Is d a multiple of 28?
True
Let i = -107 + 219. Suppose g - 5*v - i = 0, 4*v - 299 - 113 = -3*g. Is 22 a factor of g?
True
Let s = -570 + 618. Is s a multiple of 4?
True
Let v = -6 + 4. Let m(h) = -49*h + 4. Does 17 divide m(v)?
True
Suppose 0 = -23*j + 16*j + 378. Is 9 a factor of j?
True
Suppose -10*f = -11*f + 4. Let i(m) = -4 + 16*m + f - 5. Is 13 a factor of i(2)?
False
Suppose -17*m + 7*m + 1080 = 0. Does 6 divide m?
True
Let t = 273 + -163. Is t a multiple of 11?
True
Suppose 11*y = 6*y. Suppose y = j + 6 - 3. Is j*1*141/(-9) a multiple of 9?
False
Suppose 0 = -2*a - a + 2*f + 6, 0 = 5*f. Suppose 8*d = a*m + 3*d - 45, 0 = 2*m - d - 41. Does 4 divide m?
True
Let p be -1 + 4 - (-137 - -5). Let a = -190 + p. Let t = 95 + a. Is t a multiple of 10?
True
Suppose -m + 288 = 6*w - 4*w, 3*m + 5*w = 860. Does 14 divide m?
True
Let t(k) = k**3 + 5*k**2 - 3*k - 5. Suppose -5*n + 33 = 3*d - d, 5*d + 4*n - 74 = 0. Suppose d = -5*q - 11. Is t(q) a multiple of 10?
True
Let s(h) = -h + 8. Let i be s(6). Suppose 15 = i*g + 141. Is 11 a factor of ((-8)/12)/(2/g)?
False
Let s(m) = -m**3 - 8*m**2 - 8*m - 5. Suppose 2*n = -3*p - 31, p - n - 3 = n. Let f be s(