p) = p - 1. Let w(a) = 8*a - 13. Let t(d) = -2*w(d) + 18*x(d). Let k be t(5). Suppose -120 = -20*j + k*j. Is j a multiple of 20?
True
Let j(n) = -308*n - 4. Suppose 3*c + 13*c = -16. Is j(c) a multiple of 38?
True
Suppose 0 = 2*o - 3*v - 15, -5*v - 21 = -5*o - 3*v. Suppose 0 = 3*t + 2*q + 150 + 245, -o*t + 4*q - 371 = 0. Is 20 a factor of t/(-6)*2 + 4?
False
Is 12/32*4*60 even?
True
Let k be (18/15)/((-4)/(-10)). Suppose 4 = -5*t - 3*h, 3*t - k*h = 6*t. Is (0 - 19*t) + 0 a multiple of 7?
False
Suppose 2*v - 105 = -415. Let x = v + 227. Is 36 a factor of x?
True
Let g(f) be the second derivative of f**4/12 - 5*f**3/6 + f**2 - f. Let i be g(10). Suppose -i = -0*d - 4*d. Does 10 divide d?
False
Let q(n) = 25*n**2 - 2*n - 18. Does 34 divide q(4)?
True
Suppose 3*a - 19 = 5. Suppose -a*u + 380 = 2*u. Is 5 a factor of u?
False
Let w(k) = -k**3 - 11*k**2 + 10*k - 16. Let u be w(-12). Is (147/(-6))/((-4)/u) a multiple of 25?
False
Suppose u = -0*u - 318. Let s(p) = -p**2 - 8*p - 17. Let k be s(-5). Does 9 divide u/(-18) - k/6?
True
Suppose 32*m - 28*m - 100 = 0. Does 9 divide ((-165)/m)/(2/(-30))?
True
Suppose 20*s - 23*s - 375 = 0. Let r = s - -181. Does 28 divide r?
True
Suppose -3*m - 4*j + 564 = 0, 9*m + 2*j = 12*m - 582. Is 12 a factor of m?
True
Let w = 22 - -5. Let h = w - 11. Is 9 a factor of h?
False
Suppose -5*c + 847 = 4*i, -12*c = -5*i - 9*c + 1031. Is 13 a factor of i?
True
Let l be ((-3)/2)/(5/(-710)). Let r = -109 + l. Is r a multiple of 26?
True
Let a(f) = 5*f**2 - 2*f - 2. Let s(c) be the second derivative of -c**3/2 + c**2/2 - 4*c. Let b be s(1). Is a(b) a multiple of 11?
True
Let q(t) = 13*t**2 - 14*t + 1. Let v(d) = -4*d**2 - d + 1. Let r(a) = -q(a) - 3*v(a). Let c be (1*13*-1)/(-1). Does 24 divide r(c)?
True
Suppose -2*f = -2*r - 196, 5*f - 2*r = -0*f + 496. Does 4 divide f?
True
Let k = -32 - -104. Suppose 14*o = 11*o + k. Is 6 a factor of o?
True
Suppose 5*m + 35 = 5*k, -15 = -5*k - 2*m - 3*m. Suppose -4*p = -3 - k. Suppose 439 = 4*t + t - y, t + p*y - 90 = 0. Does 22 divide t?
True
Let z(o) = 5 - 10*o - 6 + 17 + 2*o. Does 4 divide z(-4)?
True
Let v(z) = -z + 13. Let j(o) = -1 + 8 - 6. Let x(p) = 4*j(p) + v(p). Is x(9) a multiple of 4?
True
Suppose -2*s - 147 = -1107. Does 6 divide s?
True
Is 41 a factor of (593/3)/(4/36)?
False
Let a(b) = b**2 + 10*b - 68. Does 11 divide a(-20)?
True
Suppose -2*c + 5*q + 289 = 0, -c + 19 = 5*q - 103. Does 6 divide c?
False
Let n = 65 - 62. Is -9*75/(-9) - n a multiple of 6?
True
Let t be (4/8)/(2/56). Suppose 0 = -b + 14 + t. Is b a multiple of 14?
True
Let l be 22/33 + (-1)/(-3). Is 14 a factor of ((-25)/15)/(l/(-9))?
False
Suppose 0*l + 124 = 4*o + l, 5*o - 2*l = 155. Let n = o + -27. Suppose 2*m + n*b - 93 = 51, 3*m + 3*b - 216 = 0. Is m a multiple of 12?
True
Let j be 25/(-15)*(-1 + -2 + -195). Suppose 4*z = -7*z + j. Does 3 divide z?
True
Let u(h) = h**3 - h**2 + 2*h - 17. Let m be u(3). Let i(w) = 10*w + 3*w**2 - 2 - 4*w**2 - 2. Does 6 divide i(m)?
False
Let g(a) = a - 4. Let d be g(9). Suppose -15 = d*v - 100. Suppose 105 = 4*u + v. Does 12 divide u?
False
Let i(u) = u**3 + 21*u**2 - 30*u - 35. Is 26 a factor of i(-22)?
False
Let n(q) = -q**2 + 13*q - 21. Let z be n(11). Let y be 28 + -2 + 4/z. Let c = -21 + y. Is 3 a factor of c?
True
Let p = 2275 - 1782. Is 11 a factor of p?
False
Suppose 15*d - 5*c - 8586 = 12*d, 0 = -3*c. Does 27 divide d?
True
Suppose 0*w - 4650 = -6*w. Suppose -19*u - w = -24*u. Suppose k + 87 = 3*r, -5*k = -0*r - 5*r + u. Does 14 divide r?
True
Suppose 2*t = 7 + 3. Suppose -a + t*a - 48 = 0. Is 40/a*39/2 a multiple of 11?
False
Suppose -5*t = 3*y - 189 + 52, -61 = -2*t + 5*y. Let n = -28 + t. Let v = 27 + n. Does 14 divide v?
False
Let z = -2999 - -4495. Is z a multiple of 22?
True
Let n be (-1 + -15)*-4 + 2. Let x = 111 - n. Does 13 divide x?
False
Suppose 1327 = 24*t - 23*t. Is t a multiple of 33?
False
Suppose -o - 4604 = -5*o. Suppose 6*v - 281 = -o. Let s = v - -214. Is 34 a factor of s?
False
Suppose -3*x - 2*x = -405. Let v = x - -74. Suppose -3*r - 2*r + 5*w = -v, -3*w - 9 = 0. Is r a multiple of 14?
True
Suppose 3*p - 4*c - 11 = 0, -6*c + 11*c = 2*p - 5. Suppose -143 = -8*g - p*g. Is 9 a factor of g?
False
Let g be -12*(3 - (-23)/(-2)). Suppose -4*i = -5*u - 86, -6*i - 3*u + g = -2*i. Is 13 a factor of i?
False
Let k(w) = -118*w - 543. Is k(-30) a multiple of 16?
False
Let g = 69 + 42. Suppose 30 = 3*d - g. Is 6 a factor of d?
False
Suppose 525*k - 526*k = -33. Is 2 a factor of k?
False
Let c(h) = 125*h + 100. Does 7 divide c(4)?
False
Let a(x) = x**3 + 15*x**2 - 5*x - 20. Is 8 a factor of a(-15)?
False
Suppose 47 = 4*c + 31. Suppose -3*a + 2*w - 5*w + 213 = 0, 218 = 3*a + c*w. Does 5 divide a?
False
Does 48 divide (5 - 0) + ((-1440)/(-10) - 5)?
True
Let v(l) = -l**3 + 7*l**2 + l - 2. Suppose 5*m - 27 + 2 = 4*a, -5*m = a - 25. Suppose -3*q = 3*x - 9, q - 2*q + m*x = -21. Does 8 divide v(q)?
True
Let j be 212 - (-7 + 7)*(1 + 0). Let g = 342 - j. Does 9 divide g?
False
Let r be -4 - -1 - -8 - 3/(-1). Suppose x + 2*m + 2*m - r = 0, 0 = x + 5*m - 7. Is x a multiple of 6?
True
Let h(b) = 130*b - 24. Is h(3) a multiple of 6?
True
Let v be (-55)/2 + (-2)/4. Let t = 40 + v. Is t a multiple of 12?
True
Suppose 1312 = 2*c + j, 2*c - 7*c + 3280 = 5*j. Is 12 a factor of c?
False
Suppose 0 = 10*t - 4*t - 342. Is 57 a factor of t?
True
Suppose 0 = -10*l - 5*l - 30. Let j = 30 - l. Does 4 divide j?
True
Suppose 0 = -3*t + t - 3*k + 90, t - 19 = 5*k. Let c = -36 + t. Suppose 0 = -2*g - c*w + 95, 4*w = 2*g - 44 - 44. Is g a multiple of 26?
False
Is 47 a factor of (3/(-2))/(-6 + (-2250)/(-376))?
True
Suppose -90 = -2*u - 88. Let k(n) = 59*n**3 + 5*n - 4. Is k(u) a multiple of 5?
True
Suppose 3*p = -3*o + 330, 2*p + 126*o = 121*o + 223. Is 4 a factor of p?
False
Let d(q) be the first derivative of 43*q**4/4 + 2*q**3/3 - q**2/2 + 6. Does 7 divide d(1)?
False
Suppose 6*b = 8*b - 6, 2*l - 3*b - 7763 = 0. Is 74 a factor of l?
False
Let m(k) = 12*k**2 + 8*k - 13. Let f be m(6). Suppose -23 = 3*i - f. Suppose 3*c = -c + i. Is c a multiple of 11?
False
Suppose 7*l - 9*l = -8. Let t = l - 3. Is 10 a factor of t/7 + 278/14?
True
Let l be ((-9)/(-6))/(3/(-20)). Let r be (-681)/15 - (1 + (-14)/10). Does 8 divide (-1062)/r + (-4)/l?
True
Suppose -15 = -3*v - 3*t, v = 4*v - 3*t - 3. Let y be (-1)/(((-3)/3)/1). Is (v/3)/(y/33) a multiple of 11?
True
Let q(c) = -16*c + 3. Let h(f) = -f**2 - 4. Suppose 3*g - w = 2, -3*g + 0*g - 2*w = 4. Let x be h(g). Is q(x) a multiple of 19?
False
Let z = 237 - -853. Does 109 divide z?
True
Let w be 1*-4 + (-20 - -7). Let z = 7 - w. Does 11 divide z?
False
Let r(s) be the third derivative of 23*s**5/60 + s**4/12 - s**3/6 + 12*s**2. Is 8 a factor of r(1)?
True
Suppose l = -5 + 1. Let o be ((-1)/1)/(l/20). Let r = 0 + o. Is r a multiple of 2?
False
Suppose 0 = 4*w + 2*c - 6, 5*w - 2*c - 3*c = 45. Suppose w*r - 36 + 4 = 0. Suppose -3*d + r = -5*t, t = 2*d - 6 - 11. Is d a multiple of 9?
False
Is 160/(-40)*(-186)/8 a multiple of 3?
True
Suppose 0 = 14*w - 392 - 308. Suppose -2*r + w = 2*k, k - 3*k - r + 49 = 0. Is 5 a factor of k?
False
Let l = -652 + 2731. Is 61 a factor of l?
False
Let v(l) = 5*l**2 - 2*l + 1. Let s be v(1). Suppose 0 = s*f - 28 - 68. Is f a multiple of 4?
True
Let v(y) = 6*y**2 - 122*y + 25. Is v(32) a multiple of 32?
False
Suppose -6622 = -497*l + 490*l. Is 42 a factor of l?
False
Suppose 2*v + 3*v = -10. Let m be v/2*(1 - -27). Is 14/(-3)*72/m a multiple of 12?
True
Suppose 20 = -0*x + 10*x. Is 17 a factor of 3165/10*x/3?
False
Is (29/3 - 9)/(2/1827) a multiple of 15?
False
Let m(k) = -k**2 + 8*k - 8. Let s be m(6). Suppose -11 = s*b + 5. Does 4 divide (0 - 2) + (10 - b)?
True
Suppose -k = -996 - 231. Suppose -k = -5*d + 18. Suppose -d = -6*y + 81. Does 13 divide y?
False
Let i(x) = x**2 + 23*x - 37. Let m be i(-19). Let z = -86 - m. Is 27 a factor of z?
True
Let r(x) = x**2 + 2*x + 3. Let c be r(-2). Suppose -4*i = c*a + 6, -4*a = -i - 1 - 10. Suppose -a*n = 3*n - 240. Is n a multiple of 28?
False
Let o be 4/6 - (-4956)/(-63). Let u = o + 130. Is 13 a factor of u?
True
Does 53 divide (-2 + 962)/2 + -3 + 0?
True
Suppose -8*q - 7*q = -3960. Does 77 divide q?
False
Let v(b) = 27*b + 5 + 31*b - 6*b - 9*b. Let j be v(7). Suppose j = 13*