 = -13508*t**2 - 3*t - 4. Let j be p(-1). Does 12 divide j/(-45) - 3/(45/3)?
True
Let j(q) = -7 + 4*q - 9*q + 21. Let m be j(4). Does 6 divide 4/(m/(-38)*4/6)?
False
Let w = -9729 + 52389. Does 180 divide w?
True
Let z = -80 + 41. Suppose 230 = 4*g + t, 10*g + 286 = 15*g + 2*t. Let n = z + g. Is n a multiple of 19?
True
Let u(w) = 57*w**2 - 2*w + 1. Suppose 37 = -3*g + 40. Is 14 a factor of u(g)?
True
Let m = -1294 + 2239. Is 9 a factor of m?
True
Suppose 10291 = 4*r - 5*o, -5596 - 4697 = -4*r + 3*o. Is r a multiple of 198?
True
Let d be 3 - (-7)/(42/960). Suppose -353 = -6*g + d. Is g a multiple of 10?
False
Let n(g) = 28*g. Suppose 5*k - 7 = 3. Suppose -10 = -2*r + 7*r - 3*x, -k*r + 17 = 3*x. Is n(r) a multiple of 7?
True
Let f be -4 + ((-6)/(-3) - -49). Suppose 26 - 11 = 5*g. Suppose -133 - f = -g*c. Is 15 a factor of c?
True
Suppose 4*x - 29253 = -3*y, -10*y = 3*x - 2*x - 7378. Does 21 divide x?
True
Let y = 5 + -7. Let v(o) be the second derivative of -7*o**5/10 - o**4/6 - 68*o. Is v(y) a multiple of 13?
True
Let u = -27 + 20. Let r = u + 10. Suppose 0 = r*t - 2 - 73. Is 5 a factor of t?
True
Does 21 divide (671*-2)/((-10)/(-16 - -21))?
False
Let w = 51 - 43. Let h(q) = -8*q**2 + 30*q - 5*q**2 + 4 + 12*q**2 - 30. Does 25 divide h(w)?
True
Let z(w) be the second derivative of 41*w**4/12 + w**3/2 - 7*w**2 + 2*w. Let v(b) be the first derivative of z(b). Is 17 a factor of v(1)?
True
Let k = -2626 + 4426. Is k a multiple of 15?
True
Let a = -86717 - -183467. Does 15 divide a?
True
Suppose -56 = 9*o - 5*o. Let m be (8/o)/(((-60)/(-42))/(-5)). Suppose 3*h + 2*k + 30 = 112, m*k - 56 = -2*h. Is 5 a factor of h?
False
Let p(o) = -o**3 + 4*o. Let y be p(0). Does 66 divide 25954/266*(y + 7)?
False
Let b(a) = 43*a - 40. Let x be b(1). Suppose 12 = -4*y, w - 3*w + 123 = 5*y. Suppose -3*o + 3*t - x = -w, 2*o - t - 42 = 0. Is 19 a factor of o?
False
Suppose -u + 111*u - 70466 - 13684 = 0. Is u a multiple of 15?
True
Let h be 4/(-3)*(-18)/2. Let x be -7 + 180/10 - (-6)/(-2). Suppose -x*l = -h*l + 112. Is l a multiple of 14?
True
Let k = -218 - -359. Let y = 143 - k. Suppose 250 = 5*s + 5*a, 2*s = -y*s + a + 215. Is 17 a factor of s?
False
Let m(n) = 108*n**3 - 5*n**2 + 36*n - 173. Does 65 divide m(5)?
False
Let d(k) = -14165*k + 100. Does 182 divide d(-1)?
False
Let p(z) = -7*z - 81. Let s be p(-12). Suppose -d - s*m = d - 55, -d + 2*m + 10 = 0. Does 20 divide d?
True
Suppose 21 = -4*k + 5*h, 2*h - 18 = -5*k - 3. Let v(n) = -k + 3 + 3 - 17*n. Is v(-7) a multiple of 31?
True
Let x(w) = 2*w**2 + 7*w + 20. Let t(i) = -2*i - 8. Let d be t(-7). Suppose d*s = 27 - 87. Is 15 a factor of x(s)?
True
Suppose -181 + 118 = -9*t. Let p(m) be the third derivative of m**5/60 - m**4/6 - m**3/6 + 2*m**2. Is p(t) a multiple of 10?
True
Is 2/(-5) + (-39899940)/(-1725) a multiple of 10?
True
Let r(q) = 2*q**3 - 122*q**2 - 286*q + 72. Does 52 divide r(64)?
True
Suppose -6*c + 404791 = 5*c + 21067. Does 170 divide c?
False
Let n(c) = -1090*c - 1253. Is n(-8) a multiple of 57?
True
Let n be (-7)/((-35)/(-10)) + 17. Suppose -n*u = -19*u + 660. Is 28 a factor of u?
False
Let y(p) = -p**2 - 13*p + 27. Suppose -5*l + 12*l + 602 = 0. Let k = -98 - l. Does 39 divide y(k)?
True
Suppose -3*x + 41 = 2*n, 5*x - 3*n - 11 = 70. Let t(m) = m**2 + 60*m + 17. Is t(x) a multiple of 10?
False
Let t be 4/(-2) + (-105)/7. Let x = 12 + t. Let s = x - -24. Is s a multiple of 19?
True
Let m(n) = -30*n**3 + 8*n**2 - 53*n - 2. Let p(q) = 15*q**3 - 5*q**2 + 27*q + 1. Let l(w) = 4*m(w) + 7*p(w). Is 8 a factor of l(-4)?
False
Suppose 6430 = 14*v - 8564. Suppose -1491 = -7*b + v. Is b a multiple of 9?
False
Let m be 7/56 + (-513)/8. Is -3 + m/(-20) + (-1676)/(-20) a multiple of 16?
False
Let c = 9606 - 4438. Does 5 divide (-64)/(-352) - c/(-11)?
True
Does 29 divide (114552/(-1440) - 3/15)*-24*2?
True
Let a(u) = 3*u - 6. Let f be 0/(0 - 3 - -1). Suppose -5*j + 27 + 8 = f. Is 13 a factor of a(j)?
False
Let g = -35 - -40. Suppose 0 = -2*u - g*z - 41, 0*u - 4*z = -3*u - 96. Let v = u + 56. Does 14 divide v?
True
Suppose 9*j - 33*j + 39984 = 0. Is j a multiple of 6?
False
Suppose -4 = 2*i + 4*v, -i = v + 2*v + 4. Suppose -24 = 3*d - 3*n, -2*d - i*n = -0*n + 16. Is d/40 + 906/5 a multiple of 43?
False
Suppose 4*a - 33 = 27. Does 24 divide (-3 - (a - 0))*(-8 + 0)?
True
Let k(j) = 3*j**3 - 10*j**2 + 5*j + 18. Let u be k(7). Let z = 1012 - u. Does 30 divide z?
True
Let w = 20512 - 19731. Does 71 divide w?
True
Let l = 184 - 76. Suppose 0 = s - 4*p + 14, 120*s - 116*s - 28 = -5*p. Suppose 2*v - l = -2*f, s*v - 3*f - 116 = -f. Is 28 a factor of v?
True
Let t(q) = 1556*q**3 + 15*q**2 - 29*q + 11. Is 14 a factor of t(2)?
False
Let y(c) = -29*c - 46. Let z(u) = -55*u - 93. Let b(g) = -5*y(g) + 3*z(g). Is 28 a factor of b(-16)?
False
Let l(j) = 28*j - 61. Let s(v) = 32*v - 61. Let h(r) = 2*l(r) - 3*s(r). Is h(-5) a multiple of 12?
False
Let p be 10/2*2004/30. Let k be (p/4)/(-2*1/(-4)). Suppose 0 = 4*b - k - 85. Is b a multiple of 7?
True
Does 30 divide (-1321 - -1)*(2730/52)/(-21)?
True
Let c = -422 + 1370. Suppose 3*i = 5*x - 1169, -2*x + c = 2*x + 4*i. Is 5 a factor of x?
True
Suppose 49*s = 83*s - 153544. Does 25 divide s?
False
Suppose 4323 = 18*n - 6333. Let h = n - 319. Does 21 divide h?
True
Suppose 24 = 3*o, u + 409*o - 1756 = 407*o. Is u a multiple of 116?
True
Let f(w) = -9*w + 252*w**3 - 2*w**2 - 251*w**3 + 7 - 11*w. Is 73 a factor of f(11)?
True
Suppose 8*n - 81 = 31. Suppose -6*w - 1416 = -n*w. Does 74 divide w?
False
Let m = 12480 - 420. Is m a multiple of 67?
True
Let n(b) = -b**3 - 43*b**2 - 90*b - 108. Does 61 divide n(-46)?
False
Let f = 67 - 45. Suppose -1540 = 17*i - f*i. Suppose 6*p - 340 = i. Does 28 divide p?
False
Let l(h) = -2*h**3 + 8*h**2 - 4*h + 1. Let d be l(3). Suppose -3*b - 532 = -d*b. Is b a multiple of 43?
False
Let c(r) be the first derivative of r**6/360 - r**5/40 + r**4/4 + 11*r**3/3 + 5. Let z(j) be the third derivative of c(j). Is 3 a factor of z(2)?
False
Suppose 3*k = -3*j - 102, 0 = 2*k - k - 4*j + 14. Let x = 21 + k. Let a = x + 113. Is a a multiple of 13?
True
Let x = 14 + -14. Suppose x = -l - 5 + 19. Suppose -l = -3*n - 5*y, -n - y - 2*y + 6 = 0. Is n even?
False
Let v = -769 - -1350. Let m = -406 + v. Is 64 a factor of m?
False
Let b be (-10*(-4)/10)/(-5 + 3). Does 10 divide 2/3 + 1748/6 + b?
True
Suppose 2*n = 2*t - 41 - 77, 0 = t + 5*n - 71. Let g = t + -58. Suppose -321 = -2*c - 5*w, -1 = g*w + 8. Does 21 divide c?
True
Suppose 50*c - 6*c = 176. Let s(l) = 5*l**3 + 4*l**2 + 3*l - 18. Does 14 divide s(c)?
True
Is 30 a factor of 2/(-6) - ((-127106)/42 + -4)?
True
Let w(b) = b - 1. Let n be w(3). Suppose 0 = -n*k - 4*m - 2, -6*k + 4*m + 30 = -4*k. Suppose 42 = -k*a + 10*a. Does 9 divide a?
False
Suppose 14 = 2*j, 1040*g = 1036*g - 3*j + 31101. Is 10 a factor of g?
True
Let d be 13/(3/6 + 0). Let w = d + 8. Let c = 58 - w. Is 4 a factor of c?
True
Suppose -u - 339 = -x + 4*u, 0 = -4*x + 5*u + 1431. Suppose -3*w + x = -3*j + 2*w, 2*w = 2*j + 244. Let z = j + 220. Is 20 a factor of z?
False
Let t = 9778 - 6808. Suppose 5*u = 2*c + t, 10*c - 6*c = -5*u + 2940. Does 37 divide u?
True
Let z be (-1)/(-5) + (-23199)/(-55) + -15. Suppose 405*c + 284 = z*c. Is 27 a factor of c?
False
Suppose 5*h - 1322 = -z, -825 + 292 = -2*h + z. Let y = h - 175. Suppose -478 = -4*c - y. Is 22 a factor of c?
False
Let x = 50 - 48. Suppose 2*v - 1286 = x*u, -v + 3*u = -805 + 168. Is 17 a factor of v?
True
Let q = 20323 - 10189. Does 18 divide q?
True
Let i(w) = -1222*w + 4404. Is i(-19) a multiple of 37?
False
Let f(v) = -5*v - 111. Let x be f(7). Let d = x + 433. Is 24 a factor of d?
False
Let y(m) be the second derivative of m**5/20 + m**4/2 - 3*m**3 - 5*m**2 + 92*m. Does 105 divide y(-5)?
True
Let y = 10651 + -5275. Suppose -5*u - y = -17*u. Is 46 a factor of u?
False
Let y be (-26)/(-8) + 25/(-20). Suppose 0 = 2*b + b - 4*l - 752, -y*b + 2*l = -502. Does 7 divide b?
True
Let g be (-4)/4*1 + -2 + 3. Suppose -452 = 4*o - g*o. Is 10 a factor of (-3)/3 - (-1 + o + -2)?
False
Is -1 + -1949*(-2 + 1) - -3 a multiple of 83?
False
Suppose 367*w - 170233 = 607440. Is 13 a factor of w?
True
Suppose -12 = -9*g + 5*g. Suppose g*n + 19 = 28. Suppose 184 = -n*l - b + 876, -5*l + b + 1148 = 0. Is 15 a fac