Let y(r) = -r**2 + 5*r + 7. Let d be y(6). Does 25 divide ((-2)/4)/((-3)/546) - d?
False
Suppose -10*k + 180061 - 5911 = 0. Suppose 19*s = -26*s + k. Is s a multiple of 88?
False
Is -320*((-200)/15 - (2/(-3))/(-1)) a multiple of 32?
True
Let b(q) = -24*q**3 - 18*q**2 - 24*q. Is b(-6) a multiple of 26?
True
Is ((-20315)/(-255))/(3/531) a multiple of 110?
False
Suppose -34785 = -66*x + 106563 + 41604. Is x a multiple of 12?
True
Suppose 14*f - 57 = 4*z + 19*f, 2*z + 3*f + 27 = 0. Let o be ((-44)/10)/((-2)/(-10)). Is 27 a factor of (-1822)/z + o/99?
False
Let f = -73 + 76. Suppose 5*o = -2*z + 588, -5*z = -f*o - o - 1503. Does 23 divide z?
True
Suppose 392080 = -920*n + 1036*n. Does 130 divide n?
True
Let t be 688/6 - (-14)/42. Suppose 4*w - 124 = 4*l, -5*l - 3*w = 2*w + t. Let d = 28 - l. Is d a multiple of 22?
False
Let z = -6 - -10. Let a(d) be the second derivative of 7*d**4/12 + d**3/2 + 9*d**2/2 + d + 1. Is a(z) a multiple of 33?
False
Let v(x) be the third derivative of -x**6/120 + x**5/60 - x**4/24 + 9*x**2. Let s(n) = -n**3 + 7*n**2 - 11*n - 3. Let i(d) = s(d) - 2*v(d). Does 5 divide i(-6)?
True
Let o = -286 + 1474. Is o a multiple of 69?
False
Let x(m) = -7*m + 206. Suppose -61*o - 18 = -62*o. Is 20 a factor of x(o)?
True
Is 9 a factor of 84/8*(-2646)/(-7)?
True
Suppose -5*u + 12422 = 2*g, -g = 4*u + u - 12426. Suppose -14*d = -8282 + u. Does 46 divide d?
True
Suppose 8*y + 4*o = 301744, 4*y + 5*o - 58606 - 92284 = 0. Is y a multiple of 19?
True
Suppose -4*d - 1178 = -3*l, 2*d - 5*l = -0*l - 596. Let n = d - -485. Suppose h + 3*h - n = 0. Is h a multiple of 16?
True
Let q(y) = 3*y**3 - 7*y**2 + 91*y + 22. Is 53 a factor of q(10)?
False
Suppose 0 = 5*i + 3*x - 71, 3*i + 5*x - 23 = 2*i. Suppose 0 = i*l - 9781 + 2020. Does 21 divide l?
False
Let j(i) = 5*i**2 - 13*i - 4*i**3 + 2*i**3 + 9 + 2*i**2 + 1. Let a be j(5). Let x = 144 + a. Is x a multiple of 7?
True
Let s be 4 + -4 + 4/(-4). Let r be s/(4/(-10 + 2)). Does 16 divide (256/r)/(-1 + 3)?
True
Let z(l) = l**2 + 3*l + 131. Suppose 0 = -17*q + q. Is 8 a factor of z(q)?
False
Let t be (-4)/(-6) + ((-200)/3)/1. Does 24 divide -2*t/(-24)*-6?
False
Let d be (15/6 - 2)*1846. Let q(x) = -3*x**3 - 2*x**2 + x. Let w be q(-2). Suppose -w*o = -o - d. Does 30 divide o?
False
Let o(r) = r**3 - 19*r**2 + 6*r - 6. Let h = -138 - -101. Let f = h - -56. Does 5 divide o(f)?
False
Suppose -2*o - 2*g - 600 = -3*o, g = -4. Suppose -d = 3*d - o. Does 74 divide d?
True
Let q = -30 - 36. Is 28 a factor of 11379/33 - 12/q?
False
Let n = 17548 + -14824. Is n a multiple of 81?
False
Let c(b) = b**3 + 27*b**2 - 31*b + 24. Let d be c(-28). Is 9 a factor of (-1)/(0 - 1/d)?
True
Let i(o) = -4*o**2 - 275*o - 55. Is 46 a factor of i(-65)?
True
Suppose -3*n = 2*n + n. Suppose n = -b - 84 + 8. Let p = b - -106. Is p a multiple of 8?
False
Suppose 3*i = -5*d + 99689 - 25289, -2*d + 74400 = 3*i. Is 62 a factor of i?
True
Is 12674*3/48 - (-3)/(-24) a multiple of 12?
True
Let o(g) = 4*g**2 + 17*g - 79. Is 98 a factor of o(-25)?
False
Let i(k) = 17*k**2 - k - 3. Let b be i(-3). Let p(m) = -20*m**2 + 60*m + 128. Let t be p(-2). Let f = t + b. Does 26 divide f?
False
Let x = 513 - 945. Let k = x + 692. Is 10 a factor of k?
True
Suppose -n - 2*s + 1090 = 0, -2*s + 0*s = 4*n - 4330. Suppose 11*k - 1010 = n. Is 8 a factor of k?
False
Suppose 34*f = 45*f - 5720. Is 26 a factor of f?
True
Suppose -9*w - 15*w + 375291 = 39*w. Is w a multiple of 161?
True
Let h(v) = v**2 - 7*v - 8. Let t be h(8). Suppose 5*p - 4*n - 5421 = t, 0*n + 1080 = p - 5*n. Is p a multiple of 31?
True
Suppose 130395 - 314590 - 577489 = -28*s. Is s a multiple of 15?
False
Let g(b) = 32 - 70 + 36*b + 34. Is 11 a factor of g(5)?
True
Let g be 4/(-8)*0*1. Suppose 0 = -3*w + 6 - g. Suppose -3*l + 106 = 2*h, -2*l - w*h - 3*h = -89. Is 16 a factor of l?
True
Suppose 0 = -17*h + 6*h + 55. Suppose h*s - 105 = -3*g, -6*s + 11*s = -5*g + 175. Is g a multiple of 4?
False
Let p be -19 + 4 - (-5)/1. Let r be (-1)/(-2) + (-475)/p. Suppose -x = 5*i - r - 42, -3*x + 4*i + 175 = 0. Is x a multiple of 13?
True
Let o = -140 + 98. Let a = 42 + o. Suppose 5*x = -l - 0*x + 16, a = 5*l + 4*x - 164. Does 21 divide l?
False
Suppose 0 = 3*o - 4*m - 33, -39 = -3*o - 41*m + 43*m. Suppose -o*z + 3169 + 5966 = 0. Does 42 divide z?
False
Suppose -181*j + 249976 + 351010 + 319399 = 0. Is j a multiple of 113?
True
Let b be ((-16)/28 + (-32)/42)*-3. Does 14 divide 1003 - (12/(8 + -6) - b)?
False
Suppose -17*l + 12765 = -29837. Is l a multiple of 14?
True
Let q be (-2 + (-3538)/(-3))*(-15)/(-10). Let k = -976 + q. Is k a multiple of 10?
True
Suppose -3*j = -3*q + 7305, -5*j - 19501 = -115*q + 107*q. Is q a multiple of 37?
True
Let d(o) = -379*o**3 + 85*o**2 - 10*o + 14. Is 85 a factor of d(-4)?
True
Let b = -2229 - -3582. Let g = -163 + b. Is g a multiple of 85?
True
Suppose -4*k - 110 = -9*k. Let h be k/4 + (-26)/52. Suppose -3*o = -2*w + 438, 0 = h*w - w - o - 896. Is 15 a factor of w?
True
Is ((-320)/15)/(-16)*1/(-2)*-3459 a multiple of 12?
False
Let l = 22921 - 17536. Does 35 divide l?
False
Is 13 a factor of 1/2*8 - (-2 - (487 + 4))?
False
Let w(k) = 8 - 5*k**2 - 11*k - 1 - k**2 - 11. Let u be w(-6). Let g = u - -218. Does 16 divide g?
True
Let w be -2*-2*3*33/36. Let y be (-1788)/33 + 2/w. Let r = y + 76. Is r even?
True
Let s(j) = -j**3 - 4 - 5 + 9*j**2 + 16*j - 15. Let g be s(10). Is 3 a factor of 18/g + 66/4?
False
Suppose 4*w - 94 = 2*a - 4*a, -w - 2*a + 19 = 0. Suppose 0 = -p + w*p - 5376. Is 56 a factor of p?
True
Let c be (-450)/(-14) - ((-9)/3)/(-21). Suppose -34*d = -c*d + 4. Is (-115)/46*(-1 - d)*-86 a multiple of 43?
True
Suppose 41*j = -5*r + 42*j + 29187, 0 = -3*j - 6. Does 52 divide r?
False
Let o = -22 + 28. Suppose 19 = o*a - 197. Let r = -9 + a. Does 9 divide r?
True
Suppose -2*t + 119 + 83 = 0. Let y = -13777 - -13780. Suppose -y*g + t = -2*g. Is g a multiple of 24?
False
Let i(s) = 197*s + 157. Is i(4) a multiple of 27?
True
Let n(i) = -243*i - 4712. Let t be n(-19). Let r be (0 - -2)/(-2)*-147. Let q = t + r. Does 13 divide q?
True
Let s(i) = i**3 + 21*i**2 - 23*i + 14. Let j be (-22)/1 - (4 - 4). Let w be s(j). Let v = 78 - w. Is v a multiple of 14?
True
Does 8 divide (-1732 - (-1 - 0))*(160 + -169)?
False
Suppose -3*k = -4*n + n - 1062, 0 = -9*k - 5*n + 3270. Is 180 a factor of k?
True
Suppose -9*d + 77 = -2*d - 6986. Does 17 divide d?
False
Let q(o) = -o**3 + 2*o**2 + 2*o + 20. Let c(g) = g**3 + 7*g**2 + 11*g - 4. Let y be c(-4). Is 5 a factor of q(y)?
True
Suppose 15*m = 18*m - 4893. Let b = m - 1135. Is b a multiple of 16?
True
Suppose 6*o = 31*o - 149650. Is o a multiple of 21?
False
Let f(o) = o**2 + 21*o - 16. Let g be f(-22). Suppose 1350 + 882 = g*n. Is n a multiple of 33?
False
Let m be 1084/(-28) + 2/(-7). Suppose 75 = -11*c + 16*c. Let i = c - m. Is 27 a factor of i?
True
Suppose -4*j - 3*n + 408 = -2*n, -2*j = 5*n - 186. Suppose -337 = -2*s + j. Is s a multiple of 8?
False
Suppose 10*d - 48 + 8 = 0. Suppose -4*q + d*r = 8, 0*q = -2*q + r - 5. Does 4 divide q/(-6) + (-9)/(-2) - 1?
True
Let t(i) = 3*i**3 + 66*i**2 + 17*i + 18. Let c = 585 + -606. Does 12 divide t(c)?
True
Let j(s) = 5*s**3 - 5*s**2 + 12. Let v(q) = q**2 - q + 1. Let m(z) = j(z) - 2*v(z). Is m(5) a multiple of 23?
False
Suppose -5*w - 4*p + 330 = 0, 5*w - 5*p - 252 - 33 = 0. Suppose 4*y = 2*x + w, -5*y + 2*y + x + 46 = 0. Is 4 a factor of y?
False
Let g(o) = 5*o**2 + 57*o + 621. Is 3 a factor of g(-8)?
False
Let d(c) = -17*c + 1502. Does 3 divide d(22)?
True
Let l = -590 - -326. Let y = 46 - l. Is 15 a factor of y?
False
Suppose -m - 2190 = -5765. Is m a multiple of 25?
True
Let d(b) = -b**3 + 26*b**2 + 33*b + 15. Let g be d(25). Suppose 5*h - g + 425 = 0. Is 50 a factor of h?
False
Does 18 divide (3002/8)/((-43)/(-172))?
False
Let f = -2 + 2. Let o(q) = 5*q - 149. Let t(c) = 11*c - 302. Let r(l) = -13*o(l) + 6*t(l). Is r(f) a multiple of 22?
False
Let a(q) = 5*q**3 - 3*q**2 - 7*q + 12. Let x(h) = -4*h + 53. Let u be x(12). Suppose -u*z + 0*k + 15 = 4*k, -2*z - 4*k = -6. Is a(z) a multiple of 9?
True
Let p(q) be the third derivative of -q**5/60 - 5*q**4/24 + 2*q**3/3 - 8*q**2. Let y be p(-4). Is -2*((y - 5) + (-146)/4) a multiple of 14?
False
Suppose 0 = -524114*b + 524131*b - 975426. Is 