 85. Is j a multiple of 11?
True
Suppose 6*f = 4*f + 60. Does 13 divide f?
False
Suppose -p - 3*c - c = 2, -3*p + 3*c = -24. Suppose -p*s + 4*s = -12. Suppose s = -4*u + 26. Is u a multiple of 2?
False
Does 12 divide -145*((-17)/5 - -3)?
False
Let t(a) = a**2 + 3*a + 1. Let v be t(-9). Suppose 2*q - v = -q + 2*g, 3*q = -2*g + 71. Is 7 a factor of q?
True
Let f = 39 + -21. Does 6 divide f?
True
Let u(c) = -c**2 - 8*c - 9. Let l be u(-5). Suppose -l*r + 3*r + 36 = 0. Is r a multiple of 12?
True
Let y(n) = -4*n. Let j be y(-1). Suppose -j*q + 2*q + 106 = 0. Does 14 divide q?
False
Let i(l) = -l**2 - 11*l - 6. Let x be i(-10). Suppose -3*g = -x*g + 21. Is g a multiple of 21?
True
Suppose 4*q - 46 = -f + 6*f, 2*q = -2*f + 32. Is 7 a factor of q?
True
Is 3 a factor of (2/(-6))/(14/(-630))?
True
Suppose -2*v + 12 = v. Suppose v*x = -0*x + 20. Suppose 2*b = -2*j + 24, -5*j - 3*b + 69 = x. Is 14 a factor of j?
True
Suppose 220 = 2*b - 4*w, 4*b = -3*w + 368 + 83. Is b a multiple of 16?
True
Suppose -3*q + 57 = -42. Is 11 a factor of q?
True
Is 106/(-6)*(-13)/((-39)/(-45)) a multiple of 27?
False
Let x = -202 + 358. Is x a multiple of 52?
True
Let o(p) = -6 + p + 2*p**2 + 3*p + 0*p**2. Is 12 a factor of o(-6)?
False
Let y be 1/(-4) - 2/(-8). Let a = 5 - y. Is 2 a factor of (-5)/(-2)*6/a?
False
Let k(d) = d**3 - 6*d**2 + 4*d - 5. Let w be k(5). Suppose -5*m = -10*m - 125. Is (-404)/(-10) - w/m a multiple of 20?
True
Let d(v) = 2*v - 13. Does 7 divide d(24)?
True
Let z(m) = -3*m**2 + 7*m + 18. Let i(s) = 2*s**2 - 5*s - 12. Let x(g) = 8*i(g) + 5*z(g). Is x(8) a multiple of 7?
False
Suppose -3*b - 5*t + 8 + 26 = 0, 3*b - 19 = -2*t. Let w = 13 + b. Is w a multiple of 8?
True
Suppose 3 = o - 0. Suppose 0 = p - 2 - o. Is 3 a factor of p?
False
Is 1 + -4*1 - (-292 + -7) a multiple of 37?
True
Let w = 29 + 26. Is w a multiple of 11?
True
Suppose 4*z - 156 = 2*z. Does 23 divide z?
False
Suppose -2*r + 34 = -90. Is r a multiple of 20?
False
Let l(r) = 4*r - 16. Does 11 divide l(15)?
True
Let z be 17 - (3 + -6 + 0). Suppose 2*x - z = x. Is x a multiple of 20?
True
Let q be 2*3 + 3/(-1). Suppose -4*j - 108 = -3*n, q*n - 2*j - 99 = -j. Is 12 a factor of n?
False
Suppose -l - m = 2*m - 46, 2*l = -2*m + 76. Does 18 divide l?
False
Suppose -k + j + 12 = -j, 0 = -3*k - j + 8. Suppose -d = -3*u - 40, 0 = 2*d - k*u + u - 89. Is d a multiple of 13?
False
Suppose 685 = 5*y + 25. Is 33 a factor of y?
True
Suppose -4*k = k. Suppose k = -5*q + 70 - 10. Is q a multiple of 6?
True
Let f(n) = n**2 - 9*n + 5. Let y(p) = -p**2 + 8*p - 4. Let l(g) = -5*f(g) - 6*y(g). Let b = 4 + 1. Is l(b) a multiple of 9?
True
Is 249/3 - (-2 - -3) a multiple of 17?
False
Let m be ((-2)/7)/(2/(-14)). Let t = 3 + m. Suppose 5*q + 23 + 62 = 4*g, -t = q. Is g a multiple of 15?
True
Suppose -3*r - 2*m + 5*m + 2313 = 0, -3*r + 2310 = -2*m. Let p be 2/(-5) + r/20. Suppose -4*y = -2*y - p. Is y a multiple of 13?
False
Let n be (36/15)/(6/20). Suppose -5*t + p = -n, 0*p = -t - p + 4. Does 9 divide (-372)/(-28) - t/7?
False
Let t be -1 + (3 - -2)*5. Let c = -14 + t. Suppose 0*n - c = -n. Is n a multiple of 7?
False
Let l = 65 + -40. Suppose 0 = -2*j - 3*n + l, -3*j + 30 = n + 2*n. Is j a multiple of 2?
False
Suppose 5*c - 3*u = u - 8, -c - u + 2 = 0. Let s = c - -2. Suppose -2 - 14 = -3*r + s*p, -5*r + 2*p = -24. Is 3 a factor of r?
False
Suppose -3*v + 4*r = -5*v - 8, -2 = -5*v + r. Suppose -7*l = -3*l - 16. Suppose v*a = l*a - 12. Is a a multiple of 2?
False
Let c(k) = -k**3 - 4*k**2 + 5*k + 5. Let a = 9 - 4. Suppose n - a*d = -5, -d + 4*d - 5 = n. Is c(n) a multiple of 3?
False
Suppose 3*m - 19 = -2*g + 85, 5*m + 3*g = 172. Suppose 2*k = -4*j + m, -3*j - k + 0*k = -25. Is j a multiple of 8?
False
Let o = 8 + -13. Let g(c) be the second derivative of c**4/12 + c**3/2 + 2*c**2 - c. Is 5 a factor of g(o)?
False
Let y = -187 + 295. Does 19 divide y?
False
Suppose -4*q - 92 = 12. Let l = -11 - q. Is l a multiple of 11?
False
Let f(l) = -4*l - 7. Let b be f(-3). Suppose -z - 5*p = 2*z - 3, b*z + p - 27 = 0. Does 2 divide z?
True
Suppose -4*y - 4 = 0, 3*g + 3*y + 180 = 45. Let z be 4/30 + 186/(-45). Is 8 a factor of z/2*g/8?
False
Let j(b) = -12*b - 12. Is j(-6) a multiple of 20?
True
Let y be -4 - -2 - (-168)/2. Let i = y - 45. Does 15 divide i?
False
Let j(q) = -2*q**2 + q - 4. Let w(i) = -i**2 - 2. Let t(n) = 2*j(n) - 5*w(n). Let r be t(-2). Is (-3)/(3/(-28)*r) a multiple of 14?
True
Let u be -2 - (-6*5 + 0). Suppose q - 5 = -5*j, -3*q + 1 + 3 = 4*j. Suppose q = -a - a + u. Is a a multiple of 8?
False
Let d(x) = x**2 - x + 35. Let r be d(0). Let w be (-8)/(3 + (-39)/15). Let f = w + r. Is 10 a factor of f?
False
Let y be ((-10)/6)/(4/(-12)). Suppose 37 = y*o - 58. Suppose 2*i - 16 = -2*i, m - o = -i. Is m a multiple of 15?
True
Let u(s) = -s**3 - 8*s**2 - 8*s + 10. Let o be u(-7). Suppose o + 53 = 5*t. Is t a multiple of 9?
False
Suppose -q - d + 9 = 2*d, q = -5*d + 1. Is q a multiple of 2?
False
Is 16 a factor of (-398)/(-5) + (16/10)/4?
True
Let z = -42 - -23. Let h = -11 - z. Is h a multiple of 3?
False
Let d(m) = -m**3 - 10*m**2 + 9*m - 14. Let j(o) = 4*o + 1. Let w be j(-3). Is 4 a factor of d(w)?
True
Let b be (4/(-8))/((-2)/32). Suppose v = 22 - b. Does 7 divide v?
True
Is 16 a factor of ((-112)/(-6))/(2/12)?
True
Let b(l) = -2*l**2 + 7*l - 3. Let s(n) = 3*n**2 - 7*n + 4. Let a(z) = -4*b(z) - 3*s(z). Let v = 5 - 10. Is 10 a factor of a(v)?
True
Let a(g) = g**3 + 4*g**2 - 6*g + 7. Let i be a(-6). Suppose -5*j - 2*o + 3 - 2 = 0, 5*o - 16 = j. Is (-1 + 2)/(j/i) a multiple of 12?
False
Suppose 2*u - 114 = -3*w, 0 = -3*w - 0*u + u + 105. Is w a multiple of 12?
True
Does 10 divide (60/(-48))/(2/(-32))?
True
Let s(w) = -3*w - 20. Does 3 divide s(-8)?
False
Suppose 2*p + 8 = 0, -u - 2*p = u. Let l(h) = -2*h - h - h - u. Is 7 a factor of l(-4)?
False
Suppose 4*s + 4*x - 305 - 239 = 0, 4*s - 4*x = 576. Is 10 a factor of s?
True
Suppose -v - 2*v = 9. Suppose -3*z + 36 + 72 = 0. Does 9 divide (z/v)/(4/(-6))?
True
Is 22 a factor of 3/(0 + 3) + 95?
False
Let v(w) = -w**3 - 3*w**2 - w + 3. Suppose -2 = 3*n + 2*r - 3, -3*n = -4*r + 29. Is v(n) even?
True
Suppose 2 - 5 = -n. Let g = n - -2. Suppose 2*x + 5*p = -3*x + 90, g*p = -x + 26. Is 10 a factor of x?
False
Is 80/3*1*3/1 a multiple of 14?
False
Let x = -84 - -99. Is 15 a factor of x?
True
Let w(g) be the first derivative of g**4/4 - 2*g**3 - g**2/2 - 16*g + 5. Is w(7) a multiple of 13?
True
Let b = 71 + 47. Does 23 divide b?
False
Let h = 348 + -140. Is h a multiple of 8?
True
Let b be ((-228)/15)/((-10)/25). Let o = 55 - b. Is o a multiple of 17?
True
Let m be (-2 - 0) + 2 + -4. Let y be m/(-10) + (-13)/(-5). Suppose -3*d = -y*v - 57, 3*d = 4*v - 3*v + 47. Is 7 a factor of d?
True
Is 5/30*-2 + 2433/9 a multiple of 16?
False
Let q(k) = 3*k**2 + 9*k + 1. Is 12 a factor of q(-5)?
False
Suppose 0*y + 84 = -2*y. Let x be y/(-4)*768/(-14). Does 8 divide 2/(-11) - x/22?
False
Suppose 4*p - 16 = r, 25 - 9 = 4*p + 5*r. Is p a multiple of 4?
True
Let x = 1 - 1. Suppose x*b - 5*b + 20 = 0. Is b a multiple of 4?
True
Let d be (12/18)/((-2)/(-9)). Is 15 a factor of 4 + -1 + 24 + d?
True
Suppose -177 = -3*q - 6. Let n = 48 + -21. Let b = q - n. Is 10 a factor of b?
True
Let l(g) = 5*g**2 + g - 1. Let x be l(1). Suppose -x*i + 120 = -0*i. Is i a multiple of 17?
False
Suppose -1 - 87 = -2*c. Suppose 3*n + 5*a - c = 0, -4*a + 14 = n - 3*a. Is n a multiple of 5?
False
Suppose -f - 8 = -6*f - p, -4*f + 3*p + 14 = 0. Suppose -k = -f*l + 4, k = -3*l + 2 + 4. Suppose o - 4*q = -2*o + 31, -4*q - 26 = -l*o. Is 5 a factor of o?
True
Does 28 divide (1 - 55)*40/(-24)?
False
Suppose 7*f = 6*f + 67. Is 20 a factor of f?
False
Does 25 divide 75/2*(-4)/(-3)?
True
Suppose 3*h = -4*h + 336. Is h a multiple of 12?
True
Let c be (-78)/(-21) + 4/14. Let h(o) = -o + 0*o + 4*o. Does 6 divide h(c)?
True
Let m be 557/13 - 4/(-26). Suppose m + 13 = 4*v. Is 7 a factor of v?
True
Is 5 a factor of (-3)/(-2 + (-582)/(-300))?
True
Suppose -4*i = -0*i - 324. Let t = -27 + i. Is t a multiple of 18?
True
Suppose -5*x - 20 = -5*p, 8 = 2*p - 3*x - 1. Suppose -5*j = -p*f - 65, 3*j + f - 85 = -2*j. Is 8 a factor of j?
True
Suppose -5*p + 255 = -3*n, -3*p + 2*n + 188 - 34 = 0. Does 15 divide p?
False
Let o = -17 