2*j - h, -j = -p + 837. Does 60 divide p?
True
Let a(b) = -b**3 - b**2 - 3*b + 4. Let y be a(-4). Let w be 27 + (5/20 - 9/(-12)). Let g = y - w. Is g a multiple of 5?
False
Suppose -4*o = -5*h + 98, -h - 58 = -4*h + 2*o. Let b = h + -17. Is 32 a factor of 131 - -1*(-2 - b)?
True
Does 130 divide (-1 - -8)*(263612/84 - (-7)/21)?
True
Suppose -3*z = -2*d + 777, 384*d - 1911 = 379*d + 3*z. Is 42 a factor of d?
True
Suppose -5*y + 6 = -3*y, -n = 2*y - 471. Let u = n + -93. Does 4 divide u?
True
Let t(r) = 5*r**3 - 144*r**2 - 24*r + 92. Is 52 a factor of t(29)?
False
Let f = -64 + 3. Let l = -18 + f. Let t = l + 184. Is 12 a factor of t?
False
Suppose -w - 2*o = 2*o - 117, 2*o - 331 = -3*w. Suppose 4*m = 43 + w. Suppose m = b - 82. Is 40 a factor of b?
True
Let x(i) be the first derivative of -1/4*i**4 + 17/2*i**2 + 33 + 14/3*i**3 + 33*i. Is x(15) a multiple of 8?
False
Suppose -5*k + y = -2*k - 24, 3*y + 37 = 4*k. Suppose 9*a - k*a = 0. Suppose 2*w = -a*w + 10. Does 3 divide w?
False
Let z(d) be the third derivative of -d**4/12 + d**3/6 - 3*d**2. Let f be z(-2). Suppose 0*r + f*r + 4*q = 172, -4*r = 5*q - 143. Is r a multiple of 16?
True
Let w(s) = -3*s**2 - 8*s. Suppose 18 - 2 = 2*l. Let q be w(l). Does 22 divide q/((1 + -3)/(-1) + -3)?
False
Let n(z) = -8*z - 16. Let o be n(-2). Suppose -540 = -2*a - 3*v, o*v + v + 275 = a. Is 33 a factor of a?
False
Suppose 97*i - 102*i + 1880 = 5*d, -2*i - 5*d + 740 = 0. Let q = 808 - i. Is q a multiple of 22?
False
Suppose -35*c + 624120 = 37*c + 96*c. Is 53 a factor of c?
False
Let j be 2/(-2) - (-1)/1. Suppose 0 = -5*b + b - 5*r + 244, -r = j. Suppose -s + b = -56. Does 12 divide s?
False
Suppose -237 - 36 = 7*v. Does 21 divide (v + -22)/((-2)/20)?
False
Let i(v) = 77*v + 478. Is 33 a factor of i(14)?
False
Let i(g) = 5*g - 8. Let k be i(-7). Let n = -1 - k. Let s = 84 - n. Is 8 a factor of s?
False
Is 6/8 + (-513)/108 - (0 - 1136) a multiple of 17?
False
Suppose -x + 6301 = -5*t, 2*x - 83*t + 86*t - 12589 = 0. Is x a multiple of 9?
False
Let q be 1/5 + 1428/(-140). Is (105/(-25))/7 + (-7776)/q a multiple of 37?
True
Let m(d) = d**2 - 8*d + 7. Let k be m(2). Let n(j) = j**2 + 9*j + 13. Let o be n(k). Is 35 a factor of 852/(-3 - o) - (-1 - -4)?
True
Let y(n) = -274*n**3 + n**2 + n + 6. Let q be y(-3). Suppose -3*z + q = 10*z. Does 19 divide z?
True
Is (((-120)/9)/10 - -2)/((-3)/(-10476)) a multiple of 6?
True
Let y(b) = 2*b**2 + 28*b + 17. Let n be y(-14). Suppose -18 = n*q - 14*q. Is q/9 - 1200/(-18) a multiple of 13?
False
Let b = -199 + -1385. Is 33 a factor of (b/28)/(1/(-7))?
True
Suppose 3*c = 8*c - 30. Suppose -2*q + 2*t = -c*q + 40, -3*t + 42 = 4*q. Suppose q = -y + 139. Is y a multiple of 13?
True
Let c = 32 - 17. Let q be (-436)/(-6) - 10/c. Suppose -6*l = -10*l + q. Is 3 a factor of l?
True
Suppose 0 = 48*j - 331289 - 463111. Is 184 a factor of j?
False
Suppose 352*a - 246*a - 46746 = 0. Is 4 a factor of a?
False
Let k = 42789 + -7089. Is 150 a factor of k?
True
Suppose 0 = 5*x + 4*r - 5*r - 338, -262 = -4*x + 5*r. Let q = x + -74. Let p(y) = -61*y - 33. Does 37 divide p(q)?
True
Suppose 5*d + 0*d = -4*i + 160, d + i = 33. Let s = d - 8. Suppose 5*m - 2*b = -b + 29, s = 3*m + 2*b. Is 6 a factor of m?
True
Let a = 52 - 44. Let d(i) = -i**2 + 17*i + 18. Does 15 divide d(a)?
True
Suppose 27*p + 26*p - 44144 = -71*p. Does 12 divide p?
False
Let v = 37 - 35. Suppose 8*p = v*p - 54. Let a(x) = x**2 + 8*x - 4. Does 2 divide a(p)?
False
Let n(l) = 4264*l + 11. Let v be n(2). Suppose v = 12*k + 2995. Does 66 divide k?
True
Suppose -5*h = -p + 107, -3*p + 290 = h - 15. Is 80 a factor of p?
False
Let v(m) = 2*m**3 + 3*m**2 - m + 9. Let c be v(-4). Let a = c - -70. Suppose 2*y - 9 + a = 0, 4*k - 2*y = 54. Is 15 a factor of k?
True
Let a = -18255 - -37656. Is a a multiple of 150?
False
Let a(d) be the first derivative of -d**2 - 8*d - 2. Let p be a(-8). Suppose -4*n - 60 = -p*n. Does 5 divide n?
True
Let b(z) = 135*z**2 - 11*z - 89. Is b(-4) a multiple of 15?
True
Suppose -4*o + r = -18, -o + 13 = -3*r + 7*r. Let n(w) = 11*w - 16*w + o*w + 94 + w + 2*w**2. Does 14 divide n(0)?
False
Suppose -4*o + 18 = 6. Suppose a - 21 = -o. Suppose -2*w + a = 4*w. Is w a multiple of 2?
False
Suppose 5*i + 4 = -3*t - 2, 5*i = t - 18. Suppose -t*h + 12*h = 4680. Does 40 divide h?
True
Suppose -10*y + 3*n + 171 = -8*y, -2*y + 170 = -2*n. Is 2*1/(-2) + y a multiple of 3?
False
Let s(r) = 266*r + 14. Let v(l) = l**3 - 9*l**2 - 21*l - 9. Let o be v(11). Does 39 divide s(o)?
True
Suppose -179*p = 463527 - 1455545. Is p a multiple of 17?
True
Let p(w) = 16*w + 8. Let g be p(-6). Let x(y) = y**3 - 29*y**2 + 43*y + 247. Let l be x(27). Let r = l - g. Does 7 divide r?
False
Let h = 359 + -359. Suppose -4*l + m + 1188 = h, 0 = 2*l - m - 512 - 84. Is 8 a factor of l?
True
Let l = 4680 - 3112. Is 98 a factor of l?
True
Let z = -67 - -72. Suppose 4*f - 278 = -z*i + f, -3*f = -5*i + 272. Let k = -46 + i. Does 3 divide k?
True
Suppose -5 - 2 = n - 5*w, 3*n + 2*w = 64. Suppose 6*m - 2*m - 16 = 0. Suppose -174 + n = -m*y. Is 13 a factor of y?
True
Let t(g) = g**3 + 12*g**2 - 25*g + 45. Let l be t(-14). Suppose -3*q - 5*s + 145 = q, -75 = -2*q - l*s. Is q a multiple of 10?
True
Suppose 2*h + 5*j - 8474 = -3288, j - 2587 = -h. Does 7 divide h?
True
Suppose -6*i = -2*i - 136. Let o be 6/51 + 5130/i. Suppose g + 2*u - 28 = 0, -u + o = 5*g - 2*u. Does 10 divide g?
True
Suppose 24*k - 4136 = 352. Suppose -u - k = -3*x, 4*x + 2*u - 5*u = 246. Is 4 a factor of x?
False
Suppose 3*m - 35 = 85. Suppose 43*j = m*j + 318. Suppose -2*g = -4*n - j, -2*g = -4*g - 2*n + 112. Does 48 divide g?
False
Let b be (-8)/(-32) + (-1845)/(-12). Suppose -b + 127 = -g. Is g a multiple of 5?
False
Let f(n) = -2*n**3 - 19*n**2 - 19*n - 8. Let q be f(-8). Does 14 divide (q/(-36))/(1/54)?
False
Let k(t) = -16*t + 3332. Is 116 a factor of k(56)?
True
Suppose z + 3*z - 7522 = r, 2*z - 3764 = -r. Is z a multiple of 10?
False
Is 78 a factor of (-4 + 0)/(245/147)*(-3770)/1?
True
Suppose 3*o + s - 1972 = -o, 0 = -5*o + 5*s + 2490. Suppose o = 5*a - 56. Is a a multiple of 2?
True
Suppose -p - 2*p + 2*g + 28 = 0, 4*g = p - 16. Suppose -2*f + 0 + p = 0. Suppose v - 3 = 0, -705 = -4*i + v - f*v. Does 25 divide i?
False
Let b(m) = -1626*m - 1638. Does 5 divide b(-3)?
True
Suppose 13*a + a = 56. Suppose 5*v = 3*v + j + 513, a*v - 1041 = -j. Does 7 divide v?
True
Does 19 divide 1660/225*(-59310)/(-36) + (-1)/(-9)?
False
Is 99 a factor of (0 - 75241/(-4)) + 241/(-964)?
True
Let w(s) = s**3 + 11*s**2 + 2*s + 2. Let u be w(-10). Let b = u + -80. Is 1 - 782/(-8) - b/(-8) a multiple of 33?
True
Let u(q) = 12*q**2 + 176*q - 856. Is u(5) a multiple of 18?
True
Let b = 33332 + -24897. Is b a multiple of 35?
True
Let o be 1/(-2)*((1 - 35) + 2). Let k(j) = 2*j - 39. Let w be k(o). Does 11 divide (1/((-4)/(-18)))/(w/(-84))?
False
Let k be (-2)/(-20) - (-118)/20. Is (5 - k)*(3 + -603) a multiple of 50?
True
Is 5 a factor of (-11 + 931)*9/18?
True
Suppose 14*m = 6*m - 960. Let d = m + 184. Is 32 a factor of d?
True
Let w(v) = 3*v**3 + 14*v**2 - 9*v + 63. Does 28 divide w(12)?
False
Let v be ((-63)/5)/(21/(-490)). Let s = v - 260. Is 17 a factor of s?
True
Let c(d) = -d**3 + 20*d**2 + 44*d + 2. Let k be c(22). Suppose k*i - a = -i + 1047, -i - 3*a = -359. Does 10 divide i?
True
Let y(w) = -12*w**3 + w**2 - w - 2. Let v(k) = -5*k - 49. Let o be v(-11). Suppose 0 = 14*x - 20*x - o. Does 12 divide y(x)?
True
Let t = -215 - -155. Let n be (10/(-25))/(8/t). Suppose 3*z - v = 597, z - 5*z + 783 = n*v. Does 33 divide z?
True
Suppose -2*a = 5*y - 9, 26*a - 21*a = 3*y - 24. Suppose y*k - 5 = 1, -4*k - 142 = -g. Is g a multiple of 13?
False
Let t = 102 + -187. Let j = t - -87. Does 7 divide ((-11)/33)/(602/(-300) + j)?
False
Suppose 972 = -8*c + 9*c + 5*s, -c - 4*s + 976 = 0. Does 10 divide c?
False
Suppose 28*l - 29*l + 5 = x, x - l + 5 = 0. Let m(q) = -2*q + 2*q - 6*q + 144. Is 12 a factor of m(x)?
True
Let l = 3142 - 1994. Suppose -26*x + 24*x + l = 0. Does 7 divide x?
True
Let p be (0 + -1)*2/14*0. Suppose 4*q + 4*b - 32 = p, -q + 4*b = -2*q - 4. Is q a multiple of 3?
True
Let s = -287 - -953. Let g = -407 + s. Is 26 a factor of g?
False
Suppose 3*s + 474 = 2*t + 140, s = -5*t + 835. Suppose -t - 409 = -