5 + -434. Is 37 a factor of p?
False
Suppose 2*s + 0*s + a - 3 = 0, 5*a = -5. Let j be 2*s*(-1)/(-4). Let x = j - -8. Does 3 divide x?
True
Suppose 3*i = 5*h + 2920, -3202 + 278 = -3*i + 4*h. Is i a multiple of 28?
True
Let w(n) = 26*n + 6 + 1 + 5. Let c be w(7). Suppose 0 = 5*t - c - 66. Is 13 a factor of t?
True
Let d(g) = g**3 - 24*g**2 + g - 10. Let a be d(24). Suppose -56 = -15*k + a*k. Is 14 a factor of k?
True
Suppose -2*i = -4*u + 4 - 0, 0 = 5*i + 3*u + 75. Let f be (-3)/2*(-2800)/i. Is 3/24 - f/16 a multiple of 18?
False
Let m be (-2 + 34 + -2)/1. Let h be 3 + (1 - -5)/(-2). Suppose h = 3*c - c - m. Is c a multiple of 15?
True
Suppose -3*j = 5*y + 39, -4*y + 8*y = 0. Let w = 35 - j. Is w a multiple of 4?
True
Let d be (-8 - -13) + (-1 - -1). Let g(j) = -j**3 + 11*j**2 - j - 1. Does 16 divide g(d)?
True
Let a(s) = -10*s + 393. Does 55 divide a(22)?
False
Suppose 0 = 3*y - 11601 + 4176. Does 33 divide y?
True
Suppose 14*z = 13*z. Suppose r + 2*w - 36 = 0, 3*r - 4*w = -z*w + 108. Does 12 divide r?
True
Let k = -86 - -91. Suppose -k*n + 1199 = 99. Is 44 a factor of n?
True
Let k = 127 - 265. Let z = 44 - 119. Let l = z - k. Does 21 divide l?
True
Let m = 104 + -102. Suppose -m*v - v + 2*a = -85, v - 25 = -a. Is 4 a factor of v?
False
Suppose 5*s - 395 = -5*y, 0 = 5*s - s + 2*y - 320. Is 15 a factor of s?
False
Let l(t) = t**3 - 4*t**2 - 10*t + 20. Is 4 a factor of l(6)?
True
Let a(f) = -89*f**3 - 2*f**2. Is 5 a factor of a(-2)?
False
Let l(m) = m**3 - 37*m**2 + 135*m + 34. Is 7 a factor of l(33)?
True
Suppose 0 = -v + 23 - 2. Let o be v/(-14)*2/3. Is 72 + o + (-18)/6 a multiple of 21?
False
Suppose -3*p + 177 = -174. Let v = 130 - p. Is 13 a factor of v?
True
Is (0 - 105/(-14))/(1/202) a multiple of 101?
True
Suppose 5*u - 15 = -0. Suppose u*i = -i. Suppose 3*w - 27 = 5*q, -2*w + 2*q + 0*q + 22 = i. Is 14 a factor of w?
True
Let h(y) = -550*y + 1. Let s be h(-1). Let b = s + -339. Is 21 a factor of b?
False
Suppose 136*i - 129*i = 126. Let f = -2 - -4. Let v = i - f. Is 8 a factor of v?
True
Let l(d) = -208*d - 4. Let a be l(-1). Suppose 116 = 4*c - a. Is c a multiple of 9?
False
Let g(a) = 133*a**2 - 12*a + 11. Does 6 divide g(1)?
True
Let y(i) = 3*i**3 - i**2 + 2*i - 4. Let c be y(2). Let o = c - -15. Suppose 0 = f - 3*p - 39, -5*p + o = 2*f - 54. Is 14 a factor of f?
True
Suppose 145 = 15*h - 185. Is 8 a factor of h?
False
Suppose w = -3*w - 5*r + 1995, -w + 501 = -r. Suppose -13*s - w = -18*s. Is s a multiple of 12?
False
Suppose 2*y - 43 = -5*u, 6*y + 5*u + 13 = 8*y. Is 11 a factor of y?
False
Let o(q) = -q**3 - 8*q**2 - q - 8. Suppose 4*u - 5*f + 12 = 0, -6*u - 40 = -2*u + 2*f. Let z be o(u). Suppose 5*x - 42 - 13 = z. Is 7 a factor of x?
False
Suppose -52*z = -54*z + 1380. Is 5 a factor of z?
True
Let o be ((-5)/15)/((-3)/9). Let j(w) = 169*w**3 + 2*w**2 - 1. Does 14 divide j(o)?
False
Suppose -r + 5 = 1. Suppose 0 = 4*v + r - 16. Suppose x + v*x - 64 = -5*u, 0 = u - 3*x - 9. Is 4 a factor of u?
True
Let f(i) = -4*i. Let o = 12 - 19. Let l = 6 + o. Is f(l) a multiple of 2?
True
Suppose -3*s + 10 = -5*t + 2, -s + 2 = -t. Let i = 9 + s. Is 4 a factor of i?
False
Let v(l) = -127*l - 75. Is v(-5) a multiple of 10?
True
Let m(r) = r**3 - 8*r**2 + 7*r + 8. Let x be m(7). Let y = -52 - -105. Suppose -x + y = k. Is k a multiple of 12?
False
Suppose -1157 = 33*k - 37*k - 3*o, 2*o = -2. Does 10 divide k?
True
Let d = -867 + 1242. Is 17 a factor of d?
False
Suppose 3*i + r + 2 = 5*r, -12 = -2*i - 4*r. Suppose -5*c - 5*d + 1190 = 0, i*c + 5*d - 333 = 158. Is 10 a factor of c?
False
Is 35 a factor of 14/(-63) + -1*(-19336)/18?
False
Let r = -367 + 911. Does 34 divide r?
True
Let o(v) be the third derivative of -v**5/30 + 5*v**4/24 + 5*v**3/3 - 4*v**2. Let g be o(5). Does 17 divide (-17)/((g/25)/3)?
True
Suppose -5*h + 1335 = -2*h + 3*y, -5*h + 2210 = 2*y. Is h a multiple of 25?
False
Let j(s) = -s**3 + 19*s**2 + 12*s + 65. Does 5 divide j(15)?
True
Let n = -94 + 66. Let z = 79 - n. Is z a multiple of 13?
False
Let o(y) = -48*y - 203. Does 27 divide o(-12)?
False
Suppose 0 = -n, -5*n - 2 = -3*g + 4. Suppose -6*k = -k + 4*a - 2471, k - 497 = g*a. Suppose 4*j - k = -j. Is j a multiple of 28?
False
Let f = -17 - -33. Suppose 0 = -v + 64 + f. Is v a multiple of 16?
True
Suppose 14*j - 24834 = 5882. Is j a multiple of 58?
False
Let g = 641 - 148. Does 53 divide g?
False
Let m = -1 - 2. Is m/9 - 92/(-6) a multiple of 2?
False
Let q(c) = c**2 + c - 3. Let l be (-423)/(-36) + 2/8. Let i = 6 - l. Does 8 divide q(i)?
False
Suppose -3*h + 5*l + 1448 = -21, -954 = -2*h - 3*l. Is h a multiple of 21?
True
Let j(z) be the third derivative of 5*z**4/4 + z**3/2 - 3*z**2. Is j(2) a multiple of 9?
True
Suppose -5*n - 20 = 0, -a + 6 = 5*n + 17. Does 4 divide a/(27/(-6))*-8?
True
Does 4 divide -2*(-85)/10*7?
False
Let g = 1667 + -1532. Is 8 a factor of g?
False
Let t(u) = 3*u**2 - 2*u - 13. Let f be t(-4). Let x be (15/6)/(1/(-2)). Let m = x + f. Is 11 a factor of m?
False
Suppose f + f = 422. Suppose 0 = 3*h - d - f, 5*d + 29 = h - 18. Is h a multiple of 17?
False
Let i(f) = 3*f**2 - 5*f + 9. Let g(y) = -3*y - 59. Let l be g(-18). Is 9 a factor of i(l)?
False
Let y(j) = 4*j**2 + j - 6*j**3 - 2 + 0*j**3 - 4*j - j**3. Let w(p) = p**3 + p. Let h(s) = 6*w(s) + y(s). Is h(4) a multiple of 7?
False
Suppose -2*x + 620 = 4*r, 5*r = 5*x + 1018 - 243. Does 2 divide r?
False
Suppose -26*i + 25*i = -5*g - 173, 5*g + 5 = 0. Is i a multiple of 3?
True
Suppose 28*o + 1734 = 34*o. Is 17 a factor of o?
True
Let l be (16 - 15)*3*1. Suppose 0 = l*g - 209 - 16. Is g a multiple of 15?
True
Suppose a + 18 = 3*a. Suppose 2*b = -2, -v + 0*b + b + a = 0. Let u = 34 + v. Does 14 divide u?
True
Suppose 3*y - 8*y + 20 = 3*d, 3*y - 12 = 4*d. Suppose 16 + 16 = 4*f. Suppose -f*g = -y*g - 68. Is 5 a factor of g?
False
Let p be 0 + -6 - (-12)/3. Is ((-224)/35)/(p/20) a multiple of 32?
True
Let j(y) = y**3 - y**2 + 13. Suppose -6*m + 2*m + 3*c + 9 = 0, 14 = 4*m + 2*c. Suppose -5*t - 4*n + m = -17, 5*t - 3*n + 15 = 0. Is 13 a factor of j(t)?
True
Suppose -5*p - 108 = -9*p. Suppose -3*u + d + 8 = 0, 5*d - d - 1 = u. Let j = p - u. Does 8 divide j?
True
Let a = -17 - -14. Let z(d) = d**3 - 5*d**2 + 6*d - 1. Let c be z(4). Is (0/(-3))/a + c a multiple of 2?
False
Let z be (-104)/(-18) - 4/(-18). Let w be 240/(-8) + z/2. Let a = w + 42. Is a a multiple of 15?
True
Suppose -w - 8*w + 27 = 0. Does 7 divide (7/14)/((-86)/(-28) - w)?
True
Let b = -1030 - -1999. Is 6 a factor of b?
False
Suppose -74*y - 220 = -76*y. Is y even?
True
Does 44 divide (-12)/(-18)*7/((-84)/(-16542))?
False
Let u = 1977 + -1452. Does 75 divide u?
True
Is -202*(-2 - 0) - (7 + -11) a multiple of 22?
False
Suppose -2*f - 3*r = -3954, -4*f + 11*r + 7914 = 14*r. Does 90 divide f?
True
Let i be 101 - 0/(-2 - 0). Let b = 149 - i. Is b a multiple of 8?
True
Suppose 0 = 4*a + 2*j - 18 - 4, -11 = -3*a + 4*j. Suppose -15 = 3*y, 0 = -0*d + 5*d - a*y - 40. Is d a multiple of 3?
True
Let t be (56/35)/(2/5). Suppose -50 = t*o - 154. Is o a multiple of 13?
True
Let a = -14 + 16. Suppose 12 = -a*u - 12. Does 24 divide (-24)/u + 1*50?
False
Let h(q) = -q**3 + 38*q**2 - 25*q + 125. Does 8 divide h(36)?
False
Is 37 a factor of ((-168)/(-32))/(3/444)?
True
Let r = 55 - 51. Does 10 divide 2/r + (1533/14 - 0)?
True
Let l = 8 + 36. Suppose 388 = -42*s + l*s. Is s a multiple of 33?
False
Let r = 84 + -63. Is -3 + r/9 - (-382)/6 a multiple of 9?
True
Is (-2 + 3)/(39/21216) a multiple of 11?
False
Let z(l) = -9*l - 13. Let c be z(-10). Suppose -131 = -3*m - 4*f, -4*f + 127 = 5*m - 86. Let w = c - m. Is w a multiple of 10?
False
Is 20 a factor of (-1)/(36/(-12248)) + (-12)/54?
True
Suppose -2*l + 0*l - 3*h = -2, -45 = 5*l - 5*h. Does 19 divide (228/5)/(-6)*l?
True
Suppose 2826 = -4*h - 5*m + 13711, -3*m + 10875 = 4*h. Is h a multiple of 15?
True
Is ((6/4)/(-1))/((-3)/514) a multiple of 6?
False
Let x be (-4)/6 - 1281/63. Is 14 a factor of (644/x)/((-6)/9)?
False
Let i = -1914 + 2668. Is i a multiple of 13?
True
Let t(w) = -w**3 - 6*w**2 + 80*w + 7. Does 52 divide t(-15)?
True
Let m(k) = 149*k**2 + 46*k - 148. Does 36 divide m(3)?
False
Suppose 0 = 2*y + 30*y - 34176. Is 6 a factor of y?
True
Let i = -50 + 68. Suppose 14*a + 88 = i*a. Is 11 a factor of a?