se i + 3*a + 16 = -2*a, 0 = -4*i - l*a + 8. Suppose 5*c = 0, 0 = -i*g + g - 5*c + 636. Is g a multiple of 53?
True
Suppose 38*z = 41*z + 11*k - 46786, 3*k + 46800 = 3*z. Does 28 divide z?
False
Suppose 10*c - 148557 - 160643 = 0. Is 87 a factor of c?
False
Let x = 1423 + -104. Does 48 divide x?
False
Let v(o) = 2*o**2 + 15*o - 3. Let s be v(-18). Let x = s + -42. Is x a multiple of 41?
False
Suppose 18166 + 6637 = 9*l - 2809. Is l a multiple of 26?
True
Let b = 1202 + -807. Suppose -b = -j + 326. Does 40 divide j?
False
Let r(a) = -a**3 + 10*a**2 - 8*a - 12. Let k be r(9). Let x be (k + 6 - 43)/(-2). Suppose 3*w = x + 43. Is 7 a factor of w?
True
Let s be (27/(-6) + 2 - -2)*-16. Does 50 divide 73/(s/224*4)?
False
Let r(a) = -a**2 + 10*a - 4. Let p be r(9). Does 19 divide (2 - (-2 + p)) + 647/1?
True
Suppose z + z - 2 = 0. Let j(i) = 203*i - 2. Is 18 a factor of j(z)?
False
Suppose 584 + 27386 = 10*l. Does 88 divide l?
False
Let o(i) = 3*i**2 + 6*i + 627. Is o(75) a multiple of 18?
False
Suppose -5*k - 173 = 4*g, -40*k + 44*k + g + 145 = 0. Let s(z) = -27*z - 115. Is 13 a factor of s(k)?
True
Does 46 divide (0 - -3178) + (12 - 14)/(1/2)?
True
Let j = 43044 - 13580. Does 58 divide j?
True
Suppose 73*x - 10097 = 50*x. Does 2 divide x?
False
Suppose 0*v = -4*v + 4*m + 44, 4*v - 20 = -4*m. Suppose -v*s = -0*s. Is 4 a factor of (-11)/(22/(-4)) - (s + -30)?
True
Suppose 8*b + 1386 = -25*b. Does 8 divide b/(-6) - 3 - 1*-92?
True
Suppose -9658 = 12*f + 10*f. Let z = f - -838. Does 57 divide z?
True
Let n(l) = 37*l**3 - 2*l**2 + 2*l - 1. Suppose -2*f + 9 - 91 = 0. Let y = f - -42. Is 12 a factor of n(y)?
True
Let s = -2191 + 9631. Is s a multiple of 62?
True
Let w = -1395 - -2069. Let q = w + -506. Is 6 a factor of q?
True
Let w = 32326 + -19541. Is w a multiple of 24?
False
Let f(t) = 14*t + 55. Let z(d) = -27*d - 108. Let w(i) = 7*f(i) + 4*z(i). Is w(-20) a multiple of 17?
True
Let s(i) = -i**2 - 6*i - 11. Let g be s(-9). Let r = -12 - g. Let c = 1 + r. Is 10 a factor of c?
False
Let v = 3821 + -2211. Does 35 divide v?
True
Let s(u) = -u**3 - 4*u**2 - 3*u. Let w be s(-3). Let g(z) be the second derivative of -z**5/20 + z**4/12 - z**3/6 + 64*z**2 - 10*z. Does 16 divide g(w)?
True
Let c(x) = x**3 + 12*x**2 - x + 16. Let l be c(-11). Let a = 17 + l. Is a a multiple of 11?
True
Let q = -593 + 596. Let c(h) = 83*h**2 + 21*h - 4. Is 26 a factor of c(q)?
True
Let m = -5616 - -7011. Does 93 divide m?
True
Let n(y) = 59*y - 102. Let u be n(10). Let v = u - 189. Is 10 a factor of v?
False
Let r be (-5 - (-8)/2) + 451. Suppose -228 = -2*p - 4*c, 6*p - 10*p - 5*c = -r. Suppose 3*k - p - 115 = 0. Is k a multiple of 15?
True
Let p(c) = 4*c**2 - c - 15. Suppose -2*y + y + 2 = 0. Suppose -2*s - y*x - 3 - 17 = 0, 0 = s - 4*x - 5. Does 47 divide p(s)?
True
Suppose -9*b + 9 = -6*b. Suppose 2*p = -b*d + 755, -43 = -2*d + p + 465. Does 13 divide d?
False
Is (-247652)/(-22) - 170/187 a multiple of 8?
True
Suppose 536*p - 571*p + 48755 = 0. Does 8 divide p?
False
Suppose 2*m + 4*k = 42, -3*m + 3*k = -123 + 15. Let b = m + -28. Suppose -192 + 27 = -b*t. Is 11 a factor of t?
True
Let a = 549 + -175. Suppose -8*n + 410 + a = 0. Is n a multiple of 13?
False
Is (-2)/(((-16)/(-7512))/(147/(-7))) a multiple of 63?
True
Suppose 173*p + 42545 = 178*p - j, 3*j = 2*p - 17031. Does 12 divide p?
True
Suppose -184 + 58 = -6*n. Suppose n = 3*j - j - 3*z, -2*z - 20 = -2*j. Is 18 a factor of j/((-36)/(-176)) - -2?
False
Suppose x - 5*t - 3311 = 0, 31*x + 26344 = 39*x - 4*t. Does 31 divide x?
False
Let l(t) = -3*t**3 + 34*t**2 - 15*t + 6. Is l(-9) a multiple of 33?
True
Let g = 43 - 35. Let n be 246 - (2 - 4) - (-2)/2. Suppose g*z + n - 1249 = 0. Is z a multiple of 25?
True
Suppose -69 = 6*v + 15. Let h be v/(-7)*(-53)/2. Let x = 97 + h. Is x a multiple of 4?
True
Suppose -p + 4*x = -14887, -x = -1600*p + 1599*p + 14881. Is p a multiple of 10?
False
Let s = 5697 + -3261. Does 12 divide s?
True
Is 7 a factor of (40/(-16) + 4)/((-12)/(-2000))?
False
Let s = 19651 + -3661. Is s a multiple of 246?
True
Let a(t) = 51*t**2 - 31*t + 221. Does 26 divide a(12)?
False
Let r(u) = u**3 - 27*u**2 + u + 2210. Is r(46) a multiple of 10?
True
Suppose 0 = 4*s + 5*o - 3343, 4*s - 2639 - 692 = -o. Is s even?
True
Let m(s) = 59*s + 3. Let j be m(3). Suppose 71 + 179 = -2*d. Let o = d + j. Does 11 divide o?
True
Let p(r) = -5*r + 420. Suppose 0*x + 2*x + 8 = -2*t, 2*t = x + 4. Let i be p(t). Suppose 4*z = 2*k + i, -4*k + 507 = 5*z - 2*k. Is z a multiple of 46?
False
Let f(c) = 255*c + 800. Let y be f(-3). Let t be -7*(5 - -2) - 0. Let m = y - t. Is 42 a factor of m?
True
Let o = -180 + 126. Suppose -2*w = w - 282. Let x = o + w. Is 10 a factor of x?
True
Let l be (-500)/(-275) - (0 - (-4)/(-22)). Let t(k) = -7*k + 8*k + 9*k**2 + k + 13*k**l - 3. Does 21 divide t(2)?
False
Let m = 527 + 26. Suppose -m = -4*q - 357. Does 7 divide q?
True
Let m be 1/((-4)/(-4 + -15688)). Suppose -m - 675 = -11*h. Is 10 a factor of h?
False
Let w = -66113 + 105641. Does 12 divide w?
True
Suppose 64*d + 33*d = 15257 + 589150. Is 31 a factor of d?
True
Let v = 4281 + -3750. Is 12 a factor of v?
False
Let z = 3298 + 968. Does 27 divide z?
True
Let u(f) = -1170*f**3 - 4*f**2 - 18*f - 15. Is 72 a factor of u(-1)?
False
Let g(z) = 47*z**2 + 3*z - 2. Let l be 8/20 + 1/(-10)*-6. Let p be g(l). Suppose 0 = 4*j - w - p, -12 = -j + w - 4*w. Does 3 divide j?
True
Is 38 a factor of ((-600)/(-2))/((-77)/(-7) - 10) + 4?
True
Suppose 17*t + 6157 = 1108. Let z = -55 - t. Is 30 a factor of z?
False
Let g(d) = 2*d**2 + 5*d - 13. Suppose 43 = -5*l - q, 19 + 15 = -4*l - q. Let i be g(l). Let t = i - 13. Does 6 divide t?
False
Let z(i) = 0*i + i - i + 2*i + 294. Is 42 a factor of z(0)?
True
Let v(i) = 13*i**2 - 5*i + 15. Suppose 2*n - 6*n = 4*p - 28, 2*n - 18 = -4*p. Is 2 a factor of v(p)?
False
Let s(t) = 16*t + 64. Let p be s(-4). Is 20 a factor of -4 + 2 - (-422 - p)?
True
Let l = 524 - 499. Suppose -j + 290 = b, 20*b - 308 = -j + l*b. Does 3 divide j?
False
Let x = 185 + -180. Suppose -7*p = -x*p - 164. Is p a multiple of 6?
False
Let s(u) = -4*u + 80. Let r be s(20). Suppose 5*b - 5*z = -r*z + 280, -5*z = -b + 36. Is b a multiple of 2?
False
Let i(b) = 2*b**2 - 72*b + 44. Let n(d) = 6*d + 26. Let l be n(3). Is i(l) a multiple of 34?
True
Suppose 4*p - 1755 = y, 0 = 5*p + 3*y + 41 - 2222. Is p a multiple of 8?
False
Let z(f) = 48*f + 3120. Is 18 a factor of z(-59)?
True
Suppose 5*m - 79164 = 3*a + 83845, -4*m + 130431 = a. Is 247 a factor of m?
False
Let i be (9 + (-286)/33)/((-1)/(-9)). Suppose w + 2*d - 762 = -262, -2*d = -i*w + 1500. Is 50 a factor of w?
True
Suppose -5*j - 4*r = -31344, 50*j - 54*j - 5*r = -25068. Does 112 divide j?
True
Let a(k) = 3*k - 16. Let b = 45 - 49. Let x be ((-18)/27)/(b/162). Is a(x) a multiple of 5?
True
Let d be 35 + (-1)/((-4 - -3)*-1). Suppose -29*t + d*t = 260. Suppose -n + t = -24. Is n a multiple of 15?
False
Suppose 2*l + 4*h = -26 + 80, l = h + 12. Does 12 divide ((-2)/4)/(l/(-9860))?
False
Suppose 11*n - 12*n = -2. Suppose -n*d + 19 = -61. Suppose d = b - 2. Is b a multiple of 6?
True
Let f be 9 + (1 + -1 - (8 - 7)). Suppose -7*r = -f*r + 181. Is 6 a factor of r?
False
Let n = -4223 + 4126. Suppose -5*q - 14 = -2*v + 139, 3*v - 232 = 5*q. Let f = v - n. Is f a multiple of 16?
True
Suppose 5*j - 4*y = 8674 + 3517, 0 = -5*j - y + 12221. Is 2 a factor of j?
False
Let v be (-350)/(-105) + (-1)/3. Suppose -l = -5, -v*f = -0*f + 2*l - 124. Is f a multiple of 11?
False
Let z = 9335 + -8420. Is z a multiple of 5?
True
Let v be (0/(-3))/((-5)/(-5)). Suppose v = -f + 8 - 13. Does 8 divide (f*71)/(-5) - -1?
True
Let a(t) = -t**3 - 7*t**2 + 11. Let z be a(-8). Suppose 0 = 3*y - z - 168. Suppose -3*i - j + 109 = 0, 4*i - 77 = 5*j + y. Does 12 divide i?
False
Suppose -58 + 18 = 2*i. Let y be 5*-2*6/i. Suppose -y*w + 626 + 46 = 0. Is 14 a factor of w?
True
Suppose 0 = 968*u - 953*u - 94095. Does 51 divide u?
True
Let p(q) = 2*q**2 - 3*q - 3. Let f be p(4). Let c = -17 + f. Let d(h) = -h**2 + 2*h + 3. Is d(c) a multiple of 3?
True
Let w be ((-2 - -139) + 0)*1. Let o = 32 + w. Does 13 divide o?
True
Let b be 2/(-6) + (-16)/24 + 1. Suppose 8*f = -b*f + 2080. Does 26 divide f?
True
Let s(x) = -x**2 + 10*x - 11. Let y = -38