Is f(z) a multiple of 5?
True
Suppose -25 = 5*g, -s - 42 = 3*g - 135. Is s a multiple of 36?
True
Suppose -250 = -5*j + 515. Is 9 a factor of j?
True
Let r(l) = -l**2 + 1. Let i(c) = -c**2 + 7*c - 6. Let o(q) = -i(q) + 2*r(q). Does 4 divide o(-7)?
True
Let k(y) = 7*y**3 - 7*y**2 - y + 14. Let q(h) = -6*h**3 + 7*h**2 - 13. Let i(f) = -5*k(f) - 6*q(f). Let b be i(6). Is 25 - -2*1/b a multiple of 13?
True
Let d = -24 - -54. Suppose 2*b - 12 = d. Does 21 divide b?
True
Let a(y) = y + 1. Let h(i) = 3*i**2 + 6*i + 3. Let b(r) = -5*a(r) + h(r). Let n be b(2). Suppose -q + n = 2*q. Is q a multiple of 3?
False
Suppose 4*k = h + 90 + 918, 0 = -4*k - 4*h + 988. Suppose -k = -5*d - 3*q, 2*q + 2*q = 4*d - 188. Let y = d - 25. Is 12 a factor of y?
True
Let y(w) = 5*w**2 - 6*w - 3. Is y(4) a multiple of 12?
False
Let l be 0/(-2)*(-4)/(-8). Suppose -5*d - 74 = -w - l*w, 4*d + 64 = -4*w. Let v = d + 21. Is 5 a factor of v?
False
Let j be 1 - (2 + -13 - 3). Suppose 0*o = o - j. Is o a multiple of 4?
False
Let z(t) = 39*t + 2. Let o be z(2). Suppose g + o = 24. Let b = g + 78. Is 11 a factor of b?
True
Suppose -5*j - 450 = -11*j. Is 18 a factor of j?
False
Let m(k) = -k**3 - 5*k**2 - 7*k - 6. Let g be m(-4). Suppose 0*x = 3*x + 3*z - g, -5 = 2*x - z. Is 4 a factor of (1 - 10)/1*x?
False
Let g = -75 - -83. Is g a multiple of 4?
True
Suppose 2*o + 10 = t + 3*o, -2*o = -4*t + 34. Is t a multiple of 3?
True
Does 7 divide (16/(-12))/(-4)*42?
True
Let g = 138 - 85. Does 26 divide g?
False
Let b(u) = -3*u - 4. Let l be b(-6). Let g = 2 + l. Is 16 a factor of g?
True
Suppose 2*s = 6*s - 8. Suppose 72 = -5*r - 73. Let y = s - r. Is 14 a factor of y?
False
Let c = -43 + 71. Is 5 a factor of c?
False
Let t(a) = a**3 - 10*a**2 + 2*a + 22. Is 33 a factor of t(11)?
True
Suppose 67 = -3*t + 4*b + 692, 0 = -3*t + 2*b + 623. Is 19 a factor of t?
False
Let x(w) = -5*w - 18. Is 7 a factor of x(-5)?
True
Let k(g) = -g**3 + 8*g**2 + 5*g + 2. Does 35 divide k(4)?
False
Suppose -3*b - a + 70 = 0, 2*b - a - 30 = -5*a. Is 25 a factor of b?
True
Let t(u) = u**2 + u + 29. Let x be t(0). Let f = x + -16. Is 9 a factor of f?
False
Suppose -3*i + 2 = -7. Suppose i*s + 1 - 76 = 0. Let f = 57 - s. Does 16 divide f?
True
Let a = 25 - 5. Does 20 divide a?
True
Suppose 5*z - 58 = -o, 264 = 4*o + o - z. Is 16 a factor of o - (2 - (1 - -2))?
False
Suppose -4*a = -3*b - 0*b - 789, 417 = 2*a + 3*b. Is 36 a factor of a?
False
Let k = -13 - -23. Let o = -5 + k. Does 5 divide o?
True
Let w = 1 + 2. Let g = w - -2. Suppose -r = -g*r + 44. Is 4 a factor of r?
False
Let y(v) = -6*v**3 - 5*v - 1. Is 3 a factor of y(-2)?
True
Let n = -12 - -18. Is 9 a factor of 183/n + 1/(-2)?
False
Let h be (-1)/(2 - 58/30). Let t = 38 + h. Does 23 divide t?
True
Let h(j) = j + 13. Let v be h(-5). Is 17/5 - v/20 even?
False
Suppose 0 = 84*m - 85*m + 61. Is 13 a factor of m?
False
Suppose n - 68 = -n. Let o = n - 22. Is 12 a factor of o?
True
Suppose -5*x = -5*a - 235, -153 = -4*x + x - a. Let h = -2 - -7. Suppose 2*c = -h*r - 3*c + x, r = -3*c + 6. Is r a multiple of 11?
False
Suppose 5*z = r + 2*r - 17, -2*r - z + 7 = 0. Suppose 3*u = 12, 5*m - 49 - 7 = -r*u. Suppose -m + 0 = -n. Is n a multiple of 3?
False
Let a(t) = 11*t**2 - 2*t - 1. Let o be ((-8)/(-6))/((-2)/(-3)). Is a(o) a multiple of 13?
True
Let n(i) = 22*i**3 + i**2 + i - 1. Is 12 a factor of n(1)?
False
Does 20 divide 3 + (-348)/(1 + -5)*3?
False
Is 16 a factor of 297/6 - (-6)/(-4)?
True
Let g be 254/8*(-3 + 7). Suppose b + 3*b = 3*q - 131, -2*b - g = -3*q. Is q a multiple of 20?
False
Let i(y) = 5*y**3 + y**2 + 2*y - 2. Let q be i(2). Suppose 3*o - 14 = q. Is 7 a factor of o?
False
Suppose 2*y + 1 = -7, 14 = 5*r - y. Is 3 a factor of 8 + -5 - (-4)/r?
False
Does 10 divide (4 + 26)/(-3)*-2?
True
Suppose l + 5*x - 13 = -0*x, -5*l + 7 = -4*x. Suppose 2*q = o + 71, 2*q + 8 = l*q + 5*o. Is q a multiple of 11?
True
Suppose -234 = -5*a - 24. Suppose a = 3*b - 108. Let j = 92 - b. Does 21 divide j?
True
Suppose -6*h + 2*h = -8. Let w be (-182)/(-7) - 4/h. Suppose -x + w = 3*x. Does 6 divide x?
True
Let g = 1 - -41. Does 14 divide g?
True
Let b = -527 + 299. Let o = b - -362. Suppose 5*w + 2*u = u + 137, 5*w + 2*u - o = 0. Does 14 divide w?
True
Let k(r) = -4*r - 3. Let p be k(3). Suppose 0 = -j + 2*i + 3, 4*j - i = 8 + 11. Is 2 a factor of p/5 + j + 1?
False
Is 20 a factor of (284/7)/2*7?
False
Suppose 8*o - 351 = -o. Does 25 divide o?
False
Let m(f) = -f**2 - 15*f - 2. Does 18 divide m(-7)?
True
Suppose 0 = -2*b + 1 - 9, -4*b - 436 = -4*p. Does 8 divide p?
False
Let g(s) = s**3 + 7*s**2 - 9*s + 10. Let y be g(-8). Suppose 5*b + 3*a + y = 265, 2 = -2*a. Is b a multiple of 20?
False
Let z = -8 - -17. Is 3 a factor of z?
True
Does 21 divide (-6)/45 - ((-3302)/15 + 5)?
False
Let i = 61 - 52. Does 9 divide i?
True
Let z = 20 + -29. Let u = z - 270. Does 9 divide u/(-21) - (-6)/(-21)?
False
Suppose 6*f - 2*f + 344 = 0. Is 7/(-7) + f/(-2) a multiple of 30?
False
Let n(p) = p**2 - 13*p - 43. Is n(18) a multiple of 4?
False
Let m(s) = -1 + 1 - s. Let t be m(8). Let v = 21 + t. Is 8 a factor of v?
False
Let l be ((-10)/25)/((-1)/125). Suppose -2*v = 4*c - l, -2*v - 2*c = v - 91. Does 11 divide v?
True
Suppose 2*l + 4*g - 1 = 1, 3*g + 4 = 4*l. Suppose 4*o - 3 - l = 0. Is o + 36 - 8/4 a multiple of 15?
False
Suppose j = 5*s + 33, -4*j + 88 = -0*j + 2*s. Let d = j + 2. Is 5 a factor of d?
True
Let n = 8 - 10. Is 7 a factor of 6 - -3 - -3 - n?
True
Let a(o) = 2*o - 3 + 0 - 1 + 2. Is 8 a factor of a(9)?
True
Suppose v + 4*q + 14 - 4 = 0, 2*q = -2*v + 4. Suppose -v + 18 = 4*j. Suppose 2*x + 4 = j*x. Is x a multiple of 2?
True
Let h = 7 - 5. Is 12 a factor of (-1 + h + 0)*19?
False
Let l be ((-1)/2 - 2)*2. Let m(b) = -b**2 - 8*b - 3. Is m(l) a multiple of 10?
False
Suppose -3*c = -13 - 11. Suppose -20 = 4*y - c*y. Is y a multiple of 5?
True
Suppose 3*t + 3 = 12. Suppose -z - t*o = 27, -4*z - 63 = -o + 4*o. Let i = -5 - z. Is i a multiple of 7?
True
Does 11 divide ((-9)/(-27))/((-1)/(-99))?
True
Let p(w) = -w**2 + 8*w. Let m be p(5). Suppose 180 = 5*c - 5*z, -c + 9 = -5*z - m. Is 12 a factor of c?
False
Suppose -2*m - 1 = -5. Suppose -3*y + 96 = 5*i, -2*i + 19 = m*y - 45. Suppose 0 = -b - 0*b + y. Is b a multiple of 16?
True
Let z(y) = y**2 + 1. Let a(c) = -2*c**2 - 2*c - 2. Let m(g) = a(g) + 6*z(g). Suppose 0 = 2*r + 10, 4*r + 0*r = 2*b - 26. Does 12 divide m(b)?
False
Suppose -2*g + 6*g = -8. Is ((-40)/10)/(g/6) a multiple of 4?
True
Let a(i) = 102*i. Let m be a(1). Suppose -4*x = -5*w - m + 13, 85 = 4*x - w. Does 6 divide x?
False
Suppose 6*r - 9 = 3*r. Suppose 3*w = r + 24. Does 7 divide w/12 - 50/(-8)?
True
Suppose 5*k + 9 = n - 14, -3*k = 3*n + 21. Let g be n/(-3) + 52/3. Let q = g + -6. Does 12 divide q?
True
Let z(k) = -k**3 - 14*k**2 + 14*k + 18. Is z(-15) a multiple of 7?
False
Let f(b) = -b - 1. Let c be f(-1). Is 2 a factor of (-4 - -1) + 10 + c?
False
Let y(s) = 2*s**2 - 14*s. Is 9 a factor of y(12)?
False
Let p(f) be the second derivative of -f**3/6 + 3*f. Let y be p(-2). Suppose -o - y*o = -3*u + 9, -5*u + o + 31 = 0. Does 7 divide u?
True
Let q = 1 - -5. Let l = q + -2. Suppose 2*v = 18 - l. Is v a multiple of 3?
False
Let i(f) = -f**3 - 2*f**2 + 2*f + 1. Does 25 divide i(-4)?
True
Suppose 3*a + 96 = -4*p + a, 0 = -3*p - 2*a - 73. Let j = -16 - p. Does 5 divide j?
False
Let h be (1 - -1) + (-8 - -4). Let a = h - -7. Suppose -65 = -4*t - a. Does 13 divide t?
False
Let h(i) = -2*i - 5. Let o be h(-4). Suppose -o*v = 2*v - 50. Suppose v = 5*c - 4*c. Is 10 a factor of c?
True
Let s = 1 - -20. Is 21 a factor of s?
True
Let r = -6 + 6. Suppose -4*i + d + 73 = r, i = -0*i - 5*d + 34. Is 14 a factor of i?
False
Let a = -9 + 11. Suppose -a*h + 7 = -9. Suppose 0 = -3*s + h + 19. Is s a multiple of 8?
False
Suppose 9*f - 4*f = -3*p + 17, -5*p = -5*f - 15. Suppose -b - 5*o + 105 = p*b, -3*b + 2*o = -68. Does 6 divide b?
False
Suppose 0*h - 2*h + 186 = -3*p, 3*h + 137 = -2*p. Let g = -22 - p. Is g a multiple of 14?
True
Suppose -295 = -0*m + 5*m. Let l = -30 + 24. Does 17 divide m/(-2) + 3/l?
False
Suppose 4*w + 13 = -7, 0 = 4*r + 4*w - 84. Does 13 divide r?
True
Suppose j - 2*q = 80, -j + 248 = 2*j - 4*q. Is 11 a factor of j?
True
Let c(p) = p**3 + 7*p**2 - 8*p + 9. Is 13 a fac