?
False
Suppose -319*l = -132*l - 130*l - 377910. Is 30 a factor of l?
True
Let s(o) = -o - 25. Let u be s(-40). Suppose -u*n - 2*n + 17119 = 0. Does 14 divide n?
False
Let b be 7/(14/(-18))*(-14)/(-6). Let w = -17 - b. Suppose 8*r - w*r + 5*y - 434 = 0, 5*y + 565 = 5*r. Is r a multiple of 30?
False
Let m(h) = -h**2 + 15*h - 35. Let f(t) = -t**2 + 14*t - 36. Let i(g) = g + 3. Let b be i(-8). Let n(l) = b*f(l) + 6*m(l). Does 11 divide n(12)?
True
Let c be -2 - (3 + 2*-5). Suppose 5*u = 10, -2*s = -u - u - 14. Suppose -2*i = -c - s. Is 7 a factor of i?
True
Let f = -2960 - -3366. Is f a multiple of 39?
False
Let l be 220/12*(-5 + (-124)/(-20)). Suppose l*k - 6316 = 2836. Is 16 a factor of k?
True
Suppose 0 = 4*x - 5 - 7. Let u be (0*(2 - x))/(-2). Suppose s - 5*s + 24 = u. Does 6 divide s?
True
Suppose 720 = 712*y - 717*y. Is (y/(-14))/(51/476) a multiple of 4?
True
Suppose -3*u + 3*p + 2*p + 1 = 0, 2 = 2*p. Suppose -f = -2*k + 4, -k - u*k = 4*f - 6. Suppose -140 = -d - f*d. Is 14 a factor of d?
True
Suppose -28*i + 708540 = 27*i + 29*i. Does 16 divide i?
False
Suppose 4*d - d = -4*m - 20, 0 = -5*d - 2*m - 10. Suppose d = 5*q - 0 - 30. Is (0 - 4)*(q - 14) a multiple of 8?
True
Let j = 6690 + -4550. Suppose -49*a + 9588 = j. Is a a multiple of 38?
True
Let u(t) = t**3 + 7*t**2 + 5*t - 3. Let y be u(-2). Let g(r) = -r**3 + 17*r**2 - 21*r + 36. Does 13 divide g(y)?
False
Suppose -4*b = -0*b + 580. Does 6 divide (-2)/(-5) - 4727/b?
False
Let w be ((-8)/(-5))/((-94)/(-112800)). Suppose -w = -28*b + 12*b. Is 8 a factor of b?
True
Suppose 0 = 8*r - 1417 + 185. Let a = -148 + r. Is a even?
True
Let q be 6*5/105 + 68/7. Does 19 divide (19/(-2)*2)/(q/(-170))?
True
Let d = 14207 - -19274. Is d a multiple of 160?
False
Let d be -6*5/(-3) - 5. Let j = -2 + d. Suppose 310 = v + 3*v - 2*q, -220 = -j*v + 4*q. Is 8 a factor of v?
True
Suppose 27*r - 6*r = 63. Suppose -3*t = 9, -r*z + 2*t = 5*t - 480. Is 10 a factor of z?
False
Suppose 3054*q - 417284 = 3040*q. Is 7 a factor of q?
True
Is (-104)/(-39)*(-7 + 574) a multiple of 20?
False
Suppose -7*f + 44 + 208 = 0. Let a = f - -72. Does 36 divide a?
True
Let t = 908 + 3022. Suppose 360 = -6*g + t. Is 8 a factor of g?
False
Suppose r = -4*t + 103283, -108*r + 129130 = 5*t - 112*r. Is t a multiple of 14?
False
Suppose 3*t - 11 = -2. Suppose -t*r - r + 20 = 0. Suppose -2*x + r*x + 118 = 2*q, -5*q - 5*x + 295 = 0. Is 33 a factor of q?
False
Suppose 40*g - 32872 - 109848 = 0. Is 8 a factor of g?
True
Let r = 8080 + 8294. Is r a multiple of 6?
True
Let y(v) be the third derivative of -v**4/3 - 14*v**3 + 7*v**2. Does 10 divide y(-18)?
True
Suppose 5*z + m = 157, -2*z + 102 = -4*m + 26. Let g be ((-26)/3)/(z/(-240)). Suppose -66*c = -g*c - 128. Is 22 a factor of c?
False
Suppose 181 = m + 253. Does 9 divide (1896/m)/(-1 + 4/6)?
False
Let j = 14232 - -1509. Does 11 divide j?
True
Let w = 17 + -14. Suppose -2*h + 0*b = w*b + 355, -3*h - 534 = 4*b. Let t = 312 + h. Does 26 divide t?
True
Let y(l) be the first derivative of -l**4/4 + 2*l**3/3 - 4. Let q be y(2). Suppose 5*x + 5*c - 380 = q, x - c - 17 = 59. Does 16 divide x?
False
Let t(b) = 2*b**2 - 7*b - 11. Let v be t(5). Suppose -5 = s - v*q - q, -3*s - 5 = -5*q. Suppose -f + 16 = 4*r - 57, s = -4*r - 12. Is f a multiple of 14?
False
Suppose -i - 4*i = -2*u + 4, -2*i = -2*u + 4. Suppose u*r + 56 = r - 3*w, 0 = -2*r - 5*w - 112. Let m = 125 + r. Is 23 a factor of m?
True
Let q = 139 - 269. Let z = -122 - q. Suppose 3*w + 5*g = 290, -4*w + 4*g = z*g - 384. Does 16 divide w?
False
Suppose 0*w - 18*w = -144*w + 388710. Is 50 a factor of w?
False
Is 2/9 + 192876/54 + 12 a multiple of 56?
True
Let u be 15/5 + (6 - -62). Is (u - 26)*(2 + -1 - 0) a multiple of 5?
True
Let u(t) = 4*t**2 - 18*t - 1. Let v(w) = -2*w**2 - 33*w - 5. Let k be v(-16). Is 15 a factor of u(k)?
True
Suppose 5*p = 779 - 744. Suppose -z - 2*x + 158 = 0, p*z - 6*z = -x + 159. Does 16 divide z?
True
Let r(g) = 2*g**2 - 3 - 2*g + 7*g - 2*g. Let b be r(-3). Is 2 - (-8 - (b + -4)) a multiple of 2?
True
Let p(j) = -628*j**3 + 7*j**2 + 3*j + 14. Is 152 a factor of p(-3)?
True
Suppose b + b + 332 = 4*v, 3*b = -5*v + 393. Let a = 1067 + -981. Suppose -h + 3*y = -v, h + y = 3*y + a. Does 12 divide h?
True
Suppose -5*f + 15 = -10*f, z = 5*f + 17. Does 8 divide 188 + ((-11)/(-33))/(z/(-6))?
False
Suppose 0 = -3*d - 5*s + 105, -3*d = s - 4*s - 81. Does 10 divide 4102/10 - 6/d?
True
Let a(o) = 4*o - 222. Let s(z) = z - 74. Let v(k) = 2*a(k) - 7*s(k). Does 19 divide v(-17)?
True
Let w(b) = 4*b**2 + 3*b + 2. Let y be w(-1). Suppose -6*g = 5 + 49. Let x = y - g. Is 4 a factor of x?
True
Is 13 a factor of 4 + (12104 - -1) + 6?
False
Let i(y) = 371*y + 2096. Is i(66) a multiple of 12?
False
Let j(n) = 7*n + 43. Let q(g) = -7*g - 41. Let f(k) = 7*k + 42. Let i(p) = -3*f(p) - 2*q(p). Let x(m) = -4*i(m) - 5*j(m). Is 13 a factor of x(-13)?
True
Let k be (19 - 15)/((-1)/28) + 3. Let m = k + 361. Does 6 divide m?
True
Let h = -1641 - -3213. Suppose 44*v + h = 50*v. Does 16 divide v?
False
Let f be (-1)/4 + (-6)/((-72)/6231). Suppose 0 = 14*k - 17*k + f. Suppose k*b - 177*b + 344 = 0. Does 43 divide b?
True
Suppose -2*w - 3*a = -3894, 3*w + 5*a = -2*w + 9740. Is 33 a factor of w?
False
Let t be 84/70 + -1 + 14/5. Suppose t*u + 3*y - 194 - 706 = 0, -3*u + 892 = y. Is 22 a factor of u?
False
Let z(k) = 2*k + 15. Let b(t) = 5*t + 44. Let u(x) = 3*b(x) - 8*z(x). Let l be u(9). Suppose -p + d + 38 = -10, 3*d - 144 = -l*p. Is 19 a factor of p?
False
Let i = -188 - -215. Suppose 28*p - 434 = i*p. Is 31 a factor of p?
True
Let x be (10/4 - 1)/(2/4). Let o(z) = -z**2 - 28*z - 14. Let p be o(-26). Suppose -x*h - 26 = -v, -2*v + 4*h = 5*h - p. Does 20 divide v?
True
Let t(q) = -q**2 - 13*q + 17. Let h be t(-16). Let g = 35 + h. Suppose -4*o + 692 = g*u, 4*u + 4*o = -o + 687. Is u a multiple of 18?
False
Suppose 0 = 3*a + 36 - 27. Is 24 a factor of 589/3 - a/((-18)/(-4))?
False
Let m = 6 + 5. Suppose m*x - 16*x = -560. Suppose 3*q - f - 34 = x, 4*q - 186 = -3*f. Does 5 divide q?
False
Let j = 189 + -186. Suppose 2*g - 1666 = -j*c, -c + 3352 = 24*g - 20*g. Is 33 a factor of g?
False
Let r = 865 - 2039. Let c = -814 - r. Is 20 a factor of c?
True
Let h be ((-4947)/9 + -6)*-3. Suppose -4573 = -26*w + h. Is 26 a factor of w?
False
Let a = 4 + -2. Suppose s = -4, 2*b - 6*s = -5*s + 140. Suppose -a*u - 3*c = -0*c - 136, u = -5*c + b. Is 38 a factor of u?
False
Let m(t) = -22*t**3 + 3*t**2 + t + 2. Let d be m(3). Let j = d + 320. Let o = j - -475. Does 34 divide o?
False
Is ((-204)/(-24))/(2/28) a multiple of 7?
True
Let t be 2/(-9) + 2 + (-5060)/(-9). Suppose -t = -s + 51. Suppose -6*m = -m - s. Does 37 divide m?
False
Suppose 0 = -4*u - 4*k + 759 + 137, 4*u - 2*k - 896 = 0. Does 14 divide u?
True
Let v be 2 - (2 + 1) - -25. Let u be 0/((0 - -6) + -4). Suppose v = n - u. Does 6 divide n?
True
Let k(u) be the first derivative of 4*u**3/3 - 83*u**2/2 - 2*u - 118. Does 54 divide k(22)?
True
Let u(k) = 331*k + 9693. Is u(-11) a multiple of 68?
True
Let i(a) = a**3 - 121*a**2 + 3086*a - 370. Is i(87) a multiple of 7?
True
Let q(w) = w**3 - 16*w**2 + 9*w - 22. Let a be q(16). Let i = 237 - a. Does 20 divide i?
False
Let n = -564 + 1071. Suppose -10*q = -13*q + n. Suppose t + 304 = 3*d, -2*t + q = 3*d - 123. Is 10 a factor of d?
True
Is ((-1)/2 - 60/8)*(81 - 141) a multiple of 8?
True
Suppose 47097 = 4*d - 5*y, -5*y - 6163 = -d + 5600. Does 101 divide d?
False
Let k = -43 - -48. Suppose 2*c - k*z = 368, -123 = -c - 4*z + 87. Does 6 divide c?
False
Let q = -2342 - -2990. Is 6 a factor of q?
True
Does 8 divide 32774/4 + (1386/(-36) - -40)?
False
Let p(g) = 60*g**2 + 555*g - 12. Does 234 divide p(-14)?
True
Suppose -4*o + 65 - 17 = -4*j, o = -3*j. Suppose 13*y = o*y + 80. Suppose -4*l = -y, -3*l = -5*r - 33 + 228. Is r a multiple of 10?
False
Let z(f) = -f**2 + 3*f + 7. Let t be z(5). Let y(o) = -11*o - 27*o + 36 - 45. Is y(t) a multiple of 12?
False
Let m(b) = 502*b**2 - 63*b + 257. Does 32 divide m(9)?
True
Suppose 43 = -2*n + d, 3 = 8*d - 9*d. Let z(b) = b**3 + 26*b**2 + 55*b + 56. Does 7 divide z(n)?
True
Is 30 a factor of 35140 + -2 + (-8)/6*93/(-62)?
False
Let o = -23 - -63. Let h = o - 45. Is ((-48)/h)/((-12)/(-40)) a multiple of 32?
True
Let y(g) =