 104. Does 32 divide s(8)?
True
Let v(f) = 3*f**2 + 13*f - f**3 + 11 + 0*f**2 + 5 - 4. Let p be v(-9). Suppose p = 5*w + 327. Is 10 a factor of w?
False
Suppose -153*o + 152*o + 13989 = 5*g, 4*g = -20. Is o a multiple of 220?
False
Let n(c) = 25 + 3*c - 4*c + 8*c. Let u be n(5). Does 3 divide (84/(-15))/((-8)/u)?
True
Suppose 19*j - 15 = 24*j. Is 20 a factor of j/((36/(-560))/3)?
True
Let i(h) be the second derivative of h**5/20 - 2*h**4/3 - 11*h**3/2 + 7*h**2 - 104*h. Is i(14) a multiple of 28?
True
Let h(a) = a**3 + 4*a**2 - 17*a - 28. Let n be h(-6). Let c be 11/1 + n + -1. Suppose -c*m + 618 = -1590. Does 8 divide m?
True
Let p(l) = -l**3 - 10*l**2 - 17*l - 44. Let m(k) = -8*k - 1. Let g be m(1). Is p(g) a multiple of 7?
True
Suppose 160 = 5*k - k. Is ((-378)/(-5))/(8/k) a multiple of 21?
True
Suppose -19*j + 97766 = 11297. Does 39 divide j?
False
Suppose 5*q = 5*a - 13460, 4*a - 10759 = 408*q - 413*q. Is a a multiple of 39?
True
Suppose 3*a + 30*g = 29*g + 1259, 2*g - 423 = -a. Is 9 a factor of a?
False
Let x = -965 + 2661. Does 8 divide x?
True
Let p(k) = -7*k - 27. Let v(c) = -3*c - 14. Let o(u) = 2*p(u) - 5*v(u). Let l be o(-9). Let z(q) = -q**2 + 9*q - 6. Is z(l) a multiple of 3?
False
Let j be (-1 - -3)/((-50)/725). Let i = j - -43. Is 12 a factor of i?
False
Let p be 1*3/(-6)*2. Let b be ((-16)/20)/(p*1/5). Suppose 5*y = z + z + 285, -5*z = b*y - 261. Is 23 a factor of y?
False
Let i(v) be the second derivative of -v**3/6 - 15*v. Let c be i(-5). Suppose -4 = t - c, y = -t + 64. Does 21 divide y?
True
Does 36 divide (112/(-6))/(((-12)/1125)/2)?
False
Let i(h) = -2*h**2 - 57*h - 129. Let d be i(-5). Let o be (-6)/(-1)*(-124)/(-6). Let y = o - d. Is y a multiple of 2?
True
Suppose -23 = -4*x + c, 2*c - 5 = -x + 3. Suppose 4*p - x*j + 3*j - 645 = 0, -4*p = -4*j - 640. Is p a multiple of 15?
True
Suppose 5*k - 2*k = 81. Let t(g) = -4*g**3 - 4*g**2 - 4*g - 3. Let z be t(-2). Suppose z + k = y. Is 12 a factor of y?
True
Is 5958449/931 + (-2)/38 a multiple of 20?
True
Let y(p) = p**3 - 5*p**2 - 2. Let j be y(5). Let o(b) be the third derivative of b**5 - b**4/12 - 2*b**3/3 + 50*b**2 + 5*b. Is 20 a factor of o(j)?
True
Suppose 1682632 + 2442800 = 166*t. Is 109 a factor of t?
True
Let p = 167 - 164. Suppose 384 = 5*h + 2*y - 0*y, -p*h = -2*y - 224. Does 13 divide h?
False
Suppose 898 = -5*x - 137. Let a = x - -471. Is 12 a factor of a?
True
Let w(q) = -q**3 - 20*q**2 - 46*q - 31. Let g be w(-19). Suppose x = 2*r - 474, -x = 2*r + 2*x - g. Is r a multiple of 29?
False
Let x = 9793 + -5544. Is 16 a factor of x?
False
Let w = -780 + 782. Is w/5 + -8 + (-74338)/(-55) a multiple of 64?
True
Suppose -81*a = -102*a + 9450. Does 14 divide a?
False
Let m = 500 - -2257. Does 5 divide m?
False
Let o be 1*(-192)/5 + 2/5. Let j = -21 - o. Let x = j + 7. Is x a multiple of 9?
False
Is 3520/2 + 56 + -50 - 2 a multiple of 14?
True
Suppose 24*q - 44497 + 19765 = 35652. Is 34 a factor of q?
True
Suppose 93173 = 115*s - 694232. Is 10 a factor of s?
False
Suppose -4*r - 2*m - 6 + 46 = 0, 0 = 3*r + m - 31. Let z = -5 + r. Suppose z*p = 3*p + 600. Is p a multiple of 25?
True
Suppose -4*f - 4*a = -3*f - 27, 6 = 2*a. Suppose -f = 3*o, -10*r + 7*r + 110 = -4*o. Is r a multiple of 30?
True
Is (-18 - -32) + 5773 - -3 a multiple of 5?
True
Suppose -6*z + 44 = -670. Let k = 55 + z. Does 29 divide k?
True
Let k be 25 + -28 + -2 + 1. Does 10 divide ((-6)/(k + -2) - 7) + 1388?
False
Let x(t) = 1384*t - 8. Does 9 divide x(1)?
False
Let n(k) = k**3 + 9*k**2 - 10. Let d be n(-8). Suppose d*q = 61*q - 21. Let s(j) = 8*j**3 + j**2 - 4*j + 2. Is 15 a factor of s(q)?
False
Suppose -302*g + 6859088 = -546254. Is g a multiple of 73?
False
Let d(w) = w**2 + 42*w - 306. Does 110 divide d(-58)?
False
Suppose -2121651 = -141*s - 12*s. Does 70 divide s?
False
Let c(j) = j**3 - 14*j**2 + 21. Let w be c(14). Suppose -4*b + 8 = -0*b. Suppose -3*f = -3, w = a + 3*f + b*f. Is a a multiple of 4?
True
Let y(t) = 3*t**2 + 14*t + 1. Let l be y(8). Let c be ((-9)/(-27))/(2/42). Is 14 a factor of c*(-1 - l/(-35))?
False
Suppose -23*v - 109*v = -17*v - 650210. Is v a multiple of 22?
True
Let l(v) = v. Let w be l(2). Suppose r = -4*m - 10 - 6, -3*r - 2*m + w = 0. Suppose r*q + 0*q = 3*k + 52, 0 = -2*q + 2*k + 28. Is q a multiple of 5?
True
Suppose -3*i = 9*a - 4*a - 3010, -3*a = 3. Does 17 divide i?
False
Suppose 0 = 10*h + 3*h + 1547. Let u = h - -174. Is u a multiple of 16?
False
Let w(s) = -2*s - 29. Let k be w(-7). Let q be (-5)/(k/33)*-1. Is 34/(-187) - 222/q a multiple of 5?
True
Is 14/(-630)*-236270 - 1/(-18)*-8 a multiple of 50?
True
Let j = 162 + -173. Is (-6147)/j + 68/374 a multiple of 13?
True
Let l(b) be the first derivative of -b**3/3 - 15*b**2 - 60*b - 57. Is 13 a factor of l(-12)?
True
Suppose -5*t + 0*t = -2*k - 15, 30 = 4*k + 2*t. Suppose 9*b = -3*j + k*b + 108, 12 = 4*b. Is 29 a factor of j?
False
Suppose -9*n + 925 = 295. Suppose 0 = -36*j + 35*j + n. Is j a multiple of 7?
True
Let f(g) be the first derivative of g**2/2 - 11*g - 3. Let u be f(10). Is 14 a factor of (u - -2)/((-2)/(-194))?
False
Let q(s) = -24*s - 1311. Is q(-58) a multiple of 27?
True
Suppose -30994 = 48*w - 51*w - 2*t, -4*t - 51708 = -5*w. Does 18 divide w?
False
Suppose -y + 39 = 30. Suppose 2*u - 783 = 3*r, y*u = 8*u - 5*r + 359. Is 6 a factor of u?
True
Suppose 0 = -26*k + 27*k - a - 3042, -5*k - 4*a + 15138 = 0. Is k a multiple of 74?
True
Is -8 + (-14190)/(-10 - -5) a multiple of 91?
False
Suppose -1047*a + 1049*a = 1120. Suppose 7*q + a - 9177 = 0. Is q a multiple of 14?
False
Suppose 2*r + 13734 = 2*y, -3*r = -4*y + 20219 + 7254. Is y a multiple of 167?
False
Suppose 0 = -15*j + 17 + 13. Suppose -5*z + 478 = i + j*i, 0 = -3*z - 3. Does 23 divide i?
True
Suppose -9*t + 13 = -14. Let a(m) = 16*m**3 - 2*m**2 - 2*m - 6. Let z be a(t). Suppose -8*c - 162 = -z. Is c a multiple of 5?
True
Let u be 303/1*(-1 + 4/6). Let m = u - -118. Is 11 a factor of m?
False
Let b(w) = -w**2 - 14*w + 3. Suppose -v = -2 - 4. Suppose 0 = -v*d + 8*d + 12. Is 17 a factor of b(d)?
True
Let f = -1 + -49. Let k = -83 + 43. Let l = k - f. Is 3 a factor of l?
False
Let g = 21025 + -9463. Does 65 divide g?
False
Let y(z) = -20*z**2 + 2*z**3 - 21 - 10*z - 3*z**3 + 6*z**2 - 10*z. Is y(-13) a multiple of 10?
True
Let k(x) = -x**3 + 3*x + 24. Let s be k(0). Let y be ((-1)/3)/(8/s). Is 26 + -4 - (y - 1) a multiple of 12?
True
Suppose 63*t - 56*t - 126 = 0. Is 2 a factor of 320/14*63/t?
True
Does 80 divide (7 - -53)*(-1736)/(-21)?
True
Let m be -1 + 7/(-14)*-20. Suppose 457 + 848 = m*w. Is 11 a factor of w?
False
Does 67 divide (-4)/((-96)/573144) + 14?
False
Let p(v) be the second derivative of 58*v**3/3 - 17*v**2/2 - 2*v + 51. Is p(3) a multiple of 9?
False
Does 28 divide ((-9)/(144/868))/(4/(-128))?
True
Suppose -89*r - 8 = -93*r. Is ((-50)/75)/((-2784)/(-1395) - r) a multiple of 7?
False
Suppose -7*g + 5*g = 5*y - 9351, -3*g + 14054 = 2*y. Suppose -5*s = -d - g, 0 = -4*s + s + 4*d + 2823. Does 33 divide s?
False
Suppose -31760 = -60*b + 58*b. Suppose -29*m - b = -49*m. Does 21 divide m?
False
Let w(u) = 19*u**2 + 272*u - 103. Does 23 divide w(31)?
True
Let z(s) = 46*s + 29. Let c be 2/(-11) + (-52)/(-44) + 3. Is 27 a factor of z(c)?
False
Let u(n) = 89*n**2 + 15*n + 20. Let j be u(-2). Suppose -j = -24*o + 1334. Is 27 a factor of o?
False
Let y be 2/(-10) + ((-66)/(-30) - 0). Suppose 2*k = k + y. Suppose -188 = -3*s + k*z, 5*s - 233 - 83 = 2*z. Is s a multiple of 16?
True
Let y(n) be the third derivative of 4/3*n**3 + 22*n**2 - 13/8*n**4 + 0*n + 0. Does 32 divide y(-3)?
False
Let w = 2829 + 83. Is 7 a factor of w?
True
Let w(t) = t**2 - 10*t - 29. Suppose 8*o - 6*o - 24 = 0. Let a be w(o). Let m(g) = g**3 + 8*g**2 + 10*g - 1. Does 6 divide m(a)?
True
Let z = 20417 - 3536. Is z a multiple of 4?
False
Let y(x) = -3*x + 2. Let h = 37 - 38. Let z be y(h). Suppose q = -j + 117, z*j + 5 = -5. Is q a multiple of 7?
True
Let i(a) = -6412*a + 8144. Is i(-4) a multiple of 16?
True
Let a(y) = 3*y - 40. Let t be a(13). Let z(b) = b**2 - 2*b - 1. Let i be z(t). Is (-11)/(605/(-3620)) - i/(-11) a multiple of 11?
True
Suppose 0 = 2*j - t - 1 - 8, -4*t = 4*j. Let r be (j/(-9))/(-1*2/30). Suppose g - 163 = -s, 3*g + r*s = 674 - 179. Is 43 a factor of g