 - z, 3*z = -2*t + 37. Suppose -z*f = -120 - 330. Is 8 a factor of f?
False
Suppose 2*a - 15 - 15 = 0. Let n(j) be the first derivative of -j**2/2 + 20*j + 159. Is n(a) a multiple of 2?
False
Let p(y) = -2*y**2 - 20*y - 13. Let f be 81/6*12/(-18). Let d be p(f). Suppose 36 = -2*i + d*x + 177, i + 5*x - 63 = 0. Does 17 divide i?
True
Let i(a) = -2*a**3 + 2*a**2 - 6*a + 9. Let t be i(5). Let b = 366 + t. Suppose -o - 4*o = 5*s - 245, -5*o + b = 3*s. Does 10 divide s?
True
Suppose 54 + 102 = 6*z. Suppose 25*b - z*b - s + 525 = 0, -5*s = -b + 549. Does 63 divide b?
False
Let b = 227 + -230. Does 10 divide b/12 - (1885/(-20) - 2)?
False
Let x(w) = -w**2 + 4*w + 3. Suppose -a - 2*a = -12*a. Let z be x(a). Suppose 3*d - 87 = -z*p, 2*d = -0 + 2. Is p a multiple of 4?
True
Let y(q) = 3*q**3 - 5*q**2 + 3*q + 2. Let f be y(-3). Let s = f - -502. Is 12 a factor of s?
False
Let i(p) = -217*p - 6964. Does 137 divide i(-45)?
False
Let y(i) = -i**2 - 20*i - 13. Let r be y(-19). Suppose 4*f - 356 = -2*c + r*f, 5*c + 4*f = 917. Is 14 a factor of c?
False
Let d(y) = 554*y**2 + 29*y - 4. Is 9 a factor of d(4)?
False
Let a(q) = 316*q - 1192. Does 160 divide a(23)?
False
Let k(h) = 13*h**3 - 11*h**2 - 2*h + 13. Let j(s) = -7*s**3 + 5*s**2 + s - 6. Let z(o) = 11*j(o) + 6*k(o). Let r be z(14). Does 42 divide ((-27)/(-6) - 4)*r?
False
Let k = -3492 + 1689. Let l = k - -2800. Is l a multiple of 35?
False
Suppose -2*y - x = -1235, 0 = -4*y - 30*x + 32*x + 2458. Let b = y - 185. Does 42 divide b?
False
Let d = 1509 - 888. Suppose 6*i = 3063 - d. Suppose -i = -m + 5*u, 2*m + 0*u = 2*u + 790. Is 14 a factor of m?
True
Let i = -30 - -43. Suppose -i*n = -5179 + 486. Is n a multiple of 19?
True
Let l(i) = -30*i**2 - 17*i - 17*i**2 - 53 + i**3 + 28*i**2. Let o be l(20). Suppose -15*y = -o*y - 264. Is y a multiple of 11?
True
Suppose 0 = 3*z - 13*z - 40. Is -1 + 321 + (-20)/z a multiple of 24?
False
Let n(d) = d + 1. Let u(g) = -21*g - 61. Let i(z) = 6*n(z) + u(z). Is 5 a factor of i(-21)?
True
Suppose -3*q = -r + 15514, 0 = 15*q - 18*q + 6. Is 36 a factor of r?
False
Does 103 divide (135/20 + -14)/(3/4272*-2)?
False
Let b(l) = 11*l + 1. Suppose 5*a - 154 = -29. Let z = -15 + a. Is 13 a factor of b(z)?
False
Let u = 463 - 368. Suppose -93*n = -u*n + 1342. Is 61 a factor of n?
True
Let v(g) = 5*g**2 - 4*g + 151. Let i be v(-15). Suppose 391*m + i = 395*m. Does 28 divide m?
False
Let z = 350 + -350. Suppose 2*r + 5*m - 180 = z, 4*r - 6*r + 180 = -3*m. Is r a multiple of 3?
True
Let t be 13/(-65) - 22/(-10). Suppose 2*q + t*q + 2225 = 5*x, 5*q = 25. Is x a multiple of 51?
False
Suppose -b + u + 1796 = 3, 0 = 2*b - 5*u - 3601. Let s = b + -878. Is 14 a factor of s?
True
Let a(o) = -108*o - 892. Is a(-102) a multiple of 14?
False
Suppose -55 = 4*o - 175. Let f be (1 - o) + (-6 - 5/(-1)). Is 18 a factor of (162/5)/((-9)/f)?
True
Let x = 11 - 9. Let a(m) = 4 + 12 - 5 + 0*m**x + 12*m + m**2. Is a(-13) a multiple of 10?
False
Let c = 200 + 455. Let q = -585 + c. Is 10 a factor of q?
True
Let g be 12*((-2 - -3) + 12/(-18)). Suppose f - 3*y - 21 = 0, -5*f + g*y = -61 - 22. Suppose -128 = 7*r - f*r. Is r a multiple of 16?
True
Let r(x) = -x**2 + 19*x + 33. Let u be r(18). Let y = 83 - u. Suppose 11*f - 13*f = -y. Is f a multiple of 16?
True
Let d(k) = 2*k + 4. Let p be d(-3). Let w be p/(-14)*-2 - 16/(-7). Suppose -3*n + 5*y - y = -355, -229 = -w*n - 5*y. Does 13 divide n?
True
Let g = 1257 + -1253. Let m be (-74)/(-14) - 2/7. Suppose 4*y - m*l = 355, -5*y = -2*y + g*l - 243. Is y a multiple of 17?
True
Let r be (-16 + 28)/(9/6). Let l(g) = 25*g + 160. Is l(r) a multiple of 15?
True
Suppose 5*k + 5*j - 2*j + 1715 = 0, 3*k = -j - 1029. Let c = k + 460. Is c a multiple of 5?
False
Let p(m) = m**3 + 13*m**2 + 14*m + 10. Let y = -14 + 1. Let i be p(y). Let k = 8 - i. Is k a multiple of 12?
True
Suppose -17352 = -3*u + 3*d, -3*d + 4 = -5*d. Suppose 0 = 2*g - 4*t - 2798, 5*g = -t + 1191 + u. Is 15 a factor of g?
True
Suppose 21051 = 5*p - w, 55*p - 56*p - 5*w = -4179. Is p a multiple of 40?
False
Suppose 0 = 116*a - 882003 - 1338469. Is a a multiple of 17?
True
Suppose -2*m - 3*l + 0*l = -115, 5*l - 275 = -5*m. Does 5 divide 1/(3 + (-145)/m)?
True
Let t be (-1)/(-4) - 81/36*1. Is 9 a factor of (240/(-6))/(t/17)?
False
Let a = 162 + -40. Suppose -767 = -b - a. Suppose -2*d = -3*d - r + 133, -5*d + b = r. Is d a multiple of 20?
False
Suppose 270*n - 1839910 = -58990. Is 15 a factor of n?
False
Let l be (26/(-13))/((-6)/1479 - 0). Suppose -313 - l = -2*f. Is 36 a factor of f?
False
Suppose p - 16 = -5*j, 9*j + 5*p + 4 = 12*j. Suppose -7*x = -2*x + j*h - 50, 4*x - 62 = 2*h. Suppose 3314 = x*s - 1184. Does 45 divide s?
False
Suppose 0 = -2*y + 3*m + 43415, -5*y = 87*m - 92*m - 108525. Does 14 divide y?
True
Let i(w) = -w**3 - 40*w**2 + 37*w - 2. Let h be i(-41). Suppose -c - 5*x + 18 = 1, 3*c + 2*x = 25. Suppose h = c*u - 41. Is u a multiple of 10?
False
Suppose 15*c + 44345 - 433520 = 0. Is 180 a factor of c?
False
Let p = -4282 + 8885. Does 12 divide p?
False
Does 9 divide 267/(-36)*-398 - 77/(-462)?
True
Let j = 32198 + -10016. Is 14 a factor of j?
False
Let q(g) be the first derivative of g**3/3 + 5*g**2/2 + 10*g + 17. Suppose 2*x + 4*d - 11 - 3 = 0, 0 = -5*x + 3*d + 22. Is 21 a factor of q(x)?
False
Let m = 55 + 452. Let l = m + -894. Let i = 566 + l. Does 12 divide i?
False
Suppose 0 = 105*o - 89*o - 48. Suppose 0 = -6*l + 3*l - 3. Is l + o - (5 - (3 + 49)) a multiple of 7?
True
Let b be -109 - (1 + (-9)/(-3)). Let k = -181 + 504. Let c = k + b. Does 35 divide c?
True
Let w = 4125 + 1905. Is w a multiple of 18?
True
Let f(b) be the first derivative of -3*b**2/2 + 19*b - 16. Is f(-22) a multiple of 35?
False
Let s(y) = -y**2 + 5*y - 4. Let r be 57/21 - 16/(-56). Let x be s(r). Suppose o + o - 78 = -x*j, 5*j + 2*o - 180 = 0. Is 15 a factor of j?
False
Suppose -406 = 3*m - 445. Suppose -m*y = -14*y + 124. Is 62 a factor of y?
True
Let z = -26 - -49. Suppose -z*f - 13184 + 35011 = 0. Is f a multiple of 13?
True
Let m(y) = -y**3 + 22*y**2 + y - 20. Let w be m(22). Suppose -w*v - s = -1059, 0 = 5*v + 3*s - 275 - 2375. Does 17 divide v?
True
Let g(a) = -a**3 - 6*a**2 - 4*a - 20. Let p be g(-6). Is 5 a factor of 6*(4 + -1 + p)?
False
Suppose 0 = -5*q - 3*h - 201, -6*h = -4*h + 4. Suppose 3*n + 666 = 14*p - 11*p, 0 = 5*p + 5*n - 1080. Let w = p + q. Does 18 divide w?
True
Suppose -1 = -2*b - 5*m - 54, 114 = -4*b - 2*m. Let r = b - -34. Suppose -r*p - 2*p = -420. Does 14 divide p?
False
Let w(r) = 3*r**3 + 46*r**2 - 205*r - 72. Is 30 a factor of w(20)?
False
Let y be (6/5)/(78/16900). Let h = y - 110. Is h a multiple of 5?
True
Suppose 139*h - 976185 = 4*h. Is 12 a factor of h?
False
Let q(t) = -449*t + 3513. Is 31 a factor of q(-46)?
False
Is 260 a factor of ((-18)/(-54))/(5/217260) + -1?
False
Let x(i) = -i**3 - 13*i**2 - 24*i - 22. Let c be x(-11). Suppose c = 3*n - 34 + 22. Suppose n*p - 62 = 66. Does 6 divide p?
False
Suppose 0 = -43*z + 47*z - 32. Suppose -6*f + z*f - 490 = -4*q, -5*f + 4*q + 1183 = 0. Is 5 a factor of f?
False
Let k(s) = 5829*s**3 - 4*s**2 + 16*s - 7. Does 14 divide k(2)?
False
Suppose -21*s + 22772 + 67948 = 0. Does 240 divide s?
True
Let f(l) = l + 4*l - 48 + 43 + 11*l**3 - l. Let z = -27 + 29. Does 12 divide f(z)?
False
Suppose d + 3*f = 10687, -3*d + 4*f + 2230 + 29831 = 0. Is d even?
False
Let x = -204 - -373. Let y = x + -93. Is 5 a factor of y?
False
Suppose -2*d + 34 = -20. Let m be ((-36)/d)/((-4)/9). Suppose 0 = -o + 2*k + 33, -2*k + 5 = m*k. Is o a multiple of 7?
True
Suppose 0 = l - 4*y - 330, 1650 = 5*l + 5*y - 4*y. Suppose 2595 + l = 5*j. Is j a multiple of 5?
True
Does 121 divide 170/(-3)*(-62799)/346?
True
Let z = 6422 + -2548. Suppose -27*c + 257 + z = 0. Does 17 divide c?
True
Let v be (1238/(-6) + 3)*-3. Let a be (v/3)/(-5) - 8/(-12). Does 21 divide (-9*98/35)/(6/a)?
True
Let k(j) = -48*j**2 + 6*j - 20. Let l be k(2). Let g = 556 + l. Does 10 divide g?
False
Suppose 0 = 4*f - y - 62 - 7683, -f + y + 1934 = 0. Does 11 divide f?
False
Let p = 8 - 8. Suppose p = 39*f + 6*f - 4815. Is f a multiple of 2?
False
Suppose 4*b = -27*b + 93. Suppose -h + 6 = -14*r + 15*r, 0 = r + b*h - 8. Does 5 divide r?
True
Let m = 11 + -3. Suppose 6*j = 10*j - m. Suppose -j = -g -