 3*w = -o. Is g a multiple of 34?
True
Let a = 16888 + -557. Is 3 a factor of a?
False
Let h be 2*-3*(-7)/(-14). Is 5 a factor of 447*(64/(-24) - h)?
False
Let u = -5425 + 11012. Is 151 a factor of u?
True
Suppose 9*h = 56 + 88. Let x = 20 - h. Suppose -22 = z - x*z - y, y = 2*z - 8. Is z a multiple of 3?
True
Let t(x) be the second derivative of 29*x**3/6 - 206*x**2 - x + 17. Does 15 divide t(53)?
True
Suppose 0 = -6*s + 20 - 8. Let k = s + 4. Suppose -k*j = -32 - 46. Is j a multiple of 4?
False
Let i be (9 + -4)*14/35. Suppose -i*z + 392 = 2*v, -5*v + 18 = -2. Is z a multiple of 11?
False
Let d(x) = 7*x - 22. Let h be d(3). Let p be (h - 513/(-3)) + 0 + 1. Suppose -2*w + t = -p, -2*w + 0*w + 4*t + 174 = 0. Is 17 a factor of w?
True
Does 106 divide 4/26 - 7061616/(-741)?
False
Suppose -16*d - 27*d = -12943. Is d a multiple of 7?
True
Let c(p) = 0 - 2 + 268*p**2 + 6*p + 8. Let k be c(-3). Is (k/27)/4 + 4/(-18) a multiple of 11?
True
Suppose 0 = 3*q + 3*l - 5670, 3*q + 14*l - 5712 = 18*l. Is 79 a factor of q?
True
Let b = 370 + 134. Let f = b + -322. Is f a multiple of 15?
False
Is (120/56)/((-6)/(-93256)) - (-70)/245 a multiple of 91?
True
Suppose -5*q = 2*b - 4526, -277*b - 5*q = -279*b + 4546. Is b a multiple of 36?
True
Let g(y) = 6*y - 220. Let k be g(36). Is 10 a factor of (-3762)/(-36) + (-2)/k?
False
Let z = -27 - -37. Suppose -18 = -z*l + 22. Suppose l*m - 225 = 223. Does 16 divide m?
True
Let s(y) = y**2 + 107*y + 88. Is s(44) a multiple of 36?
True
Let m = -7708 + 13127. Suppose -6*j + m - 451 = 0. Is j a multiple of 12?
True
Let l = 5149 - 3406. Does 21 divide l?
True
Let o = 21 + -111. Is (-394)/(-10) - (-36)/o a multiple of 14?
False
Let l = 66 + -51. Suppose 2*r - l = -107. Let q = r - -78. Is 26 a factor of q?
False
Let k = -8974 + 37201. Does 241 divide k?
False
Suppose -58*c + 57*c + 7708 = -3*m, -3*c = 2*m - 23091. Is c a multiple of 15?
False
Suppose -5*h - 1267 = 3*v, 57*v - 59*v = 2*h + 850. Let q = v - -551. Does 2 divide q?
True
Suppose -78 = -41*c + 35*c. Suppose -8*t + 467 = -c. Does 5 divide t?
True
Let i(m) = 165*m**3 + 14*m**2 - 164*m**3 - 9*m + 5 + 9 + 2. Does 22 divide i(-10)?
True
Is (14/63 + (-818)/36)*1*-4 a multiple of 45?
True
Let f(k) = -k**2 - 5*k + 4. Let a be f(-5). Does 23 divide a + (119/2)/((-14)/(-28))?
False
Suppose 3*d - u = 11, 2*d + 2*u - 11 = -u. Suppose 4*j - 5*j = 2*k - 315, -d*j + 1320 = -4*k. Does 25 divide j?
True
Suppose -4*h + 170*o - 175*o = -207714, -o + 51927 = h. Does 27 divide h?
True
Suppose -4*j - 4508 = -5*k, 4*k + 457*j - 3596 = 455*j. Does 5 divide k?
True
Suppose -7*s + 4*s = -4*c - 9299, 0 = -2*s - c + 6214. Is s a multiple of 23?
True
Suppose -41 - 29 = -2*w. Let m = -52 + w. Let a = 128 - m. Is 29 a factor of a?
True
Let r be 3/21*7/1*113. Is 2 a factor of r - (-1)/((-44)/(-8) - 6)?
False
Let u = 6929 + -4901. Is 6 a factor of u?
True
Suppose z + 30*m = 33*m + 18939, -2*m + 75686 = 4*z. Is z a multiple of 76?
True
Let v be (-180)/(-171) + 1/(-19). Suppose 4*j - 3*i = 29, 4*j + i - 22 = -5. Suppose 20 = j*a, 4*a - v = -m + 92. Is 11 a factor of m?
True
Let p(w) = 2521*w**2 - w - 9. Is 7 a factor of p(2)?
True
Suppose -2*i + 296 = -24. Let h be 5*-1*i/25. Does 18 divide h/((5/(-30))/((-2)/(-3)))?
False
Is 152 a factor of (-15995)/3*4482/(-415)?
False
Suppose -5*h = -2*s + 222, 3*h = -5*s - h + 555. Suppose 117*d - 648 = s*d. Is 12 a factor of d?
True
Suppose -12*j - 32804 + 189896 = 0. Does 18 divide j?
False
Suppose -22236*o + 22252*o - 12240 = 0. Is o a multiple of 3?
True
Suppose -19*f + 12*f = -7028. Suppose 5*r = -10, 8*r - 4*r + f = u. Is u a multiple of 82?
False
Let p(r) be the second derivative of r**4/12 + 10*r**3/3 + 18*r**2 + 11*r. Let m be p(-18). Suppose m = -4*u + 124 + 60. Does 25 divide u?
False
Let d(k) = -291*k + 186. Is d(-14) a multiple of 5?
True
Let u(g) = g**3 - 10*g**2 - 10*g - 13. Let h be u(11). Suppose -6 = -x - 2. Is ((-5)/((-20)/(-18)))/(h/x) a multiple of 9?
True
Let a(l) = 30*l - 28*l**2 - l**3 - 11 + 36 + 37. Suppose 71 = 14*q - 17*q - 2*v, 4*v + 55 = -3*q. Is a(q) a multiple of 7?
False
Let u(j) = -10*j + 212. Let v be u(21). Is 11 a factor of (v/(-11) + 9051/(-11))/(-1)?
False
Suppose -5*l + 774 + 1251 = 0. Suppose -5*f + 1943 = 5*x - 92, x - l = -3*f. Is 17 a factor of x?
True
Suppose 0*p + 3*p = 2*j + 38, -3*p = -4*j - 46. Suppose 2*r + 49 = p*w - 9*w, -166 = -4*w - 2*r. Is w a multiple of 43?
True
Suppose -38*m - 8 = -39*m, -3*m - 41916 = -3*y. Is y a multiple of 30?
True
Let l(g) = 8*g + 1924. Does 13 divide l(31)?
False
Let i = -27 - -57. Suppose 27*b - i*b = 0. Is 1 + (-216)/(-1) + b a multiple of 31?
True
Let g(f) = f**2 + 4*f - 23. Let y be g(-32). Let d = y - 415. Is d a multiple of 18?
False
Let w(p) = -90*p**3 + 5*p**2 - 4*p + 4. Let j(o) = 92*o**3 - 6*o**2 + 5*o - 5. Let b(z) = -5*j(z) - 6*w(z). Does 5 divide b(1)?
True
Let t be ((-26)/(-10) + -3)*-285. Suppose -2*a + 222 = -146. Let g = a - t. Does 12 divide g?
False
Let a = -12 + 21. Suppose 14*n - a*n = 1700. Suppose n = 8*c - 220. Is c a multiple of 14?
True
Suppose -14 = 2*i - 4*i + 2*w, -4*i - 3*w = -7. Suppose -j + 145 = i*j. Is j a multiple of 5?
False
Let v = -3525 + 4123. Is v a multiple of 20?
False
Let m = -841 - -834. Is m + 1625 + (9 + -1 - 2) a multiple of 29?
True
Suppose 0 = 6*s + 7 - 31. Suppose 4*j - s*h - 1453 = -377, -4*h + 20 = 0. Is j a multiple of 14?
False
Let b(q) = -q**3 + 4*q**2 + q - 1. Suppose 3*z - 149 = -14. Let s = z + -43. Does 3 divide b(s)?
True
Let k(w) = 2*w**3 + 4*w**2 + w + 5. Let q(y) = y**3 + 3*y**2 + y + 5. Let j(f) = -3*k(f) + 4*q(f). Let z be j(-4). Suppose z + 201 = 5*m. Is m a multiple of 33?
True
Suppose -18530 - 75754 = -108*h. Is 3 a factor of h?
True
Let i(k) = 84*k - 228. Let z be i(3). Suppose 2001 - 7377 = -z*d. Is d a multiple of 32?
True
Let i = -4259 + 7234. Suppose -11*j + 2184 = -i. Is j a multiple of 67?
True
Let h(m) = -1587*m + 69. Is h(-5) a multiple of 33?
False
Let w = -23186 + 42543. Does 19 divide w?
False
Let c be 3 + 1/1 + -1. Let y(i) be the third derivative of i**6/60 + i**5/30 + i**4/24 - 2*i**2 + 866*i. Is y(c) a multiple of 15?
True
Let q = -339 + 500. Suppose 2*v = -2*g - 132, 4*g + 35 + q = -3*v. Let x = v + 104. Is x a multiple of 3?
True
Let q(h) = -h**3 + 19*h**2 + 4*h - 2. Let u be q(13). Suppose 2*o - 10 = 0, x - 2*o = 3*x - u. Is 17 a factor of x?
True
Is (69*7/4)/((-55)/(-4620)) a multiple of 147?
True
Let q(j) be the third derivative of -j**7/560 + j**6/720 - j**5/2 - 6*j**2. Let b(y) be the third derivative of q(y). Does 10 divide b(-1)?
True
Suppose 3*k = -k - 4*p, 4*p - 9 = 5*k. Is 13 a factor of (25/40*42)/(k/(-24))?
False
Suppose 3*p - 2*p = 24. Suppose -1088 = 2*g - 70*g. Suppose g + p = y. Is 8 a factor of y?
True
Let z(r) = r**3 - 38*r**2 + 35*r - 100. Let x be z(40). Does 21 divide x/6 - (-3 + 4 + -3)?
False
Let b = -1081 + 628. Let v = b - -1201. Is v a multiple of 17?
True
Let m(x) = -1241*x - 7011. Does 52 divide m(-12)?
False
Let c(u) = u**2 - 15*u + 18. Let s be c(15). Let d be s/(-63) - (-1822)/7. Suppose 2*t + d = 6*t. Does 13 divide t?
True
Let j = -7759 + 20149. Is 35 a factor of j?
True
Does 9 divide 187/(-17) - -13 - (-10006)/1?
True
Let g be 9/(36/40) + -5. Suppose 4*k + k - 5*r = -1855, 1858 = -g*k + 2*r. Is 27 a factor of ((-10)/(-10))/(1 - k/(-375))?
False
Let q(r) = 2*r - 9. Let v(f) = f - 5. Let k(l) = 3*q(l) - 7*v(l). Let y be k(3). Suppose -y*n + 3*d = d - 122, -n + 4*d = -10. Is n a multiple of 12?
False
Let l = 10999 + -3423. Is 25 a factor of l?
False
Suppose -12*m + 6 + 42 = 0. Suppose w + 13 = -m*q + 48, 4*w = -q + 110. Let i = w - 22. Is 3 a factor of i?
False
Let y = 2731 - 2357. Is y a multiple of 29?
False
Let b be (-162)/(-5) + 54/90. Let k be (-6)/b + 8/44. Suppose k = 7*l - 24 - 879. Is l a multiple of 31?
False
Let p(c) = -c**3 + 17*c**2 - 5*c + 26. Let t be p(5). Let l = t - 184. Is 9 a factor of l?
True
Suppose 1232 = 31*k - 27*k. Suppose 301*o + 2835 = k*o. Is o a multiple of 15?
True
Suppose -32 = -11*j + 1. Suppose j*f - 48 = -i, -207 = -3*i - i + 3*f. Is 2 a factor of i?
False
Suppose -17*u - 30 = -12*u. Is 576/(-3)*u/8 a multiple of 18?
True
Suppose -10*y + 9 = -101. Suppose -7*u - 336 = -y*u. Is u a multiple of 26?
False
Suppose 0 = -0*f + 4*f - 