c be g(1). Let h = c - -354. Does 6 divide h?
True
Let p be ((-76)/(-20))/((-3)/(-15)) - 1. Let k(q) = -q + 20. Let m be k(p). Suppose -3 = -m*t + 281. Is 15 a factor of t?
False
Let z be 0 - (-2 + 3 + -421). Suppose -z = 6*l + 1584. Let u = l - -574. Does 10 divide u?
True
Suppose -81 - 1359 = 36*f. Is -54*(-6 + f/15) a multiple of 52?
True
Let m = -30871 - -46315. Does 99 divide m?
True
Let l(c) = c**2 - 2*c - 20. Let a be l(7). Let x be 21720/a - (-1 + -1). Is x/125 + 1 + (-3)/5 a multiple of 4?
True
Let n = -34 - -42. Let q be (-9)/(-2) + (-6 - (-52)/n). Let v(m) = 2*m**2 - 6*m + 5. Is 5 a factor of v(q)?
True
Suppose f - 105 = -4*q, -f = 5*q - 61 - 71. Is 518/6*(q + -21) a multiple of 13?
False
Suppose -3*p + 3 + 6 = -n, 5*p - 23 = -n. Suppose n*t + 3 = -4*z, -z - t = -6*t - 28. Is 96 + 1 + z + (-1 - 1) a multiple of 16?
False
Let k be 36/(-270) + (-4)/(-30). Suppose k = -b - 119 + 1323. Is 43 a factor of b?
True
Suppose 2*b + 24*o - 20*o = 40, -3*b = 4*o - 60. Does 21 divide ((-112)/b)/(3 - 1135/375)?
True
Let g be (-80)/(-100)*(-5)/(-2). Suppose -4*t - 11*i + 790 = -6*i, g*i + 386 = 2*t. Does 67 divide t?
False
Let t be (-3 - -48) + ((-9)/3 - -1). Let c = -37 + t. Let g = 9 + c. Is g a multiple of 3?
True
Let c = 4442 + -1698. Is c a multiple of 14?
True
Let j = -52415 - -91385. Is j a multiple of 30?
True
Is -194*611/104*-4 a multiple of 97?
True
Suppose 5*f = -15, -5*f = -3*l + 690 + 3. Suppose 7*x - 8*x = -l. Is 37 a factor of x?
False
Let y(f) = 4*f**2 - 89*f + 51. Is 70 a factor of y(33)?
True
Let d(f) = -3737*f - 1565. Does 53 divide d(-3)?
True
Suppose -3*t + 71 = 3*l + 20, 38 = 2*t + 3*l. Suppose 6*d + t*d = 0. Suppose d = -2*o + 5*o + 2*h - 244, 2*o - 164 = -2*h. Is 8 a factor of o?
True
Let v(o) = 3*o**3 - 165*o**2 + 11*o - 105. Is v(55) a multiple of 20?
True
Let l = 7190 + 1618. Does 12 divide l?
True
Let o = -194 - -191. Let l(v) = -v**3 - 2*v**2 - 4*v + 3. Is l(o) a multiple of 6?
True
Let i(v) = -v**2 - 14*v + 60. Let t be i(-17). Is ((405/18)/t)/(1/194) a multiple of 21?
False
Is 2 a factor of 0 + (-25 - -13) - -547?
False
Suppose 0 = 6*f - 8*f - 40. Let k = f - -102. Does 3 divide k?
False
Let h(g) = -1 + 7 - 9*g + 6. Let r = 397 + -403. Is h(r) a multiple of 11?
True
Suppose 0 = -5*h - 20, h - 88238 = -295*s + 293*s. Is s a multiple of 21?
True
Let t = 413 - 158. Suppose -2*g + 761 = 3*w, 5*g = -w + 3*g + t. Is w a multiple of 17?
False
Let t(u) = u**3 - 12*u**2 + 16*u + 5. Let r be t(5). Let s = r - -180. Is s a multiple of 15?
True
Suppose 7121 = 2*p + y, 4*p + 2*y - 14235 = 7*y. Does 20 divide p?
True
Let t = 1195 - 620. Let q = t - 395. Is q a multiple of 42?
False
Suppose -10*s + 11*s + 70 = 0. Let m = -210 + 328. Let h = m + s. Does 6 divide h?
True
Let r = 28065 + -3361. Is r a multiple of 16?
True
Let o(s) = s**2 - 7*s - 21. Let a be o(-14). Let c = 441 - a. Does 24 divide c?
True
Suppose 329*l + 1220184 = 392*l. Is l a multiple of 36?
True
Let f = -6951 + 8085. Does 189 divide f?
True
Let p be 1/(6/4) - (-2470)/39. Suppose 279 = 67*w - p*w. Is w a multiple of 7?
False
Let g be ((-8)/10)/(2 + (-27)/15). Let w(j) = 2*j**2 + 3*j - 8. Let h be w(g). Suppose -8*n = -h*n + 128. Is n a multiple of 5?
False
Suppose -31*j + 38*j = 56. Suppose j*z - 2541 = -3*z. Is z a multiple of 21?
True
Let c be (1 + -1311)/(6 - 2 - 6). Let s = c - 73. Is s a multiple of 59?
False
Let v(g) = g**2 - 15*g + 30. Let h be v(13). Suppose h*p + 526 = n + n, -2*p = 4*n + 278. Let s = p - -245. Is 14 a factor of s?
True
Suppose 0 = -14*b + 32016 - 2616. Suppose -5*a = 0, 0 = -5*o + 6*a - 5*a + b. Is o a multiple of 6?
True
Let s = -926 - -179. Let q = -162 - s. Is q a multiple of 45?
True
Suppose 2*q = 3*q + 5*g - 1158, 3*q + 3*g = 3522. Let w = q - 765. Suppose h - 3*h - 5*u + w = 0, 5*u - 214 = -h. Is 33 a factor of h?
False
Let x be 5838/27 - 4/18. Let f = -84 + x. Is 11 a factor of f?
True
Suppose -2*a = -3*z - 5727, -2*a - 4*z + 3086 + 2606 = 0. Does 36 divide a?
False
Let u(s) = 3*s**2 + 29*s - 100. Does 7 divide u(22)?
False
Does 250 divide 41*689 + 151 + -152?
False
Suppose -58*w - 14 = -65*w. Suppose 4*q - 76 = 3*d, -2*q = -w*d - 38 - 0. Does 5 divide q?
False
Suppose -154926 = -212*i + 61*i. Is 3 a factor of i?
True
Let n = 3645 + 1139. Does 13 divide n?
True
Let z be 5206/(-266) - 6/14. Does 14 divide (-588)/z*(-70)/(-7)?
True
Let z(x) = -48*x - 13. Let b be z(-5). Suppose y - 3*n - b = 0, -4*y - 5*n - 290 = -1283. Is 13 a factor of y?
False
Let r(i) = -i**3 + 21*i**2 - 102*i - 1247. Is r(-25) a multiple of 29?
False
Suppose -3 = -146*o + 149*o. Is ((-32)/1 - 2)/o a multiple of 7?
False
Suppose 2*m = -4*c - 28, 4*c = c - m - 21. Is c*(2 - 2056/28) a multiple of 25?
True
Let r(v) = -v**3 + 3*v**2 - 2*v + 13. Let d be r(3). Suppose -d*k = -3*g - 3*k + 1228, 2*k + 2042 = 5*g. Is g a multiple of 34?
True
Let m(w) = w**3 + 7*w**2 + 1. Suppose s - 5*s = 3*k + 9, -4*k - 10 = 5*s. Let a be m(s). Let p = 112 - a. Is 35 a factor of p?
False
Let f(k) be the second derivative of 51*k**5/5 + k**4/12 + k**3/6 - k**2/2 + 161*k. Is f(1) a multiple of 5?
True
Let h(z) = 11*z**2 + 20*z - 64. Let c(x) = 4*x**2 + 7*x - 21. Let d(a) = 8*c(a) - 3*h(a). Let p(r) = -r**2 + 15*r - 7. Let i be p(15). Is d(i) even?
False
Suppose -c - c + 26 = 0. Suppose 12*g - 2226 = -41*g. Let l = g - c. Is 4 a factor of l?
False
Let q be -4*1/(-20)*5. Let a(p) = 323*p**2 + 21*p - 17. Let x(d) = -81*d**2 - 5*d + 4. Let u(t) = -2*a(t) - 9*x(t). Does 10 divide u(q)?
False
Suppose -11 = -m + 5*k + 21, 4*m = 3*k + 145. Suppose m*g - 11*g = 1872. Is 24 a factor of g?
True
Let t be ((156/(-9))/(-13))/(4/15). Suppose 0 = 2*u - t*x - 231, 6*u - 4*u = 3*x + 241. Does 14 divide u?
False
Let z(a) = 146*a**2 + 280*a - 3573. Does 9 divide z(13)?
True
Let q(f) = -f**2 + 19*f + 11. Let v be q(19). Let z(u) = u**2 - 12*u + 27. Let o be z(v). Suppose -17*a + o*a = -134. Is 14 a factor of a?
False
Let g(j) = j**2 + 3*j + 7. Suppose 2*l = v + 8, 2*l = v + l + 7. Is 3 a factor of g(v)?
False
Let h(d) = 540*d - 792. Does 48 divide h(6)?
True
Let b(x) = 2*x**3 - 5*x**2 + 40*x - 21. Suppose -3*d = 2*p - 2, p - 2*d = 19 - 4. Does 52 divide b(p)?
False
Suppose 0 = 2*c, 5*y - 5*c - 80 = -c. Let o(r) = -7*r**2 - r**3 + 4*r**2 + y + 13*r**2 + 4*r**2 - 15*r. Is o(12) a multiple of 25?
False
Let p(b) = -7*b**2 - 21*b + 14. Let r be p(-6). Is (r/(-32))/(((-1)/(-20))/1) a multiple of 2?
True
Suppose s = -102 - 29. Let m = s + 297. Does 17 divide m?
False
Let x = -98 + -89. Let s = 71 + x. Let b = -66 - s. Does 10 divide b?
True
Let y = -57 + 60. Suppose -2*n - 43*z + 47*z = -22, y*z - 43 = -2*n. Is n a multiple of 17?
True
Suppose 2*g + 553 - 141 = -4*o, 5*o - 3*g + 526 = 0. Does 9 divide (-4)/26 + (-14056)/o?
True
Suppose -f - 4*g = -119, 6*f - 617 = f + 2*g. Let p = f - -85. Is 16 a factor of p?
True
Let m(c) = -3*c**3 + 250*c + 18*c**3 - 3*c**2 - 1 - 251*c + 5. Is m(2) a multiple of 55?
True
Let z = 188 + -166. Is ((-220)/z)/(1/((-59)/2)) a multiple of 25?
False
Let i be (-17 - 1)*(2 - (-21)/9). Let c = i + 79. Let s(j) = 8*j**2 + j - 2. Is 3 a factor of s(c)?
False
Suppose 100*q - 135*q = -690970. Is 34 a factor of q?
False
Let x = -6258 - -11725. Is x a multiple of 71?
True
Let r(y) be the second derivative of 3*y**4/2 - y**3/6 + y**2/2 + 4*y. Let z(d) = d + 9. Let x be z(-7). Does 14 divide r(x)?
False
Suppose 5*k + 5*w = 38860, 134*w + 7774 = k + 137*w. Is k a multiple of 15?
False
Suppose -29 = 5*h + 4*m - 4, 4*h + 3*m + 20 = 0. Let n(o) = 550*o**3 - 551*o**3 - 3*o - 3*o**2 + 12 + o. Is 17 a factor of n(h)?
False
Let i(h) = 4*h**3 - 8*h**2 - 8*h - 5. Suppose -18 = -6*q + 12. Is 17 a factor of i(q)?
True
Suppose -m - 986 = -2*o, 5*m - 1742 - 738 = -5*o. Does 19 divide o?
True
Suppose 3499 = -163*s + 33817. Is 6 a factor of s?
True
Let k = -25 - -132. Suppose m - 23 = -p, -14*m = -18*m + p + k. Is 15 a factor of m?
False
Let r(z) = z**2 + 2*z - 14. Let f be r(9). Let j = 345 - f. Suppose j = 2*l + 22. Does 17 divide l?
True
Let h = -734 - 2038. Is h/(-15)*135/54 a multiple of 14?
True
Let p(m) = m + 7*m**2 + 1 + 0*m**2 + 0*m. Let y be p(-1). Suppose -350 = -y*a + 126. Is a a multiple of 6?
False
Suppose 2*c + 24867 = 587*g - 582*g, -5*g - 2*c = -24883. Does 31 divide g?
False
Let g = -21611 + 