= 2*p + 22. Is (-464)/(-10) - 3/b a multiple of 11?
False
Suppose 2*p + 2*p = 8. Suppose p*s - 30 = -0*s. Is s a multiple of 15?
True
Is 8 a factor of 2814/105 + (-1)/(-5)?
False
Let s(w) = 2*w**2 - 2*w + 4. Does 5 divide s(4)?
False
Suppose 5*w - 2 = -2*u + w, -8 = -4*w. Let r = 10 + u. Is 5 a factor of r?
False
Suppose 25 = -4*t + 5*t. Let a = t - 10. Is a a multiple of 15?
True
Let a(z) = 48*z. Let o be a(1). Let u = o - -59. Suppose -h + 6*h + 205 = 5*v, -2*v - 3*h + u = 0. Is 17 a factor of v?
False
Let x(n) = 2*n - 6. Let u be x(4). Suppose -10 = 3*z + u*z. Is 17 a factor of (-37)/z*(-4 - -6)?
False
Is ((-148)/10)/(-2 - 56/(-35)) a multiple of 37?
True
Let c = 17 + -32. Suppose 28 + 12 = 4*y. Is 7 a factor of (-231)/c + (-4)/y?
False
Let h = -9 - -36. Does 21 divide h?
False
Let l(g) = 19*g - 20. Is 47 a factor of l(6)?
True
Suppose 18*f = 16*f + 134. Does 17 divide f?
False
Let c(j) = j - 3. Let s be c(7). Suppose 2*k = s*k - 4. Suppose -26 = k*q - 108. Does 14 divide q?
False
Let v(i) = 36*i. Suppose 2*m - 11 = -3*j, 33 = 5*j + 5*m + 8. Is v(j) a multiple of 16?
False
Suppose -42 = -5*f - 17. Let w = f - -10. Let g = w - 9. Does 4 divide g?
False
Let s(v) be the first derivative of -v**2 - v - 6. Does 6 divide s(-8)?
False
Let p(j) = -j**2 - 27*j + 29. Is 11 a factor of p(-26)?
True
Let s(p) be the first derivative of 2*p**3/3 + 2*p**2 + p - 3. Is 10 a factor of s(4)?
False
Let b(v) = 3*v**2 + 2*v - 1 - v**2 + 4*v**2. Let k(i) = i**2 + 6*i + 2. Let h be k(-6). Does 10 divide b(h)?
False
Suppose -f = -84 - 14. Is 20 a factor of f?
False
Let o = 4 + 7. Is 11 a factor of 12/(-66) + 299/o?
False
Let q be (-10)/35 + (-5)/7. Is 12 a factor of (5/(-2))/(q/14)?
False
Let r(k) = -4*k - k - 2 - k. Is 25 a factor of r(-9)?
False
Suppose 7*v + 0*v = 1155. Is 6 a factor of v?
False
Is 11 a factor of (-640)/(-1 - 1)*24/20?
False
Suppose 4*q + 3 + 5 = 0. Is 8*5*(-1)/q a multiple of 11?
False
Suppose -25 = -m - 8. Suppose 32 + m = g + 5*d, 3*d = 9. Is 7 a factor of g?
False
Suppose 2*a = -a. Let d = 13 + a. Is d a multiple of 13?
True
Let v(d) = -5*d + 5. Is 15 a factor of v(-5)?
True
Suppose -g + 4*p + 3 = 1, -4*p + 64 = 2*g. Is 9 a factor of g?
False
Let w be 1/(-1 - 68/(-69)). Let r = 151 + w. Let b = -42 + r. Is 16 a factor of b?
False
Is 12/(-15) - 39/(-5) a multiple of 6?
False
Is (-9)/(18/(-4)) - -46 a multiple of 16?
True
Suppose 0*k - 3*a = k - 107, 2*k - 221 = a. Does 22 divide k?
True
Let z(c) = 1 + 2*c + 2*c**2 - 4 - c**2. Let s be z(-4). Suppose -o + 3*o = 5*w - 31, -13 = -s*w - 4*o. Is w even?
False
Suppose 4*m - 93 = -y + 2*y, 54 = 2*m - 2*y. Let h = m + -8. Suppose -h = -5*w + 36. Is 5 a factor of w?
True
Let x(q) = 3*q - 9. Is x(13) a multiple of 10?
True
Does 17 divide (3 + (-108)/2)*-1?
True
Let x(n) = -n**2 + 36. Let t = -5 + 5. Is x(t) a multiple of 12?
True
Let f(u) = -u + 6. Let p be f(6). Suppose -v + 0*v + 3 = p. Is 2 a factor of v?
False
Is 8 a factor of 10 + 3 + 0 + 0?
False
Let z be -4 + (4 - (1 - 1)). Suppose -y - 8 + 36 = z. Is y a multiple of 14?
True
Is 15 a factor of (-362)/(-2) + (3 - 4)?
True
Let q be 6 - -2*3/(-2). Suppose -q*i = -2*z - 0 + 2, -4*z - i - 10 = 0. Is 16 a factor of 0 + z + 1 + 17?
True
Let a(d) = 3*d**2 - d + 1. Let h be a(1). Suppose -2*q - 22 = -b, -b - h*q - 2*q - 6 = 0. Does 7 divide b?
True
Is 7 a factor of (-711)/(-9) - (-10)/(-2)?
False
Let l(x) be the first derivative of -x**4/2 + 2*x + 1. Does 9 divide l(-2)?
True
Is 18 a factor of (3*196/(-18))/((-1)/3)?
False
Let t(s) = -s**3 - 11*s**2 - 7*s + 1. Let a be t(-11). Suppose 30 = -l + a. Is l a multiple of 16?
True
Let x = -32 - -119. Is 23 a factor of x?
False
Let j be (-2)/(3/2 - 2). Suppose -2*f - 2*a - j = 0, 0 = -2*f + a + 4*a - 32. Is (-122)/f - 4/12 a multiple of 10?
True
Is 28 a factor of 2 + -1 + -167*2/(-2)?
True
Let j be 0/(1*(2 + -1)). Suppose 28 + j = w. Is (-290)/(-14) + 8/w a multiple of 7?
True
Let b(g) = 16*g**2. Is b(-1) a multiple of 15?
False
Let j(q) = 4*q**3 + 5*q**2 - 4. Let a(n) be the first derivative of 7*n**4/4 + 10*n**3/3 + n**2/2 - 7*n + 4. Let f(g) = -3*a(g) + 5*j(g). Does 10 divide f(-5)?
False
Suppose -q - 5 = 0, 4*v + 3*q + 59 = 188. Is v a multiple of 12?
True
Let c = 103 + -12. Does 17 divide c?
False
Suppose 5*j - 85 = 15. Let a = 58 - j. Is 19 a factor of a?
True
Suppose -2*u - 2*p = u + 55, -5*u - 5*p = 95. Let m = 10 + u. Let j = 13 - m. Does 7 divide j?
False
Suppose 22*y = 25*y - 312. Is y a multiple of 13?
True
Let i(d) = -d**3 + 14*d**2 + 15*d - 3. Let c be i(15). Let a = c - -20. Is a a multiple of 7?
False
Suppose 0 = 2*f - 4 - 44. Let q(j) = j**2 - j + 1. Let n be q(0). Is f/n - 0/(-1) a multiple of 12?
True
Suppose -5*t + i + 26 = 0, -3*i - 30 = -5*t + 2*i. Suppose -b = 3*x + b - 48, t*x + 3*b = 81. Is 7 a factor of x?
False
Let f(b) = b + 1. Let t(o) = o**3 - 7*o**2 - 15*o - 1. Let p(z) = -5*f(z) - t(z). Does 5 divide p(8)?
False
Suppose 0 = -4*z - 4*u, 3*z - 4 = 4*u - 32. Let g(w) = -w**3 - 4*w**2 - 7*w - 5. Is g(z) a multiple of 6?
False
Let y(k) = -k + 6. Let s be y(-6). Does 4 divide (-3)/18 - (-110)/s?
False
Let z(l) = -l**3 - 5*l**2 + 3*l. Let h be z(-6). Let d = -7 + h. Is d a multiple of 3?
False
Let h(k) = 2*k - 4 - 4*k + k. Let q be h(-8). Suppose 0*l + 4*l + 5*w - 162 = 0, -46 = -l - q*w. Is l a multiple of 21?
False
Suppose 854 = 4*g - 2*d, -g - 4*d + 668 = 2*g. Suppose -v + g = -5*v. Is 6 a factor of 12/42 + v/(-7)?
False
Suppose -3*k = -5 + 65. Let p = -8 - k. Is p a multiple of 6?
True
Suppose -10*q + 235 + 105 = 0. Does 20 divide q?
False
Let l = -10 - -15. Suppose -l*u + 9 + 51 = 4*t, -4*t - 60 = -5*u. Does 4 divide u?
True
Let c = -135 + 364. Does 26 divide c?
False
Let n be -1 + 2/(-6)*-3. Suppose 5*c + n - 35 = 0. Is 5 a factor of c?
False
Let c be 2/(-8) + (-1)/(-4). Suppose 3*f - 725 = -5*h, 4*f + 435 = -c*h + 3*h. Suppose 5*o - h = -0*o. Is o a multiple of 14?
False
Let c(t) = t**3 + 7*t**2 - 12*t - 1. Is c(-8) a multiple of 13?
False
Let t = -6 - -9. Suppose t*w + w - f = 39, 2*w - 24 = 2*f. Is w a multiple of 9?
True
Let t(c) = -2*c - 1. Let y be t(4). Let p = 16 + y. Is p a multiple of 4?
False
Let f(n) = -n. Let x be f(5). Does 2 divide (x - -3)/((-4)/14)?
False
Let j(d) = 4*d - 11. Does 9 divide j(5)?
True
Suppose -2*k = -5*z, 0 = -k - k - 4*z. Suppose k = -x - n - 18, -4*x + 2*x + 2*n = 20. Let h = x + 26. Does 6 divide h?
True
Is ((-21)/(-12))/((-1)/(-8)) a multiple of 7?
True
Is 3 a factor of 36/15 + (-9)/(-15)?
True
Let r be 6/4*-2 + 0. Let a = -7 - -20. Let k = a + r. Does 10 divide k?
True
Suppose 3*w - w - 2*t - 84 = 0, -3*w - 3*t = -144. Is w a multiple of 15?
True
Suppose -2*u - 52 + 138 = 0. Is u a multiple of 12?
False
Let x = 61 + -35. Let y = x + 40. Is 23 a factor of y?
False
Suppose -q + 5*g = -15, -2*q = -4*q + 2*g + 54. Let n = -17 + q. Is n a multiple of 13?
True
Let h(g) = -g + 1. Let x be h(1). Suppose 2*t = 4*t. Suppose x = -t*m + 5*m, -p + 3*m = -28. Does 12 divide p?
False
Suppose -3*a - 7 = 5, -3*u - 4*a = -92. Is 22 a factor of u?
False
Suppose -127 = -3*a + 2*a + 5*w, 0 = -3*a + w + 437. Is a a multiple of 19?
False
Suppose 3*l + 12 = 4*l. Let s(h) = h**3 - 11*h**2 - 10*h - 16. Is 7 a factor of s(l)?
False
Let l = -36 + 19. Let t = -9 + l. Let o = -15 - t. Does 5 divide o?
False
Let n = -13 - -8. Let g be n/(-2) + (-1)/2. Suppose 4*b - g*s - 20 = 2*s, -15 = -3*b + 2*s. Is 5 a factor of b?
True
Is 22 a factor of (-5 - -5) + -1 + 61?
False
Let l(y) = -y**3 + 5*y**2 + 8*y - 7. Let h be l(6). Let o(q) = -q**3 + 13*q**2 + 3*q + 8. Let f be o(13). Suppose h*t + 2 = f. Does 9 divide t?
True
Let i(t) = t**3 - 4*t**2 + t - 2. Let a be i(4). Let n = -1 - -3. Suppose 0 = -a*s + 56 + n. Is s a multiple of 14?
False
Is 46 a factor of -3 - 68/(-20) - 2752/(-20)?
True
Let u(t) = -t**3 + 8*t**2 + t - 5. Suppose -3*l + 15 = -9. Let c be u(l). Suppose 2*p + 4*m + 29 = 141, 2*p + c*m = 110. Is p a multiple of 14?
False
Suppose 5*a + 142 = 802. Let n be -5*(a/(-15) - -2). Suppose 0 = -b - 4*d + n, 3*d = 3*b - 2*d - 119. Is b a multiple of 17?
False
Let d = 2 + 0. Suppose 36 = 4*a - d*c, 2*c = -0*a - 2*a + 18. Suppose -a = s - 53. Is 15 a factor of s?
False
Suppose -2*c - 5 = -b, 0 = -3*b + 6*b - 3*c - 15. Suppose -6 = -2*l - 5*v + 110, 263 = b*l - v. Does 21 