e
Let a(q) be the second derivative of q**5/20 - 11*q**4/12 - 5*q**3/3 + 24*q**2 - 51*q. Let l be a(14). Suppose -7*k = -l - 918. Is k a multiple of 18?
False
Suppose 3*j = -k - 7160 + 39704, -10874 = -j + 4*k. Does 11 divide j?
False
Suppose 8 = 11*l + 41. Let p = 79 + l. Does 16 divide p?
False
Let p be 305/(-122)*(-1608)/5. Suppose -n = -2*n + 7. Suppose -13*t + n*t + p = 0. Is 23 a factor of t?
False
Suppose -43*w = -20*w - 138. Suppose 3 = -m, -2*m + w*m + 356 = 4*o. Does 17 divide o?
False
Let v(g) be the third derivative of -7*g**6/120 - 4*g**5/15 + g**4/24 - g**3 + 13*g**2. Is 14 a factor of v(-4)?
True
Suppose -2754 = -5*c + 2*a, -40*c = -37*c - 2*a - 1654. Is c/(-33)*(-15)/2 a multiple of 24?
False
Let y be (-23205)/(-28) - 1 - (-3)/12. Suppose -19*i = -y - 5499. Does 33 divide i?
False
Suppose -3*l + 12675 = -85*t + 82*t, -4*l - t = -16875. Is 5 a factor of l?
True
Let y be 0 - -5 - (-6 - 846/3). Let n = 799 - y. Is n a multiple of 22?
True
Let h(d) = 3*d - 2. Let z be h(2). Suppose -w - 2*m - 20 = 0, z*w - m = -47 + 3. Is w/42 - (-982)/7 a multiple of 35?
True
Let y(z) = 2*z**2 - 6*z - 4. Let n be y(4). Suppose 4*d - n*k - 884 = 0, 4*k = -4*d - 219 + 1095. Suppose d = 4*p + p. Is 6 a factor of p?
False
Let h be 4/4*3*6*54. Suppose 80*m - 76*m = h. Is m a multiple of 15?
False
Suppose 653 + 884 = l. Let q = l + -3009. Does 37 divide (4/10)/(q/1480 - -1)?
True
Let z(u) = u**2 - 2*u + 4. Let i be z(2). Let m be (i/18)/(2/18). Suppose m*d - 3*g = 205, -2*g + 1 = -1. Is d a multiple of 13?
True
Suppose 18*i - 360 = 3*i. Let p be (-3)/i*-2 - 1016/(-32). Let t = p - -10. Does 14 divide t?
True
Is 17 a factor of (-2)/((((-6)/(-28))/(-1))/((-1374)/(-8)))?
False
Let h = -11863 + 13331. Is h a multiple of 76?
False
Let f(g) = 96*g**2 + 41*g - 284. Does 29 divide f(10)?
False
Suppose 66 = 11*d + 11. Suppose 0 = -v - c + 6, -d*v - 3 + 26 = -2*c. Suppose -2*w - v*n + 0 = 9, -20 = 4*n. Does 4 divide w?
True
Let o be (3 + -11)/(2/(-4)). Suppose -11*c - 70 = -o*c. Is c a multiple of 13?
False
Let u(j) be the first derivative of 45*j**2 - 20*j - 21. Let k be u(2). Is 4 a factor of -3*(k/(-12) + 2 + -2)?
True
Let l(g) = 104*g**2 - 2*g - 29. Let s be l(-7). Suppose 0 = 10*n + 2001 - s. Does 11 divide n?
True
Let z = 231 + -135. Let j = z - 96. Suppose j = 5*m + 2*m - 119. Does 5 divide m?
False
Suppose -17*n + 15*n - 5*i + 36906 = 0, -n - 5*i + 18438 = 0. Is 27 a factor of n?
True
Suppose -6*l - u = -l, 5*l = -4*u. Let r(t) = -t**2 - 5*t - 4. Let j be r(-3). Suppose l = -13*i + j*i + 759. Is 23 a factor of i?
True
Suppose 0 = -4*c - 8, 0 = -3*r - 4*c - 7 - 31. Let k = 76 - r. Suppose 2*o = -4*s + o + 126, k = 3*s + 5*o. Is s a multiple of 4?
True
Let q(t) = -820*t - 72. Does 22 divide q(-1)?
True
Let x = 94 - 89. Suppose -17*j + 7092 = -x*j. Is j a multiple of 33?
False
Let u(f) = -1184*f + 3383. Is u(-19) a multiple of 78?
False
Let k be 76/(-19)*(-2 + (-3)/(-4)). Let r be (-5940)/(-85) + (-4)/(-34). Suppose 0 = -k*h + 20 + r. Is 3 a factor of h?
True
Let b = -20309 - -37777. Is 26 a factor of b?
False
Does 11 divide (-3 - 462859/(-17)) + -21?
True
Let a(k) = k**2 - 4*k + 4. Let s(u) = 3*u**3 + 2*u**2 - u + 1. Let g be s(1). Let r be a(g). Is r/27 - (-35)/3 a multiple of 3?
True
Let y = -160 - -165. Suppose 94 - 2074 = -y*u. Is 36 a factor of u?
True
Suppose u = -45*u + 309764. Is 182 a factor of u?
True
Let y(v) = 19*v - 38. Let f(o) = 17*o - 40. Let m(k) = 7*f(k) - 6*y(k). Does 18 divide m(14)?
True
Suppose -83*q - 250107 = -136*q. Is q a multiple of 33?
True
Suppose 10 = 4*s - 2*x, -x + 2 + 5 = 2*s. Suppose -l - g - s*g = 1, g + 4 = l. Suppose -l*f = 0, -k = 4*f + 23 - 72. Is k a multiple of 7?
True
Let t(x) = -x**3 + 16*x**2 - 29*x + 26. Let m be t(14). Suppose -z - 24 = -q - 6*z, 0 = q - z - m. Does 8 divide q?
False
Suppose 3*o = 4*t - 46476, 2*t = -0*t - 2*o + 23224. Is 21 a factor of t?
False
Is 12 a factor of 1 - -16913 - (-7 - (25 - 25))?
False
Is (-6600)/(-9)*(-2208)/(-64) a multiple of 11?
True
Suppose 24 = 5*j + 4. Let l(d) = 35*d - 31. Let k be l(j). Let t = k - 88. Does 7 divide t?
True
Let m(d) be the first derivative of -17 + 13/2*d**2 + 2/3*d**3 + 7*d. Is 4 a factor of m(-7)?
False
Let f(b) = b**3 + 20*b**2 + 37*b + 21. Let a be f(-18). Suppose -3*k - k - 3*h = 125, a*h - 15 = 0. Is (-10495)/k - (-5)/35 a multiple of 25?
True
Let t = -143 + 116. Let m = t + 29. Suppose -3*s = -6*s + 5*i + 65, 0 = m*s + 4*i - 58. Is s a multiple of 5?
True
Suppose 268*b = 278*b - 27160. Is 23 a factor of b?
False
Let k(l) be the second derivative of 10*l**3/3 + 27*l**2/2 + 20*l. Let a be k(6). Suppose 0*d - a = -d. Is 28 a factor of d?
False
Let d be (-6)/3*(-6)/4. Suppose 4*c + 15 = d. Is 12 a factor of 3/(c*3/(-54))?
False
Let u(g) = -2*g**3 - 2*g**2 + g - 3. Let q be ((-2 + 43)/(0 + -1))/1. Let x = 36 + q. Does 32 divide u(x)?
True
Let p be (-3 + (-6)/(-6))/(3/(-6)). Is 6 a factor of -9 + p - (-39 - 1)?
False
Suppose -6*o = -10*o + 44. Suppose -9*u - 54 = -2*m - o*u, -3*u = -2*m + 59. Is 6 a factor of m?
False
Suppose -3*c = m - 6*c - 27, -4*m + 2*c + 78 = 0. Suppose m*u - 31960 = -2*u. Is 47 a factor of u?
True
Let h(f) = 32 - 8*f + 5*f - 4*f. Let q be h(-16). Suppose 9*v = -0*v + q. Is v even?
True
Let d(n) be the first derivative of -21*n**2 - 84*n - 177. Does 14 divide d(-9)?
True
Suppose -2*n - 5 = 3, -5*d = 5*n + 20. Suppose 0 = -2*y + 2*p + 174, d*p - 4*p = -5*y + 436. Is y a multiple of 22?
True
Let v(o) = 91*o**2 + 38*o - 537. Is 8 a factor of v(15)?
False
Does 34 divide 0*16/(-240) + 9652?
False
Let l be ((-436)/(-8) - -4)*2*1. Let r = 171 - l. Does 7 divide r?
False
Let b = -3054 - -3263. Is 2 a factor of b?
False
Let o be 2/(-14) - (-29)/7. Suppose -22 = -o*m - 14. Suppose -4*t - 4*i = -3*t - 62, -6 = -m*i. Is 16 a factor of t?
False
Suppose 0 = 27*t - 18*t - 468. Suppose 2*h = -4*f + t, -5*f - 4*h + 65 = -3*h. Does 2 divide f?
False
Let n be ((-12056)/(-176))/(-1*(-1)/6). Let c = 39 + n. Does 10 divide c?
True
Suppose 13*h = 30*h - 204. Does 18 divide 13384/h + 15/9?
False
Let a be (-17484)/(-60) - (-6)/(-15). Suppose -a = 12*g - 15*g. Does 5 divide g?
False
Let r be (2/(-4))/((-7)/70). Suppose 195 = w + 4*c, -5*w - r*c + 1184 - 209 = 0. Is 13 a factor of w?
True
Let v(l) = -2*l - 4. Let b be v(-4). Let m be (4 - b)/(-1 + 4 + -2). Suppose -4*s + 3*h + 59 + 75 = m, -3*s + 92 = 2*h. Is 4 a factor of s?
True
Suppose 5*u + 78*a = 69*a + 84754, 4*a - 33904 = -2*u. Does 77 divide u?
True
Suppose -4*g - 5*l - 4 = -6, 2*l = 5*g - 19. Suppose 4*m - 4 = 0, 0 = -g*o + m - 4 + 3. Suppose o = -2*f + 10 + 12. Is 2 a factor of f?
False
Does 7 divide 4166*33/44*(-5 + 2 - -5)?
False
Is (726/8)/(-29 - 110474/(-3808)) a multiple of 44?
True
Let d(b) = -2*b**3 + 0*b**2 + 40 + 177*b - 232*b - 58*b**2. Does 12 divide d(-28)?
True
Suppose i = 2*d + 14, 2*d - 10 = -0*i - 5*i. Let b be (-1 - 9)/(1/d). Suppose -3*r + b = -31. Is r a multiple of 9?
True
Let f(j) = 2*j**2 - 14*j + 3. Let r be f(7). Suppose -3*z + 2*l + 336 = 0, -2*l - r*l - 345 = -3*z. Does 3 divide z?
False
Suppose -4*r = -b - 335, -r + b + 15 = -71. Is r - ((-10)/5 - 2) a multiple of 3?
True
Let b(r) = 492*r + 201. Does 23 divide b(14)?
False
Suppose -3126 = 9*t - 6*t. Is 20 a factor of (-15)/((-195)/(-2)) - t/13?
True
Let l be ((-380)/(-16))/((-2)/(-8)). Let b = l - 59. Does 9 divide b?
True
Let z be -2 - (-38)/(-4)*-26. Let v = -860 - -720. Let a = v + z. Is 15 a factor of a?
True
Let b = 84017 + -53434. Is 150 a factor of b?
False
Suppose -7 = -3*a - 13, 5*a = -4*l + 16838. Is 36 a factor of l?
True
Let g(t) = t**3 - 3*t**2 - 7*t - 11. Let f be g(5). Suppose -4*r + f*z = -952, 0 = -5*z + 7 + 3. Does 40 divide r?
True
Let y(k) = -3*k. Let z be y(-1). Suppose z*b + 269 = 908. Suppose -3*a = -3*g - b, -5*a - 2*g + 352 = -4*g. Is a a multiple of 10?
True
Suppose b - 266 = -5*m, -93 = -5*b + 3*m + 1125. Let v(p) = 32*p + 6. Let j be v(-4). Let h = b + j. Is h a multiple of 19?
False
Let d = 2101 - 1496. Suppose 12*j - 14*j = -x - d, 0 = 4*j + 4*x - 1240. Does 8 divide j?
False
Suppose 12*z - 22*z + 80 = 0. Let a be (-1)/z + 485/40 + -8. Suppose -o + 103 = -3*p, -2*o = -a*p + 5*p - 241. Is o a multiple of 7?
False
Let x = -7 + 10. Suppose -4*o + 472 = 2*h - x*o, -3*h + o = -713. Suppose h = 