= -585 - k. Is w a multiple of 22?
False
Suppose -88*m + 113*m = 2325. Let q be -8*(-1)/4*9. Let j = m - q. Is j a multiple of 15?
True
Let s(h) = 21*h**2 + 3*h - 5. Suppose -35*i - 18 = -41*i. Does 17 divide s(i)?
False
Let m be (176/(-6))/(-2) + (-46)/(-138). Suppose m*d = 21*d - 18. Does 17 divide (14 - 29)/(2*d/(-16))?
False
Suppose 10*n - 6 = 64. Suppose 0 = 16*i - n*i - 63. Suppose -i*f + 58 + 47 = 0. Does 6 divide f?
False
Let x = -15376 - -15592. Is x a multiple of 24?
True
Suppose -5*z = -3*m + 948, 842 - 185 = 2*m + 5*z. Let n = -139 + m. Is 13 a factor of n?
True
Suppose 60*x = 61*x - 3. Suppose 0*w - 4*w + 248 = -h, -317 = -5*w + x*h. Does 39 divide w?
False
Suppose 23375 = 3*r - 3517. Is 166 a factor of r?
True
Let m(y) = -y**3 + 7*y**2 + 13*y - 35. Let k be m(8). Suppose 5*g - 190 = -k*x, 75 = 2*g + 2*x + x. Does 13 divide g?
True
Suppose -7*i = -4*i - 3033. Does 38 divide i?
False
Let y(p) = -35*p**2 + 3*p + 4. Let a be y(3). Let k = 3066 + -3552. Let f = a - k. Is f a multiple of 23?
True
Suppose -5*n = -g - 19 - 34, 5*g + 1 = n. Suppose -n*o + 6605 = -787. Does 48 divide o?
True
Suppose 2*p - l = 944, -4*p + 84*l + 1874 = 89*l. Let j = 794 - p. Is 28 a factor of j?
False
Suppose 48*u + 104648 = 1225064. Is u a multiple of 20?
False
Let v be ((-6)/4)/(3*(-8)/48). Suppose 2*s = -3 - v. Is (-4*(-12)/16)/(s/(-16)) a multiple of 9?
False
Is 4 - 117/30 - (7827/(-30) - 1) a multiple of 10?
False
Let o = 643 + -321. Is o a multiple of 7?
True
Let y(q) = -155*q**3 - 3*q**2 + q - 4. Let i be y(-2). Suppose 358 = -3*t + i. Is t a multiple of 66?
False
Let u(v) = -10*v - 3 - 53*v**2 - 1 + 54*v**2. Let o be u(10). Is 4/(-16)*-1 + (-79)/o a multiple of 10?
True
Let k(s) = -s**3 + 4*s - 3. Let h be k(2). Let y(j) be the second derivative of -j**5/10 - j**4/12 + 5*j**3/6 + 3*j**2/2 - 8*j - 15. Does 5 divide y(h)?
False
Suppose 0 = -3*i - 5*m - 171, -32 - 17 = i - m. Is ((-1)/(2/i) - -1)*6 a multiple of 27?
True
Suppose -11*x - 428 = -1374. Suppose -83*b + x*b - 2937 = 0. Is 89 a factor of b?
True
Suppose -5*n - 11 = 2*q - 4*q, q - 1 = n. Let d be ((-1 + -7)/1)/(q - 0). Let w(a) = 35*a - 5. Is 23 a factor of w(d)?
False
Let w be (-560)/3*3*(-1)/2. Suppose 3*i + w = 8*i. Suppose 3*c - i + 23 = 3*z, -5*z - 39 = -4*c. Is c a multiple of 4?
True
Let q = 4417 + -2505. Does 31 divide q?
False
Let b = 10933 + -6708. Does 13 divide b?
True
Let l(j) = -6216*j - 56. Is 28 a factor of l(-3)?
True
Let o = 89 + -174. Let q = o - -80. Is (4 + q - -58)/1 a multiple of 14?
False
Suppose -3*h + 32 = 5*h. Let c be (-1)/h - -6*(-6)/(-16). Suppose c*b - 5*o - 156 = 0, 3*o = 2*b - 0*b - 156. Does 13 divide b?
True
Suppose 2*u - 8 = 2*k, -3*u + 2*k - 4*k - 8 = 0. Suppose u = 4*h + 4*n - 28, -h = -3*h + 4*n + 20. Is ((-1885)/116)/(((-3)/h)/3) a multiple of 10?
True
Suppose 470777 = 115*c - 424498. Is 173 a factor of c?
True
Let z be 1*-1*-9*140/(-21). Is 212/(-1)*15/z - 5 a multiple of 8?
True
Suppose 11 = -0*l + l - 2*g, -l + 5*g = -26. Suppose -l = 3*a - 10. Suppose -c + 116 = a*c - w, 68 = 3*c + 4*w. Is c a multiple of 9?
False
Suppose -2*o - q + 2261 = 0, 2*o - q = 3*q + 2256. Suppose -u - 35 = -4*w + 365, -3*u - o = 2*w. Let n = -200 - u. Is 15 a factor of n?
True
Suppose 51*t + 8 = 47*t. Let s be (t + -238)*27/(-36). Suppose 0 = -f + 5*f - s. Is 15 a factor of f?
True
Does 15 divide (-25836)/(-14) + (-234)/(-104)*(-4)/21?
True
Suppose 132*n - 136*n = 1076. Let p = n + 425. Is p a multiple of 52?
True
Suppose 64 = 21*h - 83. Suppose 284 = h*j - 3*j. Is 41 a factor of j?
False
Suppose -153823 = -45*p + 106457. Does 2 divide p?
True
Let b(q) = -q**3 - 14*q**2 - 24*q. Let z be b(-12). Suppose -4*a + z*a + 2628 = 3*h, 2*a = 4*h - 3526. Is h a multiple of 35?
False
Suppose -3*a = 53*x - 58*x + 103632, -2*a - 103633 = -5*x. Is x a multiple of 9?
True
Let l be (15/(-9))/(-5)*195. Suppose -s = -0*t - 2*t + l, 3*s = -3. Suppose 210 = -t*o + 35*o. Is o a multiple of 10?
True
Suppose d = 6*d + 5. Let h(z) = 69*z**2 - 3*z - 3. Let t be h(d). Let l = 75 - t. Does 3 divide l?
True
Is 15 a factor of -13 - (-15914 + (-41 - -27))?
True
Let h be 84/(4 - (-2994)/(-750)). Is 24 a factor of (4/2)/(h/(-5257) - -2)?
False
Let k be (-9)/2*(-2)/3. Suppose 28 = -2*h + k*n, -4*h - 27 - 19 = -n. Is (-1745)/(-45) + -1 + h/(-9) a multiple of 10?
False
Suppose -i + 9*i - 23840 = 0. Let y be 15/5*i/15. Let f = y + -315. Is 37 a factor of f?
False
Suppose 2*i + 18 = 4*i - 2*u, -3 = 3*u. Suppose i*r - 3*r = 5775. Is 23 a factor of r?
False
Suppose 2*p = 2*w + 3028, -4*w = 4*p + 2892 - 8924. Does 3 divide p?
False
Let t(i) = i**2 - 7*i - 38. Let h(r) = 7*r + 2 - 3*r + 2*r + r**2 + 0*r**2 - r**3. Let q be h(-3). Does 37 divide t(q)?
True
Let m(o) = -50*o**3 + 14*o**2 + 65*o - 11. Is 54 a factor of m(-5)?
True
Let m = 5952 + -4300. Is 14 a factor of m?
True
Suppose -372 = -6*n - 186. Suppose 119 = n*g - 253. Is 6 a factor of g?
True
Suppose 0 = 3*c + 2*q - 0*q - 7, 6 = 2*c + q. Let j(d) = 124*d - 312. Does 11 divide j(c)?
True
Let y = -975 - -1434. Let w(z) = 9*z**3 + 2*z**2 + 19*z - 57. Let k be w(3). Suppose y = 10*m - k. Is m a multiple of 12?
True
Let q(x) = 25*x**3 - 153*x**2 - 3*x - 121. Is 98 a factor of q(15)?
True
Suppose 4*r - 5*n - 19639 = 0, -7*n + 4852 = 2*r - r. Does 29 divide r?
True
Let u(l) be the second derivative of 173*l**3/6 + 20*l**2 + 2*l + 6. Is 13 a factor of u(3)?
True
Let c = 645 - -16727. Is c a multiple of 14?
False
Let u be 1 - ((-278)/(-4))/((-2)/4). Is 30/(-3 - u/(-44)) a multiple of 33?
True
Suppose -34*x = -35*x + 1. Let u be (258/(-15)*x)/((-16)/160). Let n = u + -139. Is n a multiple of 9?
False
Let t be ((-3)/1)/(-12) - (-660)/48. Let s be 3096/84 - (-2)/t. Let j = 4 + s. Is j a multiple of 18?
False
Suppose 35*h - 2*q + 30166 = 38*h, 0 = 2*h - 3*q - 20141. Is 4 a factor of h?
True
Let f(x) = 1324*x - 8845. Is 13 a factor of f(17)?
True
Let g be (0 + (-4)/(-8))/((-4)/(-608)). Let h = -68 + g. Suppose -i + h*c + 20 = 4*c, -4*i - 5*c = -101. Is 4 a factor of i?
True
Let q be (-14 - -16)*(-3)/(-2). Suppose 5 = r + 3*f, 5*r - 26 = -q*f - 1. Suppose 2*l - 43 = -2*t + 61, -l + 44 = r*t. Is l a multiple of 6?
True
Let l(g) = -g**3 - 2*g**2 - g + 1. Suppose 5*q = 9*q + 8. Let f be l(q). Suppose r = -0*r + 2*s + 62, -r = -f*s - 64. Is r a multiple of 29?
True
Let w(t) be the second derivative of t**4/3 + t**3 + 7*t**2/2 - 6*t - 1. Does 49 divide w(7)?
True
Let u be 1/1 - ((-9)/(-3))/(-3). Suppose 4*s + 74 = l, u*s = 3*l + 4*s - 236. Suppose -r = -3*y - l, 4*y - 3 = 5. Does 10 divide r?
False
Let j = 22945 + -11110. Does 4 divide j?
False
Let l(b) = 40*b - 1. Let i(k) = k - 1. Let o(a) = 4*i(a) - l(a). Let p be o(1). Let x = p + 82. Is 22 a factor of x?
False
Let s(k) = -2*k - 16. Let j be s(-9). Suppose -j*x - 3*t + 169 = -x, -4*x = t - 698. Let v = x + -112. Is v a multiple of 9?
True
Let q = -22 + 30. Suppose -3*l = -2*m + 805, -q*m + 3*m + 1960 = 3*l. Suppose 3*c - 410 = -p, -3*c = p - 3*p - m. Is c a multiple of 15?
True
Is 6 a factor of (24/78)/(-4) - 66926/(-26)?
True
Suppose 71*n = 604815 + 156731. Is n a multiple of 20?
False
Is 3 a factor of 1/(-1)*(-1822 - (-7 - 6))?
True
Suppose 168480 = 33*x + 12*x. Is x a multiple of 13?
True
Let b(p) = 285*p - 278*p + 1 - 13. Is b(12) a multiple of 9?
True
Let k(n) be the first derivative of 14*n**3/3 - 2*n**2 - 7*n + 10. Is k(4) a multiple of 26?
False
Suppose -2*m + 5*m = -2*s + 41094, 0 = -3*s - 2*m + 61646. Is 137 a factor of s?
True
Is (-16 + (-1620)/(-105))*-12257 a multiple of 145?
False
Let n = -275 - -2011. Suppose -25*c = -18*c - n. Is 15 a factor of c?
False
Suppose -3*v - 413 = 94. Let w = v - -131. Let j = 82 + w. Does 2 divide j?
True
Suppose 316 = 41*b - 11062 - 1619. Does 7 divide b?
False
Let x = -1365 - -2014. Is 2 a factor of x?
False
Let m be 288 - (-5 + (-4 - -10)). Let o = m + -112. Is 35 a factor of o?
True
Suppose 5*t + g = 14817, -14*g + 11854 = 4*t - 13*g. Let y = 4482 - t. Is y a multiple of 31?
True
Suppose -609 - 1299 = 53*j. Suppose 4*w + 240 = -w. Does 14 divide (j/w)/(1/116)?
False
Does 12 divide (-1283512)/(-84) - 6/(-441)*7?
False
Suppose 3*m - 44 = -j, -12*j - 5 = -13*j. Let p(l) = 13*l - 100. Is p(m) a multiple of 11?
False
Let b be ((-1)/(-2))/((-22)/44) + 1570. Suppose 0 = -6*g + 