se
Suppose 68*d = 30*d + 79*d - 16687. Is 19 a factor of d?
False
Let d(b) = -6*b + 5. Let o(l) = -3*l + 8. Let j(z) = -2*z + 9. Let x(a) = 4*j(a) - 5*o(a). Let r(s) = 4*d(s) + 3*x(s). Does 17 divide r(-4)?
False
Let g(p) = p**3 + 38*p**2 - p - 16. Let v be g(-38). Suppose -v*x + 317 + 1091 = 0. Is x a multiple of 8?
True
Let g be (-1)/(-2) + (-3)/(-2). Is 8 a factor of g + -2 - (-4440)/15?
True
Let u = 38 - 36. Suppose -u*g = 102 + 192. Let h = 230 + g. Is h a multiple of 24?
False
Suppose -14*o + 10*o = 0. Suppose o*w = -14*w + 882. Does 7 divide w?
True
Let o = 7 + -19. Let c = 13 + o. Does 19 divide ((42 - c) + 2)/1?
False
Suppose -27 = -4*h - 15. Let r(b) = b**2 - b - 2. Let d be r(2). Suppose -2*w = g - 120, -3*g + 9 + h = d. Does 10 divide w?
False
Let t = -77 + 33. Let g = t - -42. Is 0 + (2 + -11)*g/6 even?
False
Suppose -2*y = -4*k + 16867 - 41451, -y - k + 12301 = 0. Does 11 divide y?
True
Suppose -102*u = -97*u - 15. Suppose 4*k + 8 = -8, u*k + 93 = 3*j. Is j a multiple of 9?
True
Let x(o) = 2*o**2 + 76*o - 730. Does 13 divide x(12)?
False
Let b(o) = -67*o + 1. Let z be b(-3). Suppose -5*i - 4 = -2*v, -8*v - 2 = -9*v + 4*i. Suppose -z = -3*a - 0*m + 2*m, -a + 62 = v*m. Does 33 divide a?
True
Suppose -b - x - 13 + 15 = 0, -x - 16 = -5*b. Does 12 divide 27/(-72) + (3974/16 - b)?
False
Let m(w) = w**2 + 14*w - 10. Let l be m(-15). Suppose l*k - 1453 = -c + 544, 0 = 5*k + 4*c - 1988. Is k a multiple of 25?
True
Suppose j - 127 = 250. Let q be -261 + (3 - (-4 + 7)). Let c = q + j. Is c a multiple of 43?
False
Let g = -5489 - -7503. Does 38 divide g?
True
Let c(n) = 8*n**2 - 64*n + 4. Let o be c(8). Suppose d + 5 = 4, -d = -o*s + 1221. Does 13 divide s?
False
Let k = 198 + -194. Suppose 3*c = -4*v + 6*v + 920, 0 = 2*c + k*v - 592. Is c a multiple of 78?
False
Let t(j) = 85*j**2 - 9*j + 12. Suppose -5*h - 20 = -5*c, -3*h - 29 = -c - 21. Is t(c) a multiple of 42?
False
Let l = -96 + 2. Let t = 207 + l. Does 13 divide t?
False
Let u be -1 - (3 - 5)/2*0. Let h be (-9)/12*(-11 + u). Suppose h*i - 1468 = 71. Is i a multiple of 19?
True
Is 3 a factor of 7 + (-78 - -538) + -2 + 0?
True
Suppose 16*s - 504 = 20*s. Let f = 493 + s. Let l = f - 193. Is 27 a factor of l?
False
Suppose -348*d + 1155618 - 129714 = 0. Is d a multiple of 11?
True
Let u = 268 + -223. Is 26 a factor of (-39)/(6 - u/6)?
True
Suppose 0 = 28*x - 571 - 353. Suppose x*b = 36*b - 1506. Is 60 a factor of b?
False
Suppose -18 = -4*t - 2*v + 12, 5*t - 10 = 3*v. Suppose x = -t - 7. Let w(g) = -23*g - 3. Is 32 a factor of w(x)?
False
Let h(d) = -2*d - 52. Let n be h(-5). Is (n/18)/7*-1074 a multiple of 20?
False
Let y be 59/4 - -2*(-1)/(-8). Let c = y - 15. Suppose 2*z - 27 - 25 = c. Is 10 a factor of z?
False
Let r(v) = -v**3 + 3*v**2 + 8*v - 9. Let n be r(3). Suppose 0*o = 5*o, 5*k = 5*o + n. Is 8 a factor of k - (0 - -6)*(-75)/10?
True
Let p be 1/(2/(-4 + -118)). Suppose 4*u - 2*i - 220 = 914, -i = 3*u - 843. Let b = u + p. Is 13 a factor of b?
True
Let w be 44480/(-220) + (-2)/(-11). Let j = -152 - w. Is j a multiple of 15?
False
Suppose -2*j + 206 = -0*j. Suppose 316 - 1532 = 32*c. Let u = j + c. Does 12 divide u?
False
Suppose u + 5690 = 2*v - 8480, 2*u - 35434 = -5*v. Does 6 divide v?
True
Let j be (42/12 - (5 + -2))*16. Suppose r - j = 6*r + k, k = -r. Does 8 divide (-410)/(-4) - (14/(-4) - r)?
True
Let a(l) = 575*l**3 + 151*l**2 - 597*l - 2. Is a(4) a multiple of 27?
False
Let g be -2*1*(-12)/8. Suppose 2*j - 2*m = 530, 295 = -5*j + g*m + 1610. Is 24 a factor of j?
False
Suppose -30739 = -53*j + 17544. Is 11 a factor of j?
False
Suppose -5*b = 4*y + 17, 3*y + 4 = 3*b - 5*b. Let f be (1090/8)/b*-16. Suppose 24*v - f = 22*v. Is 34 a factor of v?
False
Let b(z) = 9*z**2 - 8*z + 9. Let w(v) be the first derivative of 2*v**2 - 20*v - 7. Let m be w(6). Is 14 a factor of b(m)?
False
Let q(y) = -760*y - 340. Is q(-31) a multiple of 180?
True
Suppose 164057 = 19*o + 30083 - 75900. Is o a multiple of 7?
True
Does 61 divide (-1 - (-58754)/9) + 6 + (-168)/27?
True
Let g(a) = 240*a**2 + 17*a + 30. Does 23 divide g(-5)?
False
Suppose -50*d + 316*d = -16*d + 15875472. Does 31 divide d?
True
Is ((-272)/170)/((-1)/12000) a multiple of 240?
True
Let x(f) = f**2 - 7*f - 6. Let l be x(8). Suppose -l*b - 316 = -5*w - 6*b, -116 = -2*w + b. Is w a multiple of 10?
True
Let i(z) = z**2 - 4*z + 1. Let w be i(0). Is 10 a factor of (3/(0 - w))/((-12)/40)?
True
Suppose -10*o + 1397 = -93. Suppose -h + 36 = o. Let f = h - -136. Does 8 divide f?
False
Suppose -109415 = -90*l + 264985. Is 58 a factor of l?
False
Let u = -11327 - -18612. Is u a multiple of 4?
False
Is 10047/(-2364) - 199413/(-4) a multiple of 12?
False
Let v(s) = 2*s**2 + 17*s. Let c(a) be the first derivative of a**3/3 - a**2/2 + a - 20. Let d(w) = -3*c(w) + v(w). Does 10 divide d(16)?
False
Suppose -5*d - 521 = -4*j + 346, 4*d + 651 = 3*j. Let v = j + 14. Does 24 divide v?
False
Is 16 a factor of 0 - 199922/(-22) - 108/297?
False
Suppose 196*v - 2869080 = 3405664. Is 57 a factor of v?
False
Let p = -7827 + 21313. Does 9 divide p?
False
Let v = -29 - -34. Suppose 0 = 2*t + v*g - 191 - 118, 0 = -3*t + 5*g + 401. Suppose 9*x = 92 + t. Is 12 a factor of x?
False
Is 25 a factor of 39172989/6519 + (-2)/41?
False
Let q be (-7)/(-42) - 16878/(-36). Let a = q + -415. Does 4 divide a?
False
Let y(p) be the first derivative of -p**4/4 + 6*p**3 - 13*p**2/2 - 11*p + 8. Let w be y(17). Suppose -3*x + f + w = 0, 3*x - 3*f - 26 - 37 = 0. Does 6 divide x?
True
Let l = 101744 + -72271. Is l a multiple of 65?
False
Suppose -27*l = -3*l. Suppose 0 = 2*b - 2*s - 10, 4*b - 22 = 3*s + 2*s. Suppose l = -3*a - 0 - 3, b*n = -5*a + 259. Does 11 divide n?
True
Is 237/((-9)/(-1638)*39) a multiple of 3?
False
Suppose 4*d - 276*z - 27459 = -277*z, 3*d = 5*z + 20577. Does 286 divide d?
True
Suppose l - 332 = -q, -5*q = 52*l - 54*l + 650. Is 66 a factor of l?
True
Let v(b) = 3385*b - 12545. Is v(9) a multiple of 16?
True
Let s be 8*369/36*(-14)/(-4). Suppose 4*z = -4, 4*k = 4*z - 87 + s. Is k a multiple of 7?
True
Let f be 51/7 + (-26)/91. Suppose -6 = -f*i - 62. Let r = 53 + i. Does 5 divide r?
True
Let a(b) = -76*b + 359. Let l be a(-29). Let h = -1231 + l. Does 18 divide h?
True
Let q be -1*0/6*1/4. Suppose 0 = 2*h - q*h - 70. Does 7 divide h?
True
Let d = 4867 + 8540. Is 41 a factor of d?
True
Let u be (-10)/30 + 4/12. Let s = -44 + 263. Suppose u = -5*j + 3*r + s, 2*j + 2*j + 2*r - 162 = 0. Does 11 divide j?
False
Suppose 4*g = -3*w - 152, 101 = -4*g + 5*w - 51. Let p = g + 38. Suppose 3*y + 3*a - 63 = p, -4*y + 3*a = -2*y - 67. Is y a multiple of 13?
True
Let g be (392/40)/7 + 3/5. Suppose -4*h - 244 = -4*v, -4*h = g*v - 47 - 63. Is 3 a factor of v?
False
Suppose -551*r = -547*r + 3*c - 26396, 4*r - 26404 = -5*c. Is r a multiple of 6?
False
Let g(q) be the first derivative of q**2/2 + 7*q + 9. Let r be g(14). Suppose -39 - r = -3*h. Is 10 a factor of h?
True
Let h(g) = -g**2 - 11*g - 10. Let s be h(-10). Let p be (-2)/13 + (-2)/(-13) + s. Suppose -156 = -3*f - 3*v, -2*f + 119 = -p*f - v. Does 40 divide f?
False
Let k(t) be the second derivative of t**4/12 - t**3/2 - 13*t**2/2 + 15*t. Is 5 a factor of k(7)?
True
Suppose -9*n = -d - 11*n + 908, 5*d + 4*n = 4558. Suppose d = 3*p - 5*k + 3*k, -5*k - 20 = 0. Is 10 a factor of p?
False
Let b(z) be the first derivative of z**7/840 - z**6/36 + 3*z**4/4 - 5*z**3 + 21. Let s(p) be the third derivative of b(p). Is 24 a factor of s(11)?
False
Suppose -3*t + 0*k - 5*k = -186, 174 = 3*t + k. Does 26 divide (-2)/(-19) - (-1 - 23820/t)?
False
Let n be 1 + (-13 + 2)*2. Suppose 11*l = 886 + 5. Let u = l + n. Does 10 divide u?
True
Suppose -8*b + 12 = -4*b. Let a(r) = 61*r**2 + 17*r - 11. Is 35 a factor of a(b)?
False
Let s(f) = -66*f - 60. Let o be (10/(-8))/(2/8). Does 45 divide s(o)?
True
Let s = 634 - -5954. Is 14 a factor of s?
False
Suppose 578*r - 582*r + 2*x + 38304 = 0, 3*r - 4*x - 28733 = 0. Is r a multiple of 8?
False
Let w(d) = 131*d + 2918. Does 125 divide w(-13)?
False
Let b(y) = y - 3. Let k(x) = -14*x - 60. Let l(i) = -4*b(i) - 2*k(i). Is l(7) a multiple of 8?
False
Let k(b) = 12492*b - 852. Is 97 a factor of k(1)?
True
Suppose 4292 = -3*v + 4296 + 42302. Is 22 a factor of v?
True
Let i be (3 - 18/8)/((-30)/(-80)