n(-3). Let o = -46 - -61. Is 15 a factor of o/(-4)*(9 + f)?
True
Let i = -1647 + 2559. Does 3 divide i?
True
Let v(z) = 120*z**2 - z + 23. Is 55 a factor of v(3)?
True
Let s = -390 - -394. Let u(n) be the third derivative of n**4/24 - n**3/6 - n**2. Does 2 divide u(s)?
False
Let x(b) = 2*b**2 + 14*b - 13. Let u be x(-12). Let l = u + 167. Does 18 divide l?
False
Let p(g) = 7*g**3 + 3*g**2 - g - 2. Let u be p(-1). Is 13 a factor of (-4)/u + 3927/35?
False
Suppose -2*t + 372 = 3*h - 1051, -5*t + 483 = h. Is 11 a factor of h?
True
Suppose 2*m - 10 = m. Let w be 65/m + (-2)/4. Does 12 divide (w/7)/(3/84)?
True
Let z = 554 + -518. Is z a multiple of 2?
True
Suppose b + 2*f = 12, 0*f - 5*f + 25 = 0. Suppose 3*v = -1 - b. Let c(d) = -25*d**3 - 1. Is c(v) a multiple of 17?
False
Suppose 0 = 104*y - 84*y - 6920. Is 3 a factor of y?
False
Suppose 0*q = -q - 12. Let p(a) be the third derivative of a**5/60 + a**4/6 - 2*a**3 - 14*a**2. Is 22 a factor of p(q)?
False
Let u = 23 - 16. Suppose -252 = -3*y + u*y. Does 14 divide (-16)/12*y/6?
True
Suppose 275*t = 284*t - 1656. Is t a multiple of 46?
True
Let u = 13 + -11. Let a be 2/(-4) - (-9)/u. Suppose -a*m = m - 140. Does 26 divide m?
False
Let m(c) = 3 + c**2 - 5*c**2 + 3*c**2 - 7*c. Let d be m(-7). Suppose w - d*w + 62 = 0. Is w a multiple of 7?
False
Let u = 5688 + -3281. Does 37 divide u?
False
Let p(m) be the third derivative of 0*m + 0*m**4 + 1/60*m**5 - 8*m**2 + 7/2*m**3 + 0. Is 7 a factor of p(0)?
True
Let i(o) = o**2 - 5*o + 2. Let u be i(5). Let t(q) = 39*q + 3. Let a be t(u). Is 27 a factor of a*1 + 0/(-1)?
True
Suppose -1885 = -n - 4*t, 0 = -5*n + 5*t - 7*t + 9371. Is n a multiple of 19?
False
Let g(v) = v**3 - 17*v**2 - 23*v - 18. Let y be g(18). Let o = 39 - y. Is 18 a factor of o?
False
Suppose -15*w + 70532 = 62*w. Is w a multiple of 7?
False
Let m = 150 + -41. Is m a multiple of 16?
False
Suppose -x - 4*x - 110 = 0. Let m = 24 + x. Suppose 3*o = -2*s + 59, -o + 6 + 19 = -m*s. Is 7 a factor of o?
True
Let z(w) = -11*w**3 + 18*w**2 + 15*w - 10. Let d(o) = -4*o**3 + 6*o**2 + 5*o - 3. Let s(g) = -8*d(g) + 3*z(g). Let u = -3 + 9. Is s(u) a multiple of 13?
False
Let f(g) = g**2 - 11*g - 2. Let c be f(10). Let q be (-93)/c - 3/(-12). Suppose 0 = 5*t - 82 - q. Is 18 a factor of t?
True
Let c be 8/(-12) + 28/6. Suppose -5*i + 5 = -c*i. Suppose 2*u - i*n - 35 = 0, -3*u + 2*u = -n - 25. Is u a multiple of 10?
True
Let d(x) be the second derivative of -x**5/20 + x**4/2 + x**3/3 - x**2/2 - x. Let k be d(6). Suppose -2*b + 2*g = -81 + k, 0 = -4*b - g + 165. Does 15 divide b?
False
Let l(v) = 12*v**2 - 5*v - 30. Is l(-6) a multiple of 12?
True
Suppose -3*q = -4*a - 2415 + 184, -757 = -q - 2*a. Does 13 divide q?
False
Is 8/(240/3890) + 1/3 a multiple of 10?
True
Is 50 a factor of (1410/12 + -1)*(-12)/(-2)?
False
Let m(c) be the first derivative of -c**4/4 + 5*c**3/3 + 4*c**2 - 2*c + 20. Does 10 divide m(-4)?
True
Suppose 0 = -29*x + 13*x + 5200. Does 65 divide x?
True
Suppose 0 = -4*k - 2*u - 2 + 6, 4*k + 5*u = 10. Let a = k - -4. Is 3 a factor of a?
False
Let y be 3*165 + 7 + -7 + -3. Let w = -180 + y. Does 52 divide w?
True
Suppose 4*t + 2*d = -4, -16*t + 17*t - 5*d + 1 = 0. Is 19 a factor of 10/(-45)*219*t*6?
False
Let t(f) = -2*f**3 - 7*f**2 + 17. Let p be t(-7). Suppose -2*b = 3*b - p. Is 9 a factor of b?
True
Suppose -3*s + 101 - 95 = 0. Does 9 divide (((-32)/24)/s)/((-4)/1158)?
False
Let t = 868 - 285. Is t a multiple of 42?
False
Suppose 2*u = -4*s + 1361 + 1531, 2*u - 2882 = s. Is u a multiple of 98?
False
Suppose 0 = -3*a + 13 + 2. Suppose -a*r = -7*r + 68. Is r a multiple of 17?
True
Let a = 278 - -282. Is a a multiple of 40?
True
Suppose h - 2 = -3. Let v(l) = l - 3. Let x be v(7). Is 3 a factor of h/(x/(-56)*2)?
False
Does 6 divide (-12)/(-18)*(3565/10 - -2)?
False
Let n be 1*-2 - 24/(-4). Suppose 2*z = n*p + 12, -z - 4 = -2*z. Is 10 a factor of 0 + p - (-52)/2?
False
Suppose -c + 506 - 158 = n, 5*c = -n + 368. Is 24 a factor of n?
False
Let o(t) = -7*t - 4. Let q(f) = 2*f + 1. Let s(d) = -3*o(d) - 8*q(d). Is 19 a factor of s(11)?
False
Let j be 68*1*12/8. Let h be 2/9 + 425/153. Suppose -h*l - 3*f = -0*f - j, 2*f + 88 = 2*l. Is l a multiple of 13?
True
Let m(v) = -5*v**3 + v**2 - v + 3. Let t = -42 - -38. Let u be m(t). Let p = u + -227. Does 20 divide p?
False
Suppose -4*g + 89 = -2*h - 315, 0 = h + 2. Suppose -9*q - 30 = -19*q. Suppose g = q*j - j. Is 25 a factor of j?
True
Let m(u) = -2*u - 4. Let s be m(3). Let c(i) = i**3 + 10*i**2 + 9. Let v be c(s). Is (3 - -2) + -5 + v a multiple of 6?
False
Let p = -136 + 280. Does 24 divide p?
True
Suppose -54*y = -53*y - 288. Is y a multiple of 9?
True
Let i(g) = -g**3 - 2*g**2 + 3*g - 6. Let u be 4/6*(-4 - 2). Let r(w) = -w**3 - 3*w**2 + 3*w - 5. Let y(n) = u*r(n) + 3*i(n). Is 5 a factor of y(-6)?
True
Suppose 15*j - 1881 = 1224. Is j a multiple of 5?
False
Let s(l) = l**3 + l**2. Let p be s(-1). Suppose -5*q + 3*c + 216 = p, 50 = -q + 2*q - 4*c. Suppose 2*i + i - w - q = 0, -3*w - 28 = -2*i. Is i a multiple of 7?
True
Let l = 36 - 34. Suppose l*r = 5*b + 8, 0*r = 3*r + 3*b - 33. Is r even?
False
Suppose 10*l = 34*l - 11760. Is l a multiple of 16?
False
Let u be (16/(-24))/(1/(-3)). Suppose 3*w = -u*w + 75. Is w a multiple of 3?
True
Let u = 71 + -67. Suppose -u*f - f - 13 = -m, 3*f - 3 = -3*m. Is 3 a factor of m?
True
Suppose -4 = 4*p - 6*p. Let t = p + -4. Let a(c) = 6*c**2 - c. Does 10 divide a(t)?
False
Suppose 94 + 1 = -5*g. Let l(w) = -w**2 - 20*w - 19. Let h be l(g). Is 5 + (h - 4) + 44 a multiple of 15?
True
Suppose 0 = -2*m + 4, -2*j + m + 12 = -0*m. Let y(q) = 9*q**2 - 1513*q + 0*q**2 + 1508*q - q**3 - 2. Does 15 divide y(j)?
False
Let g(i) = -3*i**3 + 94*i**2 + i - 59. Let z(t) = -t**3 + 31*t**2 - 20. Let o(m) = 2*g(m) - 7*z(m). Is 16 a factor of o(29)?
True
Let x be 4*1 + (-871)/(-13). Suppose -9 - x = -4*q. Suppose -4*n + q = l, 0*l = l - n - 30. Does 9 divide l?
False
Let w be (-18)/63 - (-435)/(-21). Let k(n) = 5*n + 7. Let v be k(-8). Let h = w - v. Is 3 a factor of h?
True
Let d(u) = -8*u - 79 + 79. Is d(-4) a multiple of 4?
True
Let i(w) = -w**3 + 6*w**2 + w + 2. Let d be i(6). Let z = d - -40. Is 8 a factor of z?
True
Let a be -71 + 2*(-2)/4. Let u = a - -119. Is u a multiple of 24?
False
Suppose 4*j - 5*w + 2*w - 2889 = 0, -5*w = 4*j - 2865. Is 12 a factor of j?
True
Is 9 a factor of (12 + -8)/((-12)/(-729))?
True
Let f = -59 - -62. Suppose -2*s + f*q + 33 = 0, 24 = 3*s - 2*s - 3*q. Is s a multiple of 5?
False
Suppose -89745 = -37*m - 7457. Is m a multiple of 8?
True
Suppose 3*d = u + 531, -2*u - 315 = -2*d + 39. Is 12 a factor of d?
False
Suppose -1250 = -3*c - 2*m + 3*m, -4*c - 4*m = -1688. Let q = c + -283. Is 8 a factor of q?
False
Let c be (2 + -8)*-2*(-5)/(-10). Suppose 61 + c = u. Does 12 divide u?
False
Let b = 29 - 30. Let k(i) = -i**2 - 2*i - 1. Let o be k(b). Let u = o + 18. Is 11 a factor of u?
False
Let m = -34 - -36. Suppose -m*f - 24 = -v, -v - 5*f - 5 = 6. Does 4 divide v?
False
Suppose 5*r - 115 = -4*p, r + 3*r - 92 = p. Let q = -19 + r. Suppose 4*w = -y + 101, q*y = -4*w + 65 + 279. Is y a multiple of 25?
False
Let z(i) = -i**2 + 118*i - 354. Is z(54) a multiple of 47?
True
Let t(c) = c**3 - 11*c**2 + 11*c + 9. Suppose 1 + 5 = -3*h. Let f be ((-13)/(-39))/(h/(-60)). Is t(f) a multiple of 7?
False
Let w(c) = 21*c**2 - 128*c + 375. Is w(3) a multiple of 12?
True
Let l(b) = -10*b - 45. Let n be l(-5). Let g(c) = -c + 53. Is 8 a factor of g(n)?
True
Let t be ((96/4)/(-4))/(-2). Suppose -3*r - 6 = 9, 0 = -t*x + 5*r + 46. Suppose -4*c + 44 = l, 3*c - l - 26 = x. Does 11 divide c?
True
Let m(c) = 7*c**2 - 2*c - 1. Let h be m(-1). Let i be (-2048)/(-14) - h/28. Suppose -5*t + 174 = -i. Is 16 a factor of t?
True
Let f = 1179 - 659. Suppose 13*b = 9*b + f. Does 19 divide b?
False
Suppose 3 = 4*y + 3*k, -4 + 0 = 5*y - 4*k. Suppose y = 3*p - 8 + 2. Suppose 3*z - 84 = -p*b, 4*b + 5*z = 169 - 3. Is 15 a factor of b?
False
Let p = 60 + -20. Suppose 2*m = -2*a + p, -2*a + 4*m = -0 - 34. Suppose 3*v + o = 42 - 7, -5*o = 2*v - a. Is v a multiple of 12?
True
Let k(g) = 4*g**2 + 10*g - 40. Does 42 divide k(16)?
False
Suppose -11 = -n + 3. Is -2*(-7)/(n/20) a multiple of 10?
True
Is 13 a factor of (-57012)/(-66) + (-2)/(-11)?
