+ 122. Is 2 a factor of v(16)?
False
Let k = -296 - -688. Does 7 divide k?
True
Suppose 5*l - 8*l + 624 = 0. Suppose -2*z + l = 3*d - 6*z, 2*d + 4*z - 112 = 0. Does 16 divide d?
True
Let n(j) = j**3 + 10*j**2 + 13*j. Let b be n(-7). Let w = -21 + b. Is w a multiple of 5?
True
Let u be ((-5)/(-2))/(1/(-2)). Let w(r) = -r + r - 6*r - r**2. Is 5 a factor of w(u)?
True
Suppose 3*d - 407 = 2*f, 4*d - 198 = -5*f + 314. Let v = d + -87. Does 46 divide v?
True
Let w(o) be the second derivative of 1/2*o**4 + 4/3*o**3 - o + 0 + 5*o**2. Is w(-4) a multiple of 13?
False
Let l = 122 + -117. Suppose 0 = -l*c + 3*g + 305, -4*c = -9*c + 5*g + 305. Is 17 a factor of c?
False
Suppose -201 - 259 = -5*o. Let q = o - 57. Is q a multiple of 35?
True
Let g = -188 + 353. Does 22 divide g?
False
Let y(d) = 2*d**2 + 8*d + 4. Let x be y(-3). Let m = 86 + x. Does 13 divide m?
False
Let v(y) = 3*y**3 + 2*y**2 + 4*y - 6. Let p be v(4). Suppose 4*r = 13*r - p. Does 5 divide r?
False
Let i(v) = v**3 - 17*v**2 - 12*v - 14. Is 5 a factor of i(18)?
False
Let m(c) = -c + 3. Let u be m(7). Let o(r) be the first derivative of 2*r**3 + 6. Is o(u) a multiple of 14?
False
Let n = 20 - -148. Suppose -f + 4*f - n = 0. Is f a multiple of 12?
False
Let c(z) be the third derivative of -z**4/12 + 10*z**3/3 + 3*z**2. Let m be c(8). Suppose 0 = -p + 4*x - 2*x + 83, -3*x = m*p - 277. Is 17 a factor of p?
False
Let s = -1793 + 2338. Is 10 a factor of s?
False
Let p(v) = -v**2 - 4*v + 5. Let y be p(-4). Suppose 0 = -y*s + 10 - 355. Let q = s - -97. Is 13 a factor of q?
False
Let l = -568 + 774. Suppose 4*f - 240 = 2*i, 3*i + 2*f - f = -395. Let r = l + i. Does 13 divide r?
False
Let i(r) = -r**3 + 32*r**2 - 80*r - 53. Is 6 a factor of i(29)?
True
Suppose 20 + 232 = 4*h. Suppose -6*l + 9*l = h. Does 17 divide l?
False
Let v(y) be the second derivative of -11*y**3/6 + 3*y**2/2 - 38*y. Suppose -4*u - 19 + 7 = 0. Does 10 divide v(u)?
False
Let d be (-1)/(2 - 26/14). Is 29 a factor of (-32)/56 + (-1992)/d?
False
Let s = -88 + 102. Is 10 a factor of (s/4)/(4/80)?
True
Let w(i) = -i - 9. Let k be w(-9). Suppose -3*y + k*y + 414 = 0. Suppose -y = -3*x + 129. Is x a multiple of 13?
False
Suppose 0 = -2*h - 10, -3*h = -2*p - 4*h - 1. Suppose p*b - 16 - 60 = 0. Let r = b - -22. Is r a multiple of 20?
True
Let v = -1453 + 2621. Is v a multiple of 16?
True
Suppose -5*a = -5*v - 2097 - 2178, -4*a = 3*v - 3455. Is 20 a factor of a?
True
Let h be 3/(-1) + 224/4. Suppose -4*o = -5*p + 625, -5*o = -p + h + 93. Suppose -3*i + p = -71. Is i a multiple of 30?
False
Let k be 2/(-8) + 100/16. Suppose 0 = -7*f + k*f + 49. Is 7 a factor of f?
True
Let l(y) = -y - 7. Let q be l(-7). Let b = q + 9. Suppose 4*c = b*c - 140. Does 15 divide c?
False
Let x be 31 - 2 - (4 - 0). Let m = 30 - x. Is m a multiple of 5?
True
Suppose -5*g + 67 = 2. Let w be 2/g - 8/52. Suppose -32 = -w*m - 2*m. Does 9 divide m?
False
Let n be (-8)/((-1)/3 + 1). Suppose -6*s + 24 = -48. Does 15 divide (-3)/s - 315/n?
False
Let c(f) = 25*f - 1. Suppose 0 = -4*s + 6*s - 2. Is c(s) a multiple of 5?
False
Suppose 3*x = v + 506, -5*x + 846 = -9*v + 6*v. Does 4 divide x?
True
Let r be (-4)/(-14) + (-4672)/(-112). Suppose 1 = d - 1. Let v = r + d. Is 11 a factor of v?
True
Suppose 147*r - 120*r = 71685. Does 45 divide r?
True
Let h(j) = j**3 + 13*j**2 + 24*j - 1. Does 33 divide h(-10)?
False
Let w be (1 - -1)/((-4)/(-10)). Let x be (-40)/(-25)*w*-1. Let y = x - -46. Is 19 a factor of y?
True
Suppose 5322 + 5913 = 15*x. Does 7 divide x?
True
Let c be 6/(2*(-1)/2). Let y be c/4 - (-483)/2. Suppose -2*u - a = 3*u - y, 3*a - 48 = -u. Is 19 a factor of u?
False
Let t(u) = u - 5. Let d be t(3). Let v = d - -42. Is 21/(2 + (-68)/v) a multiple of 28?
False
Suppose 2*y + 41680 = 7*y + 5*g, 0 = -3*y - 5*g + 25006. Is 34 a factor of (-6)/(-10) - y/(-105)?
False
Let r(q) = -6*q + 26. Let o be r(5). Is (o/6 - (-344)/12) + 4 a multiple of 9?
False
Suppose 3*a - 12 = 0, -16 = -o - 4*a - 1. Does 12 divide 7/(35/200) - o?
False
Let t(h) = h**2 - 7*h + 8. Let a(s) = 2*s**2 - 8*s + 8. Let q(f) = -f**2 - 5*f + 2. Let i be q(-5). Let x(v) = i*a(v) - 3*t(v). Is x(-7) even?
True
Let k = -61 - -149. Let a = 219 - k. Is 31 a factor of a?
False
Is 17 a factor of ((-16)/8 + -3)*-153?
True
Suppose 13*p = 6*p + 4200. Is 24 a factor of p?
True
Let f be 17/(2 + 1/(-1)). Suppose 0 = -f*x + 20*x. Suppose 4*h - u = 84, 4*h - 6*h + 2*u + 48 = x. Is h a multiple of 20?
True
Let p = -8 + 7. Is (-6)/p + 56/14 a multiple of 5?
True
Suppose 1189 = 6*m - 1385. Is 39 a factor of m?
True
Suppose 0 = -3*d - d + 60. Let j = 3 - 0. Suppose -d - 37 = -4*v - 4*x, v + j*x = 11. Is v a multiple of 14?
True
Let k(r) = 7*r**2 - 13*r + 2. Let f(d) = 4*d**2 - 7*d + 1. Let m(x) = 11*f(x) - 6*k(x). Let q be m(1). Suppose z = q + 9. Is 3 a factor of z?
False
Let s(q) = 2*q**2 + 6*q + 3. Let m(d) = 2*d - 10. Let c be m(6). Suppose -3*l = 12, -c*o + 7*o - l + 21 = 0. Is s(o) a multiple of 16?
False
Let n be (-2)/((-408)/(-206) - 2). Let p = n + 30. Let u = p + -84. Does 14 divide u?
False
Is 12 - 39660/(-48) - 3/(-4) a multiple of 11?
False
Is 9 a factor of (-6144)/(-8) - (-16)/(-8)*-3?
True
Suppose 5*m - 142 = 48. Suppose 5*z - m = 2. Suppose 0 = 4*j - z*j + 64. Does 16 divide j?
True
Suppose 4*f + 3*q = 195, 6*f + 4*q = 2*f + 192. Suppose f = 6*o - 9. Does 5 divide o?
True
Let u(t) = -t**3 + 11*t**2 - 7*t + 6. Let s be (-13)/(-4) + (-18)/(-24). Does 11 divide u(s)?
False
Let n = 8 + 12. Suppose 2*w + n = 6*w. Suppose 2*u = -w*s + 263, 0*s - 267 = -5*s - 3*u. Is s a multiple of 17?
True
Let z(n) = -n**3 + 33*n**2 - 64*n - 44. Is z(30) a multiple of 71?
False
Let k(n) = -n + 24. Let u be k(9). Let q = -34 + u. Let f = -4 - q. Is f a multiple of 3?
True
Suppose -2*v + 134 = 2*d, -4*v - 362 = -10*d + 5*d. Does 5 divide d?
True
Suppose f = 4*d - 4*f, 0 = 2*d - f. Let k = -17 - -22. Suppose d = 4*y - 4*w - 128, 0*w + 36 = y - k*w. Is 31 a factor of y?
True
Let g be 6/4*(-1 + 26/6). Suppose 222 = 3*q - 4*z - 5, 370 = 5*q - g*z. Is q a multiple of 16?
False
Let l(c) = 17*c + 209*c**3 + 3 - 7*c - 14*c + c**2. Is 45 a factor of l(1)?
False
Let b = 384 + 330. Is b a multiple of 5?
False
Let g(a) be the third derivative of 7*a**4/12 - a**3/2 - 12*a**2. Is g(5) a multiple of 22?
False
Let w(i) = i**2 - 28*i + 17. Is 27 a factor of w(51)?
False
Let n = -13 + 15. Let s be (n + -1)/(2/10). Suppose s*p - 312 = -2*k, 5*p - 3*k - 2*k = 340. Does 17 divide p?
False
Suppose 2*n + 918 = 4*v, 2*n + 0*n = -v + 237. Is v a multiple of 33?
True
Suppose 3*f - 7*f + 1192 = -3*u, -606 = -2*f + 4*u. Is 42 a factor of f?
False
Let m(q) = 3*q**3. Let z be m(1). Let u = 172 - 120. Is 26 a factor of u + z - (-2 - -5)?
True
Suppose 0 = 18*g - 16*g - 462. Is g a multiple of 11?
True
Does 23 divide (-1598)/188*414/(-1)?
True
Let m(j) = 25*j**2 - 43*j + 14. Is m(6) a multiple of 25?
False
Let v = 1253 - 549. Does 44 divide v?
True
Let s = -1 - 93. Let l = s + 142. Is l a multiple of 16?
True
Let x(u) = 9*u + 31. Let k = -20 - -26. Is x(k) a multiple of 16?
False
Let w(v) = -v**2 + v - 6. Let u be w(-7). Let a = u - -129. Does 19 divide a?
False
Let f be ((-42)/8)/(3/12). Let b = f + 73. Is b a multiple of 26?
True
Let d(m) be the second derivative of m**5/5 - 5*m**4/12 + m**3/2 + 6*m. Let i be 18/4 - (-27)/(-18). Is d(i) a multiple of 18?
True
Let q = 19 - 66. Let p = q + 172. Does 26 divide p?
False
Suppose -3*x - 4976 = -11*p, 2*p - 463 = -3*x + 424. Is 3 a factor of p?
False
Let k(v) = 284*v - 16. Is k(3) a multiple of 16?
False
Let o = 31 - 32. Is 26 a factor of o/(((-4)/(-728))/(-1))?
True
Suppose -q + 24 = q. Let g = 259 + -265. Does 5 divide q/(-10)*45/g?
False
Let g be 58/5 - 8/(-20). Suppose -g = -3*w + 3*v, -w = -4*w + 4*v + 11. Suppose 0 = w*d - 38 - 57. Does 5 divide d?
False
Suppose -68 = 5*s - 28. Let f(h) = -8*h + 46. Let q be f(8). Let r = s - q. Does 2 divide r?
True
Let p(k) = k**2 + 6*k - 3. Let g be p(-5). Let i = 49 - g. Let j = i + -32. Is j a multiple of 12?
False
Let u(h) = -4*h - 7. Let n be u(-3). Suppose -w + 4 = o, -n*w + 13 + 7 = 3*o. Suppose 2*q = -f + 34, 2*q - 7*q + 145 = w*f. Is f a multiple of 20?
True
Let g(n) = -n**2 + 3*n + 94. Is g(0) a multiple of 7?
False
Let c(o) = 6*o**2 - 50*o - 8. Does 14 divide c(13)