
False
Is 13 a factor of (52 - 238)*(1/2)/((-2)/234)?
True
Let y(q) = -155*q - 297. Does 32 divide y(-25)?
False
Let i(k) be the second derivative of k**4/12 + k**3 + 17*k**2/2 - k. Suppose 2*b + 28 = -2*w, -5*b - 26 - 26 = 3*w. Is 22 a factor of i(w)?
True
Let n(m) = 46*m**3 - 12*m**2 + 35*m - 118. Does 119 divide n(5)?
False
Let w = 1362 - 979. Does 29 divide w?
False
Let u(d) = 14*d + 7. Let w(n) = n**2 + 22*n + 114. Let s be w(-8). Is 2 a factor of u(s)?
False
Let i(m) = -m**3 - 4*m + 1. Let v be i(8). Let r = -252 - 581. Let x = v - r. Is 16 a factor of x?
False
Suppose 0 = -4*l - 5*z + 64954, -3*l + 1897*z - 1896*z = -48706. Is l a multiple of 18?
True
Suppose 10 = -29*n + 24*n, -4*n + 11960 = 4*h. Is 11 a factor of h?
True
Let q(l) = 209*l**3 - 3*l**2 + 70*l - 238. Does 137 divide q(4)?
False
Suppose -1256758 - 1516286 + 683028 = -48*y. Is 61 a factor of y?
False
Let j(o) = -472*o - 6144. Does 88 divide j(-104)?
True
Let u(x) = x**3 + 11*x**2 + 20*x + 18. Let l be u(-9). Suppose r + 22*r - 2990 = l. Is 65 a factor of r?
True
Let r = 1 + 0. Let x(f) be the second derivative of 37*f**5/20 + f**4/12 + f**2/2 + 86*f. Does 6 divide x(r)?
False
Let d = -1612 + 1099. Let y = 1171 + d. Does 25 divide y?
False
Let x(v) = v**3 + 37*v**2 + 7*v - 183. Does 41 divide x(-36)?
True
Let y = 160 - 98. Let d = 62 - y. Suppose d = 3*o - 9, 0*o - 510 = -4*j - 2*o. Does 18 divide j?
True
Let n(o) be the third derivative of 117*o**6/40 + o**5/30 - o**4/4 + 5*o**3/6 + o**2 - 1. Does 22 divide n(1)?
True
Let u(g) be the second derivative of -g**4/2 + 56*g**3/3 + 6*g**2 + 161*g. Is u(15) a multiple of 18?
True
Let f = 12 + -40. Let u = f - -62. Let o = 46 + u. Is 18 a factor of o?
False
Let k(i) = 4*i**3 - 3*i + 2. Let r be k(1). Suppose -f - r*l + 105 = -8*l, 420 = 4*f - 2*l. Is f a multiple of 21?
True
Let g = -20751 + 48347. Does 25 divide g?
False
Suppose 3*w - 2*f + 3*f - 6 = 0, 2*w + 3*f - 11 = 0. Does 33 divide 15/(-1)*(w - (-832)/(-40))?
True
Let v(u) = -1491*u + 33. Let y be v(13). Does 19 divide (3*2)/(-2)*y/270?
False
Is 43 a factor of (-195696)/(-20) + (-7)/(-35)?
False
Let r(t) = 4*t**2 + 3*t + 14. Let a(l) = 6*l. Let p be a(1). Let q = p - 1. Does 32 divide r(q)?
False
Let h(c) = c**2 + 28*c - 58. Let d be h(-30). Suppose 612 = d*j - 2*o, 9*o - 610 = -2*j + 10*o. Is 16 a factor of j?
True
Let m = 66 + -64. Is (-3 - m)/5*-85 a multiple of 17?
True
Let j = 311 - 156. Let u be (j/3)/((-2)/(-6)). Suppose -3*b + 5*c + u = 0, 0*c = -b + 3*c + 45. Does 20 divide b?
True
Let s(l) = -6*l + 163. Let y be s(18). Let p be ((-2 + 3)*0)/1. Suppose 5*a = -w + y, w - a + p*a - 61 = 0. Does 32 divide w?
False
Suppose 4016 = -3*d - 5*d. Let o = 1252 + d. Is o a multiple of 25?
True
Let v be (-1)/((-18)/(-2)) + (-148)/(-36). Suppose 0 = -v*f + 186 - 54. Is 2 a factor of f?
False
Let u = 11 - 13. Let r be (2*(-5)/(-25))/(u/(-5)). Does 34 divide 4 - r - (-146 + 13)?
True
Let n(s) = -s**3 + 6*s**2 + 10*s - 23. Let l be n(6). Suppose -4*j - l = -5*d, 2*d + j + 2 - 22 = 0. Suppose 0 = d*z - 31 - 257. Does 8 divide z?
True
Suppose 3*c - 57452 = -4*y, 60*y + 2*c = 56*y + 57456. Does 137 divide y?
False
Suppose -5*c - 2 = -3*u - 139, 3*c + 15 = 0. Let i = -52 - u. Suppose -4*y + 7*y + 2*b - 315 = 0, 0 = -i*b - 6. Is y a multiple of 8?
False
Suppose -f = -7 + 4. Let h be (16 + -7)*(0 + f). Suppose -h*x + 280 = -22*x. Is x a multiple of 28?
True
Suppose 0 = -5*d - 2*t + 556, -5*d - 3*t - t = -562. Let x(g) = 3*g**3 + 2*g**2 - 3*g + 4. Let q be x(3). Let b = d - q. Is 4 a factor of b?
True
Suppose 2*s - 20 = -4*h, 4*h + 56 = 5*s + 48. Does 56 divide 1/((-1)/h) + (1068 - 1)?
True
Let i = -825 + 589. Let c = i + 242. Does 6 divide c?
True
Suppose -7*s + 12*s - 650 = 0. Suppose -g - 9*g + s = 0. Suppose -5*q + 53 = g. Is q a multiple of 3?
False
Let s = -3555 + 2494. Let j = s + 1552. Does 25 divide j?
False
Let t(w) = -w**2 + w - 2. Let i(n) = -12*n**2 + 8*n - 75. Let r(h) = -i(h) + 6*t(h). Is r(-9) a multiple of 27?
True
Suppose 30 = -h + 102. Let m = 77 - h. Suppose -m*s = -4*s - 59. Does 6 divide s?
False
Let y be (51/(-204))/(2/(-16)). Suppose 0 = -4*g - 8, 2*g = y*m + 4*g - 932. Does 26 divide m?
True
Let x = -18 + 25. Suppose 2*d - 38 = x*d - 3*j, -4*d = -3*j + 31. Is 2/d - 894/(-42) a multiple of 7?
True
Let y(i) = i**3 - 33*i**2 + 180*i - 55. Does 23 divide y(30)?
True
Let h(m) = 26*m - 182. Let r be h(9). Is ((-4)/(-3))/(r/15483) a multiple of 35?
False
Let m = 535 - 222. Let u = -212 + m. Is 25 a factor of u?
False
Let j = 58 + -82. Let x = 318 - j. Is x a multiple of 7?
False
Let s = -5008 + 6317. Is 17 a factor of s?
True
Suppose 3*i + 6 + 3 = 5*y, -14 = -i - 4*y. Let b(q) = 14 + i - 7 - 32*q - 8. Is b(-1) a multiple of 7?
False
Suppose -7*t + 225 = 1583. Let g = t - -227. Is 6 a factor of g?
False
Suppose 0 = 441*g - 448*g - 4578. Let u = -229 - g. Is u a multiple of 6?
False
Is 171 a factor of (1 + 6 - 4) + (-33890)/(-5) + -1?
False
Let h(k) = k - 11. Let g be h(10). Let u be 8/(24/(-9))*g. Suppose -v = u*i - 55, 0 = v - i - 2*i - 25. Is v a multiple of 10?
True
Let x(z) = 2*z**3 + 11*z**2 - 4*z - 8. Let u(w) = -w**3 - w**2 + 1. Let j(o) = -5*u(o) - x(o). Is j(3) a multiple of 7?
True
Suppose -144*n + 441307 + 2902734 = -179351. Does 4 divide n?
True
Let m be 6*24/9*9/4. Let h be 16/3 + m/54. Suppose r - h*r + 480 = 0. Does 12 divide r?
True
Suppose -4*i = -4*w - 5788, -2*w + 4*i + 5764 = -6*w. Let d = w + 2476. Is 43 a factor of d?
True
Let m be (-705)/(-135) - (20/9 - 2). Suppose m*t + 33 - 1203 = 0. Does 4 divide 5096/t - (22/(-18) + 1)?
False
Suppose 8*h = r + 13*h - 15321, 5*h - 30 = 0. Is 12 a factor of r?
False
Let r = -5885 - -7162. Is 15 a factor of r?
False
Let w = 4681 + -4267. Does 46 divide w?
True
Let f(j) = 35*j**2 - 113*j + 22. Does 5 divide f(20)?
False
Is 10210/14 + 48/(-168) a multiple of 8?
False
Suppose -88 = 3*x + x. Let h be 10/(-8) + 15/(-20). Is (5820/(-33))/h - (-4)/x a multiple of 22?
True
Let a be (((-44)/(-8))/(-11))/(2/(-12)). Suppose w - 57 = 5*p + 3, 6 = -a*p. Is w a multiple of 25?
True
Let a be -46 + 6 + -4 + 3. Let w be a/(-4) + 11/(-44). Is ((-18)/(-2 + 0))/(15/w) a multiple of 6?
True
Let l = 53 - 52. Suppose 0 = -o + 5*y + 4 + l, 0 = 5*o - 4*y - 25. Suppose -o*s + 81 = v - 6*s, 0 = 4*v + 5*s - 351. Is 28 a factor of v?
True
Let h be (-157)/(-2) - 2/(-8)*2. Let p = h - 75. Suppose w - 44 = -p*m, 5*w = -2*m + 162 + 130. Is 5 a factor of w?
True
Let d(p) = -10 + 2*p - p + 43*p**2 + 5*p + 2*p - 10. Is d(3) a multiple of 17?
True
Let x(d) = 18*d**2 - 5*d - 10. Suppose -10 = -q + 4*h, -2*q = -3*h + 2 - 7. Is x(q) a multiple of 20?
False
Let u(i) = i**2 - 29*i - 5. Let c(k) = k**3 - 9*k**2 - 8*k + 9. Let o be c(10). Let y be u(o). Does 10 divide (-230)/(-15) - y/(-15)?
False
Let n = 10814 + 8737. Is 19 a factor of n?
True
Let l(y) = 167 - 15*y**2 + 16*y**2 - 173. Let w = 3 - 11. Is l(w) a multiple of 29?
True
Suppose -8*h + 9*h + l - 1077 = 0, 0 = h + 4*l - 1074. Is h a multiple of 49?
True
Suppose 2*s = -5*n + 38, -3*n - 5*s + 30 = -2*s. Let a be (-2306)/(-4) - (-2)/(-4). Suppose -10*p + a = n*p. Does 14 divide p?
False
Let w(a) = 15*a**3 + 2*a**2 - 3. Let m be w(-2). Let d = 170 + m. Is d a multiple of 12?
False
Suppose -6466 = -2*i - c, -8*i - 5*c + 3224 = -7*i. Is i a multiple of 66?
True
Let b = -32977 - -64801. Is 24 a factor of b?
True
Let u be 0/((-8)/16*-2). Suppose u*p - 960 = -p. Does 96 divide p?
True
Suppose 4*p + 4*f - 81 = 131, 0 = p - 5*f - 83. Let k = 298 - p. Is k a multiple of 24?
True
Suppose 5*g + 8 = 3*g. Does 43 divide 2/g - 2/((-12)/2043)?
False
Suppose -7*s + 4*s - 2*s = 0. Suppose s = 5*m + 20, m - 5*m - 12 = 2*z. Suppose -z*u + 778 = -d, -6*u + 3*d + 1552 = -2*u. Is u a multiple of 49?
False
Does 13 divide 5*86*1*(-17 + 2108/85)?
True
Let f(x) = 2*x**2 - x. Let o be f(-5). Let v be (-1 - (-46)/(-8))*(-40)/(-15). Let u = o + v. Is 10 a factor of u?
False
Suppose 6*q = 5*q + 57. Let g = q - 54. Suppose 264 = 7*f - g*f. Does 22 divide f?
True
Let n(j) = 13*j**2 + 70*j - 203. Is 158 a factor of n(-35)?
True
Suppose 0 = -17*o + 360517 + 169135. Is o a multiple of 185?
False
Let b(s) = s**2 + 2*s - 10. Let j be b(-5). Suppose -3*n + 6 + 1 = j*z, -4*z = 4*n - 20. Is (30/n - 3)*15 a multiple of 2?
False
Let z b