11?
True
Suppose 5*i = 2*j + 55, i + 2 - 13 = j. Suppose 5*g - 41 = -i. Does 2 divide g?
True
Suppose 0 = 5*t, 5*k - 100 = -3*t + 4*t. Suppose 3*s = 7 + k. Suppose -s + 2 = -v. Does 7 divide v?
True
Let d(i) = 24*i - 1. Is 19 a factor of d(5)?
False
Suppose -3*h + 2*z + 28 = -h, 0 = h + 3*z + 6. Suppose -h*f = -7*f - 36. Is f a multiple of 5?
False
Suppose -66*r + 68*r = 264. Does 12 divide r?
True
Let n(f) = 135*f. Let c be n(1). Suppose 9 = z - c. Suppose u - 4*u - 3*t = -z, -93 = -2*u - 5*t. Is 13 a factor of u?
False
Let w(m) = -m**2 + 3*m + 3. Let x be w(3). Suppose -3*d = -x*j + 66, -2*d = -6*d - 16. Suppose 3*k - j = 21. Is k a multiple of 13?
True
Is 1/2 - 140/(-8) a multiple of 18?
True
Let v = 8 - 5. Suppose -25 = v*d - 1. Is 8 a factor of (2/4)/(d/(-288))?
False
Suppose -2*z + p = -5*z + 1500, -4*z = 2*p - 2002. Is z a multiple of 33?
False
Suppose 5*p = l - 50, -5*l = -0*p + 4*p - 163. Does 9 divide l?
False
Let n be 14 + (-3 - 1/(-1)). Suppose 0 = -5*l - 4*t + 99, -n = -l + 2*t + 5. Is 14 a factor of l?
False
Let h(d) = 121*d**2 - 3*d + 2. Does 10 divide h(1)?
True
Suppose j = 4*b - 8, 5*b + 4*j = b + 28. Suppose 38 = 4*i - 2*f, -b*i + 5*f - 6 = -24. Does 11 divide i?
True
Suppose -4 = 4*f - 20. Suppose 3*n + f*m - 23 = 37, -m = n - 20. Is 10 a factor of n?
True
Suppose -46 = -3*h + 26. Does 10 divide h?
False
Suppose -y + 138 = 3*f, -10 - 20 = -f + 5*y. Let h(w) = -w**2 + 1. Let b be h(1). Suppose b = 2*d + 11 - f. Is 12 a factor of d?
False
Suppose -7*m = -8*m + 72. Suppose -4*s = -440 + m. Is 23 a factor of s?
True
Let f(c) = -c**3 + c**2 + 4*c + 3. Let s be f(-2). Suppose m - s - 11 = 0. Does 9 divide m?
True
Suppose 369 = 4*t - 2*j - 37, -511 = -5*t - j. Is t a multiple of 11?
False
Suppose 4*g = -5*q - 32, 0 = -0*q - 5*q + 2*g - 14. Does 2 divide ((-20)/(-8))/((-2)/q)?
False
Let l be -105 + 0/2 + -1. Let u = -17 - l. Suppose b + 16 = h, 3*b - u = -4*h + 2*b. Is 9 a factor of h?
False
Suppose 4*h = -5*h + 99. Let m(q) = -3*q**2 + 15*q - 3. Let r(b) = 7*b**2 - 30*b + 5. Let o(y) = 5*m(y) + 2*r(y). Is 13 a factor of o(h)?
True
Let k be 14/4 + 2/(-4). Is 2/k - 133/(-3) a multiple of 9?
True
Suppose -18 = 2*u - 122. Does 26 divide u?
True
Let u(t) = t**3 - 8*t**2 - 9*t + 4. Let q be u(9). Let h be -1 + 1 + (1 - -1). Suppose q = h*v - 4. Is 2 a factor of v?
True
Let g be 3/6 + 1/(-2). Suppose g*k - 5*k + 125 = 0. Suppose -3*x = 5*q - 20, -4*x = -x + 4*q - k. Is x a multiple of 12?
False
Let j(x) = 2*x**2 - 3*x - 1. Let i be 8/(-4) - 0/1. Is j(i) a multiple of 7?
False
Let z(h) = 5*h**3 - 6*h**2 - 4*h - 6. Let r = -33 - -22. Let g(a) = -14*a**3 + 17*a**2 + 11*a + 17. Let b(n) = r*z(n) - 4*g(n). Is 15 a factor of b(4)?
True
Let s(d) = 3*d - 2. Let l be s(3). Let z = l - 4. Is 3 a factor of z?
True
Suppose 216 = 2*f + 2*f. Suppose f = 3*t + 4*u, u + 4*u = -4*t + 73. Does 11 divide t?
True
Suppose 4*v - 203 = -2*u - 65, -251 = -4*u - 3*v. Let s = -38 + u. Does 21 divide s?
True
Suppose -c + 37 = -8. Suppose -5*s + 75 = -c. Is 11 a factor of s?
False
Let f(u) = -u**3 + 2*u**2 + u. Let d be f(2). Suppose 0 = -x + 5*x. Suppose d*t + 3*g - 114 = x, -g + 276 = 5*t + 2*g. Is 20 a factor of t?
False
Let c be (1/(-2))/((-2)/376). Suppose 94 = 4*t - c. Is t a multiple of 14?
False
Let b be (4/(-8))/(2/(-12)). Suppose -b*s = -148 - 8. Suppose -2*k + s - 8 = 0. Is k a multiple of 9?
False
Let f(v) = -v**3 + 17*v**2 - 8*v + 53. Is f(16) a multiple of 10?
False
Suppose -612 = -6*u + 2*u. Suppose -4*v = 57 - u. Does 8 divide v?
True
Is 2*2 - (-42)/7 a multiple of 5?
True
Let s = -202 + 298. Does 8 divide s?
True
Suppose 0*a = 4*u - a - 96, -u + 7 = 4*a. Let j(h) = 23*h - 5. Let t be j(5). Suppose -v - 3*b = -u, 3*b = 3*v - t + 29. Is v a multiple of 13?
True
Suppose l = -3, 5*n - 3*l = -5*l + 59. Does 4 divide n?
False
Let i(f) be the third derivative of f**4/24 + f**3/3 + 3*f**2. Let j be i(3). Suppose -65 + 5 = -j*q. Is q a multiple of 11?
False
Let r be 9/3 + -5 + 5. Let q be 28 - (r + -3 + 0). Suppose -2*y + 50 = -q. Is 13 a factor of y?
True
Is 23 a factor of -13 - -12 - (-202)/2?
False
Let q(a) = 7*a + 4. Suppose g = -2*b - 14, -2*b + 6*b + 26 = -g. Let v = b - -10. Is 16 a factor of q(v)?
True
Let h(a) be the second derivative of 17*a**4/6 + a**3/6 + 16*a. Suppose 4 = p, c + 4*p - 2 - 13 = 0. Is h(c) a multiple of 11?
True
Suppose -4*p + 4 = -3*p. Suppose p*j = -j + 85. Is 17 a factor of j?
True
Let l = -55 - -89. Does 4 divide l?
False
Suppose -2*t = -5*n + 529, -5*t + 121 = 5*n - 394. Is n a multiple of 21?
True
Let c(s) = 14*s + 6. Let x be c(6). Suppose -5*u + 105 = -0*l + l, -5*u - 4*l + x = 0. Is u + 2 + 2 + -2 a multiple of 20?
False
Let k = 23 - 3. Is 5 a factor of k?
True
Let y(l) = l**3 + 0 - l**2 + 2*l**3 - 4*l**3 + l + 2. Let r be y(0). Let g(z) = 4*z**2 - 2*z + 2. Is 14 a factor of g(r)?
True
Let m(o) = o**3 + 10*o**2 + 7*o + 5. Does 23 divide m(-9)?
True
Suppose 5*y = 26 + 14. Is y a multiple of 3?
False
Let o(b) = 19*b**2 - 3*b - 12. Is o(4) a multiple of 9?
False
Suppose -2*i = 3*i + 35. Let v(o) = -o**3 - 5*o**2 + 8*o - 10. Is 16 a factor of v(i)?
True
Suppose r + 3*r = 4. Suppose -r = 2*q - 77. Is q a multiple of 13?
False
Let y = -3 + -10. Suppose -3*o = -6*o + 96. Let x = y + o. Does 19 divide x?
True
Suppose -4*c + 147 = -13. Is 20 a factor of c?
True
Let k = -102 + 128. Is k a multiple of 26?
True
Let l = 1 - 2. Let v(i) = -15*i + 1. Let b be v(l). Suppose -q - b = -3*q. Is q a multiple of 5?
False
Let p be 4*2*36/(-32). Let r = 1 - p. Is r a multiple of 3?
False
Let c be 94/18 - (-2)/(-9). Suppose -c*b + x + 0*x = -50, -4*x - 20 = 0. Is b a multiple of 7?
False
Let p be ((-15)/(-6))/((-1)/(-2)). Suppose 3*o - 7 = -j, o - 2*j = 2 + p. Is o a multiple of 3?
True
Let r(v) = -8*v**2 - 5*v + 2. Let l be r(3). Let w = l - -141. Is 19 a factor of w?
False
Suppose u - 18 = 3*u. Let v = 10 + u. Let y = v + 12. Does 7 divide y?
False
Suppose -w + 7*o + 3 = 4*o, 5*w - 69 = -3*o. Does 12 divide w?
True
Does 11 divide (186/18 + -3)*(-9)/(-2)?
True
Let q = 561 - 393. Is q a multiple of 14?
True
Let f be (-6 - 20)*(-1)/2. Let g(d) = d**3 - 14*d**2 + 16*d + 13. Does 26 divide g(f)?
True
Let r be (-11)/88 - 23/8. Does 10 divide (28 + r)*(1 + 0)?
False
Is (-1)/(-5 - (-1345)/270) a multiple of 11?
False
Suppose -q + 120 = 4*q. Is 18 a factor of q?
False
Suppose 296 = 8*x - 4*x. Let g(l) = -l**2 + 23*l - 60. Let r be g(20). Suppose c - 5*s - 2 = r, 4*s - x = -2*c - 0*c. Is 9 a factor of c?
True
Let m(v) be the third derivative of v**4/24 - 4*v**3/3 - v**2. Let k be m(8). Is 6/(4/10 + k) a multiple of 11?
False
Suppose -2*a = 58 - 2. Let d = a - -50. Is 1/(-3)*d*-3 a multiple of 11?
True
Let l(h) = h**3 + 8*h**2 + 4*h + 1. Is l(-6) a multiple of 10?
False
Suppose b + b - 31 = -5*g, 0 = 4*b - 2*g - 2. Suppose -b*n + 6 = -6. Is 4 a factor of n?
True
Suppose 2*w + n = -183, 4*w - 3*n = -418 + 67. Let l = w + 153. Does 21 divide l?
True
Suppose -5*f - 3*o + 99 = -24, -o = -5*f + 139. Does 6 divide f?
False
Suppose -2*a + 3*w = -0*w - 118, 5*a - 321 = w. Is 18 a factor of a?
False
Suppose -2*j + 0 = -14. Suppose j*x = 2*x + 1060. Is 16 a factor of x/12 + 2/6?
False
Let t(q) = q**3 - 6*q**2 + 2*q - 4. Let c be t(6). Let z = 3 - c. Is 8 a factor of (-4 - 6)*4/z?
True
Let v(u) = -u**2 - u + 4. Let w be v(-5). Let m = -7 - w. Is 11 a factor of (3/(-2))/(m/(-156))?
False
Suppose 5*y = 3*d + 45, 0*d + d = 5*y - 55. Does 4 divide y?
True
Suppose -j - 3*j + 52 = 0. Does 3 divide j?
False
Suppose 8 = 2*b, -4*m + 2*b + 24 = -0*b. Suppose -m*j = -6*j - 26. Is 13 a factor of j?
True
Suppose -4*s = -3 + 31. Let l(z) = -z - 1. Let x be l(s). Suppose -p + 22 = -x. Does 14 divide p?
True
Suppose -t + 1 + 1 = 0, 3*t - 251 = -5*q. Suppose 34 = 2*s - 2*r, 3*s - s + r - q = 0. Does 6 divide s?
False
Does 12 divide (-363)/2*((-14)/(-6) - 3)?
False
Let l(r) = 54*r**3 - 2*r**2 + r. Let t = 7 + -6. Let h be l(t). Let s = -19 + h. Is 17 a factor of s?
True
Let c(r) be the third derivative of r**5/60 - r**4/12 + r**3/6 + 2*r**2. Let g be 4 - ((-1)/1)/1. Is c(g) a multiple of 11?
False
Let a(l) = 2*l**3 + 14*l**2 - l + 8. Is 5 a factor of a(-7)?
True
Let m(t) = -t**3 - 2*t**2 + t + 12. Does 3 divide m(0)?
True
Let y be (-3)/(-6)*2*5. Suppose 4*t + 5 = -q, -3*t = y*q