 Let o = x - 257. Is o a multiple of 14?
False
Let t(y) = 39*y - 1056. Is t(31) a multiple of 64?
False
Suppose -30*u + 24 = -27*u. Let c(r) = 24*r + 39. Is c(u) a multiple of 21?
True
Let j be (4/(-8))/(-1 + (-732)/(-728)). Let f be (-346)/4*(1 - 3). Let a = f + j. Is a a multiple of 41?
True
Suppose 2*z - 1912 = -s, -5*z + 2219 + 2564 = 4*s. Let u = -53 + z. Does 23 divide u?
False
Let b be (-2589)/3 + 0 + 90/18. Let k = 222 - b. Is 15 a factor of k?
True
Is 11 a factor of 297*(-36)/(-135)*5?
True
Let a(u) = 11*u**2 - 3*u - 1425. Is a(40) a multiple of 65?
True
Let q(u) = 2*u**2 - 20*u + 49. Let f be q(7). Let g = 18 + f. Does 7 divide g?
False
Suppose 5*t - 4*z + 2 = 0, -8*t + 7*t + z - 1 = 0. Suppose -3*u + 2053 = t*v, v - 2*v = 2*u - 1370. Is u a multiple of 20?
False
Let n(a) = -14*a - 12. Let f(p) = -p. Let i(y) = -3*f(y) - n(y). Let o be i(-4). Is 4/o*6 - 3932/(-28) a multiple of 20?
True
Let c = -212 + 214. Suppose -p = -b + 5*b - 761, c*b = 4*p + 394. Is b a multiple of 15?
False
Let j be (-4)/14 + (-150)/14. Let d(y) be the first derivative of y**4/4 + 11*y**3/3 - 6*y**2 - 24*y - 3361. Does 27 divide d(j)?
True
Is 42 a factor of (0 - -12)*(31 - 15)/48 - -4280?
True
Let b(i) = -i**3 - 18*i**2 - 19*i - 14. Suppose 2*j - 65 = -2*g - j, 3*g - 99 = -3*j. Let l = g - 51. Is b(l) a multiple of 8?
False
Suppose -29*t - 42831 + 62281 = -73060. Does 10 divide t?
True
Let s(y) = -25*y + 172. Let a be s(-22). Suppose a = -8*z + 2290. Is 4 a factor of z?
True
Let m(v) = -2*v**3 + 257*v**2 - 71*v - 45. Is m(128) a multiple of 2?
False
Let l = -39 - 2. Let i be 80 - (-6 - 0 - -10) - 2. Let x = i - l. Is 17 a factor of x?
False
Suppose -11*y - 35 = 31. Is 3 a factor of (-2)/y - (-916)/6?
True
Let o(g) be the second derivative of g**5/10 - 19*g**4/12 - g**3/2 - 37*g**2/2 - 39*g + 2. Is 5 a factor of o(10)?
False
Is 11 a factor of (-192312)/(-42)*((-74)/(-4) + -15)?
False
Suppose 1644 = -q + 5406. Suppose -14*p + q = -3*p. Does 6 divide p?
True
Let r(g) = -96*g + 2. Let n(l) be the second derivative of -l**5/20 + l**4/6 - l**3/3 - l. Let o be n(1). Does 29 divide r(o)?
False
Let w(u) = u**3 + 14*u**2 - 20*u - 20. Let n(i) = -i**3 + i**2 + i - 1. Let h(g) = 2*n(g) + w(g). Is 24 a factor of h(11)?
False
Suppose 3*g = -2*k - 71, -1 + 6 = -g. Let q = -25 - k. Suppose 2*u + v - 597 = -150, -3*v - q = 0. Is u a multiple of 15?
False
Suppose 4*b + 20 = 0, -4*w + 2*w = 2*b - 104. Let p = w + -54. Suppose -3*o - 3*l = -477, p*o - 389 = 2*l + 113. Is o a multiple of 40?
False
Let v(g) = -2*g**3 - 26*g**2 - 56*g + 106. Is v(-16) a multiple of 9?
True
Suppose -5*m + 16 = 4*u, -4*u + 2*m + 0*m = -44. Is 21 a factor of (-70)/(u/(-6)*3/27)?
True
Suppose -368 = -4*b - 0*b. Suppose -1968 = 86*i - b*i. Does 10 divide i?
False
Let v = -12 - -1. Let b = 21 + v. Suppose b*o - 12*o = -240. Does 20 divide o?
True
Is (-8 + (-528)/(-60))/(4/1800) a multiple of 5?
True
Let h(i) = -34*i + 112. Let d(m) = -22*m + 75. Let o(w) = 8*d(w) - 5*h(w). Is o(-15) a multiple of 13?
True
Suppose -1402 = 3*l - 4*f - 14283, 3*l - 12930 = -3*f. Is l a multiple of 5?
False
Let q(u) = 75*u**3 - u. Let s be q(1). Let v = -52 + s. Is 22 a factor of -4*(-2 - (v - 2))?
True
Suppose 0*d = -d. Let z be (3/(-12))/((-2)/8). Suppose -b - 3*c + z = 0, d = b - 2*c - 7 - 4. Does 4 divide b?
False
Suppose -30 - 6 = -6*t. Let c be (t/(-1))/(1*(4 + -6)). Suppose -c*x = w - 472, -5*x + 4*w + 786 = 5*w. Does 17 divide x?
False
Let v(i) = -2*i**3 - 144*i**2 + 113*i - 743. Is v(-73) a multiple of 6?
False
Let q(t) = 19*t**2 - 4*t + 1. Let k be q(3). Let s = 2514 + -2502. Is 8 a factor of (-3)/((-5)/(k/s))?
True
Let j(l) = -45*l - 200. Let y be j(13). Let p = y - -798. Is p a multiple of 2?
False
Let l = 558 - 828. Let p = 627 + l. Does 51 divide p?
True
Suppose -3*d + 12 = -4*r + 5*r, 4*d - 3*r - 16 = 0. Suppose -d*q + 100 = -2*h, -5*q - 3*h + 105 = -9. Does 12 divide q?
True
Is ((-235)/(-94))/(10/45768) a multiple of 19?
False
Let h(k) = k + 35. Let a be h(-17). Let f be (a - 9)*28/18. Let u(t) = -t**2 + 20*t - 20. Does 16 divide u(f)?
True
Suppose 19*y = 25*y - 6. Let c be y*-12*25/(-10). Suppose -59 = -4*n - v + c, 0 = -3*n - 5*v + 71. Is 11 a factor of n?
True
Let k(j) = -j**3 - 20*j**2 - 58*j - 22. Let i = 625 + -642. Does 3 divide k(i)?
False
Suppose 57*w + 30290 = 362657. Does 119 divide w?
True
Let l = 1085 - 606. Let s = l - 327. Suppose 58 = 2*a - s. Is a a multiple of 39?
False
Let q be 1 + 147 + -28 + 23. Let a = 223 - q. Does 11 divide a?
False
Let w(d) = 11*d**2 + d - 6. Let b be w(-8). Is 23 a factor of (96/(-60))/((-4)/b)?
True
Suppose -7*u = -3*v - 9*u + 332, 4*u = -v + 124. Let n = v + -110. Let s(i) = -21*i - 2. Is s(n) a multiple of 5?
True
Let d(p) = -p + 34. Let s be d(8). Let v = s + 130. Does 10 divide v?
False
Let i = -378 - -376. Is (-28 - i)*((-24)/3 + 3) a multiple of 65?
True
Let o = -6761 + 14334. Is o a multiple of 55?
False
Let h = 114 + -102. Suppose 2*c + h = 2*n, 3*c - 4 - 13 = -4*n. Suppose 5*k + n = 0, 7*m + 5*k - 22 = 4*m. Is m a multiple of 9?
True
Let c(b) = -b**2 + 15*b + 47. Let j be c(21). Let v = j + 81. Is 1/v*15*30/9 even?
False
Let m(s) = 4*s - 6 - 86*s**2 + s**3 - 14 + 94*s**2 - 2*s. Is 3 a factor of m(-7)?
True
Suppose 2*r - 28 = -4*z, -2*r + 5*z - 5 = -3*r. Let l be ((-4)/(16/(-30)))/((-10)/(-20)). Suppose l*q = r*q - 440. Is q a multiple of 8?
True
Let x(n) = -n**3 + 67*n**2 + 313*n + 118. Is x(71) a multiple of 18?
False
Let d = -17 - -29. Suppose -3*k + 5*a = -4*k - 8, 3*k - d = 3*a. Suppose -2*x - 3*b + k*b + 44 = 0, -56 = -3*x - 4*b. Is x a multiple of 8?
True
Let h(a) = -a**3 - 2*a**2. Let j be 0 + 1/(-2)*4. Let o be h(j). Suppose w - 6 - 1 = o. Is w a multiple of 2?
False
Suppose -j = 3*j + 44. Let o = j + 13. Is 11 a factor of ((-200)/75)/(o/(-33))?
True
Let a(r) = r**3 - 5*r**2 + r - 5. Let l be a(5). Suppose l = 5*g - 2*g + 3*o - 21, o - 13 = -3*g. Suppose 4*f = 0, 4*q = g*q + 2*f + 65. Is q a multiple of 6?
False
Let s(h) = 8*h**2 - 12*h + 5. Let x(m) = 17*m + 41. Let a be x(-2). Is 8 a factor of s(a)?
False
Suppose 1882*r - 223518 - 67212 = 1860*r. Is 11 a factor of r?
False
Let r(j) = -j - 7. Let i be r(-9). Suppose -2*n = -5*d - 0*d + 1789, -720 = -i*d + 3*n. Is 17 a factor of d?
True
Is 4 a factor of 2030/28*48/5?
True
Let h(t) = 4*t**2 - 44*t + 7. Let i be h(11). Is 9115/20 + i/28 a multiple of 19?
True
Suppose -43*b - 10*b - 1256877 + 3756410 = 0. Does 209 divide b?
False
Let t = 6174 + -3369. Is 11 a factor of t?
True
Let u(d) = -8*d**3 + 7*d**2 - 51*d - 92. Is 45 a factor of u(-8)?
True
Suppose 4 = 4*b - 28. Let n(g) = -2*g - 6. Let x be n(b). Let l(j) = j**2 + 21*j + 21. Is l(x) a multiple of 25?
False
Let g(a) = -a - 22. Let d be g(-11). Let t(i) be the first derivative of -i**3/3 - 17*i**2/2 - 24*i - 2. Does 10 divide t(d)?
False
Let y = 66 - 49. Suppose 3*z = -w + 13, 5*w - 3*z - 82 + y = 0. Suppose 16*d - w*d = 144. Is 12 a factor of d?
True
Let y be (-606)/(-66) + (-4)/22. Suppose -12*m = -y*m - 90. Suppose x = 28 + m. Is x a multiple of 29?
True
Suppose 3*l - 5*a - 44607 = 0, -2*l - 53*a + 48*a + 29813 = 0. Does 244 divide l?
True
Let v = 30 + -18. Let p(w) = 9*w + 15 + v - 35. Is 2 a factor of p(2)?
True
Let g be (-3)/(-6) - (-3)/(-2). Let a be (-956)/(-4 + (-5)/g). Is 16 a factor of 14/35 + a/(-10)?
True
Let z be ((-342)/1)/(-3)*(-20)/(-6). Let k = -176 + z. Is k a multiple of 51?
True
Suppose i = -33 + 45. Suppose 2*o - 3*p + 94 = 1726, 0 = -3*p - i. Is o a multiple of 15?
True
Let k be 30/80 - (-10008)/(-64). Does 9 divide ((-243)/(-18))/((-3)/k)?
True
Let s = 0 - -27. Let l = 36 - s. Let h = 65 - l. Is 14 a factor of h?
True
Let j be (4 + (-20)/3)*-3. Suppose -2*p + 8 + 4 = -3*r, p - 2*r = j. Suppose -3*q = -p*q - 3*i - 99, 5*i = q - 53. Is q a multiple of 14?
True
Suppose 61467 = 12*w + 1719. Does 13 divide w?
True
Let g(y) = -y**3 - 4*y**2 - 8*y - 9. Suppose 2*d = -3*z + 6*d + 26, -37 = -4*z + 3*d. Let j be (-60)/8 + 3 - 5/z. Is 4 a factor of g(j)?
True
Suppose -225*j + 375193 = -531557. Is j a multiple of 10?
True
Let l(a) = -2*a**2 + 32 + 3*a**2 + 2 - 10*a. Does 44 divide l(13)?
False
Let y be (928/(-24))/(4/6). Does 25 divide (-29 + 4)/(2 + y/28)?
True
Let t be (-4)/1*(-2149)/28. Let i = t + -196. Is 12 a factor of i?
Fals