?
True
Suppose -491 = -3*c - a, a + a - 326 = -2*c. Is 9 a factor of c?
False
Let j = 1 - -5. Suppose -5 = -3*i - 23. Let k = j - i. Does 10 divide k?
False
Let r = 12 + -3. Suppose -l - 2*l = -r. Suppose -l*s + 4 = -s. Does 2 divide s?
True
Let f(a) = a**2 + a + 1. Let d(j) = -j**2 - 9*j - 9. Let t(v) = d(v) + 6*f(v). Is t(3) a multiple of 11?
True
Let u(n) = n**2 + n - 2. Let k be u(0). Is (-2 - -32) + k + 2 a multiple of 14?
False
Let n = 80 - 63. Is n a multiple of 17?
True
Let g(n) = 10*n - 42. Let m be 1/2*(-11 - -1). Let b(q) = -7*q + 28. Let t(k) = m*g(k) - 7*b(k). Does 13 divide t(0)?
False
Suppose -9 = -v + b, 2*v = 3*b + 24 - 6. Let u(r) = -r**3 + 6*r**2 - r + 8. Let q be u(6). Suppose v = m + q*m. Is m even?
False
Does 6 divide (-1 - -59) + (1 - 4)?
False
Suppose 4 = z + 2*s - 1, 59 = 4*z - 5*s. Is z a multiple of 7?
False
Let m(l) = l**2 + 4*l + 2. Let o be ((-42)/(-35))/((-1)/5). Does 8 divide m(o)?
False
Suppose 0 = -4*w - 2*v + 6 + 4, 9 = 3*v. Let a be 2*(w - 2) + -20. Is -8*(2 + a/8) a multiple of 6?
True
Suppose 9898 = 24*t + 1882. Does 11 divide t?
False
Suppose u + 4*m = -2*u + 104, -5*m - 5 = 0. Suppose 3*g - u = -0*g. Does 12 divide g?
True
Let m be -1 - -55 - (1 + 0). Suppose -3*a = a + 152. Let l = a + m. Is 15 a factor of l?
True
Let p be (6/15)/((-6)/(-15)). Let k be (-6)/(-12) + p/(-2). Suppose k = 4*h + o - 56, -4*o = -2*h - 0*h + 10. Does 13 divide h?
True
Suppose 3*f + 136 - 392 = -5*r, -96 = -2*r + 2*f. Does 10 divide r?
True
Let b(o) = o. Let y be b(4). Let s be (6/y - 1)*6. Is (8/6)/(s/9) a multiple of 2?
True
Suppose -2*w = -51 - 9. Is 10 a factor of w?
True
Suppose 7*h - 5*h + 28 = 0. Is -3 + 7/(h/(-92)) a multiple of 29?
False
Let p(i) = i**2 + 2. Let s = 11 - 7. Is p(s) a multiple of 9?
True
Suppose 36 - 30 = 2*b. Suppose -b*y + 117 = -2*r, 2*r - 5*r + 78 = 2*y. Is 13 a factor of y?
True
Suppose t + 2*t = 0. Suppose 7*m - 6*m - 33 = t. Let a = 73 - m. Is a a multiple of 15?
False
Let v(i) = 4*i**2 + 7*i. Let x(d) = -8*d**2 - 15*d. Let u(w) = 13*v(w) + 6*x(w). Let o be u(-1). Suppose 0 = -o*z + 15 + 9. Is z a multiple of 6?
False
Does 3 divide 3/(9/12) + 6?
False
Suppose 4*g + 839 = 2215. Is 15 a factor of g?
False
Let t be 0*-2*(-2)/(-8). Suppose 0 = 3*n + 2*c - 43, 3*c + 3 = -t*c. Is 13 a factor of n?
False
Let x(g) be the third derivative of g**8/20160 - g**7/5040 - g**6/720 - g**5/20 + 2*g**2. Let c(k) be the third derivative of x(k). Is 10 a factor of c(-5)?
False
Let d = -3 - -10. Is 7 a factor of d?
True
Suppose 5*c - 420 = -5*b, 0 = -c + 2*b - 41 + 134. Let f = -50 + c. Is 12 a factor of f?
False
Let g = -6 + 6. Suppose -5*q - 3*d = -240 + 37, 3*q - 4*d - 145 = g. Does 22 divide q?
False
Let s(o) be the second derivative of 11*o**3/6 - o**2/2 - 2*o. Does 15 divide s(2)?
False
Suppose -72 = -6*j - 2*j. Is j a multiple of 3?
True
Suppose 2*p = -q + 6, p + 0*q - 2 = -q. Suppose p*v = m + 155 - 7, 0 = v + 4*m - 20. Does 18 divide v?
True
Let f = -16 + 65. Is 23 a factor of f?
False
Suppose -3 + 13 = -5*r, -5*r = 3*o - 74. Is 13 a factor of 7/o - 150/(-8)?
False
Let z(r) = 2*r**3 - r**2 - r + 3. Let h be z(3). Suppose 3*u = 2*s + 27, -5*u + 2*s + h = -s. Is 9 a factor of u?
True
Let l = 309 + -180. Is 43 a factor of l?
True
Let k(x) = x**3 - 3*x**2 - x - 3. Let v be k(4). Let o(p) be the first derivative of -p**3/3 + 13*p**2/2 - 10*p + 2. Is 14 a factor of o(v)?
False
Does 5 divide (-4)/(-6)*-3 - (-5 + -16)?
False
Let g(d) be the first derivative of d**3/3 + d**2/2 + d - 1. Is g(-4) a multiple of 3?
False
Suppose y - o = 2*y - 8, -y + o = -6. Suppose 5*c = w - 19, 0 = 5*w - c - 16 - y. Is 10 a factor of -4 + 1 + 136/w?
False
Let j = -7 - -11. Suppose -t = t - j. Is (-424)/(-10) + t/(-5) a multiple of 14?
True
Let q be (-69)/(-12) - 3/4. Suppose q*d = 2*d + 84. Does 13 divide d?
False
Let i = -119 - -215. Is i a multiple of 32?
True
Suppose -3*z - 9 = -0, -3*i + 3 = 5*z. Is 7 a factor of (-1 + 2)*(i - -1)?
True
Suppose 3*b - 5*k = 7*b - 14, 2*b - 6 = -2*k. Let z = 75 - b. Suppose 5*l - 162 = -x, 4*l = -4*x + 46 + z. Is 12 a factor of l?
False
Let n = -5 + 5. Suppose -4*h + n*h = 0. Suppose h = z - 5*c + 1, 5*z = -c + 2 + 19. Is z a multiple of 4?
True
Let k = 270 - 123. Is 21 a factor of k?
True
Suppose -4*y + 186 = -2*y. Let g = y + -25. Suppose 0*o + g = 4*o. Is 11 a factor of o?
False
Let p(w) = 5*w + 3. Let u(l) = -l**2 - 6*l - 5. Let h(d) = -d**2 + 12*d - 15. Let v be h(11). Let b be u(v). Is 11 a factor of p(b)?
False
Let y = -115 - -181. Does 17 divide y?
False
Let a be (-4)/3*12/8. Suppose -6*t = -3 - 69. Is 9 a factor of (162/t)/(a/(-4))?
True
Let h(x) be the second derivative of -x**3/6 - 2*x**2 - 4*x. Let v be h(-6). Suppose 3*l - 23 = v*q + 1, 0 = -l - q + 3. Is 6 a factor of l?
True
Suppose j + j = 204. Is j a multiple of 27?
False
Let w be (-5)/(-2)*(-12)/(-3). Suppose 0 = -5*o + w, 2*f + 3*f = -2*o - 86. Let d = 29 + f. Is d a multiple of 8?
False
Suppose -3*o - 2*a + 7*a = -27, 0 = 2*o + a - 31. Is 7 a factor of o?
True
Suppose 2*z + p + 2*p - 80 = 0, z + 4*p = 50. Suppose -3*m - 13 = -z. Does 7 divide m?
True
Is ((-264)/55)/((-4)/10) a multiple of 6?
True
Suppose 2*r + 3*n = r + 7, 5*r + n - 35 = 0. Suppose 281 = 4*o - 5*u, r*u - 3*u + 349 = 5*o. Is 20 a factor of o?
False
Suppose -1 = j, -4*g + 0*j + 35 = j. Let m = 9 - g. Suppose l = 32 - m. Does 10 divide l?
False
Let j be (-1 - -1)/((-4)/2). Suppose y = -j*y + 60. Is 20 a factor of y?
True
Let g be (2 - 4) + 13/1. Suppose -12*w + g*w = -42. Is 14 a factor of w?
True
Suppose -91 = -3*d - 2*b, 4*d = -4*b + 148 - 20. Is d a multiple of 9?
True
Let a be (-50)/(-18) - 4/(-18). Suppose -a*z + 53 = -10. Is z a multiple of 21?
True
Let a(w) = 3*w**3 - 2*w**2 - 8*w + 9. Let v(d) = -6*d**3 + 4*d**2 + 15*d - 17. Let l(y) = -11*a(y) - 6*v(y). Is 6 a factor of l(2)?
False
Let s be (-6)/4 - (-324)/(-8). Let i = 60 + s. Does 9 divide i?
True
Is 18 a factor of (-8)/(-6)*648/16?
True
Let n be (4/4)/(-2 + 1). Let u be n/5 + (-311)/(-5). Suppose 5*a - 3*a - 3*q - u = 0, 5*q = -2*a + 46. Is 14 a factor of a?
True
Let c = 1 - 9. Let d(a) = -a**2 + a + 13. Let q be d(0). Let f = c + q. Is 2 a factor of f?
False
Let j be (-2)/(48/(-26) + 2). Let r(m) = -m**2 - 14*m. Is 5 a factor of r(j)?
False
Let f(q) = -q**3 + q**2 + 2*q. Suppose 0 = -5*w - 4 - 11. Does 6 divide f(w)?
True
Suppose 0*t + 13 = t. Let h(j) = -t - j**2 + 6 - 13*j - 5. Is h(-11) a multiple of 5?
True
Let d = -71 - -110. Is d a multiple of 13?
True
Suppose -3*x = 3*w - 42, -4*w = 2*x - 17 - 3. Is 10 a factor of 2/(-6) - (-240)/x?
False
Let y(b) = 23*b**3 - 3*b**2 + b - 9. Let v(z) = 12*z**3 - 2*z**2 + z - 5. Let x(r) = 5*v(r) - 3*y(r). Does 22 divide x(-2)?
True
Let k(g) = -g**2 - 2 + 5 - 3 + 3 - 5*g. Let c be k(-5). Suppose -5*m - 22 - 13 = -5*t, -t + 5 = -c*m. Is 5 a factor of t?
False
Let m = -79 - -151. Is 24 a factor of m?
True
Suppose 5*d - 8 = s, 96 = -5*s + 2*d + 10. Let b = 4 + s. Let z = 32 + b. Is z a multiple of 9?
True
Let h(s) = -4*s. Does 3 divide h(-5)?
False
Let a be 124/(-2*(-2)/4). Suppose -2*h = -5*t + 2*h + a, 0 = -3*h + 12. Suppose -2*z + 28 = z + 2*v, -2*v - t = -4*z. Is z a multiple of 5?
False
Let l(b) = -69*b + 1. Let t be l(1). Let i be (-354)/8 - 4/(-16). Let u = i - t. Does 11 divide u?
False
Let s(f) = f**3 - 7*f**2 + 3. Let i be s(7). Suppose -i*z + 24 + 63 = 0. Suppose 0 = 5*b - z - 46. Is b a multiple of 15?
True
Suppose 0 = -5*p - 41 + 331. Does 15 divide p?
False
Let m(f) = -f**3 + 5*f**2 + f - 6. Let y be m(5). Let a = -28 + y. Let r = -19 - a. Does 5 divide r?
True
Suppose 2*d = 4*d - 4. Suppose 0*r = -d*r + 82. Is r a multiple of 9?
False
Let i be 84/10 + 16/(-40). Suppose 6*d + 40 = i*d. Is 10 a factor of d?
True
Let z(y) be the first derivative of 2*y**2 - 5*y - 2. Is 8 a factor of z(9)?
False
Suppose -4*n + 5*g = -0*n + 40, 0 = 4*n + 4*g + 4. Let f = n - -16. Is 8 a factor of f?
False
Let u(i) = -i**2 - i. Let z(p) = -7*p**2 - 12*p + 9. Let a(b) = 6*u(b) - z(b). Suppose 4*l = 4*x - 12 - 16, 3*l - 5*x = -17. Is a(l) a multiple of 7?
False
Let s be 0 + -2 + 9 + -1. Let k = s - 8. Is 5 a factor of (-72)/(-5) + k/5?
False
Let r(h) = 4*h**2 + 4*h + 1. Let p(i) = -11*i**2 - 13*i - 3. Let q(k) = 2*p(k) + 7*r(k). Does 20 divide q(-3)?
False
Let i(f) = 2*f -