(-16)/q)?
False
Is -113*(-5 + (1 - 7)) a multiple of 13?
False
Let d(u) = -17*u + 3. Is d(-1) a multiple of 3?
False
Let q = 55 - 59. Does 3 divide (-130)/(-4) + q/8?
False
Let z be 8/4*(-10)/(-4). Suppose 4*a - 156 = 4*k - 6*k, z*k - 190 = -5*a. Is a a multiple of 26?
False
Suppose 0 = 2*m - 5 - 5. Let d(o) = 20*o**2 + 4*o + 1. Let f(g) = -g**2 - g. Let v(u) = m*f(u) + d(u). Does 21 divide v(-2)?
True
Suppose 2*i - 6 = -0. Let r(f) = -i - 2 + 2*f**2 - 2*f - 3*f. Is 16 a factor of r(6)?
False
Let s(u) = u**3 + 17*u**2 + 17*u + 14. Let w be s(-16). Is 8 a factor of (7 - -5)*(-12)/w?
True
Let p be 2/3*63/14. Suppose -4*j + 5*q + 354 = 0, 5*q - 267 = -p*j + 8*q. Is j a multiple of 22?
False
Suppose -4*d - 16455 = -9*s, -6*s + 3639 = -4*s + 5*d. Is s a multiple of 15?
False
Let m = -654 - -1243. Is 16 a factor of m?
False
Is -1 + 0 - 1140/(-4) a multiple of 8?
False
Suppose -31*l + 10675 = -1973. Is l a multiple of 6?
True
Suppose 3*m - 2*x = 8*m - 1918, 5*m - 3*x - 1923 = 0. Is 32 a factor of m?
True
Let o = 393 + 2181. Does 23 divide o?
False
Let d = 12 + -12. Suppose 2*a - 31 - 65 = d. Is 16 a factor of a?
True
Suppose 4*c + 5 = 125. Is 2 a factor of (c/(10/2))/((-1)/(-1))?
True
Suppose 4*u = 426 + 978. Is 13 a factor of u?
True
Let g be -8 - 6*(-3)/6. Let y(r) = r**3 + 5*r**2. Let d be y(g). Suppose -137 = -3*o - 2*b, d*b - 39 = -o + b. Is o a multiple of 11?
False
Suppose 4*q = -2*c + 11422, -7*q + 4*q = 2*c - 8566. Does 68 divide q?
True
Suppose 2*y = 4*d + 18, 6*y - d = 3*y + 17. Suppose 63 = 3*m + 3*q, y*m + q + 68 - 193 = 0. Does 5 divide m?
False
Suppose -7*n + 3*n - 232 = -4*s, 52 = s - 3*n. Let u be (10 - 30)/(4/(-6)). Let f = s - u. Is f a multiple of 18?
False
Let v(y) = -y**3 - 2*y**2 + 5*y + 2. Let m = -28 - -23. Is 13 a factor of v(m)?
True
Suppose g = 5*p + 27, g - 2*p - p = 17. Suppose y + 5*f - 35 - g = 0, 0 = -2*y - 2*f + 50. Does 11 divide y?
True
Suppose -3*n = -7 - 2. Let v be 28/6 - (-1)/n. Let s = 32 - v. Does 9 divide s?
True
Is (843/9 - -5)*60/8 a multiple of 36?
False
Let l = -1023 + 1533. Does 17 divide l?
True
Let i(g) be the first derivative of g**3/3 - 3*g**2 + 8*g + 5. Let v be i(4). Suppose v*m = m - 6. Is m a multiple of 2?
True
Let b be (-3 + 10/4)*-22. Let a = b + -6. Let z(q) = 5*q - 8. Is 6 a factor of z(a)?
False
Let p(s) = 4*s**2 - 28*s - 13. Is 9 a factor of p(-4)?
False
Let j(d) = 2*d**3 + 2*d**2 + d + 1195. Is 21 a factor of j(0)?
False
Suppose 18*m - 112 = 16*m. Is 34 a factor of (316/(-5))/((m/(-20))/7)?
False
Let i = -9 - -12. Suppose 2*f + 0*m = 4*m + 264, -i*f + 372 = 2*m. Does 17 divide f?
False
Let y = 966 - 435. Is 59 a factor of y?
True
Let n(k) = 7*k**2 + k. Let d(h) = -h**3 + 8*h**2 - 13*h + 7. Let b be d(6). Does 5 divide n(b)?
False
Let u be (-183)/(-21) + (-10)/(-35). Let y = 19 + u. Is y a multiple of 7?
True
Is 62784/224 - (19/(-7) + 3) a multiple of 3?
False
Let f be (-6)/(-14) + (-4285)/35. Let a = f - -196. Suppose -3*n + l + 0*l + a = 0, 5*l + 10 = 0. Is 12 a factor of n?
True
Let y be 3 + -34 - (-6)/(-3). Let z be (55/y)/((-1)/3). Suppose -3*q - z*v + v = -224, -v = 1. Is q a multiple of 14?
False
Does 28 divide (-7218)/(-15) - 5/25?
False
Let o be (-1)/(-6) - (-498)/36. Let m = o - -7. Is m a multiple of 10?
False
Let f(r) = 2*r**2 - 6*r. Let a be f(4). Suppose -3*t = -a*t + 1815. Suppose 4*i + 4*d - 440 = 0, 4*i - 3*d = 63 + t. Is 27 a factor of i?
True
Suppose -5*z = -871 - 2209. Is z a multiple of 37?
False
Suppose -2776 = -2*t - 2*f - 2*f, 5*t - 2*f - 6928 = 0. Is 11 a factor of t?
True
Suppose -5*g - 3*m + 38 = -197, g - 47 = -5*m. Let q be (g - -3)/(2/7). Suppose 4*z = -r + 26, 4*r - q + 20 = z. Does 19 divide r?
True
Suppose -2*t + 10 = -4*t. Let h(x) = x**3 + 5*x**2 - 4*x + 2. Is h(t) a multiple of 9?
False
Let o = 2 + 1. Let t = -30 + 75. Suppose -o*q = -t - 144. Is 14 a factor of q?
False
Let y(k) = -4*k**2 - 99*k - 49. Does 7 divide y(-23)?
True
Suppose 0 = -2*f - 5*t + 49, -2*f = -t - 0*t - 67. Let a(l) = -12*l + 2. Let o be a(3). Let r = f - o. Is r a multiple of 22?
True
Suppose -5*b + 1462 = -2183. Suppose -20 = -4*w, -3*z - 2*w + b = w. Suppose -86 = -4*a + z. Does 27 divide a?
True
Let i(n) = -n**2 - 2*n + 17. Let o be i(5). Let g = 40 + o. Is 22 a factor of g?
True
Suppose -3*f - 4*d + 27 = 0, f - d = -f + 29. Let r(o) = -o. Let a(q) = 2*q + 10. Let h(b) = -a(b) - 4*r(b). Is h(f) a multiple of 8?
True
Let d(p) = -p**3 + 14*p**2 - 7*p - 10. Let s be d(12). Let a = -102 + s. Does 13 divide a?
False
Let t = 37 + -217. Let p = t + 252. Is 12 a factor of p?
True
Let y(q) = -50*q + 87. Is 12 a factor of y(-4)?
False
Suppose -2*q + 8*c - 3*c = -8, -c - 20 = -5*q. Suppose r = -5*f + 34, 4*f - 41 = -q*r - 1. Is f a multiple of 6?
True
Suppose -4*i - 2956 = -4*t, -5*t + 4*i + 3715 = 3*i. Is 12 a factor of t?
True
Let r = 513 - -1022. Suppose -m + 0*c + 400 = 2*c, -5*c - r = -4*m. Suppose 4*y + t - 344 = -47, 5*y - 5*t = m. Is 13 a factor of y?
False
Let d(k) = k**3 - 10*k**2 + 12*k + 8. Let x be d(10). Suppose -172 = -5*n + x. Is n a multiple of 11?
False
Let n(f) = 8*f**2 + 5*f - 5. Suppose -2*v = 2*v - 8. Is n(v) a multiple of 9?
False
Let w(o) = -3*o + 3 + 2*o + 0 - 4. Let d be w(-3). Suppose -2 = -g, 105 = 5*p + d*g - 14. Is p a multiple of 17?
False
Let a(q) = 5*q - 1. Is 46 a factor of a(19)?
False
Let m(g) = -g**3 + 8*g**2 - 8*g + 9. Let k be m(7). Suppose -k*z + 3 = 4*h + 9, -3*z = 5*h + 7. Let y = z - -6. Is y a multiple of 7?
True
Let g = -78 + 143. Suppose -11*q - g = -6*q. Let p(r) = -r**3 - 13*r**2 - 2*r + 10. Is p(q) a multiple of 12?
True
Let s be (-1)/2*(-182)/(-7). Let p = 45 + s. Let t = -17 + p. Is t a multiple of 15?
True
Suppose 3*n - 27 = -v, -2*v + 3*n + 34 = 5*n. Suppose 4*y - v = -0. Is (-3 - -3)/y + 13 a multiple of 3?
False
Let g = -10 - -16. Suppose -g = q - 3*c - 22, -3*q + 8 = -c. Suppose h - 23 = -q. Does 22 divide h?
True
Is ((-3)/5)/((-35)/175) + 913 a multiple of 6?
False
Let x(t) = -6 - t**3 - 10*t + 8*t + 8*t**2 + t. Does 20 divide x(6)?
True
Let m(n) = 2*n**3 - 18*n**2 - 4*n - 63. Is 17 a factor of m(12)?
False
Let x(k) = k**2 - 3*k - 11. Is x(11) even?
False
Let k = -161 - -347. Is k a multiple of 62?
True
Let h(q) = 396*q**3 + 2*q**2 - 3*q - 1. Is 14 a factor of h(1)?
False
Let t(p) = p**2 - 7*p - 3. Let k be t(7). Let d be 96/9 + (-1)/k. Let b = 82 - d. Does 16 divide b?
False
Let o be 1/3*2313/(-3). Let i = o - -372. Let c = i - 59. Does 28 divide c?
True
Let v = 2 + -6. Let s be v/(-14) - 556/(-14). Let h = s - -8. Is 10 a factor of h?
False
Let h = -11 + 17. Let o = 211 + -220. Is 30*(2 - h/o) a multiple of 20?
True
Is 16 a factor of 1790/15*81/18?
False
Let t(b) = b**2 + 12*b - 19. Let g be t(-14). Suppose -65 - 3 = -2*c - 3*f, 0 = -2*c + 2*f + 68. Suppose -g*z = -11*z + c. Is z a multiple of 5?
False
Let u(g) = g**2 - 8*g - 4. Let q be u(9). Suppose 145 = q*y + 3*a + 2*a, -a = 5*y - 137. Is 13 a factor of 1/1*(-1 + y)?
True
Let p be (18375/14)/15 - (-1)/2. Suppose 0 = 3*q - p - 92. Does 30 divide q?
True
Suppose 3*t - 4 = -2*h, -2*t = -t + 3*h + 1. Suppose a = -2*j + 424, 5*a - t*a - 212 = -j. Does 53 divide j?
True
Let q(z) = z**2 + 5*z + 3. Let l be q(-5). Suppose -l*b = 3*s, -5*b + 2*s = s. Suppose 3*n + b*v - 2*v - 14 = 0, -3*v + 31 = 2*n. Is n even?
True
Let m(i) = 5*i**3 + i - 1. Suppose -4*u = 6 - 10. Let t be m(u). Let z(r) = 3*r - 7. Is z(t) even?
True
Let m(b) = 55*b - 52. Does 27 divide m(8)?
False
Suppose 3*w + 5*j - 2*j = 0, -5*w - 4 = 3*j. Does 8 divide ((-3)/w)/1*114?
False
Let z(r) = 2*r**2 - 26*r + 56. Is z(17) a multiple of 24?
True
Let m = 55 + -53. Suppose 4*z = -8, 2*o = o + m*z + 108. Is o a multiple of 35?
False
Let y = 2913 - 1212. Does 4 divide y?
False
Let d(z) = z**2 + 4*z - 6. Let p be d(6). Suppose 0 = t + 4*f, -1 - 2 = -2*t - 5*f. Suppose t*q - p = q. Does 18 divide q?
True
Suppose 4*u - 1225 = -5*l, 5*u - 3*l = u + 1249. Let x = -194 + u. Is 21 a factor of x?
False
Suppose -1160 = 14*k - 22*k. Is 29 a factor of k?
True
Suppose -5*r + 15 = b - 0*r, -103 = -5*b + 3*r. Let g = b - 18. Is (g - 2 - -3) + 37 a multiple of 8?
True
Let k = 137 - 96. Let w = k + -62. Let h = w - -41. Does 15 divide h?
False
Let l = 107 - -243. Is 30 a factor of l?
False
Suppose 4*r = 5 - 13. Let z(o) = -o**3 - 18*o**2 -