h. Suppose -m*w + 155 = -0*w. Is 12 a factor of w?
False
Is (3 + -4)/1 - (-68)/2 a multiple of 17?
False
Suppose 0 = -h - 3*h + 12. Suppose h*b = -b + 16. Is 2 a factor of b?
True
Let r(m) = 2*m + 104. Is 13 a factor of r(0)?
True
Let t(y) = 9*y**2. Suppose -4*h = -0*h + 4. Let a = h - -2. Does 9 divide t(a)?
True
Suppose -2*h + 10 = 3*h. Suppose h*a - 69 = -23. Does 8 divide a?
False
Suppose -j + 15 = -4*j. Let w(v) = -2 - v + 2 + 1. Is w(j) a multiple of 4?
False
Is ((-8)/3 + 3)/(2/156) even?
True
Suppose -5*j + 490 = -5*q, -127 = 5*j - 4*q - 612. Is j a multiple of 27?
False
Let c(q) = q**2 + 4*q - 3. Let b be c(-5). Suppose g - b + 43 = 0. Is 5 a factor of g/(-4) - 1/4?
True
Let u = -196 + 113. Let a = u - -122. Does 13 divide a?
True
Let b = -7 + 6. Let l = 5 + b. Suppose l*d = 27 + 13. Is 10 a factor of d?
True
Let n(f) = 19*f - 16. Is 5 a factor of n(3)?
False
Let k(u) = u**2 + 2*u - 6. Is k(5) a multiple of 15?
False
Let v(b) = 2*b - 1. Let x(t) = t + 7 + t**2 - t - 3 + 8*t. Let i be x(-8). Is 4 a factor of v(i)?
False
Let r = 198 + -63. Let m = r - 82. Is m a multiple of 12?
False
Let o be ((-1)/1)/(2/(-2)). Let n be 60/o + -2 + 0. Suppose -5*k - 40 = -y, 2*y - k - n = -2*k. Does 12 divide y?
False
Let c = -224 + 407. Suppose 3*t + m = -2*m + 141, -3*m = 4*t - c. Does 16 divide t?
False
Suppose 3*s = -k - 39, 0 = 3*s + 3*k + 19 + 26. Let w = s + 23. Is 11 a factor of w?
True
Let k be (-31)/(-6) - 2/12. Suppose 0 = 2*y - k*g + 12, -2*y - 5*g + 0*g + 28 = 0. Does 2 divide y?
True
Let l be 3 + 6/(-3 - 0). Let y = 12 + l. Does 13 divide y?
True
Let q be (-1)/((-1)/4*2). Suppose 2*c - 98 = -3*j, q*j - 7*c = -2*c + 40. Suppose j = 4*n - 2*v - 54, -5*n + 75 = 5*v. Is 13 a factor of n?
False
Let p(c) = c**3 - 6*c**2 + 6*c - 2. Is p(6) a multiple of 7?
False
Let p(q) = -2*q + 7. Suppose -2*n - 2*t = 2*n - 2, -n - 3*t + 3 = 0. Is p(n) even?
False
Suppose -w = t - 0*w, -3*w = -4*t - 14. Let c be t/9 - 299/(-9). Suppose -5 = -2*v + c. Does 13 divide v?
False
Suppose 0 = 3*t - 3*c - 234, 4*c + 72 = t + c. Suppose 110 = -3*s + 8*s. Suppose -4*d = 6*q - q - t, 3*d - 4*q = s. Is d a multiple of 7?
True
Let q(r) = r - 5. Let n be q(5). Does 6 divide 6 - (n + 8)/(-2)?
False
Let v be (-4)/(-6) - (-32)/24. Let s be 141/v*(-40)/12. Is 16 a factor of (s/20)/((-1)/4)?
False
Let n be (-2)/(-3)*(-12)/(-4). Suppose n*l = -l. Let b = l - -2. Is b a multiple of 2?
True
Suppose 4*u = -2*w + 228, 2*w - 3*u - u - 252 = 0. Is 20 a factor of w?
True
Suppose n = 2*n + 2. Is 889/21 - n/(-6) a multiple of 24?
False
Suppose -220 = -6*o + o + 5*t, o - 3*t - 46 = 0. Is 8 a factor of o?
False
Suppose r = -3*r - 3*n - 15, -3*r = 4*n + 20. Suppose 5*z - 2*l + 4*l - 45 = r, -4*z + 13 = -3*l. Suppose -11 - z = -p. Does 9 divide p?
True
Does 5 divide (37 - 3) + (-1)/(-1)?
True
Suppose -o + 4*s + 36 = 3*o, 41 = 4*o - 5*s. Is o a multiple of 4?
True
Suppose -3*b - 84 = -4*b. Suppose -4*z + b = -0*z. Is z a multiple of 7?
True
Suppose 0*k - 2*k = -4*r, -k + 4*r + 4 = 0. Is 16 a factor of 46 + (-2)/(-4)*k?
False
Suppose -3*n + 34 = -4*j, 3*n - 5*n + 4 = 2*j. Is n a multiple of 3?
True
Let d = 0 - -36. Let g = 24 - d. Let b = 17 + g. Is b a multiple of 5?
True
Let n be (15/(-10))/(3/8). Let b be 0 + (0 + 0 - n). Suppose -5*p + 35 = -b*q, -2*p + 4*p - 14 = 2*q. Is p a multiple of 6?
False
Let i(u) = -u**2 + 21*u + 40. Does 7 divide i(19)?
False
Suppose t - 8 = -5. Suppose o + 12 = t*o. Let k(d) = 2*d**2 - 8*d. Is k(o) a multiple of 9?
False
Suppose -3*d = 1 + 2. Let p be (0/(1 + 1))/d. Suppose -2*m + p*m = 0, 48 = 3*l + 4*m. Is 16 a factor of l?
True
Let f = 191 - 65. Is f a multiple of 14?
True
Let f(y) = y**3 - 18*y**2 + y + 55. Does 16 divide f(18)?
False
Suppose -2*d + 16 = 2*d + 4*b, -3*d = 5*b - 18. Is 6 a factor of 1 + d - (-20 + -1)?
False
Suppose 5*o - 7 = 18. Suppose 0 = o*p - 275 + 25. Is 17 a factor of p?
False
Let o = 4 + -2. Suppose h - 10 = -o*p, -4*h = -p + 2*p - 12. Does 4 divide p?
True
Let v(o) = o**3 - o**2 + 2. Let c be v(0). Suppose -c*p + 8 = 0, -3*r + 26 = 3*p - p. Is r a multiple of 3?
True
Let a = -2 - -2. Suppose a*u = -u + 128. Suppose 0*y + 4*y - u = 0. Is y a multiple of 14?
False
Suppose -v + 2 = -1. Suppose 8*w - v*w = 10. Suppose -w*l = -9 - 9. Is l a multiple of 3?
True
Let m(i) be the second derivative of i**3/6 - i**2 + 2*i. Let u be m(2). Let z = 8 - u. Is z a multiple of 5?
False
Let s = -87 + 182. Is 7 a factor of s?
False
Suppose 5 = -p + 3. Let c = 6 + p. Let k(h) = h**3 - 3*h**2 - 3*h + 3. Is 5 a factor of k(c)?
False
Let x(f) = -13*f + 2. Let i(s) = -s**2 + 9*s - 2. Let o be i(9). Does 14 divide x(o)?
True
Suppose -4*a + 252 = -5*h, 5*a - 5*h + 10*h - 270 = 0. Is 19 a factor of a?
False
Suppose 3*v - 535 = -2*v - 5*r, -3*r + 545 = 5*v. Is 16 a factor of v?
True
Let z(p) = p**2 + 5*p + 4. Let n be z(-4). Suppose n*h + 22 = -g + 3*h, -h = -g - 14. Is g/(-4) - (-2)/(-4) a multiple of 2?
True
Suppose 0 = -y + 55 + 145. Suppose -5*z - y = -10*z. Is 20 a factor of z?
True
Suppose -6 = 4*v - 14. Is (-6)/(-9)*144/v a multiple of 7?
False
Suppose -5*q = -a - 1137, 1134 = 7*q - 2*q - 2*a. Does 38 divide q?
True
Let q(b) = 2*b + 7. Let f be q(-5). Is 15 a factor of 225/(-20)*(f + -1)?
True
Let k = -2 - -6. Suppose k*g - 4*h + 264 = h, 4*h = -16. Let f = g + 105. Does 17 divide f?
True
Let l = -3 + 6. Suppose -3*r = -3*j + 48 + 42, 5*r + 92 = l*j. Is 10 a factor of j?
False
Let z(f) = f**2 + 2*f + 9. Suppose -4*v + 3*v = 6. Let g be z(v). Suppose h + 11 = 3*q + g, 0 = 5*h + q - 174. Is 15 a factor of h?
False
Does 5 divide 0 - 317/(-9) - (-4)/(-18)?
True
Suppose 11*f - 6*f - 680 = 0. Is f a multiple of 16?
False
Suppose 0 = -5*d - 0*d + 15. Suppose -130 = d*n - 8*n. Is n a multiple of 13?
True
Suppose 0 = -g - 59 - 9. Let c = g + 99. Is 7 a factor of c?
False
Suppose -2*m = 0, 2*m = -2*t - m + 100. Does 25 divide t?
True
Suppose -72 = b + 3*b. Let v = -8 - b. Suppose 0*k + 2*k + 4*d - v = 0, 5*k - 2*d = 61. Does 11 divide k?
True
Suppose -5*t = -177 - 223. Does 20 divide t?
True
Does 9 divide 17 + -4 + 5 + -3?
False
Let q(s) = 7*s - 3. Suppose -4*m = -i - 8, -3*i + 5*m - 2*m = 6. Let l = 2 - i. Is 6 a factor of q(l)?
False
Suppose 4*g = 3*g + 3. Suppose -g*k = -4*b - 5, -3*k + 2 - 3 = -b. Does 14 divide b/7 - 396/(-14)?
True
Let a(p) = -31*p**3 - 5*p**2 + 4*p + 11. Let c(g) = -16*g**3 - 2*g**2 + 2*g + 5. Let r(j) = -4*a(j) + 9*c(j). Does 6 divide r(-1)?
False
Let z = 9 - -21. Let r = -15 + z. Is r a multiple of 9?
False
Suppose -5*b + u + 22 = 5*u, 4*b - 5*u - 34 = 0. Let w = b - -8. Does 14 divide w?
True
Let x be (-1)/((-2)/42) + 0. Let v be (-6)/x + (-37)/(-7). Let m = v + 13. Is 9 a factor of m?
True
Let m(r) = -2*r + 11. Let a be m(9). Let z = -2 - a. Suppose -67 = -z*o - 3*s, 2*s - 68 = o - 6*o. Is o a multiple of 7?
True
Let b(q) = -15*q**2 + 8. Let c(l) = 14*l**2 - 7. Let x(i) = 5*b(i) + 6*c(i). Is x(2) a multiple of 17?
True
Suppose 192 = 4*o - 80. Is o a multiple of 24?
False
Suppose s - 119 = -4*k, -2*s - 3*k + 183 = -6*k. Is 9 a factor of s?
True
Suppose 3*z - 5*h - 144 = -37, -5*h = -5*z + 195. Is 11 a factor of z?
True
Suppose -3*z - 123 = -0*z. Let k = -21 - z. Suppose -4*g + k = 0, 3*g - 36 = -4*c + 23. Is 11 a factor of c?
True
Let x = -8 - -25. Does 4 divide x?
False
Suppose -2 = -s + 1. Suppose 6 = s*n - 3. Is n a multiple of 3?
True
Suppose -5 = -4*k + 11. Let v = 1 + k. Suppose -2*p + v*p - 114 = 0. Does 19 divide p?
True
Let l = 5 + -3. Suppose -4*t + 68 = -l*t. Does 13 divide t?
False
Suppose 2*r = -5*c - 18, -r - c + 2 = -2*r. Does 11 divide r/(0 + 6/(-33))?
True
Suppose 2*h - h - 78 = 0. Suppose 0 = -5*i + 3*n - h, -5*n = -i - 3 + 5. Does 13 divide 10/45 - 248/i?
False
Let t be (-5 - -4) + 0 + 21. Let r = 65 + t. Suppose 9 = 4*d + 3*f - r, 0 = -4*d - 4*f + 96. Is d a multiple of 8?
False
Let a = 3 + -3. Suppose a*f + 12 = f. Is f a multiple of 4?
True
Let f(a) be the first derivative of a**3/3 + 2*a**2 - 2*a - 2. Let y be f(-5). Suppose 0 = -x - y*x + 64. Is x a multiple of 8?
True
Suppose 2*h + h - 15 = 0. Suppose -4*r + 88 = 7*k - 3*k, -h*k + 92 = -4*r. Does 5 divide k?
True
Let r = 536 + -329. Does 23 divide r?
True
Let v(d) = 15*d - 5. Let b be v(-5). Let u = -27 - b. Does 15 divide u?
False
Suppose -3*b - 5*z - 7 = -26,