?
True
Suppose 2*p + 3 = 3*p. Suppose -5*d - 137 = -4*l - 28, -3*d - p = 0. Does 11 divide l?
False
Let s = -29 - -21. Let c = 0 - 4. Let g = c - s. Is g a multiple of 4?
True
Suppose -3*l - 104 = -l. Let x = l - -80. Does 10 divide x?
False
Does 23 divide ((-920)/(-30))/(1/3)?
True
Suppose -q - 7*t = -2*t, 3*q = -2*t. Suppose q = -5*r - 0*r + 70. Suppose -w = -n + r, 3*n = -0*w + 4*w + 45. Does 11 divide n?
True
Let n(r) = r**2 - 7*r - 2. Let f be n(7). Is f/6 - (-215)/15 a multiple of 14?
True
Suppose 5*q - 96 = -3*t, -4*q + 0*t = t - 74. Is q a multiple of 13?
False
Let l = 10 + -12. Let o be 58/6 - l/6. Suppose -45 = -o*y + 5*y. Is y a multiple of 9?
True
Suppose -8*x - 980 = -15*x. Is 28 a factor of x?
True
Suppose -3*x = -13 + 10. Let d = 62 + x. Is 12 a factor of d?
False
Let z = 55 - 33. Does 5 divide z?
False
Suppose -5*u + 2*a + a = -120, -3*a + 96 = 3*u. Is u a multiple of 8?
False
Let y(h) = -2*h. Let p be y(-7). Let d = p + -10. Does 2 divide d?
True
Let g = 64 - 40. Is 6 a factor of g?
True
Let u(i) = -2*i**2 - 4*i - 1. Let q(r) = 2*r**2 + 3*r + 1. Let y(x) = 3*q(x) + 2*u(x). Let w be y(-1). Does 14 divide w/((-20)/(-19) - 1)?
False
Suppose -3*t - a = -14 + 3, -4*t = 2*a - 16. Suppose 5*h - 165 = t*f, -2*h = -0*h + 3*f - 45. Does 11 divide h?
False
Let c(b) be the first derivative of b**4/4 - 11*b**3/3 + 7*b**2 - 6*b - 2. Is c(10) a multiple of 17?
True
Does 9 divide 2 + 3/(3/16)?
True
Let s(t) = -t**3 + 9*t**2 - 4*t - 4. Suppose 4*d - 24 = 4*n, -2*n = 2*d - d. Does 20 divide s(d)?
True
Suppose -19 = -s - 3*k, 4*s = 5*s - 5*k - 59. Is 8 a factor of s?
False
Let l(b) = b**3 + b**2 - 2*b - 1. Let i be ((-6)/(-4))/((-24)/(-80)). Let t = i + -3. Is 7 a factor of l(t)?
True
Let t(c) = -2*c**2 - 1. Let p be t(2). Let l = 15 + p. Does 9 divide (-196)/(-11) - l/(-33)?
True
Let d be 2/1 - (-12)/(-6). Suppose d = -0*p + 2*p - 324. Suppose -4*l = 6 - p. Does 13 divide l?
True
Let f be (3*4)/(-4) + 3. Suppose 4*r + 4*h - 180 = 0, r + f*h - 4*h - 55 = 0. Is 19 a factor of r?
False
Let f(t) be the third derivative of 7*t**4/24 - 2*t**3/3 - t**2. Does 12 divide f(4)?
True
Let m = -60 + 88. Does 13 divide m + -1*(-4)/(-2)?
True
Let m(r) be the second derivative of -r**4/12 + 4*r**3/3 + 2*r**2 - r. Let v be m(8). Suppose -61 = -v*x + i, 3*x + 2*i + 2*i - 22 = 0. Is 5 a factor of x?
False
Let b be 6 - (-1 - -3 - 1). Suppose 4*f - 20 = -4*y, -b*y + f = -f - 39. Does 4 divide y?
False
Let b(q) = -q**3 - 12*q**2 - 8*q + 39. Does 39 divide b(-13)?
True
Suppose -j = -2*j - 3*b + 48, 0 = 5*j + 4*b - 229. Suppose 5*i = -5*x + j, -x - 23 = -4*x - 4*i. Let z = 28 - x. Does 14 divide z?
False
Suppose -8*j + 5*n + 15 = -3*j, 5*j + n - 39 = 0. Let t = 8 + j. Let o = t - 0. Is o a multiple of 7?
False
Is (3/(-6))/((-4)/(-1 - -241)) a multiple of 5?
True
Let l(m) = -2*m - 5. Let z be l(-3). Suppose -2*o = -17 - z. Does 3 divide o?
True
Let w(q) = -q**2 - q + 73. Is 36 a factor of w(0)?
False
Suppose 2*u = -3*u + 360. Suppose 2*r - 140 = 3*x, 3*x + 0*x + 134 = 5*r. Let j = u + x. Does 12 divide j?
True
Let q(m) = m**2 - 3*m + 4. Let c be q(13). Let f = -60 + c. Is f a multiple of 22?
False
Let k(c) = -c**2 - 5*c - 2. Let m be k(-5). Is 7 a factor of 14 + (-3 - m/1)?
False
Let g be 60/18*(-12)/(-10). Does 10 divide 15*4/(g + -2)?
True
Let v = -5 - -23. Let w = 11 + v. Suppose -z + w = -2*g - 3*g, -4*z - 4*g = 4. Is z even?
True
Let c(l) = l**3 + 5*l**2 - l - 3. Let h be c(-5). Suppose -t - w + 22 = -4*w, h*w = -4*t + 46. Does 8 divide t?
False
Suppose 25 + 20 = 3*o. Suppose -7*q + o = -2*q. Suppose q*x = -j + 2*j + 44, -3*x - 2*j = -29. Is 9 a factor of x?
False
Is 9 a factor of (-684)/(-15) + 12/(-20)?
True
Let c be 5*1 + 4 + -5. Suppose -4*j = -5*a - 10, 5*a + 2*j = 3*j + 5. Suppose c = a*r - 8. Is 6 a factor of r?
True
Is 1 - 4 - 72/(-4) a multiple of 9?
False
Suppose 4*q - 16 - 196 = 0. Let a(d) = d**3 + 8*d**2 - 7*d - 5. Let o be a(-4). Let g = o - q. Is g a multiple of 18?
False
Let o(i) = 76*i + 6. Is o(2) a multiple of 27?
False
Suppose 4*z + 48 = 5*j, 0 = j + 3*z - 22 + 1. Is 2 a factor of j?
True
Suppose -2*q + 624 = 2*q. Is 20 a factor of q?
False
Let c(m) = 5*m - 1. Is 9 a factor of c(7)?
False
Suppose -103*u = -107*u + 484. Is u a multiple of 17?
False
Suppose -59 = -j + 5*n, -5*n = j - 9 - 0. Suppose -l = -0 - j. Does 11 divide l?
False
Let d(l) be the second derivative of -9*l**5/20 + l**4/6 + l**3/3 + l**2/2 + 4*l. Is d(-1) a multiple of 9?
False
Let f(a) = -a**2 + 11*a - 4. Let v be f(10). Suppose -2*b + 3*q - 7 = 0, 4*b - 2*q + 0*q = v. Is 2 a factor of b?
True
Suppose -79 = -2*g - 1. Let x = g - -23. Is 22 a factor of x?
False
Suppose -3*d = 4*x - 65 - 48, d - 5*x - 6 = 0. Is 10 a factor of (4 + -2 - d)*-1?
False
Suppose -10*c + 6*c = -188. Suppose 4*z - 16 = -k, -4*k + c = 4*z - 5. Does 8 divide k?
False
Let p(a) = 60*a**2. Is p(1) a multiple of 10?
True
Suppose -6*w = -2*w. Suppose z = -h - h + 6, -2*z + 3*h - 2 = w. Suppose b - 53 = -z*s - 2*b, 5*s - 2*b - 85 = 0. Is s a multiple of 7?
False
Let b(g) = -g**3 + 7*g**2 - 3*g + 3. Let l be b(7). Let y = l - -24. Is 6 a factor of y?
True
Let d(a) = -3 + 8*a - 10*a**2 + 5*a**3 - 4*a**3 + 3*a**2 + 0*a**3. Does 9 divide d(6)?
True
Let u(p) = -8*p - 26. Let w(l) = l + 3. Let o(j) = -6*u(j) - 52*w(j). Let a be o(-1). Suppose -h + a*h = 54. Does 12 divide h?
False
Suppose -2 + 52 = 5*w. Let p = w - 6. Suppose g - 5 - p = 0. Is g a multiple of 6?
False
Let i(t) = 5*t**2 - 3*t + 7. Let x = -8 - -11. Is 8 a factor of i(x)?
False
Suppose -1 = 4*a - 5, -29 = -5*k - 4*a. Does 3 divide k?
False
Suppose 0 = 2*c - c - 58. Is c a multiple of 29?
True
Let d(q) = -q**2 - 15*q. Is d(-12) a multiple of 13?
False
Suppose -3*l + 1 = -2. Let b(h) = 10*h**3 - h**2 + 2*h - 1. Does 6 divide b(l)?
False
Let l(v) = -v**3 + 5*v**2 + 3*v + 4. Let z(c) = -4*c + 5. Let d(u) = -8*u + 9. Let k(h) = -6*d(h) + 11*z(h). Let i be k(1). Is l(i) a multiple of 11?
False
Suppose 3*q + q = 284. Let c = -38 + q. Does 11 divide ((-4)/(-3))/(2/c)?
True
Suppose n - 6 = -3*i + 9, 3*n - i - 95 = 0. Suppose 0*p = -2*p + n. Does 5 divide p?
True
Suppose 5*w = -2*c + 11 + 10, c + 12 = 5*w. Let p(u) = -u**3 + 5*u**2 + 2*u - 5. Let x be p(5). Does 15 divide (w/x)/(1/25)?
True
Let g(i) = i**2 - 2. Does 13 divide g(-8)?
False
Let m = 64 - 59. Suppose 3*w = -3*z - 72 + 777, 2*z - 3*w = 470. Suppose n - 6*n + 10 = 0, 0 = -m*l - 5*n + z. Is l a multiple of 15?
True
Suppose 0 = -5*p + 4 + 31. Does 4 divide (-2)/p - (-298)/14?
False
Suppose 15 = -2*j + 7*j. Let u be (14/3)/(1/j). Suppose -3*p - 2 = -u. Is p even?
True
Let c = -108 + 185. Is 23 a factor of c?
False
Let b = 13 - 8. Suppose 0 = -b*y + 56 - 6. Is 4 a factor of y?
False
Let n(s) be the third derivative of s**6/120 - s**5/60 - 5*s**4/24 - 4*s**2. Does 15 divide n(4)?
False
Suppose l + 4*q = 4*l - 4, -4*l + 3*q + 3 = 0. Suppose l*k + 5*k - 10 = 0. Suppose -k*v = 3*v - 100. Does 10 divide v?
True
Let b be 1/1 + 0 + 1. Suppose -2*r + l = -44, 4*r = -l - b*l + 98. Is r a multiple of 7?
False
Suppose -3*s + 0*s + 67 = v, s - v = 17. Is s a multiple of 3?
True
Suppose g + 0*g + 6 = 0. Let m(a) = 3*a**2 + 7*a + 8. Let f be m(g). Does 5 divide (-6)/(-8) + f/8?
True
Let a be (-2)/(-9) + 25/9. Let j(f) = -f**3 + 5*f**2 + 7*f - 2. Let o be j(6). Suppose a*y = 2*p + o*y - 62, 3*p = 5*y + 67. Is 10 a factor of p?
False
Let t be 969/9 + (-2)/(-6). Let d = -2 + 5. Suppose t = k + d*k. Is 10 a factor of k?
False
Suppose -5*b + b = -48. Let q = 0 - 0. Suppose q*d + b = d. Does 5 divide d?
False
Suppose 66 = 3*w + 18. Is 8 a factor of w?
True
Suppose 2*a + a = 0. Suppose -3*i + a = -87. Does 6 divide i?
False
Let z = -4 + 15. Suppose 3*y - 15 = -j + 2*j, -y = j + z. Does 5 divide (-150)/j - 2/4?
False
Is 13 a factor of 23 + (3 - 0/(-4))?
True
Is 16/72 - 291/(-27) a multiple of 5?
False
Let p = 34 + -18. Is 16 a factor of p?
True
Suppose 36 = y - z - z, -y + 5*z = -39. Let p be 1*y + (1 - 1). Let k = p + -12. Is 11 a factor of k?
True
Suppose 3*d = 4*u - 6, 0*u - d = -5*u + 2. Suppose u*q + 96 = 2*q. Suppose -4*l = -0*l - q. Does 12 divide l?
True
Let p(h) be the first derivative of -h**3/3 - h + 1. Let m be p(-2). Let c = 35 - m. Does 16 divide c?
False
Let r(g) = 45*g**2 + 3*g + 3. Does 45 divide r(-1)?
Tr