oes 3 divide r?
False
Let b(z) = -3*z**3 - 2*z**2 + 2*z + 8. Is 4 a factor of b(-3)?
False
Let p be (-10)/25*10*-1. Suppose 0*f = p*f - 72. Does 18 divide f?
True
Let o be (-2 + 1 + 3)*14. Let g be (-8)/o - (-4)/14. Suppose 4*t - 3*r - 16 - 129 = g, 3*t - 117 = 5*r. Is 17 a factor of t?
True
Let p(r) = -22*r**3 - 2*r**2 - 2*r. Does 10 divide p(-1)?
False
Suppose -j - 220 = -6*j. Is 19 a factor of j?
False
Let f(s) = 2*s + 16. Let b be f(-12). Let h(a) = -a - 11. Let c be h(b). Is (-45)/c*(-2)/(-5) a multiple of 3?
True
Suppose p - 32 - 58 = -3*x, -x = 5*p - 30. Is 5 a factor of x?
True
Suppose -3*n + 0*i + 50 = i, -2 = -i. Is n a multiple of 2?
True
Let i(f) = 3*f**2 - f - 25. Let b(s) = 5*s**2 - 2*s - 49. Let p(w) = -4*b(w) + 7*i(w). Is p(0) a multiple of 7?
True
Is (-13)/2*3/(3/(-10)) a multiple of 13?
True
Let p = -43 - -75. Suppose -5*u + 3*u + p = 0. Does 5 divide u?
False
Let f(u) = -u - 7. Let p be f(7). Let n = p - -4. Is (12/n)/(3/(-15)) a multiple of 4?
False
Suppose -2*c + 44 = 28. Is 6 a factor of c?
False
Suppose 2*d = y - 2, 4*y - 5 = 3. Suppose h + 0 - 3 = d. Suppose -h*j + 137 = 5*b, b - 2*j - 30 = -0*b. Is 14 a factor of b?
True
Suppose 0 = -2*t + 7*t - 45. Suppose -2*w + 3*w + 5*x - 69 = 0, -3*x + t = 0. Is w a multiple of 18?
True
Let t = -2 + 3. Suppose -2*j + 16 = 2*j. Suppose 0 = n + 4*d - t, -n = 4*n + j*d - 21. Does 2 divide n?
False
Let t(g) = 11*g**2 - 3*g - 3. Does 11 divide t(-1)?
True
Suppose -61*g = -58*g - 564. Does 16 divide g?
False
Let x be (0 + 1)*(20 + 0). Suppose x = -h - 3*h, 0 = 3*b + 4*h - 28. Does 12 divide b?
False
Let t(p) = -p**3 + 5*p**2 + 6*p - 1. Let z be t(6). Let b = z + 4. Does 11 divide b/12 + (-174)/(-8)?
True
Let q be (-155)/(-20) + (-1)/(-4). Does 11 divide (q/6)/4*96?
False
Suppose 8 = 5*y - y. Suppose j = -m, -2*j + y = -m - 4. Is -31*-2*j/4 a multiple of 11?
False
Let k(g) = -34*g**2 - 1. Let r be k(1). Let m = r + 60. Is m a multiple of 25?
True
Let b = 3 + 3. Let y be (-1*b)/((-12)/(-8)). Let r(x) = 2*x**2 + 2*x - 1. Does 7 divide r(y)?
False
Suppose 5*z - 6 = 2*z. Suppose -3*s = -z*s - 50. Let q = s + -26. Is q a multiple of 12?
True
Let c = 94 + 6. Let y(g) = -2*g + 40. Let a be y(20). Suppose a = 3*j + 7 - c. Is j a multiple of 13?
False
Suppose -116 = 2*p - 6*p. Does 14 divide p?
False
Let m(a) = 4*a - 14. Let o(c) = -5*c + 14. Let l(z) = -3*m(z) - 4*o(z). Is l(6) a multiple of 7?
False
Is 13 a factor of (-13)/(-52) - 63/(-4)?
False
Let g be (-2)/8 + (-2132)/(-16). Let c = g + -57. Does 23 divide c?
False
Let d(c) = -c**3 + 7*c**2 + 2*c + 4. Let v be d(6). Let x = v + -14. Is x a multiple of 23?
False
Let a be (0/21)/(-3 - 0). Suppose 0 = 8*p - a*p - 96. Is 7 a factor of p?
False
Let n = 119 - 79. Is (n/(-4))/(5/(-30)) a multiple of 20?
True
Let f = 196 + -112. Is 21 a factor of f?
True
Suppose 0 = -3*d - 4*b - 0*b + 60, 0 = -3*b. Is d a multiple of 5?
True
Suppose 10 - 2 = z. Does 2 divide (28/z)/(2/4)?
False
Let o be 2 + (-1)/((-3)/9). Let a = -60 + 271. Suppose -51 = o*g - 2*h - a, 0 = -2*h - 10. Is g a multiple of 12?
False
Let i(o) be the third derivative of 0 + 2*o**2 + 1/60*o**5 + 0*o + 1/12*o**4 + 2/3*o**3. Is 14 a factor of i(4)?
True
Suppose u - 5*u = 12. Let p be (46/3)/((-2)/u). Suppose -m = -p - 7. Does 16 divide m?
False
Suppose -2*k - 4*t = -16, -3*t - 1 = -4. Let h = -3 + k. Suppose 0 = h*d + 22 - 118. Is 16 a factor of d?
True
Let w be 1 + (-7)/((-21)/(-18)). Let g(z) = -2*z - 7. Let m be g(w). Suppose 0 = -2*k - m*v + 20, -5*v = 5*k - 2*v - 32. Is k a multiple of 4?
True
Suppose 4*f + 18 = 58. Is 4 a factor of f*1*(-10)/(-25)?
True
Suppose 90 = 3*k - 5*v, 0 = -4*k - 3*v + 2*v + 143. Is k a multiple of 13?
False
Suppose -51 = -3*x - 0*x. Is 17 a factor of x?
True
Let d = 33 + 100. Is d a multiple of 15?
False
Let r be (-3 - 7/(-2))*0. Suppose 4*q = -r*q + 20. Is 3 a factor of q?
False
Is 2/(-4)*(-3502)/17 a multiple of 5?
False
Let c(z) = -z**2 + z + 4. Let w be c(0). Does 5 divide w/((-5 - -2)/(-6))?
False
Let l(a) = a**3 + 9*a**2 + 3*a + 5. Let d be l(-9). Let n = d + 43. Suppose -53 = -2*f - n. Is f a multiple of 12?
False
Suppose 5*i - 595 = -2*g, 2*i + g = -i + 357. Does 16 divide i?
False
Is 36 a factor of 71 - (-5)/(-10)*-2?
True
Let a be 3/(-1 - 3/(-12)). Is 14 a factor of (36/a)/(6/(-20))?
False
Suppose 3*i + 3 = 4*i. Suppose -a = -i*a + 66. Suppose 4*f - a = 31. Is 8 a factor of f?
True
Let m(h) = 3*h - 1. Let u be m(2). Suppose -2*z + 2*r + 9 = r, u = 5*r. Suppose 0*p - z*p = d - 2, 3*p - 10 = -d. Does 9 divide d?
False
Let i be 258/6 + 2 + -2. Let v = -10 + i. Is 19 a factor of v?
False
Let y(h) = 3*h**2 - h - 1. Let p be y(3). Is 3 a factor of 6/12*(p + -1)?
False
Suppose 4*k - 3 - 1 = 0. Let o be (-3 - -4) + (k - 2). Suppose o = -3*r - 2*z, -3*r - 4 + 22 = -4*z. Is r even?
True
Does 3 divide (-170)/(-25)*10/4?
False
Let t = 5 - 2. Suppose 0 = -0*a - t*a + 96. Is 11 a factor of a?
False
Let i(k) = 3*k**3 + 3*k**2 - 1. Let f be i(-2). Let d = 18 + f. Suppose 2*l - b - 31 = 0, 5*l = d*b + 96 - 21. Is l a multiple of 16?
True
Let h(p) be the third derivative of p**6/120 + 2*p**5/15 + p**3/2 + p**2. Let w be h(-8). Suppose w*f + u - 24 = 11, -4*u + 36 = 4*f. Is 5 a factor of f?
False
Let f(c) = 8*c - 4. Does 4 divide f(1)?
True
Let o(w) = w**3 - 11*w**2 + 7*w - 7. Is 35 a factor of o(11)?
True
Suppose -2*c - 2*k - 6 = 0, -1 = -3*c - k - 0. Let u(n) be the first derivative of n**4 + 2*n**3/3 - n**2 + n - 2. Is u(c) a multiple of 14?
False
Let d be 6*3/12*2. Let b be 12*(d/9 - 0). Suppose b*o = -0*o + 16. Is 3 a factor of o?
False
Let x = -7 - -7. Suppose 0 = -x*q - 3*q + 51. Let w = -11 + q. Is w a multiple of 3?
True
Let v(j) = j + 5. Let p be v(0). Suppose 4*l = p*l - 2. Is 6 + (-2)/4*l a multiple of 5?
True
Suppose -10*k = -13*k + 306. Does 17 divide k?
True
Let m = 9 + -5. Suppose -5*i + m*i = 0. Suppose -41 = -5*d + 5*q + 39, i = -d + 2*q + 14. Is 11 a factor of d?
False
Let a(k) = k + 7. Is 3 a factor of a(11)?
True
Let b be ((-18)/6)/(3/2). Does 15 divide 445/15 + b/(-6)?
True
Let z = -39 - -26. Let w = 8 - z. Is 17 a factor of w?
False
Let z be (-38)/(-6) + (-5)/15. Is 5 a factor of (0 + 2 - 0) + z?
False
Let o = -86 + 124. Is 17 a factor of o?
False
Let w(n) = 4 - 4*n**2 + 8*n**2 + 0*n**2 + 2*n. Let j be 8/28 - 23/7. Is w(j) a multiple of 23?
False
Suppose -4*p + 3*p + 15 = 0. Let v be ((-11)/(-3))/(5/p). Suppose 2*k - v = 35. Does 23 divide k?
True
Suppose p - 1 = 59. Is p a multiple of 12?
True
Suppose 5*b - 490 = -5*q, 100 = 4*b - 3*b - q. Is (b/(-3))/(12/(-8)) a multiple of 6?
False
Let u be (-3 + (-15)/9)*-9. Let n be (-2)/8 - u/(-8). Let l = n - -4. Does 4 divide l?
False
Suppose 0 = 3*i + 2*y - 121, 3*i + i - 163 = -y. Suppose 3*f - 3*z = 42, i = 4*f + 4*z + 1. Does 6 divide f?
True
Suppose -385 = 2*d + 3*x, 2*d = 7*d - x + 1005. Is 3 a factor of (-3)/(-9) + d/(-12)?
False
Let v = 65 + -25. Suppose 10*t = 6*t + v. Does 5 divide t?
True
Let k(y) be the first derivative of 34*y**3/3 - y**2 - 2*y - 2. Let z be k(2). Does 11 divide z/12 - (-2)/12?
True
Is (-6)/4 + 618/4 a multiple of 33?
False
Let j(p) be the second derivative of p**4/6 + p**3/2 - 2*p**2 + 2*p. Does 4 divide j(-4)?
True
Let k be -1 + 1 + 0/10. Suppose 0 = -k*y + 3*y - 5*x - 21, -x = 3. Does 2 divide 1/1*10/y?
False
Let a = 253 - 164. Suppose 0 = g + 2*q - 32, -4*g - 4*q + 55 = -a. Is 20 a factor of g?
True
Let j(m) = 3*m + 2. Suppose 0 = 4*k - 6*k + 10. Does 13 divide j(k)?
False
Let a(b) = 2*b**3 - 6*b**2 + b - 10. Is a(5) a multiple of 19?
True
Let t(a) = -4*a**3 + a**2 - 1. Let n be t(-1). Suppose m + 2*g = -m + 6, -3*m - n*g + 8 = 0. Is m/(-3)*(-3)/2 a multiple of 2?
True
Let n(t) = 2*t - 13. Let s be n(12). Suppose -3*h + 65 = s. Does 18 divide h?
True
Let n(b) = 1 + 8*b - 4 - 4 + b**2 - 6. Does 10 divide n(-11)?
True
Let k(m) = -m**3 + 0*m**3 - 5 - 15*m**2 + 7*m + 8*m. Does 11 divide k(-16)?
True
Let z = -18 + 9. Let b = 49 - z. Is b a multiple of 13?
False
Let u = 204 - 39. Is u a multiple of 15?
True
Let h = -3 + 5. Suppose h*x - 3*x + 5 = 0. Suppose x*j + 0*j = 4*o, -3*o + 15 = 0. Is j a multiple of 2?
True
Let c = 3 + -9. Suppose 6*j = 9*j + 27. Does 8 divide (c/j)/((-2)/(-30))?
False
Let w = -5 - -5. Suppose 3*z + 3 = w, -2*m - 2*m + 4*z = -20. Let y = m - -17. I