= -d + 2, 0 = 2*b - 0*d + 5*d - x. Does 11 divide b?
False
Suppose -2*g = -2*r - 98, 3*g - 3*r - 2*r = 149. Is g a multiple of 24?
True
Suppose u = -5*i + 13 - 0, 3*i - 4*u = 17. Let z be (0/(i - 0))/2. Suppose z*l + 4*l = 44. Is l a multiple of 11?
True
Suppose y = -2*y + b + 2, -b - 2 = 5*y. Suppose -2*m = -y*m - 28. Suppose h = -h + m. Is 7 a factor of h?
True
Let l = 32 + -25. Does 3 divide l?
False
Let k be 16/(-7) + 8/28. Let h(o) = -3*o - 3. Let w be h(k). Let p = 27 + w. Is 15 a factor of p?
True
Let j = -1 + 2. Let z(d) be the first derivative of 19*d**4/4 - d**2/2 + 1. Is z(j) a multiple of 9?
True
Let r(h) = -7*h - 13. Let t = 19 - 28. Does 25 divide r(t)?
True
Let o(u) be the first derivative of u**3/3 - u**2/2 + 2*u - 1. Let f = -12 - -9. Is o(f) a multiple of 14?
True
Let k = -3 - -41. Is k a multiple of 14?
False
Suppose 3*v - 468 = -v. Is 13 a factor of v?
True
Let y be 26/1*(2 + -3). Does 21 divide (y/5)/(6/(-60))?
False
Suppose y + 3*y + 5*h - 101 = 0, 0 = 5*y - h - 148. Does 5 divide y?
False
Let s(x) = -x**3 - 8*x**2 + 3. Let c be s(-8). Suppose c*q - 9 + 0 = 0. Is 2 a factor of q?
False
Let t(f) = f - 3. Let q be t(8). Suppose -l = -q*l + 60. Suppose 0 = 4*p - 4*o - 24, 2*p - 17 = -3*o + l. Is p a multiple of 4?
False
Suppose -6*s - 25 = -7*s. Let m = s + -105. Does 16 divide ((-2)/(-2))/((-5)/m)?
True
Is 3 a factor of 5/10 + 17/2?
True
Is (-54)/((4 + -5)*1) a multiple of 13?
False
Let n(g) be the second derivative of g**5/20 - 2*g**4/3 + 11*g**2/2 + 5*g. Is 7 a factor of n(8)?
False
Let b = 1 - -3. Let i = 0 + b. Suppose 20 = i*l, -14 = -g - 2*l + 9. Is 13 a factor of g?
True
Let n(w) = -4*w**3 + 9*w**2 - 6*w - 4. Let t(k) = 3*k**3 - 6*k**2 + 4*k + 3. Let l(x) = 5*n(x) + 7*t(x). Is 9 a factor of l(-2)?
True
Suppose 0*o = -2*o + 4. Let j(n) = 1 - n - 1 + o. Does 4 divide j(-3)?
False
Let j be 1 - 3/(-6)*-26. Does 9 divide (-129)/j - (-2)/8?
False
Suppose 0 = -2*v + 2, 92 = -i - 0*i + 2*v. Let s = 150 + i. Is s a multiple of 23?
False
Let j(d) = -d**3 - 3*d**2 + 3*d. Let y = 7 + -11. Let o be j(y). Suppose -o*m = 0, 3*q + 5*m - 8 = 16. Does 4 divide q?
True
Suppose m + 115 = -2*m - 2*j, 4*m - 4*j = -160. Let c = -19 - m. Is c a multiple of 20?
True
Let m(w) be the first derivative of -2*w + 4/3*w**3 + 3*w**2 - 1/4*w**4 + 1. Does 3 divide m(5)?
True
Let u be (-1)/(1 + -2 - -2). Let o be u/3 + (-34)/6. Let a = o + 8. Is 2 a factor of a?
True
Let y = -3 + 5. Suppose d - 13 = -y. Does 11 divide d?
True
Let j = 51 - 35. Suppose j + 9 = -5*u. Is (32/(-10))/1*u a multiple of 8?
True
Let k = 41 - 46. Let t(w) be the second derivative of -7*w**3/6 - 5*w**2/2 - w. Does 12 divide t(k)?
False
Let p = 19 + -12. Is p a multiple of 2?
False
Suppose 0 = -8*m - 33 + 273. Is 6 a factor of m?
True
Let y(u) = -u - 3. Let j be y(-4). Is 16 a factor of (-81)/(-2) + j/2?
False
Let u(x) = -x**3 + 11*x**2 - 9*x + 4. Let k be u(10). Let s be (-2)/(-1*2/(-4)). Is 8 a factor of s/k + 780/35?
False
Let c(v) = 2*v**3 - 8*v**2 + 7*v - 7. Is 6 a factor of c(5)?
True
Let l(m) = -m**2 - 5*m + 5. Let w be l(-5). Suppose -33 = w*h - 188. Is h a multiple of 13?
False
Suppose -3*f - 110 = -5*f. Is 16 a factor of f?
False
Let x(i) = -i + 72. Is 9 a factor of x(0)?
True
Suppose -3 = -2*u + 3. Suppose -3*j = -p - 135 + 53, -u*p - 298 = 4*j. Does 6 divide p/(-14) - (-6)/21?
False
Suppose -7 = -m - 2. Suppose 3*v = -c + 60, -3*c + 2*c + 102 = m*v. Does 8 divide v?
False
Let u(y) = -y**3 + 5*y**2 + 5*y + 8. Let k be u(6). Suppose k*c = -2*c + 208. Is 26 a factor of c?
True
Let y(a) = -a - 4. Let c be y(-6). Let v(x) = -3*x**c + 9 + 4*x**2 - 3*x**2 - 5*x + 3*x**2. Does 15 divide v(6)?
True
Suppose 5*i = i - 28. Is 13 a factor of (-4)/14 + (-149)/i?
False
Suppose g - 3*g + 66 = 0. Let n = -15 + g. Let d = 34 - n. Is d a multiple of 16?
True
Suppose 3*q = 8*q - 140. Let c = -7 + q. Is c a multiple of 7?
True
Let r be 3 + (-2)/2*1. Suppose -s - 5*x - 11 = 0, 0 = -r*s - 0*x - 2*x + 10. Is s a multiple of 3?
True
Let x(i) = i + 7. Let l be x(-3). Suppose 0 = -j - l*p + 68, -91 = -j + 2*p + 1. Suppose 3*h - j = -0*h. Does 14 divide h?
True
Is 1/(-3) + (-276)/(-18) even?
False
Let x = 256 + -32. Is x a multiple of 14?
True
Suppose -1 = 2*w - 3*w. Let c be (-10)/(-1)*w/2. Suppose -c*a + 72 = -a. Does 8 divide a?
False
Does 19 divide 38*10/(7 - 2)?
True
Let x(y) = y**2 - 5*y + 5. Let p be x(5). Suppose -5*w + 25 = 3*o, 3*o + o = 4*w + 12. Suppose -p*s + w*s = -87. Does 16 divide s?
False
Suppose -5*x = -25, 3*x + 185 = 5*u - x. Let q = -23 + u. Is 18 a factor of q?
True
Let w be 2/(2/(-92)*4). Let j = w - -39. Is j a multiple of 16?
True
Suppose 28 + 22 = 5*w. Does 8 divide w?
False
Suppose -2*i + 4*i - 176 = 0. Let d = 153 - i. Is 21 a factor of d?
False
Suppose 115 = 3*g - 23. Is g a multiple of 10?
False
Let k = -18 + -12. Let b(r) = r**3 + 7*r**2 + 3*r + 7. Let a be b(-5). Let u = k + a. Is 7 a factor of u?
False
Let c be 6/9 - (-373)/3. Let w = c + -83. Is w a multiple of 20?
False
Let z = -1 - -4. Suppose -z*k = -0*k - 15. Is 4 a factor of k?
False
Let m(p) = -p**3 + 13*p**2 + 14*p - 4. Let l be m(14). Let h be (l - -1)*6/(-18). Is 18 a factor of 41/1 + h/1?
False
Suppose z = -0*z + 57. Suppose -3*k + z = 24. Is 8 a factor of k?
False
Let g(l) = -l**3 + l**2 + 3*l + 4. Let r be g(3). Let n(b) be the first derivative of -b**3/3 - 7*b**2/2 + 2*b - 1. Is 12 a factor of n(r)?
True
Let y(j) = -j**2 + 1. Let q(c) = -2*c + 4. Let u(v) = -q(v) + y(v). Let z(i) be the first derivative of u(i). Is 6 a factor of z(-5)?
True
Let d = 8 - 3. Suppose 0 = 2*t - 3*k - 40 + 7, -d*t - 4*k = -48. Does 4 divide t?
True
Suppose -3*b + 0*b + 15 = 0. Suppose -4*s - 5*i = -0*i - 21, -s - 1 = -b*i. Suppose 3*x - 5 = s. Is 2 a factor of x?
False
Suppose 0 = 6*b - 3*b - 6. Suppose 3*o - b*c - 483 = -2*o, -o + 102 = 5*c. Does 31 divide o?
False
Let m be -6*3/(-9) + -2. Suppose m = -2*i + 206 - 62. Is i a multiple of 24?
True
Let x be (-6)/(-33) + (-108)/(-11). Suppose -13*f = -x*f - 42. Is 5 a factor of f?
False
Let v = 730 - 487. Does 44 divide v?
False
Let y(v) = 3*v**2 + 6*v - 8. Let d be y(-6). Let s = -17 + d. Is s a multiple of 12?
False
Suppose -3*b - 3 = -4*b. Suppose 0*s - 5*s = b*n - 466, 374 = 4*s + 3*n. Is 26 a factor of s?
False
Let m(a) = 6*a + 1. Is m(4) a multiple of 25?
True
Let h be (0 + 2)*(-175)/(-10). Suppose 4*m = 1 + h. Does 3 divide m?
True
Let o(g) = g**3 - 9*g**2 + 13*g - 8. Let n = 16 + -34. Let w = -10 - n. Does 16 divide o(w)?
True
Let u be (-2 + (-14)/(-4))*4. Suppose 0 = -4*a + u*a - 28. Is 9 a factor of a?
False
Let r be (-4)/((-3)/((-6)/(-4))). Let g be 1/r*1*0. Suppose g = -3*m + 60. Is 9 a factor of m?
False
Is 15 a factor of (-1710)/(-25) - (-6)/(-15)?
False
Let k = 20 - 20. Let t = k + 7. Does 4 divide t?
False
Let j(r) be the third derivative of r**5/60 + r**4/12 + 2*r**2. Is 7 a factor of j(-7)?
True
Let d be (-14)/2 + -9 + 7. Let k be ((-78)/d)/((-1)/(-3)). Suppose -k = -4*s + 38. Is s a multiple of 8?
True
Suppose 5*i - 4 = 11. Suppose 4*b = r - 44, i*r - 7*b + 4*b = 141. Is r a multiple of 12?
True
Let k(g) = g**3 - 10*g**2 + 2*g - 14. Does 3 divide k(10)?
True
Suppose 2*p - 6*p + 264 = 0. Is 22 a factor of p?
True
Does 2 divide 2 + 1 - (-3 + 0)?
True
Suppose -x = u - 20 + 1, 2*x = -4*u + 48. Let y be ((-4)/(-5))/(8/(-140)). Does 16 divide (-452)/y - 4/x?
True
Let b = -5 + 3. Let j be 130/15 - b/(-3). Suppose -u + j = -8. Is u a multiple of 8?
True
Let y(i) = -i. Let v be y(-5). Suppose -2*q = -5*d - 46, -v*q + 0*d - d + 169 = 0. Is 22 a factor of q?
False
Let g(k) = k**2 + 3*k - 4. Suppose -2*v + 6*v = 20. Suppose 3*x = -v*d + 12, -2*x = -x - 4*d - 4. Is 9 a factor of g(x)?
False
Let o be (-58)/(-18) + 2/(-9). Suppose 40 = 5*b + 5*z, -5*b + 19 = o*z - 23. Does 8 divide b?
False
Let n be 1*-1 + 0 - 0. Let d(x) = -2*x**3 + 4*x**2 + 1 - 5*x**2 + 2*x + 3*x**2. Does 3 divide d(n)?
True
Let l be 44/(0 + 1) - 3. Let d = l - 6. Is 13 a factor of d?
False
Let w = 226 - 316. Is 10 a factor of w/(-8) - 1/4?
False
Let h(c) = c**3 + 4*c**2 - 5*c + 4. Let y = -3 - 2. Let q be h(y). Suppose -6*l - 48 = -q*n - l, -n = 2*l + 1. Is n a multiple of 4?
False
Suppose 288 = q + 3*q. Does 12 divide q?
True
Suppose 0 = 2*z + 4*u + 14, 2*z - 2 = -3*u - 13. Let y(v) = 66*v**3 -