p + 2*j = -1362. Is p a multiple of 40?
False
Let y(k) = k**2 + 3*k - 4. Is 19 a factor of y(8)?
False
Let c be (0 + (-80)/(-6))*6. Suppose 4*l + c = 3*m, -2*m - l + 42 = 2*l. Is m a multiple of 24?
True
Suppose 0 = 2*f + 5*t - 72, 4*f - 4*t = -0*f + 116. Is 31 a factor of f?
True
Does 4 divide (7 + (6 - 6))*(-1)/(-1)?
False
Let s be (-3 - -3)/(1 - -1). Suppose -3*t + t + 6 = s. Suppose t*k + 81 = 3*a, -5*a - 4*k + 38 = -70. Is 12 a factor of a?
True
Let o(u) = -u**3 + 2*u**2 + u + 72. Is o(0) a multiple of 18?
True
Let y be (-39)/(-5) + 1/5. Is y/8 - 114/(-2) a multiple of 21?
False
Suppose -2*o = 2*p - 50, p + 2*o - 40 = -2*o. Is p even?
True
Let y = -18 - -26. Is 2 a factor of y?
True
Let v = -11 - -13. Let m be 3/v*16/12. Suppose 2*r = -m*r + 48. Is r a multiple of 6?
True
Let t = 129 - 96. Does 17 divide t?
False
Let p = 165 - -15. Is 12 a factor of p?
True
Let i be 0*(1 - (-2)/(-4)). Let g be (-4)/(-16) - 11/(-4). Suppose i = -n + g*n - 66. Is 12 a factor of n?
False
Let q(w) = w**2 + 2*w - 1. Let o be q(2). Let n(t) = 10*t**2 - 18*t - t**3 + 8*t - o - 3. Does 13 divide n(8)?
False
Suppose i - 3 + 5 = 0. Let c = i - -5. Is 2 a factor of c?
False
Is 26 a factor of -2 + 1666/7 + 2/(-1)?
True
Suppose -21 = -0*y - y - 3*c, -4*y - 2*c + 44 = 0. Let k be 51/y + (-4)/6. Suppose 5*f = 25, 20 = 4*v - k*f - 35. Does 15 divide v?
False
Suppose -5*g + 15*g - 60 = 0. Is g even?
True
Let k = 20 + -10. Does 5 divide 8 + -1 - k/5?
True
Suppose l = 5*l - 60. Suppose 5*y - 4*y = l. Is 5 a factor of y?
True
Let x(l) = -l**3 + l + 4. Let h be x(0). Suppose 0 = -0*g + 5*g - 2*m - 294, 5*g + h*m = 282. Let t = g - 0. Is 21 a factor of t?
False
Let y = 34 + -39. Let h(z) be the third derivative of -z**4/6 - z**2. Does 9 divide h(y)?
False
Let i(c) = c**2 + 12*c - 3. Is i(-13) a multiple of 7?
False
Let z(t) = t**2 + 8*t + 4. Let i be z(-8). Suppose 2 = -l - i*g + 10, -2*g + 112 = 5*l. Is 9 a factor of l?
False
Is (0 + (-42)/(-5))*5 a multiple of 9?
False
Let d = -1 - -6. Let q(w) = -8*w + 1. Let s be q(d). Does 12 divide (s/6)/(3/(-18))?
False
Let p = 13 + 5. Does 4 divide p?
False
Suppose 0 = h - 5*c - 4, 0 = -h - 0*h - 3*c - 36. Is (-498)/h - 2/(-7) a multiple of 8?
True
Let y be 156/(-6)*1/(-1). Let u = y + 4. Does 15 divide u?
True
Suppose 2*b + 2*b = -100. Let f = 9 - b. Does 14 divide f?
False
Suppose 0 = 2*z + 2*c - 70, 2*z + 0*c - c - 67 = 0. Does 9 divide z?
False
Does 13 divide 10*10/25 + 25?
False
Let c(p) = 2*p**2 + 3*p + 1. Let s be c(-2). Suppose 0 = s*z - z - 18. Is 9 a factor of z?
True
Suppose 0 = 3*r + 2*d + 302, -3*d = 4*r + 357 + 45. Is 0 - 0 - (-12 + r) a multiple of 24?
False
Let q(d) = -6*d**2 - d**3 - d + 1 + d - 4*d + 0*d**3. Is q(-6) a multiple of 6?
False
Let d(j) = 5*j**3 - 2*j**2 - j. Let v be d(-1). Let o = -4 - v. Suppose 21 = -o*u + 61. Does 10 divide u?
True
Suppose -2*i + i = -10. Is 10 a factor of i?
True
Does 7 divide (-1)/1 - (0 - 15)?
True
Suppose 0 = 4*k - 12, 0 = -2*w + 2*k - 4*k + 272. Is 10 a factor of w?
False
Suppose 5*p - 20 = 5*z, -3*p + 0 = 4*z + 2. Suppose -p*x = 2*x - 244. Let y = x - 41. Is y a multiple of 10?
True
Suppose -7 = 7*v - 182. Is 25 a factor of v?
True
Let m(x) = -x**3 - 5*x**2 - 6*x - 1. Is m(-4) even?
False
Suppose -t + 0*t = 0. Is (-1 - t/(-2)) + 33 a multiple of 18?
False
Let o be 1*-6*(-8)/6. Let m(w) = -w + 10. Is 2 a factor of m(o)?
True
Let t be 2/(-16)*-4*0. Let x = 3 + 2. Suppose x*r - 2*r + 3*m - 90 = t, -m = -4. Is 13 a factor of r?
True
Suppose a = x, -8 = -7*a + 3*a. Let u(i) = 8*i**3 - 2*i**2 - 1. Let j be u(x). Is 7 a factor of 670/j + (-4)/22?
False
Suppose -2*q - 2 = -3*m, -q + 0 - 6 = -4*m. Suppose 0 = q*j + 2*b - 14 - 52, -9 = -3*b. Does 15 divide j?
True
Let f be (6/8)/(1/4). Suppose 0*s - 15 = -3*s - f*q, -5*q + 13 = s. Is 3 a factor of s?
True
Suppose -5*d = -3*t - 43 - 0, -t = 4*d - 31. Is 5 a factor of d?
False
Let u = 10 + -7. Suppose 21 = u*p - 54. Is 12 a factor of p?
False
Let m(f) = -2*f + 44*f**2 - 38*f**2 + 2 - f + f**3. Does 16 divide m(-5)?
False
Suppose -s - 1 = -3*x, -2*s + 3*s - 4*x = -2. Let v be s*(14/4 - 2). Let c = v - -3. Is 4 a factor of c?
False
Suppose 0 = 6*v - 4*v - 4. Suppose 4 + 4 = v*p. Is 4 a factor of p?
True
Suppose 0 = -5*j - 28 + 103. Does 5 divide j?
True
Let h = -6 - -17. Suppose 0 = 3*k - h - 34. Is 5 a factor of 69/k - (-4)/10?
True
Let p(f) = -f**2 - 15*f - 17. Let i(u) = -46*u + 0*u**2 - u**2 - 2*u**2 - 52. Let t(s) = -2*i(s) + 7*p(s). Is 6 a factor of t(-10)?
False
Let y(a) = -4*a - 3. Let p be y(-2). Suppose -375 = 2*h - p*h. Suppose -h = -3*b - 35. Is 10 a factor of b?
True
Let u(q) = q**3 - 7*q**2 - 2*q + 4. Is 13 a factor of u(8)?
True
Let o(m) = 2*m - 8. Let a be o(10). Suppose -4*q = -a - 20. Suppose -q = 5*r - 68. Is r a multiple of 7?
False
Let u = -60 - -86. Is u a multiple of 26?
True
Let y be (58/(-8))/(6/24). Let m = -7 - y. Is m a multiple of 9?
False
Let s(o) = -o - 4. Let j be s(-4). Let h = j - -23. Is h a multiple of 23?
True
Suppose k = 5*k. Suppose -3*i + 20 + 34 = k. Does 8 divide i?
False
Let o = 308 + -85. Is o a multiple of 45?
False
Let k(n) = 25*n**2 - 1. Does 24 divide k(-1)?
True
Let n = -110 - -341. Is 11 a factor of n?
True
Let d be 5/(3 - (4 + -2)). Let z(u) = 4*u + 12. Is 8 a factor of z(d)?
True
Let p be 6/(-10)*(-10)/1. Suppose 0*w = -2*w + p. Is w even?
False
Let z(c) = -c**2 - 5*c - 2. Let v be 4/(-6)*3 + -2. Let t be z(v). Suppose 0 = -t*i + i + 14. Is 10 a factor of i?
False
Let l(w) be the second derivative of -w**4 + w**3/6 - w. Let n be l(-3). Is (-3)/6 - n/6 a multiple of 18?
True
Suppose l + 43 = -67. Does 13 divide (-3)/(2 + l/52)?
True
Let a(c) = 5*c - 8. Let u be a(7). Suppose 0 = -p - p - 5*j + 12, -3*p + u = 3*j. Is 9 a factor of p?
False
Let b be ((-2)/3)/((-2)/69). Suppose -2*h + 6*h + 28 = 0. Let c = b - h. Is c a multiple of 15?
True
Let d(v) = 6*v. Let h(c) be the first derivative of c**4/4 + 11*c**3/3 - 6*c**2 + 2*c + 2. Let l be h(-12). Is d(l) a multiple of 4?
True
Let j = 15 - 11. Let k be j/(-10)*60/(-4). Is 9 a factor of -1*-8*k/3?
False
Let y be (1*-1)/((-8)/24). Suppose 49 = y*d + 4*o, 4*d - d + 3*o = 45. Is d a multiple of 11?
True
Let l(m) be the first derivative of -m**4/8 - 4*m**3/3 + 3*m**2/2 + 2. Let n(y) be the second derivative of l(y). Does 13 divide n(-7)?
True
Let g be (-16)/(3*(-4)/54). Suppose -f - 3*f = -g. Is f a multiple of 9?
True
Suppose o = 2*f + f + 38, -4*o + 5*f + 152 = 0. Let n = 76 - o. Is 19 a factor of n?
True
Suppose 3*r - 86 = 82. Does 28 divide r?
True
Let l be (-24)/(-14) - 2/(-7). Let n(v) = 11*v - 24. Let f be n(12). Suppose -2*m = l*m - f. Is 9 a factor of m?
True
Does 3 divide -2*2/10 + (-737)/(-55)?
False
Let n(s) = 6*s - 5. Let k(h) = -h**2. Let c(b) = -k(b) - n(b). Let u be c(5). Suppose 2*l - 44 - 8 = u. Is l a multiple of 13?
True
Let q = -6 + 8. Let p(u) = -3*u + q*u - 10 + 44 + u**3. Is 14 a factor of p(0)?
False
Let u(r) = r**2 + 3*r - 4. Does 4 divide u(2)?
False
Let n be 5 + (-1 + 0)/1. Suppose -n*u = 3*q - 25, 3*q + 1 = 10. Suppose 52 = -0*m + u*m. Does 13 divide m?
True
Let h(z) = z**3 - 6*z**2 - 3*z + 3. Is 2 a factor of h(7)?
False
Let f(l) = 5*l**2 + 9*l + 36. Is f(-6) a multiple of 6?
True
Does 23 divide (6/8)/3 - 18819/(-164)?
True
Is 7 a factor of (-2)/(-16) + (-714)/(-48)?
False
Let s be 3*((-2)/(-1) + -3). Let d = -81 + 36. Is 2 a factor of (2/6)/(s/d)?
False
Let r = -4 + 8. Suppose z = r*z - 15. Is z a multiple of 5?
True
Suppose -8 = 4*t + 20. Let v(i) be the second derivative of i**5/20 + i**4/2 - 3*i**3/2 - i**2/2 + i. Is 5 a factor of v(t)?
False
Suppose 9 = 5*k - 16. Suppose -3*t + 94 = -4*l, -3*l - 25 = -k*t + 117. Let r = t + -15. Does 6 divide r?
False
Suppose 33 - 553 = -4*r. Suppose -3*v = 2*v - r. Is 13 a factor of v?
True
Let b(m) = -20*m**2 + 6*m - 17. Let w(n) = 7*n**2 - 2*n + 6. Let d(j) = -6*b(j) - 17*w(j). Let a be d(2). Suppose a = 5*h - 18 - 27. Is h a multiple of 8?
False
Let z(r) = 53*r**2 - r. Let g = -7 - -6. Is 22 a factor of z(g)?
False
Does 4 divide (-112)/12*6/(-4)?
False
Is (-6)/12 + (-189)/(-6) a multiple of 16?
False
Let k(h) = -h**3 + 6*h**2 + h - 5. Let q be k(6). Let j = q - -65. Is 20 a factor of j?
False
Let m = -3 + 138. Does 9 divide m?
True
Let h(w) be the third derivative of -w**4/8