 l a multiple of 29?
False
Suppose -4*i = -4*i + i. Suppose -5*m + 2*x + 394 = 0, 4*x = -8 - i. Does 6 divide m?
True
Let u(h) = -h. Let w(t) = -2*t**2 + 1. Let y(i) = 2*u(i) - w(i). Let q be y(-1). Suppose 3*z - 132 = -4*s, 3*s - 44 = -4*z + q*z. Is 15 a factor of z?
False
Suppose -3*j - 3*s - 28 = -8*s, -4*j + 5*s - 34 = 0. Let d = 14 - j. Does 10 divide d?
True
Let v(o) = o**3 - 22*o**2 + 5*o - 36. Does 74 divide v(22)?
True
Let f be (-2)/8 - 1587/(-12). Let a(c) = -17*c + 17*c + f*c**3. Does 34 divide a(1)?
False
Let j(p) = 10*p + 1. Let b = -32 - -35. Does 31 divide j(b)?
True
Suppose -4*g - 122 = -5*m - 3*g, m = -g + 28. Suppose -2*q - h = 55, q - 3*q + h = 65. Let z = m - q. Is z a multiple of 15?
False
Let c = -232 - -343. Suppose -3*i - 2*k + c = -5*k, 0 = -3*i - 2*k + 101. Is i a multiple of 14?
False
Let x = -15 + 18. Is (-1)/(x/(-81 + -3)) a multiple of 28?
True
Suppose -6 = 5*m - 6*m. Suppose 0 = -3*r + 2*q - 0*q + 10, -q - m = -2*r. Suppose -5*h = -r*p + 282 - 111, -199 = -3*p - 4*h. Is 20 a factor of p?
False
Suppose 5*h - 17 - 313 = 0. Let x = 174 - h. Suppose -c = -4*c + x. Does 12 divide c?
True
Let c = 3568 - 2509. Is 4 a factor of c?
False
Suppose -5*l - 156 = -4*j, 0*l = j - 3*l - 46. Let r = -102 - -133. Let s = j - r. Is s even?
False
Let w(k) = -3*k - 12. Let n be w(-5). Let r be (n*1)/((-18)/(-12)). Suppose 2*h - 5*x - 23 - 2 = 0, -54 = -3*h + r*x. Does 10 divide h?
True
Suppose q + 146*c - 147*c = 2756, 4*q + 4*c = 11008. Is q a multiple of 17?
True
Suppose 30 = -2*a + a. Let l be (3/9)/((-2)/a). Suppose 3*q + 2*q + 56 = 4*w, 0 = -l*w + q + 70. Does 3 divide w?
False
Let q be 213 - ((-4 - -4)/(-1) + -3). Suppose -q = -0*b - 12*b. Is 9 a factor of b?
True
Let k = 287 - 282. Let z(o) = -2*o - 2. Let y be z(-5). Suppose 3*b + 98 = -3*m + y*m, k*b - 86 = -3*m. Is m a multiple of 11?
True
Let y(v) = v - 1. Suppose -6*q + 36 = 6. Let z be y(q). Is ((-186)/(-12))/(2/z) a multiple of 6?
False
Let w(d) = -39*d + 105. Is 15 a factor of w(-25)?
True
Does 8 divide (820/6)/(6/9)?
False
Let v(m) = 3*m**3 + 2*m**2 - m. Let n be v(1). Let a(y) be the first derivative of y**2 + 4*y + 6. Is 7 a factor of a(n)?
False
Suppose -2*q = u - 1019, u + 5*q - 1054 = -23. Is 38 a factor of u?
False
Let v(s) be the third derivative of -s**5/60 + 2*s**4/3 - s**3/6 + 8*s**2. Is v(11) a multiple of 9?
True
Suppose 2*u - 3*u = 55. Does 11 divide (-1)/(5/2)*u?
True
Suppose -3*m + 12 = -3*g, -3*g - 5*m + 20 = -6*g. Suppose 0*a + 6*a - 540 = g. Is a a multiple of 9?
True
Let h be 408/9*18/12. Let q = h + -28. Suppose -14 - q = -b. Is b a multiple of 11?
False
Does 2 divide (-175)/21*-1*9/5?
False
Suppose -4 = -5*x + x. Let f be (x + 1)*510/20. Is 12 a factor of (15 - 13)*f/2?
False
Let z(b) = b**2 + 7*b - 150. Is z(14) a multiple of 48?
True
Let x(f) = 6*f**2 + 6*f + 5. Suppose 3*b + 14 = -4. Let u be x(b). Suppose -4*j + u - 73 = 0. Does 11 divide j?
False
Let m = 115 + -35. Let q = m + -44. Is 6 a factor of q?
True
Let l(f) = -150*f - 207. Does 21 divide l(-23)?
False
Let m = -1503 + 2563. Does 20 divide m?
True
Suppose 4*t - 3*l - 29 = -5, -5*t + l = -19. Suppose 0 = -s + 117 - t. Is 40 a factor of s?
False
Suppose 3872 = -20*y + 18372. Is y a multiple of 4?
False
Does 37 divide (-1)/(-2)*1425 + (-4)/(-8)?
False
Let c(a) = a**3 - 7*a**2 + a + 10. Let p be c(7). Let t be 20*p/2 - -3. Suppose -97 = -5*k + t. Is 27 a factor of k?
True
Let c = -595 + 884. Suppose -c = -2*d + 101. Is 39 a factor of d?
True
Let c(i) = -11*i - 21. Suppose 2*u + 0*u - 4 = 4*a, 4*a = 4*u + 8. Does 5 divide c(u)?
True
Let x = 2590 - 1374. Does 38 divide x?
True
Suppose -2*n = -2*i + 1300, 2*i - i - 654 = 3*n. Suppose 4*r = -0*r + i. Does 18 divide r?
True
Let f = -38 - -43. Suppose 169 = 4*z - d - 110, -f*d - 84 = -z. Is 23 a factor of z?
True
Let o(x) = 66*x - 12. Let g be o(6). Suppose 15*c + g = 18*c. Is 32 a factor of c?
True
Let j(z) = -z**2 - 2*z - 1. Let r be j(-3). Let p = 17 + r. Suppose 92 = -p*y + 17*y. Is y a multiple of 17?
False
Let n(y) = y**3 - 6*y**2 + 3*y - 8. Let a be n(6). Let m be (-30)/7 - a/(-35). Is 5 a factor of (m - -3)*-2*8?
False
Let q = -6941 - -12856. Is 13 a factor of q?
True
Let f(b) be the second derivative of -b**5/20 + b**4/4 - b**3/3 + b**2 + 2*b. Let u be f(2). Suppose -u*q - 52 = -v + 2*q, 5*q + 53 = v. Is v a multiple of 12?
True
Let s(c) = -c**3 + 9*c**2 - 2*c - 4. Suppose 5*d + 5*h = 25, -2*d + 6*d + 3*h = 19. Suppose -d*a - 3*u = u - 24, -u - 34 = -4*a. Is s(a) a multiple of 19?
False
Let i(u) be the third derivative of 1/6*u**4 + 0 + 0*u + 7/6*u**3 + u**2 + 1/60*u**5. Is i(-8) a multiple of 12?
False
Let q(z) = -56*z + 30. Is q(-3) a multiple of 11?
True
Let r(w) be the first derivative of -w**3/3 + w**2/2 + 10*w - 21. Is r(0) a multiple of 10?
True
Let j = -5 - -10. Suppose 2*z + j*b - 3*b + 26 = 0, 3*z + 18 = 4*b. Is 11 a factor of (-4)/z*(0 + 55)?
True
Let j = 147 + 231. Is 27 a factor of j?
True
Let j = -16 + 32. Let x = j + -13. Does 10 divide (1 - -19)*x/4?
False
Suppose 2*z + 7 + 15 = 0. Let r = 49 - z. Is r a multiple of 12?
True
Suppose t = 4*q + 1861, 3*t + 38*q - 5597 = 36*q. Does 26 divide t?
False
Suppose -1 = 5*o - 3*g, -g = 3*o + 4*g - 13. Let v(i) = -43*i + 0 - 2 + o. Is v(-1) a multiple of 20?
False
Let p be -15 + (-2 - (1 - 7)). Let z be (-10)/(-20) + p/(-2). Let r(c) = c**2 - 5*c - 2. Does 2 divide r(z)?
True
Let p(y) be the first derivative of 51*y**2/2 - 6*y - 47. Is 26 a factor of p(3)?
False
Let r(v) = 8*v**2 - v + 1. Let j be (30/(-9))/(4/6). Let b(h) = 7*h**2. Let y(f) = j*r(f) + 6*b(f). Is y(-5) a multiple of 4?
True
Let v be (-4 + 10/4)*16/6. Let i(s) be the second derivative of -s**3/3 - s**2 - 4*s. Is i(v) even?
True
Let c(m) = 3*m - 14. Suppose -2*q = 3*k - 34, 1 = -2*k - 3*q + 32. Let t be c(k). Suppose s + 2*s + 5*o = t, -5*s + 30 = 5*o. Does 5 divide s?
True
Is (10 - 2)/((-52)/(-338)) a multiple of 3?
False
Let k = -9 + 29. Suppose u - k = 52. Is u a multiple of 12?
True
Does 22 divide (-17066)/(-10) + 274/685?
False
Let s(q) = -92*q - 1. Is s(-1) a multiple of 12?
False
Is (9/12)/(3/1680) a multiple of 13?
False
Let c = -7 + 23. Let y = -36 + c. Let d = -12 - y. Does 4 divide d?
True
Let b(w) = -w + 18. Let u be b(6). Let a = u + 24. Suppose a = j + 15. Does 11 divide j?
False
Suppose -13*s - 592 = -15*s. Suppose -2*q = 3*t - 10, -2*q - 13 = -3*t - q. Suppose 4*a = -2*r - 0*r + s, t*a + 796 = 5*r. Is r a multiple of 40?
False
Let t be (4 - 3)/((-2)/4*1). Let l(q) = -20*q**2 - 12. Let h(o) = 8*o**2 + 5. Let p(x) = -12*h(x) - 5*l(x). Does 8 divide p(t)?
True
Suppose 2*u - 4*u + 376 = -j, 5*u - 3*j - 941 = 0. Is 23 a factor of u?
False
Let w = -492 - -725. Does 17 divide w?
False
Let w = 0 - -15. Suppose w*f = 4*f + 121. Does 4 divide f?
False
Let j = -1321 + 1861. Is j a multiple of 45?
True
Suppose 4*j = 5*z + 7, 2*j - 3 = -7. Does 11 divide (-66)/6*1*z?
True
Let y be ((-34)/2)/(2/(8 - 0)). Let h = y - -176. Is h a multiple of 18?
True
Is 10164/22*((-49)/2)/(-7) a multiple of 7?
True
Let o be 72*((-8)/10)/(15/(-75)). Suppose 6*w - o = 5*w. Is 18 a factor of w?
True
Let n(w) be the third derivative of w**6/120 + w**5/12 - w**4/4 - 4*w**3/3 - 16*w**2. Does 5 divide n(-4)?
False
Let r(m) = 23*m**3 - 3*m**2 - 4*m + 1. Let g be (-105)/(-42) - 2/4. Is 11 a factor of r(g)?
True
Suppose -4*x + x - 1499 = -d, -3*x - 3*d = 1491. Let q = -199 - x. Is q a multiple of 16?
False
Let u = 826 + -721. Is u a multiple of 21?
True
Suppose 3434 = 24*d - 5782. Is 12 a factor of d?
True
Let p(v) = 237*v**3 + 5*v**2 + v - 18. Does 38 divide p(2)?
True
Let z(f) = -f**2 + 7*f - 7. Let l be z(5). Does 6 divide -1*l - 340/(-20)?
False
Let c be (-5)/3*(-2 - 64). Let n(a) = 215*a**3 - 5*a**2 + 3*a + 1. Let f be n(1). Suppose -4*r = -c - f. Is 28 a factor of r?
False
Let b = -175 + 85. Is (40/25)/(-4)*b a multiple of 5?
False
Let b be (-3)/9 - 284/12. Let r = 34 + b. Suppose r = -2*f + 50. Is f a multiple of 6?
False
Let q(h) = 48*h + 4. Let r be q(-2). Let k = r - -33. Let t = k - -104. Is t a multiple of 7?
False
Suppose 1188 + 1368 = 2*s - 2*w, 6382 = 5*s - w. Is 4 a factor of s?
True
Suppose 3*a + 37 = 151. Let p = a - 12. Is p a multiple of 15?
False
Suppose -153*o + 42*o + 71151 = 0. Does 6 divide o?
False
Suppose 5*k + 