e
Let y be (1 - (-12)/(-8))*0. Suppose -3 = -3*i + 5*n - 4*n, y = 5*n. Is 20 a factor of 12/(i/(-10)*-2)?
True
Let c(l) = -l**2 + 4*l + 8. Let q be c(5). Suppose -3*n = -2*i - 97, -3*n - 47 = -4*n - q*i. Is 5 a factor of n?
True
Let b(z) = -z**2 + 18*z - 16. Let t be b(8). Let m = t + 45. Is 9 a factor of m?
False
Suppose -20 = -x - 0*x. Let c(d) = 3*d - 7. Let k be c(4). Suppose -2*r - k*a = -19, 0 = -a - 3*a - x. Is 11 a factor of r?
True
Is 16 a factor of 12/10 + 74334/130?
False
Does 8 divide 7*1*(-2 + 12 + 46)?
True
Let g be ((-9)/6)/((-3)/680). Suppose -3*v - 4*r = -206, v + 5*r - g = -4*v. Is v a multiple of 11?
True
Let j = -62 - 0. Let h = 137 + j. Is 15 a factor of h?
True
Let g be 5/((-25)/(-15)) - (32 + -1). Is (1 - g/(-8))/((-2)/28) a multiple of 3?
False
Let f be 3/((-9)/(-6))*1. Suppose 0 = 2*r - 10, f*u + r = 72 + 11. Is u a multiple of 7?
False
Let t = 108 + -121. Is (t/4)/(2/(-200)) a multiple of 22?
False
Let d be (40/(-16))/(1/(-2)). Suppose 0*f - 4*f + 5 = t, -d*t = 3*f + 9. Suppose -4*v - x + 3*x = -246, -v + 57 = -f*x. Does 15 divide v?
False
Let b(i) = 4*i - 20. Let w be b(6). Suppose -w*a + 2*a + 74 = 0. Does 12 divide a?
False
Let m be (-20)/(-8) - (-1)/(-2). Let l(j) = 9*j + 6*j - 10 + 8. Is l(m) a multiple of 11?
False
Suppose -4*d = 3*p - 5*p + 22, 2*p - 6 = 0. Is 18 a factor of 24*d/(-32)*42?
True
Does 14 divide ((-3 - (6 + -9)) + -1)*-602?
True
Suppose -12*r = 37*r - 22736. Does 58 divide r?
True
Let h be (1 + -3 - -6) + 4. Let q(f) = -f**2 + 2*f + 18. Let t be q(h). Does 24 divide (96/15)/((-4)/t)?
True
Let x(k) = -35*k + 322. Is x(-7) a multiple of 13?
False
Suppose 10*o + 12 = -18. Let q = o - -101. Is q a multiple of 7?
True
Suppose -p + 5 = 1. Let j be p/8*-2*-5. Suppose 5*w - 7 = s + 221, j*w + s = 232. Is 14 a factor of w?
False
Suppose i - 3*u + 21 = 0, -4*i + 4*u = 78 - 18. Is 29 a factor of 1/(4/i) - -33?
False
Let f(m) = 2*m**2 - 7*m - 4. Let h be f(5). Let z = 31 + h. Does 14 divide z?
True
Suppose 4*w + 4*j = 8*w - 1760, 2*w + 2*j - 860 = 0. Is w a multiple of 15?
True
Suppose 0 = -15*d + 14*d + 2. Let x(k) = 58*k + 3. Let z be x(d). Suppose 163 = 4*p - u, -3*p + 3*u + u = -z. Does 6 divide p?
False
Suppose 0 = -2*u + 4, -2*x + 2*u = -0*u. Does 34 divide 188 + (x - 4)*-2?
False
Suppose 3*q - 78 = -5*r + 73, 0 = r + q - 29. Suppose 0 = -w - 0*w + r. Is w a multiple of 16?
True
Is 2264/1415*(453/2 - -1) a multiple of 91?
True
Let x(u) = -77*u + 528. Does 12 divide x(-22)?
False
Suppose 6*u = 2 + 4. Let j(d) = -2 + u + 6*d - 3 + 2. Is j(5) a multiple of 12?
False
Suppose -3 + 1 = -s. Let y(i) = 45*i**2 + 2*i - 4. Let w be y(s). Suppose w = -f + 3*f. Does 18 divide f?
True
Let a(v) = -253*v + 2. Let i(j) = -2*j - 13. Let k be i(-6). Is a(k) a multiple of 15?
True
Let z = -752 + 1290. Let g = -352 + z. Let q = g - 125. Is 22 a factor of q?
False
Let a(g) = 15*g**2 + 3*g + 1. Let m be a(-3). Let o = -74 + m. Does 13 divide o?
False
Suppose -q + 110 = -6*q. Let h be (25/(-10))/(1/q). Let j = h - -36. Does 26 divide j?
False
Let p be (-18)/12*2 - (-7 - 2). Let w(m) = 19*m - 32. Is 14 a factor of w(p)?
False
Let v = 21 - -104. Suppose 17 = -2*o + v. Suppose 0 = -j - 0*j + o. Does 18 divide j?
True
Suppose -10 = -2*o + 3*n, 4*o - 3*n = 11 + 3. Suppose 4 = 2*a - o*t, -1 = a + 4*t - 3. Does 20 divide (5 + -3)/(a/51)?
False
Suppose 2*n - 3*n + 2*g + 7 = 0, 0 = -3*n + g + 11. Suppose -5*s - 12 = -4*o + 18, -n*s = 6. Suppose o*v - 13 = 117. Does 8 divide v?
False
Suppose -9*z + 353 = -151. Is 5 a factor of z?
False
Suppose 0*a + 45 = a. Suppose h - a = -4*h. Suppose h*d = 11*d - 122. Is 25 a factor of d?
False
Suppose 0 = -3*b + 9*b. Suppose -3*q + 0*q + 63 = b. Is q a multiple of 21?
True
Is 128 a factor of 3992 + -111 + -1 + 2?
False
Suppose -90 - 18 = 3*o. Let i = 108 + o. Suppose 3*a = a + i. Is 12 a factor of a?
True
Suppose 3 = -8*m - 5. Let b be (55 + m)/1 + -2. Suppose -4*t - b = -5*t. Is t a multiple of 9?
False
Let o(v) = -v**3 + 4*v**2 + 5*v + 4. Let w = 21 - 16. Let m be o(w). Suppose -m*b + 64 = -3*b. Is 37 a factor of b?
False
Suppose -2*o = -c + 1290, -o = 3*c + c - 5205. Is c a multiple of 100?
True
Suppose -25 = 5*j, -3*j = -0*k + 3*k + 111. Let l be (-136)/k - 3/(-4). Suppose n = -3*w - 4*n - 8, -16 = w + l*n. Is w a multiple of 3?
False
Let n = 21 - 138. Let m = -83 - n. Does 4 divide m?
False
Let a(p) = 128*p**2 - p - 38. Does 9 divide a(-4)?
False
Suppose -30*r + 938 = -23*r. Is r a multiple of 4?
False
Let w be 60/12 - (-1 - -1). Suppose 0*p = w*p - 65. Does 3 divide p?
False
Let r(i) = 14*i + 35. Let z be r(-11). Let t = -72 - z. Does 8 divide t?
False
Suppose 0 = -3*q + 5*g + 1 - 21, q = 2*g - 8. Suppose q*o = -4*o. Suppose o = -8*w + 4*w + 116. Is 8 a factor of w?
False
Suppose 3*o - 15 + 6 = 0. Let k be (-2 + -1)/(o/(-5)). Let n(l) = l**3 - 5*l**2 + 4*l - 5. Does 5 divide n(k)?
True
Let p be 0*(-4 + (-12)/(-4)). Let b be -12 + (2 + -1)*p. Let o = b - -52. Is 10 a factor of o?
True
Suppose -3*o + 4072 + 2363 = 0. Is o a multiple of 41?
False
Is 19 a factor of (-157)/(-1) - (-3 - 32/(-4))?
True
Suppose 0 = 16*y - 5*y - 1892. Is y a multiple of 32?
False
Suppose -3*i + 143 + 7 = 0. Let w = 131 - i. Is w a multiple of 35?
False
Let g(r) be the first derivative of -r**4/4 - 8*r**3/3 - 7*r**2/2 + 6*r + 20. Is g(-9) a multiple of 17?
False
Suppose 0 = -o - 4*u + 81, 4*u = -5*o + 346 - 21. Suppose 3*p + 3*l = 33, 0*p + l = 5*p - o. Does 6 divide p?
True
Let j = -39 + 39. Suppose 2*m - 66 = -g, j = -m - 2*g - 2*g + 40. Is m a multiple of 32?
True
Suppose -8*t + 6*t + 564 = 0. Is t a multiple of 21?
False
Let k be 3/9 - 3/9. Suppose -t + 2 = -a, -2*a - 5 - 5 = k. Let n = t - -6. Is 3 a factor of n?
True
Let l = -1887 + 3812. Is 17 a factor of (l/4)/7*4?
False
Let b = -80 + 48. Let s be b/14 + (-12)/(-42). Is 5 + s + (-102)/(-2) a multiple of 18?
True
Suppose 29*w - 35960 = 2175. Is 19 a factor of w?
False
Let o(t) = 2*t**2 + 4*t - 2. Let h = -29 + 22. Let p be o(h). Suppose -9*x + p = -5*x. Is x a multiple of 5?
False
Suppose n = 5*s - 6, 4*n + 12 = 2*s - 66. Suppose 0 = 2*y + 4*o - 52, 0*o - 28 = -y - o. Let h = y + n. Is h a multiple of 5?
False
Let g(n) = -633*n**3 - 12*n - 12. Does 45 divide g(-1)?
False
Let v(y) = -45*y**2 - 1. Let t be v(-1). Let w = 4 - t. Suppose 2*g + 2*a = w, -g + a = -29 + 2. Is g a multiple of 13?
True
Suppose 8*u - 9169 = 351. Is 85 a factor of u?
True
Suppose 0 = -3*h + 3*f - 63, 5 = h + 5*f - 4. Is h/(-88) - (-942)/22 a multiple of 6?
False
Let w(p) = p**3 + 3*p**2 - 4*p + 4. Let r(i) = 2*i**3 + 2*i**2 - 3*i + 5. Let v(f) = 2*r(f) - 3*w(f). Does 10 divide v(6)?
True
Suppose 46*m + 16110 = 59074. Does 46 divide m?
False
Suppose -4*y = -4*s + 20, 0 = 3*y - 8*y - 4*s + 20. Suppose 0 = n + 3*b - 22, 3*n - b = -y*n + 76. Is n a multiple of 25?
True
Suppose -6*x - 14*x + 6300 = 0. Is 15 a factor of x?
True
Suppose -4*x = 88 + 212. Let b = x + 106. Does 2 divide b?
False
Suppose -y - 2 = -1, -555 = -n + 5*y. Is n a multiple of 10?
True
Let x = 624 + 1543. Does 51 divide x?
False
Suppose -5*i - 2*g = -38, -i + 3*i = -5*g + 11. Suppose 14*u - 792 = i*u. Is u a multiple of 12?
True
Let f(c) = c**3 - 39*c**2 + 123*c + 160. Is 14 a factor of f(38)?
False
Let c(b) = 6*b**2 - 6. Let l be (3 - (5 - 4)) + 0 + -5. Is c(l) a multiple of 15?
False
Suppose -5*u = -16*u + 473. Is u a multiple of 43?
True
Let j be (3 - 3)*2/4. Suppose t + j*q - 20 = -q, 5*q = -4*t + 76. Is 8 a factor of t?
True
Let h be (-3)/(45/(-20) + 6/8). Let b(n) = 35*n - 7. Is b(h) a multiple of 21?
True
Suppose 0 = 95*n - 74249 - 58276. Is n a multiple of 135?
False
Suppose 0 = -3*d - 0*w - w + 37, 4*w = -5*d + 50. Suppose p - 3 = -l - 13, -3*p = 2*l + 24. Let v = d - l. Does 4 divide v?
True
Let r = -116 + 120. Suppose 4*m = r, 0 = 5*d - 6*d + 5*m + 193. Does 22 divide d?
True
Let g = -619 - -745. Is 42 a factor of g?
True
Let q(y) be the first derivative of -y**3/3 + 2*y + 5. Let c be q(0). Suppose 5*r + 2*x = 91, 10 = r + c*x - 5. Does 19 divide r?
True
Suppose 40 = 2*c - 6. Let b = 279 + -266. Let w = b + c. Is 9 a factor of w?
True
Let y be 1/(-3)*0 + 150. Suppose -3*m + y = -m. Suppose -3*p - 3*n = -m, p = 5*p - n - 75. Is 5 a factor of p?
True
Let m(j) = -9*j**3 - j**2 + 15*j + 51. Is m(-5) a multiple of