+ 4 = 4*j, -4*t + 5*j + 97 = 0. Let v = -1 + t. Is v a multiple of 16?
False
Let t(i) = -11*i. Let f be t(1). Is (-5 - f)*(-10)/(-12) a multiple of 5?
True
Suppose 4*l + r = 116, -3*l + 4*r + 29 = -2*l. Suppose 0 = -c + 114 - l. Is 27 a factor of c?
False
Suppose 1 = -4*t - u, 5*t + 4*u + 4 = -0. Is (24/3)/(t - -2) a multiple of 2?
True
Let i = -4 + 82. Let n = i - 25. Suppose -5*f = -97 - n. Is 9 a factor of f?
False
Let z = -12 + 20. Is z a multiple of 8?
True
Let x be -2 + -1 + 1 + 1. Let h be (3 + x + -4)/(-2). Is 11 a factor of (h + 10)*(2 - 1)?
True
Let p(w) = w**3 + 4*w**2 + 2*w + 1. Let x be p(-3). Suppose 63 = d - x*d. Does 7 divide (1 - d)/(4/2)?
False
Let h be (6/4)/((-16)/544). Suppose u - 13 + 84 = 0. Let k = h - u. Is 10 a factor of k?
True
Let y be (-18)/(-12)*(-2)/(-3). Let p = y - -61. Does 24 divide p?
False
Suppose -4*r = -174 - 58. Let c = r + -7. Does 17 divide c?
True
Suppose -5*u + 14 = -11. Suppose -2*s = 3*i - 26, u*i + s = 2*s + 26. Does 4 divide i?
False
Let x = 93 + -33. Is x a multiple of 18?
False
Let t = 12 - 5. Does 2 divide t?
False
Suppose -85 = 3*y - 5*l, 3*l - 2*l - 66 = 2*y. Let z = y + 89. Is z a multiple of 27?
True
Suppose -5*h - j = 120, 0*h = -h + 2*j - 35. Does 19 divide (62/5)/((-5)/h)?
False
Let u be (1 + -2 - -2)*8. Suppose -u = -0*v - v. Is v a multiple of 5?
False
Suppose 47 = 3*i + i + 3*s, i = 2*s - 2. Is 8 a factor of i?
True
Let s be -1 + -3 + 2 - -6. Suppose -5*q + 27 = h, 5*h - 21 - 30 = -s*q. Does 2 divide h?
False
Let j be (4 - 4)*(-2)/(-4). Suppose d + 3*d - 56 = j. Let q = d - 4. Is q a multiple of 10?
True
Let x be -3 - -2*5/2. Suppose 114 = 2*g + 2*g - x*o, -4*g - 2*o + 126 = 0. Is g a multiple of 18?
False
Let j(p) = -3*p + 17. Does 19 divide j(-7)?
True
Suppose 0*w - 2002 = -14*w. Does 11 divide w?
True
Suppose -3*f + 4*s = -528, f + s - 147 = 36. Is 23 a factor of f?
False
Let k = -56 - -91. Is k a multiple of 3?
False
Let r = -15 + 22. Let p be (-2)/r - 1054/(-14). Suppose 5*s - m - p = 4*m, 2*m = 0. Is s a multiple of 8?
False
Let y = 81 + 87. Does 12 divide y?
True
Let x be 2*1*(1 - 2). Is 3 a factor of (x/(-1))/((-12)/(-18))?
True
Let u(v) = 5*v - 7. Suppose -6 = 3*d - 9. Let w be (-5)/(-10)*(d + 21). Is u(w) a multiple of 16?
True
Suppose -78 = -2*j - 0*j. Is 10 a factor of -2 - -2*j/2?
False
Let n = 7 + -2. Is n even?
False
Suppose 0 = -5*u + 12 + 13. Suppose 0 = -4*a + 4*f + 64, 0 = -4*a + u*f + 60 + 8. Does 7 divide a?
False
Let u(y) = -3*y + 5. Let k be u(-10). Let d = k + -3. Does 13 divide d?
False
Is ((-5)/10 - 2)*-2 a multiple of 4?
False
Let x be (28/(-21))/(2/(-3)). Suppose -2*i + 4 = x*s, 4*s + 5*i = -0*i + 9. Suppose 0 = -u + s + 40. Does 17 divide u?
False
Suppose -4 = d - 2*d. Suppose -2*n - 80 = -0*v - 5*v, -v + d*n + 34 = 0. Suppose c - v = 24. Is c a multiple of 19?
True
Let n(g) = 6*g + g**2 + 10*g - 7*g - 10. Let v be n(-10). Suppose 0 = -3*f - v*f + 57. Does 10 divide f?
False
Suppose 131 = -3*y + 5*q, y - 2*q = 2*q - 46. Let d = 87 + y. Is d a multiple of 12?
False
Let j = -21 - -1. Let q be (-5)/j - 11/(-4). Suppose q*g = 5*g - 18. Does 5 divide g?
False
Suppose 3*y = 5*b + 5, -2 - 2 = 4*b - 3*y. Let q(w) = -34*w**3 + 2*w + 1. Is q(b) a multiple of 11?
True
Suppose 3*d - 4 = 2*d. Let w be (-1)/4 + 33/d. Is (6/(-5))/(w/(-20)) a multiple of 2?
False
Suppose 3*h - 177 = -0*h. Does 14 divide h?
False
Let q(w) be the second derivative of 5/6*w**4 - 3/2*w**3 + 0 - 1/20*w**5 - 2*w**2 - 4*w. Is 29 a factor of q(7)?
False
Does 11 divide ((-3)/(27/(-138)))/(10/30)?
False
Let v(k) = 59*k**2 + 2*k - 2. Let g be v(-2). Suppose 28 = 3*w - g. Is w a multiple of 22?
False
Suppose -4*f + 42 = -3*b + 134, -4*b = 5*f - 164. Is 7 a factor of b?
False
Let k be (-16)/40 - (-484)/10. Suppose -3*w = w - k. Is w a multiple of 4?
True
Let w = -3 - -3. Suppose 5*l + 27 - 147 = w. Does 12 divide l?
True
Let b(g) = -2*g - 2. Let c be b(-2). Suppose 2*u - 2*z = 176, -7*u = -c*u + 3*z - 416. Is u a multiple of 30?
False
Suppose -k - 4*k = f - 75, 4*k - 49 = -3*f. Is 12 a factor of k?
False
Suppose 71 = q - 18. Does 15 divide q?
False
Suppose 4*p = 3*p - 94. Let s = -46 - p. Does 12 divide s?
True
Suppose 0 = a - 0*a + 20. Let s = -11 - a. Does 3 divide s?
True
Let n(r) = -r**3 - 8*r**2 + 7*r + 11. Is n(-9) even?
False
Let l = 123 - 71. Suppose 3*t - t = l. Let i = t - -12. Does 11 divide i?
False
Let f = 5 - 7. Suppose -4*v = v + 4*n + 65, 3*v + 2*n + 37 = 0. Is 13 a factor of (-238)/(-18) - f/v?
True
Suppose -3*c + 103 = -47. Does 27 divide c?
False
Let r = -2 - -6. Suppose -3*m + x = -20, r*m - 9 = -2*x + 1. Is 5 a factor of m?
True
Let v be ((-19)/2 - 3)*2. Let c = -10 - v. Is 8 a factor of 10/(-3)*(-36)/c?
True
Let v = 14 - 6. Let h(t) = t - 4. Let l be h(v). Suppose l*k - 4 = 12. Does 4 divide k?
True
Let m be (-14)/21 + (-50)/(-3). Is -4*28/m*-1 a multiple of 2?
False
Suppose -3*j + 3*r = 6, j + 3*r - 7*r = -14. Suppose -5*g + j*g = -3*n, -g - 4 = -2*n. Suppose -45 = -g*x + 47. Is x a multiple of 23?
True
Suppose -128 = -5*v + 3*i, -5*v = -3*v - 4*i - 40. Does 12 divide v?
False
Let k(m) = -m**3 - 3*m**2 - 4*m - 2. Let y be k(-2). Let j(n) = 0 - 6 + n**3 + 0*n + y*n + 6*n**2. Does 4 divide j(-5)?
False
Suppose 3*m - 1 = 2. Does 9 divide 21 - -3 - (-2)/m?
False
Let p(i) = i**2 - 8*i + 6. Is p(-9) a multiple of 28?
False
Does 15 divide 1206/24 - (-3)/4?
False
Suppose 5*r = -5*p - 25, -5*r - 2*p - 9 = 1. Suppose 3*k - 8*k + 175 = r. Is 8 a factor of k?
False
Suppose -q = -4*y + 374 + 141, 0 = y + q - 125. Is 17 a factor of y?
False
Let m = -162 + 331. Does 13 divide m?
True
Let l(c) = -c**2 + 21*c - 30. Is 13 a factor of l(9)?
True
Let t be (-5)/(3 - (-86)/(-28)). Let v = -28 + t. Does 15 divide v?
False
Suppose 3*p = 4*p + 6. Let d be (1 + 0)/((-2)/p). Suppose -d*g - 12 = -7*g. Is 3 a factor of g?
True
Let z(q) = -q**2 + 10*q - 1. Let b be z(10). Suppose -3*w - w + 5*k - 4 = 0, 0 = -3*k. Is 6 a factor of (b/w)/((-5)/(-75))?
False
Let t be 5 + -2 + 1/(-1). Let r(s) = -2*s**2. Let i be r(t). Let c = i - -28. Is c a multiple of 9?
False
Suppose -46*q = -48*q + 246. Is 25 a factor of q?
False
Let d be 3/(-9) + 32/6. Suppose 0 = 3*h + 4*k - 27, 4*h + 0*h - d = 5*k. Suppose -4*y = -3*q + 11 + 51, h*y + 46 = 2*q. Does 9 divide q?
True
Suppose c - 5*a + 18 = 0, 4*a - 5 - 3 = 4*c. Suppose -c*g + 255 = 5*v + g, -3*v - 4*g = -142. Is 12 a factor of v?
False
Let t(y) be the first derivative of 0*y + 0*y**2 - 2*y**3 - 1/2*y**4 + 2. Is 11 a factor of t(-4)?
False
Let u be (-1)/(3/(-78)) + 0. Let x = u + -20. Is 3 a factor of x?
True
Suppose -66 = -4*i + 126. Let h = -25 + i. Does 7 divide h?
False
Let l(w) = -w**2 - 10*w - 9. Let i be l(-7). Suppose 0 = 2*d - 3*d + i. Is 10 a factor of d?
False
Let d(z) = 2*z**2 + 4*z - 1. Does 7 divide d(-5)?
False
Let z = 25 + 17. Is z a multiple of 14?
True
Suppose -6*i + 405 = -i. Is 4 a factor of i?
False
Let j(g) = g**3 - 5*g**2 + g - 7. Let q be j(5). Let d be (2 - q) + 0 + 0. Let a(f) = 10*f - 4. Does 13 divide a(d)?
False
Let p = -62 + 158. Let z = p - 140. Let y = z - -113. Is 20 a factor of y?
False
Is 17 a factor of (13 + -12)*107/1?
False
Let s(m) = m + 3. Let g be s(-3). Suppose 0 = -g*c - 4*c + 104. Let k = c + -3. Is 10 a factor of k?
False
Suppose 0 = a + 1, -3*z + 36 = -a - 79. Suppose -5*t - 3*f + z = 0, 4*t + 4*f - 10 = 22. Is 7 a factor of t?
True
Suppose 3*s = -14 + 41. Let j = 8 + s. Is j a multiple of 17?
True
Let g be 0 + (0 - -14)*1. Suppose -3 = k - g. Is k a multiple of 9?
False
Let z be 74/12 + (-6)/36. Suppose 4*f + 2*o - 66 = 0, 3*f - z*o = -2*o + 66. Is f a multiple of 18?
True
Let h be 2/(-6) - 20/(-6). Suppose r - h*r + 56 = 0. Is 13 a factor of r?
False
Does 9 divide ((-28)/21)/(1*(-2)/144)?
False
Let x be (-9)/12 - (-298)/(-8). Let q = x - -75. Does 14 divide q?
False
Suppose 3*s + 756 = 12*s. Does 11 divide s?
False
Let i = -46 + 68. Suppose -w + i = -34. Is w a multiple of 17?
False
Let l(y) = y**3 - 5*y**2 + y - 6. Let k be l(5). Let f = 3 + k. Suppose f*a - 41 = -3*u, a + 11 = u - 6. Is u a multiple of 12?
False
Let w be -4*((-1 - 1) + -4). Suppose w = 4*s + 3*l, l + 3 = -1. Is s a multiple of 2?
False
Let h be (-14)/21 - (-5)/3. Let b = h - -4. Suppose -4*l - 2 = -b*l. Is 2 a factor of l?
True
Suppose 2*v - 15 + 5 = 