 = l + 3*i + 6. Does 8 divide l?
True
Let t = -979 - -1394. Is t a multiple of 11?
False
Suppose -1320 = -2*o - 2*n, 28*o - 5*n = 26*o + 1313. Does 4 divide o?
False
Does 12 divide ((-6)/5)/((-1)/(-200)*-1)?
True
Let v(s) = -s**3 + 15*s**2 + 24*s - 24. Let w be v(16). Let j = 9 + w. Is 16 a factor of j?
False
Let t = 1193 + -950. Is 32 a factor of t?
False
Let b(n) = 5*n**2 - 1. Let f be b(-1). Suppose -f*d = -5*d. Suppose 0 = m + 3, 4*a + 4*m - 44 = d. Does 7 divide a?
True
Let p = -233 + 301. Does 29 divide p?
False
Let a(v) = 5*v**2 - 12*v - 53. Does 40 divide a(-12)?
False
Suppose -r - 3*m = -21 - 9, 0 = -4*r + 5*m + 154. Does 9 divide r?
True
Is (137540/(-12))/13*18/(-10) a multiple of 69?
True
Suppose 0 = j - f - 9, 5*j + 5 = -5*f - 0. Let i be 5 + j*(-3)/6. Suppose -i*z - 3*s = -156, -z + 4*s = -40 + 3. Does 19 divide z?
False
Suppose -661 = 5*t + 4*j, 2*t + 262 = -5*j + 4*j. Let k = t + 321. Is 11 a factor of k?
False
Suppose 4*f + 2812 = 7868. Is 10 a factor of f?
False
Let a(l) = 5*l**2 - 2*l**3 + 2*l - 1 + 3 + l**3 + 4*l. Let x be a(6). Suppose -x*r + 8 = -96. Is 18 a factor of r?
False
Suppose 112 = -17*s + 1387. Is s a multiple of 14?
False
Let k(i) be the third derivative of 17*i**5/60 + 7*i**4/24 - 7*i**3/3 + 41*i**2. Is 19 a factor of k(-5)?
False
Let o = 49 + -47. Suppose -o*t = -158 - 12. Does 28 divide t?
False
Let m(o) = o**3 - o**2 - o + 1. Let u be m(2). Let h = -64 + 67. Suppose -q - 3*z - 30 = -3*q, u*z + h = -q. Is q a multiple of 4?
False
Suppose -4*r - 555 = b, 2262 = -4*b + r - 3*r. Let c = b + 823. Does 32 divide c?
True
Let w = -33 + 38. Suppose -3*u + g = -122, -2*g + 154 = 4*u + g. Suppose u = -0*d + w*d. Does 8 divide d?
True
Is 6 a factor of ((-81)/2 - 7)*228/(-15)?
False
Let h = -22 - -45. Suppose 0 = -4*k + 481 + h. Is k a multiple of 18?
True
Suppose 4*l + 4 = 6*l. Let b be (-4)/(-2)*(4 - -2). Suppose m + l*m = b. Does 4 divide m?
True
Suppose -x = -3*x + 6, 3*l = -5*x + 1263. Is l a multiple of 26?
True
Let z(v) = -v**3 + 17*v**2 - 8*v + 5. Let r be (-14)/(-105)*(0 - -5)*24. Is z(r) a multiple of 19?
True
Suppose -4*j = -f - 6, -5*f = 5*j - 3*j - 14. Suppose -j*k - 8 = -46. Is 11 a factor of k?
False
Let i(l) = 19*l - 19. Let d(o) = o - 1. Let s(w) = -102*d(w) + 6*i(w). Let k be s(6). Let t = 84 - k. Does 10 divide t?
False
Let p be ((-9)/(-2))/((-28)/8 + 4). Let t = p + 15. Does 8 divide t?
True
Suppose y + 14 = 2*y + 3*s, 4*y - 11 = 3*s. Suppose 2*f = a - 82, -5*f = -y*a + 4*a + 85. Does 16 divide a?
True
Let j(t) = -t**2 - 28*t + 216. Does 18 divide j(-23)?
False
Let c = 16 + 31. Is c even?
False
Let s be (12/18)/((-2)/9). Let p = s - -7. Suppose 0 = -6*z + p*z + 8. Is 3 a factor of z?
False
Let h = -40 + 42. Does 18 divide (-13 - -24)/(h/4)*8?
False
Let v(i) be the first derivative of i**4/4 + i**3 - 9*i**2/2 - 4*i - 27. Is v(-4) even?
True
Suppose -t - 3 = 0, 0 = 3*l - 0*l - t + 201. Let w = -1 - l. Is w a multiple of 34?
False
Suppose 0 = 8*q + 5*q - 104. Does 34 divide 2*(-4)/(-32) + 1902/q?
True
Let n(v) = 4*v**2 + 4*v + 2. Let s be n(-1). Suppose -c + s*c - 8 = 0. Is c a multiple of 4?
True
Let z(p) = 14*p - 82. Does 10 divide z(13)?
True
Let s be 2/((-2772)/1389 - -2). Let t be (8/12)/((-8)/(-36)). Suppose -s + 118 = -t*f. Does 23 divide f?
True
Suppose 2*k + 3*l = 1017 - 249, -5*k - 2*l = -1942. Is 78 a factor of k?
True
Suppose 2*p = 2*k + 464, 4*p - k - 2*k = 924. Suppose p = 3*m - 57. Is 18 a factor of m?
False
Let r(t) = -t - 18. Let g be r(-4). Let h = g - -91. Is 19 a factor of h?
False
Suppose -3*i = 3*h - 5560 + 193, -3*h = -2*i - 5362. Does 60 divide h?
False
Is 26 a factor of 4/((-42)/(-147) + (-102)/364)?
True
Suppose -14 - 2 = -4*q. Suppose -3*b - q = -5*l + 15, 2*l = 5*b. Suppose 28 = -l*r + 798. Is 31 a factor of r?
False
Let h = 285 + -251. Is 2 a factor of h?
True
Let c(i) = 159*i**2 - 30*i + 62. Does 13 divide c(5)?
True
Let k = -893 - -2218. Does 26 divide k?
False
Let g be (-1)/((-86)/(-44) - 2). Let r = g + -6. Is r a multiple of 16?
True
Let r = 392 + -212. Does 14 divide r?
False
Let q(i) = 20*i - 1. Let r be q(3). Let d = 70 - r. Is d a multiple of 2?
False
Suppose -3*b = 2*q - 4, -2*q - 3 = -2*b - 7. Let r(m) = -m**2 + 6*m + 2. Let l be r(6). Is (l/6)/(q/12) a multiple of 2?
True
Let d(a) = a**2 + 10*a - 11. Let j be d(-11). Suppose 5*t - 19 = -2*q + 3*q, j = t - 4*q. Suppose 5*g - t*i - 6 - 34 = 0, 4*g - 5*i - 23 = 0. Does 3 divide g?
True
Let t(y) = -y**2 + 10*y + 22. Let n be t(12). Let z = 34 - n. Is 12 a factor of z?
True
Let s be 8/(-5)*5/(-2). Is (-46)/(-4)*s/(-8)*-4 a multiple of 19?
False
Suppose 8*g + 0*g = 3792. Is g a multiple of 36?
False
Let t = 215 + 411. Suppose -8*p + 1126 = -t. Is p a multiple of 9?
False
Suppose 0*o - 9*o + 675 = 0. Let i be -1 - 0 - -1*4. Suppose 2*j + i*j - o = 0. Is j a multiple of 15?
True
Suppose 0*v + 16 = 2*v. Suppose 248 = -4*m - v. Is 12 a factor of (m/(-6))/((-10)/(-15))?
False
Suppose 922*f - 5128 = 918*f. Is 15 a factor of f?
False
Suppose -3*m + 3331 = -8*r + 12*r, 3*m = -3*r + 3333. Does 45 divide m?
False
Suppose 4*d = 7*d + 42. Is 1172/14 + 2 - 4/d a multiple of 43?
True
Let i = -4 + 4. Suppose -h + 2 = -i*h. Does 11 divide (5/15)/(h/66)?
True
Suppose 0 = 10*i - 3*i - 7. Is 20 a factor of ((-474)/(-3) - 1)*i?
False
Suppose 4*l = -20, -5*r - 6*l + 445 = -4*l. Let f = r - 55. Is f a multiple of 4?
True
Let p(x) = -8*x + 46. Let z be p(5). Suppose -3*o + j = -14, 5*o - o + j = 14. Suppose -o*u - 32 = -z*u. Is 16 a factor of u?
True
Let j = 2 - 2. Suppose j = -4*t + 16 - 0. Suppose -3*z + t*z = 39. Does 14 divide z?
False
Let r = -1189 - -1687. Is r a multiple of 10?
False
Suppose -2*s = 5*h - 4*s - 413, 0 = 3*s + 12. Let d be (-4 + (-4 - -13))/(-3 - -4). Suppose -3*f - 5*p - h = -223, -2*p = -d*f + 216. Is 11 a factor of f?
True
Let u = 44 + -48. Let j = u - -175. Does 27 divide j?
False
Let i(k) = -k**3 - k**2 + 7*k - 14. Is i(-14) a multiple of 58?
True
Suppose i + 4*i - 5 = 0. Suppose 113 + i = 2*o. Does 14 divide o?
False
Let s(q) = q**2 + 3*q - 6. Let j be s(-5). Suppose j*o - 5*b + 155 = -o, 0 = -3*o + 2*b - 92. Let a = 51 + o. Is 21 a factor of a?
True
Let h = 482 + 167. Is h a multiple of 11?
True
Let r be -6*(2 - 14/6). Suppose 0 = q - 2*q - 5, 2 = -t - r*q. Is t even?
True
Suppose 4*g = 10*g - 48. Let x(c) = -c**2 + 11*c + 6. Is x(g) a multiple of 30?
True
Let b = -3 + 6. Suppose 13 = -3*t - 2*h + 101, -4*t + b*h + 140 = 0. Is 26 a factor of t?
False
Let p(y) = y**3 - 15*y**2 + 42*y + 61. Does 23 divide p(16)?
True
Let i be -1 - (707/(-14) - 3/(-2)). Suppose c + 3*c - i = 0. Does 6 divide c?
True
Suppose -5*c + 38 = 8. Let m = c - -38. Is 6 a factor of m?
False
Let w be (-4)/(-2) + 620/(-5). Let r = -239 - w. Does 28 divide 0 + 1 + -3 - r?
False
Let m = -525 - -717. Does 16 divide m?
True
Let v = -32 - -26. Let k = v + 21. Is k a multiple of 13?
False
Let b(n) = -39*n - 89. Does 8 divide b(-7)?
True
Let g be 80/4 + (8 - 6). Suppose f - 32 - g = 0. Does 9 divide f?
True
Suppose 3*w = -3*l + 7065, 2*l + 21 = 19. Does 14 divide w?
False
Suppose 312 = -4*v + 12*v. Suppose 2*r = 27 + v. Does 11 divide r?
True
Suppose -4*p = -5*p + 2*y - 12, -p + y = 7. Is 8 a factor of (3 - (p + 1))*2?
True
Suppose 4*m - 23 = -11. Suppose m*n + n = 4*j - 376, -2*n + 94 = j. Is j a multiple of 30?
False
Suppose -d + 27 - 23 = 0. Suppose -4*p = l - 254, 5*p + 0*p + 1058 = d*l. Does 11 divide l?
False
Suppose 5*m = x - 436, 2*x - 3*m = -8*m + 947. Let c = x - 325. Is 17 a factor of c?
True
Let j(n) = n. Let l(v) = -6*v + 12. Let b(k) = 5*j(k) + l(k). Is b(-21) a multiple of 3?
True
Let b be (6/4)/(48/512). Suppose -a + b = 19. Let d = a + 87. Is 22 a factor of d?
False
Let p(t) = t**2 + 7*t - 8. Let g be p(-8). Suppose g = 4*s - 2 - 118. Is s a multiple of 10?
True
Let b(n) = n + 7. Let t(d) = -d. Let s(h) = b(h) + 2*t(h). Let y be s(4). Suppose 0 = 2*g - 0*z - y*z - 117, 2*z - 2 = 0. Does 30 divide g?
True
Let l = -15 + 17. Suppose 0 = -r + l. Suppose 0 = 4*j - 4*p - 64, 4*j - 12 = r*j - 2*p. Is 2 a factor of j?
False
Suppose -32*x + 1353 = -3159. Does 3 divide x?
True
Let t = -9 + 9. Suppose t = -33*h + 38*h. Suppose -4*m + h*q + 114 = -2*q, -m + 36 = q. Is m a multiple of 10?
False
Let y = 1031 - -634. Is y a multiple of 5?
True
S