6*h + 261*h - 7825950. Is h a multiple of 30?
True
Let x be (48/7)/((-2)/14). Let k be (-12)/(x/21 + (-4)/(-14)). Does 7 divide -19*((-5)/(15/k) + -1)?
False
Let a be (-28)/98 - (-2)/14*51. Let q = a - 7. Suppose q = -7*m - m + 640. Is 20 a factor of m?
True
Let w(n) = n**3 + 5*n**2 - 4*n + 2. Let m(z) = 4*z - 21. Let b be m(4). Let y be w(b). Let g = 6 + y. Does 7 divide g?
True
Suppose -45 = -5*h - 70. Let f be ((-2 - h) + -3)/(-2). Let k(c) = -c**3 + 2*c**2 + 2*c + 120. Is k(f) a multiple of 24?
True
Suppose 4*r + 779 = -2*g + 2097, -1652 = -5*r + 2*g. Does 56 divide r*3 + 6 + 4?
False
Suppose 4*i = 0, -3*h + 0*h - 2*i = -6. Suppose -h*k - 5*f + 20 = 0, -2*f = 3*k - 30 - 22. Is k a multiple of 4?
True
Let v = 44456 + -33201. Is 25 a factor of v?
False
Let v(z) = 2*z + 42. Let s be v(-14). Suppose -10*h - 1776 = -3*n - s*h, -2960 = -5*n + 3*h. Is n a multiple of 52?
False
Let g(v) = -2*v**3 - 7*v**2 - 17*v - 28. Let h be g(-5). Is (h/(-9))/(-11) - 401/(-3) a multiple of 4?
False
Let p(n) = 187*n**3 - n**2 + n - 1. Let g(y) = -375*y**3 + 2*y**2 - y + 2. Let h(k) = -3*g(k) - 5*p(k). Let b be h(-1). Let m = -136 - b. Is m a multiple of 4?
False
Suppose 2*j = n + 1404, -5*n - 486 = -j + 207. Let r = -486 + j. Does 4 divide r?
False
Let n = 40573 - 11313. Is 38 a factor of n?
True
Suppose 29*c + 819 = 32*c. Let z = 231 - 385. Let r = c + z. Is 29 a factor of r?
False
Let g(q) = q**3 + 10*q**2 + 5*q - 15. Let p be g(-9). Suppose 23*u - 780 = p*u. Is 15 a factor of u?
True
Let k(g) = -g**2 - 4*g. Let l be k(-7). Let f = -22 - l. Is 4 a factor of 5*(0 - f)*(-102)/(-30)?
False
Suppose -5*n - 18410 = -5*s, 64*n = 3*s + 60*n - 11044. Is 54 a factor of s?
False
Suppose 3*g + g = 3*g. Suppose -a - 105 = a + w, g = -5*a - 4*w - 264. Is (-13)/a - (-286)/8 a multiple of 9?
True
Suppose -5*u = -4*r + 82, -3*r + r + 30 = 3*u. Does 2 divide r - (-7 - 6/(-3))?
False
Let d(q) = 47*q - 1. Let k be d(-3). Let i = k - -75. Let w = i - -107. Is 10 a factor of w?
True
Suppose -7 = -k + 2*c, -18*c - 11 = -k - 14*c. Suppose -6*q + 3345 = -k*q + a, -3*q = -4*a - 3360. Does 42 divide q?
False
Let l(d) = 966*d**3 + 8*d**2 - 34*d + 66. Does 14 divide l(3)?
False
Let r = -23 - -83. Suppose -4*g + 24 = -3*k, -r = 3*k + k + 4*g. Is 4 a factor of (4/(-6))/(4/k) - -47?
False
Does 5 divide 1084/((-96)/(-18) - 5) - -8?
True
Does 50 divide (415/(-3))/(9*(-8)/2376)?
False
Let z be 2/(-8) + 2344/32. Suppose -5*q + 5*j + z = 23, -2*q - 15 = 5*j. Suppose 4*s - 200 = -5*f, 0 = q*f + s + 27 - 212. Does 6 divide f?
True
Let o = 1320 - -208. Is 34 a factor of o?
False
Let m(x) = 9*x - 31. Let g be m(4). Suppose -15*l + g*l = -1430. Is l a multiple of 4?
False
Let i(m) = -98 + m + 93 - m**3 + 0*m + 7*m**2. Let c be i(7). Suppose 4*k - 6*k = c*d - 138, 4*d = k - 54. Does 11 divide k?
True
Let j = -86 + 109. Suppose k = 65 + j. Suppose 5*a = -2*d + 6*d - k, d + 3*a = 22. Is d a multiple of 22?
True
Suppose 2284 = 4*t - 0*t. Let n = t - 204. Is n a multiple of 48?
False
Suppose 5*t - 2961 = 9*k - 12*k, 0 = 4*t + 24. Is k a multiple of 44?
False
Let n = 218 - 92. Suppose u + u - n = 0. Suppose -58*a - 470 = -u*a. Is a a multiple of 47?
True
Is (-7)/((-462)/12) + 1621380/110 a multiple of 14?
False
Suppose 4 + 2 = 3*y. Let a be (56/3)/(7*y/42). Suppose 0 = 2*r - a - 50. Is r a multiple of 12?
False
Let h(m) = 6*m + 180. Let n be (6/(-3) - (8 + -14)) + -12. Does 31 divide h(n)?
False
Let d(s) = s**3 + 42*s**2 + 17*s + 21. Is d(-33) a multiple of 27?
True
Let h(o) = o**3 - 5*o**2 - 11*o + 6. Let n be h(5). Let v = n + 54. Suppose 0 = -v*r + a + 457, 4*a + 100 = 2*r - 90. Is r a multiple of 13?
True
Does 91 divide (66352/10)/4 - (-6)/30?
False
Let o = 771 - 769. Does 15 divide (-6 - (-4 - 0/o))*-127?
False
Let t = -29365 - -66338. Does 135 divide t?
False
Let c(f) be the third derivative of f**5/12 + 13*f**4/24 + f**3/3 + 3*f**2 + 8. Is 15 a factor of c(-5)?
False
Let t = -13 - -15. Suppose -4*h + 5 = -s, t = h - 0. Suppose -93 = -s*j - 3*r + 60, 5*j = r + 273. Is j a multiple of 7?
False
Let t(f) = f**2 + 2*f - 72. Let r be t(9). Is 8 a factor of (1470/r*3)/((-1)/(-3))?
False
Let l = 1575 - 540. Is 45 a factor of l?
True
Let q(v) = v**2 + 20*v + 943. Let u = 644 + -644. Does 41 divide q(u)?
True
Is (-12 + -2822)/(-6 - (-64)/11) a multiple of 143?
True
Suppose 0 = -3*b - 1 - 5, 0 = -i - 4*b + 46. Let z = 109 - i. Does 3 divide z?
False
Suppose 120*b = -19*b + 900292 + 3067185. Does 48 divide b?
False
Let l(h) = -h**2 - 10*h - 21. Let w be l(-6). Let y(z) = 2*z + 69*z**3 + 2 - 5*z**2 + 35*z**3 + 2*z**2 - w. Is y(1) a multiple of 17?
True
Let s be (-3)/6*1*-2*6. Suppose s*r - 5*r = -61. Let b = r + 72. Is 3 a factor of b?
False
Let m(h) = h**3 + 11*h**2 - 2*h - 9. Let z be -2 - (-51)/6 - 3/(-2). Suppose -z - 3 = i. Is 13 a factor of m(i)?
True
Let m(t) = -t**3 - 2*t**2 - t. Let x be m(-2). Is (-215 - x/(-2))*(-63)/42 a multiple of 33?
False
Does 46 divide ((-115)/(-8)*6)/(93/391840*20)?
True
Let h(o) = 121*o**2 + 16*o + 102. Does 4 divide h(7)?
False
Let n be (-1 + 10 + 2)/(2/320). Suppose -4*c + n = 4*c. Does 44 divide c?
True
Suppose -16*z + 21*z - 5*y = -30, 2*y = -10. Is (-1862)/(-10) + z + (-162)/(-15) a multiple of 24?
False
Suppose -8*z + 16*z - s = 179439, -s - 67294 = -3*z. Is 5 a factor of z?
False
Let d(u) = -11193*u + 846. Is d(-2) a multiple of 24?
True
Let s(i) = 2*i + 39. Let l be s(-15). Let g be (-21)/(-14)*l*10. Let a = g + -103. Is 9 a factor of a?
False
Suppose 0 = 4*p + 17 + 443. Let u = p - -588. Is u a multiple of 14?
False
Suppose -45*u + 41*u + 16 = 0. Suppose 2*j - 3 = u*h + j, -2*h - 5*j - 29 = 0. Let v(w) = 2*w**2 + 6. Is 14 a factor of v(h)?
True
Let h be (-760)/(-6)*2/(12/(-18)). Let b = 701 + h. Does 13 divide b?
False
Suppose 4*v + 0 = -w + 4, 14 = -2*w + 3*v. Let z(x) = 20*x**2 - 2*x + 10. Let i be z(w). Suppose 130 = -4*n + 2*a + i, -n - 5*a + 52 = 0. Does 25 divide n?
False
Let p(v) = v**2 - 3*v + 14*v + 9*v + 9*v + 56. Let h be p(-27). Let z(l) = 38*l. Is 7 a factor of z(h)?
False
Suppose 34 = -o + 3*o + 4*l, -4*l - 5 = -o. Let t be 20*2 - (12 - o). Let f = -36 + t. Is f a multiple of 3?
False
Let i(n) = -20*n - 9. Let d(q) = 1. Let w(r) = 4*d(r) - i(r). Suppose -5*k + 30 = 5*m, -3*m + 3*k = -8*m + 30. Is w(m) a multiple of 19?
True
Is ((-19)/14)/(-19) + (-145107)/(-42) a multiple of 15?
False
Let h = -11 + 16. Suppose -h*a - 2270 = -5*r, 3*r - 1085 = 2*a + 277. Suppose 5*z - 442 = -3*y, 144 = 4*y - 2*z - r. Is 17 a factor of y?
False
Suppose 569*k - 514*k = 560936 + 488574. Does 19 divide k?
False
Let m be ((-2)/(2/(-69)))/3. Suppose -m = 7*i + 187. Let d = i + 223. Does 27 divide d?
False
Let i(a) = -15*a**2 - 2*a - 5. Let f be i(3). Let g = f + 151. Suppose g*w = 3*k + 1942, -2*w + 1084 = -4*k + 310. Is 18 a factor of w?
False
Let r be 4050/30 - (-1 + (0 - -1)). Let p = 139 - r. Suppose -p*g - 3*t + 303 = 0, -2*g + 121 = -3*t - 26. Does 25 divide g?
True
Let d(u) = u**3 - 2*u**2 + 5*u - 2. Suppose -3*x = -2*c - 61, -5*x - 86 + 231 = -5*c. Let y = c + 28. Does 2 divide d(y)?
True
Let s(m) = m**2 - 25*m + 66. Let q be s(22). Suppose -3*h - 9 = 0, 0 = -q*c + 4*c + 2*h - 1434. Does 60 divide c?
True
Let a(y) = 39*y + 259. Let m be ((-132)/(-18))/((-4)/(-6)). Does 76 divide a(m)?
False
Let i(p) be the first derivative of 5*p**5/12 + p**4/6 + p**3/3 + 8*p**2 + 11. Let m(v) be the second derivative of i(v). Is m(-2) a multiple of 18?
False
Let q(k) = -2*k**2 - 22*k + 24. Let f be q(-12). Let d be -1 + 0 + 11 + f. Does 35 divide (d - (2 + 1))*15?
True
Let g be (180/10)/(-1 + 3 - 0). Does 25 divide 26 - 3/g*(1 - 4)?
False
Let m be ((-9)/(-6))/(6/8). Suppose m*u - 24 - 48 = 0. Suppose 8*b = -4 + u. Is b a multiple of 3?
False
Let s = -3168 - -3348. Does 8 divide s?
False
Suppose -11530 = -5*n + 5*z, n - 2314 = 384*z - 385*z. Does 15 divide n?
True
Suppose r + 2477 - 12651 = -u, u + 2*r - 10176 = 0. Is 42 a factor of u?
False
Let h = -3 + 6. Suppose 2500 = 5*j + 3*p - p, 3*j - 4*p - 1500 = 0. Suppose -7*c + j = h*c. Is c a multiple of 10?
True
Let w = 45 + -39. Let r(b) = -b**3 + 12*b**2 - 6*b - 12. Does 14 divide r(w)?
True
Let d = -63 - -33. Let u be 2*(d/(-25) - 1/5). Suppose -2*n - 51 = -b - n, 0 = b + u*n - 36. Does 7 divide b?
False
Let g(u) = -u**3 - u**2 - 2*