*m - 5. Does 5 divide y?
True
Suppose -3*i - 793 = -3853. Is 56 a factor of i?
False
Let v be 3/(0 + (2 - 14/4)). Is ((-578)/(-51))/(v/(-9)) a multiple of 17?
True
Suppose -2*f = -4*h - 305 + 1915, -5*h + 1980 = 4*f. Does 16 divide h?
True
Let n = 31 + -53. Is 4/(-22) + 2 + (-1610)/n a multiple of 15?
True
Let i(r) = -27*r - 4. Suppose 4*o = 1 - 13. Does 11 divide i(o)?
True
Let r(a) = a**3 - 8*a**2 + 36*a + 27. Is r(13) a multiple of 20?
True
Let n = 327 + -156. Is 13 a factor of n?
False
Let j(s) = -6*s + 665. Let o be j(0). Suppose 6*h = 199 + o. Is 33 a factor of h?
False
Is 57 - 25 - (-10)/(-2) even?
False
Suppose 5*a + 10 = 0, a + 22 - 5 = -5*n. Is ((-32)/12 - 0)*n a multiple of 2?
True
Let z(r) = 6 - 2*r**2 - 7*r + 8*r - 3. Let n be z(-3). Is ((-6)/(-9))/((-1)/n) a multiple of 6?
True
Let i be 1 - 1/(1/3)*-17. Suppose -i - 30 = -2*h. Does 27 divide h?
False
Suppose -8 = -4*w - 4*j + 8, 4*j - 18 = -2*w. Let u be (-4)/w*1675/20. Let y = u - 234. Does 22 divide y?
False
Let b(x) be the third derivative of 5*x**4/4 + x**3 - 8*x**2. Let p be b(2). Does 5 divide p/6 + (-2)/(-2)?
False
Does 10 divide (68/10 - 2)/(4/30)?
False
Let p(f) = -f**2 + 11*f + 3. Let g = -22 + 33. Let d be p(g). Suppose 0 = -4*w + d*w + 33. Is 16 a factor of w?
False
Let u = 433 - 385. Does 8 divide u?
True
Suppose -46*h + 66*h - 8400 = 0. Is h a multiple of 21?
True
Let y be 38/12 + (-1)/6. Let g = 13 + y. Let m = g + -6. Does 5 divide m?
True
Let b(n) = -92*n + 106. Let c(s) = 31*s - 35. Let d(p) = -3*b(p) - 8*c(p). Does 18 divide d(7)?
False
Suppose v = j - 0*v - 10, 5*j - 38 = -v. Let g be 2/10 + j/(-40). Suppose -3 - 4 = -4*m - l, -5*l - 5 = g. Is 2 a factor of m?
True
Suppose 0 = -2*r - 2*r. Suppose 10*t - 8*t - 344 = r. Is 28 a factor of t/5 - 10/25?
False
Let i(d) = 5*d**2 + 2*d - 80. Is i(-10) a multiple of 20?
True
Let s(n) be the first derivative of n**2 - 10*n + 421. Let t(u) = 6*u - 2. Let q be t(2). Is 3 a factor of s(q)?
False
Let p = 4015 + -1464. Is 9 a factor of p?
False
Let f be 183/(-2)*(-16)/6. Suppose 19 - f = -5*x. Is 9 a factor of x?
True
Is (1440/(-42))/(2 + (-45)/21) a multiple of 34?
False
Let w(a) = 4*a**2 - 2*a + 372. Is 23 a factor of w(34)?
False
Suppose -26 = 4*d - 2. Let x(z) = -z - 3. Let k be x(d). Suppose 2*s = -k*b - 0*s + 212, 4*s = -8. Is b a multiple of 12?
True
Let f(o) = o**3 - 6*o**2 - 5*o - 2. Let v be f(7). Suppose -9*r + 7*r = -v. Is r even?
True
Let v(x) = -x - 6. Let g be v(-9). Let m(p) = 5*p**2 - 7*p**2 + g*p**2 + 3*p. Does 5 divide m(-6)?
False
Let v(r) = 4*r**2 + 28*r - 104. Is v(-17) a multiple of 3?
True
Suppose 3*n + 416 = 2*f, 4*n = 4 + 12. Is 107 a factor of f?
True
Let d(a) = -2*a**2 - 45*a - 3. Does 38 divide d(-3)?
True
Let v(i) = 12*i**2 + 4*i. Let r = 23 - 2. Suppose 0*z - 10 = -5*z + 5*l, 3*l + r = -2*z. Is 26 a factor of v(z)?
False
Let v(a) = 4*a**2 - 5*a + 13. Let n be v(4). Is 12 a factor of n - (-20)/(-2 + -3)?
False
Let c(o) = -o + 2. Let u be c(4). Does 3 divide (u - 2)/4*(3 + -27)?
True
Let t(m) = -3*m**3 - 13*m**2 + 16. Does 45 divide t(-8)?
True
Let o be 0 - (1/1 + -2). Let j(u) be the third derivative of 13*u**5/60 + 4*u**2. Is j(o) a multiple of 13?
True
Suppose -61*a = -49*a - 3696. Is 7 a factor of a?
True
Let o be (6 + 3)/((2 - 0) + -1). Does 10 divide (-188)/((12/(-8))/(o/12))?
False
Let a(w) = -16*w**3 + w**2 - 3. Let c be a(-3). Suppose -58 = -8*y + c. Does 15 divide y?
False
Suppose 5*h + 4*t = 12, -6*h + 3*h + 4*t - 12 = 0. Suppose 2*a + a = h. Suppose a = 2*y - 3*y + 34. Does 8 divide y?
False
Suppose 4776 = 4*m - 4*d, 4 - 10 = 2*d. Is m a multiple of 32?
False
Let f(s) = 1. Let q(o) = -o - 5. Let l(a) = -5*f(a) - q(a). Let m(v) = 11*v + 10. Let h(u) = -5*l(u) + m(u). Is h(10) a multiple of 35?
True
Let r = -22 + 19. Is r/(-9)*-2 - (-94)/6 a multiple of 12?
False
Let x = -36 - -61. Suppose -5*j + x = -0. Suppose -5*h + 10 = j*o, 0*h + 2 = 2*h + 4*o. Is 2 a factor of h?
False
Suppose 3*v + 5075 = p, 4*p = -4*v - 2860 - 3928. Does 22 divide 27/189 - v/7?
True
Suppose 0 = 2*p - 1139 - 855. Is p a multiple of 71?
False
Let m(a) be the third derivative of -a**6/60 - 7*a**5/60 - a**4/8 + 2*a**3/3 - 2*a**2. Is 27 a factor of m(-5)?
False
Let d = -147 - -184. Is d a multiple of 6?
False
Is 14 a factor of 231*((-8)/(-6) - -6)?
True
Suppose 5*t = -0*t. Suppose -4*h + 119 - 391 = t. Is 23 a factor of -4 - -2 - h*1?
False
Let g = 65 + 308. Suppose 0 = -11*p + 507 + g. Is p a multiple of 10?
True
Let s be -10*(-32)/(-6)*(-18)/4. Let p = 460 - s. Does 44 divide p?
True
Let d(w) be the second derivative of w**5/20 + 2*w**4/3 - w**3 + w**2 - w. Let x(p) = p**3 - 5*p + 4. Let a be x(-3). Does 11 divide d(a)?
False
Suppose 348 = 2*p + p. Let f be 6/1*p/8. Does 13 divide (-1)/((-3)/f) - 3?
True
Suppose -4*w - 3*b = -w - 1746, -5*w - b + 2902 = 0. Does 20 divide w?
True
Let u be (-239)/(-9)*-5 - 2/9. Let m = 205 + u. Is m a multiple of 18?
True
Suppose 0 = 3*u + 5*w - 46, -2*u + 70 = 3*u + 5*w. Does 18 divide 1168/u*3*1/2?
False
Suppose n + 2*c - 905 = 0, -n + 3614 = 3*n + 2*c. Does 16 divide n?
False
Is 13 a factor of 59 + (-3 + 2)/(2/8)?
False
Let m(x) = -x**2 + 9*x - 15. Let t be m(6). Suppose 0 = -6*b + t*b + 15. Suppose -b*r = y - 58 + 14, 104 = 2*y + 2*r. Is y a multiple of 17?
False
Suppose -3*p = 4*b - 1815, 3*b - 3*p = -0*p + 1356. Does 8 divide b?
False
Suppose 2*j + 0*j = 298. Suppose -16*r - j = -17*r. Does 17 divide r?
False
Let w(l) = 551*l**3 + l**2 - 3*l + 1. Let s be w(1). Suppose -s = -3*y - 2*y. Is y a multiple of 17?
False
Let f(v) = 459*v + 600. Is 82 a factor of f(6)?
False
Let f(s) = -5*s - 20. Let b be f(-8). Does 23 divide (-2 - b/(-12))*-279?
False
Let n be 72/45*(4 + 1). Let s be 5/20 - 2/n. Let h = s + 18. Is 9 a factor of h?
True
Suppose -3*j - q = -3351, -q = 2*q - 9. Is 18 a factor of j?
True
Let x(w) = -2*w + 2. Let r be x(1). Suppose -2*c - 26 = -r*l - 5*l, 0 = -2*l + c + 11. Suppose 0*d + l*d - 60 = 0. Is 8 a factor of d?
False
Suppose 504 = 7*r - 49. Let u = -43 + r. Is 17 a factor of u?
False
Let v be (5 + (-2 - 4))/(1/(-2)). Suppose 0*o - 2*o = 4*f - 80, v*o - 86 = -f. Is 11 a factor of o?
True
Suppose 4*h = j - 0*j + 1, -4*j + 3*h + 22 = 0. Suppose m - 936 = -j*m. Is 42 a factor of m?
False
Suppose -l = 5*h - 996, -5*h + 3*l + 1012 = -0*l. Let r = h + -119. Is r a multiple of 13?
False
Let m(s) = 4*s**2 + 9*s + 11. Let a be m(-5). Suppose b - a = -b. Is 12 a factor of b?
False
Let h = -54 + 109. Suppose -5*n + 80 + h = 0. Suppose -87 = -2*y - n. Does 5 divide y?
True
Let h(x) = -x**2 + 18*x - 42. Suppose 0 = 2*j - 106 + 88. Is 14 a factor of h(j)?
False
Let m(b) = 66*b + 3. Let k(u) = -u + 1. Let v(c) = -3*k(c) + m(c). Let p be v(2). Suppose -6 = 4*i - p. Is 11 a factor of i?
True
Let d be (-10)/(-1) + 6/2. Suppose -20 - d = 3*t. Let y = t + 25. Is y a multiple of 7?
True
Suppose 8 = -3*h + 7*h. Suppose -u - h = -3*u, -217 = -5*w + 3*u. Suppose 0 = -i + 8 + w. Does 13 divide i?
True
Does 23 divide 7734/6 - (0 + 7)?
False
Let j = -16 - -20. Suppose j*h - 4*o + 44 = 0, -8 = o - 4. Let i = h - -20. Is i even?
False
Suppose 2*p - f - 18 = 228, f = 4*p - 490. Does 21 divide p?
False
Let o be (-6)/(-12) - 1/2. Let u be (o - -1) + -3 - -7. Let v = u + 33. Does 19 divide v?
True
Let c = 20 - -28. Is 48 a factor of c?
True
Suppose y = -a + 3, 4*y + 2*a - 5 = 3. Suppose -5*c + 5 = -3*d, c + y = 2*c. Suppose -w + 18 + 2 = d. Is w a multiple of 7?
False
Suppose z = -2*n - 53 - 46, -3*n = 3*z + 297. Is 8 a factor of 11/(z/6)*-72?
True
Let b be 74/(2/(3 + 5)). Suppose r - 56 = -u, 0 = 2*u + 3*u - 3*r - b. Suppose -2*v - 4*i + 10 = -50, -2*v - 3*i = -u. Is v a multiple of 13?
True
Suppose -z - n + 275 = -255, 4*n = -5*z + 2651. Does 12 divide z?
False
Suppose 0*g - 3*g + 42 = 0. Let i be (1/(-2))/(1/g). Does 22 divide (i - -12)*(-44)/(-5)?
True
Suppose 3*n + 3*b = 660, -7*n + 660 = -4*n - b. Is n a multiple of 17?
False
Let q(k) be the third derivative of 7*k**5/15 - k**4/24 + k**3/6 - 96*k**2. Suppose 2*x = 8, -5*d + 0*x - 5*x = -10. Does 23 divide q(d)?
True
Let x(s) = 45*s - 530. Is 14 a factor of x(18)?
True
Suppose 0 = 5*t + k - 17 - 5, 2*k - 12 = -2*t. Suppose -2*c = 4*q - 208, c - 4*c + 5*q + 356 = 0. Suppose -t*p = -c - 188. Is p a multiple of 25?
True
Let h = -897 + 195