pose 3*r - 10 = -w, -15 = -a*r + r - w. Is r a multiple of 3?
False
Suppose 0 = 2*z + 2 + 4. Let i be (-1)/(-4 - (4 - 9)). Does 18 divide (2*i)/(z/54)?
True
Suppose -t + 35 = -5*j - 15, -2*t - 5*j + 115 = 0. Is t a multiple of 11?
True
Let x = 5 + -1. Suppose 4*o + 124 = -3*w - 75, -2*w = -x*o - 214. Is 9 a factor of (3/6)/((-2)/o)?
False
Let s = 22 + 64. Does 19 divide s?
False
Let w = 17 - -12. Is w a multiple of 6?
False
Suppose -3*g + 2*g = -3*q + 187, 0 = -2*q - 5*g + 119. Is q a multiple of 13?
False
Let c = -34 - -62. Suppose -4*w = -c - 4. Does 5 divide w?
False
Suppose 4*o = 3*s + 67 + 165, 5*o - 283 = 2*s. Is 16 a factor of o?
False
Let h = 3 + -1. Suppose -i + 3*f = -16 - 6, -2*f = h*i - 20. Does 13 divide i?
True
Let k(x) = 3*x - 1. Let s be k(1). Suppose 0 = -5*c + s*c + 54. Does 7 divide c?
False
Suppose -3*o + 5*w + 7 = -8, -2*o = w - 23. Let a = o - -4. Is 14 a factor of a?
True
Let z be ((6*-3)/3)/(-2). Suppose -6 = -o + 5. Suppose -r + o = -z. Does 14 divide r?
True
Let u = -16 - -23. Let g(b) = -13. Let d(k) = k - 12. Let y(j) = 3*d(j) - 2*g(j). Is 11 a factor of y(u)?
True
Let d be 1*(-2 - -3)*-103. Let q = d + 175. Is q a multiple of 19?
False
Suppose z - 3 = 0, 0 = 2*a - 5*z + 11. Suppose 0 = -a*r - w - w + 32, -w + 67 = 4*r. Is r a multiple of 6?
False
Suppose 0 = -3*a - 3, 3*t = -0*t + 5*a - 409. Let r = 201 + t. Is 9 a factor of (-8)/2*r/(-14)?
True
Let r(w) = -6*w**2 - w - 3. Let s be r(3). Let k = s - -114. Does 14 divide k?
False
Let v(g) = g**2 + 10*g + 4. Let a be v(-9). Let r = a - -1. Is 10 a factor of 310/15 + r/6?
True
Suppose -5 - 4 = -b. Let n be 4/6 - 14/(-6). Suppose n*u - b = -0*u. Is u even?
False
Let q(j) = -j**2 - 4*j + 4. Let y be q(-5). Let w be y/2*(1 - 3). Does 2 divide 0 + (-2 - w)*-1?
False
Let k(j) = -j**3 - 2*j**2 + j - 1. Let a be k(-3). Suppose a*t - 6*t + 3 = 0. Suppose -2*u + 49 = t*x, u - x - 37 = -5*x. Does 6 divide u?
False
Suppose c + 5*t + 334 = 0, -5*c + 0*t - 1583 = -4*t. Let y = -200 - c. Suppose -5*n + y = 29. Does 9 divide n?
True
Suppose -2*f + 8*f = 102. Is f a multiple of 2?
False
Suppose -2*j + 2*f = j - 3, 0 = 2*f + 6. Is 19 a factor of (j/3)/(3/(-171))?
True
Does 12 divide (3 - 1)*(13 + 3)?
False
Suppose -3*g = -4*y + 649, -3*y + 331 = -y + 5*g. Is y a multiple of 21?
False
Let b be (0 - 0/3)/1. Let h be 2 + b/(-2 + 4). Suppose -3*g + 8*g = -25, h*c - 18 = -4*g. Is 19 a factor of c?
True
Suppose -3*z + 173 = s, s = -4*z - 4*s + 249. Is z a multiple of 12?
False
Is (-3)/(-2) - 2 - 965/(-10) a multiple of 6?
True
Let n = 14 - 21. Let p(j) = 7 + 0*j - j + 0 + j**3 + 7*j**2. Does 7 divide p(n)?
True
Suppose -92 = 3*z - 14. Let a = 4 - z. Is a a multiple of 20?
False
Let h(b) be the third derivative of b**4/4 + b**3/6 - 3*b**2. Let m be h(-5). Let t = m + 57. Is t a multiple of 14?
True
Let c(b) = b**3 - 6*b**2 + 3*b + 3. Let i be c(5). Let s = 0 - i. Is 5 a factor of s?
False
Suppose -3*h + 16 = 4*r - 15, 5*r - 3 = -h. Is 13 a factor of h?
True
Suppose -3*w + 2*v + 9 = -3*v, -2*v = w - 3. Suppose 0 = 2*c - 3*d - 76, 0 = w*c - 0*d - 3*d - 108. Does 14 divide c?
False
Let m = -163 + 241. Is m a multiple of 15?
False
Suppose -2*g - 3 - 3 = 0, -5*g = 2*k + 3. Is -1*k*(-5)/2 a multiple of 8?
False
Suppose 0 = -4*v - 4*c + 160, 2*v - 87 + 11 = -c. Does 12 divide v?
True
Let t be -5*(1 + 0 - 2). Suppose 5 = -4*k + 5*w, -4*k - w - 5 = -30. Suppose -k*x + s + 91 = 4*s, -2*x + 55 = -t*s. Does 10 divide x?
True
Suppose 0 = 3*v - 3*u - 27, 3*u + 17 + 20 = 5*v. Let o = v - 3. Is 1/o + (-21)/(-14) even?
True
Suppose -3*x = -73 - 119. Suppose p + 3*p = x. Is 8 a factor of p?
True
Let t be -8*(2/(-8) + 1). Let q be ((-5)/(-5) - 2)*(26 - -1). Is 15 a factor of q/t*(-32)/(-6)?
False
Suppose -d - 5 + 2 = 0. Is (1*d)/(12/(-56)) a multiple of 7?
True
Suppose -o + 1 = m - 4, -4*o = -4*m + 12. Suppose 2*k = 4*k - m. Is ((-40)/(-16))/(1/k) a multiple of 2?
False
Does 14 divide 148/4 - (0 + -1)?
False
Let g(a) = -a**2 - 24*a - 3. Does 26 divide g(-21)?
False
Suppose 2*p + p - 321 = 0. Does 28 divide p?
False
Let c be ((-3)/1)/(9/(-15)). Let h(v) = 2*v**2 - 2*v - 4. Is h(c) a multiple of 10?
False
Let m = 5 + -1. Suppose m*h - 2 = 3*h. Does 2 divide h?
True
Let a(t) be the second derivative of t**2 + 0 - 5/6*t**3 + t. Does 6 divide a(-2)?
True
Let y(a) = -a + 62. Let t be y(0). Suppose 8 = 3*r + t. Is (-4)/r + 856/36 a multiple of 10?
False
Let b(f) = -f**3 + 13*f**2 - f + 28. Is b(13) a multiple of 5?
True
Let d = 44 - 5. Suppose 2*j - d = -j. Does 13 divide j?
True
Let y(k) = k**3 - 5*k**2 - 8*k + 1. Let h be y(8). Suppose -j = 2*z - 4*j - 67, j + h = 4*z. Is z a multiple of 11?
False
Let s be 0 - (-4 + 1) - -11. Suppose 2*k = 4*k - 5*p - s, 0 = -5*k + 2*p + 77. Is 17 a factor of k?
True
Let t(q) = 33*q**2 + 4*q + 1. Does 25 divide t(-2)?
True
Suppose -2 + 4 = 2*s + h, -5*h + 10 = 2*s. Suppose -4*i + 9 + 47 = s. Is i a multiple of 13?
False
Suppose -p + 1 = n, -4*n = -p + 3*p. Suppose 0 = 2*k - 2*m, -5*k - p*m + 23 = 2. Suppose -x = k*d - 24, 0 = -2*x - x + d + 82. Is 10 a factor of x?
False
Suppose -d = d + 66. Let o be -1*(1 - 2) - 16. Let v = o - d. Does 9 divide v?
True
Suppose f - 3*f - 170 = -3*w, 2*f = 2*w - 114. Is 4 a factor of w?
True
Suppose -h + 1 = -49. Does 10 divide h?
True
Suppose -3*w - 3*t = 0, 4*w - 14 - 4 = 5*t. Suppose 3*s - w*s + 230 = 0. Is 13 a factor of 1 - -1 - s/5?
False
Suppose 5*j - 375 = -5*p, -3*j - p = -5*j + 162. Let v = j - 29. Suppose 0 = -0*x - 2*x + v. Is x a multiple of 22?
False
Does 7 divide -158*(-2 - (-12)/8)?
False
Suppose -3*h + 13 + 17 = 3*b, 0 = 4*h - 3*b - 75. Let p = h - 10. Suppose 3*l = -4*s + 39, -s + p*l - 31 = -2*s. Is 5 a factor of s?
False
Suppose -332 = -3*z + 214. Let o = -96 + z. Does 23 divide o?
False
Let j be -2*-1*(-13)/(-2). Suppose -4*g + m = -2*g + 1, 5*m + 22 = g. Is 12 a factor of (g - -1) + 1 + j?
True
Suppose -2*a - 6 = a - 5*z, 5*a = -z - 10. Is 15/(-2)*a + -3 a multiple of 10?
False
Suppose 4*v = -5*g - 206, 0 = -5*g - 0*v - 3*v - 202. Let o = 143 + g. Is o a multiple of 14?
False
Let z = 38 + 7. Is z a multiple of 15?
True
Let g(y) = 12*y**2 + 6*y + 5. Does 11 divide g(-5)?
True
Let b be (2/(-4))/(7/(-28)). Suppose 10 - 42 = -b*c. Does 4 divide c?
True
Let r(z) = 69*z**2 - z. Let c be r(1). Let w = 57 - 38. Let u = c - w. Does 22 divide u?
False
Suppose 2*a - b - 3*b = 4, a - 4*b - 4 = 0. Let g = 2 - 0. Suppose -g*s + 29 + 9 = a. Is s a multiple of 13?
False
Let h = -2 - -4. Let w be (11 - h)/(-3 + 2). Is 22 - (w/(-3) - 3) a multiple of 11?
True
Let v = 16 + -22. Let k = 14 + v. Is k a multiple of 4?
True
Let g(k) = k**3 + 4*k**2 + 3*k. Let y = 9 + -11. Let q be g(y). Is (q/(-4))/((-7)/70) even?
False
Suppose 6*c - 2*c - 2*v = 10, 0 = -c + 2*v + 10. Let g be 1 + c + -4 - -2. Does 6 divide g/(-1 - 10/(-12))?
True
Does 9 divide -3*(-10 + 0 + 1)?
True
Let d = -29 + 17. Let n = d + 20. Is 4 a factor of n?
True
Let z(u) = 3*u**2 + u - 5. Let h be z(-5). Suppose -2*q + o + h = 0, -4*o + 6 = -2*q + 74. Is 16 a factor of q?
True
Suppose -1 = 4*n + 11. Let f(k) = k**2 + 3*k. Let j be f(n). Is (-1 + j)*1 + 37 a multiple of 13?
False
Suppose -4*t = -8*t - 8. Is (1 - 2 - t) + 10 a multiple of 11?
True
Suppose 4*z - 7 = y, 2*y - 2 - 8 = -4*z. Is z a multiple of 2?
True
Let v = 5 - 6. Let q be v*(2 - (6 + -1)). Suppose r + q*r - 44 = 0. Is 11 a factor of r?
True
Let w be (-3)/4*(-40)/15. Suppose -3*d - w*d = -15. Suppose -d*u + 3*i + 6 = 0, u = -2*i + 6*i - 7. Does 5 divide u?
True
Does 17 divide 2 + 1 + (46 - -2)?
True
Is 236*2*4/16 a multiple of 24?
False
Let m(c) = -c**3 + 7*c**2 + 2*c + 7. Let q(n) = -3*n + 1. Let u be q(-2). Does 21 divide m(u)?
True
Let b(j) = -j**2 - j + 4. Let r be b(0). Suppose n - 6 = -0. Is (r/n - 1)*-21 a multiple of 7?
True
Let w = 15 - 27. Let v = 22 + w. Does 5 divide (7/(-14))/((-1)/v)?
True
Let a = 124 + -62. Let n = a + -22. Let q = n - 26. Is q a multiple of 6?
False
Let z = -66 + 94. Suppose 0*y = y - z. Suppose 2*h + 0*t = -5*t + y, 0 = 3*t + 6. Is h a multiple of 7?
False
Suppose -4*y = 0, -r = -2*r - 4*y + 16. Suppose -r = 3*w - 1. Let k(x) = -x**3 - 3*x**2 + 5*x - 2. Does 10 divide k(w)?
False
Suppose 2*q + g - 4*g - 249 = 0, 5*g + 625 = 5*q. Suppose -q + 41 = -5*b. Suppose 0*r - j + b = r, 2*r + 5*j