*2 + 13*j - 42. Let w(y) = -7*y**2 - 4*y + 14. Let u(d) = -6*g(d) - 17*w(d). Is 14 a factor of u(h)?
True
Suppose 4*l - 2*t + 6 = 0, l + 0*t + 3*t + 5 = 0. Let a be 0*l/(-12)*2. Suppose -5*x + 113 - 13 = a. Is 11 a factor of x?
False
Does 11 divide 0 - (-2)/5 - (-1092)/20?
True
Let n be 116/(-20) - 2/10. Let s be (-150)/(-9) - 2/n. Suppose 3*d - s = 13. Is d a multiple of 3?
False
Let v(w) = 7*w + 16. Is v(8) a multiple of 12?
True
Let h(m) = 3*m**2 - 5*m + 2. Is 3 a factor of h(2)?
False
Let x(d) = 5*d**2 + d. Let i be x(2). Let l be -3*4/6 + 8. Suppose -v = l - i. Is 8 a factor of v?
True
Let i = -1 + 4. Is 3 a factor of -2*(i - 9/2)?
True
Let d = 29 + -16. Let u(y) = y - 1. Does 6 divide u(d)?
True
Suppose 5*x + 5 - 15 = 0. Let g(z) = -6*z + 2. Let f be g(x). Let u(o) = -o**3 - 10*o**2 - 2*o + 5. Is 11 a factor of u(f)?
False
Let k(y) = -5*y - 1. Let x be k(-1). Suppose -3*p + 3*u = 2*p - 296, u = x*p - 241. Does 22 divide p?
False
Let d be (-3)/((-36)/8)*96. Let w = 28 + d. Is w a multiple of 23?
True
Suppose -1 - 6 = j. Let h = -5 - j. Is -4*(-1)/(h/3) even?
True
Suppose -5*x - 5*p + 360 = -125, -4*p - 112 = -x. Does 20 divide x?
True
Suppose 3 = -m - 0. Let h = 2 + m. Does 2 divide h*(1 + (-2 - 1))?
True
Let z(x) = x + 19. Does 3 divide z(0)?
False
Suppose -i - i + 96 = 0. Does 11 divide i?
False
Let d(n) be the second derivative of -4*n**2 + 1/12*n**4 + 2*n + 0 - 7/6*n**3. Is d(9) a multiple of 4?
False
Suppose 0 = 3*k - 18 + 3. Let z(c) = 22*c - c + 3 - k. Does 16 divide z(2)?
False
Let b = 59 + 51. Does 11 divide b?
True
Suppose 0 = -4*x - 3*p + 489, 2*x - 206 = 5*p + 45. Is x a multiple of 41?
True
Let k = 8 - 5. Let x(r) = 3*r**3 - 2*r**2 + 2*r + 3. Let o be x(k). Does 6 divide o/20*(-10)/(-4)?
False
Let w = 48 + -44. Does 2 divide w?
True
Let n(h) = 2*h**2 + 12*h + 1. Let q be n(-9). Suppose -k - k = -5*m - q, -2*k = 4*m - 64. Is k a multiple of 10?
True
Suppose -s = -6*s + 120. Suppose 4*n - 26 = 3*f, -2*f - 3*n = -3*f - 2. Let h = f + s. Is h a multiple of 5?
True
Let v(b) be the first derivative of 2*b**2 - 1/4*b**4 + 4*b + 4/3*b**3 + 2. Is 9 a factor of v(4)?
False
Suppose -3*r + 20 = -r. Suppose x + 0*q = -3*q - 6, 5*x = -5*q - r. Suppose -h + 0*h + d + 37 = x, d - 161 = -5*h. Is 15 a factor of h?
False
Let m(c) = -67*c - 1. Let t be m(1). Let w = t - -128. Does 20 divide w?
True
Is 2/((-785)/265 - -3) a multiple of 30?
False
Suppose -s + 1 = -4. Suppose 4*j - 20 = -2*q + 34, j - 108 = -s*q. Is q a multiple of 11?
False
Let v(b) = -2*b**3 - 3*b**2 + 5*b + 4. Let g(w) = -w**3 - 11*w**2 + 11*w - 3. Let p be g(-12). Suppose 0*y = -3*y - p. Is v(y) a multiple of 8?
True
Let g = -49 + 89. Suppose -2*y + g = 3*y. Suppose -l + 0*l = -y. Does 3 divide l?
False
Suppose 0 = -4*q + 3321 + 2191. Is 22 a factor of (-8)/(-10) + q/65?
True
Suppose -5*j + 5*h + 20 = 0, 4*j - 3 = 3*j + 2*h. Suppose -4*w - 382 = -j*z - 0*z, z - 4*w = 86. Let s = -42 + z. Is s a multiple of 10?
False
Let y(n) = 16*n - 2. Let s be y(3). Let h = s - 16. Is 13 a factor of h?
False
Let b(x) be the first derivative of -x**4/4 - 2*x**3/3 + 1. Let l be b(-1). Is 23 a factor of 2 + l + (-1 - -51)?
False
Suppose -3*m = -5*m + 28. Let s = 29 - m. Is 6 a factor of s?
False
Suppose 0 = 2*l - 3 - 1. Let y(b) = 10 + 0 + 2*b + 12*b**2 - 13*b**l - 14*b. Is y(-8) a multiple of 14?
True
Let k(x) = 2*x**3 + 2*x**2 + 4*x - 5. Is 11 a factor of k(4)?
False
Let x = 2 - -2. Let w = x + 1. Does 2 divide w?
False
Let n = 29 - 20. Suppose -t = -n - 3. Does 4 divide t?
True
Suppose 2*y + 0*y - 16 = 0. Let f = y + 8. Let p = 0 + f. Is p a multiple of 15?
False
Suppose 12 = 4*l - l. Suppose 7 = -5*p + 27, 2*p - l = 2*v. Suppose 4*q = g + 4*g - 84, v*q + 18 = g. Is g a multiple of 11?
False
Let d be 0 - (8 - 3 - 3). Is 4 a factor of 3 + (-46)/d - 4?
False
Let s = 27 - 22. Suppose -25 = 3*z - 8*z. Suppose -s*t = -k + 19, 2*t + 215 = z*k + 7*t. Does 13 divide k?
True
Suppose 5*z = 3*o - 0 - 1, -5*o = z + 45. Let n = o - -20. Is 12 a factor of n?
True
Suppose 144 = 5*o + 4*o. Does 8 divide o?
True
Let x(s) = 52*s - 1. Is x(1) a multiple of 16?
False
Let q = -3 - -7. Let r(f) = 2*f**2 - 1. Let h be r(q). Suppose -4*u - 11 + h = 0. Is 5 a factor of u?
True
Let t = -3 + 7. Suppose 2*g - 16 = -o, 2*o + 0*o - 24 = t*g. Is 10 a factor of (-228)/(-14) - 4/o?
False
Let o(r) = r**3 + 8*r - 2*r + r - 6 + 8*r**2 - 4*r. Is o(-7) a multiple of 22?
True
Let d(q) = 4*q + 11. Let s be d(9). Suppose w + 8 = 4*i, 4*i + 4*w - 22 = 2*i. Suppose -b - i*c = c - 20, -b + s = -5*c. Is b a multiple of 11?
False
Let t(q) = -q**2 + 11*q - 5. Does 2 divide t(10)?
False
Is 3 a factor of 8/12 - 174/(-9)?
False
Suppose -14 = 4*o - 2*o. Let p = 10 + o. Is p even?
False
Let r be ((-120)/14)/(4/(-56)). Suppose 4*f = 7*f - r. Is 10 a factor of f?
True
Suppose -5*u + j = -302, 45 = 2*u + 5*j - 65. Does 6 divide u?
True
Suppose -r + 8 = 3*r. Suppose r*s = 7*s - 185. Let l = s - 11. Is l a multiple of 14?
False
Let s = -9 - -29. Does 6 divide s?
False
Suppose 0 + 16 = -4*p. Let v(z) be the first derivative of z**4/4 + z**3 - 7*z**2/2 - 6*z - 1. Is v(p) a multiple of 6?
True
Does 8 divide ((-116)/6)/(2/(-3))?
False
Suppose -68 = -2*x + 5*d, 3*x - 2*x + 3*d = 12. Is x a multiple of 10?
False
Let x(v) = -v**3 + 4*v**2 + 5*v. Let m be x(5). Let f(z) = m*z + 16*z**2 + 3*z - 2*z. Does 7 divide f(1)?
False
Suppose 4*z - 110 = 2*z. Let c = z - 33. Is 8 a factor of (-4)/c - 510/(-22)?
False
Suppose 2*x = 161 - 1. Suppose 4*y = -y + x. Is 8 a factor of y?
True
Let y(n) be the second derivative of -n**3/3 - 2*n**2 + n. Let w be y(-4). Suppose w*v + 2*b = 20, -2*v + b - 6 = -3*v. Is v a multiple of 4?
True
Suppose 7 = -5*l + 32. Suppose l*y - 255 = 60. Is 21 a factor of y?
True
Let v = -201 + 399. Does 15 divide v?
False
Let t be 2 + -4 + (-4)/(-2). Let f be t/((-3)/1) + 12. Let b = f + 3. Does 10 divide b?
False
Suppose 0 = 2*x - 1 - 3. Suppose -c - n - 6 = 3*c, -x*n + 1 = -5*c. Let b = 33 + c. Is b a multiple of 15?
False
Suppose -4*z = 5*w - 128, 3*w + w + 5*z = 106. Suppose -5*o = p - w, -4*p - p = 3*o - 120. Is p a multiple of 12?
True
Is 3*-4*(-7)/2 a multiple of 10?
False
Let k = 104 - 72. Let l(t) = -2*t - 25. Let q be l(-15). Suppose -j = -a + 5*a - k, 11 = -a - q*j. Is a a multiple of 4?
False
Suppose 5*d - 3*k = -210, -d - 46 + 6 = -k. Let o = d - -99. Is o a multiple of 27?
True
Let n be 1/(-5) - 11/(-5). Suppose -36 = -2*v + n*x, 0*v - 3*v - 5*x = -22. Is v a multiple of 14?
True
Let k be (-190)/(-40) + (-2)/(-8). Suppose 5*j - 6*j = -k. Is j even?
False
Suppose 2*c - 6*c = -12. Suppose -c*i = -2*i - 50. Is 25 a factor of i?
True
Suppose -5*b = -2*c + 80, 2*b - b + 40 = c. Suppose z - c = -0*z. Is 14 a factor of z?
False
Let d(q) = -q**3 + 2*q**2 + q + 1. Let u be d(2). Suppose -u*s + 23 + 23 = 5*t, -5*s = -3*t - 122. Does 15 divide s?
False
Let h(y) = -63*y**3 - y**2 - y. Is h(-1) a multiple of 21?
True
Suppose -158 = -21*n + 10. Does 6 divide n?
False
Let f be (6/8)/(2/8). Let r(z) = 2*z + 7 - 3 + z. Does 6 divide r(f)?
False
Suppose -14*j = -24*j + 2410. Does 18 divide j?
False
Let d = 82 + 26. Is d a multiple of 35?
False
Is 32 a factor of (-100)/6*(-4224)/220?
True
Let q(r) = 40*r**3 + 1. Let z be q(1). Suppose -3*n - 2*l + z = -97, 2*l = -4*n + 184. Does 14 divide n?
False
Suppose 3*s - 528 = -4*b, -3*b + 3*s = -8*b + 657. Is b a multiple of 27?
False
Suppose 3 = -3*v - 9. Let g be (-6)/(-27) - v/(-18). Suppose g*i = i - 7. Is i a multiple of 5?
False
Suppose 5*p = 4*o + 86 - 21, 2*p - o = 26. Let y = -1 + p. Does 6 divide y?
True
Suppose 0 = 3*g - 709 - 65. Does 43 divide g?
True
Suppose 4*z + 1 = u + 9, 2*z + 14 = 5*u. Suppose -3*d = 2*d + 15, -u*d - 27 = -3*p. Suppose -3*j - 3*b + 4 + p = 0, 4*j = -3*b + 14. Is j even?
False
Let w(q) = q**2 - 4*q + 4. Let d be ((-15)/(-6))/(3/6). Is w(d) a multiple of 3?
True
Let d(n) = 2*n - 5. Let c be d(5). Suppose 5*s = j - 4*j - 15, 2*s + c*j = -25. Suppose s*i - q + 95 = 2*i, 4*q = 2*i - 70. Is 15 a factor of i?
True
Suppose -2*x - 2 = -0*x. Let h = x + 1. Suppose 2*d - 5*k + 12 - 47 = h, 0 = -4*d - 2*k + 10. Is d a multiple of 2?
False
Suppose -3 + 0 = u. Is 10 a factor of u/(-12) + (-75)/(-4)?
False
Let x = 20 - 14. Let f = -3 + x. Is 3 a factor of f?
True
Let h(c) = -c**3 + 