ue
Let m(t) = t**2 + 14. Does 3 divide m(7)?
True
Suppose -v - w = -5*v + 102, 5*v = w + 127. Does 5 divide v?
True
Let q = -58 + -5. Let j = q + 101. Is 12 a factor of j?
False
Let b = -4 + 11. Let z(p) be the first derivative of 2*p**3/3 - 11*p**2/2 + 9*p - 1. Does 15 divide z(b)?
True
Let q be 2 + (-13)/(2 - 3). Let n = 23 - q. Is n a multiple of 8?
True
Let n(x) = -12*x + 4. Is 9 a factor of n(-2)?
False
Suppose 0*x + 2 = -2*x. Let a(r) = 16*r. Let b be a(x). Is ((-2)/4)/(1/b) a multiple of 8?
True
Suppose -6*a + 313 + 83 = 0. Is a a multiple of 26?
False
Suppose -2*s - 4*k = -0*s - 72, 2*s - 73 = -3*k. Suppose -14*g = -16*g + s. Does 9 divide g?
False
Suppose 0 = -3*y + 74 + 40. Does 13 divide y?
False
Let f be (-1 + 8/5)*5. Let a(h) = 4*h**f - 3 - 7*h**2 - 5*h**3 - 1 - 9*h. Does 7 divide a(-6)?
True
Let u(l) = l**2 - 9*l + 10. Let v be u(12). Suppose y = -3*b + 30, 4*y - y = -5*b + v. Is 11 a factor of b?
True
Let u(x) = 2*x - 6. Let p = -8 - -9. Let c(d) = 12*d**2 - d. Let l be c(p). Does 12 divide u(l)?
False
Does 8 divide 1/1*102/(1 - -1)?
False
Suppose -43 = -2*t + 4*r + 5, -2*t = 5*r - 84. Is 4 a factor of t?
True
Does 3 divide (-2)/(((-8)/15)/4)?
True
Is (369/36)/((-1)/(-4)) a multiple of 39?
False
Suppose 0 = 6*f - 2*f. Let j = f - -9. Does 9 divide j?
True
Suppose 4*g = -5*p + 87, -2*p + 4*p - 3*g - 21 = 0. Is 9 a factor of -2*3/(-5)*p?
True
Let a(i) = -i**3 - 4*i**2. Let y be a(-4). Suppose y*w = 5*w - 395. Is w a multiple of 11?
False
Let a(n) = -15*n**2 - 7*n + 9. Let k(f) = 29*f**2 + 13*f - 17. Let m(o) = 11*a(o) + 6*k(o). Does 25 divide m(-3)?
True
Suppose -44 = -3*z - z. Suppose -c = -4*q - 0*q + z, -2*c + 3*q - 7 = 0. Suppose -3*i + 29 = 3*m - c, -35 = -4*m - 3*i. Is 5 a factor of m?
True
Let z(g) be the second derivative of g**5/20 - g**4/12 + 2*g**3/3 - 3*g**2/2 - g. Let w be z(2). Suppose -2*f - w + 37 = 0. Is f a multiple of 14?
True
Let l(u) = 8*u + 42. Is l(10) a multiple of 8?
False
Is 24 a factor of 26 - (-2 + 3)/(6/12)?
True
Let g(n) = 3 + 5*n + 5*n**3 - 6*n**3 + 1. Let j be g(-3). Is j/6*6/4 a multiple of 4?
True
Let d be (8/(-16))/(2/(-68)). Suppose d = 2*h - 13. Suppose -j + 1 = -h. Is 8 a factor of j?
True
Let l = 415 + -283. Is 22 a factor of l?
True
Let d = 0 + 1. Let i be (-1)/d + 0 + 3. Suppose -7*q + i*q = -60. Does 12 divide q?
True
Suppose 4*s = 2*s, 4*f - 88 = -3*s. Is 22 a factor of f?
True
Let y = -7 + 9. Suppose y*p + 2*p - 371 = -3*z, p = 2*z + 90. Suppose 0*q = -4*q + p. Does 6 divide q?
False
Suppose -4 = 4*z - 44. Suppose -2*c = -4*l - 6, 5*l + 3*c + z = 6*c. Let m = 2 + l. Is 3 a factor of m?
True
Let m(g) = 77*g**2 + 1. Let s be m(-1). Is 11 a factor of (2/3)/(4/s)?
False
Let o(i) = -3*i + 1. Let r be o(5). Let b = r + 17. Is b a multiple of 3?
True
Suppose -5*l + 0*f + 3*f + 426 = 0, 339 = 4*l - 3*f. Suppose -19 + l = h - 2*k, 5*k + 134 = 2*h. Does 21 divide h?
False
Let m = -287 - -441. Does 10 divide m?
False
Let x = -94 + 157. Is 14 a factor of x?
False
Suppose 6*f - f = -200. Let r = -22 - f. Is 1/((-3)/r*-3) even?
True
Let r = 0 - 2. Let h(g) = 9*g**2 + 4*g + 3. Let l be h(r). Let n = 45 - l. Is 11 a factor of n?
False
Let d(r) = -r**2 - 9*r + 15. Is d(-10) a multiple of 5?
True
Suppose 0 = p + t - 4 + 5, 0 = -3*p - 2*t. Suppose -5*k + 10 = 0, -1 = p*o - o - 2*k. Suppose -2*n + g + 21 = 0, -8 = 5*n - o*g - 59. Is n a multiple of 6?
True
Let h(a) be the first derivative of -a**3/3 + 4*a**2 + 4*a + 1. Is h(6) a multiple of 8?
True
Suppose -3*v + 8*v + 3*w - 159 = 0, -3*w + 9 = 0. Is 15 a factor of v?
True
Suppose -40 = 3*q - 160. Does 8 divide q?
True
Suppose -3*y - 14 = -2*u, -9 - 7 = -u - 3*y. Is 10 a factor of u?
True
Let n(r) = -21*r**2 - 3*r + 3. Let z be n(2). Let a be 2/10 - z/15. Suppose 2*c + a - 78 = 0. Is 12 a factor of c?
True
Let g(i) = 33*i - 5. Does 16 divide g(5)?
True
Is 7 a factor of 101 + (1 + -6 - -2)?
True
Suppose 0 = 5*n - 171 - 179. Is n a multiple of 14?
True
Let y(u) = u**3 + 8*u**2 + 6*u - 4. Let n be y(-7). Suppose 0*b + 2*r = n*b - 42, -5*b + 5*r = -75. Does 6 divide b?
True
Suppose 5*v - 24 = 1. Suppose 84 = -3*z + v*z. Does 17 divide z?
False
Suppose 2*j - 169 = s, -2*s - 3*s = -4*j + 353. Is 31 a factor of j?
False
Let t = 77 + -50. Let d = t - 5. Is d a multiple of 7?
False
Suppose -3*q - 3 = 0, 0 = 3*g + 5*q - 0 - 1. Let l be 3/(-3)*g - -14. Let o = 17 - l. Is o a multiple of 4?
False
Suppose 0*t - 4 = -2*t. Suppose -2*l - t*l + 160 = 0. Is 20 a factor of l?
True
Suppose 3*a - 63 = 18. Suppose -2*q + q = -a. Does 9 divide q?
True
Let t(m) = 9*m**3 + 2*m**2 - 7*m + 4. Is 15 a factor of t(3)?
False
Let s = 864 + -617. Is s a multiple of 13?
True
Suppose -b = -3*b - 776. Is 9 a factor of (-2)/(-11) + b/(-44)?
True
Let y = -11 + 4. Let l(f) be the third derivative of f**6/120 + f**5/10 - 3*f**4/8 + f**3/3 - f**2. Does 11 divide l(y)?
False
Let d be (64/(-10))/((-4)/10). Suppose -2*h + 6*h = d. Is h a multiple of 4?
True
Suppose -5*f = -2*b + b - 36, 3*f - b - 20 = 0. Let x = 11 - f. Suppose 0 = 2*u + x*p - 22 - 10, 5*u - 99 = 2*p. Does 11 divide u?
False
Let a = -21 - -19. Is 168/44 + a/(-11) a multiple of 4?
True
Suppose u + 0*u - 188 = 0. Let j = u - 123. Is 13 a factor of j?
True
Suppose -g - 5*t - 22 = -0, -3*t = g + 22. Let r = 115 + g. Does 33 divide r?
False
Let v = 152 - 106. Let d = v + -11. Is 21 a factor of d?
False
Suppose 21*v - 18*v = 132. Is v a multiple of 11?
True
Let z(o) = -o**3 + 5*o**2 + 4*o + 5. Let q be 101/9 - 6/27. Suppose -2*b = -q + 1. Is z(b) a multiple of 9?
False
Let u(c) = c**3 + c**2 - 4*c + 3. Let s be u(2). Let l(x) = -8 - 1 - x**2 - s*x + 3. Does 4 divide l(-5)?
True
Suppose -6 + 40 = 3*y - 4*z, 0 = 3*y + 4*z - 2. Is y a multiple of 6?
True
Let x be 908/3*(-9)/(-6). Suppose 8 = 3*m - x. Suppose 19 = -5*t + m. Is 15 a factor of t?
False
Suppose 0 = -4*t - 2*j + 414, 213 = -0*t + 2*t - 5*j. Is 8 a factor of t?
True
Suppose 4*x - 245 = -4*p - 21, 2*p - 5*x - 140 = 0. Suppose -4*g = 24 + p. Let o = g + 39. Is 12 a factor of o?
False
Suppose -4*b - 3*t = 1, 3*b - 3*t - t - 18 = 0. Let r(n) = 0 - 1 - 1 + b*n - 6. Does 10 divide r(9)?
True
Let q(y) = -y**3 - 4*y**2 - 3*y. Suppose -2*u - 10 = 3*u. Let a be q(u). Is 18 a factor of 84/(-10)*(-3 + a)?
False
Suppose 5*n = -17 - 13. Is (4/n)/(5/(-195)) a multiple of 13?
True
Suppose -3*i = 220 - 10. Is 4/(-8) - i/4 a multiple of 17?
True
Suppose 378 = 4*d + 2*f, 0*d + 3*d = 2*f + 294. Is 17 a factor of d?
False
Suppose -2*m + v = 4*v - 147, 4*m = 3*v + 267. Let p = m + -45. Is p a multiple of 18?
False
Let h(k) = -22*k**3 - k**2 + 1. Is h(-1) a multiple of 4?
False
Suppose 0*g = -5*g + 15. Suppose -g*f + 4 + 2 = 0. Suppose 3*c - 28 = 2*u, 3*u - 6*u = -f*c + 22. Is 6 a factor of c?
False
Let w(d) = -d**2 + 16*d - 15. Is 5 a factor of w(13)?
False
Let q(j) = -j + 12. Let x be q(12). Suppose x = 4*y - 77 + 5. Does 6 divide y?
True
Let s(m) = -m**3 - 10*m**2 - 8*m - 16. Does 25 divide s(-11)?
False
Let l(n) = n**3 + 10*n**2 - 13*n - 9. Does 5 divide l(-11)?
False
Let b(m) = m**3 + 5*m**2 - m - 3. Let k be b(-5). Suppose -k*w - w + 90 = 0. Is 9 a factor of w?
False
Is -1 - (-32 + (5 - 9)) a multiple of 4?
False
Let h(n) be the first derivative of -5*n**2/2 + 7*n - 4. Does 21 divide h(-7)?
True
Let u(j) = 3*j - 2. Let q(a) = -3*a + 1. Let d(m) = 3*q(m) + 4*u(m). Let n be d(5). Let y = n + -3. Is 7 a factor of y?
True
Let k be ((-2)/(-8))/((-3)/(-12)). Let l(d) = 11*d - 1. Does 7 divide l(k)?
False
Let x = 20 + 15. Is x a multiple of 10?
False
Is (-2)/6 + (-1191)/(-9) a multiple of 27?
False
Let v(p) = 148*p**2 - 4*p - 1. Does 12 divide v(-1)?
False
Let g = -5 - -18. Is 13 a factor of g?
True
Let i(f) = f**2 - 3*f - 7. Let j be i(5). Let m(c) = 9*c + 1. Does 28 divide m(j)?
True
Let f = -29 - -68. Is 13 a factor of f?
True
Let j be (-12)/(-14)*7*1. Let t be ((-1)/(-1))/((-1)/(-39)). Suppose -f - j = 2*y - t, f + 86 = 5*y. Does 17 divide y?
True
Let j(l) = 2*l - 8. Let y be (-2)/(-3)*27/2. Does 10 divide j(y)?
True
Is 4/8*(0 - -130) a multiple of 13?
True
Does 16 divide 185/4 - 2/8?
False
Suppose v - 4 = 5. Suppose 46 = 3*c - 2*y, -c = -y - 7 - v. Is 14 a factor of c?
True
Let n be 5*(0 - 3)/(-3). Suppose -7 - 13 = -n*o. Suppose 2*l - 10 = 2*r, -3*l - o*r = -11 - 11. Is 6 a factor of l?
True
