10*r + 4. Is c(9) a multiple of 27?
False
Let j = 197 - -35. Is j a multiple of 12?
False
Does 29 divide (-2)/9 + (-2367)/(-81)?
True
Suppose 0 = k + k - 18. Suppose -o = -2 - k. Is 3 a factor of o?
False
Suppose -4*u - v - 30 = 0, 0 = -u - 0*u - 3*v - 2. Is -2 + 2 - (0 + u) a multiple of 8?
True
Suppose 3*u - 2*u = 125. Is 40 a factor of u?
False
Let t(w) = w**3 + 5. Let m be t(0). Let i(x) = x**3 - 4*x**2 + x - 2. Does 25 divide i(m)?
False
Let t be 4/4 - (-1 + 2). Suppose -3*i + 0*s - s + 85 = t, -4*i = s - 112. Does 9 divide i?
True
Let t = 214 + -108. Does 15 divide t/6 - 6/9?
False
Let z = 7 - 12. Let j = z - -3. Does 10 divide 1*j/4*-28?
False
Let d = 68 - 29. Let y = d - 22. Is 10 a factor of y?
False
Suppose 0 = 5*t + 43 + 597. Let w be (-2)/(-6) - t/3. Suppose a + w = 2*a. Is 15 a factor of a?
False
Let h be (-3)/((-6)/(-4)) - -6. Suppose -2*o = -0*f - h*f - 70, 17 = o + 4*f. Suppose -5*t - 6 = 5*z - 91, -3*z - o = -t. Does 10 divide t?
True
Let k(m) = -m + 2. Suppose -3*h + 9 = -h + b, 4*h - 4*b = -12. Suppose -3*x = -4*v + 16, -x - h*v = 2*x + 10. Is 3 a factor of k(x)?
True
Let c = -10 - -17. Suppose -w = -m - 17, -8 = 3*m - c*m. Is w a multiple of 13?
False
Let p = -10 - -6. Does 5 divide (-1)/(-4) + (-31)/p?
False
Let g(r) = 33*r**2 + 2*r + 3. Is g(-1) a multiple of 4?
False
Let b be 1 + 1/(1/404). Suppose -3*w + 3*p = -7*w + 317, -5*w + b = -5*p. Is 30 a factor of w?
False
Let c = -5 + 11. Suppose 0*g - g = 4*l + 10, 11 = -2*g - 5*l. Let x = g + c. Is x a multiple of 4?
True
Suppose -3*v + 5*i = 2*v + 430, -5*v - 4*i = 412. Let k = -59 - v. Does 16 divide k?
False
Suppose o + 3*j - 115 = 4*j, j + 466 = 4*o. Is o a multiple of 9?
True
Let o(w) = w**3 + 7*w**2 - w + 4. Does 34 divide o(-6)?
False
Let q be 0/((8 - 2)/3). Suppose q = -2*k - y - 3*y + 44, -4*k = -y - 52. Is 14 a factor of k?
True
Suppose 0 = -0*a + 3*a - 2*l - 149, -l = -2*a + 98. Is a a multiple of 7?
False
Let i be 1/((-3)/6 - -1). Suppose t = -i*t. Suppose t = a - 8 - 9. Is a a multiple of 6?
False
Let c(q) = -15*q + 0*q**2 - 4 + 12*q + q**2. Is c(-4) a multiple of 24?
True
Suppose -5*o + 2*o - 18 = 0. Let j be 2/o - (-52)/12. Suppose -2*n = -3*u - 16, u = j - 2. Is 11 a factor of n?
True
Let i = 33 + -17. Let h(f) = -f**3 + 12*f**2 - 12*f + 13. Let n be h(11). Let k = i + n. Is k a multiple of 9?
True
Let c(z) = 6*z + 21. Let i(h) = 3*h + 11. Let f(q) = -3*c(q) + 5*i(q). Does 10 divide f(-6)?
True
Suppose -3*y - v - 2 = 0, 4*y + 2*v = 7*v - 9. Let o be y + 3 + 10/5. Suppose -o*h + 334 = 5*g - 3*h, 3*g - h - 202 = 0. Is 24 a factor of g?
False
Is (12/10)/(1/5) a multiple of 3?
True
Let f(l) = -4*l + 3. Is 10 a factor of f(-3)?
False
Suppose 5*a + 85 = c, -c + 69 - 19 = 2*a. Is 15 a factor of c?
True
Let b be 10 - (-1 + (-3 - -4)). Suppose 0 = v + 2 - b. Does 8 divide v?
True
Let p(n) = n**2 + 2*n - 3. Let z be p(2). Suppose z*h - h = 20. Is 5 a factor of h?
True
Let f = 183 - -134. Suppose 5*r - 31 = -v + f, 3*v - 9 = 0. Does 15 divide r?
False
Let g be 42/7 - 0/1. Suppose 2*c = 6 + g. Is 10 a factor of -10*c/(-1 + -2)?
True
Let z = 34 + 15. Is z a multiple of 9?
False
Is -6*(3 + -2 + (-114)/9) a multiple of 7?
True
Suppose 3*g = 4*g - 16. Let j = 5 + g. Is j a multiple of 21?
True
Let k(j) = 1 - 3*j**2 + 8*j - 4*j - j**3 + 5*j**2. Let x be k(3). Let b(s) = -s**3 + 4*s**2 + s + 2. Does 6 divide b(x)?
True
Suppose 2*m - g = g + 150, -205 = -3*m - g. Let u = m - 42. Let i = u + -10. Is i a multiple of 5?
False
Suppose -o + 34 = -0. Is o a multiple of 17?
True
Suppose -3*z - 5*w - 117 = 0, 0 = -3*w - w. Let t = z - -90. Let b = t - 12. Is b a multiple of 13?
True
Suppose -3*g - 4 = -16. Let v(w) = -4 - 2*w**2 + 0*w**2 + 2*w + 7 + g*w**2. Does 9 divide v(3)?
True
Suppose -8*d = -5*d - 63. Does 7 divide d?
True
Is (-2)/2*(-17)/1 a multiple of 4?
False
Is 5 a factor of (-1)/(2*(-1)/78)?
False
Let p(w) = 2*w**2 + 4*w + 3. Let g be p(-3). Let i be ((-1)/(-2))/((-2)/(-124)). Let c = i - g. Is 8 a factor of c?
False
Let g = -3 + 7. Suppose -26 + 80 = -3*h. Let r = g - h. Is r a multiple of 9?
False
Suppose -3*k = k - 24. Suppose -3*f + 16 = -a + 2*a, 2*f + k = -4*a. Is 5 a factor of f?
False
Suppose -d - 2*a = -8, 2*d + 0*a - 3*a = 2. Suppose -2*o - 2*b + 76 = 0, -8*o + d*o = -b - 132. Is o a multiple of 17?
True
Suppose -3*n = -2*n - 12. Let a(v) = 4*v - 1. Let h be a(1). Suppose j = 3*x - 44, -h*j - n = 4*x - 49. Does 13 divide x?
True
Suppose -5*t + 21 = -v, 3*t - 7*t = 2*v - 28. Let s(o) = o**2 + 2*o - 6. Is 8 a factor of s(v)?
False
Let q(k) = k**2 - 12*k + 14. Let x be q(11). Suppose -a + x*a = 102. Does 18 divide a?
False
Let d(r) = 11*r - 24. Is d(12) a multiple of 9?
True
Suppose 0*r - 2*r + 84 = 0. Does 21 divide r?
True
Suppose -4*p = -6*p + 8. Suppose 0 = n + 2*n + 5*z - 16, 2*z = 2*n + 16. Is 23 a factor of p/(n/39*-1)?
False
Let c = 2 + 17. Let d be (0 - 1)/(2/(-6)). Let k = c - d. Is k a multiple of 12?
False
Let b = -58 - -135. Is b a multiple of 14?
False
Let q(b) = -b**2 + 2*b + 30. Is 11 a factor of q(0)?
False
Let t = -194 - -286. Let x(o) = -4*o**3 - 2*o**2 - o. Let f be x(-1). Suppose -r - t = -f*r. Is r a multiple of 18?
False
Suppose 3*h = 2*h + 90. Let r(v) = -2*v - 9. Let f be r(-6). Suppose -3*i + h = f*t, 4*i - 4*t = 90 + 22. Does 11 divide i?
False
Suppose -r = -3*r. Suppose -m - 190 = -5*v, -6*v + 3*v - 2*m + 127 = r. Is 19 a factor of v?
False
Let l(n) = 10*n**3 + 20*n**2 + 23*n + 5. Let u(w) = -7*w**3 - 13*w**2 - 15*w - 3. Let a(v) = -5*l(v) - 7*u(v). Is 6 a factor of a(-8)?
True
Let r(h) = 7*h - 3*h + 0 - 5 - 2. Is 5 a factor of r(3)?
True
Let u(t) = -5*t. Let d = -3 + 3. Suppose -6 + d = k. Is u(k) a multiple of 15?
True
Let c be (46 - (1 - -1)) + -2. Let q = -4 - -6. Suppose c = j + q*j. Is 5 a factor of j?
False
Let z(h) = h**2 - 4. Let p be z(-3). Suppose -3*d = -0*d - p*k - 29, 4*d = 5*k + 37. Is 7 a factor of d?
False
Is 357 + 77/28 + 3/12 a multiple of 24?
True
Suppose 0 = -2*y - 2*g - 2*g - 8, 4*g + 4 = -y. Let h = 0 - y. Does 13 divide (23/h)/(-1)*-4?
False
Let p(r) = 2*r - 6. Let b be p(10). Let l = b - 10. Is l even?
True
Let o = -18 + -8. Let x = 36 + o. Is x a multiple of 5?
True
Let z(d) = d**2 + d. Does 7 divide z(-5)?
False
Let f(w) = w**3 - 2*w + 1. Suppose 5 = -5*n + 15. Is f(n) a multiple of 4?
False
Let o(t) = 4*t**2 + 0*t + 3 + 2*t - t**2. Suppose 16*g = 13*g - 12. Is o(g) a multiple of 19?
False
Let n be (-32)/(-20) - (-4)/10. Let f(h) = h + h**2 - h**3 + 3*h**2 - 4*h**2 - h**n + 2. Is 2 a factor of f(-2)?
True
Is 17 a factor of 29*(3 + -2)*1?
False
Let b(l) = l**3 + 18*l**2 - 44*l - 24. Does 7 divide b(-20)?
True
Suppose 2*b - 114 = -c, -4*c - b + 471 = 2*b. Is 30 a factor of c?
True
Suppose -2*u + 690 = 3*u. Let r = u - 30. Let j = -73 + r. Is j a multiple of 20?
False
Suppose -2*x - 4*p = -77 - 33, x - 61 = p. Is 10 a factor of x?
False
Let y(n) = -4*n + 2 + 0 - 1. Let b be (12/10)/((-6)/20). Does 17 divide y(b)?
True
Suppose -5*y + y = -12. Let r = -6 - -10. Suppose s - y*s = -r. Is s even?
True
Let w(n) be the second derivative of -n**3/2 + 3*n**2/2 + 4*n. Suppose 0 = u - 3*h - 6, -u + 6*h - 2*h = -9. Is 12 a factor of w(u)?
True
Let k(a) = a**2 + 16*a - 26. Is 4 a factor of k(-19)?
False
Suppose -s = -a - 4, s - a - a = 0. Let j = -16 - -9. Let m = s - j. Does 6 divide m?
False
Suppose j - 5*s - 21 = 18, 2*s = -5*j + 60. Does 10 divide j?
False
Is 4 - (2/(-3))/(1/66) a multiple of 11?
False
Let u(w) = -w**3 - 12*w**2 - 4*w. Is 12 a factor of u(-12)?
True
Suppose 4*i = i - 2*m + 468, 0 = 3*m. Let b = i + -109. Is 27 a factor of b?
False
Let f(l) = l**2 + 3*l + 2. Let o be f(-3). Suppose 5*c = -4*x + 73, 3*x - o*c = -0*x + 49. Suppose x = 5*n - 23. Is 8 a factor of n?
True
Let n(j) = -8*j + 5. Does 10 divide n(-6)?
False
Does 23 divide (1 - 4/5) + (-9648)/(-60)?
True
Is 37 a factor of (-35 + 72)/(2/4)?
True
Suppose -5*o + 2*a = 20, -3*o + 2*a - 4 = -6*o. Is 10 a factor of o + (-66)/(-9)*3?
True
Let r be 1/5 + (-57)/(-15). Suppose 2*l - l - 44 = -2*j, r = -2*j. Is l a multiple of 16?
True
Let t(v) = 3*v**2 - 8*v - 31. Does 14 divide t(9)?
True
Suppose -3*o + 11*o - 384 = 0. Is o a multiple of 8?
True
Suppose -p - 3*p + 484 = 0. Is 28 a factor of p?
False
Suppose -4*c + 54 + 62 = 0. Is 6 a factor of c?
False
Sup