 Suppose 2*s = -s + p. Does 2 divide s?
True
Suppose 24*w + 32 = -40. Does 14 divide -7*(w + 4 + -181)?
True
Let r be (5 - 10/2)/(-1). Suppose -2*d = 2*n - 5*n + 12, 4*d + n + 10 = r. Does 29 divide 5 - (d + -1 - 136)?
True
Does 75 divide 1883493/92 + 1*3/12?
False
Is (-48252)/(-14) + 6 + (3 - (-480)/(-56)) a multiple of 9?
True
Is (1 + 42592/12)/(-10 - 248/(-24)) a multiple of 4?
False
Suppose -5*y + 4*o = -49586 - 18298, -27138 = -2*y - o. Does 39 divide y?
True
Let g(j) = 820*j + 1616. Is g(46) a multiple of 81?
False
Suppose -2*y = -5*i + 1595 + 1785, -4*i = 3*y - 2704. Suppose -i = -t - 4*u, 3*t - 4*u - 3126 = -1082. Does 29 divide t?
False
Suppose -131*l + 134*l - t = 42318, 3*l - 3*t = 42306. Is 149 a factor of l?
False
Suppose 3*d + 2043 = j, -748*j + 751*j + d - 6089 = 0. Is 15 a factor of j?
False
Suppose x + 60 = 59. Let n(u) = -6*u + 5. Let p be n(x). Let y = p - -89. Does 10 divide y?
True
Let z(s) = -31*s. Let m be z(7). Let u be (-95511)/651 + (-1)/(-7)*-2. Let f = u - m. Is f a multiple of 13?
False
Let h(l) = l**3 - 8*l**2 - 6*l + 12. Let g be 4/(-14) + 74/14. Let i be h(g). Let u = -68 - i. Does 5 divide u?
True
Does 27 divide (-4)/(-66) + -961363*(-32)/13728?
True
Suppose -11 = -l + 4*m, -l = -m - 3 - 5. Let w = 4 - l. Does 16 divide (-7 - w)/(-2*2/16)?
True
Suppose 12421 = 3*z - 4*s - 12328, 0 = z - s - 8251. Does 13 divide z?
True
Suppose -439*g = -434*g + 4*v - 179851, -143924 = -4*g + 4*v. Is g a multiple of 25?
True
Let m(r) = 15*r + 25. Let x be m(11). Suppose -14 = -0*d + d + 2*v, -5*v = -d - 49. Let w = d + x. Is 22 a factor of w?
False
Let h = -313 + -85. Is (13/26)/((-1)/h) a multiple of 25?
False
Let a be (-12)/14*420/(-36). Suppose a*z = 19*z - 1980. Does 22 divide z?
True
Let v(a) = -a**3 - 4*a**2 - 13*a + 56. Let d be v(-15). Suppose -3*k = -4*f - k + d, 0 = -2*f + 5*k + 1359. Does 31 divide f?
True
Let q = 5041 + 1646. Does 15 divide q?
False
Does 179 divide ((-4)/14)/((-19)/(-2428314)*-3)?
True
Suppose -2*c = 5*z - 4*z - 31, 5*c - 28 = -z. Suppose -z*k = -32*k - 612. Is 102 a factor of k?
True
Suppose 4*d = -14 + 142. Let g be (-1)/3*(17 - d). Suppose 0 = -g*h - 2*x + 54, 5*h - 2*x = 31 + 35. Does 4 divide h?
True
Let l be ((-58)/145)/((-1)/250). Suppose 2*c = 8, -c + l = 2*d + 2*c. Let j = 26 + d. Is j a multiple of 7?
True
Suppose -3*g + 5*g = -4*y - 8, 0 = 2*g + 8. Suppose -44*m + 4903 + 1521 = y. Is 15 a factor of m?
False
Suppose 0 = 5*i + 10, a + i - 4*i - 11 = 0. Suppose -a*c + 11*g + 1717 = 7*g, -g = -2*c + 685. Is 6 a factor of c?
False
Let x = -91 - -100. Suppose 63 = x*v - 54. Suppose 14*w - 25 = v*w. Is 25 a factor of w?
True
Let o(f) = 4*f**2 + 26*f - 14. Let s be o(-8). Suppose 29*y - s*y = -1030. Is y a multiple of 40?
False
Suppose -9*m = -88*m + 142832. Is m a multiple of 5?
False
Let m(l) = 2957*l**3 - 2*l**2 + 6*l - 5. Is 6 a factor of m(1)?
False
Suppose 2*d = d + 2*k + 718, -d + 4*k = -714. Suppose -9*l + d = 218. Suppose -2*i = -h + 31, 4*h - 5*i - l = 53. Is 7 a factor of h?
True
Let z(b) = -b**3 - 9*b**2 + 3*b + 17. Let f be (5 + -1 + 0)*50/(-20). Let q be z(f). Suppose -2*o + q = d + 16, -o + 33 = -2*d. Does 11 divide o?
False
Is 117 a factor of (1 - 166/4)/(13 + (-80458)/6188)?
True
Suppose 6 = -x - l - 8, -l - 24 = 2*x. Let d(i) = -16*i - 19. Let m be d(x). Suppose 0 = -r - 73 + m. Is r a multiple of 26?
False
Let w(s) = s + 3. Let g be (-6)/21 + 4/(-28)*19. Let l be w(g). Suppose 11*j - 19 - 168 = l. Is 3 a factor of j?
False
Let s = 420 + -428. Does 62 divide s/(-6)*2511/6?
True
Let v be (-1 - (-20)/15)*(1195 + -1). Is 7 a factor of v/(-6)*(5 + -8)?
False
Suppose 5*o - 5430 = -5*q, 4*q - 27*o - 4296 = -23*o. Is q a multiple of 15?
True
Suppose -17*m - 1744 = -x - 19*m, -5*x + 8762 = -4*m. Does 7 divide x?
True
Suppose 0 = -5*y + 187 + 63. Suppose 12*c = 14*c - y. Is c + (6/(-2) - 1) a multiple of 7?
True
Let t be (-477)/12*2*(-4)/(-3). Let f = 452 + t. Suppose 0 = -2*g + 5*q + 143, 0 = 5*g + 4*q - 5*q - f. Is g a multiple of 22?
False
Let s = 1267 - 642. Let n = 1143 - s. Is 17 a factor of n?
False
Let j(d) = 5*d**2 + 10*d - 3. Let a = 4 + 0. Suppose -4*f + 4*q = -16, 2*f + q = a*f - 8. Is j(f) a multiple of 23?
False
Suppose 0 = 31*s - 51*s + 23240. Is 6 a factor of s?
False
Suppose -5*x + 21 = 4*q, 10*x = 5*q + 7*x - 17. Suppose -5*p + 3*t = -810, q*p - 2*t - 648 = 2*t. Does 6 divide p?
True
Is 67 a factor of (-17)/(-119)*36841*1?
False
Let f(j) = 131*j + 3*j**2 - 79*j + 1 + 2*j**2 - 2. Does 21 divide f(-13)?
True
Let f = -56 - -60. Suppose 6*v - f = 470. Let z = v - 7. Is 8 a factor of z?
True
Suppose -46*v - 52 = -59*v. Suppose v*w = 20*w - 6400. Does 50 divide w?
True
Suppose -4*b = -4*o + 8, 2*o - b - 2*b - 4 = 0. Let v be 15/(-9)*(-6)/2. Is 162/o - (v - (-4 - -9)) a multiple of 37?
False
Suppose 2*z - 1290 = 6*t - t, -2*z = 3*t + 790. Let v = 113 - t. Is 37 a factor of v?
False
Let v be ((-1)/(-1))/(3/9 - 0). Suppose 5*q - d + 24 + 39 = 0, -2*q - v*d = 15. Let f(l) = -l**3 - 12*l**2 - 3*l + 12. Is 8 a factor of f(q)?
True
Let d = -3521 + 4059. Is d a multiple of 67?
False
Suppose -196*h = -202*h + 12. Suppose -4*v - 18 = h, -a - 5*v = -228. Is a a multiple of 10?
False
Suppose 2*i - 13 = 11. Suppose 4*u - i = -0*u. Suppose -u*t = t - 632. Does 15 divide t?
False
Suppose -2*r - 78 = 3*f, -2*f - 46 = r + 3*f. Is 35 a factor of 16/(-72) - 25208/r?
True
Let x = -287 + 291. Suppose 3*y = -x*r + 1713 + 46, 3*r - 1323 = -y. Is r a multiple of 13?
True
Let l = -4165 - -5485. Is 30 a factor of l?
True
Let y(z) = 25*z**2 + 16*z - 39. Let x be y(9). Does 33 divide -6*(x/(-18) + 1)?
False
Let j(u) = 2*u + 17. Let v be j(-7). Suppose -v*g - 38 = 55. Let l = g + 61. Is 6 a factor of l?
True
Let h(g) = -2*g**2 - 38*g - 47. Let o(w) = -2*w**2 + 32*w + 55. Let s be o(18). Does 3 divide h(s)?
True
Let d(l) = 923*l - 57. Let c be d(6). Suppose 0 = -4*t + 3*o + c, -4*o = -t + 959 + 395. Is 50 a factor of t?
False
Let y = -8242 + 25623. Is 22 a factor of y?
False
Let b(v) = -2*v + 4. Let w(h) = 5*h - 8. Let t(l) = 7*b(l) + 3*w(l). Let f be t(-4). Suppose -3 = 3*n, f = d + 3*n - 55 - 82. Is d a multiple of 21?
False
Let p(i) = 4137*i + 342. Is 109 a factor of p(3)?
True
Let f(c) = 139*c - 3012. Does 6 divide f(30)?
True
Let j = -2 - -71. Suppose 187*i - 188*i = -5*k - 43, 0 = 3*i + 6. Let g = j + k. Is g a multiple of 10?
True
Let q be -5 + 2 + 174*49. Suppose 614 = -11*r + q. Does 15 divide r?
False
Let u = 1124 - -1784. Is 2 a factor of u?
True
Let g be (18/8)/(74/(-592)). Let c(n) = -n**3 - 17*n**2 + 14*n - 39. Does 14 divide c(g)?
False
Does 93 divide 3410/(-11)*(-90)/25?
True
Is 34 a factor of 9522/5 - (-14)/(-35)*(8 - 7)?
True
Let j be (-4)/6*(10 - 13). Let t(w) = 50*w**3 - w. Let o be t(1). Suppose -j*c = -63 - o. Is c a multiple of 14?
True
Let p = -880 - -1679. Let o = -400 + p. Is 7 a factor of o?
True
Suppose -557286 + 99582 = -18*n - 34*n. Is 22 a factor of n?
False
Does 44 divide (-123)/(-369)*(1 - -9878)?
False
Let s be 1 + ((-9)/(-15))/(2/10). Is 18 a factor of (14/s)/((-11)/(-396))?
True
Let b = 8256 - 1949. Does 12 divide b?
False
Let z(k) = -160*k**3 - 5*k**2 + 12*k - 6. Let r be z(4). Is (5 + 51/(-9))/(12/r) a multiple of 51?
False
Let p = -5122 - -8525. Does 6 divide p?
False
Suppose -56 = -6*q + 10*q. Suppose -i - 4*c - 102 = -3*i, 0 = c - 2. Let g = i - q. Is 10 a factor of g?
False
Suppose -46*a = -37*a - 22752. Does 32 divide a?
True
Let j(r) = -4*r**2 + 648*r + 487. Does 209 divide j(65)?
True
Let x = -858 + 4357. Suppose -x = -11*q + 43. Is q a multiple of 23?
True
Let u(s) = s**3 + 2*s**2 + 1. Let v be u(1). Suppose k = v*d - 55, -4*d + 3*k + 70 = 17. Let g(l) = -l**2 + 18*l - 17. Does 18 divide g(d)?
False
Suppose 3*j - 291 = -0*j. Let h = j - -405. Is h a multiple of 21?
False
Let p be (-4)/(-6) - 11207/21. Is 11 a factor of -7 + 189/28 - p/4?
False
Let o be (-8)/(-6) + 50/75. Suppose 2*u - 159 = -2*k + 89, u + o*k - 121 = 0. Does 9 divide u?
False
Let o(t) = -9*t + 13. Let p be o(-14). Let j = 335 - p. Suppose -2*g - v = 3*v - j, 0 = 4*g + 3*v - 392. Is 11 a factor of g?
False
Suppose -66*m + 60*m = -26262. Is 75 a factor of m?
False
Suppose -5*g - 3*u + 5909 = -351, 3*g = 4*u + 3785. Is g a multiple of 9?
False
Let i(n) be the second derivative of -11*n**6/720