?
True
Let q = 31 - -347. Suppose 10*p = q + 832. Is p a multiple of 11?
True
Suppose 0 = -8*y + 4*y - 2*h + 2, 5*h - 5 = 4*y. Suppose y = k - 0*k - 7. Suppose -1 + k = m. Is m a multiple of 4?
False
Suppose -34*x + 27160 + 8132 = 0. Is x a multiple of 5?
False
Let b(r) = -8*r - 42. Let c be b(-7). Let s(z) = z**3 - 13*z**2 - 6*z - 13. Is s(c) a multiple of 27?
False
Suppose 0 = -5*x - 5*o + 19980, 3*x - 10*o - 11980 = -15*o. Is 40 a factor of x?
True
Let y = 64 - 32. Let b = 81 - y. Does 14 divide b?
False
Let s = 22 + -31. Let g = s + 20. Is g a multiple of 6?
False
Is ((-1041)/6)/(24/(-48)) a multiple of 5?
False
Let j(w) = -w**3 - 16*w**2 + 36*w + 16. Is j(-18) even?
True
Suppose 5*m - 4*m = 5. Suppose -4*v + 2*x + 213 = -113, 5*x + m = 0. Is 6 a factor of v?
False
Is 3 a factor of (-152)/(-684) - 3747/(-27)?
False
Let j(m) = -m**3 - 27*m**2 + 59. Does 6 divide j(-27)?
False
Let n = -71 + 71. Suppose -2*p + 0*p - 4*s + 92 = 0, 3*p + 5*s - 133 = n. Is p a multiple of 12?
True
Let u = 18 - 17. Let w(x) = 62*x**3 + x**2 - 2*x + 2. Is w(u) a multiple of 9?
True
Does 13 divide 3130/(4/8*(5 + -1))?
False
Suppose 0 = 7*o - 12*o - 15. Let q be (2 - 0) + o + 1. Suppose -2*g = -q*g - 26. Is g a multiple of 4?
False
Let l(z) = z**2 - 4*z + 3. Let y(i) = -i**2. Let w(q) = -l(q) - 2*y(q). Let d be w(-10). Suppose f + 2*f = d. Does 5 divide f?
False
Suppose 4*d - 10 = 2*d + 2*s, -16 = -2*d + 4*s. Suppose 4*v = 3*g - 24, 5*g - 5*v + d*v = 40. Does 4 divide g?
True
Let i(o) = -o**3 - 8*o**2 - 7*o - 15. Is 2 a factor of i(-8)?
False
Suppose -3*v - 3*p = -243, p - 165 = -0*v - 2*v. Suppose -3*q - 39 = -v. Is 5 a factor of q?
True
Let a(x) = 7*x**2 - 35*x - 8. Is a(6) even?
True
Is 26 a factor of 104/6*234/12?
True
Let t be (-13)/(-4) - 1/4. Suppose -2*p = -t*p + 33. Suppose -3*m - p + 251 = 4*u, 342 = 5*m - 4*u. Does 28 divide m?
False
Let i = 11 + -20. Let c = i - -9. Suppose -4*w + w + 51 = c. Is 10 a factor of w?
False
Suppose 300 = -0*a - 5*a. Let o = a + 89. Suppose -4*j = -3*d + 19, 4*d - o = -3*j + 13. Is 2 a factor of d?
False
Suppose -2 = -y + 3*x - x, -2*y + 3*x = -6. Suppose 87 = y*m - 5*m. Is 12 a factor of m?
False
Let m = 7 + -5. Suppose p = -3*c + 4*p - 6, 8 = m*c + p. Let l = 4 - c. Is 2 a factor of l?
True
Suppose 2*r = 5*g + 457, -62 - 374 = -2*r - 2*g. Let h = r - 25. Suppose -5*p = -44 - h. Is 16 a factor of p?
True
Suppose -3624 = -3*d + 3*g, 4*g = -3*d + 1946 + 1685. Is 5 a factor of d?
False
Let r = -44 + 45. Let o(h) = 23*h**3 + h**2 - 1. Does 10 divide o(r)?
False
Let l be 0/((2/2)/(-1)). Suppose -3*c + r = 4*r - 156, -2*c + 3*r + 104 = l. Does 9 divide c?
False
Let s(n) = n**3 - 14*n**2 + 11*n + 83. Is 17 a factor of s(20)?
True
Suppose -r - 14 = 2*k, 7 = -6*k + 3*k + 2*r. Does 5 divide -1 + -12*k/5?
False
Suppose -178 = -n - 3*a, 5*n - 366 = 3*n - a. Does 8 divide n?
True
Let z be 6/(-15) + (-64)/(-10). Let x = z + -45. Let t = -19 - x. Does 5 divide t?
True
Suppose 66 = 3*i + 3*j, 60 + 6 = 3*i + 2*j. Let d be 104/3 - i/33. Let f = d - 3. Is f a multiple of 6?
False
Suppose -2*t = -6*t + 2*d - 382, 2*t + 2*d + 188 = 0. Is 45 a factor of 5/2*(-38)/t - -253?
False
Let h(s) = -3*s**2 + 5*s + 1. Let q(l) = -l**2 - 3. Let y be q(0). Let m(b) = b**2 - 2*b - 1. Let p(n) = y*h(n) - 7*m(n). Is p(-4) a multiple of 10?
True
Let b = 629 + -135. Is b a multiple of 13?
True
Let f = 21 + -27. Does 19 divide (f + 25)/((-2)/(2 - 4))?
True
Let l(g) = 2*g**3 + 3*g**2 + g + 3. Let u(k) = -k**3 + k**2 - k. Let x(h) = -l(h) + 2*u(h). Let n be x(-2). Is 2 + n - 4 - 0 a multiple of 16?
False
Suppose 0 = 4*a - 7*a + 42. Suppose 0 = -5*i - 26 - a. Let v = 12 + i. Is v a multiple of 2?
True
Let t = 37 + -13. Suppose -m - t = -4*y - 2*m, -5*y - 4*m + 41 = 0. Suppose -y*r + 78 + 42 = 0. Does 12 divide r?
True
Let g(j) = -j - 13. Suppose 6*m = -4*t + 2*m - 52, -3*m = -5*t - 57. Let d be g(t). Is 14 a factor of 399/14 + d/2?
True
Let o be -1 - (112/(-21))/(2/27). Suppose 14*s + o = 197. Does 2 divide s?
False
Let g(c) = c**3 - 7*c**2 + c - 3. Suppose 5*t = -5*n + 25, t + 8 = -3*t. Let j be g(n). Suppose -j*k = -10*k + 354. Is 18 a factor of k?
False
Let n(u) = -u**3 - 24*u**2 - 12. Let q(k) = 24*k**2 + 12. Let g(z) = -3*n(z) - 2*q(z). Is 4 a factor of g(-8)?
True
Suppose 22 = 7*j + 57. Let h(x) = x**2 + x - 6. Is 14 a factor of h(j)?
True
Suppose -13 = o - 1. Let q(y) = -y**3 - 12*y**2 + y + 14. Let r be q(o). Suppose 5*a = r*n - 13, 3*n + 5*a + 27 = 109. Is n a multiple of 9?
False
Suppose 0 = 4*d + 23 - 111. Suppose h - 170 = -4*h. Let m = h - d. Is 12 a factor of m?
True
Let f be (-6)/(6/2)*2. Let w(m) = -5*m**2 + 5*m - 3. Let u be w(f). Let g = -61 - u. Is 14 a factor of g?
True
Let z = 576 + -348. Is z a multiple of 12?
True
Let m be ((-14)/21)/(4/6). Is 36 a factor of 113/(24/20 + m/5)?
False
Let r be -24*((-10)/35)/(6/14). Is 17 a factor of (r/(-4))/((3 + -1)/(-136))?
True
Suppose -33*v = 44*v - 237006. Is v a multiple of 17?
False
Suppose 27 = 2*k - 3*o, 8 = -2*k + 4*o + 32. Does 2 divide k?
True
Let c be 51/15 + (-12)/(-20). Suppose h - 180 = -c*h. Is h a multiple of 12?
True
Let k(a) be the third derivative of -a**6/24 - a**5/30 + a**4/4 - a**3/2 + 6*a**2. Does 48 divide k(-3)?
True
Suppose -362 = -4*l - 2*o, -3*o + 357 = 7*l - 3*l. Let g = 138 - l. Is 9 a factor of g?
True
Let f be (12/(-15))/(8/100). Let p be -4*(14/(-8) + -2). Let d = p + f. Is 5 a factor of d?
True
Is (-508)/24*-6 + 1 a multiple of 16?
True
Let d be (-4 + (-4)/4)*-1. Suppose d*n - h - 737 = 0, -2*n = 5*h - h - 286. Does 20 divide n?
False
Let m(g) = -169*g - 174. Is m(-10) a multiple of 10?
False
Let q(a) = 19*a**2 + 10*a + 5. Let f(r) = 14*r**2 + 8*r + 0 + 3 - 3*r - 4*r**2. Let c(w) = -11*f(w) + 6*q(w). Is 16 a factor of c(3)?
True
Let j = -633 - -741. Is j a multiple of 7?
False
Let q = -81 - -143. Does 4 divide q?
False
Let z(f) = 60*f + 45. Let y(t) = 19*t + 15. Let b(c) = -10*y(c) + 3*z(c). Suppose -6 = 2*l + 6. Is b(l) a multiple of 15?
True
Let r be 2 + -3 - 1/(-1). Suppose 3*d - 2 - 4 = 0, -2*x - 3*d + 300 = r. Is 21 a factor of x?
True
Let u = -922 - -1357. Does 22 divide u?
False
Let h(a) = -7*a**2 - 2*a - 4. Let s(l) = l**3 - 6*l**2 - 2*l - 5. Let p(n) = 2*h(n) - 3*s(n). Is 17 a factor of p(-3)?
False
Let p(b) = -33*b**3 - 8*b**2 - 17*b + 17. Does 9 divide p(-4)?
False
Suppose -3*j + 1 = z - 0*z, 3*j + 6 = 0. Suppose 1 = 3*m + z. Let x(p) = -3*p**3 - 2*p - 3. Is 11 a factor of x(m)?
False
Does 7 divide 122 + -3 + 0/1 + 0?
True
Suppose 4*g - 2430 + 322 = 0. Does 32 divide g?
False
Let w(x) = -54*x. Suppose 3*n - 5 = 1. Let h be (1 + 0)/(n - 3). Is w(h) a multiple of 11?
False
Let r(y) = y + 23. Let q be r(-16). Let t(u) = 6*u - 16. Let k be t(q). Is (-8)/(-24)*(1 + k) a multiple of 9?
True
Suppose -2651 = -5*n - 0*n + k, -543 = -n - 3*k. Is n a multiple of 16?
False
Let i(s) = 9*s**2 - 5*s + 4. Let x be i(1). Let b(d) = 14*d - 28. Is 21 a factor of b(x)?
True
Let g(z) = z**3 + 6*z**2 - 6*z + 12. Suppose 3 = c + 9. Is 12 a factor of g(c)?
True
Let z(q) = -7*q**2 - 14*q + 2. Let k(n) = 2*n - 2. Let h be k(-2). Let a(j) = -j**2. Let y(i) = h*a(i) + z(i). Is 21 a factor of y(-10)?
True
Suppose 5*x - 3*x - 66 = 4*t, x + 3*t - 28 = 0. Suppose o = x + 2. Suppose -2*i + o = -3. Is 6 a factor of i?
True
Let k(h) = 23*h - 25. Let j(c) = -c + 6. Let a(g) = -2*g + 6. Let t(n) = -5*a(n) + 4*j(n). Let r(u) = -6*k(u) + 26*t(u). Is r(2) a multiple of 6?
True
Let i be (-188)/(-10)*(3 + 2). Suppose 5*p - 4*b - 100 = 0, 25 = -4*p + b + i. Let c = -9 + p. Is c a multiple of 7?
True
Does 9 divide 361 - (-32)/(0 - -4)?
True
Suppose 0 = -4*m - 4, m - 639 = 3*d - 8*d. Let n = d - 43. Does 17 divide n?
True
Let d(t) = t**3 + 49*t**2 + 77*t - 291. Is 17 a factor of d(-47)?
False
Let q = -1676 - -1986. Is q a multiple of 40?
False
Let y = -46 - -64. Let u(s) = -s**3 - 21*s**2 + 20*s + 4. Let j be u(-22). Let v = j + y. Is v a multiple of 22?
True
Suppose -l + 4*h = 6, -3*l - h - h = -10. Suppose l*q = -q + 18. Suppose -d + q*d + x - 61 = 0, 2*d = -3*x + 27. Is d a multiple of 8?
False
Suppose 0 = j - 4*l - 710, -2*j + 439 = 4*l - 993. Does 14 divide j?
True
Let p(s) = 5*s**2 + 13*s - 10. Is 3 a factor of p(7)?
False
Suppose -1498 = -0*s - 3*s + 4*y, 8 = -2*y. Is 26 a factor of s?
True
Let x(z