-14). Suppose q = -5*p - 13. Let r(b) = -6*b - 5. Does 9 divide r(p)?
False
Let q = -27 - -49. Is q a multiple of 22?
True
Is 5/(35/2) - (-1760)/14 a multiple of 21?
True
Let m(s) = -s**2 + 6*s + 9. Suppose t + 21 = 4*t. Let k be m(t). Suppose 5*c - 20 = -5*u + k*u, u - 20 = -5*c. Is c a multiple of 4?
True
Suppose -4*f = -4*u + 6*u - 134, -3*u + 3 = 0. Does 11 divide f?
True
Suppose 3*o - 47 = 103. Suppose 2*g - 3*p - 13 = -2*p, -p + o = 5*g. Is 4 a factor of g?
False
Suppose 4*p - 283 = -75. Let d be (3/(-9))/(1/(-15)). Suppose 5*s + 2*k - d - p = 0, s - k - 10 = 0. Does 11 divide s?
True
Let j be (-2)/7 + 99/(-21). Let c(q) be the third derivative of q**5/60 + q**4/12 - q**3/6 + q**2. Does 7 divide c(j)?
True
Let v(c) = -c**3 - 7*c**2 - 7*c - 1. Let t be v(-6). Suppose -3*a - s - 3 = 5, -3*a = t*s + 4. Let d = a - -9. Is 4 a factor of d?
False
Suppose 3*j + 4*k = 15, j + 4*k + 15 = 4*j. Suppose 2*u + 66 = 5*f + u, 5*f = -j*u + 90. Is f a multiple of 7?
True
Let g(b) = b**3 - 14*b**2 - 10*b - 2. Is g(15) a multiple of 12?
False
Let z(s) = -s - 10. Let l be z(-5). Let u be (-26)/l + (-2)/10. Is (-4)/u*(-5)/2 even?
True
Suppose j = -3*h + 11, 2*h - 6*h = -4*j - 36. Suppose 17 - 44 = -2*b - s, -3*b + h*s = -47. Does 14 divide b?
True
Let c(q) = q**2 - 2*q - 2. Let t be c(4). Let x be 939/(-9) - 2/(-6). Does 13 divide x/t*12/(-8)?
True
Let x be -1 + (8 - 2)/(-2). Let y(o) = -9*o - 4. Let u be y(x). Suppose 3*p = -3*v + 30, -4*p + 10 = 3*v - u. Is p a multiple of 12?
True
Let u be (-29 - 2/1) + -1. Let i = u + 17. Is ((-18)/i)/((-3)/(-10)) a multiple of 2?
True
Suppose -4*a - 3*d + 1023 = 0, 0*a - 4*d = -3*a + 736. Is a a multiple of 9?
True
Suppose 0*k + 198 = 3*k. Let l be k/14 - (-8)/28. Suppose -l*z + 72 = -73. Does 12 divide z?
False
Let f = -22 + 130. Does 27 divide f?
True
Suppose 0*y + 20 = 5*y. Let b(o) = -o**2 + y*o - 2*o - 1 + 0*o**2 + 3*o**2. Does 6 divide b(2)?
False
Let v = -273 + 499. Is v a multiple of 34?
False
Does 30 divide (21 + -19)/(2/120)?
True
Let c(p) = 3 + 3*p - 2*p + 3*p**2 - 2*p**2. Let m be c(0). Suppose m*j - 5 = 31. Does 7 divide j?
False
Suppose 3*c - 5*c = -48. Is c a multiple of 8?
True
Suppose -s - 4 = -3*s. Let j = 12 - s. Does 10 divide j?
True
Let f = -6 - -8. Suppose f*v = 42 + 12. Let b = -14 + v. Is 13 a factor of b?
True
Suppose 0*g = 2*g - 188. Is g a multiple of 14?
False
Suppose -579 = -4*j - u, 0*j - j + 2*u = -138. Is j a multiple of 18?
True
Let w be (4/2 - 1) + 1. Suppose d = -g + 2, 2*d - d = -3*g + w. Suppose d*r + 32 = 6*r. Does 4 divide r?
True
Let h(j) = 6*j - 8. Let o be ((-18)/(-4) + -2)*2. Suppose 36 = o*s + 6. Is h(s) a multiple of 10?
False
Does 3 divide (-10)/35 + (-2)/(56/(-316))?
False
Let b = 176 + -18. Does 23 divide b?
False
Let t(h) = h**3 - 3*h**2 - 4*h + 2. Let w be t(4). Suppose 7*u - 3*u = -w*l + 160, l = -3*u + 119. Does 13 divide u?
True
Suppose 8*c - 212 = 4*c. Is c a multiple of 19?
False
Let o(u) = -u + 2. Let b(y) = y**2 + 8*y + 2. Let m be b(-8). Let r be o(m). Is r - -42 - 2/1 a multiple of 13?
False
Is (-2)/(1 + 9/(-6)) even?
True
Suppose -23*g + 126 = -21*g. Is g a multiple of 8?
False
Let q = 96 - 38. Is q a multiple of 13?
False
Let r(c) = c**2 - 4*c - 13. Let v be r(9). Suppose -4*h - 36 = -2*m, 2*m - 32 - 6 = 3*h. Let n = v - m. Is n a multiple of 10?
True
Let y = 309 - 183. Is 21 a factor of y?
True
Let g(n) = -n**2 - 6*n - 5. Let v be g(-4). Suppose -v*r + 15 = 0, -3*y + 49 = 2*r + 3. Is y a multiple of 4?
True
Suppose 3*b = -4*p + 27, 3*b + 4*p = p + 24. Suppose b*h - 4 = 1. Does 12 divide (h/(-2))/((-2)/68)?
False
Let t(i) = 3*i + 4. Let s be t(5). Suppose 5 = 2*q - s. Is q a multiple of 4?
True
Suppose 6*y - 204 + 78 = 0. Is 21 a factor of y?
True
Suppose -3*n + 159 = -51. Is 14 a factor of n?
True
Suppose -4*w = -w. Let k(v) = -v**3 - 2*v**2 + 2. Let b be k(-2). Suppose 7*f + 2*n = b*f + 55, -3*f + n + 22 = w. Does 9 divide f?
True
Let k = -1 + 4. Suppose -3*h = -k*r - 36, 2*h = 4*h - 5*r - 30. Let f = h - -2. Is f a multiple of 6?
True
Let g = 76 - 52. Is g a multiple of 2?
True
Let n = -5 + 2. Let s = n - -5. Suppose 0*q + s*q - 2*b = 10, -2*q = 3*b. Is q a multiple of 3?
True
Let a = -34 + 42. Is 4 a factor of a?
True
Let m be 8/(4 + -2 + 0). Let y(t) = -m + 3*t**2 + 2*t**3 + 0*t - 5*t - t**3. Does 11 divide y(-3)?
True
Suppose -k = -2 - 5. Suppose 2*s - k*j + 3*j - 12 = 0, 3*j + 9 = -4*s. Is 51 + s/(0 - 2) a multiple of 25?
False
Suppose -t + 4*f + 1 = 0, 2*f = 4*t - 2*f - 4. Let h(p) = 3*p + 1. Is 2 a factor of h(t)?
True
Is 24 a factor of (-3 - -2) + (-2 - -51)?
True
Let i = 6 + -2. Let p be (2/5)/(i/60). Is 32/p - (-1)/(-3) even?
False
Is 2007/27 - (8/6)/(-2) a multiple of 25?
True
Suppose 5*w - 7 - 103 = 0. Is 11 a factor of w?
True
Let k(v) = -v**3 - 5*v**2 - v - 2. Let f be k(-5). Suppose t = -4, -g = -t + f*t - 28. Let n = -25 + g. Does 7 divide n?
False
Let m be (-684)/(-15) + 9/(-15). Suppose -m = -3*y - 4*h, -4*y + 2*y + 7 = -5*h. Let i = 22 - y. Is 6 a factor of i?
False
Let s(g) be the first derivative of 2*g**3/3 - 2*g**2 + 3*g - 8. Is s(-4) a multiple of 17?
True
Let n = -19 - -16. Let a(b) = -b**3 - 3*b**2 - 4*b + 1. Is 5 a factor of a(n)?
False
Let b = 0 - -2. Suppose -3*s - 2*f = b*s - 59, f + 31 = 3*s. Does 4 divide s?
False
Suppose 0 = -x + 4*b + 60, -x + 4*b + 104 = x. Is x a multiple of 22?
True
Let g(y) = y**3 - 4*y**2 - 8*y + 2. Let w be (3 - 2)/(1/6). Let x be g(w). Suppose 8*i + x = 9*i. Is i a multiple of 9?
False
Let z(d) = d - 1. Let q(w) = w**3 + 7*w**2 + 11*w - 7. Let p(t) = -q(t) + 4*z(t). Let x be p(-6). Suppose a - x - 1 = 0. Is a a multiple of 4?
False
Let b be 48/9*(-6)/(-4). Suppose 0*w = -3*w + 12. Suppose -b*c + 84 = -w*c. Does 7 divide c?
True
Let y be 1/4 - (-6)/8. Let c be 92 + (-2)/(0 + y). Suppose 3*p + 24 = c. Is 15 a factor of p?
False
Suppose -2*o + 15 = 3*o. Suppose -16 = y + o*x - 1, 5 = 4*y - x. Suppose -60 = -y*b - 2*b. Is 15 a factor of b?
True
Let r(u) = u**3 - 5*u**2 + 3*u - 6. Let f = -4 + 9. Does 9 divide r(f)?
True
Let h be (-1)/2 + 28/8. Let v be (-1)/(h/4 + -1). Suppose -4*n + 2*g + g + 99 = 0, 0 = 2*n + v*g - 44. Is n a multiple of 7?
False
Suppose 5*f - 2*y - 87 - 43 = 0, -5*y + 95 = 5*f. Does 6 divide f?
True
Suppose w - 2*w + 4 = 0. Suppose 4 + 4 = w*a. Suppose a*c - 5*c - 125 = -4*j, 5*j - c = 170. Is j a multiple of 16?
False
Suppose 3*w = c + 7, -w - 6*c + 9 = -3*c. Let f = 28 + 0. Suppose 5*i - f = -w*y, -3*i - 17 = -2*y - 8*i. Is y a multiple of 11?
True
Suppose 0*u - 5*u - 2*h = -206, -12 = -4*h. Is 20 a factor of u?
True
Let d(l) = -l**2 + l + 32. Let y be 0/(1*(-2 + 1)). Is d(y) a multiple of 9?
False
Suppose -2*c - 2*r = -164, -247 = -3*c - 4*r + 2*r. Let p = 139 - c. Is p a multiple of 24?
False
Let j be 1*(0 - 1) + 673. Suppose -6*w + 2*w = -j. Does 16 divide (w/(-20))/(1/(-5))?
False
Suppose -2*y + 2 + 6 = 0. Suppose -j = 0, 21 = -y*n - 4*j + 61. Is 7 a factor of n?
False
Let w(l) be the second derivative of l**3/6 + 5*l**2 - 3*l. Let s be w(-10). Suppose 2*r - 2*p - 38 = s, -2*p = -3*r + 2*p + 60. Is 8 a factor of r?
True
Let u(i) = -i - 5. Let b be u(-5). Let v(l) = -l**2 + 5. Let x be v(b). Suppose x*n = -5*y + 120, 57 + 55 = 5*n + 3*y. Is 8 a factor of n?
False
Let y(s) = 2*s + 7. Is 7 a factor of y(0)?
True
Let l = -62 + 62. Let p be (2 - 1)*1 - -3. Suppose m - p*m = -3*v - 72, -4*m - 4*v + 72 = l. Does 15 divide m?
False
Let d(i) = i**2 + 8*i - 5. Does 4 divide d(-9)?
True
Let v(x) = x**3 + 8*x**2 - 9*x + 9. Let f be 11 - 0/(1 - 2). Suppose -f*g + 7*g = 36. Does 8 divide v(g)?
False
Let w(r) = 3*r**2 + 5*r + 7. Let u be -9 + 8 + 16/1. Let o be u/(-2)*4/6. Is w(o) a multiple of 19?
True
Suppose 77*p = 80*p - 63. Does 21 divide p?
True
Let y(w) = -2*w**2 + 6*w - 4. Let i be y(4). Let j = 2 - i. Is j a multiple of 7?
True
Suppose -3*q - 59 = -983. Is q a multiple of 44?
True
Let t = -5 - -4. Let u = t + 1. Suppose u = -v + 6 + 18. Is v a multiple of 8?
True
Suppose 0 = -2*c - 3*c + 10. Suppose 0 = -0*z - c*z + 4. Suppose 0 = 5*a - 72 + z. Does 10 divide a?
False
Let d(r) = -4*r**3 - 3*r**2 - 3*r + 1. Let v be d(-3). Suppose 0 = -5*q - 4*t + 88, -5*q + t - 4*t + v = 0. Does 10 divide q?
True
Suppose z + 25 = 60. Is z a multiple of 7?
True
Let k be (-13)/(-4) - 2/8. Let o(n) 