9 = -71. Is j a multiple of 9?
True
Suppose -5*s = -21 - 14. Let t = 43 - s. Is 14 a factor of t?
False
Let z = -3 + 6. Is (z - -1) + 1/(-1) even?
False
Let x = -41 - -93. Is 13 a factor of x?
True
Let f(c) = 4*c**3 - 3*c - 4. Let x be f(3). Suppose 8*r = 6*r + 10. Suppose 5*g - 2*g + r*t - 100 = 0, -4*t + x = 3*g. Is g a multiple of 11?
False
Let s(u) = u**3 + 3*u**2 - 6*u - 3. Let g be s(-4). Let w(m) = m**3 - 5*m**2 + 2*m - 6. Is w(g) a multiple of 4?
True
Suppose -4*c - 23 = p, 3*p + 4*c + 29 = -0. Let a = 0 - p. Let h(t) = t**2 + 3*t + 2. Does 10 divide h(a)?
True
Suppose 0*c + 313 = -5*m - 2*c, -3*m - 3*c - 195 = 0. Let x = -29 - m. Does 16 divide x?
True
Let s(c) = 3*c**2 - 8*c - 11. Let u be s(9). Suppose -8*d + 3*d = -u. Is 16 a factor of d?
True
Let f = 4 - 5. Let l(u) = 37*u**3 + u**2 + 3*u + 4. Let n(p) = 73*p**3 + p**2 + 5*p + 7. Let x(h) = 5*l(h) - 3*n(h). Is 13 a factor of x(f)?
False
Let p = -3 + 2. Let m be 2/(p - 3)*-2. Suppose 2 + m = f. Is f a multiple of 3?
True
Is 11 a factor of 1*-3 - 116/(-2)?
True
Let u(a) = -13*a**2 - 22*a + 20. Let c(g) = -7*g**2 - 11*g + 10. Let i(t) = -11*c(t) + 6*u(t). Is i(-9) a multiple of 6?
False
Does 18 divide (7 - 87/5)*(-90)/4?
True
Let h be ((-2)/(-4))/(4/(-72)). Let v be (-4)/2*h/6. Suppose v*f + 11 = 98. Is f a multiple of 8?
False
Suppose 0 = -3*r + 6*h - 2*h + 16, 5*r + 3*h = 17. Is 10 a factor of -1 - (r + -1 - 40)?
False
Let c(m) = -2*m**2 + 10*m + 8. Let a be c(8). Let n be (a/(-12))/((-1)/(-21)). Suppose 4*g - 2*g = n. Does 14 divide g?
False
Let t(s) = -s - 26. Let x be t(0). Let l = x - -84. Suppose 0 = -3*g + 44 + l. Is g a multiple of 12?
False
Suppose 3*h + 0*h - 96 = 0. Suppose -2*a + 5*y + h = 0, 0*y - 73 = -3*a - 5*y. Is a a multiple of 8?
False
Let x = 1 - -35. Let t be (-4)/(-10) + x/10. Suppose -t*a + 20 = -8. Is 7 a factor of a?
True
Let m = -22 - -58. Does 12 divide m?
True
Suppose -3*h - 2*h - 25 = -3*n, 5*h + n = -25. Let j = h - -71. Suppose -4*s + j = 2*m, 0 = -0*m - m - 3. Does 9 divide s?
True
Let z = 5 - 3. Is 5 a factor of (20/6)/(z/6)?
True
Suppose 5*v + 5*w + 5 = 0, -4*v + 1 = w + 4*w. Let n = v - -11. Suppose g = z + z - 30, z - n*g = 24. Is 14 a factor of z?
True
Let v = -27 + 40. Does 7 divide v?
False
Suppose 0 = -3*o, -2*o + 605 = -0*t + 5*t. Does 14 divide t?
False
Suppose 0 = 5*z - 5*v - 245, 3*z = -3*v + v + 122. Is z a multiple of 17?
False
Suppose 0 = 15*v - 10*v - 10. Suppose 3*t + 5*b - 3 = 37, -v*t + 2*b = -48. Is t a multiple of 10?
True
Let p = 107 + -61. Does 16 divide p + (0 + -1 - -3)?
True
Suppose 0 = -2*t - 2*t. Suppose 2*a + 5*i - i - 100 = t, -65 = -2*a + 3*i. Is 14 a factor of a?
False
Let q(p) = p**3 + 8*p**2 + p + 5. Let t be q(-8). Let k(n) be the first derivative of -n**3/3 - 5*n**2/2 - 3*n - 1. Is 3 a factor of k(t)?
True
Let f(w) = 30*w**3 - w**2 + w - 1. Does 10 divide f(1)?
False
Let o(x) = x**2 - 15*x + 39. Does 3 divide o(15)?
True
Is 51 a factor of (-6)/10 - (-25259)/65?
False
Suppose -153 = -5*c + 527. Is 29 a factor of c?
False
Suppose 2*g - 4*g - 147 = -3*k, 0 = -2*g. Suppose 0*d - 3*d + 5*w - 53 = 0, w - k = 3*d. Does 5 divide (-1 - d)*3/9?
True
Suppose -66 = -2*q + 54. Does 30 divide q?
True
Let i be (3/(-4))/((-6)/384). Suppose -4*r = -2*r - i. Does 6 divide r?
True
Let l = -59 + 35. Let z = l + 70. Is 9 a factor of z?
False
Suppose -6*d + 8 = -4*d. Suppose -4 = d*t - c - 51, 0 = -3*c - 9. Does 11 divide t?
True
Suppose -78 = -5*r - 18. Is 4 a factor of r?
True
Suppose -5*p = -5*b + 65, -3*p - p = -b + 10. Is 14 a factor of b?
True
Suppose 12 = -2*k + 4*k - 5*w, 2*w = -4*k. Let t(a) = -k + 4*a - 2*a + 0. Is t(3) even?
False
Let r be (-3)/(3*3/(-60)). Suppose c = -3*c + r. Suppose -c*t - 26 = -3*g, -5*g - t = -27 - 7. Is g a multiple of 7?
True
Suppose -5*t - 661 - 382 = -2*d, 3*d - 1612 = -2*t. Suppose 3 = 4*c - 1, 0 = -4*z - 2*c + d. Suppose 5*o + 23 - z = 0. Is 11 a factor of o?
True
Let k = 11 + -2. Is k a multiple of 8?
False
Let a(f) = f**3 - 2*f**2 - 2. Let u = 3 + -2. Let m = 3 + u. Is a(m) a multiple of 15?
True
Suppose -3*p + 2*h = -241, -4*p - h + 264 = -39. Is p a multiple of 25?
False
Let n(d) = d**2 - 3*d + 4. Let y be n(4). Suppose 5*j - 3 = -a + y, 0 = a - 2*j - 25. Is 9 a factor of a?
False
Suppose -5*r + 4*i + 290 = 0, 2*r - 40 = -3*i + 53. Is 18 a factor of r?
True
Is (-3 + 4)*18/1 a multiple of 18?
True
Let y(g) = g**3 - 3*g**2 + 2*g + 2. Let s be y(2). Suppose 4*d - 5*p = 131, 3*p - 6*p = s*d - 93. Is 13 a factor of d?
True
Let g(p) be the third derivative of 5*p**4/24 - p**3/3 + p**2. Is 15 a factor of g(4)?
False
Let y(k) = -k**2 + 13*k + 8. Suppose 94 - 6 = -4*d. Let f = d - -35. Is y(f) a multiple of 4?
True
Suppose 0 = -6*u + 56 + 58. Is 16 a factor of u?
False
Let u = -8 - -23. Is 12 a factor of (48/u)/(4/40)?
False
Suppose 2*y + 10 = -3*y. Let p be y + 2 - -1 - -3. Let a = 4 + p. Does 8 divide a?
True
Suppose c = -4*y - c + 146, 4*y = c + 137. Does 5 divide y?
True
Let t = 159 + -27. Is t a multiple of 15?
False
Suppose -3*k - 112 + 26 = -2*d, 4*d + 2*k - 204 = 0. Is 7 a factor of d?
True
Suppose -126 = -3*i + 3*s, 4*i - 3*s = -57 + 225. Is i a multiple of 15?
False
Is 5 + 8/(-4) + 94 - 1 a multiple of 11?
False
Suppose 4*d = 2*w - 30, -30 + 12 = -w + 3*d. Is 15 a factor of (-22)/((30/w)/(-5))?
False
Let m(i) = -i - 4. Let w be m(-6). Suppose -w*h = -26 - 22. Is h a multiple of 13?
False
Let b = 2 - -3. Suppose -b*d + 51 = -2*d. Is d a multiple of 5?
False
Let g = -107 - -237. Is g a multiple of 26?
True
Let b = 11 - 6. Suppose k - 5*k - b*q = -4, -5*k + 2*q = -38. Is 6 a factor of k?
True
Let w(t) = -t**2 - 20*t - 8. Does 6 divide w(-15)?
False
Let f be 40/18 + 4/(-18). Let n be -2 - (-8 + f + 0). Is 7 a factor of 116/10 + n/10?
False
Let m = -23 - -106. Is m a multiple of 2?
False
Let z(w) = -w - 2. Let x be 8/(-6)*(-63)/(-14). Let v be z(x). Is (v*2)/(2/6) a multiple of 8?
True
Let v(j) = j**2 - j + 8. Does 6 divide v(-3)?
False
Let p(v) = 3*v**2 - 33*v - 20. Let z(w) = -2*w**2 + 17*w + 10. Let o(l) = 3*p(l) + 5*z(l). Does 15 divide o(-10)?
True
Let q = 5 - -10. Is q a multiple of 5?
True
Let r be (-32)/(-14) + 2/(-7). Let y be (2/r)/((-1)/(-4)). Suppose 0*u - 43 = -d + 5*u, 4*d = y*u + 140. Is 18 a factor of d?
False
Let t(f) = 39*f**2 + 1. Let o be t(-1). Let i = o - 20. Does 5 divide i?
True
Let t be (-6)/(-4)*96/18. Let q(o) be the second derivative of o**5/20 - 2*o**4/3 + 5*o**3/6 - 3*o**2/2 + o. Does 12 divide q(t)?
False
Suppose -t + m - 3*m + 84 = 0, 250 = 3*t + 5*m. Is 17 a factor of t?
False
Suppose 0 = -4*b - 0*b + 92. Is 23 a factor of b?
True
Suppose -3*b + 12 = -5*b. Let i(f) = -f**3 - 7*f**2 - 8*f - 9. Let o be i(b). Let p(u) = 4*u - 3. Is 9 a factor of p(o)?
True
Let y(t) = -t**2 - 4*t + 4. Let q be y(-4). Suppose f + q*b = 18, 4*f - 5*f = -b - 18. Is f a multiple of 6?
True
Suppose -x = -2*x + 27. Let p = -50 + x. Is (p + 9)/(-1 + 0) a multiple of 14?
True
Suppose -2*w + 21 + 39 = 0. Is w a multiple of 15?
True
Suppose 6*f + 337 - 1255 = 0. Does 13 divide f?
False
Let u(j) = j - 9. Let v be u(7). Does 9 divide (-7 - -2)*v/1?
False
Let v(r) = 12*r + 10. Does 30 divide v(5)?
False
Suppose -2*q + 89 = 4*m + 3*q, -q + 1 = 0. Is 21 a factor of m?
True
Let x(s) = s + 8. Let d be x(-11). Let y = -1 - d. Suppose 2*t - 4*t - 2*w = -66, -y*t + w + 66 = 0. Is 12 a factor of t?
False
Let s(h) = 7*h**3 - 2*h**2 + h. Let i be s(1). Let l = i + -2. Suppose -l*u = 5*a - 20 - 38, -a = -u - 8. Is 10 a factor of a?
True
Let c(x) = 6*x + 15. Let g be c(10). Suppose 2*k - g = k. Does 15 divide k?
True
Let z(n) = 10*n**2 - n + 2. Let o be z(-3). Suppose 5*i - o = -15. Is 6 a factor of i?
False
Let r(c) be the first derivative of c**2/2 - 30*c + 3. Let b be r(0). Is b/(-4) + 5/(-10) a multiple of 7?
True
Suppose 3*z + h = 779 - 235, -712 = -4*z + 2*h. Is 12 a factor of z?
True
Is 29 a factor of 8/(-20) - (-8128)/20?
True
Let x(b) = 3*b**2 - b + 2. Let n be x(-3). Does 11 divide (n/10)/(14/175)?
False
Suppose 10*q = -342 + 1242. Does 10 divide q?
True
Let x = 25 + -41. Let i = -22 + 21. Does 13 divide ((-124)/x)/(i/(-4))?
False
Let u = -16 + 26. Suppose 3 = v - u. Does 11 divide v?
False
Suppose 0 = 5*l - 8 - 2. Suppose 0 = -5*k + l + 63. Let b = k - -1. Is 5 a factor of b?
False
Let p(z) = z