2 + 13*x. Let f be j(3). Suppose 5*o + 2*s - 360 = 0, 4*s + 50 = f*o - 4*o. Does 10 divide o?
True
Let o(y) = -3*y**3 + 6*y - 9. Let p be o(2). Let a = p + 17. Let l(z) = -3*z**3 + z**2 + z - 8. Does 13 divide l(a)?
False
Let k = 3328 - 2487. Is 25 a factor of k?
False
Is 20 a factor of (-26 - -13)*1 + 2653?
True
Let i(u) = 36*u + 143. Is 6 a factor of i(13)?
False
Let f(w) = -3*w. Let k be f(-4). Suppose k*y + 810 = 4002. Is 38 a factor of y?
True
Let a(x) = -2*x + 6. Suppose 5*v + 3*n + 19 = 0, 5*v + n = -3 - 10. Let i be a(v). Suppose -i*m + 36 = -14. Is m a multiple of 2?
False
Let b = 293 + -274. Suppose 0 = -b*d + 22116 + 5852. Does 16 divide d?
True
Let b = -15 + 19. Let z be (21/(-6) + b)*(4 - -2). Suppose -z*o - 3 = 0, -3*o + 4 = 3*v + 2*o. Is v a multiple of 2?
False
Suppose -4*k + 5*t = -1, 4*k + t - 4*t = 7. Let o(v) = -4*v + 11 + 19 - k*v + 0*v. Is 31 a factor of o(-13)?
False
Let y = -398 + 82. Let p be (-8)/1 - -7 - 115. Let q = p - y. Is 51 a factor of q?
False
Let x(s) = 245*s - 4407. Is 17 a factor of x(156)?
True
Let n(y) = y**3 + 86*y**2 - 775*y - 145. Does 218 divide n(-92)?
False
Suppose 330*f - 333*f - 9 = 0. Let p(m) = -29*m - 5. Let u(v) = 10*v + 2. Let y(c) = 4*p(c) + 11*u(c). Is y(f) a multiple of 5?
True
Suppose -4*j = 5*x - 2896, 4*x + 4*j = j + 2316. Let r = -208 + x. Suppose d + 76 = p, d = 5*p - 28 - r. Is 16 a factor of p?
True
Let j(d) = 26*d - 34. Let l = -24 - -31. Is j(l) a multiple of 14?
False
Let t(h) = -706*h - 8997. Does 114 divide t(-41)?
False
Suppose 4*u + 2*m - 22930 = 0, -38*u + 5*m + 11435 = -36*u. Is 30 a factor of u?
True
Let w be (-4)/((-16)/12) + -3. Suppose w = -l - 3*l + 896. Suppose 6*z - l = -2*z. Is 16 a factor of z?
False
Let n be 289/(-7) - 18/(-63). Let r = 9 + -62. Let s = n - r. Does 5 divide s?
False
Suppose -5 = -4*c + i + 17, 3*c - i = 16. Let a be (-1 + 1)/((-2)/c*-9). Suppose 5*u - 46 - 24 = a. Does 7 divide u?
True
Let h = -17557 + 24446. Is 15 a factor of h?
False
Suppose -229 = -5*c - 64. Suppose 37*p - c*p + 16 = 0. Let l(j) = 6*j**2 - 8*j - 16. Is l(p) a multiple of 26?
False
Suppose r + 28 = 33, -4*d + 18590 = 2*r. Is 22 a factor of d?
False
Does 21 divide ((-5)/(-60) + (-1859)/(-156))/((-2)/(-497))?
True
Suppose -h - 5*d + 16 = 0, 5*h - 20 = 5*d + 60. Suppose 0 = 6*u - 8*u + h. Let r(l) = 3*l + 16. Does 20 divide r(u)?
True
Let b(z) = 298*z**3 - 4*z**2 + 4*z - 1. Suppose 0 = 2*q - 35*q + 33. Is 9 a factor of b(q)?
True
Let j(d) be the second derivative of 2*d**2 + 0 + 0*d**3 + 3/2*d**4 - 10*d. Is 19 a factor of j(-2)?
True
Suppose 5*u + f = 76, 3*f - 88 = -6*u + u. Does 4 divide u?
False
Suppose -2305 - 9153 = -2*y - 0*y. Is y a multiple of 26?
False
Suppose 270 = 2*d + 4*f, 0 = d + 2*f - f - 131. Suppose d = 5*p - 2*n - 556, 3*p = -4*n + 415. Is 36 a factor of p?
False
Let m(y) = -22974*y + 322. Is 32 a factor of m(-1)?
True
Suppose -17*v + 3360 = -v. Suppose 206*w + 1936 = v*w. Does 44 divide w?
True
Let y = -112 + 114. Let r(f) = -f**3 - 3*f**y - 4*f - 3 - 5 - 3 - 5*f. Does 31 divide r(-7)?
True
Suppose 0 = 5*a - 4*c - 937, 4*a + a + 4*c = 953. Let f = a - 98. Is 16 a factor of f?
False
Suppose -3*h + 2*f + 2970 = 437, -5*h - 3*f + 4190 = 0. Let w = 1352 - h. Does 9 divide w?
False
Let u(i) = -3 + 3*i**2 + 3*i + 2*i + 5 + 20*i. Does 39 divide u(-12)?
False
Let i(b) = -b**3 + 31*b**2 - 35*b + 417. Is 12 a factor of i(27)?
True
Let r = 13572 + -10342. Is 17 a factor of r?
True
Let d be (1 - 5)/((-29)/(-58)). Let z(b) = b**3 + 11*b**2 - 3*b + 25. Is 6 a factor of z(d)?
False
Let q(f) = -54*f**2 + 4. Let c be q(-4). Let o = -607 - c. Is o a multiple of 23?
True
Let w(x) = 524*x**2 - 313*x - 2219. Does 6 divide w(-7)?
False
Let r(x) = -x**2 + 1. Let f(h) = 18*h**2 - h - 10. Let s(b) = f(b) + r(b). Is 36 a factor of s(-2)?
False
Suppose 11*h - 58898 = 4*h. Is h a multiple of 15?
False
Let c = -824 - -2479. Suppose -9*r + c - 440 = 0. Is 45 a factor of r?
True
Suppose 4*u - 159510 = 3*p, -2*u + 4*p + 46117 = -33643. Is 12 a factor of u?
True
Let q(n) = 244*n**2 + 384*n + 25. Is q(-6) a multiple of 23?
False
Suppose x = -2*w + 53 + 172, 0 = 4*x - 12. Let t = -64 + 102. Let k = w - t. Does 14 divide k?
False
Suppose 2*c = -5*d + 11823, -97*c = -102*c - 3*d + 29548. Is 45 a factor of c?
False
Let u = -203 + 205. Suppose u*x - 735 = 119. Is x a multiple of 61?
True
Let w(j) = -j**3 + 15*j**2 - 18*j + 14. Let x = 259 + -247. Is 23 a factor of w(x)?
True
Let k = 585 - 601. Does 104 divide (1407/12)/((-1)/k)?
False
Let i be (-4)/26 - (11 + 67947/(-143)). Let m = i + -250. Is m a multiple of 24?
False
Let a(s) = -2*s**3 - 5*s**2 - 4*s + 1. Let c be a(-3). Suppose 54*v = -57*v + 1776. Suppose -534 = v*k - c*k. Is 35 a factor of k?
False
Let o be 2/(-8) + (5 - (-7)/(-4)). Suppose 0 = o*a - 7*a + 100. Suppose -g = -9 - a. Is g a multiple of 6?
False
Is (151744/512)/((-3)/(-48)) a multiple of 119?
False
Let g(w) be the first derivative of w**4/4 - 8*w**3/3 + 10*w**2 - 40*w + 3. Does 19 divide g(10)?
False
Let n(m) be the third derivative of -m**6/120 + 3*m**5/10 + 49*m**4/24 - 10*m**3/3 - 163*m**2. Is 17 a factor of n(18)?
False
Let h = 30 - 33. Let t be 7/5*15/(0 - h). Let d = 28 - t. Is d a multiple of 7?
True
Suppose -3*i + 5*g + 26814 = -33456, -100507 = -5*i + 2*g. Is i a multiple of 25?
False
Suppose 3*w + 23 = 11. Let y be (1490/20)/(2/w). Let v = y - -229. Is 10 a factor of v?
True
Suppose 4*t - 3*m = 36, 0*t + 4*t + m = 20. Suppose -7 = t*q - 4*q + 3*j, -2*j = -4*q - 6. Does 29 divide (-158)/(-3)*3 + q?
False
Let i(h) = -2*h + 6. Let c be i(-2). Suppose 3*b - 3 = -3*l, 2*l + 3*b - c = 6*l. Does 3 divide (l - 30/(-3)) + (-6)/6?
False
Let d be 276 + -1 + 0 + 12/(-3). Let l = 447 - d. Does 3 divide l?
False
Suppose -45*i = -40*i + 4125. Does 2 divide i/(-21) + (-5)/(-35)*-2?
False
Is 4/((-20)/585)*(-496)/24 a multiple of 13?
True
Let l = 3 - -1. Let i = 125 + -125. Suppose i = 5*h + l*f - 474 - 782, -1007 = -4*h - f. Is h a multiple of 41?
False
Let g(n) = 12*n + 19. Does 2 divide g(6)?
False
Let n(r) = 14*r**2 - 4*r - 56. Does 2 divide n(6)?
True
Let m(v) = -v**3 + 24*v**2 + 56*v - 59. Let r be m(26). Is 17 a factor of (-1358)/(-5) + ((-54)/r)/(-3)?
True
Let n(x) = -72*x - 6. Let y be n(5). Let q = 696 + y. Is q a multiple of 30?
True
Suppose -11*m + 6 = -8*m. Suppose -m*l = -949 + 273. Is 26 a factor of l?
True
Suppose 5*z = 4*w + 2387, -5*w = 8*z - 3*z - 2360. Is 6 a factor of z?
False
Is (-1881672)/(-168) + 15/(-35) a multiple of 20?
True
Does 93 divide (-1 - 7)*-23*(-11 - -97)?
False
Does 20 divide (-4)/(8*15/(-265800))?
True
Let y(l) = 1080*l - 887. Does 38 divide y(3)?
False
Let f = 44 + -38. Let w be (-130)/4*9656/85. Does 19 divide (f/4)/((-39)/w)?
False
Let n(b) = 125*b**2 + 8*b + 22. Is n(4) a multiple of 80?
False
Let r(k) = -65*k - 20. Let u(g) = 1. Let w(c) = -r(c) + 6*u(c). Does 38 divide w(3)?
False
Let m(n) = -1. Let z(t) = -11*t + 2. Let j(c) = 6*m(c) - z(c). Is j(17) a multiple of 4?
False
Let t be (-2)/((-2)/7) - (-57)/(-19). Let o(f) = f**2 + 2*f + 10. Let j be o(t). Let v = j + 12. Is 12 a factor of v?
False
Does 144 divide (3588/(-345))/((-2)/5760)?
True
Suppose d + 5*n - 3650 + 347 = 0, 0 = 4*n + 20. Does 10 divide d?
False
Let o be 0 + 5/20 - (-235)/4. Let l = o + -20. Is 3 a factor of l?
True
Let f = 11782 - 166. Is f a multiple of 22?
True
Let x = -191 - -194. Suppose -4*i = a - 625, x*i - 3*a + 480 = 6*i. Is i a multiple of 9?
False
Suppose -373 = 6*a + 431. Let x = a - -233. Let l = x + 48. Is l a multiple of 20?
False
Suppose 3*v + 5 = -2*v. Suppose 13*y = 14*y - 3*s - 47, 4*s = -8. Let o = y + v. Is o a multiple of 5?
True
Let d(u) = u**3 - u**2 + 15*u - 16. Let y be d(12). Suppose 4*x = -5*p - y, -4*p = 16 - 0. Let i = -302 - x. Does 65 divide i?
True
Let m(w) = 440*w - 3594. Does 58 divide m(17)?
True
Let d(i) = -i**2 - 224*i + 467. Is d(-113) a multiple of 92?
False
Suppose 15*k = 11*k + 16. Suppose -2*d - 3*o = 28 - 83, o - 85 = -k*d. Suppose -18*b + d*b = 112. Does 7 divide b?
True
Let m(a) = -13*a + 939. Is m(13) a multiple of 11?
True
Let t(h) = h**3 + 25*h**2 + 58*h + 32. Suppose 6*c = -0*c - 96. Does 32 divide t(c)?
True
Let k(n) = n**2 - 5*n. Let c be k(6). Let y = -3770 + 3994. Suppose o + c*o = y. Does 8 divide o?
True
Let a be (39/2