, 3*t + 644 = 2*s. Does 29 divide s?
True
Let d(m) = -4*m**2 - 69*m + 4. Is 97 a factor of d(-7)?
True
Suppose 4*x - 32 = -4*o, x - 2*o - 3*o = -16. Let t(i) = -x - 12*i**2 + 2*i**3 + 17*i - i**3 - 11. Is t(11) a multiple of 19?
False
Suppose 3*v - 2*b = 5*v - 10, -10 = -2*v - b. Suppose 2*q - 3*f = -6*f + 555, v*f = -25. Suppose -s + 380 = 2*i + 2*i, 3*i = -2*s + q. Is 20 a factor of i?
False
Let u(w) be the first derivative of w**4/4 - 5*w**3/3 - 3*w**2 + 2*w - 7. Let s be u(6). Suppose -3*h + 100 = -s*h. Is 23 a factor of h?
False
Let q(h) = h + 12. Let u be (-4 - -3)*8 + 0. Let z be q(u). Suppose 171 = z*j + 19. Is j a multiple of 19?
True
Suppose s - 169 = -0*s + 5*p, 0 = 3*s + 2*p - 439. Let m = s - 105. Is m a multiple of 11?
True
Let u(x) = x**3 - x + 3. Let l be u(0). Let i be 71 - (2 - 0 - 3). Suppose l*a - i = -a. Is 9 a factor of a?
True
Let n(p) = p**2 + 15*p + 30. Let z be n(-13). Let r(u) = -6*u - 6. Let f be r(-5). Suppose 3*o = -4*c + 17, -z*o - 4*c + 0*c = -f. Is o a multiple of 7?
True
Let n be (-4 - 18/(-4))*2*-2. Is 12 a factor of (-348 + -2 + 2)/n?
False
Let z = 36 + -32. Suppose 119 = -8*c + 12*c + 5*x, 3*x + 127 = z*c. Is c a multiple of 10?
False
Suppose 44*c - 30294 = -37*c. Does 11 divide c?
True
Let j be 0 - -428 - (4 - 1). Suppose j = 5*g + 5. Suppose 4 = -4*d, -z + g = -d - 0*d. Does 15 divide z?
False
Does 37 divide (12/(-54) - 2596/(-18)) + 0?
False
Let a be ((2 - 0)*-2)/(-2). Suppose -a*f - 2*n = -8, 1 = -3*f + 2*n + 3. Suppose -f*d - 12 = -6*d. Is 2 a factor of d?
False
Let f be 1 - 4 - (-4 + -1). Suppose f*l + 24 = 16. Does 28 divide ((-63)/l)/(3/16)?
True
Suppose 2*q - 48 - 20 = 0. Suppose -615 = -7*l - q. Is l a multiple of 33?
False
Let d(z) = -z**2 - 5*z + 6. Let t be d(-7). Let p be (t/10)/((-14)/1680). Suppose 0 = -5*r + 364 + p. Is 27 a factor of r?
False
Let c = -24 + 28. Suppose -2*t = -c*t + s + 9, 20 = 4*t - 4*s. Is 67 + (6 - t - 1) a multiple of 9?
False
Is 9 a factor of -1107*((-650)/75 + (-7)/(-1))?
True
Suppose 3*s - 4*s + 1 = h, -s + 1 = 2*h. Suppose -4*v - 88 + 296 = h. Is 10 a factor of v?
False
Let l = -162 - -342. Suppose 5*m = 5*i + l, -m = -6*m - i + 192. Does 19 divide m?
True
Does 5 divide 2 + 1 - (-416 - -6 - -2)?
False
Let u(q) = 7*q**2 - q. Let j be u(1). Let c be j + (-2 + 1)*3. Suppose -c*z + s - 4*s + 42 = 0, 2*s + 14 = z. Does 4 divide z?
False
Let b(h) = -h**2 + 10*h - 20. Let f be b(7). Let l = 14 - f. Is l a multiple of 3?
False
Suppose t - 2 = -0. Suppose 0 = t*d + 5 - 41. Is 11 a factor of d - (-1 - -2)*-3?
False
Let l(k) = -12*k + 2 + 4 - 2*k - 8*k + k**2. Let d be l(13). Let g = d - -196. Is g a multiple of 21?
False
Suppose -4*r - 45 + 1861 = 0. Does 16 divide r?
False
Is (-3)/(((-216)/(-400))/(-9)) a multiple of 8?
False
Suppose 5*m + 2*a = 6*m - 44, -2*a = -2*m + 98. Is m a multiple of 4?
False
Let n(d) = -8*d - 8. Let y(a) = -a**3 + a + 7. Let h be y(0). Let c(k) = 7*k + 8. Let b(i) = h*c(i) + 6*n(i). Is 18 a factor of b(14)?
False
Let w(z) = z**2 - 12*z + 6. Let t be w(12). Suppose -t*u = -u - 540. Suppose 0 = -3*s + 6*s - u. Does 6 divide s?
True
Suppose -u = -121 - 157. Let a = -168 + u. Is 22 a factor of a?
True
Let a be ((-45)/(-6))/((-1)/(-10)). Suppose 0*h - 3*h = -a. Is 20 a factor of h?
False
Let i = 27 + 58. Is i a multiple of 2?
False
Suppose 0*o = -3*z - 4*o - 47, -5*o = -5. Let t = z + 38. Is 12 a factor of t?
False
Suppose q - 6 = 4*q. Let m be q/6*(1 + -130). Let a = m - 30. Is 13 a factor of a?
True
Does 11 divide 16833/5 + 273/(-455)?
True
Suppose -2*q - 13 + 3 = 5*y, 3*y = -5*q - 25. Let i(v) = -3*v + 3. Let h be i(q). Is 19 a factor of (-196)/(-10) - h/30?
True
Let f(g) = 7*g - 10. Is f(15) a multiple of 34?
False
Suppose 4 = 2*b - b. Suppose -b*d = 4*n - 5*d - 365, n = 2*d + 93. Suppose -169 = -5*g + n. Does 22 divide g?
False
Let g = 30 + 42. Let b = g + -44. Does 12 divide b?
False
Let y(u) = 2*u**3 + 2*u**2 - 2*u - 6. Let s(p) = p**3 + 2*p**2 - 2*p - 7. Let k(d) = 2*s(d) - 3*y(d). Does 22 divide k(-3)?
True
Suppose -3353 = -5*x - r, 3*x = -0*x - 5*r + 2003. Is x a multiple of 16?
False
Let g(b) = -53*b - 3. Let p be g(-2). Let t = -4 + p. Is t a multiple of 12?
False
Let h be (-2)/15 - (-535)/75. Suppose -3*l = -h*l + 32. Is l/6*(-228)/(-8) a multiple of 19?
True
Suppose -2*d = 2*d - 10880. Suppose -12*i - d = -32*i. Does 45 divide i?
False
Suppose 0 = 3*h + 25 + 5. Let l be 12/15*(-75)/h. Let n(j) = 10*j - 6. Does 18 divide n(l)?
True
Suppose -4*a = -4*b + 428, 4*a + 0*b + b = -418. Let x = -42 - a. Suppose -x - 169 = -4*d. Is d a multiple of 19?
False
Is ((-111320)/(-35))/4 - 7/49 a multiple of 53?
True
Suppose 4*t - 1520 = 4*d, 0 = 5*t + 2*d + 989 - 2875. Suppose 2*l + t = 4*l. Is 9 a factor of l?
True
Does 4 divide (-5)/(-30) + (-2319)/(-18)?
False
Suppose -g = -0*g. Let h be (g/(1 - -1))/3. Suppose h = 5*k - 2*v - 66, -7*k + 58 = -3*k + v. Is k a multiple of 14?
True
Suppose 0 = -4*w - 2*f - 0*f, 3*f - 5 = -w. Let a = 3 + w. Suppose 2*m - i = i + 66, -4*m + a*i = -122. Does 16 divide m?
False
Let q(g) = 9*g**2 - 45*g + 106. Is 25 a factor of q(16)?
False
Suppose -q - 3*t = 4*q - 7315, -1486 = -q + 4*t. Is q a multiple of 7?
False
Let x(z) = z**3 + 4*z**2 - 7*z + 2. Let q be x(-4). Suppose -2*y - q - 113 = c, -2*c + y = 296. Let u = -87 - c. Is 15 a factor of u?
True
Let d be (-1)/(-2) + 4/(-8). Let r be (-3 + d)/((-21)/35). Suppose -5*q + r*c + 120 = 0, -c = 2*q - 6*c - 42. Is 5 a factor of q?
False
Let b be (-10)/4*(-1 + 13). Suppose 3*s = 31 - 10. Is (b + 2)*(s + -8) a multiple of 28?
True
Is (3 + 1)*618/6 a multiple of 11?
False
Suppose 0 = -8*h - 2*h + 1840. Does 46 divide h?
True
Let k be (-1)/((-5)/10) - -1. Suppose -30 = -k*y + 144. Is 8 a factor of y?
False
Let w(o) = 3*o - 15. Let q be w(9). Is 2 + 306/q - (-2)/4 a multiple of 4?
True
Suppose 7*r - 527 = 47. Is 3 a factor of r?
False
Let d be (-16)/3 + 8/6. Let k be 2/(-8) - 53/d. Let b = 54 - k. Is 18 a factor of b?
False
Suppose -3*x + j + 8 = -2*x, -2*x = 3*j + 9. Suppose -x*z = -z - 860. Is 24/84 + z/14 a multiple of 12?
False
Suppose 6*w = 7*w - 44. Suppose -w = -s - 2. Does 6 divide s?
True
Let x(i) = -i**2 + 22*i - 9. Let p be x(16). Suppose 2*q + 5*h - p - 195 = 0, -4*h = 4*q - 540. Does 16 divide q?
False
Suppose -3*g + 8*g = 4*n + 329, -3*g + 195 = -3*n. Let j = -40 + g. Does 15 divide j?
False
Let q(g) = -g**2 - 45*g + 21. Is q(-23) a multiple of 15?
False
Let u be 28/10 + 10/50. Let w(y) = 13*y + 4. Does 8 divide w(u)?
False
Is 551648/672 - (-2)/21 a multiple of 82?
False
Is 16 a factor of 4/(-22) - 215064/(-319)?
False
Let g(m) = -20*m**2 - 15*m + 29. Let q(y) = -7*y**2 - 5*y + 10. Let p(x) = -6*g(x) + 17*q(x). Is p(-8) a multiple of 5?
True
Suppose 3*z - 593 - 343 = 0. Is z a multiple of 23?
False
Let m = 45 + -39. Suppose 0 = -5*o - 5*z + 585, m*z - 2*z = o - 97. Does 10 divide o?
False
Suppose 0 = 5*v - 27 + 7. Suppose -2*j - v*l = l - 217, 4*j + 2*l - 394 = 0. Is j a multiple of 16?
True
Suppose -17*v + 15*v - 72 = 0. Does 32 divide (4/(v/(-93)))/((-3)/(-27))?
False
Suppose -2*g + 2*s - 84 = 0, -3*s = -5*g - 10 - 200. Does 35 divide (-7364)/g - (-2)/(-6)?
True
Let t be 3/5 - (-22)/5. Let j = t + 3. Does 2 divide j?
True
Let h = -3 + -6. Let c = 3 - h. Suppose 3*p = 33 + c. Is p a multiple of 5?
True
Let h(w) = -31*w + 7. Does 20 divide h(-43)?
True
Let z = -236 - -1051. Let l = -551 + z. Does 12 divide l?
True
Suppose -1236*x = -1249*x + 18720. Is 30 a factor of x?
True
Let m(c) = c + 6. Let g be m(-8). Suppose 5*h - 17 = s, 6*s + 68 = 2*s + 4*h. Let p = g - s. Is 7 a factor of p?
False
Let y(t) = -3*t**2 - 5*t**2 - t**2 + 2*t**2 - 5. Let b be y(-3). Let s = b - -116. Is s a multiple of 16?
True
Let c(x) = 3*x**2 + 7*x + 4. Suppose -3*y + 6*s - 2*s + 60 = 0, 105 = 5*y - 5*s. Let g = -29 + y. Is 12 a factor of c(g)?
False
Let r(l) = 3*l + 6. Let h be r(-9). Is 30 + h + (2 - (-2 + 3)) even?
True
Let v(j) = -49*j + 35. Is v(-5) a multiple of 28?
True
Let l(s) = 6*s + 1. Let n be l(-3). Let j = n - -123. Does 17 divide j?
False
Suppose -10*u - 197 = -207. Suppose -5 - 5 = 2*i. Is 2 a factor of -2*(-8 - (i + u))?
True
Let n(o) = 79*o - 1. Let s be n(3). Let p = -142 + s. Is 11 a factor of p?
False
Suppose -8*x - 13 = -109. Suppose 0 = z - 4*g - x - 108, -z = -5*g -