
Suppose 0*p = -p + 95. Is p a multiple of 51?
False
Let o = -46 - -126. Is 16 a factor of o?
True
Is 18 a factor of 146*4/16 - (-2)/(-4)?
True
Does 8 divide (-4)/14 - 282/(-7)?
True
Suppose -2*j = 2*j. Suppose j = -t - 2*t - 27. Does 18 divide (132/t)/(4/(-6))?
False
Suppose 4*h - 5*m + 536 + 57 = 0, -5*h + 3*m - 751 = 0. Let o be (-8)/5*(2 + h). Suppose -4*g = g - o. Is 12 a factor of g?
True
Is 7 a factor of (10/(-6))/((-4)/24)?
False
Let m = -11 - -59. Suppose 0 = 3*s + n - 31, 4*s + 2*n - m = -n. Is s a multiple of 9?
True
Let s(q) = q**3 - 5. Is s(5) a multiple of 30?
True
Let r be 1*-6*3/(-9). Let j = -13 + 20. Suppose v = 3, -4*v = r*c - j - 45. Is c a multiple of 12?
False
Let i(n) = -n - 1. Let m be i(2). Let s = m + 16. Does 6 divide s?
False
Let s = 0 - 69. Is 15 a factor of (-5)/(s/(-24) + -3)?
False
Let m = -9 - -12. Suppose 0*r + m*r - 72 = 0. Does 24 divide r?
True
Let a = -48 - -104. Is a a multiple of 10?
False
Let p = 243 + -131. Is 28 a factor of p?
True
Does 9 divide 5/(-4) - (-5797)/68?
False
Let x = -57 - -90. Is x a multiple of 4?
False
Let y = -23 + -19. Suppose 231 = 3*g - 0*g. Let h = y + g. Does 12 divide h?
False
Let h = -5 - -22. Does 7 divide h?
False
Let g(i) be the second derivative of -i**8/6720 - i**7/1260 - i**6/240 - i**5/120 + i**4/12 + 2*i. Let c(d) be the third derivative of g(d). Is c(-2) even?
False
Let b(r) be the third derivative of 1/60*r**5 + 0 + 2*r**2 - 29/120*r**6 + 0*r**4 - 1/6*r**3 + 0*r. Does 11 divide b(-1)?
False
Let s(d) = -d**3 + 4*d**2 - 3*d + 1. Let r be s(2). Suppose -r*i = 2*p + 52, -i - 84 = 2*p - 6*i. Let b = p + 48. Is 8 a factor of b?
True
Suppose 5*i + 25 = 0, 5*w + 0*w = -4*i + 235. Is w a multiple of 14?
False
Let l = -22 + 26. Let b = 2 + l. Is 3 a factor of b?
True
Let q = -21 + 40. Let w = 31 - q. Is 12 a factor of w?
True
Let r = 3 - 3. Suppose 4*v + r*v = -40. Is 6 a factor of 24/v*10/(-3)?
False
Let l(d) = d**2 - 2*d + 90. Is l(0) a multiple of 15?
True
Does 4 divide -2 + -18*-15*4/18?
False
Let k = -6 - -15. Is k a multiple of 9?
True
Let m = 4 + 1. Suppose 0*r + m*r = 125. Is r a multiple of 25?
True
Let v(o) = 7*o**2 + 2 - 4 - 4*o**2. Let h be v(2). Let q = 20 - h. Does 4 divide q?
False
Let n(f) = 6*f**2 - 2*f - 3. Let w be n(3). Let y = -27 + w. Is y a multiple of 6?
True
Suppose 0 = q + 3, -5*q - 10 = f - 0*q. Let d be (-2)/f + 17/5. Suppose y + 2*o - 11 = -3, d*y - 3*o = 24. Is 8 a factor of y?
True
Suppose 0*y + 5*y - 10 = 0. Suppose 4*h = -y*z + 3*z - 41, 4*z - 79 = -h. Does 9 divide z?
False
Let y = 15 - -69. Does 28 divide y?
True
Let c(u) = -2*u**3 - 3*u**2 + 8*u + 4. Let v be c(-5). Suppose 5*x - 191 = v. Is 17 a factor of x?
False
Let n(h) = -h**2 + 9*h + 9. Let l(q) = q - 1. Let c(b) = -2*l(b) + n(b). Let k be c(8). Suppose k*d - 32 = -8. Is 4 a factor of d?
True
Let l be -4 + 10 + -5 + 1. Suppose -5*v - 5*p + 150 = 0, 3*p = -l*v + v + 26. Is 12 a factor of v?
False
Suppose -d + 231 + 6 = 0. Does 37 divide d?
False
Suppose -2*b - 4 = -28. Let z = -50 + b. Let a = z + 54. Is a a multiple of 16?
True
Suppose -8*p - 144 = -12*p. Is 6 a factor of p?
True
Does 4 divide (-561)/(-54)*2 - 2/(-9)?
False
Let s be 2 - (1 + 0 + 1). Let z = s + -12. Let n = 43 + z. Is 20 a factor of n?
False
Suppose 2*h - 10 = f, 0*h = -3*h - 2*f + 8. Suppose h*x - 3*j = -51, -x + j + 13 = -3*x. Let i(a) = a**2 + 7*a + 3. Is 11 a factor of i(x)?
False
Suppose -2*b + 150 = -4*o, 4*b + b - 335 = 2*o. Does 21 divide b?
False
Suppose -4*z = -c + 8, 0 = c + 2*z - 0*z + 4. Suppose c = -4*f - 3*h + 66, 0*h = -4*f - 4*h + 64. Does 9 divide f?
True
Let p(g) = -g**2 - 6*g + 2. Suppose 0 = d + 4*d. Suppose 2*x + 0*x + 8 = d. Does 4 divide p(x)?
False
Let p(y) = -y - 5. Let l be p(-5). Suppose l = c - 0*c. Suppose -4*k + 100 = -c*k. Is 17 a factor of k?
False
Let r = -11 - -16. Let z(u) = u**2 - 1. Let g be z(-2). Suppose 0 = 2*i - r*j - 29, -j = -g*i - 5 + 29. Is 7 a factor of i?
True
Let l(v) be the third derivative of v**6/120 + v**4/24 + v**2. Is 5 a factor of l(2)?
True
Does 11 divide ((-99)/(-2))/(1/6)?
True
Let r = -90 + 103. Does 13 divide r?
True
Let y(i) = 153*i**3 - i**2 - i + 1. Let n be y(1). Does 13 divide (-18)/(-27) + n/6?
True
Suppose 0 = -a + 2*a + 81. Let s(n) = -2*n**2 + 4*n - 3. Let d be s(6). Let f = d - a. Is f a multiple of 15?
True
Suppose 271 = 4*b - 117. Let p = -61 + b. Is 18 a factor of p?
True
Let f(t) = -2*t + 4. Is f(-17) a multiple of 17?
False
Is 9 a factor of (0 + (-9)/(-15))*45?
True
Let b(p) = 24*p**2 - 4*p. Is 20 a factor of b(1)?
True
Suppose 0 = 4*p + p. Suppose 5*s + f - 77 = -p*f, 0 = s + 3*f - 7. Does 16 divide (12 - 0)/(6/s)?
True
Let o = -25 - -39. Is o + 2 + -3 + 2 a multiple of 5?
True
Let d = -46 - -67. Is d a multiple of 14?
False
Let u be (-3 - -15)*(-52)/(-12). Let x = u + -20. Is x a multiple of 16?
True
Let l = 5 - 3. Suppose -f + l*f - 9 = 0. Does 9 divide f?
True
Suppose 0*v + 4*c - 282 = -5*v, 0 = 4*v + 2*c - 228. Suppose -3*x + v = t + 7, 3*t - 3*x - 141 = 0. Does 26 divide t?
False
Let t = 1 + -1. Suppose 0 = 4*g - 2*g + 10, 0 = 4*s - 3*g - 7. Does 8 divide (t + 2)/(s/(-8))?
True
Let t(i) = -i + 8. Let w be (-2)/(-3) - 30/(-9). Let v be t(w). Suppose -v*z + 3*s = -65, 3*z + s - 25 = z. Does 11 divide z?
False
Suppose 119 = x + 71. Is 3 a factor of x?
True
Let w(g) = 19*g - 18. Is 7 a factor of w(5)?
True
Let a = -4 + 1. Let d be -1*3/a - 2. Does 3 divide (0 - d)*(5 + 3)?
False
Let x(u) = 13*u**2 - 1. Let a be x(-1). Is 2 + a + (-3)/1 a multiple of 4?
False
Suppose 0 = 6*u + 388 + 266. Let s = -40 - u. Is 23 a factor of s?
True
Suppose -5*c = -3*c - 40. Is c a multiple of 18?
False
Suppose 8 = -a + 17. Does 7 divide a?
False
Let p(h) = -h**2 - 7*h - 5. Let x be p(-4). Let t = x - 3. Is 20 a factor of -1*13*(t - 7)?
False
Suppose 237 + 211 = m. Suppose -2*h + 4*s + 160 = 0, 5*h - m = 5*s - 38. Does 8 divide (4/(-6))/((-4)/h)?
False
Let n(u) = -u**3 - 4*u**2 + 12*u + 12. Let y(z) = -5*z**3 - 19*z**2 + 61*z + 61. Let j(v) = -11*n(v) + 2*y(v). Is j(-7) a multiple of 9?
False
Is (-3)/(3/134)*(-6)/4 a multiple of 14?
False
Let j = 0 + 4. Suppose g - 70 = -j*g. Does 9 divide g?
False
Suppose 404 = 4*h - 124. Suppose -24 + h = 4*g. Is g a multiple of 8?
False
Let z(n) = 9*n**2 + n. Let c be z(1). Let p = 2 - c. Is 16/3*(-12)/p a multiple of 4?
True
Let z = -11 - -25. Is z a multiple of 14?
True
Let a(r) = 2*r**3 + 3*r - 6. Let b(k) = 3*k**3 + k**2 + 5*k - 11. Let f(x) = 5*a(x) - 3*b(x). Is f(3) a multiple of 2?
False
Suppose 12 = f - 3*f. Let k(a) = 3 - 7*a + 2 - 3*a**2 + 2*a**2. Is k(f) a multiple of 11?
True
Suppose i - 39 = -5*w, -w + 92 = 4*i + 3*w. Suppose 0 = -d - 2*x + i, 5*x - 111 = -5*d + 3*x. Does 23 divide d?
True
Suppose -4*u = -2*f - 3*f + 145, 0 = 5*u + 25. Is f a multiple of 14?
False
Let f(w) = w**2 + 5*w - 6. Let v be f(-6). Suppose 49 = 4*g - 303. Suppose v*n - 2*j + g = 4*n, -2*j = n - 28. Is 10 a factor of n?
True
Let s = 5 + -3. Suppose 3*q + 10 = p + s, 4*q + 13 = -p. Is 8 a factor of ((-16)/(-6))/(q/(-9))?
True
Let p be 9/6*(-16)/(-6). Is 372/11 - p/(-22) a multiple of 17?
True
Let b(v) = 4*v**3 - 4*v**2 + 2*v - 2. Does 22 divide b(3)?
False
Let v(f) = 3*f**2 + 10*f - 13. Is 33 a factor of v(-8)?
True
Let u(z) = -21*z - 20. Is 36 a factor of u(-7)?
False
Let v(a) = -11*a**3 + 16*a**2 - 20*a - 10. Let h(m) = 4*m**3 - 5*m**2 + 7*m + 3. Let b(j) = 8*h(j) + 3*v(j). Is b(5) a multiple of 19?
False
Let x = -2 + 0. Let o(j) = -2*j**3 - 3*j**2. Let z be o(x). Suppose z*n - 10 = 78. Does 11 divide n?
True
Is 14 a factor of (-2286)/(-81) - 4/18?
True
Is 36 a factor of ((-1)/(-2))/((-17)/(-4896))?
True
Let p be (-5526)/(-30) - (-2)/(-10). Let x = -111 + p. Let f = x + -51. Is 11 a factor of f?
True
Let a(f) = -f**3 - 11*f**2 - 10*f + 6. Let w = -10 - 0. Is a(w) even?
True
Let z = 1 - -1. Suppose z*l - 1 - 3 = 0. Suppose 4*b - l*b = 28. Is b a multiple of 6?
False
Let x be -7 + 3 + (-120)/(-1). Let b be (0/1 - -1) + 2. Suppose -b*t + 1 = -x. Is t a multiple of 13?
True
Suppose -5*h + 4*z = -0*h - 98, 3*h + z = 52. Is h a multiple of 6?
True
Let d(z) = -48*z + 3. Let j be d(-1). Suppose 28 = o + b - 17, 2*b = o - j. Is 8 a factor of o?
False
Let y = -9 - -5. Does 6 divide 1 + 0 - (y - 6)?
False
Suppose -5 = -4*s + 35. Is 10 a factor of