Is 3 a factor of h?
False
Let m = 9 - 5. Suppose -m*k = 2*j - 273 + 71, j = -1. Is k a multiple of 13?
False
Let t(x) = x**3 + 5*x**2 + x + 4. Let u = -43 - -30. Let f = 9 + u. Is t(f) a multiple of 16?
True
Let t be 255/4 - (-1)/4. Suppose 16 = -2*r + t. Does 12 divide r?
True
Let u be 16 - 1 - 7/7. Does 2 divide ((-4)/u)/((-2)/28)?
True
Let v(f) = -2*f + 1. Let u(t) be the third derivative of -t**6/120 + t**5/15 - t**4/24 + t**3/3 + 3*t**2. Let q be u(4). Is 3 a factor of v(q)?
False
Is 13 a factor of 71 - (3 + 12/(-3))?
False
Let h be (-3 + -2 + 3)*-14. Suppose -4*u + 104 + h = 0. Does 11 divide u?
True
Suppose 2*c - 4 = -2*i + 4*i, -14 = -3*i - c. Suppose -i*g - 4 = -13. Is 3 a factor of g?
True
Let z(p) = -p. Let k(b) = -33*b - 1. Let h(u) = u**2 - 4*u - 1. Let f be h(4). Let m(r) = f*k(r) - 6*z(r). Is m(1) a multiple of 20?
True
Let b = -89 - -53. Let a = b + 50. Is 14 a factor of a?
True
Suppose -3*k + 0*k - 6 = 0. Is 8 a factor of 22 + (1 - (-3 - k))?
True
Suppose -2*c + 404 = 4*d - 384, 0 = c + d - 392. Does 30 divide c?
True
Let q = -231 - -352. Let k = 180 - q. Let l = k + -23. Is 22 a factor of l?
False
Let w(a) = -a**3 + 10*a**2 - 10*a - 4. Let y be w(8). Let z = y - 15. Is 16 a factor of z?
False
Let g(y) = -y + 180. Let m be g(0). Suppose 0*t + m = 3*t. Let q = t - 16. Is q a multiple of 14?
False
Suppose 4*p + 11 = 195. Is p a multiple of 14?
False
Let r(v) = v**3 - 13*v**2 + 14*v - 9. Is 2 a factor of r(12)?
False
Let f = 353 - 233. Suppose j + f = 6*j. Is 12 a factor of j?
True
Let s(k) = -k**2 + 10*k + 4. Suppose -2*l = -5 - 11. Is s(l) a multiple of 14?
False
Let f be 3 + 2*474/4. Suppose 3*i - 8*i + f = 0. Suppose -4*h + 0*h = -i. Does 7 divide h?
False
Suppose 0 = -r + 25 + 43. Suppose 5*s + r = 418. Does 14 divide s?
True
Suppose -k = -4 - 1. Let f = 5 - k. Suppose -x - 4*x + 174 = 4*d, 4*x + 2*d - 138 = f. Is 17 a factor of x?
True
Suppose 0 = -6*f + 340 + 74. Does 23 divide f?
True
Let x be ((-4)/16)/(1/(-4)). Is 13 a factor of (-540)/(-16) - x/(-4)?
False
Let z be (-2 - -1)*-1*-1. Suppose 3*f + 3 = 3*r - 6, 3*f = -4*r - 9. Is 15 a factor of 43 - 1*(r + z)?
False
Is 12 a factor of 62 - 1/(1/2)?
True
Let p(j) = 4*j**2 - 3*j - 2. Let y be p(4). Suppose y = 6*t - t. Is t a multiple of 5?
True
Let p = 15 + -15. Let i be 2/8 + 7/4. Suppose -n - i*n + 48 = p. Does 6 divide n?
False
Let x = 2 - -2. Suppose x*r = r + 51. Does 9 divide r?
False
Let q = -5 - -9. Is q/8 + (-25)/(-2) a multiple of 13?
True
Let u = 6 + -2. Let p be 28*(3 - (1 + 0)). Suppose 5*g - y + 15 - 109 = 0, -u*y + p = 4*g. Is g a multiple of 8?
False
Is 390/4*(-8)/(-100)*10 a multiple of 39?
True
Suppose -q = -5*g + 339, 4*g = -14*q + 12*q + 260. Is 9 a factor of g?
False
Suppose 0 = -0*n + 2*n - 46. Is n a multiple of 19?
False
Let j = 87 - 48. Is 13 a factor of j?
True
Let w(q) = -10*q**2 + 4*q**3 - 8 - 3*q**3 - 4*q - 3*q**2 - 2*q**3. Is 17 a factor of w(-13)?
False
Suppose -3*o - o - 304 = 0. Let b = o - -121. Does 15 divide b?
True
Let m be 0 + (-56)/(-2) + 1. Suppose -3*a = -m + 8. Suppose a*y = 3*y + 64. Is y a multiple of 16?
True
Suppose k - 24 = -k. Does 5 divide k?
False
Let c = 157 + -142. Is 15 a factor of c?
True
Let c = -11 + 12. Suppose c + 91 = 4*u. Is u a multiple of 23?
True
Suppose z = 3*z + 16. Is 13 a factor of (18/z)/(1/(-20))?
False
Suppose 3*v = -0*v + 30. Does 5 divide v?
True
Let j(y) = y**3 - 7*y**2 + y - 10. Let s be j(7). Let o = -1 - s. Does 2 divide o?
True
Suppose 4*c + 4*p - 124 = 0, 4*c - 2*p = p + 131. Does 32 divide c?
True
Let r be 10 + (-3)/(-1) + -5. Let b = r + 10. Is 6 a factor of b?
True
Suppose 98 - 452 = 3*h. Does 11 divide (-5)/(-20) - h/8?
False
Let o(n) = -3*n - 1. Let s(y) = -y**3 + 6*y**2 + 8*y - 3. Let x be s(7). Suppose -w = -3*q - 16, -x*q + 4*w - 12 = 4. Is o(q) a multiple of 7?
False
Let h(r) = r**2 + 2*r - 7. Let a be h(-5). Let t be 1/(-2) + (-4)/a. Let v = t - -28. Is v a multiple of 9?
True
Suppose -3*g + 9 = -3. Suppose -3*t - 99 = -4*p, -g*p + 76 = -5*t - 33. Is p a multiple of 7?
True
Let q(z) = z**3 + 10*z**2 + 11*z + 10. Let o be q(-7). Suppose u = o + 26. Does 12 divide (-4)/(-18) + u/9?
True
Let f(b) = -30*b**2 - b. Let t be f(1). Let h = t + 58. Does 9 divide h?
True
Suppose 5*j - 104 - 61 = 0. Is j a multiple of 4?
False
Let p = -50 + -47. Let c = 147 + p. Does 13 divide c?
False
Let x(o) = o + 3. Let p be x(-5). Let k(n) = 5*n**2 + 3*n. Is k(p) a multiple of 10?
False
Suppose -5*n + 3*x = -143, -4*x = n + 16 - 40. Is n a multiple of 8?
False
Suppose a = -4*d - a + 88, -2*d = 5*a - 60. Is d a multiple of 18?
False
Let v be ((-2)/2 + 3)/2. Let f be -1*-59*(v + 1). Suppose -58 = -4*o + f. Is 17 a factor of o?
False
Let q(l) = 9*l - 1. Let p be q(-10). Let c = p + 138. Is 12 a factor of c?
False
Suppose -2*v - 2*z = 2*z - 100, 2*z + 112 = 2*v. Is 18 a factor of v?
True
Let p(k) = -k**3 + 13*k**2 + 3*k - 13. Is p(7) a multiple of 18?
False
Let a = -164 + 263. Does 10 divide a?
False
Suppose -1 = -3*t - 7. Let b = t - -24. Let s = -5 + b. Is 17 a factor of s?
True
Let j be (1 + -1)*1/2. Let w be (j - (5 + 0))*-1. Suppose -4*d - w*s + 66 = 0, d + 4*s + 27 = 2*d. Is 10 a factor of d?
False
Let s = -3 + 6. Suppose -58 = -c + 3*z, -2*z - s*z - 267 = -4*c. Is 11 a factor of c?
False
Let m = 9 + -9. Suppose 2*q - 3 = -2*h + 9, m = -q + 5*h + 12. Does 7 divide q?
True
Suppose -1 = -h + 1. Suppose -3*t - 19 = -5*f + 31, -5*t - 58 = -h*f. Is (-2)/t - (-39)/5 a multiple of 3?
False
Let k = -28 + 136. Suppose 0 = -r - 2*r + k. Is 12 a factor of r?
True
Suppose 8 = -4*a, -3*a + 391 = 4*u - 147. Is u a multiple of 34?
True
Let l(v) = -v**3 + 13*v**2 + 12*v - 2. Is l(12) a multiple of 26?
True
Let n(a) = -a - 2. Let l be n(-6). Let b = l - -17. Does 11 divide b?
False
Let c be (-687)/(-21) - (-4)/14. Let h(n) = n + 5. Let i be h(-5). Suppose 2*d - 15 = -3*p + 30, i = d + 5*p - c. Does 9 divide d?
True
Let v = 22 + -7. Suppose -x + 2*x - v = 0. Is x a multiple of 15?
True
Does 17 divide (-1244)/(-8) + -1 - 3/2?
True
Suppose 0*v = -v + 5. Suppose 0 = -4*f + v*l + 84, 4*f = -3*l + 4*l + 84. Suppose 3*b - f = 2*b. Is 13 a factor of b?
False
Suppose 1 + 2 = 2*a - 5*s, -s - 3 = -a. Suppose 3*i = a*i - 3. Is i a multiple of 3?
True
Suppose -17 - 34 = -4*f - 5*n, 5*n + 21 = 4*f. Let q = 9 + f. Is 18 a factor of q?
True
Suppose 134 = 4*y - 254. Is 16 a factor of y?
False
Suppose -4*y - 14 = -2*k, 3*y + 4*k = k + 3. Let w = y - -2. Suppose w*m = -2*m + 76. Is 10 a factor of m?
False
Suppose 0*y = -3*y + l + 8, 3*y - 10 = 2*l. Is 71/y - (-4)/(-8) a multiple of 13?
False
Let w = 67 + -31. Does 2 divide ((-10)/30)/((-2)/w)?
True
Suppose -5*t - 12 - 8 = 0. Does 27 divide 6/((-8)/t)*15?
False
Suppose -3*m - 5 = 4, 5*m - 55 = -w. Is 7 a factor of w?
True
Let j(c) = c**2 - 8*c - 5. Let f be j(4). Let m be 6/f + (-716)/(-7). Suppose -4*o + o + m = 0. Does 17 divide o?
True
Let g = 6 + -2. Suppose -3*h = g*b - 154, -9*h + 5*h + 180 = -b. Suppose -2*y - 9 = -2*m - 37, -3*y + 2*m = -h. Is y a multiple of 9?
True
Let d(s) be the first derivative of s**4/4 + 2*s**3/3 - s**2 - s + 2. Let q be d(-2). Suppose -3*c - 59 = -h, h + q*c = -8 + 37. Is 22 a factor of h?
True
Suppose -d - 133 = -3*j, d + 51 = j + 2*d. Is j a multiple of 9?
False
Let i = -434 - -623. Does 13 divide i?
False
Let m = 9 - 3. Let j(r) = 3*r + r**3 + 3 - 6*r**2 - 1 - r. Is j(m) a multiple of 10?
False
Suppose -25 = -2*v - 13. Let d(i) be the first derivative of i**4/4 - 5*i**3/3 - 5*i**2/2 + 2*i + 1. Does 8 divide d(v)?
True
Let n(f) = -f**3 + 7*f**2 + f - 7. Let o be n(7). Let c be 0/(2/(2 - o)). Suppose c = 4*d + 2*k - 84, -d + 6 = 5*k - 24. Is 10 a factor of d?
True
Let i(g) = 2*g - 3. Is i(16) a multiple of 4?
False
Let f = 6 - 6. Suppose -3*r + 5*q + 109 = f, 152 = 5*r + 2*q + 22. Is 9 a factor of r?
False
Let z be -1 - 3/3*-1. Suppose -q = 2*w + 7, z*q = -4*q + 5*w + 37. Is q a multiple of 2?
False
Let z(c) = -2*c**2 - 6 - 7*c + 5*c**2 - 4*c**2 + 0*c. Let v be z(-6). Suppose -122 = -5*b - u, 0 = 5*b + 5*u - v*u - 130. Is 12 a factor of b?
True
Suppose 4*o - 174 = -5*h + o, 0 = -4*h + o + 129. Is 5 a factor of h?
False
Suppose -2*c + 144 = c. Is c a multiple of 14?
False
Let j(q) = 12*q - 9. Does 30 divide j(5)?
False
Let r(n) = n**3 + 5*n**2 + 2*n + 4. Le