2 - o). Let v = -22 - d. Does 4 divide v?
True
Let l(j) = 3*j**2 + 10*j + 1. Let v(r) = 4*r**2 + 10*r + 1. Let i(q) = -3*l(q) + 2*v(q). Suppose 0 = -5*t + 7 - 42. Does 11 divide i(t)?
False
Suppose 5*a - h = 2*h + 2883, 3*a + 2*h - 1745 = 0. Suppose -3*u - 377 = -5*u - v, 3*u = 3*v + a. Is 17 a factor of u?
False
Let p = 189 + 351. Does 9 divide p?
True
Let h(n) = 94*n - 333. Is 2 a factor of h(4)?
False
Suppose 5*z - 4615 + 505 = 0. Is 6 a factor of z?
True
Suppose 9*c = -5*c + 8400. Is c a multiple of 30?
True
Is (5 - (-95 + -6)) + -5 a multiple of 39?
False
Suppose 0 = -g + 2*g - 42. Suppose -25*x + 27*x + 2*q - 62 = 0, q + 56 = 2*x. Let z = g - x. Is 2 a factor of z?
False
Let m = 2463 + -1443. Is 30 a factor of m?
True
Let k = -797 - -1504. Is k a multiple of 14?
False
Let p = 3929 + -1379. Is p a multiple of 25?
True
Suppose -13*s = -17*s + 24. Let v be (-84)/10*(-3 + -2). Does 7 divide (-237)/(-7) + s/v?
False
Suppose -290 = -4*u - u. Suppose 4*d + 68 = -i, 2 = -d + i - 10. Let l = u - d. Is l a multiple of 20?
False
Suppose 3*p - 13 = -2*f, f - 3*p = -0*f - 16. Let d be (-29 - f/(-1))*-4. Is 9 a factor of (-7 + 4)*d/(-9)?
False
Let r(j) = j**3 - 3*j**2 - j - 1. Let l be r(2). Let c(m) = -m**3 - 7*m**2 - m + 7. Is c(l) a multiple of 7?
True
Is 16 a factor of -3 - ((-176)/(-132))/(2/(-1425))?
False
Let a(p) be the first derivative of -1/4*p**4 + 0*p**2 - 2 - 1/3*p**3 + 28*p. Is a(0) a multiple of 11?
False
Suppose -b + 2*a = -7, 4*b = -0*a + a + 28. Suppose 0 = -f + 5 + b. Is 26 a factor of -4 - (-201)/(f/4)?
False
Let s(o) = 26*o**2 + 155*o + 30. Is s(-12) a multiple of 87?
True
Suppose h - 8 = 18. Let f = h - 16. Is 5 a factor of f?
True
Let f = 9 - 1. Let a(p) = -p**2 + 9*p - 5. Let t be a(f). Suppose -294 = -5*l - 3*g, 0*g = t*l - 3*g - 186. Is l a multiple of 24?
False
Suppose 4*w + t = 2, -3*t - t - 6 = 2*w. Let r(c) = 21*c - 41*c - w + 22*c. Is r(6) a multiple of 3?
False
Suppose 38*i - 318 = 36*i. Is 71 a factor of i?
False
Suppose -j = -6*j + 15. Let t be j*4/(4/(-7)). Let y = t - -75. Is 18 a factor of y?
True
Does 113 divide 2566 - (0/1)/(-6 + 8)?
False
Let q(v) be the third derivative of -v**4/24 - v**3/3 + 4*v**2. Let x be q(3). Let i(s) = 3*s**2 + s - 1. Does 23 divide i(x)?
True
Suppose 5 = -n + 7. Suppose -i + 4 - n = 0. Suppose 0 = -4*k + i*g - 6*g + 372, -k + 3*g = -81. Is 19 a factor of k?
False
Let t be (-2*1)/((-292)/60 + 5). Is (-1247)/t + (-20)/150 a multiple of 27?
False
Suppose 9 = -2*l + 5*l + 5*t, t - 12 = -4*l. Suppose -7*u + l*u = -48. Is 4 a factor of u?
True
Let z(m) = 9 + 21*m - 30 + 3*m + 0. Does 22 divide z(7)?
False
Suppose -r - 24 + 30 = 0. Suppose r*d - 4*d + i = 635, 1250 = 4*d - 2*i. Is 50 a factor of d?
False
Suppose -27*g = -19*g - 1264. Does 9 divide g?
False
Suppose -5*p = 0, -4*v + 0*v + 16 = -p. Is 18 a factor of (-282)/9*(-7 + v)?
False
Is 817/13 + 16/104 a multiple of 9?
True
Is 40 a factor of 600/420*(1203 - -1)?
True
Let z = -695 - -71. Let t = -3 + -7. Is 4/t - z/10 a multiple of 31?
True
Suppose 371 = 3*m + 5*u, -129 = -m + 8*u - 11*u. Is m a multiple of 12?
False
Let l(k) = 12*k**2 - 8*k - 57. Does 23 divide l(-7)?
False
Is 45 a factor of (-12)/20 + 1*(-3106)/(-10)?
False
Let k(h) = -h**3 + 14*h**2 + 14*h + 20. Is 14 a factor of k(11)?
False
Suppose -239 = -3*w + 2398. Is w a multiple of 69?
False
Suppose 0*a = a + 81. Let t = 151 + a. Is t a multiple of 28?
False
Suppose 4 = -m + 10. Suppose 0 = -p - m*p + 140. Is 5 a factor of p?
True
Suppose 10*a - 25*a = -3690. Is a a multiple of 12?
False
Suppose -4*j + 138 = -2*t, 43*j = 48*j - 4*t - 168. Does 12 divide j?
True
Let a(m) be the third derivative of m**5/5 - m**4/8 + m**3/2 - 9*m**2. Let o be a(2). Is 18 a factor of 3231/o + (-2)/(-10)?
True
Let z(i) = -i**3 + 9*i**2 + 12*i - 7. Let y be z(10). Let l(o) = o**3 + 4*o**2 - 4*o - 6. Let h be l(-5). Let p = y - h. Is p a multiple of 20?
False
Is 51 a factor of ((-45)/10)/(7/(-1652))?
False
Suppose 38*m = 23*m + 9000. Is 7 a factor of m?
False
Suppose 5*q + 683 - 5313 = 0. Is q a multiple of 17?
False
Does 74 divide (4 - (-290)/(-70)) + 3111/21?
True
Suppose -3*l - 2*l = -15, 0 = 5*t + l + 172. Let m = 42 + t. Does 3 divide m?
False
Suppose 5*x - 3*k = k + 222, -4*x + 4*k = -176. Let r = x - 26. Is 7 a factor of r?
False
Let o(r) = 174*r - 336. Does 12 divide o(12)?
True
Let z be 4338/27*3/2. Suppose 2*l = 5*r - 0*l - 407, 3*r - 2*l - z = 0. Suppose 0 = -4*w - 2 + 18, -3*g = 5*w - r. Does 8 divide g?
False
Let m = 3217 + 787. Is m a multiple of 77?
True
Suppose -20*f = -25*f + 1370. Suppose 4*s = 3*r - f, -115 = -3*r - 3*s + 131. Does 22 divide r?
False
Suppose 8*a - 15 - 33 = 0. Suppose a*l - j - 159 = 2*l, 0 = -3*l + 2*j + 118. Is 8 a factor of l?
True
Suppose -2 = -u + 3, -2*l - 1 = -5*u. Suppose 0 = -l*p + 10*p + 126. Is 9 a factor of p?
True
Let g be (4/(-6))/((-2)/39). Suppose -5*m + 104 = -3*j, 3*j = 4*m - 162 + 53. Let o = g - j. Does 14 divide o?
True
Suppose 0 = 4*a + 4*l + 8, 3*a = -3*l - 2*l - 6. Let o(w) = -10*w - 4. Let v(s) = 1. Let q(c) = o(c) + 3*v(c). Is 19 a factor of q(a)?
True
Is 3 a factor of (4/16)/(9/432)?
True
Suppose -4*u + 420 - 436 = 0. Suppose 3*g = -g - 248. Does 9 divide g*(-2)/4 + u?
True
Let t be (-4)/18 + 16760/(-72). Let y = t - -633. Suppose 4*x - y = -x. Is x a multiple of 16?
True
Let v(a) be the second derivative of 23*a**3/3 - 29*a**2/2 - 32*a. Is 57 a factor of v(4)?
False
Let g(w) = w**3 + 8*w**2 + 8*w - 22. Let r be g(-6). Let b = 183 + -78. Suppose r*p = v - 0*v + 37, -5*p = -5*v - b. Is 4 a factor of p?
True
Let z = -1839 + 2228. Does 2 divide z?
False
Suppose 2*r + v - 14 = 0, 4*v - 2*v + 14 = 2*r. Let n(z) = -3*z + 3. Let j(f) = f - 1. Let t(o) = 2*j(o) - n(o). Is 10 a factor of t(r)?
True
Let m(v) = -1. Let i(g) = g - 1. Let a(b) = i(b) - 2*m(b). Let p be a(-1). Suppose 17*x - 18*x + 8 = p. Is x even?
True
Let j be (4/(-28) + 18/(-21))*17. Let n(z) = -2*z - 20. Is n(j) a multiple of 10?
False
Let w(q) = 19*q - 321. Is 8 a factor of w(21)?
False
Suppose 4*u - 1130 = 5594. Suppose -u + 446 = -5*d. Is 41 a factor of d?
False
Suppose -l + 4*i + 1348 = l, 0 = 2*l + 5*i - 1384. Is l a multiple of 22?
True
Suppose -z - 4 = -2*z, -12 = -4*g - z. Suppose 0 = g*l + 9*l - 2035. Does 17 divide l?
False
Does 13 divide 5*1 + 440/(12 - 7)?
False
Let l = 846 - 396. Is l a multiple of 19?
False
Suppose -3*s = -s - 8. Let i(m) = m**3 - 5*m**2 + 6*m - 4. Let v be i(s). Suppose -k - 5*h = -39, -3*k + 0*h - v*h = -117. Does 10 divide k?
False
Let q = 36 + -21. Let l = -25 - q. Let f = -19 - l. Does 3 divide f?
True
Suppose -469 = -10*o - 139. Is o a multiple of 14?
False
Let y = 217 + 53. Let s = -193 + y. Is 11 a factor of s?
True
Let j(h) = -105*h**3 + 11*h + 6. Is j(-3) a multiple of 72?
True
Suppose 3*v = 2*v + 25. Is 10 a factor of 654/15 + 10/v?
False
Suppose -5*n + h = -32, -3*n - 4*h = n - 40. Does 4 divide n/(14/36) - 2?
True
Let z(f) = -134*f - 79. Does 9 divide z(-2)?
True
Suppose 69 = -i - 5*y, -i + 3*y = -2*y + 119. Let p = -34 - i. Let d = p - 32. Is 14 a factor of d?
True
Suppose 4*b = 2*k + 8, k - b = -5*b + 14. Let a(d) = 26*d - 7. Is a(k) a multiple of 12?
False
Let x = 11 + -13. Let y(v) = 21*v**2 - 4*v - 2. Let i be y(x). Suppose -i = -3*c + 27. Is c a multiple of 13?
True
Let v = -571 - -1317. Is v a multiple of 11?
False
Suppose -12*t = -20*t + 2592. Does 18 divide t?
True
Let v(s) = -s**2 + 14*s - 38. Let p be v(10). Let t(i) = -33*i + 17. Let b(u) = -8*u + 4. Let a(d) = -26*b(d) + 6*t(d). Is 9 a factor of a(p)?
True
Let m = 129 - 93. Is m a multiple of 2?
True
Does 26 divide (0 - (-15)/(-10)) + 785/10?
False
Let k = -982 - -2777. Does 18 divide k?
False
Let l be -3 - (-2 + 31)/1. Let v = l - -90. Does 12 divide v?
False
Suppose 10158 = 5*j - 4*c - 5728, 0 = 2*j + c - 6344. Is 41 a factor of j?
False
Let a = 173 - -47. Is a a multiple of 15?
False
Let l = 26 + -12. Let z = 17 - l. Suppose -s - 78 = -z*s. Does 13 divide s?
True
Let j = 13 + -5. Suppose 0 = 3*v - v - j. Suppose -v*r + 77 = -115. Is r a multiple of 16?
True
Let u(y) = 4*y + 5. Let a be u(0). Suppose -3*b - g - 3*g - 368 = 0, 622 = -a*b + 2*g. Is 14 a factor of ((-15)/10)/(6/b)?
False
