66, -p*c + 3*k = -0*k - 41. Is c a multiple of 14?
True
Let r = 21 - 9. Is r a multiple of 3?
True
Let h(v) = 8*v - 13. Let a(i) = -3*i - 3. Let x be a(-3). Is 26 a factor of h(x)?
False
Let f = 40 - 40. Let x be (-66)/(-10) - 4/(-10). Suppose -x = -y - f. Is 7 a factor of y?
True
Let v = 3 + 93. Let h = v - 20. Does 19 divide h?
True
Let m(n) = -n + 1. Let z be m(1). Suppose -2*k + 11 + 27 = z. Does 19 divide k?
True
Let b(p) = -p**3 - 3*p**2 + p + 7. Is b(-3) a multiple of 4?
True
Suppose 0 = 3*s + 5*d, 0 = 5*s - 2*d - d. Suppose -3*o - o + 272 = s. Suppose 0 = 4*a - 3*q - 101, -3*q + o = 2*a - q. Does 23 divide a?
False
Let t = -80 - -178. Is 7 a factor of t?
True
Let h be (-1 - (-7 + 2))/1. Suppose 0 = h*b + 5 + 19. Is 0 + (-3)/b*10 a multiple of 5?
True
Suppose 6*l - 10 = 4*l. Suppose 2*o - 337 = l*u, 5*o - 366 = 4*u + 502. Suppose 0*w + o = 4*w. Is w a multiple of 15?
False
Let v = 3 + -1. Suppose v*n + 2*a - 214 = -a, 0 = -n + 2*a + 107. Suppose 5*s = 43 + n. Does 16 divide s?
False
Suppose 5*c + u - 18 = -0*u, -3*c + 4*u = 3. Suppose 3*o + c*t - 27 - 21 = 0, -3*o = 5*t - 50. Does 8 divide o?
False
Let z = 23 - 9. Suppose 0*f = f - z. Does 7 divide f?
True
Suppose 0 = a + 2, -2*m - 7*a + 9*a + 110 = 0. Does 13 divide m?
False
Let v(c) = -c**2 + 43. Let n = 9 - 9. Is v(n) a multiple of 19?
False
Suppose -w = 4*w - 50. Suppose 4*n + w = 2*u, -5*n - 10 = -2*n - 2*u. Suppose -o + 15 - 3 = n. Is o a multiple of 6?
True
Is (-8)/20 + 191*(-2)/(-5) a multiple of 4?
True
Let o(b) = 2*b**2 + b + 1. Let i be o(-1). Suppose t - 15 = -i*t. Is 4 a factor of t?
False
Let v(w) = -w**2 + 2*w + 4. Let n be v(3). Let b(m) be the first derivative of 4*m**3/3 + m + 5. Is b(n) even?
False
Suppose 10 = -5*g + 40. Does 13 divide 1*6*52/g?
True
Suppose 3*u = 6*u. Let w = 22 + -10. Suppose 2*c + 3*b - w = u, 3*c + 2*b - 18 = -2*b. Is c a multiple of 3?
True
Let v be 1/((-2)/12*2). Does 22 divide v/(-18) + 538/12?
False
Let m(q) = -q**3 + 8*q**2 + 8*q + 13. Let s be m(9). Suppose -s*h + 39 = -129. Is 14 a factor of h?
True
Let z = 54 - 13. Suppose 2*h = 3*v + z, -3*h - 2*v = -0*h - 94. Suppose j + 5*a - 10 = 0, 5*j + 2*a - h = -a. Is j a multiple of 5?
True
Let j(w) = 2*w + 1. Let y be 5 - 3 - (-2 + 1). Is j(y) even?
False
Suppose 5*i = i + 12. Suppose -2*j - 18 = -i*j. Is j a multiple of 6?
True
Let n be 30/(-14) - (-5)/35. Let b = 7 + n. Is 4 a factor of b?
False
Let p(o) = o**3 - 5*o**2 + 7*o - 7. Let l be p(5). Let q = l + -44. Let w = q - -27. Is w a multiple of 11?
True
Is 14 a factor of (-1)/(-4) + (-835)/(-20)?
True
Let k = 4 - 4. Suppose -g - g + 4 = k. Is 3 a factor of 14/2*2/g?
False
Suppose 3*u - 16 + 4 = 0. Suppose 4*d + 20 = -0*i + u*i, 9 = 2*i - 3*d. Is 3 a factor of i?
True
Is ((-2472)/(-96))/((-2)/(-8)) a multiple of 9?
False
Suppose 38 + 50 = 2*t. Does 44 divide t?
True
Suppose 2*q - 202 = 32. Is q a multiple of 13?
True
Suppose -3*p + 42 = 3*t - 2*t, 0 = -3*t + 4*p + 100. Is 19 a factor of (228/t)/(2/6)?
True
Let z(x) = 5*x - 1. Let p be z(1). Let v be (-61)/(-4) + (-1)/p. Suppose s - 3*r = v, -4*s + 4*r - 6*r + 46 = 0. Does 12 divide s?
True
Suppose 0 = 6*f - 127 - 203. Does 5 divide f?
True
Let n(i) = 5*i**2 - 15*i - 5. Let g(h) = h**2 - h + 1. Let z(o) = 4*g(o) - n(o). Suppose -3*m = 2*m + w - 50, -m + 10 = 2*w. Does 10 divide z(m)?
False
Let i be (-4)/(0 - (-3)/(-654)). Let z = i + -444. Is (-2)/7 - z/(-28) a multiple of 6?
False
Suppose 5*g + n = 16, 2*g - 7 = -4*n + 3. Suppose 3*q - 3*b - 24 + 9 = 0, b - 3 = -g*q. Let s(t) = 3*t**3 - 4*t**2 + 3*t. Is 7 a factor of s(q)?
True
Suppose -3*b - 2*n = -66, 0*b + 2*n = 5*b - 126. Suppose -4*r - 38 = -f, 3*f - 4*r - 66 - b = 0. Is f a multiple of 15?
False
Suppose 0 = -x + 4 + 10. Let r = -12 + x. Is r a multiple of 2?
True
Is 2 a factor of -1*(-4)/(-16)*-52?
False
Suppose g - 26 = 5*o, -4*g - 2*o = 2*o - 56. Does 8 divide g?
True
Suppose r + 0*r = 4*v - 1, r = -5*v - 28. Let w = 10 - r. Does 14 divide w?
False
Let p = 150 + -80. Is 18 a factor of p?
False
Let h(n) = n - 1. Let t(v) = -4*v - 1. Suppose -2*o - 14 = -4*o - 4*q, 5*o + 4*q = 5. Let j(l) = o*h(l) - t(l). Is j(5) a multiple of 9?
True
Let b be 12/10*(-20)/3. Let q(j) = j + 13. Is q(b) a multiple of 2?
False
Suppose -2*f - 3*t + 6*t + 13 = 0, 4*f + 3*t + 1 = 0. Let z = 15 + -12. Does 14 divide 82/z - f/(-3)?
True
Let h be (3/(-3))/1*4. Is 2 a factor of h/10*(-4 + -1)?
True
Suppose -2*n = -2*w - w - 31, 0 = 3*w - n + 32. Let h = -7 - w. Suppose -5*t + o = -186, 4*t - 112 - 32 = -h*o. Is t a multiple of 12?
False
Let s = 270 + -161. Suppose 4*o - 21 = -s. Let z = o - -35. Is z a multiple of 13?
True
Let r be 378/5 + 24/60. Let l = r + -43. Does 11 divide l?
True
Let v = 32 + -22. Suppose 3*a - g - 26 = 0, -3*a + 0*a + 5*g + v = 0. Does 5 divide a?
True
Let u(m) = -46*m**3 + 2*m**2 - m - 2. Is 16 a factor of u(-1)?
False
Let n(s) be the second derivative of s**4/6 + s**3/3 - 2*s**2 + 3*s. Does 4 divide n(-3)?
True
Suppose 5*k = -3*d + 378, -6*k + 3*d + 402 = -k. Is 26 a factor of k?
True
Let n(o) = o**2 - 5*o + 10. Does 2 divide n(4)?
True
Suppose -2*c - 4*a = -5 - 13, -4*c + 4*a = 0. Does 10 divide c*52/6 - -4?
True
Suppose 4 + 21 = r. Is 5 a factor of r?
True
Let b be 10/6 + 1/3. Suppose g = -b*g - 12. Is 13 a factor of 93/7 + g/14?
True
Let d(r) = -r**3 + r**2 + 9. Let a be 3/2*-2*1. Let l be 0*(a - -2)/(-1). Does 3 divide d(l)?
True
Let x(y) = -y**3 - 3*y**2 + 4. Let j be x(-3). Suppose 5*w - j - 16 = 0. Is w even?
True
Does 15 divide -2*(0/6 - 40)?
False
Suppose 2*w = 4*a - 0*w - 22, -a - 3*w - 12 = 0. Let s be (-1)/a*(1 - 7). Suppose -4*u = -62 + s. Does 15 divide u?
True
Suppose -6*v - 24 = -3*v. Let y = v - -14. Is y a multiple of 2?
True
Suppose -4*d - 231 = -23. Let a = -7 - -5. Is 9 a factor of -1 - (-1)/(a/d)?
False
Suppose 4*x = -3*z + 189, 4*z + 2 + 2 = 0. Does 8 divide x?
True
Suppose 0*y + 51 = 3*y. Is 2 a factor of y?
False
Let n(l) = -l**3 - 9*l**2 - l - 5. Let m be n(-9). Suppose 5*r + m*i + 0*i = 83, 5*i = 3*r - 35. Is r a multiple of 10?
False
Let l = -20 - -42. Is 10 a factor of l?
False
Let a = -9 + 13. Suppose -a*i = -0 - 72. Does 6 divide i?
True
Is ((-40)/14)/(6/(-21)) a multiple of 2?
True
Let b(a) = a - 1. Let c be b(5). Let w = c - 1. Suppose w*v + 4 = 5*v. Is 2 a factor of v?
True
Is (-6 - -5) + (-1 - -92) a multiple of 18?
True
Suppose -2*z + 4*j + 20 = 0, 3*j + 24 = 4*z - j. Suppose -q = t + z*q - 11, 3*t - 9 = -q. Suppose 4*v + t = 22. Is 5 a factor of v?
True
Let b(f) = 21*f + 6. Let i be b(7). Suppose -3*d = -0*d - i. Let t = -5 + d. Does 15 divide t?
False
Is ((0 - 1) + -21)/(-2) a multiple of 8?
False
Let y be (-1 + 0)*(-5 - -6). Let g(d) = -6*d. Is 6 a factor of g(y)?
True
Let k = 7 - 7. Suppose -3*d = -3*q - 126, k*q - 3*q + 46 = d. Is d a multiple of 9?
False
Suppose -6 = -3*l + 108. Is 19 a factor of l?
True
Let o be (-4)/6*(6 + -3). Does 18 divide 3 - 99/(o + -1)?
True
Let a(f) = -f**3 - 3*f**2 - 2*f + 2. Suppose -3*h = 2*h + 15. Is a(h) a multiple of 6?
False
Suppose 733 = 4*f - l + 158, -4*l = 5*f - 724. Suppose -3*g = 6, 0 = -4*o + g + 3*g + f. Suppose -4*w - 3*v + 36 = 0, 3*w + 3*v = -v + o. Is 6 a factor of w?
True
Let y(f) = -f**3 + 12*f**2 - 8*f - 16. Let u be y(11). Suppose -5*b = 2*j + 7, 0 = 5*b - 2*j + 1 + 2. Does 17 divide (b - -3)*u/2?
True
Let w = 3 + 26. Is w a multiple of 5?
False
Suppose 6*n = 9*n - 18. Is n a multiple of 2?
True
Let n(h) = 3*h**2 + h + 7. Does 11 divide n(-4)?
False
Let q(f) = f + 5. Let t = -5 - -13. Is q(t) a multiple of 9?
False
Let l(c) = c**3 - c**2 - 4*c + 5. Is 7 a factor of l(4)?
False
Suppose 4*a - 834 + 54 = 0. Suppose a = 2*j - 5*j. Let b = 95 + j. Does 15 divide b?
True
Suppose 0*b = 2*b - 612. Is b a multiple of 34?
True
Is 30 a factor of (413/14)/(2/4)?
False
Suppose -229 + 73 = -4*v. Is 8 a factor of v?
False
Suppose 2*u = -2*o + 444, -2*u + 443 = o + 2*o. Does 20 divide u?
False
Suppose -2*c + 106 = -5*w - 408, -4*w = -4*c + 1004. Is c a multiple of 43?
False
Is (-2 + -5)/((-4)/16) a multiple of 28?
True
Let l = -19 - -67. Is l a multiple of 3?
True
Let o be (-2)/8*-2*0. Suppose o = 5*d - 9 - 21. Is 4 a factor of d?
False
Let x be 15/6*76/5. Suppose -x = b - 2*b. Is b a multiple of 19?
True
Suppose -2*y + 115 = 3*y. Suppose -5*u + 2*n + 2*n + 