 Let i = a + -9. Is 2 a factor of i?
True
Let b(o) = 4*o**2 + o - 7. Let y be ((-2)/3*9)/1. Let d be b(y). Suppose 5*s - 64 = d. Is s a multiple of 21?
False
Let d(y) = 6*y - 6. Suppose -4*b - b = -30. Let w be d(b). Suppose z - 6*z + w = 0. Is 6 a factor of z?
True
Suppose -4*r + 429 + 327 = 0. Is r a multiple of 19?
False
Suppose -7 = -2*g - 1. Let t = -26 + 29. Suppose t*u - 30 = -g*l, 5*u + 48 = 2*l - 0*l. Is 12 a factor of l?
False
Let i be (0 - 10/(-6))*3. Suppose -i*f - 21 = -2*f. Does 8 divide (-93)/f + (-2)/7?
False
Let n(d) = 16*d**2 - 2*d - 5*d**2 - 5*d**2 - 5. Let w be n(4). Suppose w = 3*h + 2*r, 0*r + 41 = h + 4*r. Does 11 divide h?
False
Let w be 1 + 1 + (2 - 4). Suppose -4*c + w*c = -96. Let i = c + -14. Is i a multiple of 4?
False
Let g(u) = -2*u. Does 5 divide g(-5)?
True
Suppose -2*x + 13 - 1 = 0. Let j(g) = 5*g - 5. Let b(y) = -3*y + 3. Let s(h) = 8*b(h) + 5*j(h). Is s(x) even?
False
Let t(v) be the second derivative of -v**3/6 - 5*v**2 - 2*v. Let f be t(-6). Is f/(-6) + 102/9 a multiple of 12?
True
Let o = 56 - 92. Let q be (-4)/2 + 4/1. Does 20 divide (o + q)/((-2)/2)?
False
Suppose 5*u + i = 14, 5*u = 3*u + i. Suppose u*q - q - 96 = 0. Suppose g + g = q. Does 16 divide g?
True
Let r(s) = 4*s**2 - 2*s - 6. Does 26 divide r(-5)?
True
Let u = 3 + 8. Let q(c) = 5*c + 2. Is 19 a factor of q(u)?
True
Let d(g) = 3*g**2 + 10*g + 8. Let n be d(-8). Suppose -3*z + n = 2*z. Is 12 a factor of z?
True
Does 16 divide 2/7 + 11622/91?
True
Let x = -91 + 162. Suppose -3*l = -4*n + 119, -3*n + l + x + 12 = 0. Is n a multiple of 13?
True
Let g = -24 + 44. Suppose -2*z + g = -6. Does 12 divide z?
False
Let o(s) = s + 2. Let r be o(0). Let l(u) = -r - u + 11*u**2 - 2*u + 4. Does 11 divide l(2)?
False
Let s = 30 + 3. Does 3 divide s?
True
Let o = 30 + -44. Let n = 1 - o. Is n a multiple of 12?
False
Let y = 8 + -3. Let k = y - 8. Is 2 a factor of (-1)/(k/12) - -1?
False
Suppose -4*j = 5*r - 37, 4*r + 5 = j + 22. Suppose -2 = 3*f - 4*c, -j*f = -4*f + c. Does 2 divide f?
True
Let s be (-1 - -3)/(1/7). Let o be ((-12)/s)/(8/(-56)). Is (o/(-15))/((-1)/85) a multiple of 15?
False
Let u = 0 + 5. Let d(m) = 5*m**2 + m + 1. Let k be d(-1). Let o = u + k. Is o a multiple of 3?
False
Let z be -3 + (-33)/(-3) - 3. Is (2/z)/(5/500) a multiple of 17?
False
Suppose 7 - 4 = z. Suppose 0 = w + 2*w + z*o - 87, 2*w - 5*o - 51 = 0. Is w a multiple of 14?
True
Let f = -42 - -93. Is f a multiple of 17?
True
Suppose 0 = -3*r - 2*r + 20. Suppose 3*n - 2*n - r*b + 11 = 0, -2*b - 35 = -5*n. Let f = n + 15. Does 8 divide f?
True
Let b be 2 - (-3)/(3 + -2). Suppose -84 = -b*l + 16. Is l a multiple of 20?
True
Suppose -l + 5*l = 16. Does 4 divide l?
True
Suppose 2*c = -6 + 22. Is 8 a factor of c?
True
Let o = 7 - -43. Suppose -8*t = -3*t - o. Is t a multiple of 5?
True
Let g = 231 - -71. Is g a multiple of 10?
False
Let z(f) = 2*f**3 - 8*f**2 + 5*f - 5. Let l be z(5). Suppose 3*t + 2*t - l = 0. Is t a multiple of 14?
True
Suppose 2*i - 407 = t - 140, 559 = 4*i + 3*t. Suppose -3*c + 13 = -x - 10, -2*c - 5*x = -4. Suppose c*g - 5*m - i = 3*g, -g + 13 = 4*m. Is g a multiple of 14?
False
Let v = -258 + 431. Is 25 a factor of v?
False
Let f = -5 + 44. Is f a multiple of 17?
False
Let r(u) = -u + 7. Is r(-11) a multiple of 5?
False
Suppose -5*q - 20 = -5*b, -5*q - b - 4*b = -30. Let v be (2 + 1 + q)*3. Suppose 0 = 4*g + 3*i - 70 - 1, 0 = -4*i - v. Does 20 divide g?
True
Suppose 2*l + 8 = 2*b - 10, -3*l + 3 = 3*b. Let w(q) = -q**2 - 6*q + 4. Let a be w(l). Does 9 divide (-114)/(-4) + (-18)/a?
True
Suppose -3*r - 3*g + 1 = -4*r, -5 = -r - 3*g. Suppose -r*v + 4*h - 300 = -7*v, 2*h = 5*v - 300. Is 30 a factor of v?
True
Suppose 0 = 2*k - 3*d + 2*d - 13, 4*k = 3*d + 31. Let y = -2 + k. Suppose -4*f = -5*l + 68 - 5, -y*l - 5*f = -45. Does 15 divide l?
True
Suppose -l + 2*l = 13. Let h = 36 - l. Is h a multiple of 11?
False
Let v(y) = -y + 10. Let q be v(8). Suppose -7 = -q*z + 21. Does 14 divide z?
True
Let t(x) = x**3 - 6*x**2 + 7*x + 2. Let q = -18 + 23. Does 4 divide t(q)?
True
Let u = 11 - 1. Is u a multiple of 9?
False
Is (-1*21/12)/(1/(-24)) a multiple of 7?
True
Suppose -5*d + 8 = -3*d. Let i be 25*1*(-3 + d). Suppose -4*n + 27 = -i. Is 10 a factor of n?
False
Suppose -1 = -2*i + 3. Let j = -24 + 20. Does 7 divide (-18)/(-2) + j + i?
True
Suppose 20 = -j - 3*j. Does 10 divide (-3 - -6) + j - -40?
False
Suppose h - 2*h - 2 = -2*y, 5*h - y = 17. Suppose -t + 2*x + 7 + 8 = 0, 0 = -t + h*x + 21. Does 3 divide t?
True
Let b = -6 + 10. Let k be ((-12)/(-10))/(b/30). Is ((-16)/(-1))/(6/k) a multiple of 12?
True
Let n be 28/6 + 4/12. Does 5 divide (-3 + n)*38/4?
False
Suppose 11*l - 9*l - 204 = 0. Does 17 divide l?
True
Is 7 a factor of (-3 - -4)/((2/(-1))/(-22))?
False
Let w(d) be the second derivative of -d**5/20 + 5*d**4/12 - d**3/3 - d**2 - d. Does 10 divide w(3)?
True
Is 4/3*(-555)/(-10) a multiple of 18?
False
Suppose -4*b + 2*b - 4*z = -22, 2*b + z - 10 = 0. Suppose -2*x - b*x = -190. Is x a multiple of 19?
True
Let h(s) = s**2 + 6*s. Is 27 a factor of h(-9)?
True
Suppose -3*b - 5*y = 1, b + 1 = -5*y - 6. Suppose 21 = b*h + 3*o, -2*h + 6*o + 17 = 9*o. Does 2 divide h?
True
Suppose -1 - 119 = -10*p. Is p a multiple of 4?
True
Let l(h) = -h + 7. Suppose 13 = 3*f - 4*p, 14 = 6*f - 2*f - 2*p. Suppose a - 2 = f. Does 2 divide l(a)?
True
Let p = 479 - 271. Does 21 divide p?
False
Let d(v) = -v**3 - 9*v**2 - 9*v - 10. Let k be d(-8). Let t be -1 - 14*k/4. Suppose 10 + t = 4*a. Is 3 a factor of a?
False
Let l = 955 + -632. Is l a multiple of 17?
True
Suppose 4*i + 2044 = 18*i. Is 7 a factor of i?
False
Suppose 3*l - 84 - 66 = 0. Suppose 0*o - 3*o + 6 = 0. Suppose -o*a + l = 8. Does 21 divide a?
True
Suppose -25 = -2*m - 3*m. Suppose 2*b = 5*h + 35, -b + 3*h + 2*h = -m. Does 15 divide b?
True
Suppose -29 - 6 = -5*y. Let d = 9 - y. Is 12 + (0 + d - 1) a multiple of 5?
False
Let r(k) = 26*k**2 + 2*k + 1. Does 25 divide r(-1)?
True
Suppose 3*f + 95 - 3 = -j, 3*j + 52 = -2*f. Let a = 48 + f. Is 8 a factor of a?
True
Let d(w) = w + 18. Let g = 0 + 5. Suppose 31 = -3*s + g*i, 3*i = 4*s + 55 - 10. Does 3 divide d(s)?
True
Let o(t) = t**2 + 10*t + 1. Let h be o(-10). Suppose -h + 5 = s. Is s a multiple of 3?
False
Suppose -5*c = 3*d - 3*c - 198, -192 = -3*d - 4*c. Is 34 a factor of d?
True
Let y(p) be the second derivative of -p**5/20 - p**4/4 + p**3/6 - 5*p. Does 3 divide y(-4)?
True
Let q = -4 + 2. Let o = 4 + q. Is 6 a factor of 0 + -2 + o + 7?
False
Let a(c) be the second derivative of -c**4/12 - 3*c**3/2 - 3*c**2 - 2*c. Let m be a(-8). Suppose -5*j - 64 = -5*q + 41, m*j - 6 = 0. Is 8 a factor of q?
True
Suppose 2*k - 90 = -3*k. Is 5 a factor of k?
False
Let i(u) = -36*u - 5. Is i(-2) a multiple of 6?
False
Suppose 5 = -2*s + 17. Is 2 a factor of s?
True
Let y be (-2)/(-2) - (33 - -2). Let g = y - -83. Is 15 a factor of g?
False
Let s(h) = -h**3 + 5*h**2 + 5*h - 4. Let z be s(6). Does 8 divide (-3 + -57)*4/z?
True
Let c = -5 - -318. Is 19 a factor of c?
False
Suppose -2*g - 5*g = -252. Is 18 a factor of g?
True
Suppose 6*k = -34 + 304. Is 45 a factor of k?
True
Let l(v) = -2*v**3 - v + 12. Is l(0) a multiple of 4?
True
Let w be 6/15 + 24/(-10). Let k be w/(-4) - (-6)/4. Suppose -k*g - 2*h = -30, 7*g - 5*h = 3*g + 24. Is g a multiple of 11?
True
Is (5 - 7 - 204)/(-2) a multiple of 10?
False
Let n = 154 + -81. Does 13 divide n?
False
Suppose -c = -73 - 70. Does 40 divide c?
False
Let a(w) be the first derivative of 1/4*w**4 + w + 1 - 5/3*w**3 + 1/2*w**2. Is a(5) a multiple of 5?
False
Let r be (1 - 1)*(-2)/4. Suppose 0 = 3*t - r*t, 0 = u + 3*t - 2. Suppose u*a + 68 = 6*a. Does 6 divide a?
False
Let a = 2 + 5. Suppose -b + 4*c + 17 = -0*c, -b - a = 4*c. Is b a multiple of 2?
False
Is (-564)/(-20) + -4 + (-1)/5 a multiple of 4?
True
Suppose 11*b - 12*b + 28 = 0. Is 4 a factor of b?
True
Let x(f) be the second derivative of -7*f**4/12 - f**3/6 - f**2/2 + f. Let l be x(-1). Let h = l + 13. Is 4 a factor of h?
False
Suppose 0 = -4*q - 9 + 25. Suppose g + 4*g + 22 = 3*n, -q*n = -2*g - 20. Is 8 a factor of 3*3/g*-2?
False
Let y = -8 + 10. Suppose y*f - 15 - 39 = 0. Does 9 divide f?
True
Let y be ((-8)/6)/((-4)/6). Suppose -4*k = -y*c + 8 + 6, 3*k = -5*c + 35. Suppose -2*q + c*u + 27 = 4*u, -u