rue
Let b be (-2)/(-3)*6 - 1. Suppose 5*t = -b*q + 57 - 7, t + 4*q = -7. Is t a multiple of 13?
True
Let h = 36 - 67. Let j = h - -52. Is j a multiple of 7?
True
Let y(d) = 1 + 4 - d + 2*d. Is y(0) a multiple of 4?
False
Suppose -4*b - 3*w = -0*w - 1014, -2*w - 752 = -3*b. Is b/16 + 3/12 a multiple of 4?
True
Let y(t) be the first derivative of -t**4/4 - 8*t**3/3 - 9*t**2/2 + 10*t - 1. Suppose 20 = 2*o + 2*o, 2*g = -3*o + 1. Does 7 divide y(g)?
False
Let y be (-1)/3 - 12/(-9). Suppose 4*c - 5 = -y. Let r(j) = 32*j. Is 16 a factor of r(c)?
True
Suppose 2*k - 7 = 7. Suppose 3*s = k*s - 16. Is s a multiple of 4?
True
Let j(o) = -5*o**2 - 1 - 4*o + 2*o**2 - 2. Let u be j(-3). Is 3 a factor of 6/27 + (-104)/u?
True
Suppose -3*h = -5 - 1. Let f be (1/3)/(h/12). Suppose 5*u - 4*i = -f + 6, -3*i = -12. Is 4 a factor of u?
True
Let w = 5 + -5. Is 4/2 + w + 23 a multiple of 12?
False
Suppose 0 = -2*h + 4*h - 42. Let f = h + 6. Is 11 a factor of f?
False
Let p = 8 + -5. Suppose -p*j = -0*c - c - 13, -3*c = 5*j - 31. Does 2 divide 0 + 1 - (1 - j)?
False
Let h(n) = -11*n**2 + 4*n - 5. Let s(y) = -12*y**2 + 5*y - 6. Let b(g) = -4*h(g) + 3*s(g). Is 16 a factor of b(2)?
True
Let s(o) = o**2 - 2*o - 8. Is 3 a factor of s(6)?
False
Suppose 3*y = -z + 2*z - 17, 3*y = -4*z - 7. Let r(x) = -x**3 - 5*x**2 - 3*x. Is r(y) a multiple of 15?
True
Let r be (-7 - -8)*-2*88. Does 16 divide r/(-6) + 2/3?
False
Suppose 5*k - 4*h - 241 = 0, 3*k - 42 = 5*h + 100. Suppose -4*m = -211 - k. Does 16 divide m?
False
Let k(d) = d + 2. Let o be k(3). Suppose o*w - 367 = -7. Is 23 a factor of w?
False
Let l(y) = y**3 + 4*y**2 + 4*y + 2. Let d be l(-2). Suppose d*s + 10 = f, 0 = 2*f - s - 14 - 15. Is 8 a factor of f?
True
Let n(m) = m**3 + 5*m**2 - 5*m - 8. Is n(5) a multiple of 31?
True
Suppose 438 = 5*w + 148. Suppose -w = -4*v + 38. Is 8 a factor of v?
True
Suppose 0*d = 2*d - 10. Suppose d*u + 45 = n, 16 - 6 = -2*u. Let y = n - 12. Is y a multiple of 4?
True
Let x(y) = -y**3 - 11*y**2 - 11*y + 10. Is 5 a factor of x(-10)?
True
Suppose 3*j + 13 = s, 4*s = -s + 2*j + 26. Suppose 0 = -b, 6*b - s*b + 30 = 5*r. Is 6 a factor of r?
True
Let l = -144 - -250. Does 31 divide l?
False
Does 19 divide 3 + (-1)/(2/(-146))?
True
Suppose -5*h = -k, -h + 23 = 4*k + 2*h. Let y be k*(-1 + (-3)/(-5)). Let f(u) = -27*u - 3. Does 19 divide f(y)?
False
Is 4*(-2)/4 + 175 a multiple of 16?
False
Let k(d) be the second derivative of 7/4*d**4 - d + 0 + 1/6*d**3 - 1/2*d**2. Does 20 divide k(1)?
False
Suppose -2*w - v + 8 = 0, -4*w - 2*v = -2*w - 12. Suppose -y + 6 = -w. Is 4 a factor of y?
True
Let z(l) = l + 1. Let i be z(4). Let w be 23*(i - 0 - 2). Suppose 4*g - 189 + w = 0. Is 12 a factor of g?
False
Suppose 5*w = 4*w. Does 4 divide 2 - (-6 + w) - 3?
False
Let m be -11 - (1 + 2 + -1). Let s(c) = c**3 + 14*c**2 + 9*c - 9. Is s(m) a multiple of 13?
False
Let r(o) = -o + 3. Let i be r(3). Suppose 3*g = -2*l + 120, i = 5*l + 7*g - 2*g - 290. Is l a multiple of 18?
True
Let l = 6 + -2. Suppose 2*q = l*k - 46, 0 = 2*k - k - 2*q - 10. Does 6 divide k?
True
Suppose 2*q - 6*q + 206 = 3*b, 2*b + 3*q - 138 = 0. Is 22 a factor of b?
True
Let c(j) be the first derivative of -1/4*j**4 + j - 4/3*j**3 + 3/2*j**2 - 2. Does 11 divide c(-5)?
True
Suppose 2*d + 5 - 51 = 0. Does 4 divide d?
False
Let c = 1 + 43. Is c a multiple of 5?
False
Let x be (2/4)/((-3)/(-12)). Suppose -4*p + x*o = -106, -5*o + 83 = 4*p - 2*p. Is 11 a factor of p?
False
Is 5 + (-9)/(-3) + 28 a multiple of 3?
True
Suppose 49 = 4*s + 3*g - 74, -5*s = -2*g - 125. Let d = s - 14. Is 11 a factor of d?
False
Let z = -23 + 32. Let v = 1 + z. Does 4 divide v?
False
Let s(u) = -8*u - 3. Let r(a) = -3*a**2 + 1. Let c be r(1). Is 8 a factor of s(c)?
False
Suppose -s - 4*s = -340. Is 17 a factor of s/(-5)*(-20)/8?
True
Let g = 117 + -233. Let b(a) = 2*a**2 + a + 4. Let f be b(4). Is g/(-5) - 8/f a multiple of 17?
False
Suppose -25 = -5*z + r, 4*z + 4*r = -z + 50. Suppose 3*h = 3 + z. Suppose h*g + 26 = 2*v, 0*v - 39 = -3*v - 4*g. Does 13 divide v?
True
Let r(x) = 89*x**2 - x. Does 17 divide r(1)?
False
Let u(q) = 2*q**2 + 6*q - 26. Is u(5) a multiple of 54?
True
Let t(o) = -o**3 + 7*o**2 - 2. Let n be t(7). Let r(w) = -3*w - 3. Let c be r(n). Suppose 2*q + 5*p - 53 = 0, -29 + 80 = 2*q + c*p. Does 12 divide q?
True
Suppose -2*s = s. Suppose s = 5*r - 4*z - 87, -5*r + 34 = 2*z - 35. Does 8 divide r?
False
Let u(a) = 4*a**2 + 1. Let l be u(1). Let t be (-1 - 1)/((-2)/l). Suppose 37 = 3*f - t*v, 5*f - 4 = 3*v + 47. Is 9 a factor of f?
True
Let k(z) = z**2 + 7*z. Let b be k(-7). Suppose b = -3*q - q + 28. Is 2 a factor of q?
False
Let k(h) = 4*h + 1. Suppose 3*r + 2 = 5. Let j be k(r). Suppose -j*m + 2*g - 4 = -14, 0 = 2*m - 5*g + 17. Is 2 a factor of m?
True
Suppose -y + 5*y = -16. Let t(l) = l**2 - 4*l - 4. Let b be t(y). Suppose -2*h = 3*n - b, -3*n = -3*h - 15 - 3. Is n a multiple of 5?
False
Suppose -95*n + 96*n = 25. Is n a multiple of 3?
False
Let f be (42/(-12))/(2/(-4)). Suppose -f*d = -3*d - 72. Is 18 a factor of d?
True
Is 10 a factor of 12/30 - 1186/(-10)?
False
Suppose -g = 4*n - 6, 4*g = -5*n + 9*n + 4. Let j be 5/(5/2) + n. Suppose 5*l + j*a = 106, 2*a + 72 = 4*l - 2*a. Does 13 divide l?
False
Let r = 292 - 192. Suppose r = 5*a + 4*m, -4*m = -6*a + 2*a + 80. Is a a multiple of 8?
False
Let m be ((-1)/(-2))/(2/(-4)). Let j be ((-36)/(-15))/(m/(-5)). Suppose 0 = 2*o + t - j, 24 = 2*o - 2*t - 0*t. Is o a multiple of 6?
False
Let f(j) = 12*j**3 - 11*j**3 + j**2 + 3*j**2. Let r be f(-4). Is (-3 - (-2 - 31)) + r a multiple of 10?
True
Is 7 a factor of (-2)/1 - (-2 - 1) - -160?
True
Let y = -6 + 0. Let z be y*((-28)/6)/(-2). Does 3 divide (-1 - 3/(-6))*z?
False
Suppose 0 = -0*x + x + 4*b - 34, 0 = x + 2*b - 32. Is 6 a factor of x?
True
Let d(b) = 7*b - 11. Let y = 5 - -3. Does 19 divide d(y)?
False
Let n = 9 - 3. Is (-23)/(1 - (-4 + n)) a multiple of 9?
False
Let s(g) = -9*g + 10. Let d be s(-7). Let x = 102 - d. Does 24 divide x?
False
Suppose -3*l - 4*u = 4, 0 = l - 0*l + 3*u + 3. Suppose 3*q - 72 = -l*q. Does 10 divide q?
False
Let g be 278/4*10/5. Let t = g - 63. Does 14 divide t?
False
Let b = -118 - -167. Let m = 10 + -7. Suppose -b + 13 = -m*v. Is v a multiple of 6?
True
Suppose 4*y = -16, -2*s = -6*s + 5*y. Let h = s + 10. Does 5 divide h?
True
Let v be (-56)/(-10) - 9/15. Suppose v*p = 25 + 10. Does 7 divide p?
True
Suppose 5*w - 3*c + 0*c = 1254, 2*w - 510 = -3*c. Does 9 divide w?
True
Let p(k) = -k + 7. Does 10 divide p(-13)?
True
Suppose q + 0*q = -5. Let p(c) = -c**2 - 6*c - 1. Let o be p(q). Suppose 2*r + 8 = o*r. Does 4 divide r?
True
Let u = -23 + 27. Suppose -1 - 27 = -u*l. Is 2 a factor of l?
False
Let c(g) = -g - 4. Let d be c(-6). Suppose 7*i = 3*i - 12, -4*s - d*i = -14. Suppose 84 = s*t - 26. Does 16 divide t?
False
Let r be (-2)/6 - 376/6. Let o = r + 96. Is 11 a factor of o?
True
Let j = -3 - 0. Let a be ((-3)/j)/(2/10). Suppose -a*o = -5*q - 25, 4*o - q = o + 23. Is o a multiple of 9?
True
Let l(h) = -2*h + 7. Is 9 a factor of l(-5)?
False
Does 13 divide 23 - -4 - 1/1?
True
Suppose 0 = 2*u - 6, -3*x - 4*u = -5*x + 212. Suppose 0*p + x = 4*p. Is p a multiple of 8?
False
Let t = -15 + 30. Is 4 a factor of t?
False
Let b be -8*-3*(-2)/12. Does 19 divide (-1108)/(-36) - b/18?
False
Let y = 7 - -20. Does 9 divide y?
True
Suppose x = 3*x - 6. Suppose 66 = x*i + 3*d - 7*d, -3*d = 9. Does 6 divide i?
True
Let u(y) = 30*y + 1. Let o be u(1). Let m = o - 18. Does 11 divide m?
False
Let f(k) = k**3 + 2*k**2 - 4*k - 1. Let y be f(-3). Suppose 0*l = l - 2, -4*q + y*l = 4. Suppose q = 2*i + 1 - 49. Is 12 a factor of i?
True
Let h(j) be the first derivative of 35*j**2 + 2. Let z be h(3). Suppose -s + 5*s - 3*t = z, 3*s - 5*t - 152 = 0. Is s a multiple of 23?
False
Let r = 4 + 1. Suppose 0 = -r*n - 22 + 177. Does 31 divide n?
True
Is 6 a factor of 7/(-2)*(11 - 5)*-1?
False
Suppose 6*d - 281 + 41 = 0. Is 40 a factor of d?
True
Suppose 0 = -5*p - 121 + 421. Suppose -2*u + 6*u - p = -4*w, 5*u = 5*w + 75. Is 8 a factor of u?
False
Let b(v) = -3*v + v**3 + 3*v**2 + 5*v + 0*v**3. Let d be b(-2). Suppose -72 = -4*n - d. Is n a multiple of 9?
True
Let g = 43 - 88. Let n = -25 - g. Suppose u - n = -u. Is u a multiple of 4?
False
Let y = -8 + 8. Let h be 