*x + 2. Is u/4 + 98/4 a multiple of 13?
False
Let g be (0 - -40) + -13 + 11. Suppose 8 + g = 2*n. Does 10 divide n?
False
Let z(h) = h**2 + h - 9. Is 21 a factor of z(5)?
True
Let t be ((-3)/9)/(2/(-30)). Suppose 92 = t*m + 17. Does 10 divide m?
False
Let d = 460 - 319. Is 47 a factor of d?
True
Let l(q) = -2*q - 5. Let v be l(-4). Suppose -j + 36 = v*j. Is j even?
False
Let k(d) = d - 5. Let l(p) = -1. Let u(c) = 2*k(c) - 11*l(c). Let f be u(2). Suppose 3*r + 2*t = -0*t + 78, -f*r + 111 = -3*t. Is 12 a factor of r?
True
Let c = 174 - 10. Suppose -5*j + 16 = -c. Suppose 0*r = -3*r + j. Does 6 divide r?
True
Let f = -85 - -121. Does 9 divide f?
True
Let o(t) = -35*t + 1. Let d(u) = -u**3 - 9*u**2 + u + 8. Let v be d(-9). Is 12 a factor of o(v)?
True
Let q = -7 + 7. Let m = 8 - q. Does 7 divide m?
False
Let u(n) = -n - 2. Let a be u(-6). Suppose -2*f + 5*i - 125 = 0, -a*i - 43 = -2*f + 3*f. Is (1/(-1))/(5/f) a multiple of 11?
True
Suppose a - 2*a + 11 = 3*l, 2*l - 2 = -2*a. Is l even?
False
Let y(h) = -h + 7. Is 9 a factor of y(-12)?
False
Suppose 5*o - 4*a + 31 = 0, 3*a - 26 + 2 = 4*o. Let r be o/(1 - (-228)/(-219)). Suppose -4*t + 35 = -r. Is 9 a factor of t?
True
Suppose a = 4*q - 158, q + q - 3*a - 74 = 0. Is 8 a factor of q?
True
Let n = -26 + 65. Is n a multiple of 12?
False
Suppose 5*x = -3*g + 36 - 0, 5*x + 20 = 5*g. Suppose -g = 5*h - 82. Suppose 3*o + h - 51 = 0. Is o a multiple of 6?
True
Suppose 109 = 3*p - k, 29 - 99 = -2*p - 2*k. Is p a multiple of 12?
True
Suppose 13 = -5*i + 43. Let v be (-2)/i + (-10)/6. Let q(j) = -j**3 + 2*j**2 + j + 2. Is 8 a factor of q(v)?
True
Let b be ((-12)/2 - 2)/(-2). Suppose 0*f = b*f - 172. Is 15 a factor of f?
False
Let g(p) = 25*p + 25. Is 20 a factor of g(7)?
True
Let q(c) = -14*c + 5*c + 2 + 7*c - 5. Does 10 divide q(-11)?
False
Let o(q) = q**3 + 6*q**2 - 4*q - 6. Let s be o(-6). Let y = 53 + -64. Let i = s + y. Is i a multiple of 6?
False
Let m be (-1)/5 - (-5)/25. Suppose -3*w - y = -11, 0 = -m*w - 2*w + 2*y - 6. Suppose 0 = w*c - 12 - 12. Is 12 a factor of c?
True
Is -1 - 4/((-12)/111) a multiple of 18?
True
Suppose 0 = -0*q - 3*q + b + 43, -4*q + 70 = 5*b. Does 5 divide q?
True
Let z(f) = 2*f**2 + 3*f. Let s be z(6). Let a be ((-18)/(-5))/(4/20). Suppose -5*c = -j - s, j - a = -c - j. Is 9 a factor of c?
True
Let d be 4/(-18) + (-94)/(-18). Suppose d*t - 146 = 49. Is t a multiple of 13?
True
Suppose -2*i = -j + 50, 4*j + i = 2*i + 179. Suppose 0 = 4*d - 2*d - 12. Is j/d - 2/(-3) a multiple of 4?
True
Suppose 0 = -2*o - 5*f + 4*f - 39, o + 3*f + 32 = 0. Let h = o - -25. Is 3 a factor of h?
False
Suppose 0 = -5*j + 5*c + 45 + 30, -j + 2*c + 20 = 0. Is 5 a factor of j?
True
Suppose -3*v = -2*v + 20. Let m = -9 - v. Does 7 divide m?
False
Let c(q) = 8*q**2 + 15*q - 4. Does 9 divide c(-3)?
False
Let p(f) = 9*f**2 - f. Let k be p(-2). Suppose 0 = -5*t + 67 + k. Does 7 divide t?
True
Is (-2*1 - -45) + (6 - 7) a multiple of 7?
True
Suppose 0 = 3*v - 4 + 25. Let c = 13 - v. Is c a multiple of 8?
False
Let k be (-8)/(-20) + 148/5. Is k/4 - 6/4 a multiple of 3?
True
Let a(b) = 4 - 6*b - 6 + 1 - 1. Is 14 a factor of a(-5)?
True
Suppose -6*x = -3*x - 90. Is 15 a factor of x?
True
Let k = 7 + -14. Let j = k - -17. Does 2 divide j?
True
Suppose 6 - 15 = -3*v. Suppose -3*f = -9, c - v*f - 29 - 37 = 0. Suppose 5*i - c = 40. Is i a multiple of 6?
False
Let p(b) = 7*b - 3. Is 2 a factor of p(1)?
True
Suppose m = 3*m + 3*y + 74, 160 = -4*m - 3*y. Let w = -17 - m. Is 13 a factor of w?
True
Let b = 364 - 225. Does 27 divide b?
False
Suppose 5*x - 98 = -28. Is x a multiple of 7?
True
Let a = 32 - 58. Let n = 16 + a. Let x = 26 - n. Is 16 a factor of x?
False
Let k(v) = -v**2 - 19*v + 5. Does 14 divide k(-16)?
False
Suppose 0 = 2*k + k - 66. Let u = k - 12. Is 3 a factor of u?
False
Let g be 1/(-4) + (-102)/(-24). Suppose -22 = -g*w + 2*w. Is 11 a factor of w?
True
Suppose -6 = -5*x + 14. Suppose k + 138 = x*k. Is k a multiple of 18?
False
Let k(o) be the third derivative of -o**4/8 + o**3/3 + o**2. Is k(-7) a multiple of 10?
False
Let d = 30 + 39. Does 23 divide d?
True
Suppose 0 = r - 4*r + 15. Suppose -3*d = 3*l - 87, -r*d - 4*l = -2*l - 154. Does 32 divide d?
True
Let o be (-17)/(-4) - (-2)/(-8). Suppose -5*n - s + 328 = 0, -162 = -o*n + 5*s + 112. Suppose 3*y - n = -t - 2*t, 3*t = -y + 30. Is 9 a factor of y?
True
Let y be (-36)/(-10) + 3/(-5). Suppose a - y = -1. Is 21 - a/(-4)*2 a multiple of 11?
True
Suppose 2*y - 2*w - 20 = -0*y, w = -5*y + 56. Let l = y + -7. Suppose -120 = -l*o - o. Is o a multiple of 16?
False
Let d be (-2 + 3 + 3)/2. Suppose d*t = -2*p + 18, 3 = p - t - 0. Suppose -4*v - q = -70, 0 = 5*v - p*q + q - 75. Is v a multiple of 8?
False
Let t(l) be the first derivative of -53*l**4/4 + l - 2. Let g(z) = -z**3 - 15*z**2 - 15*z - 15. Let q be g(-14). Does 27 divide t(q)?
True
Let u be -4*(-3)/6 + -18. Does 14 divide (12/u)/((-3)/168)?
True
Let j = -29 - -51. Is 10 a factor of j?
False
Suppose 5*v = 2*j + 482, 2*v + 4*j = 3*j + 200. Suppose 5*n - v = -c, 3*n + 0*c - 70 = 5*c. Is 10 a factor of n?
True
Suppose 5*w + 2*u + 15 = 0, 0 = 3*w - 0*w - u + 20. Is 14 a factor of (-76)/w + (-6)/30?
False
Suppose 0 - 4 = -w. Is 3 a factor of w?
False
Let d(o) = 7*o. Let w(j) = j + 1. Let n(h) = -12*h - 7. Let q(x) = 4*n(x) + 28*w(x). Let z(i) = 17*d(i) + 6*q(i). Is z(-8) a multiple of 8?
True
Let l(r) = 14*r + 6. Let t(x) = 41*x + 17. Let z(q) = -8*l(q) + 3*t(q). Suppose -5*n + 2*n - h + 15 = 0, 0 = -5*n - 5*h + 35. Does 17 divide z(n)?
False
Let n be (-3)/2*12/(-9). Let h be (-149)/(-4) + 4/(-16). Let p = h - n. Does 10 divide p?
False
Let k(y) be the second derivative of y**4/12 - y**3/2 + y**2 - 2*y. Is 6 a factor of k(5)?
True
Suppose -20 = -4*h, -2*w + 39 + 8 = -3*h. Does 17 divide w?
False
Let v be 3/(1 - 1/(-2)). Suppose -b = v*b - 54. Is 9 a factor of b?
True
Suppose 4*k + 9 - 1 = 0. Let n be 6/(k - -5)*1. Is 19 a factor of 110/6 - n/(-3)?
True
Is 3*(75/9 + -1) a multiple of 11?
True
Is (210/(-20))/(2/(-16)) a multiple of 28?
True
Let a(b) be the first derivative of b**2/2 + 3*b + 2. Is 3 a factor of a(4)?
False
Let r = 1 - -1. Suppose 8 = 2*b + r. Suppose -b*u + 2 = -25. Is 4 a factor of u?
False
Let b(m) = 6*m**2 - 2*m - 7*m - 1 + 6*m - 4*m**3 + 5*m**3. Is 18 a factor of b(-5)?
False
Let z be 2/(-17) + (-15896)/136. Let g = 195 + z. Is 26 a factor of g?
True
Suppose 0 = 3*y + 5*r - 256, -5*y + r = -8*y + 236. Does 11 divide y?
True
Is ((-21)/1 + -5)/(-1) a multiple of 23?
False
Suppose -3*s - k + 320 = 0, s - 5*k = -k + 85. Is 23 a factor of s?
False
Let m be ((-6)/10)/((-4)/20). Let i = m + 1. Suppose i*f - 58 - 42 = 0. Is f a multiple of 12?
False
Suppose -5*u + 5*t = -705, u - 3*u - 3*t = -287. Is 8 a factor of u?
False
Suppose 0*p = 2*p. Let v be (-1 - -2)*(p - 0). Suppose -b - 5*m + 40 = v, -5*b = -0*b - m - 70. Is b a multiple of 10?
False
Suppose -c = 5*n - 18, -5*c = 3*n - 2*n - 18. Suppose 3*t = g - 24, -n*t + 10 = g + t. Is 5 a factor of g?
False
Let z(b) = b + 2. Let x be z(0). Suppose x*h + 16 = d, 4*h + 34 = 4*d + 2*h. Is d a multiple of 2?
True
Let c = -31 - -55. Suppose -3*k - 6 = -3*g, -c = -5*k + 2*k - 3*g. Let o = k + 4. Is 5 a factor of o?
False
Let t = -80 + 241. Does 15 divide t?
False
Let q = 232 - 157. Does 15 divide q?
True
Let a = 1 + 4. Let l be -4*(-1 + 2)*-1. Suppose 4*u - 157 = -l*n - 61, u - a*n - 24 = 0. Is u a multiple of 12?
True
Let t(j) = j**3 + 16*j**2 + 10*j - 7. Let u(m) = -3*m**3 - 47*m**2 - 29*m + 20. Let l(c) = -11*t(c) - 4*u(c). Is l(-11) a multiple of 26?
True
Suppose w + 0*w - 29 = 0. Suppose 4*x + 3 = -25. Let u = x + w. Does 12 divide u?
False
Let q(d) = d**3 + 3*d**2 - 5*d - 2. Let r be q(-4). Suppose -r*m + 164 = 2*m. Does 18 divide m?
False
Let j(z) = -12*z + 6. Let k be j(-6). Is 13 a factor of (k + 0)*5/15?
True
Let j(d) = -d**2 + d - 1. Let g be j(2). Let l = 8 + g. Suppose 2*o + 2*u - 50 = -0*o, -l*o + 3*u + 101 = 0. Does 11 divide o?
True
Let f = -133 + 163. Does 15 divide f?
True
Let s = 1 - -3. Suppose 2*i + u = -0*i + 47, s*i = -4*u + 104. Is (-6)/i - (-289)/7 a multiple of 15?
False
Let g be (-6)/2*4/(-6). Suppose -g*x = 11 - 5. Does 11 divide (-1 - 1) + 16 + x?
True
Suppose -2*q = 2*q - 16. Suppose -4*c + 181 = 5*k, -q*k + 215 = 5*c -