 Suppose x + x - i = 0. Does 9 divide x?
True
Let j be (-4)/10 + (-26)/10. Does 4 divide (j - -1) + (-24)/(-4)?
True
Suppose -u + 0 - 3 = 0. Suppose 2*l = 6, -l - 3*l + 7 = -5*o. Does 16 divide -6 - u - o*-35?
True
Suppose 9*y - 96 = 13*y. Let m be 262/6 + (-2)/(-6). Let j = m + y. Is j a multiple of 10?
True
Let q(r) = -9*r + 1. Let z be q(-1). Suppose -3*w + 8 = -z. Let y(g) = 2*g**2 - 7*g - 5. Does 9 divide y(w)?
False
Let i = -127 - -160. Is 21 a factor of i?
False
Suppose -4*h - l = -0*l - 32, h - 3*l = -5. Is 6 a factor of h/((-15)/6 + 3)?
False
Suppose 7*r - 25 = 2*r. Suppose -3 = -r*u + 12. Is 3 a factor of u?
True
Suppose -5*b + 2005 = -5*p, 5*b + 749 - 2714 = -3*p. Does 44 divide b?
True
Let h(o) = o**3 - 5*o**2 + 4*o - 12. Let n be h(6). Let r(i) = i**3 - 6*i**2 + 4*i + 5. Let c be r(5). Does 10 divide c + (-5)/((-15)/n)?
False
Let o be (-4)/6*15/(-2). Suppose -23 = 2*g - 0*g + y, 0 = -3*g + y - 27. Is 14 a factor of g/(-25) - (-68)/o?
True
Let o = -1 + 4. Suppose -o*g = -2*g + 8. Let h = g + 18. Does 5 divide h?
True
Suppose k = -2*k - 5*a - 35, -28 = 4*k + 2*a. Let v be (-43)/k + 4/10. Suppose -3*h + 3 = -v. Does 4 divide h?
True
Let b(p) = -p**3 - 6*p**2 - 5. Let l be b(-6). Let h = -12 - -20. Let t = l + h. Is t a multiple of 3?
True
Let i(m) = m**3 + 2*m**2 - 2*m. Let p be i(-3). Let f = p - -9. Suppose c = f*c - 30. Does 4 divide c?
False
Let a be 82/(-4)*(-14 + 4). Suppose -3*c + a = 5*d, -3*c + 310 = 2*c + 2*d. Is c a multiple of 16?
False
Let j = 38 - -39. Does 23 divide j?
False
Suppose 5*z - 3 - 12 = 0. Is 3 a factor of z?
True
Let l = 3 + -4. Let i = 2 - l. Suppose -i*o - 2*o + 40 = 0. Is 5 a factor of o?
False
Suppose -5*a + 294 = 79. Is a a multiple of 13?
False
Suppose 5*h = 4*h + 7. Is 2 a factor of h?
False
Let v(g) = 3*g**2 + 1. Let o be v(1). Suppose 3*u - u = 5*a - 117, o*a - 3*u - 88 = 0. Does 15 divide a?
False
Suppose 5*d = 5*z + 1215, z + 393 = 4*d - 579. Does 27 divide d?
True
Let a = 63 + -43. Does 18 divide (a - 0 - 2)*3?
True
Let y = 15 - 15. Suppose -2*s = -4, 0 = -3*o - 8*s + 3*s + 19. Suppose o*i - 7 - 17 = y. Does 4 divide i?
True
Let h(a) = 0*a**2 - a**3 - 2*a**2 + 2*a + 3*a**2 - 3. Does 27 divide h(-3)?
True
Suppose -3*y - y = -108. Let t = -9 + y. Does 9 divide t?
True
Let z = 166 + 98. Does 66 divide z?
True
Let c = -3 + 3. Let u = c - -5. Suppose -u*g + 50 = h, -2*g = 6*h - 2*h - 20. Is g a multiple of 4?
False
Suppose 2*a - 39 = -a. Is a a multiple of 8?
False
Suppose 2*s - 199 = -53. Let o = 114 + -64. Let v = s - o. Is v a multiple of 10?
False
Suppose -3*h - 2*r = 50 + 13, -h - 3*r = 14. Let p = -32 - h. Let f = 7 - p. Is 8 a factor of f?
True
Let v(b) = b**2 + 11*b + 2. Let f be v(-12). Let z = 35 - f. Is 7 a factor of z?
True
Let y(m) = m**3 - 9*m**2 - 2*m - 10. Is 11 a factor of y(10)?
False
Suppose -4*r = 3*h - 104, -r - 37 = -5*h + 4*h. Does 12 divide h?
True
Let t(w) be the first derivative of 2*w**3/3 + 6*w**2 - 5*w + 4. Let z be t(-10). Suppose -9 = -2*g + z. Does 14 divide g?
True
Let k = 46 - -24. Is k a multiple of 17?
False
Is 8*(8 + (-1 - 0)) a multiple of 25?
False
Suppose -30*b = -18*b - 3420. Is b a multiple of 38?
False
Let u = 186 + -102. Let g = u + -42. Is g a multiple of 9?
False
Let p(x) = -x**2 + 8*x - 12. Is 3 a factor of p(5)?
True
Suppose -7*p + 50 = -5*p. Does 8 divide p?
False
Is 50/6*3 + -3 a multiple of 11?
True
Let v(l) = -l**3 + 8*l**2 - 3*l + 2. Is v(7) a multiple of 6?
True
Suppose -6*h = -h - 275. Suppose 0 = -5*x - 0*x + 20. Suppose -h = -m - x*m. Does 11 divide m?
True
Suppose -b = 4*b + n - 5, -4*b - n = -3. Suppose 0 = b*a - 4 - 60. Let p = a + 17. Is 16 a factor of p?
False
Let l be 0 + (1 - 0 - -7). Suppose -l = 2*s - 6*s. Is (s + -3)/((-1)/3) even?
False
Let o(a) be the second derivative of -19*a**4/12 + a**3/6 - a. Let c be o(1). Is (-400)/(-18) - (-4)/c a multiple of 9?
False
Let g(p) = -p + 14. Is g(6) a multiple of 8?
True
Is 8 a factor of 10*-6*2/(-5)?
True
Let a = 210 - 99. Is a a multiple of 27?
False
Suppose 5*w - s = 344, -w - 5*s = -4*s - 64. Is w a multiple of 4?
True
Suppose 78 + 39 = 3*v. Does 16 divide 6/v - 271/(-13)?
False
Let r(w) be the second derivative of 0*w**2 - 8/3*w**3 - 3*w + 0. Is r(-1) a multiple of 8?
True
Let a(q) = -3*q - 3. Let y be a(-10). Suppose 33 = 5*d + 2*w, -4*d = 5*w - 13 - y. Is 2 a factor of d?
False
Suppose n - 3*n = 0. Let l be 2*(-2 + 7/2). Suppose -4*v = -4*d + 4, 4*d - 18 = -l*v - n. Does 3 divide d?
True
Let i(l) = l**3 - 14*l**2 + l - 8. Let o be i(14). Suppose -77 = -5*u + 8. Suppose -u = -m - o. Does 11 divide m?
True
Let o(s) = 2*s**2 + 7*s + 6. Let k be o(-6). Is 22 a factor of (k + -3 - 3) + 3?
False
Suppose 7*n - 60 = 3*n. Is n a multiple of 5?
True
Suppose 4*s - 12 = 0, 0*s + 159 = 2*c - s. Is 15 a factor of c?
False
Suppose -2*b - 3*b = 4*a - 4, 3*b = -3*a. Does 18 divide (-71)/a - (-4)/16?
True
Let m(u) = u**3 + u**2 - 3*u - 2. Let i be m(4). Is 2/(-8) + i/8 a multiple of 3?
False
Let n be (30/(-9))/(2/(-42)). Does 10 divide ((-4)/5)/((-2)/n)?
False
Suppose -63 = -2*j + 3*j. Let i = 107 + j. Is i a multiple of 13?
False
Let n be 1/(-2)*-2*-3. Let i(f) = f**3 + 8*f**2 + 3*f + 4. Is 25 a factor of i(n)?
False
Suppose -63 - 113 = -2*r. Is r a multiple of 11?
True
Let i = 104 - 68. Is 3 a factor of i?
True
Let b(g) = -4*g**3 + 6 + 12*g**2 + g + 3*g**3 + 3. Is b(12) a multiple of 8?
False
Let g be (-6 - -1)*(2 + -1). Let b = -1 + g. Does 15 divide 10/15 + (-176)/b?
True
Let y = 265 - 172. Is 6 a factor of y?
False
Let p(f) = -f**3 + 8*f**2 + 6*f - 6. Suppose -4*j - 4*a - a = -47, j = 4*a - 4. Does 21 divide p(j)?
True
Suppose -2*c = -n + 12, -6*n + 20 = -4*c - 2*n. Is 10 a factor of 1 - -1 - (c + -1)?
True
Suppose 4*w - 40 = -h + 4, -2*h = w - 53. Suppose 3*x - h = -3*g + 30, g = x - 22. Does 6 divide x?
False
Suppose 7*u = 3*u + 12. Suppose -c + 3*i = u*c - 104, -5*c = 2*i - 107. Is c a multiple of 7?
False
Suppose 5*w + k = 27, 1 = 4*k - 7. Let l(x) = x + 2. Is 2 a factor of l(w)?
False
Let k(u) = -u**3 - 4*u**2 - 9*u - 12. Is k(-5) a multiple of 4?
False
Suppose 0 = 2*f - f. Suppose f = -3*m - p + 26, 0*m = -5*m - 5*p + 40. Is 4 a factor of m?
False
Is 4/(-6)*495/(-30) a multiple of 11?
True
Let y(x) = -11*x - 11. Let d(r) = -11*r - 11. Let s(c) = -4*d(c) + 3*y(c). Does 14 divide s(5)?
False
Let b(q) be the first derivative of 2*q**3 + q - 5. Suppose 5*c - 3 - 2 = 0. Is 6 a factor of b(c)?
False
Does 13 divide (13 + -17)*((-34)/4 + 2)?
True
Let w be (-2 + 1)*(-31 + 3). Let a = -4 - 3. Let b = w + a. Is 10 a factor of b?
False
Suppose -471 - 39 = -5*x. Is x a multiple of 32?
False
Let t(i) = 4*i**2 - 2*i + 1. Let f be t(1). Is 80/3 + (-2)/f a multiple of 13?
True
Suppose 5*j + 2*h - 1332 = 0, 2*h = -5*j - 3*h + 1320. Is j a multiple of 26?
False
Let l = -53 + 31. Suppose y - 6*y - 155 = 0. Let k = l - y. Does 9 divide k?
True
Suppose 0*g + 12 = 3*g. Suppose 5*n + 2*j + 248 = 0, 2*n - g*j + 104 = -0*j. Let u = -26 - n. Is 7 a factor of u?
False
Suppose p - 1 = 3. Suppose k - p*k = -72. Is 12 a factor of k?
True
Let i(v) = -10*v**2 + 137*v**3 - 15*v**3 - v + 8*v**2. Let y be i(2). Is 1/(-4) + y/24 a multiple of 14?
False
Let v(q) = -q**3 - 10*q**2 + 9. Let u(r) = -r**3 + 2*r**2 + 6*r - 2. Let y be u(4). Is v(y) a multiple of 3?
True
Let c(y) = -y**3 + 3*y**2 + 4*y + 3. Does 2 divide c(-2)?
False
Let s = 17 + 1. Is s a multiple of 18?
True
Let t be (876/(-18))/((-4)/(-6)). Let i = -107 - t. Let r = 47 + i. Is r a multiple of 9?
False
Suppose -u + 2*u + 4 = 0. Let j be (-145)/10 + 2/u. Is (-2)/(-6) - 145/j a multiple of 5?
True
Suppose f - 3*f + 158 = 0. Is 5 a factor of f?
False
Suppose -w + 290 = 4*w. Let a be (-2)/(-4)*-2 - -10. Suppose -5*v + a = -2*v, 0 = -5*l + 4*v + w. Is 14 a factor of l?
True
Suppose -5*y + 22 = 3*k - 34, 20 = 2*k - y. Suppose 5*c = 3*c + k. Is 6 a factor of c?
True
Let g(d) = -30*d + 2. Let j be g(-7). Is 7 a factor of (-4)/20 + j/10?
True
Suppose -s - 3*l - 20 = -8*l, -4*l = -5*s - 16. Suppose a + 1 = s, u + 4*u - 128 = 3*a. Does 10 divide u?
False
Suppose 3*c - c = -290. Let l be c/4 + (-4)/(-16). Is l*((-3)/4 - 0) a multiple of 12?
False
Suppose 11*c = 10*c + 60. Does 15 divide c?
True
Is 452*(-5)/20*-3 a multiple of 42?
False
Let g(m) = -16*m - 10. Let f be g(-5). Su