 multiple of 7?
True
Suppose -4*p + 364 = 5*r - 69, -2*r = 5*p - 180. Is r a multiple of 17?
True
Suppose -14*b + 2*b = -1092. Let w(h) = -h**2 + 5*h + 4. Let g be w(5). Suppose -2*r = 3*x - b, 0 = -3*r - g*x - 0*x + 136. Does 22 divide r?
True
Suppose -56 = -3*i + i. Suppose 5*d - k = 4*k - 60, -5*k = 3*d + 60. Let o = i + d. Is 7 a factor of o?
False
Suppose -2*i + 3*i - 15 = 0. Is i a multiple of 15?
True
Let s be 152/(-16) + 1/(-2). Let y = s + 16. Is y a multiple of 5?
False
Let w(d) = -d**2 - 6*d + 6. Let a be w(-7). Let j(u) = -44*u + 1. Is 15 a factor of j(a)?
True
Let z(d) = d**3 - 10*d**2 + 14*d + 10. Let q be z(10). Does 18 divide (2/3)/(4/q)?
False
Let z(c) = 19*c + 1. Let r be (5 - 3)/((-1)/2). Let f be r/(-2) + -1 + 0. Is 14 a factor of z(f)?
False
Is 29 a factor of 94 + -6 + -1 + 4?
False
Suppose 0*d - 5*d = -30. Let m = 30 - d. Let v = m - 12. Is v a multiple of 12?
True
Suppose -5*j - a = 290, j - 4*a = -a - 58. Does 5 divide j/(-6) + (-5)/(-15)?
True
Suppose s - 4 = -0*s, -5*s = 4*k - 388. Does 26 divide k?
False
Let g be (4 - (-4)/2)/1. Suppose -2 = -4*j - g. Is (2 + j)/(2/4) even?
True
Suppose 0 = -4*d + 5*m - 15, -d - 4*d + 3*m - 22 = 0. Let y(v) = v - 1. Let t(r) = -r**2 - 3*r + 11. Let x(n) = -t(n) - 5*y(n). Is 13 a factor of x(d)?
False
Let j be (1*-3)/(-3) - 1. Let h be j*(1 - (0 + 2)). Suppose 5*r = -4*c + 214, 196 = 4*r - 3*c - h*c. Is 18 a factor of r?
False
Let h = -52 + 26. Is (-3 - -1) + h/(-1) a multiple of 7?
False
Let j(k) be the second derivative of -k**3/6 + 13*k**2/2 - k. Is j(9) a multiple of 2?
True
Let b(x) = -19*x - 9. Does 11 divide b(-4)?
False
Suppose 0*j + 3*j = l + 8, -j - 2*l = -5. Suppose -x + j = -2. Suppose 5*m = -4*s + 33 + 23, -20 = x*m. Is 11 a factor of s?
False
Let x = -10 + 48. Is x + 2 - (-6)/(-3) a multiple of 25?
False
Let t(f) = 40*f**2 - 4*f + 4. Does 12 divide t(2)?
True
Let y(i) = -3*i**2 + 12*i + 7. Let k(b) = -b**2. Let r(x) = 2*k(x) - y(x). Is 6 a factor of r(13)?
True
Suppose -2*s = -0*s. Suppose -q + 23 + 7 = s. Is q a multiple of 15?
True
Let m be -2 + 5 + -2 + 14. Let d = 23 - m. Does 4 divide d?
True
Suppose z - 11 = 58. Is z a multiple of 15?
False
Let p = -16 + 11. Let x be (4/p)/(1/(-5)). Suppose 56 = x*d - 3*q + 6, d = 3*q + 8. Is d a multiple of 14?
True
Suppose c = -3*j + 127, -120 - 32 = -4*j + 3*c. Does 5 divide j?
False
Let t be (5 + -2)*(4 - 2). Suppose -3*p = 2*p + 15. Is 13 a factor of (-1 + -7)/(p/t)?
False
Let g(t) = 6*t**3 - 1. Let q be g(1). Let f = q + 11. Is f a multiple of 6?
False
Suppose 5*z - 95 = 5*b, -5*z + 54 = 2*b - 41. Suppose -2*j + 3*j - z = r, 0 = j + 5*r + 11. Is 5 a factor of j?
False
Let g be (-2 - 4)/((-2)/(-2)). Let n = 10 + g. Is n a multiple of 4?
True
Let n = 121 - 81. Is n a multiple of 10?
True
Suppose 3*v = 2 + 13. Suppose -v*t + 40 = -0*t - 5*o, t - 5*o - 28 = 0. Does 3 divide t?
True
Suppose 0 = 6*l - 345 + 45. Is l a multiple of 10?
True
Let v(k) = 3*k - 1. Let j be v(2). Suppose 3*i = j*z - 81, -5*i + 35 = z + 2*z. Does 10 divide z?
False
Suppose d = 8 - 9. Let o(a) = -a + 1. Let l be o(d). Is 21/9 - l/6 even?
True
Let n(o) = -2*o - 4. Does 14 divide n(-9)?
True
Let x(l) = -l**2 + 7*l + 8. Let j be x(-6). Let u = -29 - j. Is 16 a factor of u?
False
Let i(k) = k**2 - 3*k + 5. Let n be i(8). Suppose -5*p + n = 3*v - 6*v, 0 = -v + 5. Does 12 divide p?
True
Let q(v) = 9*v - v**2 + v**2 - 1 + 3*v**2. Let b(x) = x**2 + 4*x - 1. Let h(o) = -5*b(o) + 2*q(o). Is h(3) a multiple of 3?
True
Let v(p) be the second derivative of p**4/6 - 3*p**3/2 - 4*p**2 - 2*p. Let c be (1/2)/((-2)/(-28)). Is 13 a factor of v(c)?
False
Suppose 2*h = -3*i - 59, -3*i + 4*h - 45 + 10 = 0. Let x(y) = 9*y - 5. Let j(u) = -26*u + 14. Let r(p) = i*x(p) - 6*j(p). Is 6 a factor of r(2)?
False
Is 12 a factor of 86 + -2 + -1 + 1?
True
Let w = 35 + -27. Is 8 a factor of w?
True
Let d be (-81)/(-15) + (-2)/5. Suppose -26 + 126 = d*x. Does 20 divide x?
True
Suppose 0 = 5*m - 4*a + 109 - 565, 5*m = -5*a + 465. Does 13 divide m?
False
Suppose 96 = 2*b + 2*f - 3*f, 2*b - 2*f = 96. Does 22 divide b?
False
Let n(q) = 4*q + 4. Let x be n(-3). Let c(v) = -v - 6. Let l be c(x). Suppose -2*i + 40 + l = 0. Is 19 a factor of i?
False
Does 38 divide 4/(-6) + (-4 - 1424/(-12))?
True
Let u = -132 + 209. Is 14 a factor of u?
False
Let r(f) = 3*f - 10. Let k be r(4). Suppose c = -k*c + 102. Is 15 a factor of c?
False
Let s(u) = -u**3 + 8*u**2 - 12*u + 21. Is 6 a factor of s(6)?
False
Let v(b) = b**2 - 9*b + 14. Is 7 a factor of v(-5)?
True
Suppose 5*x + f = 299 - 16, 44 = x - 4*f. Is 16 a factor of x?
False
Does 4 divide ((-18)/7)/((-9)/42)?
True
Let b(w) = 0*w - 2 + 6 + 4 + 4*w. Is 8 a factor of b(6)?
True
Let y = -87 + 137. Does 16 divide y?
False
Let x = -1 + 6. Suppose 0 = -5*k + 59 + 351. Suppose -x*b + 2 + 3 = 0, -k = -2*t - 4*b. Is t a multiple of 14?
False
Suppose 7 = -4*g + 35. Does 6 divide g?
False
Let d(k) = -k. Let u be d(6). Let h = u - -30. Is h a multiple of 7?
False
Suppose 8 = 2*b + q, -3*b + 2*q = -11 - 1. Does 29 divide b*3/24*174?
True
Let b(r) = r**3 + 4*r**2 - 6*r - 6. Let n be b(-5). Is 5 a factor of n*(0 + 10)/(-2)?
True
Let u be (1/(-2))/(6/(-24)). Suppose -2*l - 38 = -u*p, -5*l + 9 = 4*p - 58. Is p a multiple of 17?
False
Let r(l) = 2*l**3 - 5*l**2 - 4*l. Let q = 9 - 5. Is r(q) a multiple of 16?
True
Let o be ((-3 - -2) + 6)/1. Suppose o*w - 10 = 70. Does 16 divide w?
True
Let g(c) be the first derivative of -c**4/4 - 7*c**3/3 - 2*c**2 + 3*c - 1. Let s be g(-8). Suppose -3*d - 30 = -s. Does 13 divide d?
False
Suppose 0*t = t - 2. Suppose 2*n - 17 = -s, 4 = -t*n - 0. Does 12 divide s?
False
Let a(y) = -y**3 - 6*y**2 - 5*y - 5. Let i be a(-5). Let w = 8 + i. Let t = w + 14. Does 8 divide t?
False
Suppose -40 = 3*f + 4*x, -3*f + 4*x - 2*x - 16 = 0. Let p = f - -12. Is 4 a factor of p?
True
Suppose 2*c + 3*c = 0. Suppose -15 = -3*a + 3. Suppose t = 2*l - 2*t + 8, c = -l + 2*t - a. Does 2 divide l?
True
Is 15 a factor of (12/5)/(2/125)?
True
Suppose -2*j + 6 = -0*g - 3*g, 8 = -4*g - 3*j. Let s be (-2)/(-1) + (-196)/g. Suppose -3*o - 2*o = -s. Does 8 divide o?
False
Suppose 18 = -4*g + 6. Let d be (14/8)/(g/(-48)). Suppose -d = -k - 3*k. Is k a multiple of 6?
False
Let g be (-2 + -3)*6/(-10). Suppose 239 = -3*o - 5*n + 73, -4*o + g*n - 260 = 0. Let r = -42 - o. Is 10 a factor of r?
True
Suppose 0 = -2*u + 6 - 2. Is u even?
True
Let u(d) = d**3 + 4*d**2 - d. Suppose -2*i = 0, -o = -6*o + 3*i - 15. Is u(o) a multiple of 12?
True
Let d(b) be the first derivative of b**6/36 - b**5/30 + b**4/12 - 2*b**3/3 + 1. Let l(t) be the third derivative of d(t). Is l(2) a multiple of 17?
True
Let f(d) = -d + 1. Let m(g) = g - 8. Suppose 0*w - 3*w + 3*o = -6, -w + 3*o + 4 = 0. Let z(j) = w*m(j) + 3*f(j). Is 7 a factor of z(-6)?
True
Let t(b) = b**3 - 5*b**2 + 3*b - 5. Is t(6) a multiple of 13?
False
Let o(g) = 3*g**2 + 2. Let r be (-1)/((2 - 1) + -2). Let n be 0/2 - (-1 - r). Is o(n) a multiple of 14?
True
Suppose 0*f + f + 342 = 4*r, -r = -2*f - 89. Is 17 a factor of r?
True
Suppose -3*l = -2*l + 3*t - 57, 4*l = -2*t + 278. Is 18 a factor of l?
True
Suppose 4*s = -2*s + 360. Is s a multiple of 20?
True
Let k be 5/(-2)*24/(-20). Suppose -k*y - 4 + 331 = 0. Let z = y + -62. Is 21 a factor of z?
False
Suppose 2*i + 40 = 7*i + 5*l, -4*i + l + 12 = 0. Let m(o) = 5*o**2 - 2*o + 1. Let q be m(-2). Is i/(-10) - (-585)/q a multiple of 10?
False
Does 23 divide ((-460)/15)/(1/(-3)*1)?
True
Suppose -3*i + 3*q + 216 = 0, i - q = 4*q + 92. Is 22 a factor of i?
False
Let h(j) = 5*j - 4*j + 0*j + j**3 + 4. Let w be h(0). Let d = w + -1. Is d even?
False
Let o(m) = m**3 - 2*m**2 + 5*m - 1. Is o(4) a multiple of 32?
False
Let q(r) = -r**3 - 4*r**2. Let f be q(-4). Suppose f = -h - 4, -2*k - 5*h = -k + 2. Suppose -4*t - k = -70. Is 13 a factor of t?
True
Let n(y) = -47*y**2 + 2*y - 1. Let b be n(1). Let o(u) = 4*u**2 + 11*u - 13. Let i be o(-6). Let x = i + b. Is x a multiple of 8?
False
Suppose 143 = 2*a - 2*m - m, 158 = 2*a + 2*m. Let s = 132 - a. Is 12 a factor of s?
False
Suppose 13*l - 9*l - 300 = 0. Does 15 divide l?
True
Let m = 2 - 6. Let n(f) = -7*f - 1. Is 9 a factor of n(m)?
True
Suppose 9 = 3*v - 0. Let g(h) = -2*h**2 - 3*h + v*h**2 + 3 + 0*h**2. Is g(3) even?
False
Suppose -2*j + 60 