 - g - 4*f - 124. Suppose 3*r - 2*r = -5*k + g, -5*k = -4*r - 42. Is k a multiple of 5?
True
Let s(p) = -p**3 - 4*p**2 - 3*p + 3. Let i be s(-4). Suppose 3*a = 3*o + 15, a - 3*o - i = -0*o. Let h(y) = -y**3 - y**2 - y + 14. Is 6 a factor of h(a)?
False
Let h(n) = -n**3 + 4*n**2 + 9*n + 6. Does 14 divide h(-4)?
True
Let k(l) = l + 18. Let m be k(-13). Suppose 11 = 5*f - 29. Suppose 2*o + 3*d = 21, -o + d + f = m*d. Does 5 divide o?
False
Let h(s) be the first derivative of s**4/4 + 7*s**3/3 + 7*s**2/2 + 9*s - 1. Let v be h(-6). Suppose -v*a = 3*c - 24, -4*c = 3*a - 14 - 8. Is 10 a factor of a?
True
Let n(q) = -3*q - q**3 + 3*q**2 - 1 + 2*q**2 + 2. Let r be n(4). Suppose -2*g = b - 7*g + 10, 5*g - 40 = -r*b. Is 2 a factor of b?
False
Let h = 290 - 177. Does 10 divide h?
False
Let a = 283 - 139. Let d = -8 - -12. Suppose d*t = -0*t + a. Is t a multiple of 16?
False
Suppose h = -3, -s = 2*h - 0*h + 4. Suppose -35 = -s*w - 1. Is 17 a factor of w?
True
Let q(s) = 2*s + 5. Let y = -4 - -3. Let k(x) = x**2 - x + 1. Let v(t) = y*q(t) + k(t). Does 3 divide v(5)?
True
Suppose 5*m - m - 236 = 0. Is 11 a factor of m?
False
Let c = -355 + 517. Suppose -5*x = 4*b - 391, -2*x - b + c = 2*b. Is 19 a factor of x?
False
Suppose 5*i - 8 = 2*x, 0 = i + 3*x + 12. Suppose -10*b + 5*b + 90 = i. Does 5 divide b?
False
Suppose -5*o = -2*o - 45. Is o a multiple of 2?
False
Let s = 8 - -11. Does 19 divide s?
True
Suppose 3*f = -4*o + 7, 0 = -4*f - 3*o - o + 8. Suppose 0 = 3*n - b - 132, 0 = -b - 4 + f. Is n a multiple of 24?
False
Suppose 0 = -6*f + 2*f + 304. Suppose 3*m - f = -m. Does 10 divide m?
False
Let s be (1/(-3))/((-1)/15). Suppose 0 = -s*d - 3*n + 276, -2*d + 2*n = -0*d - 104. Does 9 divide d?
True
Suppose -6*x + 3*x + 42 = 0. Let q = 29 + -27. Is q/4 - (-371)/x a multiple of 18?
False
Suppose 5*b + 10 = -2*z - 0*b, 0 = 2*z + b - 6. Suppose 17 = -f + z. Let j = -7 - f. Is 2 a factor of j?
False
Let g = -12 + 34. Is g a multiple of 12?
False
Let u(k) = -k**2 - 2*k + 1. Let z be u(-6). Let t(g) = 2*g**2 - 6*g - 2. Let a be t(6). Let x = a + z. Is 5 a factor of x?
False
Suppose -23*o = -26*o - 3. Is 20 a factor of o/3 - (-724)/12?
True
Let h = -9 - -14. Suppose h*o - 4*p = p - 10, 0 = 5*p - 5. Does 5 divide o - -14 - 1 - 2?
True
Let m(g) be the second derivative of -g**4/12 + 4*g**3/3 - 3*g**2/2 + 2*g. Is 4 a factor of m(5)?
True
Suppose 110 = -4*y - 86. Let l = y + 85. Is l a multiple of 9?
True
Let h(x) = x**3 - 3*x**2 + 3*x - 3. Let o be h(4). Suppose -150 = -5*j - o. Is 11 a factor of j?
False
Let w(l) = -l - 3. Let x(q) = -4*q - 14. Let t(f) = -14*w(f) + 3*x(f). Let c be t(1). Suppose 5*g - c*g + 2*s - 28 = 0, 4*g = -2*s + 34. Does 3 divide g?
True
Suppose -3*u - 2*n = -715, 0*n = -3*u + n + 727. Suppose z + r = -3*r + u, -3*z + 5*r = -808. Suppose 4*w - z = k - 70, k - 54 = -w. Is 18 a factor of w?
False
Let j(d) be the third derivative of -d**5/60 - 3*d**4/8 - d**3/3 + d**2. Does 6 divide j(-5)?
True
Let q(v) = v**3 + 15*v**2 + 15*v + 18. Let b be q(-14). Let l be ((-34)/b)/(3/(-6)). Let j = 24 - l. Is 4 a factor of j?
False
Let z(h) = 4*h**2 + 1. Let j(y) = -5*y**2 - 2. Let n(b) = 3*j(b) + 4*z(b). Let r(k) = -k + 5. Let p be r(8). Is 7 a factor of n(p)?
True
Let q = -4 - -4. Suppose 0 = -3*w - q*w + 3. Suppose 2*c = w + 51. Is c a multiple of 13?
True
Let a be 1 + 4/(12/(-33)). Let z = 22 + a. Does 7 divide z?
False
Let n = -6 - -14. Is 5 a factor of n?
False
Let z be 0 - -41 - 2/(-1). Let t = -15 - -17. Let h = z + t. Is 15 a factor of h?
True
Let p be 5 - (-3 + -1)*-1. Suppose 3*c = -0*c - 2*u - 2, 5*c + 5*u = -10. Does 12 divide (c - p) + -1 - -12?
True
Is -3 - -7*5*1 a multiple of 4?
True
Let x(v) = v**2 - 9*v - 8. Let u be x(10). Suppose u*j + 40 = 96. Does 11 divide j?
False
Suppose 0 = 5*x - 3*x. Suppose 5*m = 5*j - 235, x = m - 0*m + 2*j + 47. Let z = m - -84. Is 11 a factor of z?
False
Suppose -760 = -5*n + 2*l, 3*n - 313 = n - l. Does 7 divide n?
True
Let d(z) = -z**3 - 5*z**2 + 10*z + 2. Let g(k) = -k**3 - k**2 + 3*k - 1. Let t be ((-6)/(-15))/(2/10). Let a be g(t). Does 12 divide d(a)?
False
Let x = -36 - -51. Is 3 a factor of x?
True
Suppose -5*o = -4*o + 16. Is 12 a factor of -9*(0 - o/(-6))?
True
Let i be 1 + (-1)/(3/(-9)). Let d = i - 0. Is d/(8/6) - -21 a multiple of 11?
False
Let d(s) = -s**2 - 8*s - 2. Let w be d(-7). Suppose 0 = 5*m - 2*h - 31, -5*h - 20 = 4*m - w*m. Is 2 a factor of m?
False
Is 36 a factor of ((-35)/(-2))/5*(15 + -3)?
False
Suppose 2*j - 15 = -5*o + 8, 0 = -2*j + 4*o - 4. Suppose 2*p = -p - q + j, -3*p + 5*q + 16 = 0. Suppose 4*g - p*s - 9 = -3*s, 5*s = -5*g + 15. Is g even?
True
Does 7 divide (-27)/(-4) - 19/(-76)?
True
Suppose -3*t - 100 = 2*t. Let v = t + 38. Does 13 divide v?
False
Suppose -y + 0*n + 65 = 4*n, -4*n = 2*y - 138. Is y a multiple of 6?
False
Let y be (7/(-2) - -2)*2. Let s be y*54/(0 - 2). Suppose -3*c - t + 66 = 17, -2*t + s = 5*c. Is 7 a factor of c?
False
Suppose -3*y = -6*y + 9. Suppose -r = y*r - 12. Suppose -5*f = -r*v - 73, f - v + 38 = 3*f. Does 9 divide f?
False
Suppose 5*j - 62 = -5*a + 148, 2*a = -j + 46. Does 9 divide j?
False
Let w = -14 + 8. Let k(z) = -z**2 - 8*z - 2. Let q be k(w). Suppose -2*h - 2 + q = 0. Is 3 a factor of h?
False
Let n = 7 + 8. Does 10 divide n?
False
Suppose 2*i - 5*d = 262, 4*i - 3*i - 125 = 4*d. Is 18 a factor of i?
False
Let g = 0 + 5. Let m = g + -2. Suppose 0 = r + 2, 0 = -m*k + 3*r + 30 - 0. Is 4 a factor of k?
True
Let u = -6 + 5. Suppose 2*b + 57 = -4*n + b, -3*n - 51 = -2*b. Let y = u - n. Is y a multiple of 14?
True
Let w(s) = -2*s**2 - 51*s + 35. Is w(-26) a multiple of 3?
True
Suppose -4*u = -x + 6, -u + 5 = -4*x - 1. Does 10 divide u*(3 - (9 + 2))?
False
Suppose 5*v - 51 - 49 = 0. Is 12 a factor of 64/v*30/4?
True
Is 21 a factor of 72/16*(-14)/(-3)?
True
Let j = -7 + 7. Does 3 divide j + (-2 + -5)*-1?
False
Suppose 0 = 5*k + 5*y + 10, -4*y - 6 = 2*k + 2. Suppose 0 = 3*h - 12, k*h + h = -5*l + 19. Is l a multiple of 3?
True
Suppose 0*j + 84 = g + 5*j, 0 = 2*g - 5*j - 123. Is 12 a factor of g?
False
Let a be ((-40)/50)/((-2)/15). Let d(m) = 0*m**2 - 3 - 6*m + 0 + 2*m**2. Is 13 a factor of d(a)?
False
Let g(n) = n**2 - n - 3. Let c be g(3). Suppose -2*u + 4*u - 47 = -5*s, s + 2*u = c. Is s a multiple of 5?
False
Let m = -6 + 9. Suppose 0*v + 168 = m*v. Suppose -2*d - 3*d - v = -2*h, -d + 32 = 2*h. Is h a multiple of 9?
True
Is 4 a factor of ((-6)/(-4))/((-48)/(-320))?
False
Let s be 654/15 + (-4)/(-10). Suppose 0*l + 2*l - s = 0. Is 12 a factor of l?
False
Let b(t) = -11*t + 6. Is b(-2) even?
True
Suppose 6 = -q + 2*y + 19, 7 = 4*q + y. Suppose l = -q*l + 40. Is l a multiple of 3?
False
Suppose -5*j = -9*j + 80. Is 5 a factor of j?
True
Let w be 0 + (-3)/(-9)*0. Let i = 8 + w. Is 8 a factor of i?
True
Let i(x) = -x**3 - 2*x**2 + x - 1. Let u be i(2). Is 12 a factor of (-696)/u - 6/15?
False
Let h(v) = -8*v - 12. Let b be h(-8). Suppose -2*k + 4*n = -b, 0 = -2*k + 3*k + n - 29. Is k a multiple of 10?
False
Is 25 a factor of (4 - (-75)/(-6))*-6?
False
Suppose -5 = -2*j + 3. Suppose 0 = 5*y - 2 - 183. Suppose j*a - y = 67. Is a a multiple of 13?
True
Suppose -3*t = -4*y - 45, 2*y = t - 3*y - 26. Does 3 divide t?
False
Suppose 0 = -2*g + 3*p + 893, p + 325 + 566 = 2*g. Does 31 divide g?
False
Suppose 3*d - 52 = 3*t - 2*t, -5*d - t = -100. Is d a multiple of 15?
False
Let f be 90/24 + 2/8. Suppose 0 = g - f*g + 39. Is g a multiple of 8?
False
Let b(g) = -2*g**3 + 5*g - 4. Is 7 a factor of b(-3)?
True
Let z(m) = -9*m. Let w(d) = 3*d. Let h(o) = 7*w(o) + 2*z(o). Does 6 divide h(5)?
False
Let z = 9 + 5. Does 14 divide z?
True
Suppose -5*q + 6*q - 16 = 0. Is 6 a factor of q?
False
Let n = 17 + -11. Suppose 2*c + 48 = n*c. Is c a multiple of 7?
False
Let u = -5 + 7. Let o = 25 - -23. Suppose -2*g = u*g - o. Is 12 a factor of g?
True
Let j(p) = p**2 - 5*p + 2. Does 2 divide j(5)?
True
Suppose 2*s = -p + 7*s + 84, -15 = 3*s. Does 12 divide p?
False
Suppose -5*a = -7 - 3. Suppose 4*s - 4*x + 4 - 28 = 0, 0 = -3*s - a*x + 3. Suppose -100 = -s*r - r. Is r a multiple of 12?
False
Let p(v) = v - 4. Let a be p(4). Suppose -2*z + 2*h = -2*h - 56, z - h - 28 = a. Is 19 a factor of z?
False
Suppose -b = -4, -d + 2 = d - 2*b. Suppose 0 = d*v - 3*a - 78, -6*a = 5*v - a - 7