 k a multiple of 21?
True
Is (-1450)/(-25) + -1 + 1 a multiple of 29?
True
Suppose 6*c + 132 = 10*c. Suppose -t = -0*t - c. Is 33 a factor of t?
True
Suppose -5*j - 4 = -j. Let l = j - -1. Suppose -3*g + 3 + 12 = l. Is g even?
False
Suppose -2*h = 2*h - 64. Suppose -5*v - 3*m + h = -v, -2*v + 3*m + 8 = 0. Suppose 142 - 22 = v*p. Is p a multiple of 11?
False
Let k = -8 + 57. Suppose -v + 3*h + 17 = 0, 0*h + h + k = 2*v. Is v a multiple of 13?
True
Is 47 a factor of (2/3*-3)/(2/(-47))?
True
Is 2 a factor of 58/5 - (-2)/5?
True
Let a be (0 - 1) + 0 + 0. Let d(q) = -12*q**3 - q**2. Let m be d(a). Let f = m + 17. Is 14 a factor of f?
True
Let q be 12*(-1 + 147/9). Suppose 0 = -3*p + 5*r - r - 145, -4*r - q = 4*p. Let f = -19 - p. Is 14 a factor of f?
True
Suppose -3*i = -b - 1560, -1040 = -2*i - 3*b - b. Suppose 5*s = 3*q - 380, -2*s - i = -4*q + 2*s. Let z = -84 + q. Is z a multiple of 13?
False
Suppose 4*n - 32 = -p, -2*p = p - 2*n - 68. Does 6 divide p?
True
Let p = 16 + -6. Is p/(-4)*(-164)/10 a multiple of 16?
False
Let x(y) = 4*y**2 - y + 1. Let p be x(1). Suppose -5*w - 23 = -3*r - 1, 5*w = -p*r - 29. Is 4 a factor of 1*w/((-5)/4)?
True
Suppose 69 = 7*m - 1163. Does 11 divide m?
True
Suppose 6 = -5*p + 31. Suppose p*y = 2*y + 2*q + 5, -4*y = 5*q - 45. Is y a multiple of 2?
False
Suppose -2*y = -2 - 0. Suppose 5*i + 205 = 5*j, -y = 5*j - 2*i - 221. Suppose j = 3*l - 8. Does 9 divide l?
True
Let r be (-1 + 16)/(-1) + 0. Let g = 34 + r. Is g a multiple of 19?
True
Does 12 divide (-5160)/(-135) - (-2)/(-9)?
False
Let j(k) = -7*k**2 + k - 2. Let z be j(-2). Let g = 56 + z. Suppose 0 = -0*s + s - g. Does 12 divide s?
True
Let n(v) = -3*v**3 + v**2 - 2*v. Let h be n(3). Is 6 a factor of (-2640)/h + (-6)/(-39)?
False
Suppose 3*b - 231 = 4*u, u - 2*u = 4*b - 308. Does 11 divide b?
True
Let k(b) = b + 1. Let q be k(5). Let n(c) = c - 1. Does 5 divide n(q)?
True
Suppose 0 = -5*l - 67 + 412. Does 23 divide l*(1/(-3) - -1)?
True
Suppose 0*z = -4*z + 12. Suppose z = 2*c - 1. Does 2 divide c?
True
Let s = -24 - -36. Does 15 divide s*(-2)/16*-18?
False
Let u(g) = 165*g**3 + 3*g**2 - 2*g + 1. Let o be u(2). Let w = 2624 - o. Is 11 a factor of (-4)/(-22) - w/(-77)?
False
Suppose -r + 2*r = -3*c - 1, -2*c = -2*r + 14. Suppose 0*z + 2*z = -10, 3*z = r*h - 85. Is 10 a factor of h?
False
Let l(q) = -12*q - 18. Is l(-4) a multiple of 2?
True
Let b be (-6)/2 + 16/2. Let c = b + 21. Suppose 2*y + c = 4*y. Is 13 a factor of y?
True
Let s(p) = p + 17. Let t be (-5)/(-4)*(-4 - 0). Is s(t) a multiple of 11?
False
Suppose 0*v + 11*v = 1815. Does 24 divide v?
False
Suppose 4*q = -3 + 23. Let y(v) = -3*v**3 + v**2 - 12*v + 5. Let u(o) = 4*o**3 - 2*o**2 + 18*o - 8. Let f(w) = q*u(w) + 7*y(w). Does 15 divide f(-5)?
True
Suppose -7*r = -2*p - 2*r - 31, 5*p + 49 = 3*r. Let h = -3 - p. Suppose h*q + 3*w - w = 53, 2*w + 2 = 0. Is q a multiple of 11?
True
Suppose u = -3*v + 4, -3*u = -2*v + u - 2. Is 17 a factor of 3*v*(-34)/(-3)?
True
Suppose 5*q + 2*y = 3*y + 52, 15 = 5*y. Suppose -22 = -3*c + q. Does 11 divide c?
True
Suppose 0 = -2*o - 4, -1 + 3 = 3*z - o. Let g = 15 + z. Is g a multiple of 10?
False
Let v(g) = -52*g**2 + 2*g + 3. Let l be v(-2). Let u = -405 - l. Is (-4)/(-6) - u/12 a multiple of 17?
True
Let q = 5 - 3. Let r = 6 - q. Suppose -3*s = -9, n + r*s - 40 = -0*n. Does 13 divide n?
False
Let v = -67 + 113. Does 23 divide v?
True
Let z(u) = -u**2 + 7*u - 4. Let w be z(6). Suppose 3*y + y = -5*m - 5, 0 = 4*y - w*m - 30. Is y a multiple of 2?
False
Let o = -12 - -4. Let q(i) = -i + 28. Let v be q(14). Let x = o + v. Is x a multiple of 6?
True
Let w = 731 + -476. Is w a multiple of 11?
False
Suppose 6*m = m + 905. Is m a multiple of 23?
False
Let s = 291 - 151. Is 35 a factor of s?
True
Let w(f) = -f**2 - 6*f + 4. Let m be w(-6). Suppose 5*o + 3*h - 44 = 61, -m*o + 77 = h. Is o a multiple of 18?
True
Suppose -2*w + 140 = 2*w. Does 7 divide w?
True
Let s(q) = -4*q**2 + 3*q + 2*q - 4*q + 78*q**2. Does 29 divide s(-1)?
False
Suppose p = 6*p - 2*o - 698, 4*p - 3*o - 564 = 0. Does 10 divide 6/21 - p/(-7)?
True
Suppose -m + 306 = -2*c, 4*m - 306 = 3*m - 3*c. Is m a multiple of 17?
True
Suppose 2 = 5*o - 3*h - 1, -3*o + h + 1 = 0. Let c be (0/(-4))/(o - 1). Suppose g + c*g - 7 = 0. Is 5 a factor of g?
False
Let m(z) = -z + 8. Let r be m(8). Suppose r = -5*u + 20 + 10. Does 3 divide u?
True
Suppose 8*z - 630 = 3*z. Suppose -3*l + z = 4*v, 6*v + 2*l - 154 = v. Does 15 divide v?
True
Suppose -o + 22 = 4. Is o a multiple of 3?
True
Suppose -s + 109 = -u - u, 0 = -3*u - 3*s - 186. Let y = -135 - -217. Let h = u + y. Is h a multiple of 10?
False
Is ((-5)/3 + 2)*(-4 + 151) a multiple of 7?
True
Let g be 3*(-764)/(-12) + -1. Suppose 3*b - g = -5*p, -126 + 12 = -3*p + 3*b. Is p a multiple of 16?
False
Suppose 3*w + 5*f - 217 = 0, 6*w + 3*f - 143 = 4*w. Is w a multiple of 8?
True
Let z = 31 - 4. Does 27 divide z?
True
Let v = -16 + 10. Let f be 8/6 + (-4)/v. Is 12 a factor of f*(1 - 2) - -26?
True
Let l = -14 + 7. Let z = 2 - l. Does 2 divide z?
False
Is (4 + 138/12)/((-2)/(-4)) a multiple of 10?
False
Suppose -5*d + 89 = 4. Is d a multiple of 7?
False
Let b be 2/1 - (7 - 6). Is 15 a factor of -4 - -2 - (-52)/b?
False
Let v(h) = h**3 - 2*h**2 - h - 1. Is v(3) a multiple of 3?
False
Let n be ((-6)/4)/((-3)/20). Suppose 10 + n = 5*i. Suppose 0*c + 3*c = -3*s + 48, 5*c - 84 = -i*s. Does 10 divide c?
True
Let u = 136 - 66. Does 10 divide u?
True
Let b(s) be the first derivative of 6*s**2 + s - 4. Does 21 divide b(5)?
False
Suppose 0 = 2*k + 2*k. Suppose k = -3*o + 4*o - 5, 235 = 5*q - o. Is q a multiple of 16?
True
Let u = -95 - -42. Let b = -20 - u. Does 10 divide b?
False
Let a be 24/10*(-3 + 13). Suppose g + 2*u = u + 9, 4*u + a = 2*g. Is 3 a factor of g?
False
Suppose 3*v - 133 - 2 = 0. Does 15 divide v?
True
Suppose -7*j + 2*j + 30 = 0. Suppose -j*q + q = -170. Does 13 divide q?
False
Let u be 3/(-1) + 63/9. Suppose u*r = r + 72. Does 8 divide r?
True
Suppose -52 = -5*u - 4*d, -6*u + 5*u = 2*d - 8. Is 4 a factor of u?
True
Let l(d) be the third derivative of 1/3*d**3 + d**2 + 0 + 0*d + 1/30*d**5 + 0*d**4. Is 17 a factor of l(-4)?
True
Suppose 195 = -3*t + 6*t. Does 15 divide t?
False
Let o = -24 + 35. Is o a multiple of 11?
True
Suppose -11*m + 52 = -7*m. Suppose -3*s + m = 1. Does 3 divide s?
False
Let c be 13*(2 + 16/2). Suppose 0 = 4*n + 5*z - c, n - z - 25 = 3. Does 15 divide n?
True
Let p be (-4)/6*6/(-4). Is 1/(3/18*p) a multiple of 5?
False
Let s = -2 - 2. Let y = 30 + s. Let f = -9 + y. Is f a multiple of 17?
True
Suppose -892 = -3*o + 4*m, 4*o + 538 = 5*m + 1729. Does 41 divide o?
False
Suppose 3*i = 33 + 3. Let c be (-1*3 - -2)*-75. Suppose i = 3*z - c. Is 9 a factor of z?
False
Let o be -9*(-3)/9 - -12. Does 25 divide 104*1 - o/(-15)?
False
Suppose -9 = 10*m - 11*m. Does 2 divide m?
False
Suppose y = -4*k + 18, 1 = -5*y - 5*k + 31. Let f = 4 - y. Suppose -m - 52 = -f*q, q - 5*q - 2*m = -104. Is q a multiple of 13?
True
Let z = -18 - -30. Is 7 a factor of z?
False
Suppose -55 = -4*i - 3. Suppose 7*q - 15 = -85. Let n = q + i. Does 3 divide n?
True
Let b(o) = o + 13. Let u be 7/(2 - (-2 + 5)). Is 6 a factor of b(u)?
True
Suppose -2*g - 3*g = 0. Suppose 3*m + g*m = 78. Is m a multiple of 8?
False
Let i be ((-2)/4)/(4/(-80)). Let u = 102 - i. Suppose -3*n - 5*f = -f - u, 0 = 2*n - f - 76. Is 15 a factor of n?
False
Let n(t) = -t**2 + 5*t + 5. Let k be n(5). Suppose 3*i - 82 = k*d, 59 = -3*i + 5*i + d. Does 21 divide i?
False
Suppose -5*b + 13 = 3. Let y be 2/8 - (-638)/8. Suppose -b*j = -18 - y. Is j a multiple of 19?
False
Suppose 6*s + x = s + 183, 2*x + 115 = 3*s. Does 28 divide s?
False
Let z be (21/35)/(1/5). Suppose -3*v + 165 = 4*f, 4*f + 2*v = -z*v + 163. Is f a multiple of 19?
False
Let y(w) = w + 11. Suppose 2*a + 2*a + 8 = 0, -4*g = 3*a - 22. Let v = g + -12. Does 5 divide y(v)?
False
Let h(c) = -c**3 + 2*c**2 + 2*c - 1. Let q be h(2). Is 3/((-9)/(-6)) + q a multiple of 5?
True
Suppose 6 + 9 = 3*m. Suppose -m*p = -60 - 70. Is p a multiple of 13?
True
Suppose -6 = -2*v + 4. Suppose 0 = -3*o - 2*o + 5*i + 65, -v*i + 115 = 5*o. Is 7 a factor of o?
False
Is 4 a factor of 18*(-4)/(-18)*3?
True
Suppose 10 - 4 = 3*z. Suppose -8 = z*x - 28. Is 5 a factor of x?
True
Supp