True
Let p = -106 - -124. Is 3 a factor of p?
True
Suppose -h = -3*a + 5, 4*h - 28 = -6*a + 2*a. Suppose -p - 2*s = 8, 3*p + 4 = -h*s - 10. Is (-1)/(p/(-6))*11 a multiple of 13?
False
Suppose 1 = -0*v + v. Suppose 3*y - 3 = -9. Let c = v - y. Is 2 a factor of c?
False
Suppose 6*h - 11 = 31. Is h a multiple of 7?
True
Let l(j) = -j**2 - 6*j - 5. Let m be l(-3). Let b = m - -7. Is 7 a factor of b?
False
Let x(a) = -39*a - 3. Let r(s) = -40*s - 2. Let t(q) = -3*r(q) + 2*x(q). Is 16 a factor of t(1)?
False
Let z(y) = 12*y**2 - y + 1. Is 2 a factor of z(1)?
True
Let p(s) = 6*s - 10. Is p(4) a multiple of 14?
True
Let b(h) = -16*h + 1. Let r be b(-1). Let j = r + -5. Is 6 a factor of j?
True
Let m be 4 + 0 + (-3 - -4). Let p(t) = -t**3 + 7*t**2 - 4*t + 1. Let c be p(m). Suppose 4*n - 25 = c. Is 8 a factor of n?
False
Let w(t) = -t**2 - 16*t - 34. Is w(-10) a multiple of 13?
True
Let k be 0/(-1 - (-1 - -1)). Suppose -p + 3*p + 12 = k. Is 3 a factor of (9/p)/(3/(-16))?
False
Suppose -r + 1 + 3 = 0. Suppose 3*i = -4*c + 53, -r*i + 7*c - 3*c = -52. Let o = 37 - i. Is o a multiple of 17?
False
Does 29 divide 1/3 + (-782)/(-3)?
True
Let q be 10/4*(2 - 4). Let u(h) = h + 1. Let k be u(q). Is 10 a factor of -3*((-80)/(-6))/k?
True
Let g be -3 - 3*(-1 - 0). Suppose -3*z + 14 + 115 = g. Is 17 a factor of z?
False
Does 6 divide (-4)/(-8) + 1/((-4)/(-562))?
False
Let y(c) = -c**3 - 5*c**2 + 6*c + 4. Is 2 a factor of y(-6)?
True
Let i(t) = t**3 + 14*t**2 - 4*t - 20. Let a be i(-14). Suppose a = -s + 100. Does 16 divide s?
True
Suppose -d - 42 = -2*d. Is 4 a factor of d?
False
Suppose 11*v + 64 = 13*v. Is 32 a factor of v?
True
Let c = -40 + 250. Suppose 3*h + m - 290 = 6*m, -2*h + c = 5*m. Suppose -2*t = 3*t - h. Is 10 a factor of t?
True
Is 60 a factor of (-4)/(-14) - 2056/(-7)?
False
Is 15 a factor of (-3)/7 + (-958)/(-14)?
False
Suppose -24 = -3*m - 3*n, -m - n + 24 = -4*n. Does 6 divide m?
True
Suppose 0*n + 5*n = 20, -2*v - 4*n = -124. Is v a multiple of 9?
True
Let x(t) = t + 17. Let q(r) = 8. Let o(h) = -5*q(h) + 2*x(h). Does 6 divide o(6)?
True
Let z(i) = 2*i + 2*i - 5*i + 3. Let o be z(5). Does 2 divide o/((-12)/5 - -2)?
False
Suppose f + 3*f = 56. Suppose v = -v + f. Is v a multiple of 7?
True
Does 8 divide (-1 + 1 - 2)*-4?
True
Let x(m) = m + 5. Suppose -f = 3*f. Suppose f = -2*g + 8 + 2. Does 5 divide x(g)?
True
Suppose -3 = 4*b - 179. Is 17 a factor of b?
False
Suppose -3*g + 6 = -3*m + g, -2*g = -3*m. Suppose t + 7 = -4*j, -5*t = -m*j - j - 57. Does 7 divide t?
False
Let n = -62 - -104. Let g = -24 + n. Is 9 a factor of g?
True
Let d be 2 + 0*(-2)/(-4). Suppose o - 25 = -a, a - 60 = -d*o - 11. Is o a multiple of 14?
False
Suppose -i + 3 = -0*n + 2*n, 0 = 3*i + n - 14. Suppose -i*b + 175 = -0*b. Is b a multiple of 17?
False
Let u = 11 - 6. Let x = u - 3. Suppose k - 2*o = 4 - 1, -x*k + o + 6 = 0. Does 2 divide k?
False
Suppose 0 = 171*a - 176*a + 655. Is a a multiple of 15?
False
Let v(i) = -i**2 - 2*i + 3. Let p be v(-3). Suppose p = 3*j - 79 + 265. Let g = -44 - j. Does 18 divide g?
True
Let q = -7 + 41. Is 17 a factor of q?
True
Does 6 divide (-92)/(-5) - 16/40?
True
Suppose 5*d = -x - 1, 2*x - x - d = 17. Let u = 29 - x. Does 5 divide u?
True
Is 8 a factor of (-342)/(-24) - 3/12?
False
Let l be (-8)/(-28) - 52/(-14). Suppose -3*j + 6 = 4*t - l, 8 = -4*t. Suppose 9*a = j*a + 72. Is a a multiple of 12?
True
Suppose 2*p - 64 = -5*q, q - 4*p + 2 = 2*q. Suppose -2*s + q = 4. Is s a multiple of 2?
False
Let h(l) = -l + 14. Let t be h(9). Suppose t*p = p + 8. Suppose -3*q + 53 = -p*i, 4*q - 108 + 40 = 4*i. Is 19 a factor of q?
True
Let k = -109 - -209. Suppose -7*y = -3*y - k. Is 8 a factor of y?
False
Let u(n) = n**3 - 4*n**2 - 4*n. Let l be u(5). Suppose 0 = 5*f - l*z - 25, -f + 3*z + 16 = 5. Is 15 a factor of (f/(-5))/((-1)/75)?
True
Let w(t) = t**3 + 7*t**2 - 7*t + 11. Let q be w(-8). Let c(h) = h + 3 + 11*h**2 + 1 - q. Does 5 divide c(-1)?
False
Let h be -3 + 2 - (-1 + -112). Suppose 3*m = -4*p + 121, -4*p - 5*m = 1 - h. Is 8 a factor of p?
False
Let o(j) = 12*j. Let g = 15 + -1. Suppose 0 = u - 0*u + 5*w + 9, -5*w = -4*u + g. Does 6 divide o(u)?
True
Let z(v) = -v + 74. Let l be z(0). Let i = 143 - l. Is 22 a factor of i?
False
Suppose -3*n + n - 119 = -5*k, 0 = -k - 4*n + 37. Let a = 5 + -4. Let y = k + a. Is y a multiple of 10?
False
Let f(z) = 6*z - 1. Let o be f(1). Let w be 1*69 + (-1)/1. Suppose w = 4*y - 2*l, y - o*l = -l + 31. Is 9 a factor of y?
False
Let c = 260 - 98. Suppose -c = -5*m + 2*y + 2*y, 5*m = 5*y + 165. Does 10 divide m?
True
Let c = -79 + 160. Let z = c - 42. Does 17 divide z?
False
Let c(d) = d**2 + 7*d - 16. Let o(z) = z. Let f(i) = c(i) - 2*o(i). Is 22 a factor of f(-13)?
True
Let s(n) = -3*n**3 - n**2 - 2*n - 3. Is 12 a factor of s(-2)?
False
Let v(b) = -b**2 - 15*b + 12. Is v(-12) a multiple of 16?
True
Suppose -6*r - 2*r + 376 = 0. Does 6 divide r?
False
Suppose 4*f = -4 + 28. Is f a multiple of 6?
True
Is 10 a factor of 1*(-1 + 0) - (-13 + 2)?
True
Let s = -39 - -108. Let p = -47 + s. Let x = p - 13. Is x a multiple of 9?
True
Let s be (-3)/(-6)*(-1 + 3). Does 9 divide s*-1 + 32 + 5?
True
Let h(m) = 3*m - 15. Let y be h(6). Suppose 21 = 2*f - n, -2*f - 4*n = -y*f. Does 12 divide f?
True
Suppose 168 = 226*w - 225*w. Is 48 a factor of w?
False
Let s = -9 - -5. Let u be (-3)/(6/s) + 94. Suppose 2*d = -2*d + u. Is 9 a factor of d?
False
Let r = 35 - 68. Is 15 a factor of r/(-11) + 24/2?
True
Let u(h) = -5*h**2 + h + 1. Let b(r) = -6*r**2 + 2*r + 1. Let g(y) = -6*b(y) + 7*u(y). Is g(6) a multiple of 4?
False
Let r = 1 + 3. Suppose 0 = -r*t - 58 + 190. Is 9 a factor of t?
False
Let v(z) = -z - 6. Let x be v(-7). Let l be 1/(x + (-80)/81). Suppose -l = -0*k - 3*k. Does 9 divide k?
True
Suppose -3*h = -5*h + 18. Does 6 divide h?
False
Let z(d) = -3*d**3 - 2*d**2 - 2*d + 7. Does 18 divide z(-3)?
False
Let n(x) = -14*x - 15. Is n(-5) a multiple of 11?
True
Let o(u) = u**3 + 4*u**2 + 3*u + 4. Let n be o(-3). Let h(l) = -2*l**3 + l. Let x(w) = -w**3 + w**2 - w + 1. Let s(p) = h(p) - 3*x(p). Does 13 divide s(n)?
False
Let f = -144 + 208. Is f a multiple of 4?
True
Let m(b) = -b**3 - b**2 + 2*b + 40. Is 20 a factor of m(0)?
True
Let k(u) = u**2 + 4*u - 3. Let r be k(-5). Let s be 2*(r - (-27)/6). Let p = -2 + s. Is 11 a factor of p?
True
Let z(w) = 3*w + 37. Does 10 divide z(-9)?
True
Let q(r) = -4*r**3 + 2*r**2 + r - 2. Let h = 12 + -14. Is 13 a factor of q(h)?
False
Let c(q) = q - 2. Let f be c(4). Suppose -f*o + 75 = -o. Let p = -53 + o. Is 9 a factor of p?
False
Suppose y + 5*q - q = -22, 0 = -5*y - 5*q - 50. Let p be 4 + (-3)/y*4. Suppose p*d - d = 205. Is 22 a factor of d?
False
Suppose -4*p + 3*m + 16 = -0*m, -2*m + 1 = -p. Does 7 divide p?
True
Suppose 2*u + 34 = 3*f + 8, f = -4*u + 4. Suppose -4*l - f = -6*l. Suppose 3*p - l*h - 18 = 0, -5*p + 22 = h - 5*h. Is 2 a factor of p?
True
Let w be (-16)/(-6)*(-12)/(-8). Is (-2)/w*(-16 + 6) even?
False
Let z(h) = h**2 + 2*h. Let x be z(6). Suppose 4*v - x = -4. Does 7 divide v?
False
Let x(y) = -y**3 + 7*y**2 + 7*y + 11. Let z be x(8). Let s = -1 + z. Suppose -3*b = -n - 3*n - 161, -n + 89 = s*b. Does 17 divide b?
False
Let w(q) be the first derivative of -q**4/4 + 2*q**3 - q**2 + 2*q + 6. Does 9 divide w(4)?
False
Suppose 0 = -3*i + 12 + 18. Does 11 divide ((-184)/i)/((-22)/55)?
False
Suppose 4*v = -3*d + 116, -2*d - 2*d + 168 = 2*v. Is d a multiple of 23?
False
Suppose 7*w - 2*w + 10 = 0. Let s be (6/(-10))/(w/10). Let j = 15 + s. Is j a multiple of 9?
True
Let b(c) = c**2 - 5*c - 9. Let f be b(7). Suppose 104 = 2*g - 2*o, -g + f*o + 119 = g. Is g a multiple of 17?
False
Suppose 26 = -l + 5*j - j, -5*l - 3*j = 15. Let r = 8 + l. Does 2 divide r?
True
Let t = 12 + -19. Let y = 10 - t. Let u = y + 22. Is 14 a factor of u?
False
Suppose 3 = z - 2*v - 2*v, -z + 5*v = -3. Let a = z - 0. Suppose a*r = -0*r + 48. Does 8 divide r?
True
Suppose -2*f + 1 = -4*o + o, 0 = -f - 2*o + 4. Suppose f*z = -0*z + 30. Let n = z + -1. Does 14 divide n?
True
Let q(w) = -w + 16. Let p(r) = -4*r - 16. Let x be p(-7). Is 4 a factor of q(x)?
True
Let v(h) = -29*h**2 - 1. Let j be v(1). Let b = j - -82. Is b a multiple of 22?
False
Let l(v) = -14*v + 1. Suppose 0*f + 12 = -4*f. Is l(f) a multiple of