e i?
True
Suppose 45*v = 5*v + 200. Suppose 22*k + 56 = v*t + 19*k, -t - k = -16. Is 9 a factor of t?
False
Suppose -o = -v - 1 + 3, 2*o - 8 = -4*v. Suppose -v*x + 6*x = -4*u + 1028, -502 = -2*u + 2*x. Is u a multiple of 7?
False
Let m be 3*-3*(30/(-9) - -3). Suppose -1 = -m*t - 4*o, 9*o = 3*t + 4*o + 8. Is 18 a factor of ((-258)/9 - 0)*(-2 + t)?
False
Suppose 0 = -10*u + 3*u - 21. Let b be ((-1)/(u/9))/((-4)/(-4)). Suppose 474 = 3*g - b*c, 0 = 3*g + 2*c + c - 492. Does 24 divide g?
False
Let z(i) = -2*i**2 - i + 75. Let k(m) = -m**3 - m**2 + 11*m - 5. Let h be k(-5). Let n = 40 - h. Is 14 a factor of z(n)?
False
Let q(n) = n**3 + 89*n**2 + 133*n + 465. Is 86 a factor of q(-87)?
False
Let i = 498 - 347. Does 51 divide 4/(-2) + (i - -4)?
True
Let v be ((-4)/8*-50 + -3)/2. Suppose v*c - 7*c - 40 = 0. Suppose c*d - 12*d = -o + 60, 171 = 3*o + 3*d. Does 17 divide o?
False
Suppose 3*m - 307 = -310, -3*z - 3*m = -4791. Does 16 divide z?
False
Suppose 0 = 4*c - 2*p - 36312, -83*c + 85*c + 11*p - 18060 = 0. Does 11 divide c?
False
Let b be (-46)/10 - -2*(-3)/15. Does 30 divide (-99)/(376/80 + b)?
True
Let m be 4/2*(0 - -4). Let u be 2 + -3 + 3*m/6. Suppose p - 90 = -p + u*b, 2*p = -b + 98. Is p a multiple of 9?
False
Let r be (-5256)/(-54)*(-6)/(-4). Let y = r - 96. Is y a multiple of 40?
False
Suppose 2*q - 2056 = -710. Suppose -o + 510 = 3*t, -o - 153 = t - q. Does 25 divide o?
True
Let o be (-16)/(-20) - (-655)/25. Suppose 28*q - o*q = 60. Is q a multiple of 12?
True
Suppose 710400 = 123*c - 27*c. Does 185 divide c?
True
Let c be ((-231)/(-4))/((-29)/(-1044)). Suppose w = 10*w - c. Is w a multiple of 7?
True
Let z(k) = -2*k**3 + 24*k**2 + 72*k - 43. Is 6 a factor of z(-11)?
False
Let s(w) = 8*w**3 + 5*w**2 + 9*w + 16. Let n be s(-2). Let r = n + 405. Does 18 divide r?
False
Suppose 3*c - 5 = -4*n, -5*c - 2 = -5*n + 13. Suppose -2*d + d - n*f = -125, 390 = 3*d + 3*f. Is 44 a factor of ((-3)/(-5))/(-3 - (-406)/d)?
False
Let o be 15/(-9) - (-2)/3. Is 15 a factor of (0 + o)/1*(-56 + 1)?
False
Does 141 divide 6/15*(-4483800)/(-60)?
True
Let k be (((-27)/(-6))/(-3))/(3/152). Let c = k - -84. Is 12 a factor of (-263)/2*(c - 10)?
False
Suppose -m = -5*m - 2*s + 18, 0 = -m + 3*s - 6. Suppose -5*c - m*a = 2*a - 1120, -458 = -2*c - 4*a. Is 7 a factor of c?
False
Let u(q) = 2*q**2 + 5*q - 3. Let w = -43 - -72. Let a = w - 36. Is u(a) a multiple of 14?
False
Let b(r) = -1411*r**3 + 3*r**2 - 2. Let q be b(1). Is 12 a factor of (6 - q/(-18))*-3?
False
Let f = 4173 - 4348. Suppose -5*l = -l + 1548. Let r = f - l. Is 31 a factor of r?
False
Let d(z) = 3*z**2 + 15*z - 45. Let t be d(-13). Suppose 0 = 6*m - 243 - t. Is m a multiple of 4?
False
Suppose 0 = 4*k - 4*c - 67480, 5*k + 13*c - 8*c = 84290. Is 33 a factor of k?
False
Let n(y) = 4*y**2 + 7*y + 20. Let i = 587 + -597. Is 14 a factor of n(i)?
True
Let d = 721 - 26. Does 11 divide d?
False
Let c(l) = 115*l + 99. Let u be c(7). Let o = -533 + u. Does 53 divide o?
True
Let t(f) = -f**3 - 32*f**2 - 48*f + 30. Let i(a) = -a**2 + 7*a - 23. Let k be i(8). Is t(k) a multiple of 10?
False
Suppose -6 = -2*r + 4. Suppose -r*k = -16*k - 11. Does 16 divide 0 + 48/(-9)*(-11 + k)?
True
Does 20 divide -6 + (-7 - 1) + 12734?
True
Let h be (-2440)/(-12)*(-6)/(-4). Is (2 - h*-1) + (3 - -2) a multiple of 13?
True
Let u = -273 - 67. Let z = -144 - u. Does 28 divide z?
True
Suppose -3*h - 8512 = 25*h. Let p = h - -544. Is p a multiple of 13?
False
Let x(p) = -24*p + 291. Let j be x(-23). Suppose -l = 5*i + 4*l - 1365, -5*l = -3*i + j. Is i a multiple of 4?
True
Let n = 12419 + -11076. Does 17 divide n?
True
Let z be 20*-3*(-6)/(-36). Let d(r) = r**3 + 14*r**2 + 10*r - 1. Is 51 a factor of d(z)?
False
Let k(c) = -2*c - 116. Let d be k(6). Let x = d - -284. Does 39 divide x?
True
Let f be 2191/77 + (156/44 - 3). Let p(h) = 2*h**3 + 5*h**2 - 2*h - 3. Let g be p(-4). Let j = f - g. Does 11 divide j?
False
Suppose -u = -5*p + 50648, 236 - 268 = 4*u. Does 8 divide p?
True
Let y = 198 + -191. Suppose y*s - 1131 = 710. Is s a multiple of 44?
False
Suppose 0 = 12*d - 98 + 242. Let c = d - -10. Is 9 a factor of 1/1*(-42)/c?
False
Let a(z) = -z**3 - 6*z**2 + 2*z - 4. Let l be a(-6). Let q = l - -18. Suppose 0 = k - q*k - 4*p + 50, k + 3*p = 54. Is 22 a factor of k?
True
Let o(v) = v**2 + 16*v + 18. Let x be o(-12). Suppose 49*z + 372 = 29. Let q = z - x. Is q even?
False
Does 19 divide -7 + (-84)/12 - -108?
False
Let l(d) = 62*d - 2 + 4 - d**3 - 1 - 16 + 26*d**2. Is l(28) a multiple of 12?
False
Suppose -15*v + 135840 = 16*v - 19*v. Does 39 divide v?
False
Let m(r) = 9*r**2 + r - 1. Let t be m(1). Let v(d) = d**2 + 11*d - 18. Is 7 a factor of v(t)?
False
Suppose 2*k - 14 = -2*j, k = -0*j - 3*j + 19. Let m(d) = -2*d**2 - 6*d - 1. Let s be m(j). Is 11 a factor of 2/((-2)/s) + -5?
False
Let o(b) = -110*b**3 - 4*b**2 + 5*b - 5. Does 38 divide o(-3)?
False
Is 3 a factor of 2673/15 + (-552)/(-690)?
False
Let g be 3/(-1)*(-420)/36. Let f = -35 - -167. Suppose a = -g + f. Does 32 divide a?
False
Suppose -4*g - 4*a = 60, -2*g + 3*g - 2*a + 30 = 0. Let f be -2 - g/11 - (-3483)/99. Suppose -n = 4*n - f. Does 5 divide n?
False
Let n be (1 - -2) + 39/(-6)*-1578. Suppose 19*f - 38*f + n = 0. Does 18 divide f?
True
Let p = 37 + -34. Suppose p*x - 15 = 0, 2*x - 6 = -5*i + 59. Let f = 44 - i. Is f a multiple of 11?
True
Let u = 571 + -568. Suppose -2*n + 2*j + 238 = 2*n, u*n + 2*j = 182. Does 10 divide n?
True
Suppose 4*r - 16 = -0. Suppose 5*s - 104 = 241. Suppose -r*x + 171 = -s. Is x a multiple of 15?
True
Suppose g - 8 = 0, 195*g = -2*z + 199*g + 28728. Does 27 divide z?
False
Is 6846 - -9*77/(-63) a multiple of 21?
False
Let b(k) = k**3 + 21*k**2 - 5*k + 4. Let r be b(-21). Suppose 42 = 2*x - 110. Let s = r - x. Is 33 a factor of s?
True
Let k(w) = w**3 + 47*w**2 + 158*w + 36. Is k(-42) a multiple of 6?
True
Let j = -21963 - -44999. Is 28 a factor of j?
False
Let f(l) = -1470*l**3 + 29*l**2 + 18*l - 12. Is f(-1) a multiple of 113?
True
Let h(a) be the first derivative of -11*a**2/2 + 286*a - 116. Does 6 divide h(8)?
True
Let p be (-2 + 0)*(-12)/9*-39. Let o = p - -171. Let n = o - -23. Does 30 divide n?
True
Let m = 57290 + -25285. Does 13 divide m?
False
Suppose -3*s + 13 = 40. Let p = -13 - s. Does 21 divide (567/6)/(-9)*p?
True
Let g be ((-230)/25)/(2 - (-69)/(-35)). Let l = g - -530. Is 16 a factor of l?
True
Suppose q - 2*g = -4*g + 10, -4*g = 0. Suppose -q*i + 400 = -2*i. Let n = 110 - i. Is 20 a factor of n?
True
Let a(j) = -24*j**2 - 23*j**2 - 3 + 5 + 48*j**2 + j. Let t be a(-2). Suppose 0 = -4*m + 2*m - 10, 3*y + t*m = 265. Is y a multiple of 33?
False
Let q = 132 - 63. Let i = -69 + q. Suppose 5*b + i = -25, -b = -v + 181. Is v a multiple of 42?
False
Let g = -282 + 308. Suppose g*r = 5186 + 20008. Is r a multiple of 26?
False
Let q(d) = d**2 - 7*d - 1. Let h be q(-6). Let p = h - 59. Is p a multiple of 9?
True
Suppose -35 = -8*g + 93. Let q(k) = 10*k. Is 40 a factor of q(g)?
True
Let n = -142 + 135. Let j(z) = -z**2 - 28*z - 126. Is j(n) a multiple of 21?
True
Let v = 53 + -77. Let y be -2 - (-1 - v/(-3)). Suppose -2*p = 5*z - 185, z - 30 - y = -2*p. Is z a multiple of 15?
False
Suppose -6*y = -117 - 27. Let v = y + 34. Does 58 divide v?
True
Let z(p) = -25*p - 164. Let b be z(-10). Suppose 0 = 2*f - f - 2, w - b = -3*f. Does 20 divide w?
True
Suppose -238 = 3*n + 3*r - 7, -n = -5*r + 83. Let w = 193 + n. Is w a multiple of 41?
False
Let n(x) = -x**2 - 8*x - 14. Let y be n(-4). Suppose -4*i = 4, -5*i = y*t - 13 - 14. Let l = t - -48. Is l a multiple of 5?
False
Let o(t) = 131*t**3 - t**2 - 2*t + 2. Let w be o(1). Suppose -260 = -4*s - 5*n, 2*s - n = -0*n + w. Is s a multiple of 13?
True
Let o(v) = 26*v - 55. Let l(n) = -23*n - 37. Let z be l(-2). Is 6 a factor of o(z)?
False
Let p = -6 + 24. Let d = -4762 + 4761. Does 10 divide d + -1 - (p - 100)?
True
Let p = 54 + -7. Let t = p - 41. Suppose s = -k + 18, 0 = k + t*s - 2*s - 3. Is 2 a factor of k?
False
Suppose 92*z = 3157655 + 850969. Is z a multiple of 14?
False
Let f(l) = -13*l + 3*l**2 + 3*l - 34 - l**2. Is f(15) a multiple of 14?
True
Suppose -8*l + 2050 = -7*l + 3*x, -4*l = -4*x - 8152. Let y = -1381 + l. Is 11 a factor of y?
True
Let j be ((-11)/(-4))/(1/(-1 - 3)). Let m = 7 + j. Is