(-2)/(3 + 1))?
False
Suppose -4*v + 0 + 28 = 0. Suppose s - v + 3 = 0. Suppose s*l - 5*a = 139, l - 5*a + a - 32 = 0. Does 12 divide l?
True
Let f(n) be the second derivative of n**4/12 - n**3/2 + 10*n**2 - 12*n. Is f(-7) a multiple of 18?
True
Let t be ((-24)/15)/((-6)/15). Suppose -2*m = -t*m + 110. Let n = m + -21. Is n a multiple of 9?
False
Let m(h) = 3*h + 7. Suppose -3*q + 15 = -3. Does 5 divide m(q)?
True
Let c = 7 + -18. Let p = 51 + c. Does 9 divide -4 + p/1 + -3?
False
Does 18 divide (6/9)/((12/(-4293))/(-2))?
False
Suppose 194 = -o + 780. Does 19 divide o?
False
Let x = -214 + 661. Does 12 divide x?
False
Suppose -4*m = -5*s - 797, 3*m - 343 - 216 = -4*s. Does 83 divide m?
False
Let u(q) = -1 - 4*q + 0 + 4 + 3*q. Is 4 a factor of u(-2)?
False
Let v be (70/15)/(2/3). Let s(m) = 3*m - 19. Let f be s(v). Suppose 0 = 2*t - 54 - f. Is 7 a factor of t?
True
Let t(k) = -k**2 - 9*k - 5. Let f be t(-8). Suppose 5*a + 3*y - 17 = 0, a - f*y = -y + 6. Suppose 81 = a*w + 13. Is w a multiple of 10?
False
Let m(j) = j**3 - 2*j**2 + 3. Let q be ((-5)/10)/(2/(-12)). Is 6 a factor of m(q)?
True
Let z = -15 - -53. Does 2 divide z?
True
Suppose 2*m + 2*s + 0 - 32 = 0, 5*s + 46 = 2*m. Is 9 a factor of m?
True
Is 446 + -7 + 8 + 6 + -3 a multiple of 18?
True
Suppose r = 35*r - 5848. Is r a multiple of 11?
False
Let i = 192 - 148. Does 8 divide i?
False
Suppose 0*b - 3*c - 15 = -b, 4*b = 4*c + 28. Suppose -5*s = -o - 161, b*o = -4*s - o + 148. Let t = s - 19. Is t a multiple of 3?
False
Suppose -4*q - 403 = -3*t - 0*t, 2 = -2*q. Let c = -4 + t. Let i = -84 + c. Is 16 a factor of i?
False
Let p be 10/8 + 2/(-8). Suppose -22*t = -15 - 73. Is 3 a factor of ((-2)/t)/(p/(-28))?
False
Is (-78 - -82)*341/2 a multiple of 31?
True
Let n(k) = -k**2 - 8*k - 3. Let r be (-5)/(20/(-8)) - -1. Suppose 2*t + u + 2*u + 4 = 0, -7 = r*t + 4*u. Is n(t) a multiple of 6?
True
Suppose 3*l - r - 182 = 0, 2*r = -r + 3. Is l + 16/(-12)*-3 + -8 a multiple of 3?
True
Suppose 3*x + 0 - 12 = 0. Let u be (-1 + 0)/(x/(-32)). Suppose u = a - 20. Does 22 divide a?
False
Suppose 5292 = -38*t + 50*t. Is t a multiple of 11?
False
Suppose 3*m = 42 + 18. Suppose -5*j = -2*u + 6*u - m, -4*u + 20 = -3*j. Suppose j = 6*d - d - 235. Does 15 divide d?
False
Let d be -22*9/6 - -3. Let l = d - -150. Is l a multiple of 26?
False
Let m(z) = 5*z + 4. Let s be m(9). Let n = -2 + s. Does 6 divide n?
False
Suppose -1010 = -5*f - 5*z, 0 = 2*f + 3*z - 6 - 402. Is 4 a factor of f?
False
Let x(j) = -75*j - 15. Is x(-3) a multiple of 14?
True
Suppose 2*a - k - 2 = -2*k, 4*a - k - 16 = 0. Suppose -5*z - 8 = -a. Is 10 a factor of 36 + (-12)/(-3)*z?
False
Suppose 3*a - 9 = 3. Let u = a + -35. Let l = -14 - u. Is l a multiple of 10?
False
Let d(p) = -9*p**2 - 4*p**3 + 10 - 3*p**3 + 8*p**3 + 11. Is d(9) a multiple of 12?
False
Suppose -43 - 119 = h + 3*w, 3*w + 666 = -4*h. Let l = -118 - h. Does 10 divide l?
True
Suppose -10*o + 194 = -16. Let a = 108 + o. Does 41 divide a?
False
Let t(c) = c**3 - 14*c**2 - 12*c + 19. Suppose 59 = 10*b - 91. Is t(b) a multiple of 7?
False
Is 10 + 191 + 3 - 6 a multiple of 2?
True
Suppose -2*i + 2*q - 2 = 0, -2*q + 6 = i - 2*i. Suppose 37 = 3*o + 4*v - 15, 2*o - i*v - 8 = 0. Does 12 divide o?
True
Suppose 2*c = 3*p + 195, 0 = 3*c - 3*p - 48 - 249. Let b = 35 + -98. Let i = b + c. Is i a multiple of 5?
False
Let d = -289 + -443. Let w be (-5)/25 + (-352)/(-10). Is 15 a factor of (-10)/w + d/(-14)?
False
Let k(y) = 2*y**2 - 2*y - 7. Let n be k(9). Let j = n + -47. Suppose -3*u + j = -u. Is 16 a factor of u?
False
Suppose 0*q + 2*q - 715 = 5*d, -3*q + 1068 = -3*d. Suppose 4*h = -w + 16 + 55, -5*w = 2*h - q. Suppose -w = 5*b - 356. Is 10 a factor of b?
False
Suppose -2*n - 8*o + 549 = -3*o, -4*o = 3*n - 820. Does 17 divide n?
True
Let f(y) = 31*y + 12. Let c(u) = -5*u - 2. Let s(l) = -39*c(l) - 6*f(l). Let g be s(9). Is 1/((-258)/g + 3) a multiple of 14?
False
Suppose 0 = -2*m - c + 5*c, -15 = -4*m + 3*c. Suppose -336 = 2*u - m*u. Suppose -u = -3*f + 177. Is 30 a factor of f?
False
Let x(n) = -n**2 + 7*n + 4. Let r be x(7). Let h(g) = g**2 + 2*g - 3. Let f be h(r). Does 11 divide -2 + f - (-5 + 2)?
True
Let o be 4/5*50/(-4). Suppose -q - 2*q + g - 107 = 0, -g = 5*q + 181. Let f = o - q. Does 6 divide f?
False
Let n = 52 - 28. Let d = n - 9. Is 3 a factor of d?
True
Let s(o) = -2*o**2 + 27*o - 25. Does 3 divide s(11)?
True
Let o = -5 - -9. Suppose r = -3*g - r - o, -4*g = r + 2. Suppose 3*f = -g*f + 18. Is f a multiple of 6?
True
Let t(n) = n**3 + 4*n**2 - 5*n + 7. Let r be t(-5). Let p(c) = c**3 - 8*c**2 + 7*c + 3. Let y be p(r). Does 14 divide (-63)/(-4)*8/y?
True
Suppose -m + 3*n = -46, -2*m + n - 2*n + 106 = 0. Let c = m - -15. Is 5 a factor of c?
False
Suppose -30 = -4*c + 226. Let q = c - 112. Let l = q + 81. Is l a multiple of 11?
True
Suppose 1554 = 7*n - 49. Does 8 divide n?
False
Suppose 19*d = 26*d - 1113. Let w = -24 + d. Is w a multiple of 19?
False
Let r be 331/7 + 8/(-28). Let w = -25 + r. Suppose -2*o + 5*j = -w, -7*o = -2*o - 3*j - 36. Is o a multiple of 6?
True
Let b = -90 + 93. Suppose h - 4*h + 39 = b*r, 0 = 2*r + 5*h - 26. Is 3 a factor of r?
False
Let u(z) = 368*z + 3. Let h be u(3). Suppose 5*p + 313 = -i, -p - h = 4*i + 202. Does 18 divide (-1 + -2)*i/12?
False
Let g(r) = -r - 10. Let a be g(-12). Let z be 20/16*(a - -2). Let v(h) = -h**3 + 5*h**2 + h. Does 5 divide v(z)?
True
Let l be 1 + (-7)/((-28)/8). Is 3 - (l*1 - (-5 + 88)) a multiple of 14?
False
Let t = -183 - -243. Does 30 divide t?
True
Let p(i) = 18*i**2 - 11*i - 4. Does 10 divide p(4)?
True
Let i = 4 + 1. Suppose 508 = i*c - 1202. Suppose -5*k = 2*g + g - 344, -5*k - 4*g + c = 0. Is 21 a factor of k?
False
Let r = 792 + -415. Is r a multiple of 13?
True
Let p(m) be the second derivative of -m**4/12 + 7*m**3/6 + m**2 - 15*m. Is 4 a factor of p(5)?
True
Suppose -2*r + 3*k + 8552 - 3377 = 0, -2587 = -r + 2*k. Is 25 a factor of r?
False
Let r = 300 - 435. Is 9/(r/(-20))*6 a multiple of 8?
True
Let n be (-4)/(-6)*18/(-12). Let l(z) = -7*z - 3. Is l(n) even?
True
Let f = 2827 + -1827. Suppose -r = 9*r - f. Is r a multiple of 25?
True
Suppose -2*c + 25 = -5*s, 0*s + 2*s = c - 11. Let w(d) = 11*d - 30. Is 5 a factor of w(c)?
True
Suppose 3*x + 71 = 4*n, 0 = 5*n + x - 3*x - 94. Let k = n - 12. Suppose -5*h + 35 = 5*i, 3*i = -2*h + 16 + k. Is 5 a factor of i?
True
Let p = -15 - -21. Let i be -3758 - (-3)/(-9)*p. Does 11 divide 2/7 - i/70?
False
Let l(y) = -y**3 + 24*y**2 + 48*y + 37. Is l(25) a multiple of 36?
True
Suppose 0 = -8*c + 3*c + 175. Suppose 219 = 2*b + c. Let q = -60 + b. Is 10 a factor of q?
False
Let z(p) = 15*p - 329. Is z(39) even?
True
Let r(j) = -3*j - 18. Let n(d) = -2*d - 17. Let w(y) = 4*n(y) - 3*r(y). Let u be w(14). Is 14 - 1 - u/8 a multiple of 9?
False
Let z(u) be the first derivative of 2*u**3/3 - 8*u**2 + 7*u + 2. Let l be z(11). Let r = -31 + l. Is r a multiple of 14?
True
Let l(g) = g**2 + 26*g + 35. Is 2 a factor of l(-26)?
False
Let f(n) = -n**3 - 27*n**2 - 32*n + 4. Does 20 divide f(-26)?
True
Let m(x) = 5*x**3 - 4*x**2 + x - 1. Let i(n) = 14*n**3 - 11*n**2 + 2*n - 3. Let v(b) = 4*i(b) - 11*m(b). Let w be v(-2). Does 9 divide 1 + 3 + 20 - w?
True
Let n(k) = -2*k - 12. Let f = 16 - 23. Let x be n(f). Suppose 5*b - 39 = x*b. Is 13 a factor of b?
True
Let d(f) = -3*f - 9. Let g be d(-3). Let i = g + 17. Is i a multiple of 3?
False
Let a(c) = c**3 + 3*c**2 + 46*c - 28. Is 43 a factor of a(14)?
False
Let y(x) = -54 + x**3 + 2*x + 32 + 4*x**2 + 31. Let z be y(-4). Suppose 0 = 4*t + z - 17. Does 3 divide t?
False
Suppose 3*n - 8*n - 20 = 0. Let x(i) = -i. Let o be x(n). Suppose 0 = -3*g + o*u + 31, 2*g - 4*u = -2*g + 48. Is 7 a factor of g?
False
Let w(j) = j**3 + 4*j**2 + 3*j + 10. Let h be w(-4). Is 5748/72 - h/12 a multiple of 38?
False
Suppose -2*s + 276 = -2*g, 0 = -0*g + g - 1. Suppose k - p = -4*k + 133, -5*k + 3*p = -s. Is (k/(-65))/(1/(-140)) a multiple of 30?
False
Let b be (-1)/6 + (-266)/(-84). Suppose -540 = -x - b*x. Is x a multiple of 14?
False
Is 3 a factor of (-183)/(3*(-1)/5)?
False
Let g(z) = -35 + 9*z + 35 + z**2. Does 13 divide g(-13)?
True
Does 2 divide 1 + 11/((-22)/(-6))?
True
Let x(k) = k**2 + 29*k + 165. Does 9 divide x(-24)?
True
Suppose 5*c = -v + 40, 5*v 